Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 {
2   "paper": "VIII",
3   "date": "2026-10-10",
4   "status": "INTERNAL_PUBLICATION_RELEASE_COMPLETE",
5   "documents": [
6     {
7       "role": "traditional",
8       "title": "Traditional monograph",
9       "path": "papers/Paper_VIII_Traditional_Final.pdf",
10       "source_entry_point": "editable/traditional/Paper_VIII_Traditional_Final.tex",
11       "pages": 124,
12       "bytes": 830921,
13       "sha256": "0b25167cdddd5c07cc36252ba13abb7db423392d6387ccef0dbd0ddb813b5042"
14     },
15     {
16       "role": "visual_guide",
17       "title": "Visual guide",
18       "path": "papers/Paper_VIII_Visual_Guide_Final.pdf",
19       "source_entry_point": "editable/visual_guide/Paper_VIII_Visual_Guide_Final.tex",
20       "pages": 34,
21       "bytes": 196921,
22       "sha256": "a78f1c18c7c36cecbaf9484bc6dc643300c3b5054df338f48be6390af5e520c7"
23     },
24     {
25       "role": "lean_guide",
26       "title": "Lean and evidence guide",
27       "path": "papers/Paper_VIII_Lean_Guide_Final.pdf",
28       "source_entry_point": "editable/lean_guide/Paper_VIII_Lean_Guide_Final.tex",
29       "pages": 94,
30       "bytes": 327365,
31       "sha256": "a818b2179a581ee3f9c0191f9998e911250dbc25305eaa6b1782232a01b762b2"
32     }
33   ],
34   "scope": "Paper VIII only. Other papers retain their existing state.",
35   "current_signoff": "verification/RELEASE_CLOSURE.json"
36 }

Back to source controls

Back to Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization