Repository navigation

feat(logic): preserve least fixed points under ordered tuple interpretations - #1781

Merged

SamuelSchlesinger merged 6 commits into

mainfrom

codex/fo-lfp-tuples-6e6ef933583f

Nov 1, 2026

Merged

feat(logic): preserve least fixed points under ordered tuple interpretations#1781
SamuelSchlesinger merged 6 commits into
mainfrom
codex/fo-lfp-tuples-6e6ef933583f

Commits on Oct 30, 2026
Commits on Nov 1, 2026
- fix(logic): certify FO(LFP) evaluator costs in the plain calculus
  SamuelSchlesinger
  committed
  eba7bde
- chore(logic): carry plain evaluator costs into LFP tuple transport
  SamuelSchlesinger
  committed
  f12e14d