-
Notifications
You must be signed in to change notification settings - Fork 0
Branch main Acceptance ash authority traceability matrix
github-actions[bot] edited this page Jul 14, 2026
·
75 revisions
| Field | Value |
|---|---|
| Branch | main |
| Source | specs/acceptance/ash_authority_traceability_matrix.md |
| Commit | 774b981ef226 |
| Synced (UTC) | 2026-07-14T05:14:42Z |
Acceptance pages define the evidence needed before Aeostara or a downstream repo may claim conformance.
flowchart LR
Artifact["Spec artifact"] --> Fixture["Expected-output fixture"]
Fixture --> Validator["CI checker"]
Validator --> Report["Audit report"]
Report --> Judgment["Acceptance judgment"]
| Question | Where to look |
|---|---|
| What evidence is required? | Read the gate table or scenario list. |
| What must fail when broken? | Check negative fixture and diagnostic-chain requirements. |
| What judgment is allowed? | Use only the documented final judgment values. |
| ASH source area | Aeostara response | Downstream obligation |
|---|---|---|
| State space |
AshState, ash_state_space_binding.md
|
Use all 9 coordinates |
| Codeword set |
CanonicalCodewordSet, canonical_codeword_set_binding.md
|
Use exactly 16 codewords |
| Transformation |
CodewordTransformation, transformation algorithm |
Apply XOR-by-codeword |
| Admissibility | AdmissibilityResult |
Classify deterministically |
| Diagnostics |
DiagnosticEnvelope, DiagnosticChain
|
Emit linked diagnostics |
| Classification | SystemStateClass |
Preserve class mapping |
| Recoverability |
RecoveryCategory, RecoveryPlan
|
Preserve deterministic categories |
| Fallback | FallbackDecision |
Registry-driven selection |
| Containment/safe halt |
ContainmentDecision, SafeHaltDecision
|
Safe halt is terminal |
| Realm/transition/topology/axiom/generation | Binding docs and schemas | Implement without redefining semantics |