Explicit Termination

Kind: algorithm

Record: algorithms:explicit-termination

Canonical: Algorithms

Closure: Dependencies in load order

Guarantee the generator stops with exactly one terminal — a written success artifact whose rendering integrity is verified, or a written blocked report — never a premature stop while the status is repairable and never a loop beyond the cycle bound.

Listed in Algorithm contracts, after Checklist Output Rendering and before Cross-Stage Invariants.

Domain

• Checklist creation

Stage

• terminate

Axis

• termination

Tier

• process

Composed by

• Rendering Stage

Grounds

• ter-stop

Named in the derivation of

• Checklist Creation Kernel

Math type

• Set Theory

Force

• Control coordination
• Correctness verification
• Resilience recovery

Linked from

• Checklist creation
• The derivation loop
• The axes
• The nodes
• The mathematics
• Domain tiers
• The forces