Repository navigation

V2 compiler convergence - #170

Merged

briansrls merged 49 commits into

mainfrom

v2-compiler-convergence

Mar 19, 2026

Commits on Mar 18, 2026
- Fix fabrication-on-error sites in 04_infer.dag
  
  briansrls
  and
  claude
  committed
  ca9868e
- Delete TypeExpr infrastructure from v2 compiler
  
  briansrls
  and
  claude
  committed
  f88cff7
- Fix fabrication-on-error sites in v2 parser to preserve available context
  
  briansrls
  and
  claude
  committed
  14560c6
- Kahn O(E) optimization, pipeline resolution gate, language extdep emit maps
  
  briansrls
  and
  claude
  committed
  bf25506
- Add match exhaustiveness checking for coproduct types
  
  briansrls
  and
  claude
  committed
  220dce9
- Replace O(n) concat([x], acc) with O(1) list_push(acc, x) in parser
  
  briansrls
  and
  claude
  committed
  cc00d37
- Extract shared classification logic from emitter backends into 05_emit.dag
  
  briansrls
  and
  claude
  committed
  46a3cc1
- Delete typed_expr_to_expr — no external callers remain
  
  briansrls
  and
  claude
  committed
  bb5617d
- Increase stacker threshold from 32KB to 512KB for generated v2 crate
  
  briansrls
  and
  claude
  committed
  c476172
- Add E0 artifact model — explicit wrapper for monolithic compilation
  
  briansrls
  and
  claude
  committed
  3801290
- D1: define cost algebra and proof vocabulary for complexity analysis
  
  briansrls
  and
  claude
  committed
  e8e6a03
- Document why emit language data cannot yet import from extdeps
  
  briansrls
  and
  claude
  committed
  81067fd
- Add Track R (representation sizing) to ROADMAP
  
  briansrls
  and
  claude
  committed
  a660592
- Add R5 (TCO clone leak) to Track R — root cause of generated crate OOM
  
  briansrls
  and
  claude
  committed
  0735d14
- R5: fix TCO clone leak — move state instead of cloning at loop top
  
  briansrls
  and
  claude
  committed
  594b0d3
- Add PERF_AUDIT.md — end-to-end pipeline trace from .dag to generated Rust
  
  briansrls
  and
  claude
  committed
  f76fe87
- Expand PERF_AUDIT with full intrinsic audit and structural prevention plan
  
  briansrls
  and
  claude
  committed
  7181963
- .
  briansrls
  committed
  ef7cbf0
- Structural prevention plan: complexity contracts, self-hosting, Track R6/R7
  
  briansrls
  and
  claude
  committed
  835171b
- R6: O(1) string intrinsics for ASCII — char_at, string_length, substring, scan_*
  
  briansrls
  and
  claude
  committed
  359bd3f
- Add kernel primitive complexity contracts for Track D cost algebra
  
  briansrls
  and
  claude
  committed
  ac7e6cf
- R3: precise fix spec for borrow-based codegen — Track A blocker
  
  briansrls
  and
  claude
  committed
  4d913d1
- R3: borrow-based codegen — String params become &str in generated code
  
  briansrls
  and
  claude
  committed
  c99157d
- R2: box Node.transport and Node.config to shrink type size
  
  briansrls
  and
  claude
  committed
  32820ad
- R1: add type size assertions to generated v2 crate tests
  
  briansrls
  and
  claude
  committed
  3ca5819
- R4: COW list_push in interpreter via Arc<Vec<Value>>
  
  briansrls
  and
  claude
  committed
  60123c3
- Update ROADMAP and PERF_AUDIT with 2026-03-18 session progress
  
  briansrls
  and
  claude
  committed
  a7d4fb9
- Fix integration: generated test template for &str params, release-mode gist tests
  
  briansrls
  and
  claude
  committed
  667b2a7
- Rework ROADMAP with post-R1-R7 understanding and dependency chart
  
  briansrls
  and
  claude
  committed
  8ed7409
- ROADMAP: decisions on all 5 blockers + R8 migration catalog
  
  briansrls
  and
  claude
  committed
  c9c261a
- Blocker 3: delete TypeExpr and Predicate from 00_core.dag
  
  briansrls
  and
  claude
  committed
  dfc5736
- R8: Rc-wrap generated types — DAG value semantics as shared ownership
  
  briansrls
  and
  claude
  committed
  c1c8ff6
- R8: fix remaining generated crate errors for Rc-wrapped types
  
  briansrls
  and
  claude
  committed
  2f19714
- R8: remove R2 Box-override — Rc makes Box-wrapping redundant
  
  briansrls
  and
  claude
  committed
  fb1e597
- R8: fix generated test template for Rc-wrapped types
  
  briansrls
  and
  claude
  committed
  d3ff225
- Strip Unicode from .dag comments -- fixes tokenizer byte-index assumption
  
  briansrls
  and
  claude
  committed
  a00ce3f
- SG-6 postmortem + gist pipeline profiling infrastructure
  
  briansrls
  and
  claude
  committed
  a0566e8
- SG-6 postmortem: add test gap analysis
  
  briansrls
  and
  claude
  committed
  65f3fdc
- R8: fix nested Rc pattern match regression — merge same-variant arms
  
  briansrls
  and
  claude
  committed
  0938c13
- Fix operator precedence: parenthesize nested BinOp sub-expressions
  
  briansrls
  and
  claude
  committed
  f881dbe
- PERF_AUDIT: add SG-7, SG-8 postmortems and final performance results
  
  briansrls
  and
  claude
  committed
  d4e4858
- Rename infer→reconcile: types are namespaces, not type-theoretic constructs
  
  briansrls
  and
  claude
  committed
  039b4a7
- ROADMAP: R8 complete, A1 gist compile is next on critical path
  
  briansrls
  and
  claude
  committed
  8bc93ad
- Fix resolve_node infinite recursion with depth-bounded traversal
  
  briansrls
  and
  claude
  committed
  b296e08
- .
  briansrls
  committed
  fd0e378
- .
  briansrls
  committed
  441f6c8
Commits on Mar 19, 2026
- .
  briansrls
  committed
  a9d888a
- .
  briansrls
  committed
  6ea1685
- .
  briansrls
  committed
  1b2a319

Commits

Commits on Mar 18, 2026

Commits on Mar 19, 2026