All pull requests

Pull requests

• fix(sync): ignore stale invalid value responses

  #1577·ygd58 opened Aug 6, 2026·

  ·
  1

• chore(deps): update ractor to 0.16.2

  #1575·slawlor opened Aug 3, 2026·8 tasks done·

  ·
  1

• feat(spec): add agreement witness and inductive proof harness

  featurespec
  #1562·arjun215-eng opened Jun 6, 2026·

  ·
  1

  1

• ci(pr-gate): bug fixes, vouch-style allow/deny, extracted scripts

  #1560·romac opened May 19, 2026Contributor·6 of 11 tasks·

  ·
  1

• perf(engine): Make consensus WAL appends non-blocking

  #1551·Raneet10 opened Apr 28, 2026·6 of 8 tasks·

  ·
  1

• fix(discovery): replace panics in config validation with typed errors

  #1546·giwaov opened Apr 7, 2026·

  ·
  1

• chore(code): Split HostMsg out of engine crate and into a new host crate

  need-triage
  #1252·naijauser opened Nov 11, 2025·3 tasks done·

  ·
  1

  2