Projector Resolved Seed Calculus IV
Cyclic analytic functions, reciprocal families, and spectral zero data
Komorebi P.
Read the verification addendum alongside the paper and guides. It records the accepted October 19 execution and its exact scope; the other readers retain their selected dated editions.
| Reader | Pages |
|---|---|
| Mathematical manuscript | 77 |
| Visual guide | 28 |
| Lean guide | 140 |
| Verification addendum | 5 |
| Total | 250 |
Open START_HERE.html for the reading index.
Sources and accepted scope
The complete original closeout package is retained under Paper_IV_Verification_Closeout_v1.1.0/. Its source tree, manifest, compiler evidence, formal source, publication baseline and versioned progress records are unchanged. Delivery_Receipts/ retains the earlier extraction and consumer checks and the failed short-timeout attempt.
The accepted contract has sixty-eight scoped manuscript results, 118 production modules and 1,164 mapped declarations. The namespace audit records 2,234 declarations and 1,999 theorem entries. Six compiler controls passed. Imported standard fact 11.1 is outside the sixty-eight-result count. The exact hypotheses, branch choices, multiplicities and research boundaries remain in force.
The October 19 compiler, finite and tooling-test records retain their execution dates. This freeze authenticates those records without repeating Lean, finite experiments, TeX builds or a whole-paper proof audit. FREEZE_RECORD.json and PROGRESS_LEDGER.md record this distribution freeze.
The addendum's prospective next-task-X line records the October 19 workflow. The current sequential freeze continues with Paper V.
Visual source limitation
The selected October 16 visual PDF is preserved. Its exact updated editable source remains unrecovered. The older October 8 editable baseline and the documented differences on pages 1, 14 and 28 are retained. No exact source rebuild of that later PDF is claimed. This archival limitation is separate from the accepted formal core.
Verify and reproduce
Extract this single complete ZIP, enter its root directory and run:
python3 scripts/verify_frozen_release.py
This portable standard-library check authenticates the exact file set, sizes, SHA-256 values and every preserved baseline file. The current whole-package manifest is MANIFEST_SHA256.json; the unchanged BUNDLE_MANIFEST.json records the original delivery tree.
python3 -B verify_bundle.py additionally checks the unchanged inner core's recorded gates. Its adapter now reads the current complete manifest; the earlier version is retained under verification/freeze_2026-10-20/before/. The inner core's own verifier and manifest are unchanged.
Formal reproduction uses the external pinned Lean 4.34.0-rc2 runtime and cached dependencies on Linux or WSL. Follow the core reproduction instructions in a separate working copy, with new output directories. No native Windows execution or cold rebuild of the external cache is claimed.
Open use
Original software and machine-readable material use MIT. Original papers, guides, figures and explanatory writing use CC BY 4.0. The current grant and complete terms are in LICENSE.md, LICENSE_STATUS.json and LICENSES/. Third-party and font terms are retained. The grant supersedes earlier original-project statements that no project license was selected.
The scientific readers and accepted closeout remain unchanged. This frozen distribution is dated October 20, 2026. Public website or repository publication has not been performed.