A06 — Verification and reassessment triggers

• Input [direct/inference]: A provisional judgment, its evidence and confidence, verification needs, and environmental change signals.
• Operation [direct]: Verify before closure; in dynamic contexts specify when prior judgments should be reopened; revise or abandon beliefs when kill conditions occur.
• Output [inference]: A verified or still-open judgment with recorded reassessment conditions.
• Scope conditions [direct]: Dynamic contexts and revisable evidence-based judgments.
• Failure conditions [direct/inference]: No verification before commitment, no trigger in a dynamic context, or a fired kill condition does not reopen the affected judgment.
• Predicted effect [absent]: Canon does not state a directional measured effect for prospective triggers against a named control.
• Measurement [absent]: No trigger-specific metric is canonical.
• Named baseline [absent]: No baseline is specified.
• Boundary condition [direct]: The trigger heuristic is provisional and may not be universal.
• Implementation test [inference]: Seed a stated kill condition or context change and observe whether the linked judgment is reopened and verification rerun.
• Decision rights [direct/inference]: The research constitution requires kill conditions to be respected; ownership of trigger definition and reopening is not assigned.
• Uncertainty handling [direct]: Evidence changes belief confidence; unsupported certainty is prohibited.
• Verification [direct]: Explicit verification precedes closure.
• Provenance [inference]: Link trigger or kill condition to belief, evidence, verification, and resulting decision.
• Implementation cost [absent]: Monitoring and retest cost are not estimated.
• Limitations [direct]: Evidence comes from provisional synthesis and internal comparisons.
• Fidelity check [inference]: Triggers are prospective, name the affected judgment, and can fire without curator discretion.
• Null-capable future experiment [inference]: Compare prospective triggers with discretionary review; allow no change or worse false-alarm burden as outcomes.

Statement basis

• Direct: Verification, reassessment, kill-condition, uncertainty, scope, and limitation statements.
• Inference: Input/output form, failure path, seeded test, lineage, fidelity check, and future experiment.
• Proposal-only: Reassessment-trigger heuristic.
• Absent: Directional effect, metric, baseline, trigger thresholds, role assignment, and cost.