orbitLevels_two
plain-language theorem explainer
The orbit level function in the Boolean counterexample evaluates to 1 at step 2. Researchers auditing the T5 to T6 bridge would cite this to verify explicit behavior in the finite obstruction. The proof is a one-line simplification that unfolds the orbit definition, framework readout, and base state.
Claim. Let $L(k)$ denote the readout value of the $k$-fold iterate of the transition map starting from the base state in the two-state framework. Then $L(2) = 1$.
background
The module shows that ClosedObservableFramework alone fails to force ratio self-similarity or additive posting on orbit-defined levels $k mapsto r(T^{[k]} baseState)$. It supplies an explicit finite counterexample whose states alternate between readout values 1 and 2 under negation.
proof idea
The proof is a one-line wrapper that applies simplification to the orbit level definition, the Boolean framework, and the base state.
why it matters
This result supplies a concrete value inside the counterexample orbit used to demonstrate that ClosedObservableFramework does not force the hierarchy fields required for the T5 to T6 bridge. It supports the honesty check that stronger prior structure is needed before phi can be derived as the self-similar fixed point.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.