RELEASE_SCOPE.md
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
RELEASE_SCOPE.md
1 # Scope of acceptance
2
3 This release accepts a fresh replay of the existing Paper IV core under its
4 reviewed source contract: 68 scoped manuscript results, 151 map rows and 1,164
5 mapped declarations. All 118 production modules are compiled from source. The
6 separate audit module is then checked, and the transitive namespace audit covers
7 2,234 declarations, including 1,999 theorem declarations. The allowed axioms are
8 only `propext`, `Classical.choice` and `Quot.sound`.
9
10 One complete project-source replay was performed in a new object directory.
11 External cached dependencies were reused under exact compiler and dependency
12 pins. This is not a second independently implemented proof checker or a cold
13 rebuild of Mathlib. Fresh-extraction integrity and finite/API tests are separate
14 from the complete primary formal replay.
15
16 ## Preserved mathematical boundaries
17
18 No universal simplicity of all zeros, positivity of every reduced zero, full
19 displacement expansion or zeta functional equation is asserted. Eventual
20 simplicity and asymptotic results retain their hypotheses and ranges. Branch
21 conventions, multiplicities and the integer-order hypotheses of nearest-pole
22 statements are not removed. Standard fact 11.1 stays outside the 68-result map.
23
24 ## Publication boundary
25
26 This is not a new typesetting of the full 245-page reader set. Its latest recovered
27 PDFs are preserved. All-page text geometry and internal-link bounds were checked,
28 and the new five-page verification report was rendered and inspected in full.
29 The main and Lean readers have identical extracted page text and 43.2-dpi renders
30 to the recovered baseline, but their PDF bytes differ. The later visual PDF has
31 changes on pages 1, 14 and 28. Exact later editable source was not recovered.
32
33 The existing reviewed statement correspondence was tested against its concrete
34 source/target contract. It was not independently re-established through a fresh
35 line-by-line mathematical review of every argument in this block. No research
36 status of another core paper is upgraded here.