Protocol
plain-language theorem explainer
Protocol supplies the base record type for any RS measurement extraction procedure. Calibration and alignment code cite it to bundle a stable name, status, assumptions, and explicit falsifiers. The declaration is a plain structure with four fields defaulted to empty or spec status.
Claim. A measurement protocol is a record with a short stable identifier $name$, an optional human-readable summary, a status flag, a list of explicit assumptions, and a list of falsifiers that would refute the protocol.
background
The RS-Native Measurement Framework keeps all extraction steps explicit by attaching a protocol record to every observable. Core units are the tick and voxel with $τ_0=1$, $c=1$, and action quantum $act=φ^{-5}$; SI values appear only through optional external calibration. Protocols therefore carry falsifiers so that windowing or basis choices remain testable rather than hidden.
proof idea
The declaration is a structure definition that introduces the five fields with defaults for summary, status, assumptions, and falsifiers.
why it matters
Protocol is the common interface extended by AlignmentProtocol and instantiated by tau0_seconds_protocol in single-anchor calibration. It enforces the framework rule that every measurement must list its falsifiers, supporting hygiene theorems and the separation between RS-native observables and SI reporting.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.