pith. sign in
module module high

IndisputableMonolith.Foundation.HierarchyRealization

show as:
view Lean formalization →

The HierarchyRealization module defines a hierarchy of carrier states observed by r and generated by iterating dynamics T under self-similar scaling with additive posting. It supplies the RS-native replacement for HasMultilevelComposition plus bridge hypotheses. Workers on the T5 to T6 forcing-chain bridge cite the module to connect closed observable frameworks with emergent hierarchies. Content consists of definitions and basic lemmas realizing the hierarchy from prior emergence results.

claimLet $r$ be an observer in a closed observable framework. A realized hierarchy is a sequence of carrier states generated by iterating dynamics $T$, equipped with self-similar scaling ratios and additive closure under ledger composition.

background

The module rests on ClosedObservableFramework, which encodes positive-valued observables, a ratio interface, and conservation as structure fields while retaining only the Regularity Axiom. It also imports HierarchyEmergence, whose argument shows that a zero-parameter comparison ledger with multilevel composition produces a minimal hierarchy and forces phi as the unique admissible scale.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the hierarchy structure consumed by HierarchyDynamics, which closes the T5 to T6 gap by deriving the Fibonacci recurrence from ledger-composition axioms. It also supports HierarchyRealizationFromScale in extracting fields from earlier scale primitives. The definitions advance the axiom-closure plan by replacing bare HasMultilevelComposition with a native RS object.

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)