Repository navigation

Companion torus_filtration_20261011: C263 Field adapter SuperlevelBarField (inhabits Field.SuperlevelBarInterface; owner-authored; FORMAL HOLD extends; integrate after #428) - #440

Merged

d6g8k5htny-coder merged 2 commits into

mainfrom

claude/c263-field-adapter-20261012

Oct 12, 2026

Merged

Companion torus_filtration_20261011: C263 Field adapter SuperlevelBarField (inhabits Field.SuperlevelBarInterface; owner-authored; FORMAL HOLD extends; integrate after #428)#440
d6g8k5htny-coder merged 2 commits into
mainfrom
claude/c263-field-adapter-20261012

Commits on Oct 12, 2026
- Companion torus_filtration_20261011: register the owner-authored C263 Field adapter SuperlevelBarField (an inhabitant of Field.SuperlevelBarInterface built from the C263 definitions; FORMAL HOLD ex…
  claude
  committed
  c0f3bc9
- Merge current main after #428 into reviewed #440 adapter without source changes
  d6g8k5htny-coder
  committed
  b6dbb14