Pith. sign in
module module high

IndisputableMonolith.Foundation.HierarchyRealizationFromScale

show as:
view Lean formalization →

This module constructs a ClosedObservableFramework orbit that realizes a prior closed geometric scale sequence. It extends the hierarchy internalization from the upstream module to scale-specific models. Researchers tracing the Recognition Science forcing chain cite it when moving from carrier states to observable dynamics. The module supplies definitions and ratio lemmas without new top-level theorems.

claimAn orbit in the ClosedObservableFramework realizing a closed geometric scale sequence, equipped with scale step ratio and self-similarity properties.

background

The upstream HierarchyRealization module internalizes the hierarchy into the ClosedObservableFramework, eliminating the free-floating levels : ℕ → ℝ interface and connecting level data directly to carrier states and observables. This module specializes that framework to closed geometric scale sequences. The setting is the Recognition Science forcing chain, where scale realizations prepare the T5-to-T6 bridge.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module feeds HierarchyDynamics, which closes the T5→T6 gap by deriving the Fibonacci recurrence from discrete zero-parameter ledger composition axioms. It supplies the realized closed scale model required for that bridge in the forcing chain.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)