Repository navigation

id: writer-set + view-projection design spec (#2238) - #2739

Merged

dezren39 merged 18 commits into

mainfrom

queue/3395-2238-writer-set-spec

Oct 30, 2026

Merged

id: writer-set + view-projection design spec (#2238)#2739
dezren39 merged 18 commits into
mainfrom
queue/3395-2238-writer-set-spec

Commits on Oct 30, 2026
- id: writer-set + view-projection design spec (#2238)
  repo-worker-code
  committed
  8b989d5
- id: tighten three spec citations to their exact lines (#2238)
  repo-worker-code
  committed
  c4af47f
- id: fix six review findings in writer-set spec (#2238)
  repo-worker-code
  committed
  2768f38
- id: fix three round-2 review findings in writer-set spec (#2238)
  repo-worker-code
  committed
  ed032c7
- id: fix three round-3 review findings in writer-set spec (#2238)
  repo-worker-code
  committed
  1b0d7b6
- id: restate the projection predicate over a named input tuple (#2238)
  repo-worker-code
  committed
  e5d5bd5
- Merge remote-tracking branch 'origin/main' into queue/3395-2238-writer-set-spec
  repo-worker-code
  committed
  0a31d4e
- id: separate admission versions from rescinds, key group cache on R (#2238)
  repo-worker-code
  committed
  1c3a13f
- id: narrow the Public emergency stop, cover pre-admission backlog (#2238)
  repo-worker-code
  committed
  b220a68
- id: filter versions by set_id, retain served view inputs (#2238)
  dezren39
  committed
  88f3e6e
- Merge remote-tracking branch 'origin/main' into queue/3395-2238-writer-set-spec
  dezren39
  committed
  078edc9
- id: say three constraints, not two (#2238)
  dezren39
  committed
  3f46d42
- id: retrieval source 1 is adm_versions, not versions (#2238)
  dezren39
  committed
  57e7c33
- id: enforce rescind from_version on the claim side, add Voided to validity_now (#2238)
  dezren39
  committed
  5defdef
- id: pin the full resolution input snapshot in R, resolve membership historically (#2238)
  dezren39
  committed
  073fff5
- id: gate the config event on applied(R), root R's inputs, bound total_authors (#2238)
  dezren39
  committed
  8522f01
- id: per-event set versions, row-bounded discovery, frontier tips as roots (#2238)
  dezren39
  committed
  000efd6
- id: retain a non-admission reason for discovery hits (#2238)
  dezren39
  committed
  882b83d

Commits

Commits on Oct 30, 2026