Pith. sign in
module module high

IndisputableMonolith.Foundation.HierarchyRealization

show as:
view Lean formalization →

The module defines the realized hierarchy of carrier states observed by r and generated by iterating dynamics T, equipped with self-similar scaling and additive posting. It serves as the RS-native replacement for bare multilevel composition plus bridge hypotheses. Researchers closing the T5 to T6 gap in the forcing chain would cite it to link emergence results to dynamics. The module supplies the structural definitions and supporting lemmas.

claimA hierarchy of carrier states observed by $r$, generated by iterating the dynamics $T$, equipped with self-similar scaling and additive posting.

background

The ClosedObservableFramework supplies the ledger with positive-valued observables, a ratio interface, and conservation as structure fields, absorbing earlier axioms and leaving only the Regularity Axiom. HierarchyEmergence shows that a zero-parameter comparison ledger with multilevel composition necessarily produces a minimal hierarchy and forces phi as the unique admissible scale. This module realizes that hierarchy concretely.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

This module supplies the realized hierarchy object that HierarchyDynamics uses to close the T5 to T6 bridge in the forcing chain. It also feeds HierarchyRealizationFromScale for deriving fields from scale primitives. It replaces the bridge-hypothesis interface with concrete RS structure derived from the closed observable framework.

scope and limits

used by (2)

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

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (8)