D2a-C — Companion to D2a: Proofs from the Discrete Corpus

D2a-C — Companion to D2a: Proofs from the Discrete Corpus D2a-C is the evidentiary reference layer for auditing D2a against the primary Triniton discrete corpus (Partie I v4, Chapitre III, Doc 63 v5, v44, approximately 511 pages). It reproduces — with hypotheses, conclusions, and proofs where available — every result imported by D2a from the discrete corpus. D2a-C does not introduce new proofs, strengthen conclusions, resolve corpus ambiguities by mathematical interpretation, or permit post-hoc import from the continuous or cosmological corpus. The audit chain is: D2a §x.y → D2a-C §Ck → Primary discrete corpus. Verification status labels: [V] (explicitly found in corpus), [V-partial] (partially verified), [Convention-D2a] (operational addition declared in D2a), [Open — discrete] (not established in the discrete evidentiary layer), [ILC fort — discrete] (program formally identified by the corpus as requiring additional resolution), [Later closure — continuous/cosmo] (historical, non-retro-importable). Key open programs recorded: (1) Equivalence of the quotient notation B_{r_max}([x₀])/≡ with the D2a point-level convention (§C4.1.a). (2) Local/global coherence lemma for σ₃^obs_T (§C6.3). (3) Full Θ(r^d) bound on Class A beyond Z^d — identified as ILC fort — discrete (§C9.1). (4) Ω(r^d) general lower bound (§C9.3). (5) Universal-existential formulation of MP(III) operational — primary discrete corpus source requires cross-verification (§C7.1). The traceability control table (§X) establishes the many-to-many correspondence between all D2a [Imported] results, D2a-C §Ck sections, and primary corpus sources. The primary corpus remains normative.