current_visual_scope.tex
Realization Calculus
current_visual_scope.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \textbf{Formal coverage.} 53 of 53 proof-level source records have kernel checked, semantically accepted scope. No partial or pending proof records are listed in this correspondence. These are source-record counts under their stated hypotheses, not counts of independent discoveries.
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 90b52992be3946b820b716b087bc96ed5e697127ea8cdbed5999e2fa1b214439