IndisputableMonolith.LightCone
The LightCone module supplies the discrete light-cone definitions and structure in Recognition Science. Researchers formalizing causal bounds in discrete spacetime cite it when removing explicit step counts from cone statements. It consists of foundational objects that the ConeExport theorem directly imports to state the bound in closed form.
claimThe discrete light-cone bound states that causal separation satisfies $d(x,y) < t$ for points inside the cone generated by the eight-tick octave and $D=3$ spatial dimensions.
background
Recognition Science builds spacetime from the forcing chain T0-T8, with T7 fixing the eight-tick period and T8 fixing three spatial dimensions. The light-cone module encodes the resulting causal structure using the J-cost function and the phi-ladder mass formula. No upstream lemmas are imported; the module stands as the source for all cone-related objects.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module feeds the ConeExport.Theorem, whose doc-comment states it contains the verification-level cone bound theorem that exports the discrete light-cone bound without the step count parameter. It therefore closes the step-count dependency in the export of the T7-T8 causal structure.
scope and limits
- Does not contain the final export theorem.
- Does not parameterize the bound by explicit step count.
- Does not import any external modules for its core objects.
- Does not address continuous limits or renormalization.