Repository navigation

A file in an extends chain may tag its parent's region without restating its kind - #3

Merged

cekees merged 3 commits into

mainfrom

Nov 2, 2026

Merged

A file in an extends chain may tag its parent's region without restating its kind#3
cekees merged 3 commits into
mainfrom
partial-domain

Commits on Nov 1, 2026
- Tests skip, not error, without an extra; CI legs with one extra each
  
  cekees
  and
  claude
  committed
  1030bb6
- Tests for three gaps: units without symbolic, a composed domain, classify
  
  cekees
  and
  claude
  committed
  3ac4e63
- A file in an extends chain may tag its parent's region without its kind
  
  cekees
  and
  claude
  committed
  2254a3a