Skip to content

Re-pin the root Makefile/README in research/joint-dual/SOURCE.json (fixes the failing 'Verify research artifacts' job on main and all PRs) - #318

Closed
rohanarun wants to merge 1 commit into
CrocSwap:mainfrom
rohanarun:joint-dual-repin
Closed

rohanarun wants to merge 1 commit into
CrocSwap:mainfrom
rohanarun:joint-dual-repin

Conversation

@rohanarun

Copy link
Copy Markdown
Contributor

The repo-wide Verify research artifacts workflow (make joint-dual-verify) currently fails on main itself (runs at 14:08 and 14:13 UTC today) and therefore on every open pull request, with AssertionError: Makefile in joint_dual_compose.check_sources: the root Makefile and README.md changed on main while research/joint-dual/SOURCE.json pins their sha256.

This PR regenerates the pins with the package's own scripts/experiments/pin_joint_dual_sources.py (only the Makefile and README.md digests change) and the two joint-dual certificates that record the source-manifest hash. Locally under Python 3.11: scripts/experiments/verify_joint_dual.py passes (PASS conditional kappa=4764513337/100000000000000 … PASS exact recurrence, 47 strict inequalities, seven margins, eventual cutoffs) and tests/test_joint_reclaim.py passes (16 tests). No mathematical content changes.

🤖 Generated with Claude Code

The "Verify research artifacts" workflow (make joint-dual-verify) fails on main
and on every open pull request since the root Makefile and README changed
(AssertionError: Makefile in joint_dual_compose.check_sources). Regenerated with
scripts/experiments/pin_joint_dual_sources.py; verify_joint_dual.py and
tests/test_joint_reclaim.py pass (16 tests) under Python 3.11. The joint-dual
certificates only change in their recorded source-manifest hash.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@rohanarun

Copy link
Copy Markdown
Contributor Author

The joint jobs are green on this branch (3.11, 3.13 passed; 3.14 running), confirming the pinned Makefile/README digests were the only cause of the repo-wide 'Verify research artifacts' failures on main and on every open PR (#311–#317 included). Merging this should turn those checks green after a re-run.

This was referenced Oct 10, 2026
This was referenced Oct 11, 2026
eumemic added a commit to eumemic/integer-mult-bounds that referenced this pull request Oct 11, 2026
…check passes

The joint-dual SOURCE.json pins root Makefile/README hashes that main no
longer has, so the joint job fails on every PR. These three files are
byte-identical to rohanarun's CrocSwap#318 (a45747d), as CrocSwap#417 and CrocSwap#439 carry them.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Mister-Meeseeks pushed a commit that referenced this pull request Oct 12, 2026
…97714685

A geometry-first bit word under #425's mutable-basis interface: 30 orthogonal
4-frames from 5 complementary D4-block pairs, sources reaching their cells
directly or through two carriers, 60 D4 quads, and D6-triple tops. R = 489
(best previous bit word: 715). Priced by #472's eleven-stage whole-residual
hosted pipeline: c = 0.001565442026981656908596. Complex-bound: kappa =
0.001303530097714685 with #471's complex supplier, 0.001325031497415498 with
#484's draft supplier. Includes #318's joint-dual pin repair.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@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: Repair of stale joint-dual source pins.

Review and limits: Only historical root-file digests and derived receipts change. Fresh source-binding, exact composition and regression checks are authoritative; the unrelated CI checkout is excluded as evidence for these changed files.

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: a45747d2559141a594916475f52642e4fab86e02. 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