Repository navigation

Implement find_witness completion rules - #4585

Merged

briansrls merged 19 commits into

mainfrom

session/fierce-tern-230-clean-find-witness

Jun 9, 2026

Merged

Implement find_witness completion rules#4585
briansrls merged 19 commits into
mainfrom
session/fierce-tern-230-clean-find-witness

Commits on Jun 9, 2026
- WIP: Mgr-COERCE closeout: shepherd the find_witness-completion (3-rule) impl
  Brian Searls
  committed
  f2827fe
- Implement find_witness completion rules
  Brian Searls
  committed
  237193f
- WIP: Mgr-COERCE closeout: shepherd the find_witness-completion (3-rule) impl
  Brian Searls
  committed
  a00bbd3
- Address find_witness completion review controls
  Brian Searls
  committed
  2a4186c
- WIP: Mgr-COERCE closeout: shepherd the find_witness-completion (3-rule) impl
  Brian Searls
  committed
  df63630
- Add review controls for find_witness completion
  Brian Searls
  committed
  509f1c6
- WIP: Mgr-COERCE closeout: shepherd the find_witness-completion (3-rule) impl
  Brian Searls
  committed
  361f0a1
- Fix recursive core projection controls
  Brian Searls
  committed
  cabe2b4
- WIP: Mgr-COERCE closeout: shepherd the find_witness-completion (3-rule) impl
  Brian Searls
  committed
  962a754
- Tighten malformed interval witness
  Brian Searls
  committed
  5a49426
- Tighten integer value-set decoding
  Brian Searls
  committed
  6c95f12
- Fix nonzero magnitude comparison boundary
  Brian Searls
  committed
  d5f369d
- Tighten integer value-set decode gate
  Brian Searls
  committed
  c64bb68
- Tighten integer value-set strict-shape decode
  Brian Searls
  committed
  b7fb947
- Preserve projection connectives
  Brian Searls
  committed
  7fff18c
- Wire new regressions into v4 roster pilot
  Brian Searls
  committed
  4572f9e
- Fix integer interval ordering and roster wiring
  Brian Searls
  committed
  b00b193
- Fix roster transport and interval containment gates
  Brian Searls
  committed
  1ab5ea0
- Retire crux gap roster row and tag interval helpers
  Brian Searls
  committed
  36f9f01

Commits

Commits on Jun 9, 2026