Machine Verdict Derivation

Kind: algorithm

Record: algorithms:machine-verdict-derivation

Canonical: Algorithms

Closure: Dependencies in load order

Derive the verify-stage verdict from the toolchain's machine output — exit codes and parsed findings — never from the model's reading, so a clean verdict is an observed machine fact.

Listed in Algorithm contracts, after Custom-Rule Derivation and before Bounded Cascade Termination.

Domain

• Quality engine

Stage

• verify

Axis

• verification

Tier

• process

Grounds

• ver-evidence

Named in the derivation of

• Quality Governance Loop

Math type

• Logic

Force

• Correctness verification
• Model governance

Linked from

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