Contract and Schema Atlas

Contract and Schema Atlas

Home | Artifact Index | Acceptance and CI

Contracts define every object that crosses a lifecycle boundary. Every schema has a matching example instance and participates in CI validation.

Contract Families

flowchart TB
  Contracts["Contract surface"] --> Ash["ASH canonical bindings"]
  Contracts --> Json["JSON semantics"]
  Contracts --> Projection["Semantic projection"]
  Contracts --> Diagnostics["Diagnostics + audit"]
  Contracts --> Recovery["Recovery and safety"]
  Contracts --> Execution["Policy / backup / execution / verification / rollback"]
  Contracts --> Results["HealResult / DryRunResult"]

Loading

Family Map

Family	Contracts	Why it matters
ASH canonical	AshState, CanonicalCodewordSet, CodewordTransformation, AdmissibilityResult, RealmIdentity, TransitionDefinition, TransitionResult, TopologyPlan, AxiomDiagnostic, GenerationPlan, ArtifactEmissionPlan	Prevents downstream repos from inventing ASH semantics
JSON semantics	JsonPointer, JsonDocumentReference, JsonMutationOperation, JsonCanonicalizationRule, SurfaceDifference	Makes JSON behavior deterministic and safe
Projection	SemanticProjectionSpec, SemanticDimensionBinding, MappingResult, MappingAmbiguity	Defines how JSON evidence becomes ASH state
Diagnostics	DiagnosticEnvelope, DiagnosticReference, DiagnosticChain, RuleReference	Makes decisions reconstructable
Recovery	RecoveryCategory, RecoveryPlan, RecoveryStep, RecoveryOutcome, EscalationDecision	Separates diagnosis-first recovery from CRUD repair
Safety and execution	PolicyBundle, PolicyDecision, BackupRecord, BackupResult, ExecutionContext, ExecutionStepResult, VerificationPlan, VerificationResult, RollbackPlan, RollbackResult, FallbackDecision, ContainmentDecision, SafeHaltDecision	Controls mutation, verification failure, rollback, fallback, containment, and halt
Top-level results	AuditEvent, AuditChain, HealResult, DryRunResult	Produces audit-ready lifecycle outputs

Validation Flow

flowchart LR
  Schema["*.schema.json"] --> RefCheck["$ref resolution"]
  RefCheck --> Example["schema example"]
  Example --> Instance["instance validation"]
  Instance --> Fixture["fixture requiredSchemaOutputs"]
  Fixture --> Runner["conformance_runner.py"]

Loading

Core Contract Entry Points

Start here	Page
State	AshState
Diagnostic envelope	DiagnosticEnvelope
Diagnostic chain	DiagnosticChain
Mapping result	MappingResult
Recovery plan	RecoveryPlan
Recovery step	RecoveryStep
Policy decision	PolicyDecision
Backup result	BackupResult
Verification plan	VerificationPlan
Rollback result	RollbackResult
Safe halt	SafeHaltDecision
Heal result	HealResult