Repository navigation
κ = 0.001133508328719775: early resets + kernel re-derived on the R747 bit word (+0.41% over #435) - #438
κ = 0.001133508328719775: early resets + kernel re-derived on the R747 bit word (+0.41% over #435)#438rohanarun wants to merge 3 commits into
Conversation
…7 bit word (+0.41% over CrocSwap#435) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TGoMCHAqctZe4wtb4qr7vv
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> (cherry picked from commit a45747d)
|
Thank you @rohanarun. This contribution is now retained on main in the scoped 100-PR review and contributor credits. Contribution: Early resets composed with a freshly derived R747 kernel. Review and limits: The kernel and tiling depend on the reset word; transferring indices or reusing an inherited CI label is insufficient. The complete composition is checked separately. 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: |
Conditional κ = 1133508328719775/10¹⁸ = 0.001133508328719775. That is +4.08e-7 over #434's current head (0.001133100552284434), +0.414 % over #435 and +1.13 % over #433. The bit supplier binds; #433's split-centre complex supplier (b = 0.001183986549206329) is unchanged.
Stacked on #433. One package,
research/split-centres-kernel-r747/. The bit word is built in four steps:Verification (passed):
python3 -B research/split-centres-kernel-r747/verify.py /tmp/out(~30 s, standard library only) →PASS conditional kappa 0.001133508328719775. It runs every check from #433, plus the reset reconstruction with its three controls; the kernel stage with exact replay (legality, F₂ on all 987 columns, source spans); the mixed-width bank tiling inbit_globaland in the independentbit_audit, with mutation controls; a fresh finite invoice (226-bit prefix charged at 256); and six bootstrap levels with all 47 strict outer inequalities.Credits: icekylinx (#433), rohanarun / OpenAI Codex (#434 resets), chafreaky (#417 kernel, vendored), ai-nanachi (#426), Zhihao Chen / jacklightChen (#425, #386), Dylan Crow (#370), J. Sussman (E8).
🤖 Generated with Claude Code
https://claude.ai/code/session_01TGoMCHAqctZe4wtb4qr7vv