Bounded Cascade Termination

Kind: algorithm

Record: algorithms:bounded-cascade-termination

Canonical: Algorithms

Closure: Dependencies in load order

Terminate the verify-remediate cascade on the completion AND-gate — a clean verdict, or bounded progress where findings strictly decrease within the pass bound — escalating when neither holds.

Listed in Algorithm contracts, after Machine Verdict Derivation and before Quality-Engine Kernel.

Domain

• Quality engine

Stage

• terminate

Axis

• termination

Tier

• process

Grounds

• ter-stop

Named in the derivation of

• Quality Governance Loop

Math type

• Optimization

Force

• Correctness verification
• Resilience recovery

Linked from

• Quality engine
• The derivation loop
• The axes
• The nodes
• The mathematics
• Domain tiers
• The forces