Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation

Download original file

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

Read the typeset paper

1 {
2   "schema_version": 1,
3   "claim_id": "Euler-final-visual-exact-illustrations-2026-10-06",
4   "repository": {
5     "commit": "unavailable; isolated publication source snapshot",
6     "dirty": true
7   },
8   "command": "python3 sources/generate_figures.py",
9   "environment": {
10     "software": [
11       "Python 3.12.14",
12       "Matplotlib 3.10.8",
13       "NumPy 2.3.5"
14     ],
15     "hardware": "x86_64"
16   },
17   "mathematics": {
18     "assertion_tested": "Finite exact coefficients, periods, residue bijections, sample difference valuations, mixed parity, and explicit failed extensions used in the visual guide",
19     "coefficient_domain": "Fraction over Q and exact modular arithmetic Z/2^256 Z; rendering alone uses floating point",
20     "conventions": "v2(0)=infinity, represented by None; original E_{4n}=j! C_j(n); all step differences act on rows",
21     "inputs": [
22       {
23         "path": "sources/generate_figures.py",
24         "sha256": "b0c42986a19c79c7022b5d63c15e205a6e3df2a6accc29f209976fcb3588dd95"
25       }
26     ],
27     "bounds": {
28       "rank_four_modular_rows": 255,
29       "precision_bits": 256,
30       "independent_rational_rows": 12,
31       "sample_base_rows": [
32         0,
33         8
34       ],
35       "sample_homogeneous_orders": [
36         1,
37         6
38       ],
39       "sample_homogeneous_steps": [
40         1,
41         4
42       ],
43       "sample_mixed_orders": [
44         1,
45         4
46       ],
47       "sample_mixed_step_alphabet": [
48         1,
49         2,
50         3,
51         4
52       ],
53       "power_orders": [
54         1,
55         2,
56         4,
57         8,
58         16
59       ],
60       "upper_half_cases": [
61         [
62           16,
63           9
64         ],
65         [
66           32,
67           18
68         ],
69         [
70           32,
71           19
72         ]
73       ]
74     },
75     "non_claims": [
76       "No bounded run proves a universal congruence or analytic radius.",
77       "The theorem-derived curves use separately audited algebraic statements.",
78       "These checks do not newly formalize any result in Lean."
79     ]
80   },
81   "randomness": {
82     "used": false,
83     "generator": "not used",
84     "seed": null
85   },
86   "run": {
87     "started_at": "2026-10-07T00:01:41.602532+00:00",
88     "runtime_seconds": 6.26042,
89     "exit_status": 0
90   },
91   "outputs": [
92     {
93       "path": "figures/address_two_envelope.pdf",
94       "sha256": "ce7b62dd056c364f41b987ef7a319f01078e20d12aeb87bdb206525ed0d43209"
95     },
96     {
97       "path": "figures/analytic_slopes.pdf",
98       "sha256": "fa4875d4b6b8582ca04e4830441080ab3ffe4cd9d116fb5c1f5da20df8e018ad"
99     },
100     {
101       "path": "figures/final_exponents.pdf",
102       "sha256": "2d1914e069bc4f3c97a4b271daf2f9c906a045775dbb5515de5468ae874b34c4"
103     },
104     {
105       "path": "figures/isometry_matrices.pdf",
106       "sha256": "ffd44e12766614b49b9df251432aadc998e3220d1a7a943d3f90f35f4a5b5036"
107     },
108     {
109       "path": "figures/metric.pdf",
110       "sha256": "cb9a43a9d24c76df095996e7304afe5d1cacc6611bf3f41f5c954568ec9ab16f"
111     },
112     {
113       "path": "figures/mixed_cancellation.pdf",
114       "sha256": "3e94c7e35c339f07bb9be21cc232a4bacba9d065551534bbe8af0acd526a8c8f"
115     },
116     {
117       "path": "figures/mixed_stencil.pdf",
118       "sha256": "72ba89d0fa9fcdb12d0adc6146bb6b721256295c44399e33eeee0915a0a4336f"
119     },
120     {
121       "path": "figures/normalization.pdf",
122       "sha256": "87b357cc84ef4b342bdc526b50406da520c6590397acb6cc4b0730155d6a034e"
123     },
124     {
125       "path": "figures/periods.pdf",
126       "sha256": "7dbb2f01a71bbcb247d4161ccf21680f95376ff71783c7b51c191ddaf1495662"
127     },
128     {
129       "path": "figures/rank_scales.pdf",
130       "sha256": "0eb6b331e0e576f683b97238ea5bddb7eb3ed7722d8928d896c15d67adae5b39"
131     },
132     {
133       "path": "figures/residue_permutations.pdf",
134       "sha256": "dd736266d04997a7b86dfd54d81559ec8805a02a761829d1e3f58aa2ba0be290"
135     },
136     {
137       "path": "figures/threshold.pdf",
138       "sha256": "96e1af55e8e377ebc83408b6520e562676fb6c0f8e6a473b17f397339f606621"
139     },
140     {
141       "path": "figures/exact_figure_data.json",
142       "sha256": "94d3bfe1f928bf4f9f7cc56b85ac58e134404113342fe746621d7de896562e58"
143     }
144   ],
145   "checks": [
146     {
147       "name": "complete_residue_permutation",
148       "assertions": 4,
149       "result": "PASS"
150     },
151     {
152       "name": "finite_period_repeat",
153       "assertions": 296,
154       "result": "PASS"
155     },
156     {
157       "name": "finite_scaled_isometry",
158       "assertions": 56,
159       "result": "PASS"
160     },
161     {
162       "name": "first_row_benchmark",
163       "assertions": 1,
164       "result": "PASS"
165     },
166     {
167       "name": "independent_rational_inversion",
168       "assertions": 52,
169       "result": "PASS"
170     },
171     {
172       "name": "mixed_counterexample_valuation",
173       "assertions": 1,
174       "result": "PASS"
175     },
176     {
177       "name": "mixed_counterexample_value",
178       "assertions": 1,
179       "result": "PASS"
180     },
181     {
182       "name": "odd_source_denominator",
183       "assertions": 1024,
184       "result": "PASS"
185     },
186     {
187       "name": "plotted_original_metric",
188       "assertions": 4,
189       "result": "PASS"
190     },
191     {
192       "name": "rational_modular_crosscheck",
193       "assertions": 52,
194       "result": "PASS"
195     },
196     {
197       "name": "sampled_address_two_filtration",
198       "assertions": 340,
199       "result": "PASS"
200     },
201     {
202       "name": "sampled_address_two_power_order_exact",
203       "assertions": 30,
204       "result": "PASS"
205     },
206     {
207       "name": "sampled_factorial_bound",
208       "assertions": 864,
209       "result": "PASS"
210     },
211     {
212       "name": "sampled_first_difference_exact",
213       "assertions": 288,
214       "result": "PASS"
215     },
216     {
217       "name": "sampled_homogeneous_equality",
218       "assertions": 432,
219       "result": "PASS"
220     },
221     {
222       "name": "sampled_mixed_factorial_bound",
223       "assertions": 1360,
224       "result": "PASS"
225     },
226     {
227       "name": "sampled_mixed_parity_rule",
228       "assertions": 680,
229       "result": "PASS"
230     },
231     {
232       "name": "stencil_exact_valuation",
233       "assertions": 1,
234       "result": "PASS"
235     },
236     {
237       "name": "stencil_offsets",
238       "assertions": 1,
239       "result": "PASS"
240     },
241     {
242       "name": "upper_half_counterexample",
243       "assertions": 3,
244       "result": "PASS"
245     }
246   ],
247   "result": "PASS: 5490 exact bounded assertions; 12 vector figures generated",
248   "residual_risks": [
249     "This v1 manifest records script input hash but does not impose machine-checkable resource limits.",
250     "Plotting-library layout is checked separately by PDF rendering review."
251   ]
252 }

Back to source controls

Back to Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation