From cd4ae757d910446ed570ded44f6b3fcd3a83e0a6 Mon Sep 17 00:00:00 2001 From: allaun Date: Fri, 31 Jul 2026 15:26:56 -0500 Subject: [PATCH] docs(p28): pin release checksums; mark branch state as superseded by the shipped package Records the toolchain, replay result and SHA-256 of every file in the branch's hardened 2.8 state, and points at the artifact actually submitted (ramanujan-challenge-completed-submissions@1cbb598, packages/problem_2_8) so this branch cannot be mistaken for it. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01GkHGb6KVF4adMScHNZEBM4 --- .../submission/RELEASE_SHA256.txt | 33 +++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 experiments/ramanujan_28/submission/RELEASE_SHA256.txt diff --git a/experiments/ramanujan_28/submission/RELEASE_SHA256.txt b/experiments/ramanujan_28/submission/RELEASE_SHA256.txt new file mode 100644 index 0000000..d3ef5b6 --- /dev/null +++ b/experiments/ramanujan_28/submission/RELEASE_SHA256.txt @@ -0,0 +1,33 @@ +Ramanujan Machine Challenge — Problem 2.8 +Hardened branch state (supersedes the 2026-07-31 frozen submission on THIS branch) + +NOT the shipped submission. The artifact actually submitted is + git.researchstack.info/allaun/ramanujan-challenge-completed-submissions + commit 1cbb598265f8f3015a4399655097a597fabaf8d1, packages/problem_2_8 +assembled from MathPunch-FiniteState 8908fa14a2fb88669aa1a3a5cf39ada2ba10ae60. +That package descends from this same branch and carries a later manuscript +(positive-cone contraction, narrowed import boundary); it is the authority. +This file records the parallel fix line kept here for provenance. + +Git commit: 477e8ddb770795345efa15715ccc725044817a11 +Built: 2026-07-31T15:40:36Z +Toolchain: pdfTeX 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) + python3 3.14.6, SageMath version 10.9, Release Date: 2026-05-04 + +Replay: bash run_checks.sh -> exit 0, 48 mandatory PASS, 0 optional failures +Claim: lim_{N->inf} P_{N,j}/Q_{N,j} = sqrt(10005)/pi for j = 1,2,3,4 + +SHA-256: + a1c11c5f62aad9e1c9eacae54c5f3d8ea4f98de67c6b46cee1354d382df4a60a solution.tex + 61af525c0c976583cf91854570872dd00eb048cbf8d78d9e67436a0f42edd8fc solution.pdf + 08c2f46cc7e5afefbd73b9ea1edab713594ca834d09303d09282bdbae1088fc9 ramanujan_challenge_problem_2_8.zip + 06b5dd2bcb5154a571ee804db07c8fd9f01b23a9994c95d6140e175bb81687e9 run_checks.sh + 507124828c056fea30ac87b6206147f14a7fa9fd401338c3f0010311c30f612f ADVERSARIAL_AUDIT.md + b8b358e2d382c6286f1d9c25f3a30c0e0a1207af3bae14a10fe7718ec00446d1 ADVERSARIAL_REVIEW_AGAINST_CHALLENGE_RULES.md + e076eee98b56e4f068e1b445a8737f32a155c3af39bc979cfebb272ae902bd02 HOW_THE_SOLUTION_WAS_FOUND.md + 218b2cefe84da65eb242be3c131c577cc592b37984aa2253b757507754f7be51 NOTATION_AND_BORROWED_TERMINOLOGY.md + 79182f297d367aced4c2a430dbd351cc05dca8237d42d27fce2babe4c3af37e1 certificates/p28_official_object_certificate.py + a5eccfbd427ae06590d636b908c26474c725b5a7ed26fbf154e495bcf4424b2b certificates/p28_rank_ode_bound_verifier.py + 3190e9660e9108e7720f43d3ea888975b26e32a383eae5f6ce55075b843372db certificates/p28_convergence_constants.py + f5fb30219f5b576ee3d22e079f1182a86085c67739daa63f42be4ccb821cafc0 certificates/p28_standalone_equations.py + e24643a1ddf532bdce5fe562402236ba52fb71d231730c9aa3ae6e00aa6bda35 certificates/p28_dominant_product_algebra.py