Command reference

concordance <command> <input> [options]

Default output is JSON on stdout. Commands are read-only except reconcile --in-place.

about

Print tier, guarantees, and license. No input.

analyze <main.tex> [root]

The integrity report. Returns:

  • summary: constructs, ref_edges, cite_keys, bib_entries.
  • findings: dangling_refs (ref → missing label, with file+line), duplicate_labels, missing_cites, unused_labels.
  • labels: the resolved label set.

root (optional) is the directory used to resolve \input/\include; defaults to the main file’s directory.

classify <main.tex> [root]

Per-construct classification under the maths profile (axiom / definition / proposition / lemma / remark / corollary / example / conjecture / theorem, by label prefix), plus document-limit checks (guards against pathological inputs).

Classification under the legal profile over a folder of documents.

corpus <main.tex> [root]

Structural extraction of the LaTeX corpus (blocks, labels, references) — the raw graph analyze and classify build on.

corpus-md <dir>

Structural extraction of a Markdown corpus.

emit-registry <main.tex> [root]

Emit the canonical-label registry: each construct keyed by its canonical (tex CamelCase) label, with concordance_norm_id (the normalized bridge id), kind, and location; plus a dangling list. Deterministic — same input, same bytes.

reconcile <main.tex> --registry <registry.json> [--in-place]

Rewrite legacy numbered \ref/\cref to their canonical labels using a registry from emit-registry. Idempotent: already-canonical input is returned byte-for-byte unchanged. Default writes to stdout + a rewrite count to stderr; --in-place edits the file.

fetch --registry <sources.json> -j <CODE> --plan

Print the network-free fetch plan (mode + transport args) for a jurisdiction code. The free build is plan-only by construction — it computes what would be fetched but performs no network I/O. --list / --show mirror the plan registry.