SR103EN Formalization Coherence Cosmology — A Structural Formalization Note

A formal ontology note for Coherence Cosmology (SR103EN v1.8): ontological commitments stated with the tools of order theory, not derivations of physical laws. v2.0 (consolidated) rebuilds the core on System II: the present is generalized to sections; terminality and coherence separate; the v1.0 tautology is resolved and Axiom 2 (Crystallization) becomes substantive — incoherent sections are statable but not crystallized. Central results: the coherent sections of a local structure form a distributive lattice with the present as maximum, and every maximal history ends at the present; interference is formalized as crystallized reference with no new primitive, and the calibration map is constructed with order-preservation as a theorem; mutual recognizability becomes V = A·R (coverage × resolution), reproducing the light (1, 0), velocity, gravity, and horizon (0, 0) regimes from one definition, with sum = A and the horizon as coverage collapse; coverage is pinned chain-independently under the new Axiom C; resolution is gauge-covariant with exact invariant content. Addendum A adds channel-indexed coverage conservatively (Theorem 11): channels as indexed generators of the global order, and the dark-sector signature A_EM = 0 with A > 0 witnessed — electromagnetic invisibility as one-channel coverage collapse, mixed-path observability as the formal skeleton of rotation-curve and lensing detection. Physical magnitudes (1/γ, √(1−r_s/r), the channel assignment) enter as labelled inputs throughout. Supersedes v1.0. Companion amendments: EP Hints v1.2 (10.5281/zenodo.20643359), DM Hints v1.1.