depthTwo_separates_cfgAB

The module treats classical source projections for order-sensitive gravity in the frozen world G0 of the Order-Sensitive Gravity proposition. A classical source projection is a typed reading of a Loom configuration allowed to stand in for the conventional-source half of the discovery discriminator. Only readings already proved equal on the gauge-separated certificate pair may sit at THEOREM grade; identifying any such reading with continuum stress-energy remains MODEL.

Depth-two reading extracts the second component of the base invariant of a configuration: the commutator / pair-trace residual the campaign asks about, not a classical source. Configurations A and B are the discovery pair (door/key duals). The upstream separation result states that depth two separates: one coordinate of twenty-one differs exactly, in a finite set, and is proved by decide.

One-line term wrapper that applies the upstream separation lemma on the second invariant coordinate of the base pair. Unfolding the depth-two reading definition makes the goal identical to that lemma, which is discharged by finite decision on the certificate data.

Inhabits the classical-equal / recognition-unequal shape required by the order-sensitive gravity campaign. The module records that depth-two separates both discovery pairs, so that shape is inhabited, while depth-one and abelianised projections equalize the same pairs (sibling results), making additive occupation-style bag readings blind (decoy D2). Honesty boundary: THEOREM for the equality/separation facts by reduction to the Loom certificate lemmas; MODEL for any claim that these projections are physical $T_{\mu\nu}$. No continuum Einstein equation, Fin-16 seating, or gravitational status of the depth-two residue is claimed. Currently a leaf witness (no downstream dependents listed).