SR103EN Formalization v2.1 (Consolidated) presents the formal ontology of Coherence Cosmology: a global static structure carrying a strict partial order (crystallized reference), local presents as coherent sections forming a distributive lattice, interference as crystallized reference across structures, and mutual recognizability V = A · R — coverage times resolution — as a derived, gauged quantity. Axiom L is the defining axiom of causal set theory (Bombelli–Lee–Meyer–Sorkin 1987), making the correspondence indicated in QG Hints explicit at the level of axioms. New in v2.1. Addendum A is absorbed as §11: the global order acquires a channel structure beneath the order relation (channels as indexed generators, Definition 19); channel coverage and channel-indexed V are defined (Definitions 20–21); and the dark-sector signature — vanishing electromagnetic coverage with non-vanishing all-channel coverage, carried by mixed paths — is stated and witnessed (Theorem 12). The absorption is conservative: every definition and theorem of v2.0 holds verbatim (Theorem 11). The version adds a boundary clause (claims / does not claim / open) and an explicit status of the quantum layer (§0), and restates the open problems as seven named problems with a discharge ledger (§14): the Interference Function; the Canonical Gauge — Constitutive Homogeneity (deferred); the Global Theory; Intermediate Coverage; Radar Duality and Simultaneity Conventions; Geodesic Correspondence; Lorentz Recovery. No definition, axiom, or theorem of v2.0 is altered. As throughout the series, no physical law or magnitude is derived: physical quantities enter as labelled inputs, and every correspondence with physics is a correspondence to be tested, not a derivation. Supersedes SR103EN Formalization v2.0 (10.5281/zenodo.20643320), absorbing its Addendum A (10.5281/zenodo.20647657); and v1.0 (10.5281/zenodo.20405659), except items explicitly retained (§12). Companions: DM Hints v1.1 (10.5281/zenodo.20652088); EP Hints v1.2 (10.5281/zenodo.20643359). License: CC BY 4.0.
Masashi Saito (Sat,) studied this question.