A06

• Input: A decision or artifact plus assumptions, tests, observed results, and change indicators.
• Operation: Define verification criteria and prospective triggers; when a trigger fires, reopen named assumptions and rerun affected tests.
• Output: Verification record, trigger log, and reassessed decision/version.
• Scope conditions: Revisable decisions whose environment or evidence may change.
• Failure conditions: Triggers are vague; monitoring is absent; reassessment does not reach affected claims.
• Predicted effect: Prospective triggers reduce time-to-correction and stale-decision duration compared with discretionary review.
• Measurement: Detection latency, stale duration, false-trigger rate, and correction quality.
• Implementation test: Inject a boundary-condition change and observe whether the named review path executes.
• Decision rights: Owner sets thresholds; monitor fires; reviewer approves revision.
• Uncertainty handling: Trigger confidence and unresolved effects remain recorded.
• Verification: Seeded-change drills.
• Provenance: Trigger-to-assumption-to-test lineage.
• Implementation cost: Monitoring and retesting.
• Limitations: Generic feedback control is a strong comparator. Direct: verification/reassessment. Inference: matched prediction.