Repository navigation

feat(probe-selector): PS-0..7 kernel + diagnostic extdeps (ctrl #1612) - #4883

Merged

briansrls merged 17 commits into

mainfrom

session/crisp-newt-probe-selector

Jun 15, 2026

Merged

feat(probe-selector): PS-0..7 kernel + diagnostic extdeps (ctrl #1612)#4883
briansrls merged 17 commits into
mainfrom
session/crisp-newt-probe-selector

Commits on Jun 14, 2026
- feat(probe-selector): implement PS-0..7 kernel + diagnostic extdeps
  
  briansrls
  and
  cursoragent
  committed
  a7bb2c0
- fix(probe-selector): route CI through probe_select; prior conditions coverage
  
  briansrls
  and
  cursoragent
  committed
  a05850d
- docs(probe-selector): bind P-PROBE-CF-IMPORT 🟡 to adhoc-20b17ff7-932
  
  briansrls
  and
  cursoragent
  committed
  7eef1e0
- merge main: claim-witness corpus row counts (#4884)
  briansrls
  committed
  0fb1f27
- fix(ci): unblock PR #4883 — move CF import repro out of src/v4
  
  briansrls
  and
  cursoragent
  committed
  1f8ca7f
- fix(ci): quarantine CF import repro under dsl/ + ExpectFail corpus
  
  briansrls
  and
  cursoragent
  committed
  e2afdd1
- ci: retrigger fmt after runner checkout flake
  
  briansrls
  and
  cursoragent
  committed
  dfde585
- ci: retrigger after runner flakes (git 128, ci_claim_gate build)
  
  briansrls
  and
  cursoragent
  committed
  3ee630a
- fix(probe-selector): wire keystone witnesses through executing CI gate
  
  briansrls
  and
  cursoragent
  committed
  f4f1a3c
- fix(ci): init entry var in probe-selector gate under set -u
  
  briansrls
  and
  cursoragent
  committed
  f9fc254
- fix(probe-selector): coproduct hypotheses + predicate dissolution receipt
  
  briansrls
  and
  cursoragent
  committed
  4310c46
- fix(probe-selector): Practice 4 coproduct tags + drop E-10 dead types
  
  briansrls
  and
  cursoragent
  committed
  2c151c8
- docs(probe-selector): note PS-3/PS-4 implicit via ProbePrior+Int coverage
  
  briansrls
  and
  cursoragent
  committed
  d5b866e
- fix(probe-selector): flip HostHealthHypothesis to 🟡 per manager RC
  
  briansrls
  and
  cursoragent
  committed
  39db55a
- fix(probe-selector): match host probes by canonical label, not coverage/cost
  
  briansrls
  and
  cursoragent
  committed
  1c414ce
- fix(ci): recover shared-runner checkout and sccache probe flakes
  
  briansrls
  and
  cursoragent
  committed
  5c3a882
- fix(ci): scrub persisted worktrees on all runner checkout paths
  
  briansrls
  and
  cursoragent
  committed
  ed0fb48

Commits

Commits on Jun 14, 2026