reference_unit_state
plain-language theorem explainer
An observer's reference event is fixed at state value 1. Workers on the recognition-to-observer forcing chain cite this to anchor the reference frame at the identity tick. The proof is a direct one-line application of the uniqueness theorem for persistent states.
Claim. Let $obs$ be a coherent recognition structure equipped with a persistent reference event. Then the state of the reference event equals 1.
background
The module shows that any non-trivial coherent recognition forces an observer by requiring a persistent reference frame whose J-cost is invariant. An observer is a CoherentRecognition paired with an IsPersistent witness on its reference event. The upstream theorem persistent_state_unique asserts that any persistent reference satisfies ref.state = 1, via the equivalence Jcost x = 0 iff x = 1 from the Cost module.
proof idea
One-line wrapper that applies persistent_state_unique to obs.recognition.reference and obs.persistent.
why it matters
This fills step 5 of the module's seven-step argument: the unique zero-cost state is the identity tick x=1. It supports the master result nontrivial_recognition_forces_observer by fixing the reference. In the Recognition Science framework it instantiates the J-uniqueness property that isolates the fixed point at the identity.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.