Repository navigation
Conditional κ = 0.001636464689763295: four CK cold ends and concentrated packing - #640
Merged
Mister-Meeseeks merged 2 commits intoOct 16, 2026
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Improves conditional κ to 0.001636464689763295, exceeding PR639's packing-only result by 0.000000003096986179.
Transfers PR637's four dim-8 cold ends to CK (raw helpers233,265,425,441). Each width drops9→8; CK's paid-profile delta is
{1:+8,2:-4,4:+4,5:-4}. JP8 and the71-JP8/1-CK dispatch remain unchanged. An integer21-owner neighborhood produces idle{40:1,48:2229}, recorded as38 changed rows against pinned PR638.Includes the portable CK constructor, deterministic owner exporter, six pinned dependencies and independent exact verification. All23 core admission files are unchanged from PR637; no admission checks were weakened.
Completed before publication: exact bindings, physical owner controller and23 mutants, invoice, both moment engines,114 assembly controls, CK native/reflected/local/wrapper/phase checks and51 cold-end mutations. The independent rational native/owner check and five mutations pass. Owner reconstruction passes normal and isolated optimized Python with four corruption controls.
Full fresh replay now passes 64/64 stages without reuse, in 371.07 seconds. All 51 artifact and 64 stage-log hashes were independently checked. Supplemental owner/rational checks, five owner mutations, six U4 mutations for each supplier, declarations, exact CK recipe reproduction and owner reconstruction with four mutations pass. Complete evidence is in
research/ck-u4-improvement-20261013/validation/. Execution was on macOS; no Linux replay is claimed.The inherited compiler, all-size, common-label/mutable-source realization, hosting, precision/tape, analytic-transfer and bit H1–H5 premises remain. This is a conditional research bound; the selected main certificate is unchanged.
Prepared by Chi Zhao with substantial OpenAI Codex assistance. Jeremy Kothe/CarrierBypass and the retained upstream contributors supplied the original four-end construction; this PR transfers it to CK and supplies the new global packing.