V
plain-language theorem explainer
V abbreviates the vantage type in the RRF glossary, standing for the three perspectives inside, act, and outside. Framework users modeling recognition processes cite this symbol for uniform terminology when switching viewpoints. The declaration is a direct one-line alias to the inductive definition of the three-element type.
Claim. Let $V$ denote the type whose elements are the three vantages: inside (subjective perspective), act (dynamic perspective), and outside (objective perspective).
background
The RRF Core Glossary module supplies canonical symbols for the Reality Recognition Framework, with V listed as the vantage type alongside J for the strain functional. Vantage encodes the three fundamental perspectives on reality: inside for qualia and experience, act for recognition and process, and outside for physics and measurement. This supplies the local setting for all subsequent RRF modules that distinguish viewpoints during recognition.
proof idea
This declaration is a one-line abbreviation that directly aliases the Vantage inductive type defined in the Vantage module.
why it matters
The abbreviation anchors consistent reference to vantage perspectives across the framework and feeds downstream results including the energy conservation certificate and Hamiltonian equations in the Action module. It completes the glossary entry for V, supporting the recognition pairing and ledger constraints that rely on viewpoint switching. No open scaffolding remains for this symbol.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.