Repository navigation

Fix inert_lens witness-builtin scope errors in bare compile - #6259

Merged

briansrls merged 32 commits into

mainfrom

session/calm-otter-699

Jul 5, 2026

Merged

Fix inert_lens witness-builtin scope errors in bare compile#6259
briansrls merged 32 commits into
mainfrom
session/calm-otter-699

Commits on Jul 5, 2026
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  e616790
- Ground inert_lens witness builtins on substrate bridge stubs.
  
  Brian Searls
  and
  cursoragent
  committed
  3150045
- Mark inert_lens bridge stubs with typed scaffold note.
  
  Brian Searls
  and
  cursoragent
  committed
  c33f772
- Split CI build from floor step to fix step-timeout kill.
  
  Brian Searls
  and
  cursoragent
  committed
  ecaf2c2
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  087ba3e
- Give floor gate step 30m budget; dag_compile_clean exceeds 10m.
  
  Brian Searls
  and
  cursoragent
  committed
  2570d4a
- Regenerate ci.yml: floor gate step 30m, job backstop 50m.
  
  Brian Searls
  and
  cursoragent
  committed
  72bf3d9
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  caa8cda
- Give release-build step 15m budget; cold compile exceeds 10m.
  
  Brian Searls
  and
  cursoragent
  committed
  3be353b
- Raise release-build step budget to 30m; stage0 still compiling at 15m.
  
  Brian Searls
  and
  cursoragent
  committed
  1c6ff4f
- Raise rust-gate step budget to 30m; cold build exceeded 15m.
  
  Brian Searls
  and
  cursoragent
  committed
  2e624db
- Deduplicate gunbc_ci_floor_run to delegate floor_only_script.
  
  Brian Searls
  and
  cursoragent
  committed
  5522b21
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  377834e
- Fix starts_with builtin borrow and ground bare-compile resolver gaps.
  
  Brian Searls
  and
  cursoragent
  committed
  7ab5208
- Merge remote-tracking branch 'origin/main' into session/calm-otter-699
  Brian Searls
  committed
  9147456
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  6ea42e0
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  d76a7a0
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  b96566a
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  835fc27
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  b452371
- Fix lookup_ancestry_parameterized_decl return type for bare compile.
  
  Brian Searls
  and
  cursoragent
  committed
  5c1131b
- Raise floor gate step budget to 45m after src/v1 compile pool.
  
  Brian Searls
  and
  cursoragent
  committed
  dc05863
- Raise floor gate step budget to 60m; batch-1 compile needs ~43m.
  
  Brian Searls
  and
  cursoragent
  committed
  abd03b9
- Raise floor gate step budget to 90m; src/v1 compile pool ~78m.
  
  Brian Searls
  and
  cursoragent
  committed
  b9fe0c0
- Merge remote-tracking branch 'origin/main' into session/calm-otter-699
  Brian Searls
  committed
  f2d66cd
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  1ba1895
- ci: raise release-build and rust-gate step budgets after main merge
  
  Brian Searls
  and
  cursoragent
  committed
  dfbff0f
- ci: split rust_tests build from rust gate step
  
  Brian Searls
  and
  cursoragent
  committed
  10c5316
- WIP: Fix inert_lens witness-builtin scope errors in bare compile
  Brian Searls
  committed
  4f144a0
- Merge remote-tracking branch 'origin/main' into session/calm-otter-699
  Brian Searls
  committed
  f2aa0ab
- ci: raise rust-gate-only step budget to 45m after merge
  
  Brian Searls
  and
  cursoragent
  committed
  b4ff1a6
- Merge origin/main into session/calm-otter-699
  
  Brian Searls
  and
  cursoragent
  committed
  373e895

Commits

Commits on Jul 5, 2026