Skip to content

Architecture Decision Records

One file per non-obvious decision. Filing them here means a future contributor proposing to "simplify" one of these finds the reasoning immediately, instead of re-introducing a bug the design already fixed once. Each record links back to the technical specification section that governs the decision.

Format: Context, Decision, Consequences, one page maximum.

Filed

  • 0001 quiet fallback is the default, not hard-fail
  • 0003 trust is restricted by default and only positive proof downgrades
  • 0004 branch-merge is conservative by default
  • 0005 the nested-region guard is silent, not a hard error
  • 0006 reduction order defaults to sequential-equivalent
  • 0007 the chunk is the unit of dispatch
  • 0008 privatize-and-commit replaces versioned cells
  • 0009 level-synchronous wavefront replaces fork-join
  • 0010 profitability gate with a sequential-prefix probe
  • 0011 thread timeouts are cooperative
  • 0013 backend routing is interpreter-independent
  • 0014 native orchestration folds by reference

Superseded

  • 0002 recursive fork-join scheduler. Superseded by 0009; the fork-join scheduler was never built.