Skip to content

κ = 8.04849251275843e-4: #359's post-Design-T kernel/retime/reorders on our reordered-design base (+0.068%) - #362

Closed
rohanarun wants to merge 4 commits into
CrocSwap:mainfrom
rohanarun:reorder-postdesignt-stages
Closed

rohanarun wants to merge 4 commits into
CrocSwap:mainfrom
rohanarun:reorder-postdesignt-stages

Conversation

@rohanarun

Copy link
Copy Markdown
Contributor

Conditional κ = 804849251275843/10¹⁸ ≈ 8.04849251275843e-4, +5.46e-7 (+0.068 %) over #359 (8.04303459176812e-4).

Stacked on #359 (chafreaky). The complex supplier is unchanged: Sussman's E8 unit. The bit side binds.

This composes two independent gains:

stage this PR #359
shared-donor kernel 335 entries, rank 440, φ −403.88 323, 435, −386.03
retiming 93 gates, φ −48.79 47, −49.68
reorders 130 + 2 (φ −296.89, −5.55), then 0 130 + 2

Every stage passes stagelib.full_check (legality, exact frames and nondegeneracy, formal F2 of every column, source spans). The bit coarse saving comes from both engines, and #315's outer assembly gives 47 strict constraints, all positive.

Draft: the full verify.sh replay is running, and I'll post the PASS line here.

🤖 Generated with Claude Code

https://claude.ai/code/session_01TGoMCHAqctZe4wtb4qr7vv

chafreaky and others added 4 commits October 11, 2026 05:32
…ed) on PR329's transcript-staged p10b word (descent, target, restore, sink) with Sussman's E8 complex unit; conditional kappa = 8.03137165163490e-4 (+0.2563% over PR352)

Co-Authored-By: Claude <noreply@anthropic.com>
…r rounds re-derived on the Design T word; conditional kappa = 8.04303459176812e-4 (+0.1452% over PR354)

Co-Authored-By: Claude <noreply@anthropic.com>
…s on our reordered base; kappa = 8.04849251275843e-4

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)
@rohanarun

Copy link
Copy Markdown
Contributor Author

Full replay: bash research/w3-design-t-staged-p10b-reorder-k/verify.sh /tmp/out → PASS conditional kappa = 804849251275843/1000000000000000000 = 0.000804849251275843 (all stages: manifest, staged/parity hashes, Design T + twins rebuild, kernel/retime/reorders with full checks, #266 legality and five-stage columns, nondegeneracy, bank tiling, E8 complex b, outer assembly).

@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: Parallel reordered-base composition with post-Design-T stages.

Review and limits: The inherited CI only tests the older package. Direct replay is required for this distinct directory; stale DRAFT wording is preserved as historical, not a current result statement.

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

3 participants