T81 Foundation

Dependency Firewall

This document is the normative structural dependency policy for the t81-foundation repository.

Allowed Dependency Graph

graph TD
  CT[core/types]
  CI[core/isa]
  CV[core/vm]
  KA[kernel/axion]
  RT[runtime/tracing]
  RJ[runtime/jit]
  EX[experimental/*]
  TOOLS[tools/*]
  PUB[include/t81/**]
  INT[internal/**]

  CI --> CT
  CV --> CI
  CV --> CT
  KA --> CT
  KA --> CI
  KA --> CV
  RT --> CT
  RT --> CI
  RT --> CV
  RJ --> CT
  RJ --> CI
  RJ --> CV
  EX --> CT
  EX --> CI
  EX --> CV
  EX --> KA
  EX --> RT
  EX --> RJ

  TOOLS --> PUB

  PUB -.forbidden.-> INT
  CT -.forbidden.-> EX
  CI -.forbidden.-> EX
  CV -.forbidden.-> EX

Rules

• core/types has no upward dependencies.
• core/isa may depend only on core/types.
• core/vm may depend only on core/isa and core/types.
• kernel/axion may depend on core/*.
• runtime/* may depend on core/*.
• experimental/* may depend on any layer, but core/* must not depend on experimental/*.
• tools/* may depend only on public headers under include/t81/**.
• Public headers under include/t81/** must not include internal/**.
• Relative includes that traverse into internal/** from public headers are forbidden.

Enforcement

The following scripts enforce this firewall:

• scripts/architecture/check_dependency_firewall.py
• scripts/architecture/check_legacy_paths.sh

Both scripts must pass before merge for structural changes.

Enforcement Escalation Plan

• Phase A: Informational (current).
• Phase B: Blocking on PRs.
• Phase C: Blocking on main branch only.
• Phase D: Blocking + required review.

This site is open source. Improve this page.