Skip to main content
FRC.v2
FRC-830-002 · v0.1

Operational Registers and Reciprocity-Preserving Morphisms v0.1

H. Servat2026-07-1419 minFRC 800 seriesFoundationalμ4 Logical / conceptual

Reading status

Current statement

FRC can reuse many successful coherence measures without pretending they are identical. Strong register morphisms must act on states and commute with their ledgers; von Mises embeds exactly into the phase route, while purity cannot be silently converted into off-diagonal coherence under the identity state map.

Evidence level

Frontier preprint

preprint

Declared μ register

μ4 · Logical / conceptual

Logic, formal models, language as explicit reasoning, and computational design.

Open boundary

Review the paper’s declared scope, controls, limitations, and kill conditions.

Version lineage

v0.1 · Current release

On this page
FRC uses several legitimate coherence routes, including phase order, the von Mises mean resultant, quantum purity, basis-dependent off-diagonal interference, and platform-specific composites. This paper formalizes how those routes may share a framework without being declared the same observable. A weak reciprocity map preserves the pulled-back ledger one-form up to a nonzero multiplier. A strong affine register morphism additionally supplies a state or model map and a commuting ledger square. Both classes compose; the strong class forms a category with explicit identities, associativity, exact-preserving and signed subcategories, and an invertible groupoid. One-form preservation alone is shown insufficient by an exact counterexample. The von Mises family supplies a nontrivial strong morphism into the phase-distribution register: the state-space inclusion commutes exactly with the entropy and mean-resultant ledger, but is not an isomorphism. A qubit no-go theorem proves that purity and fixed-basis off-diagonal coherence admit no single-valued ledger adapter under the identity state map, even though both are valid operational routes. Present FRC registers therefore form a typed formal category populated by a sparse graph of verified arrows, not one proven physical equivalence class.
Cover art for FRC-830-002: Operational Registers and Reciprocity-Preserving Morphisms v0.1