Repository navigation

contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned - #1687

Merged

AdaWorldAPI merged 1 commit into

mainfrom

claude/eager-albattani-iufugq-k3-admission

Oct 21, 2026

Merged

contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned#1687
AdaWorldAPI merged 1 commit into
mainfrom
claude/eager-albattani-iufugq-k3-admission

Commits on Oct 21, 2026
- contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT negation duality pinned
  claude
  committed
  59cf28c