Verification Execution

Kind: algorithm

Record: algorithms:verification-execution

Canonical: Algorithms

Closure: Dependencies in load order

Run the configured verification procedure, capture raw output, parse errors and warnings, and derive pass status from zero-error condition.

Listed in Algorithm contracts, after Context Initialization and before Early Success Exit.

Domain

• Codebase verification

Stage

• verify

Axis

• verification

Tier

• process

Composed by

• Reverification Gate
• Codebase Verification Kernel

Grounds

• ver-evidence

Named in the derivation of

• Codebase Verification Kernel

Math type

• Logic

Force

• Correctness verification

Linked from

• Codebase verification
• The derivation loop
• The axes
• The nodes
• The mathematics
• Domain tiers
• The forces