Repository navigation
Conversation
|
Thank you @rohanarun. This contribution is now retained on main in the scoped 100-PR review and contributor credits. Contribution: Archive of 100 research ideas and experiments. Review and limits: Fresh archive-integrity check covers 100 IDs and 1075 raw members. Analysis-only, failed, partial and unevidenced ideas stay labeled; archive validation does not prove their mathematics. The complete original source, notices and relevant execution evidence are retained through the pinned source archive. The review distinguishes fresh local runs, source-bound historical Linux CI and prior exact-head review; it does not claim 100 fresh full mathematical audits. Closing this historical PR as reconciled. This preserves parallel and cumulative credit without replacing the selected frontier or promoting priced research targets to completed constructions. Reviewed head: |
Publishes the available October 10 research campaign, including unsuccessful experiments and execution gaps, plus the October 11 continuation after PR364.
The 100-item plan is not 100 completed tests. Every idea has an indexed outcome and evidence links in
research/campaign-100-results/README.md, with JSON and CSV copies. Forty ideas have no located execution result; analytical memos, partial experiments and blocked work are labeled separately.Included: 16 original final reports; 1,075 selected raw evidence files in lossless archives with per-file SHA-256 provenance; ten architecture-prototype outputs, including two no-positive-root failures; decoder failure logs; and PR366's completed local replay receipt. The separate 100-architecture proposal list is retained without claiming it was fully executed.
The summary explicitly preserves corrections: invalid dangling-node improvements, noisy historical labels, exact-kappa/J ranking disagreements, hypothetical layouts later refuted, incomplete centre-lemma proofs, and builds stopped before final verification. Historical reports are preserved as data and have not all been re-executed. Their baseline/cap differences and finite search scopes are stated.
Validation:
python3 -B research/campaign-100-results/validate_archive.pypasses locally, checking all 100 IDs, CSV/JSON agreement, counts, evidence links, provenance, 1,075 archived members and the complete file manifest. The dedicated GitHub archive-integrity workflow also passed on Python 3.11 and 3.14 at headfa8ab946df57ebadae1a470b637c2a590a0a5317(run). Published README, results JSON and manifest were independently fetched from GitHub and matched byte-for-byte. This verifies the archive, not every historical mathematical claim.The unchanged three-file source-pin repair from PR318 is included for repository CI, as in PR366. No mathematics is changed by that repair. The archive adds no unconditional theorem or global-optimality claim.