Evidence Verdict

Kind: algorithm

Record: algorithms:evidence-verdict

Canonical: Algorithms

Closure: Dependencies in load order

Run each test, gather its evidence, and issue the verdict: pass or fail when the evidence set is non-empty, unknown when it is empty, so an untested or unrun surface reads as unknown rather than as a silent pass.

Listed in Algorithm contracts, after Test Authoring and before Coverage Ledger.

Domain

• Test coverage

Stage

• verify

Axis

• verification

Tier

• process

Composed by

• Test Coverage Kernel

Grounds

• ver-evidence

Named in the derivation of

• Test Coverage Kernel

Math type

• Logic

Force

• Correctness verification

Linked from

• What can drift, seen through how it drifts
• Test coverage
• The derivation loop
• The axes
• The nodes
• The mathematics
• Domain tiers
• The forces