Repository navigation

C297: regular and interior closed-superlevel neighborhood bases - #489

Merged

d6g8k5htny-coder merged 2 commits into

mainfrom

codex/c297-regular-superlevel-20261020-1a481536

Oct 20, 2026

Merged

C297: regular and interior closed-superlevel neighborhood bases#489
d6g8k5htny-coder merged 2 commits into
mainfrom
codex/c297-regular-superlevel-20261020-1a481536

Commits on Oct 20, 2026
- Formalize regular and interior closed-superlevel neighborhood bases (C297)
  d6g8k5htny-coder
  committed
  9f2f79b
- Recognize displayed chart coercion in C297 negative-control evidence
  d6g8k5htny-coder
  committed
  363a533