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.

1. You MUST load skill extract-structural-mapping to construct the object, relation, operation, and invariant mapping.
2. You MUST load skill test-structure-preservation to test preservation. You MUST load skill generate-counterexample to search minimal counterexamples.
3. You MUST load skill downgrade-equivalence-claim to downgrade the claim and record lost invariants. Deviation: if the claim is only analogy by scope, run the analogy branch and do not report isomorphism.

Output contract

mode_contracts:
  isomorphism: &structural_audit_output
    produces: [claimed_sides, maps_attempted, monsters_found, dimension_count_result, highest_defended_rung, required_wording_change]
    delta_fields: [findings, evidence_updates, uncertainties, decisions]
  substructure: *structural_audit_output
  homomorphism: *structural_audit_output
  shared-invariant: *structural_audit_output
  analogy: *structural_audit_output

Thresholds and quality gates

• All required relations, operations, and invariants must have pass/fail/unknown status.
• A full equivalence claim fails on one unprincipled preservation counterexample.

Failure and counterexamples

Do not infer equivalence from surface similarity. Exclusions introduced only after a counterexample are ad hoc unless independently justified.

Provenance map

• resolved: isomorphism-falsification

Preserved source criteria ledger

source	source line	kind	source criterion
v4 architecture	node desc	textual	Preserve structures/operations/invariants; downgrade when full equivalence fails.

Context checkpoint / Delta notes

Append mapping, tested invariants, counterexamples, and final relation.

Mode branches

• isomorphism: all declared structures and operations must preserve.
• substructure: test inclusion only.
• homomorphism: test operation-preserving mapping with relaxed structure.
• shared-invariant: test named invariant subset.
• analogy: report transferable relation without equivalence claim.