GitHub

Architecture decisions

85 decisions, grouped by boundary.

ADRs preserve why a boundary exists, what evidence it admits, and which claims remain forbidden. Accepted history is superseded by a new ADR, never silently rewritten.

ADR-0001—0018

Semantic foundations

18 decisions

Canonical Typed Core, observable semantics, memory and ownership boundaries, Surface-to-Core admission, and the Stage 1 freeze.

  1. 0001Canonical Typed Coreaccepted
  2. 0002Binding Time Judgmentaccepted
  3. 0003Allocation Identity Observabilityaccepted
  4. 0004Region Evidence Vs Placementaccepted
  5. 0005P1 Lighthouse Scopeaccepted
  6. 0006Numeric Semanticsaccepted
  7. 0007FFI Trust Boundaryaccepted
  8. 0008Production Sovereigntyaccepted
  9. 0009Rc Fallback Cycle Policyaccepted
  10. 0010Nauxogenesisaccepted
  11. 0011Surface Core T2 Boundaryaccepted
  12. 0012Surface Direct Functions T2Baccepted
  13. 0013Bounded Logical Store P1V1accepted
  14. 0014Bounded Existential Closures P1V2accepted
  15. 0015Linear Lexical Handlers P1V3accepted
  16. 0016Bounded Affine Unique P1V4accepted
  17. 0017Bounded Ownership Return P1V5accepted
  18. 0018Core Semantics Identity Stage1 Freezeaccepted

ADR-0019—0035

Specialization and residualization

17 decisions

Binding-time analysis, static evaluation, residual evidence, CoreVM0, polyvariance, arrays, and translation validation into SSA.

  1. 0019B0 Request Trust Boundaryaccepted
  2. 0020B0 Structural Node Identityaccepted
  3. 0021B0 Deterministic Call Fixed Pointaccepted
  4. 0022B0 Sealed Evidence Independent Replayaccepted
  5. 0023R0 Specialization Value Request Boundaryaccepted
  6. 0024R0B Evidence Gated Static Evaluationaccepted
  7. 0025R0B2 Continuation Machineaccepted
  8. 0026R0C1 Scalar Residual Coreaccepted
  9. 0027R0C2 Folding And Opaque Evaluation Recordaccepted
  10. 0028R0D Sealed Residual Evidenceaccepted
  11. 0029Corevm0 Bounded Program Representationaccepted
  12. 0030Corevm0 Full Image And Definitional Boundaryaccepted
  13. 0031Evidence Gated Polyvariant R1 Boundaryaccepted
  14. 0032Structural Partial Values And Bounded Helper Unfoldingaccepted
  15. 0033Bounds Preserving Arrays And Corevm0 Admissionaccepted
  16. 0034Canonical Summaries And Corevm0 Structural Erasureaccepted
  17. 0035Gate A Translation Validation And Canonical Residual SSAaccepted

ADR-0036—0056

Native path and measurement

21 decisions

Machine IR, checked x86-64 encoding, W^X execution, standalone ELF, Gate B, candidate policies, and measured optimization decisions.

  1. 0036Canonical Machine IR Trust Boundaryaccepted
  2. 0037Canonical x86 64 Target Plan And Checked Encodingaccepted
  3. 0038Verifier Gated W^X Native Runneraccepted
  4. 0039Direct ELF64 Standalone Image And Libc Free Startupaccepted
  5. 0040Sealed Predecessor Translation Correspondence Rootsaccepted
  6. 0041Gate B End To End Standalone Measurementaccepted
  7. 0042Fail Closed Tail Control Flow Encoding Policyaccepted
  8. 0043Reject Greedy Tail Home Offset Swapsrejected
  9. 0044Reachable Unique Predecessor One Op Superblocksaccepted
  10. 0045Sealed Weighted Target Profile And Shared Join Selectionaccepted
  11. 0046Bounded Transitive Shared Join Compositionaccepted
  12. 0047Bounded Per Ingress Fused Compare Branch Arm Cross Tabsaccepted
  13. 0048Exact Per Ingress Ordered Shared Join Lineageaccepted
  14. 0049Proof Only Shadow Prospective Shared Join Realizationaccepted
  15. 0050Bounded Independent Shadow Machine Semantic Decoderaccepted
  16. 0051Sealed Non Executable Policy 15 Candidate Capsuleaccepted
  17. 0052Finite Policy 15 Candidate Native Correctness Admissionaccepted
  18. 0053Process Isolated Policy 15 Candidate Correspondenceaccepted
  19. 0054Candidate Specific Standalone ELF Correspondenceaccepted
  20. 0055Candidate Matched Gate B Measurement And Claimaccepted
  21. 0056Sovereign Candidate Cost Attributionaccepted

ADR-0057—0070

Sovereign execution envelope

14 decisions

Persistent typed tail state, physical allocation, owned byte capsules, semantic-image composition, native correctness, and process containment.

  1. 0057Bounded Persistent Typed Tail State Planaccepted
  2. 0058Bounded Sovereign Physical Tail Bank Allocationaccepted
  3. 0059Bounded Physical Template Preservation Realizationaccepted
  4. 0060Owned Tail Template Byte Capsule And Independent Decoderaccepted
  5. 0061Bounded Persistent Site Binding And Frontier State Proofaccepted
  6. 0062Bounded Symbolic Body Frontier Realizationaccepted
  7. 0063Frontier Live Set Narrowingaccepted
  8. 0064Owned Body Frontier Byte Capsuleaccepted
  9. 0065Closed Semantic Image Compositionaccepted
  10. 0066Sovereign ABI Envelope Byte Capsuleaccepted
  11. 0067Fully Enveloped Semantic Image Compositionaccepted
  12. 0068Sovereign Enveloped Image Native Correctnessaccepted
  13. 0069Sovereign Enveloped Process Containmentaccepted
  14. 0070Sealed Worker Artifact Launch Attestationaccepted

ADR-0071—0085

Dependency and loader closure

15 decisions

Worker identity, immutable dependency objects, GNU versioning, symbol selection, and the relocation inventory required for a self-owned loader path.

  1. 0071Independent Worker ELF Dependency Inventoryaccepted
  2. 0072Reviewed Worker Dependency Declaration Admissionaccepted
  3. 0073Exact Worker Dependency Object Byte Admissionaccepted
  4. 0074Sealed Object Dynamic Identity Inventoryaccepted
  5. 0075Reviewed Transitive Declaration Closure Admissionaccepted
  6. 0076Sealed Object GNU Version Requirement Inventoryaccepted
  7. 0077Sealed Object GNU Version Definition Inventoryaccepted
  8. 0078Exact GNU Version Compatibility Admissionaccepted
  9. 0079Independent Dynamic Symbol Version Index Inventoryaccepted
  10. 0080Sealed Root Worker GNU Version Requirement Inventoryaccepted
  11. 0081Exact Root GNU Version Compatibility Admissionaccepted
  12. 0082Sealed Root Dynamic Symbol Version Inventoryaccepted
  13. 0083Reviewed Root Dynamic Symbol Lookup Scope Admissionaccepted
  14. 0084Exact Strong Versioned Root Symbol Candidate Selectionaccepted
  15. 0085Sealed Root Dynamic Relocation Inventory And Selection Joinaccepted