Paper XIReading edition

Reader choices and the realization contract

Reading tools
Reading libraryFind statementsInspect Lean
Switch work

Saved reading

Read side by side

Start reading

Resources & source

Original TeX with line links · Download TeX

The wording and mathematics follow the retained manuscript. This reading format does not add a proof review or extend Lean coverage.

Skip contents and start reading

Reading this edition

This monograph presents the finite packet theory and retains the detailed restricted arithmetic constructions. Two separate research companions explain the later progress toward Conjecture 66. They do not replace the monograph's proved statements or turn its conditional comparison into an existence theorem.

Five readers with different jobs

Five readers with different jobs
ReaderRoute and purpose
Core monographFinite tame and wild theory, restricted arithmetic constructions, and the exact realization/comparison boundary.
Core visual guideGeometric route through the core paper. The original arithmetic examples retain their stated scope.
Lean and evidence guideFormal statements, literal excerpts and evidence lineage. The guide distinguishes the selected source census, compiler replay and arithmetic hypotheses.
Progress paperToward Arithmetic Packet Realization, 77 pages, v0.4.0. Connected proofs, failed routes, conductor conventions and native-marking conditions.
Research visual atlasArithmetic Packet Realization, 36 pages, v0.5.0. Thirty-two worked plates accompany the progress paper.

The endpoint is a quantified construction problem

Conjecture 66 asks for an actual arithmetic witness for each admitted source with its supplied H1–H4 datum. The comparison proposition then uses H5 for that same realized candidate. Historical obligation 66, historical Theorem 16.2, and all-records row 95 refer to this endpoint's lineage. Historical register row 66 is a different statement.

The research contract in Section 1 and atlas plate V01 make the quantifiers explicit. Supplying finite operators does not construct an arithmetic representation. Likewise, proving a factor identity for a different candidate does not identify the packet's realizer.

How to use the links

Keep all five PDFs together with their delivered filenames. The colored reading links resolve to actual pages of the companion files. Section numbers remain the primary mathematical locators. The included JSON concordance records the resolved page destinations for this edition.

Source and conversion record

Source SHA-256: 3129b0f1393f7087eed7f8371a7ef786d45c14a870eda6082d07e5e24be6d71c

Unsupported prose commands stop the build. The mathematical expression sequence is checked against the source, with manuscript macros expanded for display.

Conversion records

Notation in Paper XI

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index