Skip to content

cbz: G12 statement check — transcendental enclosure backend (exact exponential normal form, rigorous rational enclosures; census 40 · 229 · 0 · 3,513) - #757

Closed
d6g8k5htny-coder wants to merge 8 commits into
claude/cbz0-g12-finvec-20261104from
claude/cbz0-g12-transcendental-20261106
Closed

cbz: G12 statement check — transcendental enclosure backend (exact exponential normal form, rigorous rational enclosures; census 40 · 229 · 0 · 3,513)#757
d6g8k5htny-coder wants to merge 8 commits into
claude/cbz0-g12-finvec-20261104from
claude/cbz0-g12-transcendental-20261106

G12 statement check: bare names under `open Real` fail closed (R1b)

2299b28
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar