ASH Conformance

ASH Conformance

Home | Repository Overview | Acceptance and CI

Aeostara treats ASH as fixed upstream semantic authority. Aeostara binds ASH into the JSON configuration healing base design and does not redefine ASH semantics.

ASH Binding Surface

flowchart TB
  ASH["ASH baseline"] --> State["F2^9 state space"]
  ASH --> Codeword["16-codeword set"]
  ASH --> Transform["XOR transformation"]
  ASH --> Admit["Admissibility"]
  ASH --> Diag["Diagnostics"]
  ASH --> Class["Classification"]
  ASH --> Recover["Recoverability"]
  ASH --> Fallback["Fallback registry"]
  ASH --> Halt["Containment + safe halt"]
  ASH --> Modules["Realm / transition / topology / axiom / generation"]
  State --> Aeostara["Aeostara binding docs"]
  Codeword --> Aeostara
  Transform --> Aeostara
  Admit --> Aeostara
  Diag --> Aeostara
  Class --> Aeostara
  Recover --> Aeostara
  Fallback --> Aeostara
  Halt --> Aeostara
  Modules --> Aeostara

Loading

Five Conformance Categories

Category	What it proves	Wiki path
Algebraic/State	Full 9-bit states, codewords, admissibility	Ash State Space Binding
Recovery/Fallback/Containment	Deterministic recovery and terminal safe halt	Recovery Binding
Diagnostics	Rule IDs, diagnostic envelopes, chain integrity	Diagnostic Chain Conformance
Generation/Materialization Boundary	Planning is side-effect-free and emission invents no semantics	Generation Materialization Boundary
Contract/Module	Realm, transitions, topology, contracts, modules	Contract and Schema Atlas

Binding Evidence

ASH area	Aeostara evidence
State space	specs/ash_baseline/ash_state_space_binding.md, AshState.schema.json
Codeword set	canonical_codeword_set_binding.md, CanonicalCodewordSet.schema.json, ash_codeword_vectors.json
Transformation	codeword_transformation_binding.md, CodewordTransformation.schema.json
Admissibility	state_admissibility_binding.md, AdmissibilityResult.schema.json
Diagnostics	state_validity_diagnostic_binding.md, DiagnosticEnvelope.schema.json, DiagnosticChain.schema.json
Recoverability	recoverability_binding.md, RecoveryCategory.schema.json, RecoveryPlan.schema.json
Safety	containment_safe_halt_binding.md, ContainmentDecision.schema.json, SafeHaltDecision.schema.json
Materialization	generation_materialization_boundary.md, GenerationPlan.schema.json, ArtifactEmissionPlan.schema.json

Verification Flow

flowchart LR
  Binding["ASH binding docs"] --> Invariants["Invariant coverage map"]
  Invariants --> Fixtures["Conformance vectors"]
  Fixtures --> Schemas["Required schema outputs"]
  Schemas --> CI["ash_invariant_checker.py + fixture_validator.py"]
  CI --> Judgment["Conformance judgment"]

Loading