Repository navigation

Variant collision diagnostic + factor algebra_templates_for_profile into std/algebra.dag - #279

Merged

briansrls merged 6 commits into

mainfrom

cursor/variant-collision-type-enrichment-66aa

Apr 1, 2026

Merged

Variant collision diagnostic + factor algebra_templates_for_profile into std/algebra.dag#279
briansrls merged 6 commits into
mainfrom
cursor/variant-collision-type-enrichment-66aa

Commits on Apr 1, 2026
- Add VariantCollisionWarning diagnostic for imported enum variant name collisions
  
  cursoragent
  and
  briansrls
  committed
  f17cdd9
- Factor algebra_templates_for_profile into std/algebra.dag, add BooleanAlgebraCollectionProfile
  
  cursoragent
  and
  briansrls
  committed
  7f57f3e
- Fix full_dsl_compiles test: filter warnings from error count
  
  cursoragent
  and
  briansrls
  committed
  6d2716a
- Promote all warnings to errors, remove warning infrastructure
  
  cursoragent
  and
  briansrls
  committed
  0cecc3e
- Update docs: mark C-8 FIXED, check off completed Tier 1/2/2.5 items
  
  cursoragent
  and
  briansrls
  committed
  0fa6382
- Resolve 3 review violations: fail-closed collision, FF import index, ownership gate
  
  cursoragent
  and
  briansrls
  committed
  336fe8c