uw-resolve P3: Debian versions, Provides/alts, real Packages slice - #4217
Open
s243a wants to merge 3 commits into
Open
uw-resolve P3: Debian versions, Provides/alts, real Packages slice#4217s243a wants to merge 3 commits into
s243a wants to merge 3 commits into
Conversation
Add deb/3 (pre-segmented Policy §5.6.12 compare) alongside unchanged v/3, Provides/virtuals + alternatives with documented determinism, and ingest a 500-stanza bookworm Packages slice into the D48/D56 store pipeline. Co-authored-by: johns243a <johns243a@gmail.com>
Probe-pinned: compiler emits BuiltinCall maplist/N but the JS WAM runtime had no maplist, so store unpack of deb segments and alternatives failed (5 wamjs_store divergences). Add maplist/2,/3,/4 and string_codes/2; unpack segs/alts recursively so the store path does not depend on maplist. Restore catalog/10 accessors; pack alternatives as ALTS/ (avoid @ in the cell). Co-authored-by: johns243a <johns243a@gmail.com>
cursor
Bot
changed the title
Regenerate the term-catalog JS WAM project so string_codes and maplist ship in the checked-in runtime. Extend the 5k scale generator with a deb/provides/alts overlay (original 500 cases unchanged) so store rebuilds exercise the extended D48 schema. Co-authored-by: johns243a <johns243a@gmail.com>
s243a
marked this pull request as ready for review
September 3, 2026 23:59
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
2 participants
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.
P3 makes uw-resolve speak Debian:
deb/3version semantics (Policy §5.6.12), Provides/virtual packages, alternatives with genuine backtracking, and a real Debian Packages slice ingested into the D48/D56 store pipeline.Design
v/3stays fully supported (byte-identicalsort/2when all candidates arev/3). Newdeb(Epoch, UpSegs, RevSegs)withs(OrderCodes, DigitInt)pre-segmented at parse time. Comparison is list walking only.>=→gte,<=→lte,>>→gt (strict),<<→lt (strict),=→eq.provides(Name,Ver,Virtual)and versionedprovides(...,Virtual,VirtualVer). Real package preferred; providers in catalog-list order. Virtual names are never selected.debian/parse_packages.mjs. Slice: 500 bookworm stanzas fromhttps://deb.debian.org/debian/dists/bookworm/main/binary-amd64/Packages.gz(Last-Modified 2026-07-11).Gates (all green)
bytes_read=10305vsdata_size=489135Probe-pinned runtime
JS WAM was missing
maplist/2,/3(compiler emitsBuiltinCall) andstring_codes/2. Both added intemplates/targets/javascript_wam/runtime.js.mustache. Store unpack of segs/alts is also recursive so it does not depend on maplist.Guardrails
resolver.pladditive only;test_resolver.plappend-only.cli/,cljs/,rust/,go/,BENCHMARKS.md,examples/cli_args/, other targets, harness.gates_summary.log
This is a log artifact (not a video); see the gates table above and
/opt/cursor/artifacts/.To show artifacts inline, enable in settings.