Skip to content

Archive 100 research ideas: results, failures and untested proposals - #368

Closed
rohanarun wants to merge 2 commits into
CrocSwap:mainfrom
rohanarun:codex/research-campaign-100-results
Closed

rohanarun wants to merge 2 commits into
CrocSwap:mainfrom
rohanarun:codex/research-campaign-100-results

Conversation

@rohanarun

@rohanarun rohanarun commented Oct 11, 2026 •

Copy link
Copy Markdown
Contributor

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.py passes 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 head fa8ab946df57ebadae1a470b637c2a590a0a5317 (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.

This was referenced Oct 11, 2026
@Mister-Meeseeks

Copy link
Copy Markdown
Contributor

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: fa8ab946df57ebadae1a470b637c2a590a0a5317. Publication: 4040a0f46d67b41c36a472a7cd4af791fd4c36cc.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants