Runtime Logic and Workflows

Runtime Logic and Workflows

Home | JSON Semantics and Projection | Diagnostic Recovery Safety Logic

This page shows the full base-design control flow. Platform repos implement native mechanics, but they cannot reorder or redefine this semantic lifecycle.

End-to-End Healing Flow

flowchart LR
  Observe["Observe JSON config"] --> Normalize["Normalize input"]
  Normalize --> Project["Project semantic dimensions"]
  Project --> Bind["Bind to ASH state"]
  Bind --> Diagnose["Diagnose validity"]
  Diagnose --> Classify["Classify system state"]
  Classify --> Recover["Select recovery category"]
  Recover --> Plan["Generate recovery plan"]
  Plan --> Policy["Evaluate policy gate"]
  Policy --> Backup["Prepare backup"]
  Backup --> Execute["Execute approved steps"]
  Execute --> Verify["Verify result"]
  Verify --> Decision{"Verification passed?"}
  Decision -->|yes| Audit["Close audit chain"]
  Decision -->|no| Rollback["Rollback"]
  Rollback --> Safety["Fallback / containment / safe halt"]
  Safety --> Audit

Loading

Lifecycle Responsibility Table

Phase	Input contract	Output contract	Must emit diagnostics?	Must emit audit?
Observe	JSON document	ObservedSystemState	Yes	Yes
Normalize	Observed and desired state	normalized evidence	Yes	Yes
Project	SemanticProjectionSpec	MappingResult	Yes	Yes
Diagnose	AshState	StateValidityDiagnostic	Yes	Yes
Classify	diagnostic + context	SystemStateClass	Yes	Yes
Recoverability	state class	RecoveryCategory	Yes	Yes
Plan	category + diagnostics	RecoveryPlan	Yes	Yes
Policy	plan + policy bundle	PolicyDecision	Yes	Yes
Backup	document + plan	BackupResult	Yes	Yes
Execute	approved context	ExecutionStepResult	Yes	Yes
Verify	verification plan	VerificationResult	Yes	Yes
Rollback/safety	failed verification or blocked path	RollbackResult, FallbackDecision, ContainmentDecision, SafeHaltDecision	Yes	Yes

Decision Logic

flowchart TB
  Classification["SystemStateClass"] --> Stable{"STABLE?"}
  Stable -->|yes| NoAction["RecoveryCategory: NO_ACTION"]
  Stable -->|no| Compatible{"Transformation compatible?"}
  Compatible -->|normalizable| Normalize["NORMALIZE_STATE"]
  Compatible -->|known correction| Correct["APPLY_CORRECTION"]
  Compatible -->|ambiguous or incompatible| Fallback["FALLBACK_REQUIRED"]
  Fallback --> Registry{"Registry candidate available?"}
  Registry -->|yes| Select["Select fallback"]
  Registry -->|no| Contain["CONTAINMENT_REQUIRED"]
  Contain --> Breach{"Boundary breached?"}
  Breach -->|yes| Halt["TERMINAL_NO_RECOVERY"]
  Breach -->|no| Restricted["Restricted operation mode"]

Loading

Key Algorithm Pages

Logic area	Primary page
Healing orchestration	Algorithm: Healing Flow
JSON addressing	Algorithm: Json Pointer Operations
Semantic projection	Algorithm: Semantic Projection
Mapping confidence	Algorithm: Mapping Confidence Evaluation
Recovery plan generation	Algorithm: Recovery Plan Generation
Policy gate	Algorithm: Policy Gate Lifecycle
Backup	Algorithm: Backup Lifecycle
Execution	Algorithm: Execution Step Lifecycle
Verification	Algorithm: Verification Plan Generation
Rollback	Algorithm: Rollback Lifecycle
Safe halt	Algorithm: Safe Halt Semantics