falsification-first-audit

Purpose

Convert a sharp claim into the cheapest decisive falsification program and return BROKEN, CORROBORATED, or UNFALSIFIABLE.

Input contract

mode_contracts:
  sharp-claim: &falsification_input
    required: [claim, scope, available_evidence]
    optional: [mechanism, candidate_tests]
    constraints: [claim_must_expose_observable_consequences_and_boundary_conditions]
  truthseeking-debate: *falsification_input
  truthseeking-red-team: *falsification_input

Execution protocol

Do not perform called SOP operations inline; each loaded SOP owns its contract and thresholds.