MANIFEST.json
Catalan Constant: source and evidence
MANIFEST.json
This is the original source text. Reading it does not run or verify the program.
1 {
2 "title": "Operation Komorebi / Catalan constant / Conjecture Series 08",
3 "edition": "1.0",
4 "publication_date": "2026-10-09",
5 "claim_boundary": "This edition proves specified recurrence identities and reproduces bounded arithmetic. It does not establish the irrationality of Catalan constant.",
6 "files": [
7 {
8 "path": "README.md",
9 "bytes": 3425,
10 "sha256": "4db5b66952d25757e5a640dee73ddd935ad1353d445967f36dd6eabc8bb9df00"
11 },
12 {
13 "path": "audits/book_c_self_proofread.json",
14 "bytes": 1627,
15 "sha256": "be9ad57a179050325516fbea663932eee97bc8459f045ea21ed6a8a28f54e00a"
16 },
17 {
18 "path": "audits/computation_audit.json",
19 "bytes": 4341,
20 "sha256": "2b5b089d0a8b85623d8fefc6ced435890ec34235aa2c761321ac0e780be1b0da"
21 },
22 {
23 "path": "audits/continuant_check.json",
24 "bytes": 526,
25 "sha256": "9bbdc0569623fdc56f271e50b0eb3bb970695025c60e2983f42c231723e58ab3"
26 },
27 {
28 "path": "audits/figure_data_review.json",
29 "bytes": 18406,
30 "sha256": "9aa8e214ebf5a27344f8f39a393de7c749e1986b83d5a0b9ce3b1d5357238a18"
31 },
32 {
33 "path": "audits/integral_normalization_derivation.md",
34 "bytes": 2248,
35 "sha256": "3f4dae06dca4dc0c3c1dfdc3ee979ecc6260895a62314b758b39af5f8d08b924"
36 },
37 {
38 "path": "audits/literature_diagnostics.json",
39 "bytes": 2036,
40 "sha256": "ec23e22405f40c5261a2c36d60193fa68bd328eb2458adcf4b1044e87a105149"
41 },
42 {
43 "path": "audits/proof_audit.json",
44 "bytes": 15000,
45 "sha256": "f53c5e5b15dfc5803551a9e3d5845c86b8c2a8e2884b76c24bc3087522e8aa6c"
46 },
47 {
48 "path": "audits/proof_audit.md",
49 "bytes": 22794,
50 "sha256": "c322bbd420410ff55521696a684efccf0ce6bd943959fb694c2162f108d5e7a9"
51 },
52 {
53 "path": "audits/refresh_figure_data_review.py",
54 "bytes": 8726,
55 "sha256": "1221da2a89ad27dd3b0d649ff3d9123a45f01a6da108a726dc9c96b03276aceb"
56 },
57 {
58 "path": "build.py",
59 "bytes": 1734,
60 "sha256": "7297a3b5d3a96a3b64bfb52fa9c18496340e679ff5c8d69e3230a32eef24f67a"
61 },
62 {
63 "path": "computations/catalan_packet_audit.py",
64 "bytes": 7953,
65 "sha256": "4a59096f9c3a0222e6523e5183292678c36b68089bd0bf3103fc3da090db1a7c"
66 },
67 {
68 "path": "computations/continuant_audit.py",
69 "bytes": 2654,
70 "sha256": "0872ffa2de9c79d161a5f90be700b0cd3533374e44f696615495cdf9c3ed3a68"
71 },
72 {
73 "path": "computations/half_binomial_audit.py",
74 "bytes": 2146,
75 "sha256": "808435ef520be290384852377b2b548bf949f90d34794919fd6d95466125f4aa"
76 },
77 {
78 "path": "computations/independent_audit.py",
79 "bytes": 9910,
80 "sha256": "6dc046608da6f294b1626c703798770e2705b9c9c9556fcb73a0e05757734b99"
81 },
82 {
83 "path": "computations/independent_audit_final.py",
84 "bytes": 9986,
85 "sha256": "46b7fca31cb0c9294e1201f844bbbdf7fc34c54a53639c5d71fd3085a2b830fc"
86 },
87 {
88 "path": "computations/witness_and_precision_audit.py",
89 "bytes": 3010,
90 "sha256": "5e69eb028f765886432a1c08b629457813c7fa18d9d62dd8f921a8da265565b9"
91 },
92 {
93 "path": "evidence/AUTHORING_DIAGNOSTICS.md",
94 "bytes": 1777,
95 "sha256": "92408480aebb988d192466cc350121315fc4f999e896e8c7e1627dd6ea3a62a8"
96 },
97 {
98 "path": "evidence/BUILD_ENVIRONMENT.json",
99 "bytes": 492,
100 "sha256": "113c7db5574fa986934035a106c30842bc154b4c5ff40a37e0cd507f34432551"
101 },
102 {
103 "path": "evidence/CURRENT_STATUS.md",
104 "bytes": 1281,
105 "sha256": "71b0c8057f727552d9cca442d636b133f74b0392bbe464229a28b3acea946383"
106 },
107 {
108 "path": "evidence/FONT_VALIDATION.json",
109 "bytes": 16220,
110 "sha256": "de6dcfb0653635174d8521be1d35ca9197c77cc6fa1ce132fdd0fa22e3e65467"
111 },
112 {
113 "path": "evidence/FULL_LAYOUT_VALIDATION.json",
114 "bytes": 6083,
115 "sha256": "8464c4f6cab0877e6ce410f36c1d01f52a8eed659b1309a07d59a8403a6ab329"
116 },
117 {
118 "path": "evidence/HISTORICAL_INTEGRITY.json",
119 "bytes": 727,
120 "sha256": "bf1cec5883ad736b21d498886f9c6ece697274d26d780e0028590178a377fbbd"
121 },
122 {
123 "path": "evidence/RELEASE_EVIDENCE_PINS.json",
124 "bytes": 15113,
125 "sha256": "eb668727b7f8dcee0ebeb89d9ab023076550c1505a30d4b5c32e263b3663707d"
126 },
127 {
128 "path": "evidence/SOURCE_RECOVERY.json",
129 "bytes": 4956,
130 "sha256": "ca345c035011beb111f827bc26c731d2b19e3622a653e2df21640379b5136529"
131 },
132 {
133 "path": "evidence/SOURCE_RECOVERY.md",
134 "bytes": 1832,
135 "sha256": "12a8f532b7d27f7c926297fe345adb356a06a3df0a5d7e2e7d82b8e027cac48e"
136 },
137 {
138 "path": "evidence/SOURCE_VALIDATION.json",
139 "bytes": 635,
140 "sha256": "51395c995573d974e1871b3b511f64d25ce9a7bec036ff47e1ae2a8f70a08527"
141 },
142 {
143 "path": "evidence/book_a_self_review.json",
144 "bytes": 1063,
145 "sha256": "bfd002f53fccf5c14c9e376f2dc3638f5705378c98dfba5c578a7077a561a280"
146 },
147 {
148 "path": "evidence/computation/REPORT.md",
149 "bytes": 13019,
150 "sha256": "65f754d59a7e8781462690a85b05d53991a399a71ade9743da7c5a2e150abfe7"
151 },
152 {
153 "path": "evidence/computation/continuant/manifest.json",
154 "bytes": 4099,
155 "sha256": "fbefacacf11fcd1fb823f571f3e6c9f1c61a820e4bb0cb345682c089274538ba"
156 },
157 {
158 "path": "evidence/computation/continuant/results.json",
159 "bytes": 704,
160 "sha256": "ca1649cf9a595c39f7003ef2a8fbad733372f1ae02a1a74d73dc38c9e0175d28"
161 },
162 {
163 "path": "evidence/computation/continuant/stderr.txt",
164 "bytes": 0,
165 "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
166 },
167 {
168 "path": "evidence/computation/continuant/stdout.txt",
169 "bytes": 704,
170 "sha256": "ca1649cf9a595c39f7003ef2a8fbad733372f1ae02a1a74d73dc38c9e0175d28"
171 },
172 {
173 "path": "evidence/computation/continuant_contract.json",
174 "bytes": 1119,
175 "sha256": "38fbfa3c042d556567b68b6ed4c194cdcb8e3102508aa21535d22aa8e5370c28"
176 },
177 {
178 "path": "evidence/computation/continuant_final/manifest.json",
179 "bytes": 4142,
180 "sha256": "40c38c1edf936d981d7429d0daff2f1f9d93665d1c1e4479ac334466ff96e7f9"
181 },
182 {
183 "path": "evidence/computation/continuant_final/results.json",
184 "bytes": 704,
185 "sha256": "ca1649cf9a595c39f7003ef2a8fbad733372f1ae02a1a74d73dc38c9e0175d28"
186 },
187 {
188 "path": "evidence/computation/continuant_final/stderr.txt",
189 "bytes": 0,
190 "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
191 },
192 {
193 "path": "evidence/computation/continuant_final/stdout.txt",
194 "bytes": 704,
195 "sha256": "ca1649cf9a595c39f7003ef2a8fbad733372f1ae02a1a74d73dc38c9e0175d28"
196 },
197 {
198 "path": "evidence/computation/continuant_final_contract.json",
199 "bytes": 1290,
200 "sha256": "dc09fd8e974cbdbd2ec41610349ed8faf6c43c039f0b1f14e588d188ab965530"
201 },
202 {
203 "path": "evidence/computation/half_binomial/manifest.json",
204 "bytes": 3888,
205 "sha256": "f3a51e89a2602e6f0546d5d8209674af6f8f57b856baa3e1bee232484b99e3be"
206 },
207 {
208 "path": "evidence/computation/half_binomial/results.json",
209 "bytes": 12887,
210 "sha256": "cc813930d72aef8a1053afe17385b5a12a2ade211cfbbac6a9650c14330a4e5d"
211 },
212 {
213 "path": "evidence/computation/half_binomial/stderr.txt",
214 "bytes": 0,
215 "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
216 },
217 {
218 "path": "evidence/computation/half_binomial/stdout.txt",
219 "bytes": 603,
220 "sha256": "e0269fd6555729cec7b5a3538d2541687885e70cedb76a846fb0ca5c9ad889b8"
221 },
222 {
223 "path": "evidence/computation/half_binomial_contract.json",
224 "bytes": 1101,
225 "sha256": "902a5d87119f087306ff2a44958ea332b997f26e334a6a4a4aaf937387b89250"
226 },
227 {
228 "path": "evidence/computation/historical_default/manifest.json",
229 "bytes": 4244,
230 "sha256": "700e22e085881778798c0cbe5cacac839f872835a83ad7475cf1261313ee6bc9"
231 },
232 {
233 "path": "evidence/computation/historical_default/results.json",
234 "bytes": 1801,
235 "sha256": "cff3c696e26525197c3e043e8bd9f102e73490dc1606a052e061d92ae4ca88c3"
236 },
237 {
238 "path": "evidence/computation/historical_default/stderr.txt",
239 "bytes": 0,
240 "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
241 },
242 {
243 "path": "evidence/computation/historical_default/stdout.txt",
244 "bytes": 1802,
245 "sha256": "a7fdb5ce8a73071610819ff0a03517ed1abdb043dde92f9e906e72d83d3effed"
246 },
247 {
248 "path": "evidence/computation/historical_default_contract.json",
249 "bytes": 1603,
250 "sha256": "35e2c3706be3ab7b565ce12cf843e3bbc9a75d52c14239f9bf285a18f9b63aa5"
251 },
252 {
253 "path": "evidence/computation/historical_match.json",
254 "bytes": 543,
255 "sha256": "cc64b8f759e559e7fb47d641b4533d8543c616a1ada967e7a41e4fb9c5fc0e1d"
256 },
257 {
258 "path": "evidence/computation/independent/diagnostic_data.json",
259 "bytes": 466732,
260 "sha256": "2d409306b4bb3f979d26d3e04a0edfe98d7c096756cd4de68b467ef4d46433a1"
261 },
262 {
263 "path": "evidence/computation/independent/manifest.json",
264 "bytes": 4847,
265 "sha256": "7406fde389e88e67c3849be2baac059ad8f3fc96dd6b3815bec70485491c8bf4"
266 },
267 {
268 "path": "evidence/computation/independent/results.json",
269 "bytes": 14919,
270 "sha256": "97e5a698bcde34cc2ff939c08593987138134d5062389f1c7f211906b65e20e8"
271 },
272 {
273 "path": "evidence/computation/independent/stderr.txt",
274 "bytes": 0,
275 "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
276 },
277 {
278 "path": "evidence/computation/independent/stdout.txt",
279 "bytes": 6426,
280 "sha256": "cfa5ed134403b1c68cc33224d5af8326c5c6554a891cd230c22c763ec1c26f54"
281 },
282 {
283 "path": "evidence/computation/independent_contract.json",
284 "bytes": 1833,
285 "sha256": "be7afd1f3972239db87260cd445ee6f1487f7477466eb2b26c202a798920eb95"
286 },
287 {
288 "path": "evidence/computation/independent_final/diagnostic_data.json",
289 "bytes": 466732,
290 "sha256": "2d409306b4bb3f979d26d3e04a0edfe98d7c096756cd4de68b467ef4d46433a1"
291 },
292 {
293 "path": "evidence/computation/independent_final/manifest.json",
294 "bytes": 4925,
295 "sha256": "fadb942a8c8fde958ab509dbfec8a8172cacd2de94a409b25cd4f1967b038bee"
296 },
297 {
298 "path": "evidence/computation/independent_final/results.json",
299 "bytes": 14995,
300 "sha256": "0b6ab2583bb2ecc1a7f8f5d61da86daec86c8453b37f63ce2efb9061fa534c23"
301 },
302 {
303 "path": "evidence/computation/independent_final/stderr.txt",
304 "bytes": 0,
305 "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
306 },
307 {
308 "path": "evidence/computation/independent_final/stdout.txt",
309 "bytes": 6502,
310 "sha256": "2176dc91b62a4c5a3bcadb8ae1c6333c7dc533e6f64f66877cdea45097182679"
311 },
312 {
313 "path": "evidence/computation/independent_final_contract.json",
314 "bytes": 1851,
315 "sha256": "977f282d5f725ab7edb83300563c211e701558cb898993501e333288d173ab51"
316 },
317 {
318 "path": "evidence/computation/provenance_recording_commands.json",
319 "bytes": 8603,
320 "sha256": "7e1d55dd17e8941a3a506c7a418132ad53f7837a557b44d69b03c70b41ff4b27"
321 },
322 {
323 "path": "evidence/computation/sign_hypothesis_failure.json",
324 "bytes": 8476,
325 "sha256": "831e965404b3dd1e4c083ae6e822447e6b051d396021b129718e8655c567dfd5"
326 },
327 {
328 "path": "evidence/computation/witness/S_1465_2113.hex.txt",
329 "bytes": 6687,
330 "sha256": "dd108a404701e15f8684404949dc814eabd55cc8e887e9138471722db7866b87"
331 },
332 {
333 "path": "evidence/computation/witness/S_1466_2112.hex.txt",
334 "bytes": 6687,
335 "sha256": "d5d1008b83bef5d210b54588ef8e0884cb592ecdb6e2e09d4650529c4b9ca8ce"
336 },
337 {
338 "path": "evidence/computation/witness/S_1466_2113.hex.txt",
339 "bytes": 6689,
340 "sha256": "f3e083ef80cce18498ba307dd56103bdfa1e0dacae0395d4185517b280e5cf6b"
341 },
342 {
343 "path": "evidence/computation/witness/S_1466_2114.hex.txt",
344 "bytes": 6691,
345 "sha256": "60c8203d927907834146e8cb15848c33bc0aedb4bae40ea1815eb493720aa76c"
346 },
347 {
348 "path": "evidence/computation/witness/S_1467_2113.hex.txt",
349 "bytes": 6691,
350 "sha256": "b2f9d50f60445104da369fea12472dc346fd32ab1e4b86124321f5f8ae2f104d"
351 },
352 {
353 "path": "evidence/computation/witness/manifest.json",
354 "bytes": 5586,
355 "sha256": "23a3cfe272a6eabe2d2d3da86d71739c59bfb891af4307ca16b2ec192b2e5e76"
356 },
357 {
358 "path": "evidence/computation/witness/results.json",
359 "bytes": 1895,
360 "sha256": "5123b1138e1f6a64658ef7a118f11580aaccc584979adbd656b38d2ea185059b"
361 },
362 {
363 "path": "evidence/computation/witness/stderr.txt",
364 "bytes": 0,
365 "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
366 },
367 {
368 "path": "evidence/computation/witness/stdout.txt",
369 "bytes": 1896,
370 "sha256": "5320ac5d446f0ce18468efa1a2e9c0b4d594b83d48f3832204cd6ec850b44401"
371 },
372 {
373 "path": "evidence/computation/witness_contract.json",
374 "bytes": 1621,
375 "sha256": "93ae136c00fb19093cd86a6637106844b7dd9bfb9b71c7ec06cc2549c349aa84"
376 },
377 {
378 "path": "evidence/guide_authoring_diagnostics.json",
379 "bytes": 2501,
380 "sha256": "d371345aa9532d1321232576c8895b5ac4e85a55b73d88fe98c6e187492c8c29"
381 },
382 {
383 "path": "evidence/historical_inputs.json",
384 "bytes": 462,
385 "sha256": "08bdc71999db7c0e8606094e76241ca2d514d582b169c02cc5a7f3fc572cfc1c"
386 },
387 {
388 "path": "evidence/layout/diagram_boxes_baseline.json",
389 "bytes": 12662,
390 "sha256": "a6373b42f1d7fc0514910ea13feac407b011ef6e1a1a525105b1d36f821f91fe"
391 },
392 {
393 "path": "evidence/layout/final_layout_changes.json",
394 "bytes": 1551,
395 "sha256": "ff6dc6ceb409a3571aa33451580b83c13965ff9fc6871fc5b525dbdc80740c72"
396 },
397 {
398 "path": "evidence/layout/final_render_comparison.json",
399 "bytes": 551,
400 "sha256": "65974e0c8c3122c3aa937690d6a4547552ccc4eadae45ab298c7e6f5cd4b1df0"
401 },
402 {
403 "path": "evidence/layout/manual_paper_a_final_changes.json",
404 "bytes": 1315,
405 "sha256": "408d0cf863a9e3d1cc8f4a04a718edb800ac82633d4babf21b91719a18163e27"
406 },
407 {
408 "path": "evidence/layout/manual_paper_b_final_changes.json",
409 "bytes": 1228,
410 "sha256": "faf12dc831b23aef2c8647de24dfe870833cb2ba681bff84f02ffe590e2a9f96"
411 },
412 {
413 "path": "evidence/layout/manual_paper_c_final_changes.json",
414 "bytes": 1110,
415 "sha256": "94268e310984033383f4ef1166001ace0d44cf54a9f236e21edd8a9413ac3718"
416 },
417 {
418 "path": "evidence/layout/manual_paper_unchanged_transfer.json",
419 "bytes": 40279,
420 "sha256": "e565eada950929e8d806915a8850dbcc964c66481fef9a9c5b39a4cddc9d7d77"
421 },
422 {
423 "path": "evidence/layout/manual_visual_final_changes.json",
424 "bytes": 1024,
425 "sha256": "34cb7f31f7627856cce1cb52f68b2390600b6a0829491c206a2da904c07d2f87"
426 },
427 {
428 "path": "evidence/layout/manual_visual_unchanged_transfer.json",
429 "bytes": 19174,
430 "sha256": "e65f294f828eb1ef26ea822a27bf684eeb3969a6738073fd9cb71eeea34e1c31"
431 },
432 {
433 "path": "evidence/layout/paper_c_initial_observations.json",
434 "bytes": 2497,
435 "sha256": "c9f9767ad9b22732a64765bf7e22db20f265857fb3f6f551f81c26d452fd1f38"
436 },
437 {
438 "path": "evidence/layout/prior_60398931_27a72cff/layout_checks_initial.json",
439 "bytes": 1044,
440 "sha256": "79593a30c73baa5e461870f2ca1020ae3ca6e1fc6fbe133674be3a60d32659f1"
441 },
442 {
443 "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_a.json",
444 "bytes": 2158,
445 "sha256": "fe881c7e37bd77c6c9cc4d2f5bbb329bac26145335995ed296ac1d2b2db52a95"
446 },
447 {
448 "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_b.json",
449 "bytes": 2458,
450 "sha256": "f283b9e3ce83fc5c9f0ce0b33e92794a6f9966ede0f020c5f712b6f68e023ac7"
451 },
452 {
453 "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_c_subset.json",
454 "bytes": 1929,
455 "sha256": "dc0e5dcae167519cca9fe926ac384ea3755b899d605678ba183aab776f46d7bb"
456 },
457 {
458 "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_d.json",
459 "bytes": 2071,
460 "sha256": "06416bf1b23a01278c9b0ba3e11a059304115592ef4b57650a3cb410f3637369"
461 },
462 {
463 "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_root_initial.json",
464 "bytes": 1447,
465 "sha256": "2a58bb40c1c5d2406702de3e80d45267630e07315b82864a8c340d0902a07cdf"
466 },
467 {
468 "path": "evidence/layout/prior_60398931_27a72cff/manual_visual_a.json",
469 "bytes": 5231,
470 "sha256": "3c8f407556d96b939ba2c8f7e5186b396552c03415249f943a39bd94215f999c"
471 },
472 {
473 "path": "evidence/layout/prior_60398931_27a72cff/manual_visual_b.json",
474 "bytes": 4918,
475 "sha256": "70d3491f53a1fe3d6e4094f8909fe320b9fd0affbc3a62d4937a1be94f8663c7"
476 },
477 {
478 "path": "evidence/layout/prior_visual_a_654d30d3fbd1.json",
479 "bytes": 1076,
480 "sha256": "659bffc03d42fe1eb7ab2307f69f92d0a46d89cfdc3a7e61753eabc45581f187"
481 },
482 {
483 "path": "evidence/layout/visual_fonts.txt",
484 "bytes": 8648,
485 "sha256": "8bf287196fc4a385a1f7c542bdd888fdc92fb7f0ca70e0ced82007176fab9939"
486 },
487 {
488 "path": "evidence/layout/visual_validation.json",
489 "bytes": 454,
490 "sha256": "ae1b09061dacdb4f8d6f6cde236159ffb12137597f63f414ea1a62a9d1389c55"
491 },
492 {
493 "path": "evidence/proofreading/chapter03_self_review.json",
494 "bytes": 1107,
495 "sha256": "8fefed6388db2da890c76fc8964eaec40644cb55fb2436fe300b423ba4626686"
496 },
497 {
498 "path": "evidence/proofreading/chapters04_07_self_review.json",
499 "bytes": 2401,
500 "sha256": "11318c1e4896f51df7671f606e93e352e7d5875183fed06fd5200382e2a56b88"
501 },
502 {
503 "path": "evidence/proofreading/final_source_self_review.json",
504 "bytes": 5529,
505 "sha256": "30cf0aa289578ff3ed3af00f669d475e8e2df9523c47994c2a71f6860d0676c9"
506 },
507 {
508 "path": "evidence/proofreading/layout_text_fixes_b.json",
509 "bytes": 1864,
510 "sha256": "946bb11d817fce926371003188ac08adf89fec790ad1cb47d27c1547f53e9512"
511 },
512 {
513 "path": "historical/catalan_packet_audit.py",
514 "bytes": 7953,
515 "sha256": "4a59096f9c3a0222e6523e5183292678c36b68089bd0bf3103fc3da090db1a7c"
516 },
517 {
518 "path": "historical/catalan_packet_audit_results.json",
519 "bytes": 1801,
520 "sha256": "cff3c696e26525197c3e043e8bd9f102e73490dc1606a052e061d92ae4ca88c3"
521 },
522 {
523 "path": "historical/catalan_packet_audit_run.log",
524 "bytes": 1802,
525 "sha256": "a7fdb5ce8a73071610819ff0a03517ed1abdb043dde92f9e906e72d83d3effed"
526 },
527 {
528 "path": "literature/acquisition_log.json",
529 "bytes": 565,
530 "sha256": "004706a9627462285c600baf19af2645f09af21d6a5750d51d978be76269b9fe"
531 },
532 {
533 "path": "literature/cache_ingest_log.json",
534 "bytes": 3957,
535 "sha256": "a7459a0a18e3e02dffed3d94fa7a2c4258bff110234423e96b44fda6c44b7824"
536 },
537 {
538 "path": "literature/extraction_log.json",
539 "bytes": 880,
540 "sha256": "7be1d6d14bf91d92a260a77c5800d4bf99f3b74fa3b34adcc7cd80a86c4b4f92"
541 },
542 {
543 "path": "literature/private_source_exclusion.json",
544 "bytes": 1500,
545 "sha256": "27b7924f3710f75630729c81f43fb30973e41a25aa0b1ce5e7f9e8f724e5a493"
546 },
547 {
548 "path": "literature/source_contracts.md",
549 "bytes": 13950,
550 "sha256": "925a8b0ac18e20643d551189b5b201b94101439b4e667ea72b94d6e48175d01b"
551 },
552 {
553 "path": "literature/source_records.json",
554 "bytes": 6409,
555 "sha256": "a2cd7aed28635d27037dedf1c1c1b58bde80d82fe4f24100e9ce1130dcf9ad84"
556 },
557 {
558 "path": "literature/strong_denominator_acquisition.json",
559 "bytes": 542,
560 "sha256": "39e5e92fbf33fc901f1f72f21703ef20f58cdb1f13a5ba5b0fa06bd7fc9e4769"
561 },
562 {
563 "path": "merge_layout_reviews.py",
564 "bytes": 2847,
565 "sha256": "9320eeaaa393ef873fcd4c95006b6daff6a959937a6a76cc9bb81523c83a5b08"
566 },
567 {
568 "path": "output/pdf/Komorebi_Catalan_Constant_Conjecture_Piece_v1.0.pdf",
569 "bytes": 694832,
570 "sha256": "048f4e6d45c3ba6c96a1e2b2df014ecbe99e68fa7c93aaec1fc8548516ac8966"
571 },
572 {
573 "path": "output/pdf/Komorebi_Catalan_Constant_Visual_Guide_v1.0.pdf",
574 "bytes": 742911,
575 "sha256": "64429a1cbb4185a27e1620b6806373ea3706477b9efc375a99d7b37adb9ea7c6"
576 },
577 {
578 "path": "package.py",
579 "bytes": 2755,
580 "sha256": "76dba91f2e14cd6082f0cb2ab1a9171d33ee34cdb332f3d3c05de60a48c9d698"
581 },
582 {
583 "path": "paper/appendices.tex",
584 "bytes": 13858,
585 "sha256": "a1ade5186edb2c942f220b85e4aca5eb0bf05b91adf5df3836774d8211a38749"
586 },
587 {
588 "path": "paper/bibliography.tex",
589 "bytes": 2817,
590 "sha256": "6865de4e5c278d8f2d58194f486270a1d9577393d1a8758dd84f41b2aa8e4312"
591 },
592 {
593 "path": "paper/build_stdout.log",
594 "bytes": 17884,
595 "sha256": "dea3bc46054d5823ce5399015ed702029db698d0545927b20be9c7103adc7afd"
596 },
597 {
598 "path": "paper/chapter03.tex",
599 "bytes": 15709,
600 "sha256": "16feae3959203782bc9a4d323612065c348aae10a802523f31a279bfc3d8591c"
601 },
602 {
603 "path": "paper/chapters01_03.tex",
604 "bytes": 34041,
605 "sha256": "e3aeafeab650c62a022d53887c879d4e9f71dc8ee6b9edfa81cfb7e3b2440a81"
606 },
607 {
608 "path": "paper/chapters04_07.tex",
609 "bytes": 40260,
610 "sha256": "6e00c825b7ce64a1f9286550c07624703355a471d55439ed0298343f0302062d"
611 },
612 {
613 "path": "paper/chapters08_10.tex",
614 "bytes": 38131,
615 "sha256": "61ec2e2665c84d2863ed9cd63210992a96064b5b80f2a8df0cf03b969264e993"
616 },
617 {
618 "path": "paper/main.log",
619 "bytes": 53509,
620 "sha256": "47af8a8f9b1998c87033db121aba9b74ead21eda82c2986bc01316a947e660a5"
621 },
622 {
623 "path": "paper/main.tex",
624 "bytes": 2236,
625 "sha256": "627e91cdd82c7e767a218009532407f43feeca7d4ef37b19e6da2bb5bbb34840"
626 },
627 {
628 "path": "paper/opening.tex",
629 "bytes": 4752,
630 "sha256": "ead42173c44e9eecaccd086f2fb12494e660157cb09579f00ebd11c4f91eb47e"
631 },
632 {
633 "path": "quality_check.py",
634 "bytes": 3464,
635 "sha256": "a8b9a599f3a433a8e87ff6a6d9b8357ffb91c9b068b361bf580e76d0a307a254"
636 },
637 {
638 "path": "record_release_evidence.py",
639 "bytes": 1224,
640 "sha256": "d765bd461e9a13593de43f4b73b1d47befa63418755ea783f998c4a880b113ed"
641 },
642 {
643 "path": "shared/guide_preamble.tex",
644 "bytes": 2715,
645 "sha256": "ef89a4061fa43f6b4284994b458155fa9d12d02ebd788e5d6a9fdb3450ba0071"
646 },
647 {
648 "path": "shared/preamble.tex",
649 "bytes": 3568,
650 "sha256": "1b624e164db263a4d628f652315ded6909107a6c9a950260c92e0cde7bf86526"
651 },
652 {
653 "path": "validate_fonts.py",
654 "bytes": 1347,
655 "sha256": "3e52816acbb5f8f84143ba4deb6f6a5c4825f7f4318e36ca4cc8ff1e451bbb93"
656 },
657 {
658 "path": "validate_historical.py",
659 "bytes": 834,
660 "sha256": "ce64126eee1d9b2df776c0c7f5e8672a41cb978839b3d8c32d7bd25060eb8fc2"
661 },
662 {
663 "path": "validate_release.py",
664 "bytes": 2900,
665 "sha256": "d145aaec6dfad003a28a15f502864efffb870624d7ddf12ffb88707fffcd7de7"
666 },
667 {
668 "path": "visual/build_stdout.log",
669 "bytes": 8256,
670 "sha256": "1012df64826dbc0639c129e11204cb13119dc3cb2b23b32de835421169cdc025"
671 },
672 {
673 "path": "visual/figure_build_failures.json",
674 "bytes": 631,
675 "sha256": "127f4f74be1ab8ff26c21e2ae0bcb6870b423d562275ed8046132422774d4a51"
676 },
677 {
678 "path": "visual/figure_provenance.json",
679 "bytes": 12215,
680 "sha256": "a906513c13037086da1f10f949482b04cbc1f2d6a0bc5c70d980df8708a3402b"
681 },
682 {
683 "path": "visual/figures/01_constant.pdf",
684 "bytes": 19656,
685 "sha256": "8eb8628b7806b538668c833a8d252ff7e9892b574f1353f033aa8c208048b640"
686 },
687 {
688 "path": "visual/figures/01_constant.png",
689 "bytes": 64164,
690 "sha256": "532ba81c9aec19a85e0efbb087641c56b506306e382f83c392427fabe09386dd"
691 },
692 {
693 "path": "visual/figures/02_alternating_series.pdf",
694 "bytes": 16207,
695 "sha256": "757fc601adfde12109931154a5df7afe830ba0f9b08a132de98154c5ecac080e"
696 },
697 {
698 "path": "visual/figures/02_alternating_series.png",
699 "bytes": 83286,
700 "sha256": "ca5f084d91508fcddc69339c126657e917bb436c734be435199788acf080eae2"
701 },
702 {
703 "path": "visual/figures/03_log_integral.pdf",
704 "bytes": 36741,
705 "sha256": "bfb7131389e85987792746309a3986ea495f452d165798ddc0a354cf51253852"
706 },
707 {
708 "path": "visual/figures/03_log_integral.png",
709 "bytes": 81075,
710 "sha256": "c6f24205df588e9044a8a06313c378472c371946b8827511202bda610de9ecf3"
711 },
712 {
713 "path": "visual/figures/04_double_integral.pdf",
714 "bytes": 41968,
715 "sha256": "b4d8c27c7512c4a153396c3702ac03e752313c135aac4c28e48080ae62c3f229"
716 },
717 {
718 "path": "visual/figures/04_double_integral.png",
719 "bytes": 71213,
720 "sha256": "ba376972e1b49177ea27a6992de9d5f74ea4a84d559ccdfce5ffee86c0119864"
721 },
722 {
723 "path": "visual/figures/05_beta_family.pdf",
724 "bytes": 20652,
725 "sha256": "f8f8b13e64289cbcf09d0847f34062339851d3ade8432c302173d66a1f290f2b"
726 },
727 {
728 "path": "visual/figures/05_beta_family.png",
729 "bytes": 79805,
730 "sha256": "7818c84625ff274e6279c27dc1a33ce75ac3c2d7876ecc8f416e7a7b5b47ee46"
731 },
732 {
733 "path": "visual/figures/06_rationality_lattice.pdf",
734 "bytes": 17688,
735 "sha256": "b4d2d330364f5056f74f8429e91567c178960626841588210e2bbd095e6066ea"
736 },
737 {
738 "path": "visual/figures/06_rationality_lattice.png",
739 "bytes": 48238,
740 "sha256": "500941ccfee2b05e37225b1c5bdc382f6da6e09b2082594b8142d9d3fb2a17cb"
741 },
742 {
743 "path": "visual/figures/07_series_denominators.pdf",
744 "bytes": 22819,
745 "sha256": "8445ec952b607caac107c79959b971e1411f5fb36b83de77cc1fbccfa23d9b96"
746 },
747 {
748 "path": "visual/figures/07_series_denominators.png",
749 "bytes": 104632,
750 "sha256": "4b8dfa5f7e5baa568eeff48c166e65dce7386619249364bdfa7ea546808a91e7"
751 },
752 {
753 "path": "visual/figures/08_error_clearing.pdf",
754 "bytes": 15335,
755 "sha256": "256a5f9fdc6ae2b8ec2e1fdeefa0550c45baa3f8f54dd4116c3477a9a0680b74"
756 },
757 {
758 "path": "visual/figures/08_error_clearing.png",
759 "bytes": 73525,
760 "sha256": "3a651c63add755970fff9cb700a9ff5e68d622a6437f649cee3d475d26518bba"
761 },
762 {
763 "path": "visual/figures/09_recurrence_structure.pdf",
764 "bytes": 15835,
765 "sha256": "e88afecfbc6e7e12ac073c64dbf83d00c0ea14716c2426ecfecd02da620d8ca3"
766 },
767 {
768 "path": "visual/figures/09_recurrence_structure.png",
769 "bytes": 70698,
770 "sha256": "9c74d76cc39ee04979671a12207fc67a408572656370e9e5615b51b48b555e69"
771 },
772 {
773 "path": "visual/figures/10_initial_sequences.pdf",
774 "bytes": 18398,
775 "sha256": "9e32a49cc39cfdea17491b1d7cdf778c87f845c3b8412cb2fd9537012a698705"
776 },
777 {
778 "path": "visual/figures/10_initial_sequences.png",
779 "bytes": 79058,
780 "sha256": "d68e3d0b6e4ef2eb371b94d84071a791205ab33be508d64a62ebc5390239a760"
781 },
782 {
783 "path": "visual/figures/11_recurrence_growth.pdf",
784 "bytes": 19117,
785 "sha256": "445244fec85eb38cfc32471f35679dd2e0c770303bfa2508c3f351b0e8a5ffa3"
786 },
787 {
788 "path": "visual/figures/11_recurrence_growth.png",
789 "bytes": 70273,
790 "sha256": "91c991fb794bc89df22603ec036fa7f299125717e578d83419d0af74bda847e5"
791 },
792 {
793 "path": "visual/figures/12_approximant_error.pdf",
794 "bytes": 15862,
795 "sha256": "493b1d77641bea8186eb6575af5349bf18729cf778267bdf6b87404ee90a3c80"
796 },
797 {
798 "path": "visual/figures/12_approximant_error.png",
799 "bytes": 80180,
800 "sha256": "42c47486e8cf37545e37b8cb24febccd08745f7174f4960e83bea249055d7346"
801 },
802 {
803 "path": "visual/figures/13_wronskian.pdf",
804 "bytes": 22076,
805 "sha256": "6d962547e9b4d0d027bd7d70e98cd693c522291ee98e738a6c1eb5d1a3df396a"
806 },
807 {
808 "path": "visual/figures/13_wronskian.png",
809 "bytes": 75930,
810 "sha256": "880a1bb06b04c009c64bf17b93d9ad444382b183d67034fbcb426fde8407d8dd"
811 },
812 {
813 "path": "visual/figures/14_wronskian_identity.pdf",
814 "bytes": 16050,
815 "sha256": "03cdb7eb77cf04e3575d8519e113ae7018a739c7e71bc279e909f24c2bd6e828"
816 },
817 {
818 "path": "visual/figures/14_wronskian_identity.png",
819 "bytes": 60313,
820 "sha256": "a9afb9eb7d03a28a117ac6787e00989f2b989e5c969f44d1b98ebd3ff019109b"
821 },
822 {
823 "path": "visual/figures/15_scaled_coefficients.pdf",
824 "bytes": 16080,
825 "sha256": "38c7cd060d0b3b5f66ccd2738d62cb12383840fe0f1267f8bad036de08ccac7c"
826 },
827 {
828 "path": "visual/figures/15_scaled_coefficients.png",
829 "bytes": 56657,
830 "sha256": "c1c159cc49d525eb06507813d140e6c8970fc1702d6f3ad43575ad3bebb83eb0"
831 },
832 {
833 "path": "visual/figures/16_pascal_transform.pdf",
834 "bytes": 16319,
835 "sha256": "c2c01b6fe4c81673fe62b85c9be08ccfe1bafda0423b3e8fdf37c5da5dfb0de7"
836 },
837 {
838 "path": "visual/figures/16_pascal_transform.png",
839 "bytes": 42551,
840 "sha256": "db2a94736fd25770e733bf05bb113646113bfbf3e3af8516069a71d87995f91e"
841 },
842 {
843 "path": "visual/figures/17_binomial_packet.pdf",
844 "bytes": 16630,
845 "sha256": "762c1b6226ca481026152299e379e6caf6c45be8cfafa429ef727ac90e49120a"
846 },
847 {
848 "path": "visual/figures/17_binomial_packet.png",
849 "bytes": 50411,
850 "sha256": "dda40b0b551e99e9d87eff5d04bac2d12203be9190c182917aa4903a43a25207"
851 },
852 {
853 "path": "visual/figures/18_modular_exactness.pdf",
854 "bytes": 18206,
855 "sha256": "160b60da7a1e51bbbbccff6086aa867babb27c4481121377b5795e5749d610f2"
856 },
857 {
858 "path": "visual/figures/18_modular_exactness.png",
859 "bytes": 92617,
860 "sha256": "10fa1d5374b5146c21dd663f1dc2bcb1132589260dc7bab0efb9f402eac385ca"
861 },
862 {
863 "path": "visual/figures/19_v2_heatmap.pdf",
864 "bytes": 34818,
865 "sha256": "3ee4d1f90364e37d91e2ddd3fcbba87230bd993a2cbe15ce46a5f2d649318623"
866 },
867 {
868 "path": "visual/figures/19_v2_heatmap.png",
869 "bytes": 112619,
870 "sha256": "b334d975e11715d4dbabba922ecec0f6a967d4c66cb6cdce408ccd830ef8a770"
871 },
872 {
873 "path": "visual/figures/20_prefix_maxima.pdf",
874 "bytes": 12015,
875 "sha256": "84f7b73fb94694eb93d5bb514c795f5a94ada55bb23e8a4cd42e49a539a884de"
876 },
877 {
878 "path": "visual/figures/20_prefix_maxima.png",
879 "bytes": 70223,
880 "sha256": "0a640e5ce5c09464d8660e1ba7b94fbdedf6d328614d5b54a911a9e1196a2c43"
881 },
882 {
883 "path": "visual/figures/21_scan_domain.pdf",
884 "bytes": 14799,
885 "sha256": "0d70a9e877a7d5c123135a647d39f7198679d41d1c720a80bd84a55bd57f5b68"
886 },
887 {
888 "path": "visual/figures/21_scan_domain.png",
889 "bytes": 84384,
890 "sha256": "3715e947bef48c3873cd4280b9cdbd20029eeb84a2a6e5c7c47daebf279fbe20"
891 },
892 {
893 "path": "visual/figures/22_lcm_growth.pdf",
894 "bytes": 21339,
895 "sha256": "54b9d8699d0e8d98d8ecf1da898b454876736af0be520605a60d83ffc3111f41"
896 },
897 {
898 "path": "visual/figures/22_lcm_growth.png",
899 "bytes": 79637,
900 "sha256": "16fdd0bd8aef9b46547fdf6347014962ca5a471ff03fdef66f80288275c8122c"
901 },
902 {
903 "path": "visual/figures/23_gcd_rate.pdf",
904 "bytes": 24137,
905 "sha256": "5b58a359949d5aa21479c9c548b63446bc81f509397427e6d1237e65f5b6e52c"
906 },
907 {
908 "path": "visual/figures/23_gcd_rate.png",
909 "bytes": 119024,
910 "sha256": "c66e514298dfb8d4b00f75bf83085f578bd618bdef5525e1d7abfe01f5c708fe"
911 },
912 {
913 "path": "visual/figures/24_gcd_decomposition.pdf",
914 "bytes": 17596,
915 "sha256": "b0f5b01f120d013b48f8ef760eeb247503860974c10559847e67b149472ba1c8"
916 },
917 {
918 "path": "visual/figures/24_gcd_decomposition.png",
919 "bytes": 103916,
920 "sha256": "50946767f4511049e9174f4809d1af3c6a0ce250c6908e8d5572cc18ae980e23"
921 },
922 {
923 "path": "visual/figures/25_threshold_plane.pdf",
924 "bytes": 23286,
925 "sha256": "924002b37a4bfe1f51cc7b4e26591c2c8b3f8be1ee1ca13398f5ec75e4dd8415"
926 },
927 {
928 "path": "visual/figures/25_threshold_plane.png",
929 "bytes": 96502,
930 "sha256": "f6f12c7694da4d5ab4075b354f3d53bc5622129dc9f9dacc00f0e35dec8eee11"
931 },
932 {
933 "path": "visual/figures/26_finite_countermodels.pdf",
934 "bytes": 20808,
935 "sha256": "37d84167e42457c2a44dcbbfddd05cce91d47f068a0ff4c7f35217c283556a43"
936 },
937 {
938 "path": "visual/figures/26_finite_countermodels.png",
939 "bytes": 120106,
940 "sha256": "ff7137443bd9c43201a879a60dd6a77d92b1a187cae23b77d2c25efe6222f367"
941 },
942 {
943 "path": "visual/figures/27_filter_signs.pdf",
944 "bytes": 18882,
945 "sha256": "67cdc5db8d21777900f4f93069f35288aa9a1a3aeee18e877f175f02666ce0d9"
946 },
947 {
948 "path": "visual/figures/27_filter_signs.png",
949 "bytes": 79035,
950 "sha256": "eaad61a7b9bc8901fb1b4652a2dfee0ea5396919b851e99068f52692f46435e2"
951 },
952 {
953 "path": "visual/figures/28_conditional_route.pdf",
954 "bytes": 12854,
955 "sha256": "1a392cdd00c7144d2773ade52180b5916e86e9ab39600b2c4b997b754098a3b3"
956 },
957 {
958 "path": "visual/figures/28_conditional_route.png",
959 "bytes": 91094,
960 "sha256": "5258ffcd2b45375088d482d2797090e914d758ecf1c6eb6b048b51adf81af9bc"
961 },
962 {
963 "path": "visual/figures/29_evidence_boundaries.pdf",
964 "bytes": 12199,
965 "sha256": "11098e1e350cd3680269bafa00475a5a5d4845a117968eede695c9c1e55adf05"
966 },
967 {
968 "path": "visual/figures/29_evidence_boundaries.png",
969 "bytes": 110343,
970 "sha256": "fbdba9720f6a90397d50139ee577cb88fef67abfad24b576b65d8dc172860a46"
971 },
972 {
973 "path": "visual/figures/30_integral_filter.pdf",
974 "bytes": 36254,
975 "sha256": "c4903f7868f8532b9527eed4b4b7b9f0c22739fc07976f944dcec49ea25a8faa"
976 },
977 {
978 "path": "visual/figures/30_integral_filter.png",
979 "bytes": 121410,
980 "sha256": "b8b4751944163ec16e2a6f43f483eb730e551cea0e2b50b143faa8af9a21ca65"
981 },
982 {
983 "path": "visual/figures/31_source_rate.pdf",
984 "bytes": 25561,
985 "sha256": "fadce555a20aa180275fb6b294ee366ea62a522d1e80ab98dbae50a638f79e48"
986 },
987 {
988 "path": "visual/figures/31_source_rate.png",
989 "bytes": 135550,
990 "sha256": "26728a3913602beaea87e89f969a26e7f18e82561098f7957deb631728d9dc94"
991 },
992 {
993 "path": "visual/figures.py",
994 "bytes": 28553,
995 "sha256": "c9ed0b0bbfeca5eb2953ea5a5e11e96929ebf730a0f7771b87033451aaf652db"
996 },
997 {
998 "path": "visual/main.log",
999 "bytes": 37888,
1000 "sha256": "635f6466d7cdda6f32caa35627be75cd60b51fdd81e46f9464264e4a081fcf50"
1001 },
1002 {
1003 "path": "visual/main.tex",
1004 "bytes": 20184,
1005 "sha256": "bfbed77c5b0bbb516e0d95c2d1b3d3f497006a9a6928af8feeac68a6b02a7f5a"
1006 }
1007 ],
1008 "build": "python3 build.py --figures",
1009 "historical_sources": "historical/ preserves the three recovered audit files byte for byte. Current evidence reports govern claim scope."
1010 }
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 0c8c8cd6ea41abcff3604d19fade029d2ff5af0383e4fdf8dd1bc6dde520d71f