Repository navigation

boundary-coverage wall: model the CI minimum-safe-floor as boundary-coverage non-redundancy - #6081

Closed

gunbai-bot[bot] wants to merge 19 commits into

mainfrom

session/bright-cat-462

Closed

boundary-coverage wall: model the CI minimum-safe-floor as boundary-coverage non-redundancy#6081
gunbai-bot[bot] wants to merge 19 commits into
mainfrom
session/bright-cat-462

Commits on Jul 1, 2026
- boundary-coverage wall: model + witnesses (both axes green by execution)
  
  briansrls
  and
  claude
  committed
  01e6561
- WIP: filter out long/slow tests from CI
  briansrls
  committed
  e26565e
- WIP: filter out long/slow tests from CI
  briansrls
  committed
  d5fb3b9
- boundary-coverage corpus: linear perf + full-corpus wall green
  
  briansrls
  and
  claude
  committed
  a343ed9
- boundary-coverage corpus: add mandatory construction_justification (lens hygiene)
  
  briansrls
  and
  claude
  committed
  d7b5c0c
- Merge remote-tracking branch 'origin/main' into session/bright-cat-462
  briansrls
  committed
  650f9c4
- boundary-coverage: dissolve two negation helpers (§2 review)
  
  briansrls
  and
  claude
  committed
  fe39ee0
- WIP: filter out long/slow tests from CI
  briansrls
  committed
  05f5618
- Merge remote-tracking branch 'origin/main' into session/bright-cat-462
  briansrls
  committed
  df0f5e5
- Merge remote-tracking branch 'origin/main' into session/bright-cat-462
  briansrls
  committed
  de24a40
- Merge branch 'main' into session/bright-cat-462
  briansrls
  authored
  1b9e798
- Merge branch 'main' into session/bright-cat-462
  briansrls
  authored
  fa10f2f
- Merge remote-tracking branch 'origin/main' into session/bright-cat-462
  briansrls
  committed
  0932f79
- WIP: filter out long/slow tests from CI
  briansrls
  committed
  a3edaee
- Merge remote-tracking branch 'origin/session/bright-cat-462' into session/bright-cat-462
  briansrls
  committed
  17b5e42
- Merge remote-tracking branch 'origin/main' into session/bright-cat-462
  briansrls
  committed
  180cc5a
- WIP: filter out long/slow tests from CI
  briansrls
  committed
  60ecd2e
- Merge remote-tracking branch 'origin/main' into session/bright-cat-462
  briansrls
  committed
  31d70a5
- WIP: filter out long/slow tests from CI
  briansrls
  committed
  6527c30

Commits

Commits on Jul 1, 2026