Repository navigation
feat(WordRAM): certify Sum-dispatched product frames - #2273
Open
SamuelSchlesinger wants to merge 3 commits into
Open
SamuelSchlesinger wants to merge 3 commits into
SamuelSchlesinger wants to merge 3 commits into
Conversation
Bounded C6 milestone under #2261/#2205: one fixed native branch combines faithful component encodings; the existing dynamic framed product supplies its semantic method and reserved-room invariant. The native execution theorem preserves the whole memory and bounds its block footprint only under explicit current/future containment. A general all-operations product StateTransitionImpl and arbitrary-client realization remain open. Strict focused Product and small native client pass (session95663, 3548 jobs), including one emitter at width zero and differing left/right answers at width four. No full-six or outside API approval yet. Reuses unchanged Framed/Allocator #2239 and canonical Reindex #2268 by ordinary merges; no C4 borrowing. AI-assisted implementation by Codex worker codex-c6-products-crypto-20261102. Curated abstracts and their model/resource claims are unchanged; no headline addition.
Definitionally identical observation equation; remove three now-redundant proof changes. Strict focused Product/small client PASS session71235, 3548 jobs. No statement meaning, resource, code or scope change; earlier a8e9873 snapshot remains recoverable.
Delegated test by Codex worker codex-c6-growth-pcp-20261102, integrated unchanged by codex-c6-products-crypto-20261102 under #2261. The actual two-cell allocator and Sum-dispatched sets have memory charge8 and explicit local work16. One emitter runs across runtime values/widths, both product_exec method entries use reserved block[1,5), and raw Data.init pays the existing native prefix plus output/halt. Includes actual resident zero-memory-cost native Unit client, footprint/room evolution, overlap rejection and the byte room boundary. Exact delegated source SHA256752102fe764891dbeabb8415374635b27e15266f8917ab1d09464f7c6c30ac35. Final combined strict focused tests PASS session49274,3578jobs; hygiene and diff-check PASS. Full-six/outside review pending. No changes to Framed/Allocator or curated abstracts; broad C6/all-operations module adapter remains open.
This was referenced Nov 2, 2026
Merged
This branch has not been deployed
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.
On hold — coordinator consolidation. Under the #2205 decision, this PR will not be extended or queued. The single framed Backend implementation and consolidated queue migration will absorb the applicable work with source credit. Existing branches, tests and review findings are retained until that absorption is validated; this is not a completed migration.
Adds one uniformly chosen native Sum dispatcher over existing
Realizescertificates, with faithful common result encoding and checked input-coordinate/tag routes. Only the selected component's domain and work are needed, and dispatch adds two units of local work. The product execution theorem reusesMemory.Framed.prodto prove literal whole-memory execution, the typed product step and a native block frame. The block must contain both the current dynamic footprint and the entire reserved future allocation region. Its explicit semantic observation equation supplies no executable work.The tests realize the actual two-cell allocator and alternating sets: memory charge 8 and explicit local work 16, giving body bound
C*(8+16+1). One emitted body handles different runtime values and widths; the standard-input case pays the actual installation prefix and output/halt. Both native method frames, changing footprints/shared room, a resident zero-memory-cost native case, overlap rejection and the 251/252 byte boundary are checked. A smaller client uses the same code at width zero and distinguishes left/right answers for equal payloads at width four.Implements the bounded milestone #2261 under #2205. The general all-operations product
StateTransitionImpl, arbitrary-client realization and product automation remain open. There is no free preparation, memory clearing, canonical work inferred from aFreeMvalue or automatic native bound from semantic framing. These are original infrastructure results using existing contracts, not a new RAM model.The dependency-only base
87e4e0dbcombines exact published #2239 and #2268 (including #2246); this PR's diff contains only the bounded C6 payload. Supplier bodies, source credit and reviews are preserved. Actual parent landing, ordinary main retargeting and current combined CI remain integration gates. No selected abstract/catalogue/rendering impact; no headline is added.At
08b31c1e4e29fe56ecfc80af0856caac10943df7/ treea07a0ec1, all six defaultscripts/check.shgates pass with two threads (session 19444). All 5,234 tracked files, the index and dependency pins match the pre-run freeze. Focused strict clients, hygiene and diff checks pass. Final full-check log SHA256:e99a443bdab3d85b427ecd89a965340b77106abe08014b7ca520f9e21da3e5b9.AI assistance: Codex worker
codex-c6-products-crypto-20261102implemented the library and small client;codex-c6-growth-pcp-20261102contributed the separate growth test. This public API requires review outside our authoring fleet.Closes #2261.