Concordance documentation on VakeWorks AB

Quickstart

Mon, 01 Jan 0001 00:00:00 +0000

Quickstart — run Concordance on any laptop

No model, no network, no account. Five minutes. Concordance is pure Rust with no runtime dependencies, so it runs on Linux, macOS and Windows, on both Intel (x86-64) and Apple-Silicon / ARM (aarch64).

1. Get Concordance

Option A — prebuilt binary (fastest)

Platform	Artifact	Status
Linux x86-64	`concordance-linux-x86_64` (+ `.sha256`)	available now
Linux aarch64 (ARM)	`concordance-linux-aarch64`	build from source, or CI follow-on
macOS arm64 (M1/M2/M3) & x86-64	signed `.dmg`	CI follow-on (Apple-Silicon runner)
Windows x86-64 & ARM	signed `.exe` / `.msi`	CI follow-on (Windows runner)

Download the artifact for your platform, verify its checksum, and run it:

Command reference

Mon, 01 Jan 0001 00:00:00 +0000

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.

Worked examples

Mon, 01 Jan 0001 00:00:00 +0000

Four worked examples

All examples use synthetic parties and documents. Concordance flags inconsistencies; a human reads and decides.

1. A mathematics paper (LaTeX)

concordance analyze paper.tex

A real run over a 317-construct paper returns:

{"summary": {"constructs": 317, "ref_edges": 529, "cite_keys": 10, "bib_entries": 25},
 "findings": {
 "dangling_refs": {"Dfn-Foo": [{"file": "paper.tex", "line": 1017}]},
 "duplicate_labels": [],
 "missing_cites": {},
 "unused_labels": ["Rmk-Bar", "sec:appendix-a"]}}

Read it as: one \ref{Dfn-Foo} points at a definition that was never written (fix it); no duplicate labels; no missing citations; some labels are unused (the section anchors are fine; review the theorem-like ones).

Sovereignty & tiers

Mon, 01 Jan 0001 00:00:00 +0000

Sovereignty and tiers

Concordance is built so that the free tier is a Digital Public Good: it can be audited to run no model and make no network connection — by construction, not by promise.

The AI-000 tier (this binary)

No model. Concordance runs no AI. It is a deterministic citation-graph checker: same input, same output, every time.
No network. The free build compiles without the egress feature. Every line of network code (currently none) is #[cfg(feature = "egress")] and is compile-excluded from this binary. An auditor confirms egress-freeness by inspecting the artifact — no HTTP client, no socket code is present to disable.
On-device. Documents never leave your machine.

“It flags; it does not decide” — Concordance surfaces inconsistencies; a human reads them and signs. It makes no editorial or legal judgement.