IndisputableMonolith.Gravity.Analysis.ClassicalSourceProjectionAudit
Audit layer over the classical source projection used in order-sensitive gravity. It packages the frozen-world G0 reading of a Loom configuration that may stand in for the conventional-source half of the discovery discriminator. Gravity analysts cite it when checking that only gauge-separated, already-proved-equal readings are admitted. The module is structural: it imports and re-exposes the projection interface rather than proving new identities.
claimAn audit of classical source projections: typed readings of a Loom configuration that may replace the conventional source in the order-sensitive gravity discovery discriminator, restricted to readings already proved equal on the gauge-separated side in the frozen world $G_0$.
background
Order-sensitive gravity distinguishes a recognition-side source from a conventional (classical) source inside a discovery discriminator. The upstream module freezes a world $G_0$ from the Order-Sensitive Gravity proposition plan and defines a classical source projection as a typed reading of a Loom configuration allowed to stand in for that conventional half.
Only readings already proved equal on the gauge-separated side are admissible. The audit module sits one layer above that definition stack: it does not redefine the projection, but organizes the interface so downstream gravity analysis can treat the classical-source slot as a checked, typed object rather than an informal placeholder.
Notation follows the holography plan: Loom Config is the discrete configuration carrier; gauge separation is the equivalence under which two readings count as the same classical source.
proof idea
This is an audit and import module, not a theorem file. It pulls in ClassicalSourceProjection and exposes the classical-source-projection interface for gravity analysis. There is no independent proof body: correctness rests on the upstream equalities already established for gauge-separated readings in the frozen world $G_0$.
why it matters in Recognition Science
In the Recognition gravity stack, the discovery discriminator needs a rigorously typed conventional-source slot so order-sensitive claims are not smuggled past gauge equivalence. This audit module is the analysis-facing gate for that slot. It has no downstream Lean dependents listed yet; its role is organizational, tying the frozen $G_0$ classical projection into the Gravity.Analysis namespace so later discriminator and holography results can cite a single audited interface rather than raw configuration readings.
scope and limits
- Does not prove new equalities between classical source readings.
- Does not define the discovery discriminator or its recognition-side half.
- Does not establish gauge separation; that is assumed upstream.
- Does not derive dynamical field equations or mass formulas.
- Does not claim observational fits or numerical gravity tests.