Repository navigation

T-LBP: cement cost lens via symbolic_cost_of + Band-C registry slice (#1968) - #2298

Merged

cursor[bot] merged 10 commits into

mainfrom

cursor/t-lbp-complexity-cost-wiring-f0e1

May 9, 2026

Merged

T-LBP: cement cost lens via symbolic_cost_of + Band-C registry slice (#1968)#2298
cursor[bot] merged 10 commits into
mainfrom
cursor/t-lbp-complexity-cost-wiring-f0e1

Commits on May 9, 2026
- feat(v3): wire cost lens Band-C cementing to symbolic_cost_of consumer
  
  cursoragent
  and
  briansrls
  committed
  489a21a
- docs(register): align intro with T-LBP COMPLETE + roadmap parity split
  
  cursoragent
  and
  briansrls
  committed
  ef543ad
- fix(register): keep cost.dag PROXY until v2 subsumption matches COMPLETE contract
  
  cursoragent
  and
  briansrls
  committed
  cdc59ed
- test(v3): move cost symbolic_cost_of pins out of Band-C cementing tree
  
  cursoragent
  and
  briansrls
  committed
  3f76f80
- docs(cost.dag): align SizeVariable header with std.algebra + Rust mirror
  
  cursoragent
  and
  briansrls
  committed
  3fe59a0
- chore(scripts): cite ROADMAP + R3 gate for cost lens slow-test exemptions
  
  cursoragent
  and
  briansrls
  committed
  d00029b
- fix(ci): raise slow-test exemption floor to 41 (matches current list)
  
  cursoragent
  and
  briansrls
  committed
  f1434b7
- fix(ci): restore ASCII sort order in SG-0 hand-authored test census
  
  cursoragent
  and
  briansrls
  committed
  8fffe86
- docs(test): spell out Band-C scope for symbolic cost consumer pins
  
  cursoragent
  and
  briansrls
  committed
  4c80d6b
- chore(ci): retrigger workflow after SG-0 PR-body discipline fix
  
  cursoragent
  and
  briansrls
  committed
  37103e7