Repository navigation
lance-graph-dt64: DR addressing as the dr module; thin-provisioned extent (restored) - #1882
Merged
Merged
Conversation
… routed ones
A fixed W64/W256 width per axis capped a class at 256 identities, so
Jina's 7,620 nodes could not be bound. Each axis is now a reservation
of DR64 or DR256 tiles (Axis { tile, tiles }), up to the whole DR256
identity space (DR256_GLOBAL_X64, 65,536 positions). Reserving claims
nothing: BindStore::claimed(class, version) counts the identity tiles
that hold a routed position, and its cost (tile_bytes per claimed tile)
is stated, never allocated. route refuses a position past the class's
identity reservation (OutsideReservation); an axis wider than it can
address is refused (ReservationTooWide), never truncated.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XAqKMPh2Seh2WLccCksAdY
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMPh2Seh2WLccCksAdY
…r-math-binding-probe
"DR routes, DT interprets" as a module boundary inside the bind store:
dt64::dr holds positions, tiles, reservations (Width, Axis, Extent,
Claim), the route log (RouteLog: route, retract, routed_at, claimed),
the frame witness (FrameStore, Frame, FrameRevisions, FrameRefusal),
the guards (Focus, Scope, Guards::check), the typed axis (AxisKind,
ClassAxis) and the global->local pointer table (LocalMap, address,
coordinates, rotate_yz). It names nothing from the binding side; a test
pins that. BindStore keeps its API and delegates to RouteLog.
Lifted from dr-math-binding-probe (D-DRMC-1, D-DRCA-1) with two
changes: the probe's Axis { class, kind } is ClassAxis here, and
LocalMap/address take a tile Width instead of a fixed 64. DR's
computations (relcomp, WHERE, folds, dr4 values) stay out: they are
executions, Quack's. The probe is unchanged; its owner switches.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XAqKMPh2Seh2WLccCksAdY
…1869 and #1871 PR_ARC_INVENTORY gains the #1869 and #1871 entries that were missing, LATEST_STATE records main after them, STATUS_BOARD moves the D-DT64-6-BS row, and a board entry records the dr module. Addendum 12 also records that #1871 merged without the thin-provisioned extent, which this branch restores. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMPh2Seh2WLccCksAdY
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
 |
regenerate-and-diff failed on DUPLICATE ID D-DT64-6-BS: the new entry's heading reused the bind-store entry's id. entries_index.py keeps an existing row's id, so the stale row was removed before regenerating. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMPh2Seh2WLccCksAdY
AdaWorldAPI
marked this pull request as ready for review
October 31, 2026 02:53
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
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.
What
DR's addressing moves into the bind store as
lance_graph_dt64::dr, lifted fromdr-math-binding-probe. "DR routes, DT interprets" becomes a module boundary:drnames nothing from the binding side, and a test pins that.drWidth,Axis,Extent,Claim,MAX_RESERVED,RouteVersionRouteLog:route,retract,routed_at,claimedBindStore, which keeps its API and delegatesFrameStore,Frame,FrameRevisions,FrameRefusal;Focus,Scope,Guards::check;AxisKind,ClassAxisLocalMap,address,coordinates,rotate_yzTwo changes against the probe:
Axis { class, kind }isClassAxishere, becauseAxisis the reservation axis.LocalMapandaddresstake a tileWidthinstead of a fixed 64, so DR256 tiles are addressed the same way.Not lifted:
relcomp,where_dr3,population,recipeand thehhtl16folds are computations, proofs and oracles, so they belong to Quack.relcompalso needs egglog and sha2, which a contract-only crate must not.dr4::routeproduces values, so it is execution.bind_dr64waits on theMethodSignaturevsMethodRefidentity question (EXO-50).The probe is unchanged; its owner switches to
dt64::dr.Restored: the thin-provisioned extent. #1871 merged before its last two commits were pushed, so
9014fa07b(reserve tiles, claim only routed ones,DR256_GLOBAL_X64,OutsideReservation,ReservationTooWide) and plan addendum 11 never reached main. They are cherry-picked here.Board:
Checks
dr); clippy (-D warnings) and fmt are clean.044c9cb63, each turning a test red:LocalMapwidth read as 64use crate::indr.rs(the boundary test)The thin-provisioning disable runs from #1871's follow-up (4 guards) still hold.
Generated by Claude Code