← Policy gallery

refuted_results_must_be_reproved

formal-reasoning reasoning pure_temporal formal-verificationreasoningquality-of-evidence

A refuted verification result offered as evidence must ultimately be resolved into a proved/sat result — not merely edited around. This is the quality-of-evidence check behind the goal's GOVERNED axis: a criterion is MET the moment a VerificationResult exists for its component, but the result must actually establish the property to count as governed.

Formula

G(VerificationResult(refuted) → F(VerificationResult(proved ∨ sat)))

Hover any operator or symbol for what it means.

Requires a reasoner

This policy is satisfied by verification from codelogician — an automated-reasoning tool in the reasoner registry.

Why it matters

Under the goal contract, evidence is an artifact and its quality of derivation is a policy. A verification result that stays refuted proves the opposite of what was intended; a fix edit alone (see counterexample_triggers_fix) does not close it — the property must be re-proved.

Examples

passes Verify(refuted) → EditFile → Verify(proved)

fails Verify(refuted) with no later proved/sat result in scope

Use it

ponens policies add refuted_results_must_be_reproved --into ./trace.json
ponens trace check ./trace.json