Repository navigation

Lever a: affected-set-scoped compile-clean gate - #6315

Merged

briansrls merged 23 commits into

mainfrom

session/bold-ant-731

Jul 6, 2026

Merged

Lever a: affected-set-scoped compile-clean gate#6315
briansrls merged 23 commits into
mainfrom
session/bold-ant-731

Commits on Jul 6, 2026
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  696c2b8
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  0ed9dc1
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  9bdc993
- Ignore slow scoped-plan unit tests; disposition covered by .dag witnesses.
  
  Brian Searls
  and
  cursoragent
  committed
  1b4ce30
- Fix importer-propagation witness: expect v2.std.logic importer, not transport.
  
  Brian Searls
  and
  cursoragent
  committed
  124b0fc
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  27329a7
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  e68ebc6
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  6bff90d
- Fix rustfmt on CompileCleanScopePlan enum variants.
  
  Brian Searls
  and
  cursoragent
  committed
  28695d5
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  8d98782
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  d9baf51
- Serialize env-mutating compile-clean tests with module mutex.
  
  Brian Searls
  and
  cursoragent
  committed
  0fb7f30
- Pin entry-path filter to workspace_relative_repo_path only.
  
  Brian Searls
  and
  cursoragent
  committed
  88c60cf
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  b6b4e52
- Bump ci floor step budget 135m→180m after plan-resolve + batch-1 timeout.
  
  Brian Searls
  and
  cursoragent
  committed
  bd253b1
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  3db38f0
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  f5a0209
- Fold docs-only skip classifier into dag_compile_clean_scope.
  
  Brian Searls
  and
  cursoragent
  committed
  30ec6bb
- Make skip witnesses exhaustive over RequireWholeTree.
  
  Brian Searls
  and
  cursoragent
  committed
  17b8882
- WIP: Lever a: affected-set-scoped compile-clean gate
  Brian Searls
  committed
  4b5d6de
- Restore ci job step-sum backstop after rebase job-kill regression.
  
  Brian Searls
  and
  cursoragent
  committed
  37f98dd
- Revert CI budget raises; shift proof to local verification path.
  
  Brian Searls
  and
  cursoragent
  committed
  c64cf51
- Make lever_a_local_verify.sh a pure claim_batch sequencer.
  
  Brian Searls
  and
  cursoragent
  committed
  2ab99bc

Commits

Commits on Jul 6, 2026