Repository navigation

ymf cleanup: docs re-shelved, dead schema keys refused, model/approximation naming (cekees/ymf#1–#5) - #24

Merged

cekees merged 16 commits into

proteustoolkit:mainfrom

cekees:main

Nov 2, 2026

Merged

ymf cleanup: docs re-shelved, dead schema keys refused, model/approximation naming (cekees/ymf#1–#5)#24
cekees merged 16 commits into
proteustoolkit:mainfrom
cekees:main

Commits on Nov 1, 2026
- Docs: re-shelve into design/, history/, research/, and a changes.md
  
  cekees
  and
  claude
  committed
  e0be562
- CI: trigger the first workflow run on the new fork
  
  cekees
  and
  claude
  committed
  d98f16e
- 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
- Merge docs-reshelve (cekees/ymf#1) for changes.md
  
  cekees
  and
  claude
  committed
  23a9038
- Refuse eight schema keys that nothing reads
  
  cekees
  and
  claude
  committed
  7f68da3
- One name per thing: model for the spec, approximation for the tree
  
  cekees
  and
  claude
  committed
  40d0bcc
Commits on Nov 2, 2026
- Merge pull request #1 from cekees/docs-reshelve
  cekees
  authored
  c90d0ac
- Merge pull request #2 from cekees/extras-guards
  cekees
  authored
  f7626b1
- Merge pull request #3 from cekees/partial-domain
  cekees
  authored
  9c0b7ea
- Merge branch 'main' of github.com:cekees/ymf into archive-names
  cekees
  committed
  7e51706
- Merge branch 'main' of github.com:cekees/ymf into dead-keys
  cekees
  committed
  d49b06d
- Merge pull request #4 from cekees/dead-keys
  cekees
  authored
  6d49a1b
- Merge branch 'main' of github.com:cekees/ymf into archive-names
  cekees
  committed
  306cd41
- Merge pull request #5 from cekees/archive-names
  cekees
  authored
  16e4f2d

Commits

Commits on Nov 1, 2026

Commits on Nov 2, 2026