Repository navigation

v1 seed alias-decl parse arm (§13): syntax spec row + v1.compiler.parse arm + typecheck-env binding + regen fixed-point + corpus probe (dissolves the walk_target_alias_apply corpus --write gate) - #7094

Merged

briansrls merged 8 commits into

mainfrom

session/sleek-otter-633

Jul 23, 2026

Merged

v1 seed alias-decl parse arm (§13): syntax spec row + v1.compiler.parse arm + typecheck-env binding + regen fixed-point + corpus probe (dissolves the walk_target_alias_apply corpus --write gate)#7094
briansrls merged 8 commits into
mainfrom
session/sleek-otter-633

Commits on Jul 23, 2026
- WIP: v1 seed alias-decl parse arm (§13): syntax spec row + v1.compiler.parse
  Brian Searls
  committed
  0d3814d
- WIP: v1 seed alias-decl parse arm (§13): syntax spec row + v1.compiler.parse
  Brian Searls
  committed
  1b603ec
- WIP: v1 seed alias-decl parse arm (§13): syntax spec row + v1.compiler.parse
  Brian Searls
  committed
  312e410
- WIP: v1 seed alias-decl parse arm (§13): syntax spec row + v1.compiler.parse
  Brian Searls
  committed
  2b272ae
- Bump test_migration_debt module-count baseline for namespace_alias_decl_test.
  
  Brian Searls
  and
  cursoragent
  committed
  2e85fda
- WIP: v1 seed alias-decl parse arm (§13): syntax spec row + v1.compiler.parse
  Brian Searls
  committed
  32bd8d8
- Regen stage0 after build_type_env_unresolved alias guard.
  
  Brian Searls
  and
  cursoragent
  committed
  88386c9
- Merge remote-tracking branch 'origin/main' into session/sleek-otter-633
  Brian Searls
  committed
  5b11eac