Skip to content

Views step F: route grep, glob and aft_search's text lane through views (7a-1, 7a-2) - #1017

Open
aft-alfonso[bot] wants to merge 9 commits into
land/views-d-verified-bindfrom
land/views-f-lexical-routing
Open

aft-alfonso[bot] wants to merge 9 commits into
land/views-d-verified-bindfrom
land/views-f-lexical-routing

Conversation

@aft-alfonso

@aft-alfonso aft-alfonso Bot commented Oct 26, 2026

Copy link
Copy Markdown

Stacked on #1016 (views step D). Behind the views switch, which stays off by default; views-off behaviour is unchanged.

  • With views on, grep, glob and aft_search's lexical lane read a per-checkout text index projected from the verified v3 view, through D's v3-only checkout driver, so each worktree session gets its own text index (A worktree session gets no index when its main checkout was never opened #644). One snapshot is pinned per request and covers every lexical lane.
  • Acquisition failure never falls back to the legacy index; an uncertain snapshot refuses rather than serving stale rows.
  • A gate taken only when views turn on stops an already-running legacy text-index build from publishing its file after cutover; with views off each publish takes one uncontended shared lock.
  • Tests compare grep, glob and aft_search results byte for byte against the legacy index on plain clones and linked worktrees, across edits, restarts and a writer stop, and cover empty generations, live-only additions, forced kills and the cutover boundary.
  • Compile-checked on top of D with -D warnings on Linux.

ualtinok and others added 9 commits October 27, 2026 00:43
Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
… parity

The initial strict loader folded no-base generations through v2. Refuse that constructor until the v3-only bind source is connected; test snapshot sources use the existing v3 base builder. Add public same-tree legacy parity, edits, restart, forced-kill handshake and writer-stop coverage without changing the views-off contract.

Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
Revoke only on views-on configuration publication. Keep final rename and its ledger credit under a shared publication permit; normal views-off workers may still publish after reconfigure or unbind. Deterministic channel hooks cover both orders without sleeps.

Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
Stack on step D e59e131. Use new_v3/access/verified_bind and real production acquisition in public parity, restart and kill fixtures. Forward watcher overflow and cookies to the lexical slot. Verified bind currently takes D's strict fallback; platform fast-path enablement and performance measurements remain deferred.

Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
…dary probes

Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
…tabase

Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
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