audit-explanatory-compression

Purpose

Test whether an elegant explanation earns compression by excluding alternatives, subsuming independent facts, or making risky predictions.

Input contract

mode_contracts:
  earned-simplicity: &compression_audit_input
    required: [explanation, covered_facts, alternatives]
    optional: [predictions, evidence]
    constraints: [facts_and_alternatives_must_be_independently_enumerated]
  decorative-simplicity: *compression_audit_input
  risky-prediction: *compression_audit_input

Execution protocol

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