📘 mova-correspondence — the relation-catalogue audit

mova-correspondence checks the typed finite formulas of models/correspondences.json against their source bindings and the groupant registry, and reports coverage. It is an audit: it never proves a relation and never substitutes a formula for production code. Method: Correspondences.

Run

cargo build --release -p mova-correspondence
target/release/mova-correspondence scan REPO REGISTRY CATALOG NEW_JSON
# e.g. scan "$REPO" "$REPO/models/contracts.json" "$REPO/models/correspondences.json" "$RUN/scan-1.json"

NEW_JSON must not exist. The command prints the output path, the coverage, "proof": false and "production_substitution": false. Run it twice and compare the two reports before claiming a change.

This page in Markdown → https://md.mova.elamur.ai/free/en/docs/tools/correspondence/