Hironaka dump provenance

Each attached .txt file reproduces the bytes of one source file. The original path and SHA-256 are recorded below.

frontier-dump--ai-usage.md.txt  <-  frontier-dump/ai-usage.md  SHA-256 b9e1c2580588526da027697bb5e1dd9956bd72c8b266a46764ab889cc068c6ba
frontier-dump--math-audit.md.txt  <-  frontier-dump/math-audit.md  SHA-256 4f67f37efe5f03aea91c8a7495f78057f3a92f84828008e3c867194c6bc8b3fe
frontier-dump--report.md.txt  <-  frontier-dump/report.md  SHA-256 a8832ba8f825316e44aaa432dbb0a426e907b95d1f33489572958e104961d1e7
frontier-dump--search_constant_ridge.out.txt  <-  frontier-dump/search_constant_ridge.out  SHA-256 4c1141f2df0d92eb1215aba20d8da6c5a030847c165538bed90f40a8ad280f62
frontier-dump--search_constant_ridge.py.txt  <-  frontier-dump/search_constant_ridge.py  SHA-256 2582449294967936c22048936a9ba41a7e4fe16db539573aff0c1c40b666be63
frontier-dump--search_constant_ridge2.out.txt  <-  frontier-dump/search_constant_ridge2.out  SHA-256 51aa0e5777ce5c5f089afd27044edd11a00e2747c68c69b4fb7b7d4ae6b6a209
frontier-dump--search_constant_ridge2.py.txt  <-  frontier-dump/search_constant_ridge2.py  SHA-256 63eee0bc5d0c6036550c97fe723d8ff9421d0db72cbd5b0f28d4bbc5a435be5a
frontier-dump--tokens.md.txt  <-  frontier-dump/tokens.md  SHA-256 e3298af136b2ee7d9f7edc13b46c91f12adb1e6574ef4c6f09db585951bc1bff
frontier-dump--verify-output.txt.txt  <-  frontier-dump/verify-output.txt  SHA-256 334fe975c8b4631e7a6f5db63fb34c85750b998fe32e37aeaf8cdab1ebdf252d
frontier-dump--verify.sage.txt  <-  frontier-dump/verify.sage  SHA-256 278bf32a69633eebdda741a2e1f48b1da78186482bb3fc3614a1cfd0f769082c
harvest-checks--followup_all_p.out.txt  <-  harvest-checks/followup_all_p.out  SHA-256 d0a0754dd5435ce8c8bad2d00e99d1be0846c613fafb99d104a556c98ff162db
harvest-checks--followup_all_p.sage.txt  <-  harvest-checks/followup_all_p.sage  SHA-256 0aba77425368a22432818ab1a29c2744c4d172946f48c1a6d4a10d0301a7e2ec
harvest-checks--integral_closure_check.out.txt  <-  harvest-checks/integral_closure_check.out  SHA-256 76adc2f3ebc3b158aba859dbc4d9a5914b89704f696c385ed5271d5c4342cfc4
harvest-checks--integral_closure_check.sage.txt  <-  harvest-checks/integral_closure_check.sage  SHA-256 fa8d260055bd578925715b8a94bde101a6d9069ed855e8f537af73878f293ec5
harvest-checks--kangaroo_narasimhan_check.out.txt  <-  harvest-checks/kangaroo_narasimhan_check.out  SHA-256 c19dae15f3c5c39cc8d22b30cacbd22908926884e7b8aad0353748c46b45e535
harvest-checks--kangaroo_narasimhan_check.sage.txt  <-  harvest-checks/kangaroo_narasimhan_check.sage  SHA-256 d599de805642426698460ad684128dead1822e3b9afeb825b7806bf399ba74fa