audit-structural-equivalence

Purpose

Audit a claimed isomorphism or equivalence and downgrade it to the strongest defensible relation when preservation fails.

Input contract

mode_contracts:
  isomorphism: &structural_audit_input
    required: [source_structure, target_structure, equivalence_claim]
    optional: [required_invariants, operations, constraints]
    constraints: [mapping_domains_and_preservation_obligations_must_be_explicit]
  substructure: *structural_audit_input
  homomorphism: *structural_audit_input
  shared-invariant: *structural_audit_input
  analogy: *structural_audit_input

Execution protocol

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