Finite Record Boundaries in Wigner's Friend Scenarios: Observer-Relative Distinguishability and Quantum Record Availability in Finite Distinction Systems

Yining Wu · 2026-05-19

Treats Wigner's friend as a finite record-boundary problem: observers are finite record-bearing systems with finite accessible algebras. A friend-relative record cannot be promoted into Wigner's operational fact algebra unless a physical promotion channel supplies sufficient cross-boundary mutual information. Introduces boundary-mismatch entropy, Fano-bound reconstruction limits, false promotion risk under partial leakage, objective availability through environmental redundancy, a record-availability horizon for quantum-device diagnostics, and a Frauchiger-Renner boundary-audit rule.

@misc{wu2026fdsq1,
  author = {Yining Wu},
  title = {Finite Record Boundaries in Wigner's Friend Scenarios: Observer-Relative Distinguishability and Quantum Record Availability in Finite Distinction Systems},
  year = {2026},
  doi = {10.5281/zenodo.20289215},
}