{
  "title": "Operation Komorebi / Catalan constant / Conjecture Series 08",
  "edition": "1.0",
  "publication_date": "2026-10-09",
  "claim_boundary": "This edition proves specified recurrence identities and reproduces bounded arithmetic. It does not establish the irrationality of Catalan constant.",
  "files": [
    {
      "path": "README.md",
      "bytes": 3425,
      "sha256": "4db5b66952d25757e5a640dee73ddd935ad1353d445967f36dd6eabc8bb9df00"
    },
    {
      "path": "audits/book_c_self_proofread.json",
      "bytes": 1627,
      "sha256": "be9ad57a179050325516fbea663932eee97bc8459f045ea21ed6a8a28f54e00a"
    },
    {
      "path": "audits/computation_audit.json",
      "bytes": 4341,
      "sha256": "2b5b089d0a8b85623d8fefc6ced435890ec34235aa2c761321ac0e780be1b0da"
    },
    {
      "path": "audits/continuant_check.json",
      "bytes": 526,
      "sha256": "9bbdc0569623fdc56f271e50b0eb3bb970695025c60e2983f42c231723e58ab3"
    },
    {
      "path": "audits/figure_data_review.json",
      "bytes": 18406,
      "sha256": "9aa8e214ebf5a27344f8f39a393de7c749e1986b83d5a0b9ce3b1d5357238a18"
    },
    {
      "path": "audits/integral_normalization_derivation.md",
      "bytes": 2248,
      "sha256": "3f4dae06dca4dc0c3c1dfdc3ee979ecc6260895a62314b758b39af5f8d08b924"
    },
    {
      "path": "audits/literature_diagnostics.json",
      "bytes": 2036,
      "sha256": "ec23e22405f40c5261a2c36d60193fa68bd328eb2458adcf4b1044e87a105149"
    },
    {
      "path": "audits/proof_audit.json",
      "bytes": 15000,
      "sha256": "f53c5e5b15dfc5803551a9e3d5845c86b8c2a8e2884b76c24bc3087522e8aa6c"
    },
    {
      "path": "audits/proof_audit.md",
      "bytes": 22794,
      "sha256": "c322bbd420410ff55521696a684efccf0ce6bd943959fb694c2162f108d5e7a9"
    },
    {
      "path": "audits/refresh_figure_data_review.py",
      "bytes": 8726,
      "sha256": "1221da2a89ad27dd3b0d649ff3d9123a45f01a6da108a726dc9c96b03276aceb"
    },
    {
      "path": "build.py",
      "bytes": 1734,
      "sha256": "7297a3b5d3a96a3b64bfb52fa9c18496340e679ff5c8d69e3230a32eef24f67a"
    },
    {
      "path": "computations/catalan_packet_audit.py",
      "bytes": 7953,
      "sha256": "4a59096f9c3a0222e6523e5183292678c36b68089bd0bf3103fc3da090db1a7c"
    },
    {
      "path": "computations/continuant_audit.py",
      "bytes": 2654,
      "sha256": "0872ffa2de9c79d161a5f90be700b0cd3533374e44f696615495cdf9c3ed3a68"
    },
    {
      "path": "computations/half_binomial_audit.py",
      "bytes": 2146,
      "sha256": "808435ef520be290384852377b2b548bf949f90d34794919fd6d95466125f4aa"
    },
    {
      "path": "computations/independent_audit.py",
      "bytes": 9910,
      "sha256": "6dc046608da6f294b1626c703798770e2705b9c9c9556fcb73a0e05757734b99"
    },
    {
      "path": "computations/independent_audit_final.py",
      "bytes": 9986,
      "sha256": "46b7fca31cb0c9294e1201f844bbbdf7fc34c54a53639c5d71fd3085a2b830fc"
    },
    {
      "path": "computations/witness_and_precision_audit.py",
      "bytes": 3010,
      "sha256": "5e69eb028f765886432a1c08b629457813c7fa18d9d62dd8f921a8da265565b9"
    },
    {
      "path": "evidence/AUTHORING_DIAGNOSTICS.md",
      "bytes": 1777,
      "sha256": "92408480aebb988d192466cc350121315fc4f999e896e8c7e1627dd6ea3a62a8"
    },
    {
      "path": "evidence/BUILD_ENVIRONMENT.json",
      "bytes": 492,
      "sha256": "113c7db5574fa986934035a106c30842bc154b4c5ff40a37e0cd507f34432551"
    },
    {
      "path": "evidence/CURRENT_STATUS.md",
      "bytes": 1281,
      "sha256": "71b0c8057f727552d9cca442d636b133f74b0392bbe464229a28b3acea946383"
    },
    {
      "path": "evidence/FONT_VALIDATION.json",
      "bytes": 16220,
      "sha256": "de6dcfb0653635174d8521be1d35ca9197c77cc6fa1ce132fdd0fa22e3e65467"
    },
    {
      "path": "evidence/FULL_LAYOUT_VALIDATION.json",
      "bytes": 6083,
      "sha256": "8464c4f6cab0877e6ce410f36c1d01f52a8eed659b1309a07d59a8403a6ab329"
    },
    {
      "path": "evidence/HISTORICAL_INTEGRITY.json",
      "bytes": 727,
      "sha256": "bf1cec5883ad736b21d498886f9c6ece697274d26d780e0028590178a377fbbd"
    },
    {
      "path": "evidence/RELEASE_EVIDENCE_PINS.json",
      "bytes": 15113,
      "sha256": "eb668727b7f8dcee0ebeb89d9ab023076550c1505a30d4b5c32e263b3663707d"
    },
    {
      "path": "evidence/SOURCE_RECOVERY.json",
      "bytes": 4956,
      "sha256": "ca345c035011beb111f827bc26c731d2b19e3622a653e2df21640379b5136529"
    },
    {
      "path": "evidence/SOURCE_RECOVERY.md",
      "bytes": 1832,
      "sha256": "12a8f532b7d27f7c926297fe345adb356a06a3df0a5d7e2e7d82b8e027cac48e"
    },
    {
      "path": "evidence/SOURCE_VALIDATION.json",
      "bytes": 635,
      "sha256": "51395c995573d974e1871b3b511f64d25ce9a7bec036ff47e1ae2a8f70a08527"
    },
    {
      "path": "evidence/book_a_self_review.json",
      "bytes": 1063,
      "sha256": "bfd002f53fccf5c14c9e376f2dc3638f5705378c98dfba5c578a7077a561a280"
    },
    {
      "path": "evidence/computation/REPORT.md",
      "bytes": 13019,
      "sha256": "65f754d59a7e8781462690a85b05d53991a399a71ade9743da7c5a2e150abfe7"
    },
    {
      "path": "evidence/computation/continuant/manifest.json",
      "bytes": 4099,
      "sha256": "fbefacacf11fcd1fb823f571f3e6c9f1c61a820e4bb0cb345682c089274538ba"
    },
    {
      "path": "evidence/computation/continuant/results.json",
      "bytes": 704,
      "sha256": "ca1649cf9a595c39f7003ef2a8fbad733372f1ae02a1a74d73dc38c9e0175d28"
    },
    {
      "path": "evidence/computation/continuant/stderr.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "evidence/computation/continuant/stdout.txt",
      "bytes": 704,
      "sha256": "ca1649cf9a595c39f7003ef2a8fbad733372f1ae02a1a74d73dc38c9e0175d28"
    },
    {
      "path": "evidence/computation/continuant_contract.json",
      "bytes": 1119,
      "sha256": "38fbfa3c042d556567b68b6ed4c194cdcb8e3102508aa21535d22aa8e5370c28"
    },
    {
      "path": "evidence/computation/continuant_final/manifest.json",
      "bytes": 4142,
      "sha256": "40c38c1edf936d981d7429d0daff2f1f9d93665d1c1e4479ac334466ff96e7f9"
    },
    {
      "path": "evidence/computation/continuant_final/results.json",
      "bytes": 704,
      "sha256": "ca1649cf9a595c39f7003ef2a8fbad733372f1ae02a1a74d73dc38c9e0175d28"
    },
    {
      "path": "evidence/computation/continuant_final/stderr.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "evidence/computation/continuant_final/stdout.txt",
      "bytes": 704,
      "sha256": "ca1649cf9a595c39f7003ef2a8fbad733372f1ae02a1a74d73dc38c9e0175d28"
    },
    {
      "path": "evidence/computation/continuant_final_contract.json",
      "bytes": 1290,
      "sha256": "dc09fd8e974cbdbd2ec41610349ed8faf6c43c039f0b1f14e588d188ab965530"
    },
    {
      "path": "evidence/computation/half_binomial/manifest.json",
      "bytes": 3888,
      "sha256": "f3a51e89a2602e6f0546d5d8209674af6f8f57b856baa3e1bee232484b99e3be"
    },
    {
      "path": "evidence/computation/half_binomial/results.json",
      "bytes": 12887,
      "sha256": "cc813930d72aef8a1053afe17385b5a12a2ade211cfbbac6a9650c14330a4e5d"
    },
    {
      "path": "evidence/computation/half_binomial/stderr.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "evidence/computation/half_binomial/stdout.txt",
      "bytes": 603,
      "sha256": "e0269fd6555729cec7b5a3538d2541687885e70cedb76a846fb0ca5c9ad889b8"
    },
    {
      "path": "evidence/computation/half_binomial_contract.json",
      "bytes": 1101,
      "sha256": "902a5d87119f087306ff2a44958ea332b997f26e334a6a4a4aaf937387b89250"
    },
    {
      "path": "evidence/computation/historical_default/manifest.json",
      "bytes": 4244,
      "sha256": "700e22e085881778798c0cbe5cacac839f872835a83ad7475cf1261313ee6bc9"
    },
    {
      "path": "evidence/computation/historical_default/results.json",
      "bytes": 1801,
      "sha256": "cff3c696e26525197c3e043e8bd9f102e73490dc1606a052e061d92ae4ca88c3"
    },
    {
      "path": "evidence/computation/historical_default/stderr.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "evidence/computation/historical_default/stdout.txt",
      "bytes": 1802,
      "sha256": "a7fdb5ce8a73071610819ff0a03517ed1abdb043dde92f9e906e72d83d3effed"
    },
    {
      "path": "evidence/computation/historical_default_contract.json",
      "bytes": 1603,
      "sha256": "35e2c3706be3ab7b565ce12cf843e3bbc9a75d52c14239f9bf285a18f9b63aa5"
    },
    {
      "path": "evidence/computation/historical_match.json",
      "bytes": 543,
      "sha256": "cc64b8f759e559e7fb47d641b4533d8543c616a1ada967e7a41e4fb9c5fc0e1d"
    },
    {
      "path": "evidence/computation/independent/diagnostic_data.json",
      "bytes": 466732,
      "sha256": "2d409306b4bb3f979d26d3e04a0edfe98d7c096756cd4de68b467ef4d46433a1"
    },
    {
      "path": "evidence/computation/independent/manifest.json",
      "bytes": 4847,
      "sha256": "7406fde389e88e67c3849be2baac059ad8f3fc96dd6b3815bec70485491c8bf4"
    },
    {
      "path": "evidence/computation/independent/results.json",
      "bytes": 14919,
      "sha256": "97e5a698bcde34cc2ff939c08593987138134d5062389f1c7f211906b65e20e8"
    },
    {
      "path": "evidence/computation/independent/stderr.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "evidence/computation/independent/stdout.txt",
      "bytes": 6426,
      "sha256": "cfa5ed134403b1c68cc33224d5af8326c5c6554a891cd230c22c763ec1c26f54"
    },
    {
      "path": "evidence/computation/independent_contract.json",
      "bytes": 1833,
      "sha256": "be7afd1f3972239db87260cd445ee6f1487f7477466eb2b26c202a798920eb95"
    },
    {
      "path": "evidence/computation/independent_final/diagnostic_data.json",
      "bytes": 466732,
      "sha256": "2d409306b4bb3f979d26d3e04a0edfe98d7c096756cd4de68b467ef4d46433a1"
    },
    {
      "path": "evidence/computation/independent_final/manifest.json",
      "bytes": 4925,
      "sha256": "fadb942a8c8fde958ab509dbfec8a8172cacd2de94a409b25cd4f1967b038bee"
    },
    {
      "path": "evidence/computation/independent_final/results.json",
      "bytes": 14995,
      "sha256": "0b6ab2583bb2ecc1a7f8f5d61da86daec86c8453b37f63ce2efb9061fa534c23"
    },
    {
      "path": "evidence/computation/independent_final/stderr.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "evidence/computation/independent_final/stdout.txt",
      "bytes": 6502,
      "sha256": "2176dc91b62a4c5a3bcadb8ae1c6333c7dc533e6f64f66877cdea45097182679"
    },
    {
      "path": "evidence/computation/independent_final_contract.json",
      "bytes": 1851,
      "sha256": "977f282d5f725ab7edb83300563c211e701558cb898993501e333288d173ab51"
    },
    {
      "path": "evidence/computation/provenance_recording_commands.json",
      "bytes": 8603,
      "sha256": "7e1d55dd17e8941a3a506c7a418132ad53f7837a557b44d69b03c70b41ff4b27"
    },
    {
      "path": "evidence/computation/sign_hypothesis_failure.json",
      "bytes": 8476,
      "sha256": "831e965404b3dd1e4c083ae6e822447e6b051d396021b129718e8655c567dfd5"
    },
    {
      "path": "evidence/computation/witness/S_1465_2113.hex.txt",
      "bytes": 6687,
      "sha256": "dd108a404701e15f8684404949dc814eabd55cc8e887e9138471722db7866b87"
    },
    {
      "path": "evidence/computation/witness/S_1466_2112.hex.txt",
      "bytes": 6687,
      "sha256": "d5d1008b83bef5d210b54588ef8e0884cb592ecdb6e2e09d4650529c4b9ca8ce"
    },
    {
      "path": "evidence/computation/witness/S_1466_2113.hex.txt",
      "bytes": 6689,
      "sha256": "f3e083ef80cce18498ba307dd56103bdfa1e0dacae0395d4185517b280e5cf6b"
    },
    {
      "path": "evidence/computation/witness/S_1466_2114.hex.txt",
      "bytes": 6691,
      "sha256": "60c8203d927907834146e8cb15848c33bc0aedb4bae40ea1815eb493720aa76c"
    },
    {
      "path": "evidence/computation/witness/S_1467_2113.hex.txt",
      "bytes": 6691,
      "sha256": "b2f9d50f60445104da369fea12472dc346fd32ab1e4b86124321f5f8ae2f104d"
    },
    {
      "path": "evidence/computation/witness/manifest.json",
      "bytes": 5586,
      "sha256": "23a3cfe272a6eabe2d2d3da86d71739c59bfb891af4307ca16b2ec192b2e5e76"
    },
    {
      "path": "evidence/computation/witness/results.json",
      "bytes": 1895,
      "sha256": "5123b1138e1f6a64658ef7a118f11580aaccc584979adbd656b38d2ea185059b"
    },
    {
      "path": "evidence/computation/witness/stderr.txt",
      "bytes": 0,
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "path": "evidence/computation/witness/stdout.txt",
      "bytes": 1896,
      "sha256": "5320ac5d446f0ce18468efa1a2e9c0b4d594b83d48f3832204cd6ec850b44401"
    },
    {
      "path": "evidence/computation/witness_contract.json",
      "bytes": 1621,
      "sha256": "93ae136c00fb19093cd86a6637106844b7dd9bfb9b71c7ec06cc2549c349aa84"
    },
    {
      "path": "evidence/guide_authoring_diagnostics.json",
      "bytes": 2501,
      "sha256": "d371345aa9532d1321232576c8895b5ac4e85a55b73d88fe98c6e187492c8c29"
    },
    {
      "path": "evidence/historical_inputs.json",
      "bytes": 462,
      "sha256": "08bdc71999db7c0e8606094e76241ca2d514d582b169c02cc5a7f3fc572cfc1c"
    },
    {
      "path": "evidence/layout/diagram_boxes_baseline.json",
      "bytes": 12662,
      "sha256": "a6373b42f1d7fc0514910ea13feac407b011ef6e1a1a525105b1d36f821f91fe"
    },
    {
      "path": "evidence/layout/final_layout_changes.json",
      "bytes": 1551,
      "sha256": "ff6dc6ceb409a3571aa33451580b83c13965ff9fc6871fc5b525dbdc80740c72"
    },
    {
      "path": "evidence/layout/final_render_comparison.json",
      "bytes": 551,
      "sha256": "65974e0c8c3122c3aa937690d6a4547552ccc4eadae45ab298c7e6f5cd4b1df0"
    },
    {
      "path": "evidence/layout/manual_paper_a_final_changes.json",
      "bytes": 1315,
      "sha256": "408d0cf863a9e3d1cc8f4a04a718edb800ac82633d4babf21b91719a18163e27"
    },
    {
      "path": "evidence/layout/manual_paper_b_final_changes.json",
      "bytes": 1228,
      "sha256": "faf12dc831b23aef2c8647de24dfe870833cb2ba681bff84f02ffe590e2a9f96"
    },
    {
      "path": "evidence/layout/manual_paper_c_final_changes.json",
      "bytes": 1110,
      "sha256": "94268e310984033383f4ef1166001ace0d44cf54a9f236e21edd8a9413ac3718"
    },
    {
      "path": "evidence/layout/manual_paper_unchanged_transfer.json",
      "bytes": 40279,
      "sha256": "e565eada950929e8d806915a8850dbcc964c66481fef9a9c5b39a4cddc9d7d77"
    },
    {
      "path": "evidence/layout/manual_visual_final_changes.json",
      "bytes": 1024,
      "sha256": "34cb7f31f7627856cce1cb52f68b2390600b6a0829491c206a2da904c07d2f87"
    },
    {
      "path": "evidence/layout/manual_visual_unchanged_transfer.json",
      "bytes": 19174,
      "sha256": "e65f294f828eb1ef26ea822a27bf684eeb3969a6738073fd9cb71eeea34e1c31"
    },
    {
      "path": "evidence/layout/paper_c_initial_observations.json",
      "bytes": 2497,
      "sha256": "c9f9767ad9b22732a64765bf7e22db20f265857fb3f6f551f81c26d452fd1f38"
    },
    {
      "path": "evidence/layout/prior_60398931_27a72cff/layout_checks_initial.json",
      "bytes": 1044,
      "sha256": "79593a30c73baa5e461870f2ca1020ae3ca6e1fc6fbe133674be3a60d32659f1"
    },
    {
      "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_a.json",
      "bytes": 2158,
      "sha256": "fe881c7e37bd77c6c9cc4d2f5bbb329bac26145335995ed296ac1d2b2db52a95"
    },
    {
      "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_b.json",
      "bytes": 2458,
      "sha256": "f283b9e3ce83fc5c9f0ce0b33e92794a6f9966ede0f020c5f712b6f68e023ac7"
    },
    {
      "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_c_subset.json",
      "bytes": 1929,
      "sha256": "dc0e5dcae167519cca9fe926ac384ea3755b899d605678ba183aab776f46d7bb"
    },
    {
      "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_d.json",
      "bytes": 2071,
      "sha256": "06416bf1b23a01278c9b0ba3e11a059304115592ef4b57650a3cb410f3637369"
    },
    {
      "path": "evidence/layout/prior_60398931_27a72cff/manual_paper_root_initial.json",
      "bytes": 1447,
      "sha256": "2a58bb40c1c5d2406702de3e80d45267630e07315b82864a8c340d0902a07cdf"
    },
    {
      "path": "evidence/layout/prior_60398931_27a72cff/manual_visual_a.json",
      "bytes": 5231,
      "sha256": "3c8f407556d96b939ba2c8f7e5186b396552c03415249f943a39bd94215f999c"
    },
    {
      "path": "evidence/layout/prior_60398931_27a72cff/manual_visual_b.json",
      "bytes": 4918,
      "sha256": "70d3491f53a1fe3d6e4094f8909fe320b9fd0affbc3a62d4937a1be94f8663c7"
    },
    {
      "path": "evidence/layout/prior_visual_a_654d30d3fbd1.json",
      "bytes": 1076,
      "sha256": "659bffc03d42fe1eb7ab2307f69f92d0a46d89cfdc3a7e61753eabc45581f187"
    },
    {
      "path": "evidence/layout/visual_fonts.txt",
      "bytes": 8648,
      "sha256": "8bf287196fc4a385a1f7c542bdd888fdc92fb7f0ca70e0ced82007176fab9939"
    },
    {
      "path": "evidence/layout/visual_validation.json",
      "bytes": 454,
      "sha256": "ae1b09061dacdb4f8d6f6cde236159ffb12137597f63f414ea1a62a9d1389c55"
    },
    {
      "path": "evidence/proofreading/chapter03_self_review.json",
      "bytes": 1107,
      "sha256": "8fefed6388db2da890c76fc8964eaec40644cb55fb2436fe300b423ba4626686"
    },
    {
      "path": "evidence/proofreading/chapters04_07_self_review.json",
      "bytes": 2401,
      "sha256": "11318c1e4896f51df7671f606e93e352e7d5875183fed06fd5200382e2a56b88"
    },
    {
      "path": "evidence/proofreading/final_source_self_review.json",
      "bytes": 5529,
      "sha256": "30cf0aa289578ff3ed3af00f669d475e8e2df9523c47994c2a71f6860d0676c9"
    },
    {
      "path": "evidence/proofreading/layout_text_fixes_b.json",
      "bytes": 1864,
      "sha256": "946bb11d817fce926371003188ac08adf89fec790ad1cb47d27c1547f53e9512"
    },
    {
      "path": "historical/catalan_packet_audit.py",
      "bytes": 7953,
      "sha256": "4a59096f9c3a0222e6523e5183292678c36b68089bd0bf3103fc3da090db1a7c"
    },
    {
      "path": "historical/catalan_packet_audit_results.json",
      "bytes": 1801,
      "sha256": "cff3c696e26525197c3e043e8bd9f102e73490dc1606a052e061d92ae4ca88c3"
    },
    {
      "path": "historical/catalan_packet_audit_run.log",
      "bytes": 1802,
      "sha256": "a7fdb5ce8a73071610819ff0a03517ed1abdb043dde92f9e906e72d83d3effed"
    },
    {
      "path": "literature/acquisition_log.json",
      "bytes": 565,
      "sha256": "004706a9627462285c600baf19af2645f09af21d6a5750d51d978be76269b9fe"
    },
    {
      "path": "literature/cache_ingest_log.json",
      "bytes": 3957,
      "sha256": "a7459a0a18e3e02dffed3d94fa7a2c4258bff110234423e96b44fda6c44b7824"
    },
    {
      "path": "literature/extraction_log.json",
      "bytes": 880,
      "sha256": "7be1d6d14bf91d92a260a77c5800d4bf99f3b74fa3b34adcc7cd80a86c4b4f92"
    },
    {
      "path": "literature/private_source_exclusion.json",
      "bytes": 1500,
      "sha256": "27b7924f3710f75630729c81f43fb30973e41a25aa0b1ce5e7f9e8f724e5a493"
    },
    {
      "path": "literature/source_contracts.md",
      "bytes": 13950,
      "sha256": "925a8b0ac18e20643d551189b5b201b94101439b4e667ea72b94d6e48175d01b"
    },
    {
      "path": "literature/source_records.json",
      "bytes": 6409,
      "sha256": "a2cd7aed28635d27037dedf1c1c1b58bde80d82fe4f24100e9ce1130dcf9ad84"
    },
    {
      "path": "literature/strong_denominator_acquisition.json",
      "bytes": 542,
      "sha256": "39e5e92fbf33fc901f1f72f21703ef20f58cdb1f13a5ba5b0fa06bd7fc9e4769"
    },
    {
      "path": "merge_layout_reviews.py",
      "bytes": 2847,
      "sha256": "9320eeaaa393ef873fcd4c95006b6daff6a959937a6a76cc9bb81523c83a5b08"
    },
    {
      "path": "output/pdf/Komorebi_Catalan_Constant_Conjecture_Piece_v1.0.pdf",
      "bytes": 694832,
      "sha256": "048f4e6d45c3ba6c96a1e2b2df014ecbe99e68fa7c93aaec1fc8548516ac8966"
    },
    {
      "path": "output/pdf/Komorebi_Catalan_Constant_Visual_Guide_v1.0.pdf",
      "bytes": 742911,
      "sha256": "64429a1cbb4185a27e1620b6806373ea3706477b9efc375a99d7b37adb9ea7c6"
    },
    {
      "path": "package.py",
      "bytes": 2755,
      "sha256": "76dba91f2e14cd6082f0cb2ab1a9171d33ee34cdb332f3d3c05de60a48c9d698"
    },
    {
      "path": "paper/appendices.tex",
      "bytes": 13858,
      "sha256": "a1ade5186edb2c942f220b85e4aca5eb0bf05b91adf5df3836774d8211a38749"
    },
    {
      "path": "paper/bibliography.tex",
      "bytes": 2817,
      "sha256": "6865de4e5c278d8f2d58194f486270a1d9577393d1a8758dd84f41b2aa8e4312"
    },
    {
      "path": "paper/build_stdout.log",
      "bytes": 17884,
      "sha256": "dea3bc46054d5823ce5399015ed702029db698d0545927b20be9c7103adc7afd"
    },
    {
      "path": "paper/chapter03.tex",
      "bytes": 15709,
      "sha256": "16feae3959203782bc9a4d323612065c348aae10a802523f31a279bfc3d8591c"
    },
    {
      "path": "paper/chapters01_03.tex",
      "bytes": 34041,
      "sha256": "e3aeafeab650c62a022d53887c879d4e9f71dc8ee6b9edfa81cfb7e3b2440a81"
    },
    {
      "path": "paper/chapters04_07.tex",
      "bytes": 40260,
      "sha256": "6e00c825b7ce64a1f9286550c07624703355a471d55439ed0298343f0302062d"
    },
    {
      "path": "paper/chapters08_10.tex",
      "bytes": 38131,
      "sha256": "61ec2e2665c84d2863ed9cd63210992a96064b5b80f2a8df0cf03b969264e993"
    },
    {
      "path": "paper/main.log",
      "bytes": 53509,
      "sha256": "47af8a8f9b1998c87033db121aba9b74ead21eda82c2986bc01316a947e660a5"
    },
    {
      "path": "paper/main.tex",
      "bytes": 2236,
      "sha256": "627e91cdd82c7e767a218009532407f43feeca7d4ef37b19e6da2bb5bbb34840"
    },
    {
      "path": "paper/opening.tex",
      "bytes": 4752,
      "sha256": "ead42173c44e9eecaccd086f2fb12494e660157cb09579f00ebd11c4f91eb47e"
    },
    {
      "path": "quality_check.py",
      "bytes": 3464,
      "sha256": "a8b9a599f3a433a8e87ff6a6d9b8357ffb91c9b068b361bf580e76d0a307a254"
    },
    {
      "path": "record_release_evidence.py",
      "bytes": 1224,
      "sha256": "d765bd461e9a13593de43f4b73b1d47befa63418755ea783f998c4a880b113ed"
    },
    {
      "path": "shared/guide_preamble.tex",
      "bytes": 2715,
      "sha256": "ef89a4061fa43f6b4284994b458155fa9d12d02ebd788e5d6a9fdb3450ba0071"
    },
    {
      "path": "shared/preamble.tex",
      "bytes": 3568,
      "sha256": "1b624e164db263a4d628f652315ded6909107a6c9a950260c92e0cde7bf86526"
    },
    {
      "path": "validate_fonts.py",
      "bytes": 1347,
      "sha256": "3e52816acbb5f8f84143ba4deb6f6a5c4825f7f4318e36ca4cc8ff1e451bbb93"
    },
    {
      "path": "validate_historical.py",
      "bytes": 834,
      "sha256": "ce64126eee1d9b2df776c0c7f5e8672a41cb978839b3d8c32d7bd25060eb8fc2"
    },
    {
      "path": "validate_release.py",
      "bytes": 2900,
      "sha256": "d145aaec6dfad003a28a15f502864efffb870624d7ddf12ffb88707fffcd7de7"
    },
    {
      "path": "visual/build_stdout.log",
      "bytes": 8256,
      "sha256": "1012df64826dbc0639c129e11204cb13119dc3cb2b23b32de835421169cdc025"
    },
    {
      "path": "visual/figure_build_failures.json",
      "bytes": 631,
      "sha256": "127f4f74be1ab8ff26c21e2ae0bcb6870b423d562275ed8046132422774d4a51"
    },
    {
      "path": "visual/figure_provenance.json",
      "bytes": 12215,
      "sha256": "a906513c13037086da1f10f949482b04cbc1f2d6a0bc5c70d980df8708a3402b"
    },
    {
      "path": "visual/figures/01_constant.pdf",
      "bytes": 19656,
      "sha256": "8eb8628b7806b538668c833a8d252ff7e9892b574f1353f033aa8c208048b640"
    },
    {
      "path": "visual/figures/01_constant.png",
      "bytes": 64164,
      "sha256": "532ba81c9aec19a85e0efbb087641c56b506306e382f83c392427fabe09386dd"
    },
    {
      "path": "visual/figures/02_alternating_series.pdf",
      "bytes": 16207,
      "sha256": "757fc601adfde12109931154a5df7afe830ba0f9b08a132de98154c5ecac080e"
    },
    {
      "path": "visual/figures/02_alternating_series.png",
      "bytes": 83286,
      "sha256": "ca5f084d91508fcddc69339c126657e917bb436c734be435199788acf080eae2"
    },
    {
      "path": "visual/figures/03_log_integral.pdf",
      "bytes": 36741,
      "sha256": "bfb7131389e85987792746309a3986ea495f452d165798ddc0a354cf51253852"
    },
    {
      "path": "visual/figures/03_log_integral.png",
      "bytes": 81075,
      "sha256": "c6f24205df588e9044a8a06313c378472c371946b8827511202bda610de9ecf3"
    },
    {
      "path": "visual/figures/04_double_integral.pdf",
      "bytes": 41968,
      "sha256": "b4d8c27c7512c4a153396c3702ac03e752313c135aac4c28e48080ae62c3f229"
    },
    {
      "path": "visual/figures/04_double_integral.png",
      "bytes": 71213,
      "sha256": "ba376972e1b49177ea27a6992de9d5f74ea4a84d559ccdfce5ffee86c0119864"
    },
    {
      "path": "visual/figures/05_beta_family.pdf",
      "bytes": 20652,
      "sha256": "f8f8b13e64289cbcf09d0847f34062339851d3ade8432c302173d66a1f290f2b"
    },
    {
      "path": "visual/figures/05_beta_family.png",
      "bytes": 79805,
      "sha256": "7818c84625ff274e6279c27dc1a33ce75ac3c2d7876ecc8f416e7a7b5b47ee46"
    },
    {
      "path": "visual/figures/06_rationality_lattice.pdf",
      "bytes": 17688,
      "sha256": "b4d2d330364f5056f74f8429e91567c178960626841588210e2bbd095e6066ea"
    },
    {
      "path": "visual/figures/06_rationality_lattice.png",
      "bytes": 48238,
      "sha256": "500941ccfee2b05e37225b1c5bdc382f6da6e09b2082594b8142d9d3fb2a17cb"
    },
    {
      "path": "visual/figures/07_series_denominators.pdf",
      "bytes": 22819,
      "sha256": "8445ec952b607caac107c79959b971e1411f5fb36b83de77cc1fbccfa23d9b96"
    },
    {
      "path": "visual/figures/07_series_denominators.png",
      "bytes": 104632,
      "sha256": "4b8dfa5f7e5baa568eeff48c166e65dce7386619249364bdfa7ea546808a91e7"
    },
    {
      "path": "visual/figures/08_error_clearing.pdf",
      "bytes": 15335,
      "sha256": "256a5f9fdc6ae2b8ec2e1fdeefa0550c45baa3f8f54dd4116c3477a9a0680b74"
    },
    {
      "path": "visual/figures/08_error_clearing.png",
      "bytes": 73525,
      "sha256": "3a651c63add755970fff9cb700a9ff5e68d622a6437f649cee3d475d26518bba"
    },
    {
      "path": "visual/figures/09_recurrence_structure.pdf",
      "bytes": 15835,
      "sha256": "e88afecfbc6e7e12ac073c64dbf83d00c0ea14716c2426ecfecd02da620d8ca3"
    },
    {
      "path": "visual/figures/09_recurrence_structure.png",
      "bytes": 70698,
      "sha256": "9c74d76cc39ee04979671a12207fc67a408572656370e9e5615b51b48b555e69"
    },
    {
      "path": "visual/figures/10_initial_sequences.pdf",
      "bytes": 18398,
      "sha256": "9e32a49cc39cfdea17491b1d7cdf778c87f845c3b8412cb2fd9537012a698705"
    },
    {
      "path": "visual/figures/10_initial_sequences.png",
      "bytes": 79058,
      "sha256": "d68e3d0b6e4ef2eb371b94d84071a791205ab33be508d64a62ebc5390239a760"
    },
    {
      "path": "visual/figures/11_recurrence_growth.pdf",
      "bytes": 19117,
      "sha256": "445244fec85eb38cfc32471f35679dd2e0c770303bfa2508c3f351b0e8a5ffa3"
    },
    {
      "path": "visual/figures/11_recurrence_growth.png",
      "bytes": 70273,
      "sha256": "91c991fb794bc89df22603ec036fa7f299125717e578d83419d0af74bda847e5"
    },
    {
      "path": "visual/figures/12_approximant_error.pdf",
      "bytes": 15862,
      "sha256": "493b1d77641bea8186eb6575af5349bf18729cf778267bdf6b87404ee90a3c80"
    },
    {
      "path": "visual/figures/12_approximant_error.png",
      "bytes": 80180,
      "sha256": "42c47486e8cf37545e37b8cb24febccd08745f7174f4960e83bea249055d7346"
    },
    {
      "path": "visual/figures/13_wronskian.pdf",
      "bytes": 22076,
      "sha256": "6d962547e9b4d0d027bd7d70e98cd693c522291ee98e738a6c1eb5d1a3df396a"
    },
    {
      "path": "visual/figures/13_wronskian.png",
      "bytes": 75930,
      "sha256": "880a1bb06b04c009c64bf17b93d9ad444382b183d67034fbcb426fde8407d8dd"
    },
    {
      "path": "visual/figures/14_wronskian_identity.pdf",
      "bytes": 16050,
      "sha256": "03cdb7eb77cf04e3575d8519e113ae7018a739c7e71bc279e909f24c2bd6e828"
    },
    {
      "path": "visual/figures/14_wronskian_identity.png",
      "bytes": 60313,
      "sha256": "a9afb9eb7d03a28a117ac6787e00989f2b989e5c969f44d1b98ebd3ff019109b"
    },
    {
      "path": "visual/figures/15_scaled_coefficients.pdf",
      "bytes": 16080,
      "sha256": "38c7cd060d0b3b5f66ccd2738d62cb12383840fe0f1267f8bad036de08ccac7c"
    },
    {
      "path": "visual/figures/15_scaled_coefficients.png",
      "bytes": 56657,
      "sha256": "c1c159cc49d525eb06507813d140e6c8970fc1702d6f3ad43575ad3bebb83eb0"
    },
    {
      "path": "visual/figures/16_pascal_transform.pdf",
      "bytes": 16319,
      "sha256": "c2c01b6fe4c81673fe62b85c9be08ccfe1bafda0423b3e8fdf37c5da5dfb0de7"
    },
    {
      "path": "visual/figures/16_pascal_transform.png",
      "bytes": 42551,
      "sha256": "db2a94736fd25770e733bf05bb113646113bfbf3e3af8516069a71d87995f91e"
    },
    {
      "path": "visual/figures/17_binomial_packet.pdf",
      "bytes": 16630,
      "sha256": "762c1b6226ca481026152299e379e6caf6c45be8cfafa429ef727ac90e49120a"
    },
    {
      "path": "visual/figures/17_binomial_packet.png",
      "bytes": 50411,
      "sha256": "dda40b0b551e99e9d87eff5d04bac2d12203be9190c182917aa4903a43a25207"
    },
    {
      "path": "visual/figures/18_modular_exactness.pdf",
      "bytes": 18206,
      "sha256": "160b60da7a1e51bbbbccff6086aa867babb27c4481121377b5795e5749d610f2"
    },
    {
      "path": "visual/figures/18_modular_exactness.png",
      "bytes": 92617,
      "sha256": "10fa1d5374b5146c21dd663f1dc2bcb1132589260dc7bab0efb9f402eac385ca"
    },
    {
      "path": "visual/figures/19_v2_heatmap.pdf",
      "bytes": 34818,
      "sha256": "3ee4d1f90364e37d91e2ddd3fcbba87230bd993a2cbe15ce46a5f2d649318623"
    },
    {
      "path": "visual/figures/19_v2_heatmap.png",
      "bytes": 112619,
      "sha256": "b334d975e11715d4dbabba922ecec0f6a967d4c66cb6cdce408ccd830ef8a770"
    },
    {
      "path": "visual/figures/20_prefix_maxima.pdf",
      "bytes": 12015,
      "sha256": "84f7b73fb94694eb93d5bb514c795f5a94ada55bb23e8a4cd42e49a539a884de"
    },
    {
      "path": "visual/figures/20_prefix_maxima.png",
      "bytes": 70223,
      "sha256": "0a640e5ce5c09464d8660e1ba7b94fbdedf6d328614d5b54a911a9e1196a2c43"
    },
    {
      "path": "visual/figures/21_scan_domain.pdf",
      "bytes": 14799,
      "sha256": "0d70a9e877a7d5c123135a647d39f7198679d41d1c720a80bd84a55bd57f5b68"
    },
    {
      "path": "visual/figures/21_scan_domain.png",
      "bytes": 84384,
      "sha256": "3715e947bef48c3873cd4280b9cdbd20029eeb84a2a6e5c7c47daebf279fbe20"
    },
    {
      "path": "visual/figures/22_lcm_growth.pdf",
      "bytes": 21339,
      "sha256": "54b9d8699d0e8d98d8ecf1da898b454876736af0be520605a60d83ffc3111f41"
    },
    {
      "path": "visual/figures/22_lcm_growth.png",
      "bytes": 79637,
      "sha256": "16fdd0bd8aef9b46547fdf6347014962ca5a471ff03fdef66f80288275c8122c"
    },
    {
      "path": "visual/figures/23_gcd_rate.pdf",
      "bytes": 24137,
      "sha256": "5b58a359949d5aa21479c9c548b63446bc81f509397427e6d1237e65f5b6e52c"
    },
    {
      "path": "visual/figures/23_gcd_rate.png",
      "bytes": 119024,
      "sha256": "c66e514298dfb8d4b00f75bf83085f578bd618bdef5525e1d7abfe01f5c708fe"
    },
    {
      "path": "visual/figures/24_gcd_decomposition.pdf",
      "bytes": 17596,
      "sha256": "b0f5b01f120d013b48f8ef760eeb247503860974c10559847e67b149472ba1c8"
    },
    {
      "path": "visual/figures/24_gcd_decomposition.png",
      "bytes": 103916,
      "sha256": "50946767f4511049e9174f4809d1af3c6a0ce250c6908e8d5572cc18ae980e23"
    },
    {
      "path": "visual/figures/25_threshold_plane.pdf",
      "bytes": 23286,
      "sha256": "924002b37a4bfe1f51cc7b4e26591c2c8b3f8be1ee1ca13398f5ec75e4dd8415"
    },
    {
      "path": "visual/figures/25_threshold_plane.png",
      "bytes": 96502,
      "sha256": "f6f12c7694da4d5ab4075b354f3d53bc5622129dc9f9dacc00f0e35dec8eee11"
    },
    {
      "path": "visual/figures/26_finite_countermodels.pdf",
      "bytes": 20808,
      "sha256": "37d84167e42457c2a44dcbbfddd05cce91d47f068a0ff4c7f35217c283556a43"
    },
    {
      "path": "visual/figures/26_finite_countermodels.png",
      "bytes": 120106,
      "sha256": "ff7137443bd9c43201a879a60dd6a77d92b1a187cae23b77d2c25efe6222f367"
    },
    {
      "path": "visual/figures/27_filter_signs.pdf",
      "bytes": 18882,
      "sha256": "67cdc5db8d21777900f4f93069f35288aa9a1a3aeee18e877f175f02666ce0d9"
    },
    {
      "path": "visual/figures/27_filter_signs.png",
      "bytes": 79035,
      "sha256": "eaad61a7b9bc8901fb1b4652a2dfee0ea5396919b851e99068f52692f46435e2"
    },
    {
      "path": "visual/figures/28_conditional_route.pdf",
      "bytes": 12854,
      "sha256": "1a392cdd00c7144d2773ade52180b5916e86e9ab39600b2c4b997b754098a3b3"
    },
    {
      "path": "visual/figures/28_conditional_route.png",
      "bytes": 91094,
      "sha256": "5258ffcd2b45375088d482d2797090e914d758ecf1c6eb6b048b51adf81af9bc"
    },
    {
      "path": "visual/figures/29_evidence_boundaries.pdf",
      "bytes": 12199,
      "sha256": "11098e1e350cd3680269bafa00475a5a5d4845a117968eede695c9c1e55adf05"
    },
    {
      "path": "visual/figures/29_evidence_boundaries.png",
      "bytes": 110343,
      "sha256": "fbdba9720f6a90397d50139ee577cb88fef67abfad24b576b65d8dc172860a46"
    },
    {
      "path": "visual/figures/30_integral_filter.pdf",
      "bytes": 36254,
      "sha256": "c4903f7868f8532b9527eed4b4b7b9f0c22739fc07976f944dcec49ea25a8faa"
    },
    {
      "path": "visual/figures/30_integral_filter.png",
      "bytes": 121410,
      "sha256": "b8b4751944163ec16e2a6f43f483eb730e551cea0e2b50b143faa8af9a21ca65"
    },
    {
      "path": "visual/figures/31_source_rate.pdf",
      "bytes": 25561,
      "sha256": "fadce555a20aa180275fb6b294ee366ea62a522d1e80ab98dbae50a638f79e48"
    },
    {
      "path": "visual/figures/31_source_rate.png",
      "bytes": 135550,
      "sha256": "26728a3913602beaea87e89f969a26e7f18e82561098f7957deb631728d9dc94"
    },
    {
      "path": "visual/figures.py",
      "bytes": 28553,
      "sha256": "c9ed0b0bbfeca5eb2953ea5a5e11e96929ebf730a0f7771b87033451aaf652db"
    },
    {
      "path": "visual/main.log",
      "bytes": 37888,
      "sha256": "635f6466d7cdda6f32caa35627be75cd60b51fdd81e46f9464264e4a081fcf50"
    },
    {
      "path": "visual/main.tex",
      "bytes": 20184,
      "sha256": "bfbed77c5b0bbb516e0d95c2d1b3d3f497006a9a6928af8feeac68a6b02a7f5a"
    }
  ],
  "build": "python3 build.py --figures",
  "historical_sources": "historical/ preserves the three recovered audit files byte for byte. Current evidence reports govern claim scope."
}