Repository navigation

feat(v3): gate #92 T-LAS complexity enforcement compile error - #2340

Merged

cursor[bot] merged 19 commits into

mainfrom

cursor/t-las-complexity-compile-error-b113

May 9, 2026

Merged

feat(v3): gate #92 T-LAS complexity enforcement compile error#2340
cursor[bot] merged 19 commits into
mainfrom
cursor/t-las-complexity-compile-error-b113

Commits on May 9, 2026
- feat(v3): gate #92 T-LAS complexity enforcement compile error
  
  cursoragent
  and
  briansrls
  committed
  e5c2e7a
- fix(v3): truthful LensEnforcement in complexity.dag + consume via lens_cost
  
  cursoragent
  and
  briansrls
  committed
  1403cb9
- fix: order ClassPolynomial budgets by PositiveDescentAmount in asymptotic_dominates
  
  cursoragent
  and
  briansrls
  committed
  470c508
- docs(v3): note poly–poly degree comparison in complexity_lattice
  
  cursoragent
  and
  briansrls
  committed
  aeb247d
- fix(ci): regen bootstrap — algebra asymptotic_dominates stays poly-tier coarse
  
  cursoragent
  and
  briansrls
  committed
  9eb9be8
- ci: exempt gate #92 T-LAS demo from 2s ratchet; bump exemption floor
  
  cursoragent
  and
  briansrls
  committed
  a3388aa
- fix(v3): emit complexity lens to complexity_lens_generated for L-8
  
  cursoragent
  and
  briansrls
  committed
  ddf99d8
- fix(v3): honest complexity_lens + Witness Inhabits emit for regen
  
  cursoragent
  and
  briansrls
  committed
  b540655
- chore: apply cargo fmt to m2 lens cost migration test
  
  cursoragent
  and
  briansrls
  committed
  e426705
- test(v3): ratchet complexity monoid op — no monoid_op_stub, sequential compose
  
  cursoragent
  and
  briansrls
  committed
  9f080c0
- test(v3): ratchet honest complexity_lens branch/iterate; doc compose spine
  
  cursoragent
  and
  briansrls
  committed
  45b8164
- ci: SG-0 append for PR #2340 (+4 census paths, issue #1952 pairing)
  
  cursoragent
  and
  briansrls
  committed
  f543c78
- fix(complexity): correct work-class predicate; track poly lattice bridge
  
  cursoragent
  and
  briansrls
  committed
  2ca2ec3
- ci: classify ComplexityEnforcedApplication in compiler-std ratchet (#642)
  
  cursoragent
  and
  briansrls
  committed
  1a3cbf9
- docs(complexity): clarify work-class consistency dominate direction
  
  cursoragent
  and
  briansrls
  committed
  bbe0605
- test(v3): ratchet complexity_summary_work_class_consistent (Log vs Linear)
  
  cursoragent
  and
  briansrls
  committed
  98defe0
- fix(v3): name T-LAS budget lattice; reject sub-cubic ClassPolynomial budgets
  
  cursoragent
  and
  briansrls
  committed
  765aadd
- docs(complexity): de-confuse inline review anchor ~493 vs work-class predicate
  
  cursoragent
  and
  briansrls
  committed
  1941d3e
- chore(v3): refresh parse_corpus_manifest for std/algebra.dag
  
  cursoragent
  and
  briansrls
  committed
  444316f

Commits

Commits on May 9, 2026