Skip to content

No new κ: shared partial sums and window resynthesis cut PR6167's word from 22,821 to 18,083 events - #6285

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p104-frontier-compression
Oct 31, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:research/p104-frontier-compression

Conversation

@DreamingOfClouds

Copy link
Copy Markdown
Contributor

This package rewrites the ADD and SCALE events of the merged word of #6167 (Ali Romman, conditional κ 0.003128645): 22,821 events become 18,083 (-4,738, -20.8%). No κ is claimed. The complete invoice (13,444 productive fields, 66,762 paid calls, rank surplus 760), the paid profile, the storage and the raw crossing (between 0.00312865201590 and 0.00312865201591) are identical to #6167's.

The edit

Only ADD and SCALE events change (ADD 18,423 to 13,686, SCALE 861 to 860). All 3,449 MOVE events and all INIT, COPY and CLEAR events are kept, in order.

  • Shared partial sums across overlapping Y rows. The 104 Y registers each receive about 78 helper terms, and pairs of rows overlap in about 79 of 85 terms with the same coefficient ratio. A row that needs many terms held by an already complete row now adds that row's final value, and the donor's other columns are folded into its own initial-value reads.
  • Window resynthesis. Each stretch of ADD and SCALE events between MOVE events at one frame is re-solved exactly (Gauss/LU on the read graph, readers first). A new column is accepted only if it closes no cycle.

ADD and SCALE events are not in the price, so the paid profile cannot move; the event and scalar slack of the word grows.

Verification

python3.12 -I -O -B research/p104-frontier-compression/test_portability.py
python3.12 -I -B research/p104-frontier-compression/verify.py
python3.12 scripts/research_package.py --package research/p104-frontier-compression

verify.py authenticates #6167's word, price and the pinned PR5827 checker chain (read from the merged package, pins in SOURCES.json), checks that only ADD and SCALE events changed, and replays the compressed word through the unmodified chain: identical productive targets, paid profile and storage, all 799 input columns (638,401 coefficients), the native maps, the physical caller and the complete price. RESULT.json records the outcome. These are author checks; independent review is pending.

Credit

Base word and checker chain: #6167 by aliromman. Precedent for a no-κ exact resynthesis package: #6169. The compression tool is tk compress from #6170. #6144, #6143 and the earlier P104 lineage keep their credit in NOTICE.

Prepared by DreamingOfClouds with Claude Opus 5.5 (Anthropic), via Claude Code.

🤖 Generated with Claude Code

…nged invoice (no new kappa)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@Mister-Meeseeks
Mister-Meeseeks merged commit 94ad794 into CrocSwap:main Oct 31, 2026
2 checks passed
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