pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.Physics.DimensionalAnalysisFromConfigDim

show as:
view Lean formalization →

This module defines the structure for seven SI base quantities in Recognition Science, classifying five as primary and two as derived from the time quantum. Researchers in foundational physics cite it to certify unit consistency when mapping RS constants to SI standards. The module consists entirely of definitions and a certification object with no embedded proofs.

claimThe module introduces the seven SI base quantities with five primary and two derived, grounded in the RS time quantum where $τ_0 = 1$ tick.

background

Recognition Science derives physics from a single functional equation. The module imports the fundamental RS time quantum $τ_0 = 1$ tick from the Constants module. It centers on partitioning SI quantities into base types and a certification mechanism for dimensional consistency.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the dimensional foundation that subsequent physics derivations rely upon in the Recognition Science framework. It aligns RS-native units with SI standards and supports the overall structure from the forcing chain.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (5)