extract-structural-mapping

Purpose

Construct an explicit source-to-target mapping over objects, relations, operations, constraints, and invariants.

Input contract

required: [source_structure, target_structure, mapping_claim]
optional: [required_objects, required_relations, invariants]
constraints: [mapping must preserve identity and provenance of mapped elements]

Procedure

1. Enumerate source and target elements.
2. Map objects, relations, operations, constraints, and invariants.
3. Mark unmatched, ambiguous, and many-to-one mappings.

If source-target correspondences are explicit, consider test-structure-preservation as the next tactic.