Branch main Algo rollback

Algorithm: Rollback

Back to Branch Overview

Field	Value
Branch	main
Source	specs/algorithms/rollback.pseudo.md
Commit	774b981ef226
Synced (UTC)	2026-06-26T05:47:13Z

Visual Context

Algorithm pages define deterministic platform-neutral behavior that downstream repos implement behind native adapters.

flowchart LR
  Input["Input contract"] --> Preconditions["Preconditions"]
  Preconditions --> Decision["Deterministic decision"]
  Decision --> Output["Output contract"]
  Decision --> Diagnostic["Diagnostic envelope"]
  Diagnostic --> Audit["Audit chain"]

Loading

Reading Checklist

Question	Where to look
What is deterministic?	Read the pseudocode branch table and preconditions.
What blocks unsafe behavior?	Look for blocked, ambiguous, policy, or precondition paths.
How is the decision reconstructable?	Trace diagnostic and audit requirements.

---

Source Content

Rollback

Superseded Algorithm Notice

This file is retained only as historical traceability. It is not an active algorithm and must not be referenced by interfaces, acceptance gates, conformance fixtures, handoff documents, or release claims.

Active replacement: rollback_lifecycle.pseudo.md.

Downstream implementations must use the active replacement and its DiagnosticEnvelope, AuditEvent, failure, and side-effect rules. This superseded notice introduces no contract fields, enum values, lifecycle phases, ASH coordinates, or execution behavior.