Diagnostic Recovery Safety Logic

Diagnostic Recovery Safety Logic

Home | Runtime Logic and Workflows | ASH Conformance

Aeostara is diagnosis-first. Recovery, fallback, containment, safe halt, rollback, and policy gates must be reconstructable from diagnostic and audit chains.

Diagnostic Chain Shape

flowchart LR
  Root["Root diagnostic"] --> Map["Mapping diagnostic"]
  Map --> State["State validity diagnostic"]
  State --> Recovery["Recovery diagnostic"]
  Recovery --> Policy["Policy diagnostic"]
  Policy --> Execution["Execution diagnostic"]
  Execution --> Verify["Verification diagnostic"]
  Verify --> Terminal["Rollback / fallback / containment / safe halt diagnostic"]

Loading

No Silent Path Rule

Path	Required record	Failure behavior
Mapping ambiguity	MappingAmbiguity + diagnostic	Block coercion and escalate
Policy block	PolicyDecision with BLOCK	No mutation before allow
Backup failure	BackupResult with failure diagnostic	Escalate before mutation
Execution failure	ExecutionStepResult with failure diagnostic	Stop or escalate
Verification failure	VerificationResult with failure diagnostic	Rollback or safety escalation
Rollback failure	RollbackResult with escalation diagnostic	Fallback, containment, or safe halt
Containment breach	ContainmentDecision + diagnostic	Safe halt
Safe halt entry	SafeHaltDecision	Terminal; no further transition

Escalation Ladder

flowchart TB
  NoAction["NO_ACTION"] --> Normalize["NORMALIZE_STATE"]
  Normalize --> Correction["APPLY_CORRECTION"]
  Correction --> Fallback["FALLBACK_REQUIRED"]
  Fallback --> Containment["CONTAINMENT_REQUIRED"]
  Containment --> Escalation["ESCALATION_REQUIRED"]
  Escalation --> Terminal["TERMINAL_NO_RECOVERY"]

Loading

State Machine

stateDiagram-v2
  [*] --> STABLE
  STABLE --> UNSTABLE: transformation-compatible drift
  UNSTABLE --> CORRECTABLE: correction path known
  CORRECTABLE --> STABLE: verification passes
  CORRECTABLE --> DEGRADED: correction blocked
  DEGRADED --> CONTAINED: fallback unavailable
  CONTAINED --> SAFE_HALT: boundary breach
  DEGRADED --> FAILED: no automated path
  FAILED --> SAFE_HALT: terminal escalation
  SAFE_HALT --> SAFE_HALT: all transitions rejected

Loading

Proof Pages

Proof area	Page
Chain integrity	Diagnostic Chain Integrity
Rule IDs	Rule Id Validation
Audit lifecycle	Audit Chain Lifecycle
Recovery blocked path	Recovery Blocked Path Escalation
Fallback	Fallback Selection
Containment	Containment Mode
Safe halt	Safe Halt Semantics