pith. sign in
module module high

IndisputableMonolith.TruthCore.TimeKernel

show as:
view Lean formalization →

TimeKernel module asserts the time-kernel ratio is dimensionless and invariant under common rescaling. Researchers handling time in Recognition Science or ILG gravity models cite it to confirm unit independence. The module supplies a simple alias on top of the ILG import with no internal proofs.

claimThe time-kernel ratio is dimensionless: invariant under rescaling, i.e., the ratio equals its value after any common factor is applied to numerator and denominator.

background

The module sits in TruthCore and imports IndisputableMonolith.Gravity.ILG to ground time properties in the gravity sector. Its sole documented object is the alias confirming the time-kernel ratio remains unchanged under uniform scaling. This fits the Recognition Science setting where quantities must stay invariant when units are rescaled across the phi-ladder and J-cost constructions.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the dimensionless time-kernel alias required by downstream time-dependent statements in TruthCore. It directly supports the eight-tick octave (T7) and spatial dimension forcing (T8) by ensuring time ratios do not introduce spurious dimensions when combined with the ILG gravity layer.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (1)