eda91e50dcf582e8f960df482858474c76a10066348cf4eab01cffdb7e3c3af4  MANIFEST.json
e1ae5cd1aa42844899868a255587bc59bf6479a7a2f543041b7b93a408dc9cb7  LICENSES.md
a97c5db24282bedb79430a2e3eeb86f85046e2b83a3848db522eeae32d73b3e9  README.md
bee9d680ac5e243333a8be7bf7149795bca126c36973179dd924cdc3a5e863e7  data/oeis/public_result_inventory.csv
011bc35019f23fc0eb5083708f58c65f7ad2ca6533f36dff6bf0ef5dc61c2626  data/oeis/theorem_mapping_join.csv
82120d24f2b7dff69e06bc2de17998bc311305e82d930c2389aaa7686c64d577  data/sources/registry_observations.csv
85766b316bea61cf23d73ad2898c401e5a23167686a9318eda10547a40c953d3  data/sources/source_capture_receipts.csv
cf21aa7a895e8f2343b5c5e8f92b6afd118f222f72a42ed28aba8e22d8a5d6cd  data/sources/source_register.csv
9c4e3bd303d388daad50bedd79e8790a776a7aab76ec4b46e201900d83cdbdfb  data/working/ai_math_events.csv
998705c47d3ef6bcbd40a73faaa87ac5895dff76d30539b417def1c26b9fff53  data/working/erdos_artifacts.csv
a7bc7d4f000008968a36d305426b31c12b47f968e585302b4df2c74c0f29d74f  data/working/erdos_row_audit.csv
e4c59d184729c10ffa92e7bc97058d7cdd2cddf51304e7e5028dbd216b2c2878  data/working/metric_definitions.csv
7e6a77533344ff4974d090f4c039743a0722d04bb73d21a3edbc3f2b9b82a509  data/working/metrics_summary.json
ea666c33e4a311299a9b903c0ac696c075cad4645a4f9705a21d900044f24925  data/working/problem_universes.csv
fc15021cb92a1e68412914da49689d4b71d630bf5f1ee6c3d15f623c9b016102  figures/do-not-repair-the-photograph.svg
dcceecce1159ea9f396ca090ff4ddbca87949ce882af60e13b0ec55865fd6212  figures/nine-became-eight.svg
fb927790e31df23341e5500bfb3ac1bd872403a98914a7f8728a078bbc2774c6  method/classification-rubric.md
b9f7a6fa10e812717122c209b90187f162d0b361dde4278d93b5438a7d1a1f9e  method/falsification-and-kill-conditions.md
668025d5f88b042af68815dfb1f97e3a1d3d4ef6fcbf4e4c0b5950e75c73778a  method/method-and-baseline.md
50a31b55d68e1b22723c745f80daa6e1daf36c25abc54a1879e95221b3573744  reports/baseline-audit.md
864830d9eaf1600f938fbe0e06416243782cfbf7cbf45d48fe989440575af28e  reports/erdos-rows/12-i.md
b48519eeb5cf124caa2324ea0eae0809aa16f01ab45709f84d38bb378715a427  reports/erdos-rows/12-ii.md
c5be78f2a2784060f3ee79739fbcaaaa77269569b3f876a85037cd9fb89216cc  reports/erdos-rows/125-lower-density.md
af27c41d50993c7b8499770df17b91d7e1de588c59a354a7bfcfe56f74cf760a  reports/erdos-rows/138-difference.md
9c46bb213d28b736c135bd0301b860b4e6c72d6251c619416732268969e3ceca  reports/erdos-rows/152.md
509c60886cc4c6f039888474ca99afb92130f45b4a6bec5847b4c382336d6535  reports/erdos-rows/26-weak-density.md
7b61bf441a182deeb01e10a323e12c42fb435ba7ba980fc24b96c07b5d55e4a7  reports/erdos-rows/741-i-upper-density.md
8ee0861d5049a1eb4e397f9a31565c40ad85091aa8b72601bd34fa791a08dba8  reports/erdos-rows/741-ii.md
e6f5f1d06026467008015a10ad89212165f6b43cddeaeaf435e370c2cf96a6e4  reports/erdos-rows/846.md
d51521f27afd849752997768d32ee2563aa64348b59f1c055d48dac86914bc6c  reports/limitations.md
6681fd8cab328f0b5e2acc191e347b61ff94961b415d0bd610aaeae0f389fc3a  reports/oeis-reconciliation.md
de586dc1ba16090d8fdd633c94dc5e467ad17b10ca401edf38597da1e8946dee  reports/strongest-counterargument.md
eae69e162bdf1b5d7bdf3b00f2cfd0f8bc6aaab6c4c801bc6ded3829355185e5  scripts/verify_public_bundle.py
8ef68f90b12d702d488235fbd42afef7305f2659fb07208990613b3366660937  tests/test_public_bundle.py
7451b476032e3d0ac96698a4624dc353a2e76bffd7344c78aeeebc2ac84a5d6b  tracker/PFT-2026-07-20/inputs/ai_math_events.csv
fc4a12c85857255a20676f79a92975edbf6ded335d3a5856a91305c236463f69  tracker/PFT-2026-07-20/inputs/alphaproof_nexus_erdos_artifacts.csv
bee9d680ac5e243333a8be7bf7149795bca126c36973179dd924cdc3a5e863e7  tracker/PFT-2026-07-20/inputs/alphaproof_nexus_oeis_inventory.csv
ea666c33e4a311299a9b903c0ac696c075cad4645a4f9705a21d900044f24925  tracker/PFT-2026-07-20/inputs/problem_universes.csv
82120d24f2b7dff69e06bc2de17998bc311305e82d930c2389aaa7686c64d577  tracker/PFT-2026-07-20/inputs/registry_observations.csv
967e040e7cc5d0578f7a30f3f6ba5a3578473af22d2c959f7fb656bfe325ef08  tracker/PFT-2026-07-20/inputs/source_capture_receipts.csv
2c64e59b5062e3f3111035503188dac158401aff5791d627039d1a04db07a89a  tracker/PFT-2026-07-20/snapshot-index.csv
25b3e006bf9535e84ea4d3e97c037160506aa88bb124d1903f30007fda1cb0f9  tracker/PFT-2026-07-20/snapshot.json
