Repository navigation

CX: soundness fixes + PERF-6 + complexity enabled - #336

Merged

briansrls merged 34 commits into

mainfrom

bright-hen-77

Apr 8, 2026

Merged

CX: soundness fixes + PERF-6 + complexity enabled#336
briansrls merged 34 commits into
mainfrom
bright-hen-77

Commits on Apr 7, 2026
- CX: fix 4 soundness issues + address review feedback (325→313 violations)
  
  briansrls
  and
  claude
  committed
  4c2a6d6
- CX: extract graph utilities, implement is_valid_proof, dissolve producer patch
  
  briansrls
  and
  claude
  committed
  c814bb5
- CX: delete CostUnknown — make unbounded cost unrepresentable
  
  briansrls
  and
  claude
  committed
  dc4bc83
- CX: address review feedback — document branching proof safety, M4 note
  
  briansrls
  and
  claude
  committed
  d1eee0f
- CX: update ROADMAP (0 violations), note OOM blocker for inline analysis
  
  briansrls
  and
  claude
  committed
  9384e98
- CX: eager cost simplification, pre-computed patterns, PERF-6 lane
  
  briansrls
  and
  claude
  committed
  d771788
- PERF-6: generalize to dependency-modeled computation
  
  briansrls
  and
  claude
  committed
  b8fbe73
- CX: eager classification — report stores strings, not CostExpr trees
  
  briansrls
  and
  claude
  committed
  e49740c
- CX: add CostExtern for external function costs (review feedback #4)
  
  briansrls
  and
  claude
  committed
  6353d1c
- ROADMAP: cherry-pick milestones from PRs #337, #338
  
  briansrls
  and
  claude
  committed
  60d2032
- PERF-6: topological processing + lambda recursion fix enables self-compile complexity
  
  briansrls
  and
  claude
  committed
  0db3e82
- Merge main: resolve ROADMAP + regenerate stage0
  
  briansrls
  and
  claude
  committed
  609ae0e
- fix: fail-closed complexity violations + review feedback (#3-7)
  
  briansrls
  and
  claude
  committed
  e4f1fef
- fix: full_dsl_compiles CI — filter complexity violations from hard error check
  
  briansrls
  and
  claude
  committed
  8f38a23
- fix: SCC eviction unsoundness — only evict processed functions
  
  briansrls
  and
  claude
  committed
  2ba1b24
- fix: Forever is a constant — zero violations by construction
  
  briansrls
  and
  claude
  committed
  32127a3
- docs: trace review comments #8-11 to origin issues at code sites
  
  briansrls
  and
  claude
  committed
  ae3301e
- fix: asymptotic normalization absorbs dominated constants
  
  briansrls
  and
  claude
  committed
  eb04987
- test: regression tests for asymptotic constant absorption
  
  briansrls
  and
  claude
  committed
  9d06549
- fix: idempotent normalization + constant-bound loop absorption
  
  briansrls
  and
  claude
  committed
  4c2e61c
- feat: clean complexity classification with short variable names + legend
  
  briansrls
  and
  claude
  committed
  1f7b6b0
- fix: preserve ExplicitCount literal + document CX-NEXT design direction
  
  briansrls
  and
  claude
  committed
  058a290
- fix: restore complexity as stage gate + no-fabrication fallback (#17-18)
  
  briansrls
  and
  claude
  committed
  98f5ddf
- fix: restore honest CostUnknown + violation count (325→526)
  
  briansrls
  and
  claude
  committed
  ffd494e
- docs: honest ROADMAP — 526 violations, clear reduction path
  
  briansrls
  and
  claude
  committed
  be8c10e
- docs: CX violation triage — 526 traced to 3 root causes
  
  briansrls
  and
  claude
  committed
  61c2fb3
- docs: ROADMAP CX-NEXT references triage doc with 3-fix path
  
  briansrls
  and
  claude
  committed
  fbe9382
- fix: address review comments #13/#14/#20/#21 + update CI ratchet
  
  briansrls
  and
  claude
  committed
  825f9b4
- fix: emit non-blocking complexity filter in main.rs (stage0 freshness)
  
  briansrls
  and
  claude
  committed
  0107368
- fix: address all 6 review findings from substantive review
  
  briansrls
  and
  claude
  committed
  438dae6
- docs: ROADMAP branching proof text matches code (all dims, not first)
  
  briansrls
  and
  claude
  committed
  9da9018
- docs: ROADMAP — deferred CX items + RE lane for real-program emission
  
  briansrls
  and
  claude
  committed
  7c74d15
Commits on Apr 8, 2026
- docs: ROADMAP structural debt scoreboard (1,115 markers, path to 0)
  
  briansrls
  and
  claude
  committed
  fcbd7f6
- fix: CostExtern fail-closed for unexpected misses + restore soundness tests
  
  briansrls
  and
  claude
  committed
  5c7056e

Commits

Commits on Apr 7, 2026

Commits on Apr 8, 2026