Foundation Hierarchy Minimality Minimal Hierarchy

The minimal hierarchy

A hierarchy is a ladder of sizes, each rung a fixed multiple of the one below. The classical question is which multiple preserves the ladder's coherence when you combine two steps. In the Recognition Science framework, which models reality as maintaining a discrete record of events called a ledger, the answer arrives with striking economy. Its machine-checked library of formal theorems defines a MinimalHierarchy: a geometric scale ladder together with the single closure condition that the sum of the first two rungs equals the third.

That condition, written in symbols as scale 0 + scale 1 = scale 2, is the Fibonacci relation in disguise. If the ladder's ratio is r, the condition says r² = r + 1. Solving the quadratic gives the golden ratio, φ = (1 + √5)/2 ≈ 1.618, as the unique positive ratio that satisfies it. The framework proves this in two steps: the closure condition forces the golden equation, and the golden equation forces the ratio to be φ. No further assumptions, no fitted parameters, no additional axioms beyond the standard logical ones.

The golden ratio is not new to mathematics. Euclid called it the extreme and mean ratio around 300 BCE, and it appears in the pentagon, in Fibonacci numbers, and in continued fractions. What the framework adds is a specific route: it shows that a hierarchy closed under the simplest nontrivial composition step must have φ as its ratio. This is a structural necessity, not an empirical observation. The framework's library proves it as a theorem, and the theorem is machine-checked, meaning every step is verified by a computer from the axioms.

In Recognition Science, this minimal hierarchy is the seed for a longer chain. The same closure idea, extended through eight ticks of a recognition cycle, forces the number 2³ and three spatial dimensions. But the minimal declaration itself does not go that far. It establishes only the first step: a closed ladder's ratio is φ. It does not claim that every hierarchy must be closed, that the golden ratio appears in nature, or that the full dimensional chain follows from this declaration alone. Those are separate results with their own conditions.

What a reader can take away is a clean logical fact: if you demand that a scale ladder close under the rule that the first two steps sum to the third, the golden ratio is not a choice but a consequence. The framework's contribution is to make that consequence precise and machine-verified, and to place it at the base of a larger structure that continues from there.

/-- Minimal discrete hierarchy: a geometric scale ladder closed under the first
    non-trivial composition step. -/
structure MinimalHierarchy where
  scales : GeometricScaleSequence
  minimalClosure : scales.isClosed

/-- The first closure step is exactly the Fibonacci relation. -/
theorem hierarchy_forces_golden_equation (H : MinimalHierarchy) :
    H.scales.ratio ^ 2 = H.scales.ratio + 1 :=
  closure_forces_golden_equation H.scales H.minimalClosure

/-- Minimal closure already forces the unique positive self-similar ratio `φ`. -/
theorem hierarchy_forces_phi (H : MinimalHierarchy) :
    H.scales.ratio = φ :=
  closed_ratio_is_phi H.scales H.minimalClosure

What this page does not claim

The golden ratio is not claimed to be the only possible ratio for any hierarchy, only for one closed under this specific condition. The minimal hierarchy does not claim to derive the fine-structure constant or any coupling constant. The declaration does not claim that physical space is three-dimensional; that is a separate result with its own conditions.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Foundation/HierarchyMinimality.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: