IndisputableMonolith.TruthCore.ILGDisplay
The ILGDisplay module supplies display and presentation definitions for the ILG structure imported from the Gravity domain inside TruthCore. Researchers working on Recognition Science visualizations or documentation would cite it when rendering ILG components. The module contains only definitions and no proofs, relying on a direct import from IndisputableMonolith.Gravity.ILG plus Mathlib.
claimThe module declares display objects including $ILG_{w,t}$ for presenting the ILG structure derived from the Recognition Composition Law.
background
This module sits in the TruthCore domain and imports the core ILG definition from IndisputableMonolith.Gravity.ILG. ILG encodes the central object built from the J-cost function satisfying the Recognition Composition Law $J(xy) + J(x/y) = 2J(x)J(y) + 2J(x) + 2J(y)$. The module adds display utilities on top of that imported structure without introducing new mathematical content.
proof idea
This is a definition module with no proofs. It consists of display declarations that import basic operations from Mathlib and the ILG object from IndisputableMonolith.Gravity.ILG, then expose them under the sibling name ILG_w_t_display.
why it matters in Recognition Science
The module supports presentation of results from the Gravity.ILG parent, aiding the TruthCore domain that connects to the forcing chain steps T5 through T8 and the phi-ladder mass formula. It provides the display layer needed for downstream documentation of the eight-tick octave and spatial dimension D=3.
scope and limits
- Does not contain any theorems or proofs.
- Does not alter the mathematical definition of ILG.
- Does not introduce new constants or numerical evaluations.
- Does not depend on other TruthCore modules.