Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates

Download original file

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

Read the typeset paper

1 PROJECTOR RESOLVED SEED CALCULUS I
2 Komorebi P.
3 
4 Read START_HERE.html or README.md.
5 
6 Readers: traditional manuscript and atlas, 105 pages; Lean and evidence guide,
7 44 pages; machine-native companion, 100 pages. Total: 249 pages.
8 
9 The single complete ZIP includes editable sources, Lean and Python code,
10 accepted evidence, the correspondence map and the historical predecessor ZIP.
11 No separate assembly is required.
12 
13 From this directory, verify the exact frozen package:
14   python3 scripts/verify_integrity.py
15 
16 Formal reproduction: formal/README.txt, external pinned runtime required.
17 PDF reproduction: scripts/build_pdfs.py; use a separate working copy because
18 even --check-only writes build products and generated metadata.
19 
20 Open licensing: LICENSE.md; original code MIT, original writing/figures CC BY 4.0.
21 Third-party notices remain applicable.
22 
23 FREEZE_RECORD.json and PROGRESS_LEDGER.md distinguish the October 20 identity
24 checks from the accepted October 15 formal and computational evidence.

Back to source controls

Back to Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates