Branch main Algo execution step lifecycle

Algorithm: Execution Step Lifecycle

Back to Branch Overview

Field	Value
Branch	main
Source	specs/algorithms/execution_step_lifecycle.pseudo.md
Commit	5b2aac39fcf8
Synced (UTC)	2026-06-20T05:49:16Z

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

Execution Step Lifecycle

FUNCTION execute_steps(context, steps) -> List[ExecutionStepResult]
  REQUIRE context.policyDecision.decision == ALLOW
  REQUIRE context.verificationPlan.generatedBeforeMutation == true
  FOR step IN steps:
    precondition = check all mutation preconditions
    IF precondition blocked: record BLOCKED diagnostic and stop
    execute platform-neutral step through adapter boundary
    record ExecutionStepResult and audit event
  RETURN results
END FUNCTION