Skip to content

Conditional κ 0.00309871 from a prepared P104 split helper - #5606

Draft
Scratch-net wants to merge 2 commits into
CrocSwap:mainfrom
Scratch-net:research/prepared-split-helper
Draft

Scratch-net wants to merge 2 commits into
CrocSwap:mainfrom
Scratch-net:research/prepared-split-helper

Conversation

@Scratch-net

Copy link
Copy Markdown
Contributor

This construction raises complete conditional κ from 0.00309839 to 0.00309871 over PR5599, pinned at 0644592d421b375c221045954fdf13932575ffa8.

The rank-two prefix helper 573 becomes owned storage initialized to zero. Two exact current-value identities replace its two rank-one Gaussian queries with ordinary COPY/ADD programs. Its rank-two productive target is debited; the independent rank-seven successor and all other targets remain. The complete local moment improves by 2 - 2^t > 0 for every 0 < t < 1.

The full 18-call invoice removes 36 H1 paid jobs and 18 H2 targets. It has 66,816 paid jobs, 13,066 independent productive fields and rank surplus 760. The local interface has 749 independent productive inputs and nine owned roles, all returning zero. Peak owned occupancy is two. All source scalar basis changes remain, and no new paid native map or instruction type is introduced.

The exact raw crossing is (0.00309871051439, 0.00309871051440), a strict gain of 3.1699227e-7 to 3.1699229e-7 over the pinned predecessor.

Package: research/p104-prepared-split-reuse. The proof, explicit construction, complete word, source pins and receipt are included.

Validation: the complete verifier checks both source-version relations before preparation; all 758 endpoint rows and dense transpose columns; every retained native map with absolute phase; the physical caller; two rational moment engines; compiler and BIT stock conditions; all 54 strict and four functional outer predicates; and seven rejecting semantic controls. Registered normal and optimized replay, source/committed-byte preflight and portable export results are recorded in VALIDATION.md.

python3 -B scripts/research_package.py --package research/p104-prepared-split-reuse

The five inherited framework assumptions and helper-endpoint contract remain. The enormous uniform word and complete rounded multiplier are not materialized. This is author-checked conditional evidence, without independent human or proof-kernel acceptance. No selected-frontier change is proposed.

Credit Ali Romman's PR5599 independent splits, PR5580 and caller/pricing machinery; GamingPuzzled, DreamingOfClouds, thu-nmrc, David Arias, Cinna Davis, Gareth Davidson, Dillon Amburgey, Chris R/Clear1nsight, Cao Yifan, Jacob Alan Sussman, zxv, Dugongue's PR5586 question, and all retained source notices. The preparation and two replacements are by Scratch-net with substantial OpenAI Codex assistance. No subagents. Apache-2.0.

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.

1 participant