-
Notifications
You must be signed in to change notification settings - Fork 0
Branch main Acceptance ash invariant acceptance matrix
github-actions[bot] edited this page Jul 14, 2026
·
75 revisions
| Field | Value |
|---|---|
| Branch | main |
| Source | specs/acceptance/ash_invariant_acceptance_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. |
| Category | Required families | Required fixtures |
|---|---|---|
| Algebraic/State Conformance | INV-STATE, INV-ADMISSIBILITY, INV-CODEWORD | ash_codeword_vectors, state_admissibility_vectors |
| Recovery/Fallback/Containment Conformance | INV-RECOVERY | recovery_escalation_vectors, safe_halt_terminal_vectors |
| Diagnostics Conformance | INV-DIAG, INV-AXIOM | diagnostic_chain_vectors |
| Generation/Materialization-Boundary Conformance | INV-PLAN, INV-BOUNDARY | end_to_end_healing_vectors |
| Contract/Module Conformance | INV-REALM, INV-TRANS, INV-TOPO | semantic_projection_vectors |