IndisputableMonolith.TruthCore.ILGDisplay
The ILGDisplay module supplies display and notation support for the ILG gravity model inside the TruthCore section. It imports the core ILG definitions from the Gravity package and defines presentation objects for key results. Researchers integrating gravity models into the truth framework reference this module for consistent rendering. The module contains only definitions and no proofs.
claimDefines display utilities for the ILG model, including the weighted time-dependent form denoted $ILG_{w,t}$.
background
This module sits in the TruthCore domain and imports the Gravity.ILG module, which supplies the underlying ILG definitions and theorems. The local setting is the integration of gravity results into core truth structures, with no additional mathematical objects introduced beyond display helpers. The upstream import provides the base ILG framework without further elaboration in the supplied facts.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supports TruthCore by providing display for ILG results and connects directly to the Gravity.ILG parent module. No downstream theorems are listed as users.
scope and limits
- Does not introduce new theorems or proofs.
- Does not alter the imported ILG definitions.
- Does not list any downstream dependencies.