Issues

• Nightly red: the Varve.Shacl.Store.Tests long-properties leg takes five hours and hits its 300-minute timeout

  Hafeok/Varve#219 · Filter by author Hafeok opened on Nov 2, 2026

• fix(protocol): a cancelled event move still freezes the catalogue until the grants snapshot catches up

  Hafeok/Varve#217 · Filter by author Hafeok opened on Nov 2, 2026

• Replication part 1 follow-ups: the releaser stands out of its own release's race, and a forward answers by what happened

  Hafeok/Varve#216 · Filter by author Hafeok opened on Nov 2, 2026

• SimulatedFileSystem isn't safe for concurrent use: parallel extent writes fail with 'Collection was modified'

  Hafeok/Varve#214 · Filter by author Hafeok opened on Nov 1, 2026

• Forwarded writes: answer an unknown outcome with commit-outcome-unknown once ADR 0214 lands

  Hafeok/Varve#210 · Filter by author Hafeok opened on Oct 30, 2026

• land.cs: list the issues a landing closes, and refuse a PR whose declared issue has no closing trailer

  Hafeok/Varve#209 · Filter by author Hafeok opened on Oct 30, 2026

• Row-local inference rules served from the closure to row-restricted callers

  Hafeok/Varve#205 · Filter by author Hafeok opened on Oct 30, 2026

• Validation report results filtered per row for row-restricted callers

  Hafeok/Varve#204 · Filter by author Hafeok opened on Oct 30, 2026

• Milestone 9, part 2: erasure mode (preview)

  Hafeok/Varve#203 · Filter by author Hafeok opened on Oct 30, 2026

• Milestone 9, part 1: row-level access through the classifier (1.0, stable)

  Hafeok/Varve#202 · Filter by author Hafeok opened on Oct 30, 2026

• Web UI at phone width: rows as cards, nav as a menu (review F26)

  Hafeok/Varve#199 · Filter by author Hafeok opened on Oct 30, 2026

• Web UI: older commits, filters, and go to a position (review F21)

  Hafeok/Varve#198 · Filter by author Hafeok opened on Oct 30, 2026

• Who may read or write a graph: a server-side grant lookup (review F12)

  Hafeok/Varve#197 · Filter by author Hafeok opened on Oct 30, 2026

• Web UI: as-of by time, and a diff against the head (review F11)

  Hafeok/Varve#196 · Filter by author Hafeok opened on Oct 30, 2026

• Web UI: a commit's whole delta, grouped by graph (review F10)

  Hafeok/Varve#195 · Filter by author Hafeok opened on Oct 30, 2026

• Problem details that say what to do, and a "What to do" section on every docs/problems/ page

  Hafeok/Varve#194 · Filter by author Hafeok opened on Oct 30, 2026

• GET /manage/system does not name the answering instance

  Hafeok/Varve#193 · Filter by author Hafeok opened on Oct 30, 2026

• Clock-free regex: a SPARQL regex timeout fails the query, then NonBacktracking (amends ADR 0153 §5)

  enhancement
  Hafeok/Varve#192 · Filter by author Hafeok opened on Oct 30, 2026

• PUT /manage/datasets/{d}/state ignores If-Match

  Hafeok/Varve#189 · Filter by author Hafeok opened on Oct 28, 2026

• perf(entailment): drop the per-pattern Distinct under RDFS where the union branches are provably disjoint

  Hafeok/Varve#182 · Filter by author Hafeok opened on Oct 28, 2026

• Readiness carries the bound each lag is judged by

  Hafeok/Varve#176 · Filter by author Hafeok opened on Oct 27, 2026

• Inference, part 2: the inferred quads as a projection — OWL 2 RL/RDF, retraction by measurement, the views, explain

  Hafeok/Varve#171 · Filter by author Hafeok opened on Oct 27, 2026
  6

• Inference, part 1: tier 1 — RDFS, RDF and D by query rewriting, regimes over HTTP, the TBox binding

  Hafeok/Varve#170 · Filter by author Hafeok opened on Oct 27, 2026

• Commit gate: a commit message that names a model fails (names refused, ids allowed)

  Hafeok/Varve#169 · Filter by author Hafeok opened on Oct 27, 2026

• Fleet instances as observed: the writer record and the reader records per dataset, served by a management route

  Hafeok/Varve#168 · Filter by author Hafeok opened on Oct 27, 2026