Edition README
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
README.md
1 # Packet Operator Algorithms
2
3 **Exact compilation and GPU realization**
4 Paper VIII · Komorebi P.
5
6 | Read | Pages |
7 |---|---:|
8 | [Traditional manuscript](papers/Paper_VIII_Traditional_Final.pdf) | 124 |
9 | [Visual guide](papers/Paper_VIII_Visual_Guide_Final.pdf) | 34 |
10 | [Lean and evidence guide](papers/Paper_VIII_Lean_Guide_Final.pdf) | 94 |
11 | Total | 252 |
12
13 Open [START_HERE.html](START_HERE.html) for the reading index. This single ZIP
14 contains the expanded accepted publication and the unchanged original source
15 ZIP with its October 11 delivery records. No second download is required.
16
17 ## Selected edition and scientific scope
18
19 The book edition is October 9, the accepted publication closure is October 10,
20 and its delivery snapshot is October 11. This freeze preserves those editions,
21 all seven mathematical parts, 258 editable mathematical markup files and 1,062
22 archived scientific source files. The manuscript retains 85 numbered records,
23 56 main proof bodies and six complete substantive supplement bodies. Those
24 overlapping inventories do not count independent discoveries.
25
26 The inherited September 6 formal contract has 56 scoped finite items, 392 theorem
27 declarations across 40 modules, and 66 separately audited constructions. The
28 392 declarations include 373 Paper VIII declarations and 19 reused foundation
29 results. Four classical inputs remain separate. Small-core optimality assumes
30 the supplied ordered thin-SVD equations and its stated compact input ranges;
31 it admits the stated arbitrary ambient competitors. General SVD existence,
32 verified numerical QR/SVD and canonical singular-values API identification are
33 outside that contract. No fresh Lean execution occurs in this freeze.
34
35 The accepted October 10 closure records twelve bounded replay gates, including
36 the actual 34-case pytest run and 43 verifier methods. Their exact, symbolic,
37 numerical and source checks retain their individual dates, inputs and scopes.
38 Overlapping checks are not summed. This freeze authenticates their records
39 without rerunning those gates, generators or controls.
40
41 - [Editable manuscripts and guides](editable/)
42 - [Accepted publication review](Paper_VIII_Final_Review_2026-10-10.md)
43 - [Accepted closure receipt](verification/RELEASE_CLOSURE.json)
44 - [Original build and replay instructions](BUILD_AND_REPLAY.md)
45 - [Freeze record](FREEZE_RECORD.json) and [progress ledger](PROGRESS_LEDGER.md)
46
47 ## Verify the frozen package
48
49 After extraction, enter this root directory and run:
50
51 ```sh
52 python3 -B scripts/verify_frozen_integrity.py --strict
53 ```
54
55 This primary portable standard-library checker validates safe canonical paths,
56 duplicates, exact regular-file membership, sizes and SHA-256. It is byte-identical
57 to the accepted Paper VI checker, with its exact 21-control receipt and harness
58 retained as inherited tooling evidence. Those controls were not rerun for VIII.
59 The original VIII checker scripts remain unchanged; their earlier path handling
60 is platform-native. No native Windows execution is asserted.
61
62 For current source, navigation, reader and recorded execution/rebuild bindings:
63
64 ```sh
65 python3 -B scripts/check_publication_consistency.py
66 ```
67
68 That command also needs PyMuPDF. It checks source identities and recorded gate
69 manifests without running Lean, scientific suites or PDF builders. Use a
70 separate working copy and external report/output paths for other reproduction
71 commands. The root README.txt's 'fresh' checks describe the October 10 closure.
72 External compiler/Mathlib, Python/TeX tools and declared fonts remain prerequisites.
73 Older environment-availability statements describe their own dated events.
74
75 ## Historical failures and empirical limits
76
77 The accepted closure retained a failed first Lean-guide PDF replay: lines moved
78 across 16 page boundaries while the complete ordered body text was conserved.
79 The revised pagination was reviewed and refrozen. A second isolated build then
80 reproduced all three final PDFs byte for byte. These failed and successful
81 events remain separate. No PDF rebuild is performed for this freeze.
82
83 Historical GPU observations lack complete source-array fingerprints,
84 correctness-reference fields and timing provenance. Recalculated historical
85 ratios do not supply that missing evidence. This distribution does not claim
86 new GPU timings, CUDA-kernel verification or a universal GPU performance result.
87
88 Three wider research targets remain open: unrestricted profitable structure
89 discovery, compilation with nonlocal costs and overlapping candidate models,
90 and an architecture-specific packet communication theorem.
91
92 ## Open use and restart point
93
94 The author's confirmed open licensing is expressed with MIT for original
95 software/machine-readable material and CC BY 4.0 for original writing, figures
96 and editable writing sources. [LICENSE.md](LICENSE.md),
97 [LICENSE_STATUS.json](LICENSE_STATUS.json) and [LICENSES/](LICENSES/) provide
98 full grants, third-party exceptions and embedded-font notices. The omitted AMS
99 notice is supplied without changing PDF bytes. Historical original-project
100 no-new-license statements are superseded.
101
102 The original delivery snapshot and nested accepted ZIP are retained under
103 [provenance/delivery_2026-10-11/](provenance/delivery_2026-10-11/). Their older
104 multi-download navigation describes that snapshot; use the current index here.
105 An inherited zero-byte font-diagnostic PDF is preserved as a failed historical
106 diagnostic, separate from the three current validated readers.
107
108 Frozen 21 October 2026, America/Chicago. Actual checks retain UTC timestamps.
109 No fresh Lean, scientific/finite experiments, generators, control suites,
110 GPU/CUDA execution, TeX/PDF rebuild or whole-paper proof audit is claimed.
111 Next sequential freeze: PaperIX. No public website or repository was published.