Phase-Separated Execution

Kind: algorithm

Record: algorithms:phase-separated-execution

Canonical: Algorithms

Closure: Dependencies in load order

Detect the current workflow phase, bind allowed operations to that phase, reject operations outside the phase contract, and emit only the artifact valid for that phase.

Listed in Algorithm contracts, after <Compliance Verification Concern> and before Evidence-Gated Claim Verification.

Domain

• Context verification

Stage

• constrain

Axis

• teleology

Tier

• process

Composed by

• Governed Autonomous Plan Loop

Named in the derivation of

• Contract-Based Verification Kernel

Math type

• Optimization

Force

• Contract compatibility
• Correctness verification
• Runtime extensibility
• State transaction

Linked from

• Context verification
• Governed plan loop
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces