Skip to content

Conditional κ = 0.003643716168305 (+2.77661886e-7 over #7145): temporal chart-595 split - #7148

Open
dillona wants to merge 1 commit into
CrocSwap:mainfrom
dillona:research/kappa-chart595-003643716168305
Open

dillona wants to merge 1 commit into
CrocSwap:mainfrom
dillona:research/kappa-chart595-003643716168305

Conversation

@dillona

@dillona dillona commented Nov 11, 2026 •

Copy link
Copy Markdown
Contributor

This adds one source-bound temporal helper split to the complete #7145 construction, raising conditional κ to 0.003643716168305, +0.000000277661886 over #7145. At frame 595, six timed gathers and four later injections give exact helper vectors with c d = 1 (42 and 353 nonzero coordinates). Retirement at cut 38,883 splits productive rank nine into one and eight. One paid path on role 757 changes rank two into one plus one; nine neutral paths and two new owned buffers are explicit.

Concurrent draft #7147 at 4ca446706d4106176486235b9d7c66bd301b72ff reports the higher preliminary κ = 0.003643989339627 from a different frame-237 split on the same #7145 source. At the 01:28:59 UTC snapshot, its forward/grid, physical, full caller and registered checks remained pending. This package supplies a distinct complete frame-595 result; it does not claim the strongest open headline. Composition of the two changes has not been tested.

The initial word contained four ADD coefficients with 25-bit numerators. Each is replaced by two exact additions, preserving the inherited 24-bit compiler assertion and charging four extra operations. The original native run was interrupted before completion; all final receipts use the normalized word. Native delta: ΔP = {1:+2, 2:−1}; ΔT = {1:+1, 8:+1, 9:−1}, with both rank masses unchanged. Total added work is 815 ADDs, four SCALEs, one MOVE, two INITs and two CLEARs. The final word has 76,150 events, 1,496 public fields, 1,096 helpers and 57 owned labels / 60 lifetimes / peak 45.

The unchanged 17-stage caller has 110,468 paid positions, 22,376 productive fields, surplus 1,424, zero empty credit, ordinary source-unit work 781,483,168 < 10⁹, and fresh precision c = 2430 on grid 1125/F25. All 969 owned banks, long buffer lifetimes and scalar costs are charged. The directed invoice crossing lies strictly in (0.0036437161683053639514518829222626, 0.0036437161683053639514518829222627). The unchanged BIT cap leaves 0.000122973831695 headroom; this is not a global-optimality claim. The discovery search stopped at its first positive after 4,250 of 7,660 paths, leaving the rest unprocessed.

All three direct CPython 3.14.7 commands and all three registered isolated CPython 3.12.16 commands passed, matching every frozen receipt field; all 29 scientific hashes stayed unchanged. Coverage includes exact source and timed-vector reconstruction, whole forward/adjoint and COPY/ownership checks, 18 native controls (including ten certificate controls), five sets of 512 Gaussian chart/phase columns, finite physical routes, all 3,038 paid/helper maps and 104 main boundaries, fresh ordinary/owned-stock/grid/envelope/fixed-tape costs, both prices, and 54 strict + 4 functional outer conditions. These are finite source-bound checks; the inherited framework assumptions below remain.

git fetch --no-tags https://github.com/CrocSwap/integer-mult-bounds.git main
python3.12 -B scripts/research_package.py --package research/p104-temporal-chart595-split

Inputs are complete #7145 at db8f31c4a1d9e191976e2c92951e6d2dea886a27 (33 files) and #7143 at 9ff298bd6547299dc5b263873bf8a400909e5501 (31 files), including all nested sources and notices. Six implementations remain byte-identical under REUSE.json; the retained constructor is explicitly renamed temporal_construct.py. Final native SHA256: ecb1f56ba06dbaae424d0f94ad41c6d08f39f5f1f2fec348f2d0c9c9873c657f. PROOF.md, APPLICATION.md, VALIDATION.md, NORMALIZATION.json and REPLAY.txt give the exact scope and evidence.

Credit Ali Romman for the causal-history identity; Jerry Chen/CubeJerry for temporal/verification methods; Matarener for kernels; Rohan Arun for the enabling endpoint source and signed caller; ToikY for earlier chart-120 and price engines; dillona's retained #7145/#7143 sources; Cinna Davis/1337isnot1337, Dugongue, DreamingOfClouds, Douglas Colkitt/#7000 reviewers, and every retained author. Substantial OpenAI Codex assistance; no subagents. Apache-2.0.

Five inherited assumptions (native_all_columns, owned_erasure, compiler, precision_tape, analytic_recovery), independent human/formal acceptance, maintainer admission and compiled top-level execution remain open. The selected frontier is unchanged. Hosted CI is separate from local replay.

Task p104-side-correction, changed source with full-cost acceptance. Canonical main e54523517d0f03e58352e647c403a5af3e525a57, priority revision 8 and selected #7000 rechecked unchanged at 01:30 UTC before submission. Complete remote overlap snapshot: 447 open PRs at 01:28:59 UTC and 7,061 Discussion records at 01:29:57 UTC; local coverage is sparse. Subsequent #7146 was checked separately and reports no κ gain. Chris R/Clear1nsight's now-closed two-paid-path screen and new rank-eight partial-boundary scope on #7145 and ToikY's caller/BIT work remain distinct and credited.

Open next questions: independently replay the dense timed vectors, long owned lifetimes and scalar-width repair, then the full bill. Refresh guidance/overlap and freeze this source before any further optimization. No new search round is claimed here.

Canonical investigation and predecessor trail.

Published head 154ef929894225674df48df2d6ea3b7a7d1f39a0 preserves the exact package tree of canonical-based scientific commit 85870bcb3e070e8e2c9c970c6081a938e4abdc97; all 36 committed files and modes match. The scientific commit passes the declared source-history check. Hosted run 42939808304 was still in its planning job at 01:35 UTC; no hosted scientific PASS is claimed.

Package-only publication of canonical-based scientific commit 85870bcb3e070e8e2c9c970c6081a938e4abdc97. Complete frozen source closure and predecessor credit retained. Substantial OpenAI Codex assistance; no subagents.
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