depthTwo_separates_cfgCD

The module freezes world G0 of the Order-Sensitive Gravity proposition. A classical source projection is a typed reading of a Loom Config that may stand in for the conventional-source half of the discovery discriminator. Only readings already proved equal on a gauge-separated certificate pair may inhabit the interface at theorem grade; identifying any such reading with continuum stress-energy remains model-level.

Depth-two reading extracts the second component of the base invariant: the commutator / pair-trace residual the campaign asks about, not a classical source. Sibling results show depth-one and abelianised bag readings equalize both discovery pairs (A/B and C/D). Additive occupation-style bags are therefore blind (decoy D2).

Equalities and separations in this file reduce to Loom certificate lemmas: depth-one blindness, abelianised blindness, depth-two separation, and their C/D siblings.

One-line term wrapper. Applies the upstream cfgC/cfgD depth-two separation certificate (depth_two_separates2); no local algebra or case split. The inequality is inherited wholesale from that Loom certificate.

With the depth-one and abelian equalities on the same pair, this separation inhabits the classical-equal / recognition-unequal shape for the second discovery pair. That shape is exactly what the classical source projection interface needs at theorem grade: conventional-looking readings collapse C with D, while the depth-two residual does not.

Module honesty is explicit: theorem status covers only the equalities and separations by reduction to Loom certificates; any claim that these projections are physical $T_{\mu\nu}$, a continuum Einstein equation, a seating into Fin 16, or that the depth-two residue is gravitational is not claimed. No downstream dependents are wired yet; the result closes the C/D half of the proved interface rather than feeding a named parent theorem.