Repository navigation

Exact witness admission: one function-grain authority replacing the exclusion/probe_red dual representation - #7719

Merged

briansrls merged 6 commits into

mainfrom

session/calm-bee-513

Aug 3, 2026

Merged

Exact witness admission: one function-grain authority replacing the exclusion/probe_red dual representation#7719
briansrls merged 6 commits into
mainfrom
session/calm-bee-513

Commits on Aug 3, 2026
- Exact witness admission: one function-grain authority replacing the exclusion/probe_red dual representation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8b27217
- Remove dag/gunbc/witness_quarantine.dag — a superseded draft of the admission authority that a stash cycle resurrected into the branch
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b295b4e
- Re-anchor the discriminating RED to a synthetic fixture — a live-anchored assertion loses its subject when the wall works
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b353eb9
- WIP: Exact witness admission: one function-grain authority replacing the excl
  gunbc-ci-auto-heal
  committed
  fa0c7f8
- Merge main (#7709) and fix the caller the re-signature broke in the enforcement lens inventory
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f8029b9
- Merge remote-tracking branch 'origin/main' into session/calm-bee-513
  gunbc-ci-auto-heal
  committed
  6c6a7b4