Empirical and Reflexive Completeness Separate

Abstract

A complete quantum-state readout does not make internal self-evaluation exhaustive.

Theorem 1.1 (Empirical completeness coexists with reflexive incompleteness).

$$\exists context\in \mathrm{Fin}\left(3\right)\to \mathrm{RankOneContext}\left(2\right),\mathrm{Injective}\left((rho:\mathrm{DensityState}\left(\mathrm{Fin}\left(2\right)\right)\mapsto \mathrm{contextReadout}\left(context,\mathrm{matrix}\left(rho\right)\right))\right)\wedge \left(\forall evaluation\in \mathrm{DensityState}\left(\mathrm{Fin}\left(2\right)\right)\to \left(\mathrm{DensityState}\left(\mathrm{Fin}\left(2\right)\right)\to Bool\right),\neg (state\mapsto \mathrm{not}\left(\mathrm{evaluation}\left(state,state\right)\right))\in \mathrm{range}\left(evaluation\right)\right)$$

Proof. Machine-checked in Lean as D5/S3/Observer/Existence/EmpiricalReflexiveSeparation.empirical_complete_reflexive_incomplete (✓ std3). ∎

Source. Repository-derived.

Commentary.

There is a three-context rank-one qubit observer whose projector-trace readout is injective on the canonical carrier of positive, trace-one qubit density states. This is the public current-state reconstruction clause.

For every Boolean evaluation table indexed twice by that same density-state carrier, the function obtained by negating the table on its diagonal is outside the table’s range. This is exactly the public internal self-evaluation non-capture clause.

The concrete witness uses the three standard mutually unbiased qubit bases. The proof then applies the repository’s complete-context tomography and fixed-point-free Lawvere escape theorems.

References

• Truth anchor: D5/S3/Observer/Existence/EmpiricalReflexiveSeparation.empirical_complete_reflexive_incomplete
• Dependency: D5/S3/Quantum/Foundation/FiniteStateChannel
• Dependency: D5/S3/Quantum/PureState/PureStateHandshake
• Dependency: D5/S3/Quantum/Tomography/ObserverDiagonalSeparation