Document review & citations, end to end
How a contract becomes reviewed, cited, and trustworthy: the verification cascade, where citations are stored, the playbook and tabular surfaces that ride on it, and the honest edges where verification stops.
Known limitations (M2-D4)
The Citation Engine is correctness-first but ships with several known limitations the M2-D4 sweep documented explicitly. Each limitation has either a regression test pinning current behavior or a deferred-enhancement entry tracking the future fix.