{
  "generated_at_utc": "2026-10-09T02:49:11.155534+00:00",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "files": [
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v1/crossing-interval-input.json",
      "bytes": 252,
      "sha256": "406c4501dfcff775ed34c1155fb810a1f84aa2790190a333cd565641f8ae6dd7"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v1/crossing-interval-report.json",
      "bytes": 1061,
      "sha256": "a31d70ea0b746d9fade647489c579b128770fda4868caab254cb02d905f08c1f"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v1/failed-run.json",
      "bytes": 395,
      "sha256": "39db19701ac5104994656506ce7e1e96d1efe36c124fb32d35fa1ac1f609df01"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v1/validator-at-failed-run.py.txt",
      "bytes": 10449,
      "sha256": "162f6085bb7e2d47d9bab7bfd7050dafc02d9dc6e37512288e9077f23200a970"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/above-n300-seed22901.json",
      "bytes": 27387,
      "sha256": "784b5f6a9f547650787bf1a5f95d488c51a692ba260392e167858cdb50e765c5"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/above-n300-seed22902.json",
      "bytes": 26885,
      "sha256": "bee9ca2900fbe5fe3c74f9e4f4c05137e2818f9d3c56478a69c711de982c9fd4"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/above-n300-seed22903.json",
      "bytes": 28073,
      "sha256": "4cd5a00a229a8302f8bae076b9efaeda5ac78afdf86a3de0f2b23b44d71c532a"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/above-n90-seed22901.json",
      "bytes": 8804,
      "sha256": "161271497fb743f5e6b4c36df0037db49daf80f64907a72a36a0e09ffe1ce56e"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/above-n90-seed22902.json",
      "bytes": 9291,
      "sha256": "7f0fe612e97f82ab07300bc5d360543c6c81ade9f49ba5c401db7021160948e7"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/above-n90-seed22903.json",
      "bytes": 9207,
      "sha256": "b2daf94f9fd5a6c251282fc530aaae0138b54ba4499947c839735bfe6dcbccf6"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/above-n900-seed22901.json",
      "bytes": 85152,
      "sha256": "cedb0062a2a2545b34532ff9c011796ac57ed46dba95258b76419354e061137e"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/above-n900-seed22902.json",
      "bytes": 82025,
      "sha256": "58c00dcf596269402d59896f6b413ca2a5dd4286d1bec14accea0fbffe9e5ffb"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/above-n900-seed22903.json",
      "bytes": 81681,
      "sha256": "93e9a52a70d7e40eb36d36c8184dc6c46af89ac10ba1aebea72396365d4cf3e6"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/archived-source/community_recovery_audit.py",
      "bytes": 9652,
      "sha256": "9225d5519fbc5acc6328d8c0bfd9756d554e83eedbbba54f3a0ea731c85310cd"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/archived-source/compare_community_spectral_2026_10_09.py",
      "bytes": 6489,
      "sha256": "23249e06f7b0fc3a9464e7f3a4dc826c12479f55ae62f6c8452a5e8d6ec2c18c"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/archived-source/plot_community_recovery_2026_10_09.py",
      "bytes": 3033,
      "sha256": "f8a1c3229e13e27e92faac7d597c198fd8da9b6f7fd849d4ff348a268e722115"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/archived-source/publish_community_recovery_2026_10_09.py",
      "bytes": 27468,
      "sha256": "92a682134795d324ba04c3e0d338fc9473454e8ec679d4219e86576d2baaa0d6"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/archived-source/validate_community_recovery_2026_10_09.py",
      "bytes": 10413,
      "sha256": "273f0b32bd6ce0b2a092811621e24520c962e4e8f9b323f697f74395e5fe8136"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/below-n300-seed22901.json",
      "bytes": 22486,
      "sha256": "47a42e8d00c182268a7574a13e77375880df7668bdb374fba281e75c28b37462"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/below-n300-seed22902.json",
      "bytes": 21787,
      "sha256": "80f0d6f6d04479093808505aee482df39497045d8598a30f9def2c8d1c52edee"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/below-n300-seed22903.json",
      "bytes": 22873,
      "sha256": "36de01bea13f20988ed6255b6d2db3a380e9f3acdb42e3d92abbdb098990c8c7"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/below-n90-seed22901.json",
      "bytes": 7526,
      "sha256": "59a6f0adcf72cbe4f958ff9eb3dbd0fb18046c7dc43ef3beee4c9885a7f6fe69"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/below-n90-seed22902.json",
      "bytes": 7828,
      "sha256": "b28715a1dac2c03393123311a2a97f7c9703e6d6f28a339364ad99f0a458ca26"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/below-n90-seed22903.json",
      "bytes": 7842,
      "sha256": "f55b8b21c974bed667e73a0e02746af4f509bee4c505650cf8915aa73e558590"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/below-n900-seed22901.json",
      "bytes": 69553,
      "sha256": "caa42bdedcce3e0062cc3598540eac4884c044f635ed2a59f0603bac149f3fef"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/below-n900-seed22902.json",
      "bytes": 66652,
      "sha256": "9ad8da97055cf8562c318ee696fd6e99f6d8014630f7fa6903248daadde4334c"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/below-n900-seed22903.json",
      "bytes": 67803,
      "sha256": "225a5c613bb2e37532bb9c2a3b0cdacb29a53e3902d36034d00354d8fe3e6aab"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/cli-report.json",
      "bytes": 1290,
      "sha256": "9f6bc6abda1c41d140b8d600ff70bbd163a551a5e0bea6b3c79e7ff16aedbf72"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/comparisons.json",
      "bytes": 147619,
      "sha256": "be770aed4514f84b4fbc6eb6d2d8c5469810da35bd2ec1a29406d3ed9f26e31e"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/crossing-interval-input.json",
      "bytes": 252,
      "sha256": "406c4501dfcff775ed34c1155fb810a1f84aa2790190a333cd565641f8ae6dd7"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/crossing-interval-report.json",
      "bytes": 1061,
      "sha256": "a31d70ea0b746d9fade647489c579b128770fda4868caab254cb02d905f08c1f"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/equality-n300-seed22901.json",
      "bytes": 24293,
      "sha256": "05cdf37ffeecc40128a331ade7d383af912e0434983ba2e38418002214333f90"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/equality-n300-seed22902.json",
      "bytes": 23921,
      "sha256": "b8e20b58fa1978856ff240524bc6acf1daab2124c8a94717b19953685da05a97"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/equality-n300-seed22903.json",
      "bytes": 24536,
      "sha256": "644ef4dfd4b0eb52b87fe2fcfdb0b191321e6b8cfec68db6dba210280f0d652b"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/equality-n90-seed22901.json",
      "bytes": 7907,
      "sha256": "fba748ec570c1fb37f83e9d5555863a559a2d6429703a35d52bccad45729ace5"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/equality-n90-seed22902.json",
      "bytes": 8242,
      "sha256": "aa7be969807569e4d6c8bb762ff3551bfd91c6bb2e85cdc6f3f488214c900731"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/equality-n90-seed22903.json",
      "bytes": 8351,
      "sha256": "acb906ed8d214df03ea931e78901eb6cdb4c675e31cec16459a2457edcaed30d"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/equality-n900-seed22901.json",
      "bytes": 74724,
      "sha256": "0bb966e2f459839a6fa66ff5488621976739c3533a352893023f7bbf54ee0e7c"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/equality-n900-seed22902.json",
      "bytes": 71720,
      "sha256": "c03e055a538e1929ed3b7eaa66d42e2efa66f53f208490fa2f7520074e2397e2"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/equality-n900-seed22903.json",
      "bytes": 72327,
      "sha256": "548840bda31c633bf74de213735f8f229306770d5cda1907c79def9b7b62b495"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/exact-finite-label-baselines.json",
      "bytes": 1213,
      "sha256": "4ae92e2bb1df0ae94b64f561d98f9d204e75a0a584fd48fdbe5202923d4e4759"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_above-n300-seed22901.json",
      "bytes": 65001,
      "sha256": "6e1cdd8c1bcf048b5ce7414faaf8fcac7b9ecc8d93c356d702fce780d32bc7c0"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_above-n300-seed22902.json",
      "bytes": 66584,
      "sha256": "a5f3e857b75b76f62cacbbcf79915cb1d713e5b35a5cfa4895c7739c5e6d666e"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_above-n300-seed22903.json",
      "bytes": 65362,
      "sha256": "c1976409d8f9d2c7bd3aea028234a0d9d47aad82059ce77011a5f1ccc0250546"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_above-n90-seed22901.json",
      "bytes": 18066,
      "sha256": "75435bf59cb178fca2349fcc32f0f22c0097000edac505e15b05f1a150394e60"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_above-n90-seed22902.json",
      "bytes": 19495,
      "sha256": "8c4276917c8a455480eb1eced5af249134316b549146178831c0abcbf1a5a500"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_above-n90-seed22903.json",
      "bytes": 18528,
      "sha256": "77e91fdcab52c78836b39b549e56ac573e3da5ac8af1fa38e94db419cd926ff5"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_above-n900-seed22901.json",
      "bytes": 192782,
      "sha256": "6a0e106aaf2991b8cda8f40005bde81ca00877145cb9c244413ef3a652b3e4d5"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_above-n900-seed22902.json",
      "bytes": 195470,
      "sha256": "5d1a5b64f02a018b72733f1662fefbca698b319dab6b086c979a9d036db434b7"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_above-n900-seed22903.json",
      "bytes": 193371,
      "sha256": "62bd315410bd6a6cd4713ce4599ce86b47a6de2b8f58fd28761f4f1a0a99533e"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_equality-n300-seed22901.json",
      "bytes": 50100,
      "sha256": "1785043464bcd9c83d6ff663865f2c742dbb0c7725d3ebe963c09e7ccdfc5c9f"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_equality-n300-seed22902.json",
      "bytes": 49771,
      "sha256": "ac89ecd24f3bbfbc47b1033c3fd7aad0761da6ba44280a5f858c6b49a317b4a4"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_equality-n300-seed22903.json",
      "bytes": 50921,
      "sha256": "394f74c6a334d2568fa38b8b4907b928bbd4ae9841345165cf9ae5375b424d52"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_equality-n90-seed22901.json",
      "bytes": 14803,
      "sha256": "ac283010cab565b1340b676b64df359fadf2cc8ed2f9eab9e98b2e71cec19147"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_equality-n90-seed22902.json",
      "bytes": 14737,
      "sha256": "530b7ae76914a3e5b09480850b62a39982ebb536a95f509c66335dfa5c781db9"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_equality-n90-seed22903.json",
      "bytes": 14368,
      "sha256": "801f20619dc8221c9fd11924ee7ed7e8eba7db318946ead5d5ec728085a4314a"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_equality-n900-seed22901.json",
      "bytes": 144417,
      "sha256": "210284cafaaa81f372fca4903aa4580f1ec7081f2e89314c75ca4c4d6d2cdaab"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_equality-n900-seed22902.json",
      "bytes": 148264,
      "sha256": "69b75210294d5bfcc9ca3b3ec8d5fa127cd7957cddf69ec28ca5b0f39eb3fa17"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/negative_equality-n900-seed22903.json",
      "bytes": 147912,
      "sha256": "730dba32831d174fa8f773def96242888d24ecec77d1ce66e6daa5962f562070"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/report.md",
      "bytes": 12947,
      "sha256": "d6ca047a11292d6898020a2edf88f1ccd58798ba746426a9ede91fd915b4a584"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/strong_assortative-n300-seed22901.json",
      "bytes": 44703,
      "sha256": "31994b4a960cc2e6b934cc90e02b7e4da5ad498665480c86a2cd71505a3d6fd5"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/strong_assortative-n300-seed22902.json",
      "bytes": 43306,
      "sha256": "076ee4314fbfc69d7026b1b4a9664277e5055a5901a0c974af04ad7b567f99c7"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/strong_assortative-n300-seed22903.json",
      "bytes": 46246,
      "sha256": "cc730829c06d0b005d46a2664a3821da123c7f2edb190bbafaf13d9ae142e496"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/strong_assortative-n90-seed22901.json",
      "bytes": 13287,
      "sha256": "e6d52414286e294964fc7156c97f4f495433ea28bf93609f759dfd4e2e7c3e5f"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/strong_assortative-n90-seed22902.json",
      "bytes": 13767,
      "sha256": "48f5d3aa84f1ba084507ddebc530b6dd48bf66f671c26c915a2e969c6dcc9912"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/strong_assortative-n90-seed22903.json",
      "bytes": 14073,
      "sha256": "695db2f785a8e1e075bfe5ce408fd27a3dc1df9cfc85ba0b04e74cb0d676211f"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/strong_assortative-n900-seed22901.json",
      "bytes": 134414,
      "sha256": "1aa361fc1ebf6a07514eb74053c86222b9d66eda7a359c9b8322b58ceee5665b"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/strong_assortative-n900-seed22902.json",
      "bytes": 132151,
      "sha256": "9513baa2b78abb786a09aa29b2ab39a561f3f4321a10216ab5f232bc5423a28d"
    },
    {
      "path": "research/prototypes/community-recovery-2026-10-09-v2/strong_assortative-n900-seed22903.json",
      "bytes": 133068,
      "sha256": "076686d5dcdc4caec8bb3680b45aa646c9d1832ea73750911ab0c3195424eacd"
    },
    {
      "path": "research/prototypes/community-recovery-spectral-2026-10-09-v1/comparison.json",
      "bytes": 540078,
      "sha256": "65f9a14cf47c291757e482b3dfa02b69c3f949ba7e1727c319441259522e93e9"
    },
    {
      "path": "research/prototypes/community-recovery-spectral-2026-10-09-v1/finite-recovery-comparison-v2.png",
      "bytes": 152394,
      "sha256": "fcc32d9bb492668d1cbcecddaf7c2aff60ec9e72c7c7f0756232e96ff1cd1f4a"
    },
    {
      "path": "research/prototypes/community-recovery-spectral-2026-10-09-v1/finite-recovery-comparison-v2.svg",
      "bytes": 121213,
      "sha256": "2b1190177919fc4ba7b515a3c1d4d57a01ea2adc71e6cdf09c9e0bf2628cc3f0"
    },
    {
      "path": "research/prototypes/community-recovery-spectral-2026-10-09-v1/finite-recovery-comparison.png",
      "bytes": 140819,
      "sha256": "e63425aafba87e3f12dd4074e941d159b58e555dbf8241158959ceb1d3942839"
    },
    {
      "path": "research/prototypes/community-recovery-spectral-2026-10-09-v1/finite-recovery-comparison.svg",
      "bytes": 136627,
      "sha256": "317e80f8f8171834aa4dccf2ece94b3ec5e73f36d9083218de68a7529e7ba838"
    },
    {
      "path": "research/prototypes/community-recovery-spectral-2026-10-09-v1/plot-at-first-render.py.txt",
      "bytes": 3006,
      "sha256": "fa67b35f0aa22c445fa7065aab34d6b68d6887edea3045ad343fdae454dfa705"
    }
  ],
  "source_files": [
    {
      "path": "preprints/The-exact-reconstruction-threshold-for-the-three-state-symmetric-channel-September-25-2026/paper.pdf",
      "bytes": 533465,
      "sha256": "e87d0854f29320d5b8ddd3015f3f89964e32231eec54a609aa1a9567d582f71a",
      "extent": "60-page PDF; visually inspected pages 4,5,34. Complete introduction/conclusion read from matching tracked TeX.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "preprints/The-exact-reconstruction-threshold-for-the-three-state-symmetric-channel-September-25-2026/build/sections/01-introduction.tex",
      "bytes": 11969,
      "sha256": "a16263f9411f12ee15138954194a86d8577b5f078608570bc5ad464249a6156a",
      "extent": "Complete introduction: channel, tree law, both threshold directions, proof strategy and precise three-community graph model/corollary.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "preprints/The-exact-reconstruction-threshold-for-the-three-state-symmetric-channel-September-25-2026/build/sections/07-conclusion.tex",
      "bytes": 4686,
      "sha256": "3dc6ed24c788e85aa61f2f7206104bc54f9885845b8e23958b11d3a39a23039d",
      "extent": "Complete completion and graph-transfer section, including strict positivity endpoints and averaged-to-fixed-tree argument.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "preprints/The-exact-reconstruction-threshold-for-the-three-state-symmetric-channel-September-25-2026/verification/README.md",
      "bytes": 1222,
      "sha256": "b869abf2dae5d6feb80d8a390ed4698e1981393a68d58cd1c78b9316702bd78f",
      "extent": "Complete replay requirements, 37-record runner and additional three interval sanitizer runs.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "preprints/The-exact-reconstruction-threshold-for-the-three-state-symmetric-channel-September-25-2026/verification/reproduce.py",
      "bytes": 13998,
      "sha256": "e887c3b077b03c9cdd78ac0ae9a3e54336cbf7b8c2bc2659ec472b320f11ed9a",
      "extent": "Lines 1-160 only: source hashes, required output checks and beginning of replay subprocess management. Not executed.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "lean/docs/229.md",
      "bytes": 1429,
      "sha256": "58030cb8b8a8b994f80e24a9d3f34788081ef8a1bcc90d7bb777ade0ba25d5bb",
      "extent": "Complete scope note; above-threshold three-state statements only.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "lean/ComparatorChallenges/ThreeStateSupercritical.lean",
      "bytes": 3580,
      "sha256": "ba58eb22214f0b654fd1d5b4ca26b69b395c61409084e63c486f593c7e5330f8",
      "extent": "Complete challenge interface and definitions; no proof/kernel execution.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "lean/ComparatorChallenges/ThreeStateTreeClauses.lean",
      "bytes": 3794,
      "sha256": "70eabccad9babe51e425cbdceef6be93c00b12771ea6eb6102296c15a64353f5",
      "extent": "Complete challenge interface and definitions; no proof/kernel execution.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "preprints/The-Reconstruction-Threshold-for-the-Ferromagnetic-Four-State-Potts-Model-October-5-2026/four-state-potts.pdf",
      "bytes": 514729,
      "sha256": "a8e3ff75c819ee3419e05b7eeca3ac5d69e46baa02fe77745f93e4c9a55adb01",
      "extent": "22-page PDF; visually inspected page 2.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "preprints/The-Reconstruction-Threshold-for-the-Ferromagnetic-Four-State-Potts-Model-October-5-2026/build/sections/01-introduction.tex",
      "bytes": 7571,
      "sha256": "abc566020e54b794078ed8aa30b4db577a5978d1ad736de17d523e2f23c70395",
      "extent": "Complete 149-line introduction: ferromagnetic restriction, regular/Poisson scope and posterior-law proof mechanism.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "preprints/The-Reconstruction-Threshold-for-the-Ferromagnetic-Four-State-Potts-Model-October-5-2026/verification/checks/README.txt",
      "bytes": 1229,
      "sha256": "99fa7ac0acaf7d07f4ccf1d5169d670d06f4683004d847fce52a5a8ba05b86e6",
      "extent": "Complete verifier instructions; lightweight receipt does not repeat full C++ traversals. No verifier run here.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "preprints/A-Capacity-Criterion-for-Four-State-Potts-Reconstruction-on-Trees-October-5-2026/four-state-capacity.pdf",
      "bytes": 345473,
      "sha256": "6c725aee122ce7659ea4b30bbb9805e23b41666eb9922d6bc8778635f566de34",
      "extent": "11-page PDF; visually inspected pages 1-2.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    },
    {
      "path": "preprints/A-Capacity-Criterion-for-Four-State-Potts-Reconstruction-on-Trees-October-5-2026/build/main.tex",
      "bytes": 29229,
      "sha256": "0e73632ec22fb64a26e0d0cda579d7b670bf3a75379b1b2747e0a919a6ad2ffd",
      "extent": "Lines 1-340: bounded-degree deterministic tree model, capacity definition, theorem, companion moment-saving input and beginning of flow recursion. Remaining proof not reviewed.",
      "note": "Selected reading; source native certificates and Lean/kernel checks were not executed."
    }
  ],
  "scope": "Selected source reading, declared-model checks and conventional finite benchmarks. Includes preserved failed expectation and first figure layout. All archived scripts are inert."
}