Skip to content

P104 #5718 cache delivery cannot save the tested centre charges - #5765

Open
zxv wants to merge 6 commits into
CrocSwap:mainfrom
zxv:codex/p104-reuse-delivery-publication
Open

zxv wants to merge 6 commits into
CrocSwap:mainfrom
zxv:codex/p104-reuse-delivery-publication

Conversation

@zxv

@zxv zxv commented Oct 26, 2026

Copy link
Copy Markdown
Contributor

Earlier P104 paid answers do not eliminate the tested centre charges once native delivery is included. On the exact PR5718 word (a1534ac45401c9a9c80c07aa65c89e00e33594f8), this contribution combines complete versioned query maps with two source-bound exclusion results. No new κ, selected-frontier change, or general information-reuse barrier is claimed.

  • Separate delivery, eight queries: exact fresh-helper quotients and complete alignment-budget certificates reject separately canonically delivered replacements for all eight named rank-seven centre queries at caller event 3. All 3,426 paid outputs are extracted for each of caller events 0 and 3, preserving their distinct 536-helper namespaces, versions, native maps and owned epochs.
  • Shared gathering, one query: for local 13660 (owned748, frame518→598), grant preaggregation within all 465 source coframes, all 1,211 earlier paid outputs and one final shared delivery through any of 1,090 pinned candidate frames. Every protocol in this class costs at least H7 before ordinary work and cleanup. Of those frames, 478 occur before the cut; 612 are granted only as a favorable exclusion.

The second result does not extend the eight-query theorem to eight shared gathers. Noncanonical matrix-valued combinations, new frames, multilevel transport and changed consumers remain outside the certificates. All independent original/helper targets remain charged. The complete source invoice stays at 66,348 paid jobs and 12,976 productive fields.

Start with the combined publication overview, which links both proofs, exact scopes and reproduction paths. Frozen inputs, predecessor programs and results are retained unchanged. Historical local-only status statements remain in the original session records; the publication overview records this combined submission. A new byte-join checker authenticates the shared predecessor code, source files and query maps between the packages.

Validation

Registered Python 3.12 normal and optimized replays rederive the query maps, all-input endpoint, native phase identities, separate-delivery certificates, shared-gather support/cost certificates and unchanged invoice. The shared-gather package includes a separate certificate auditor. Constructive discovery, stale/future access, helper namespace, native phase/frame and underpriced-ingress controls are retained. Committed-byte checks and standalone publication replays are recorded in the publication validation record. Full source-history preflight is unavailable in the shallow checkout; this is disclosed separately from byte and scientific checks. No full selected, Lean, Docker, new supplier/compiler/outer admission or independent human/formal verification is claimed.

python3.12 -B scripts/research_package.py --package research/p104-cross-call-paid-reuse
python3.12 -B scripts/research_package.py --package research/p104-shared-frame-gather

Significance for researchers

The exact maps distinguish having scalar information from acquiring and delivering a current native answer affordably. These two natural reuse protocols can be retired in their stated scopes, while the retained maps and controls support tests of genuinely different delivery contracts. The five inherited framework assumptions remain; source archive publication is not theorem admission.

Open next questions

Specify one source-bound multilevel gather, new frame, matrix-valued native combination or changed consumer, then price every ingress, final delivery, restoration and cleanup before extending construction. No surviving candidate or favorable forecast for those changes is supplied. More separate-cache or canonical one-frame coefficient searches do not reopen the proved cases.

Credit flyingviper's PR5718, Ali Romman's PR5713 and PR5647, and all retained native, helper, controller, compiler and analytic predecessors in the package notices. Prepared for zxv with substantial OpenAI Codex assistance. 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