environment · the certifier is a wire

Rewire: which grader may reach the deciding socket

Rewire it yourself

24 lattice claims, each with an exact answer. Three graders are offered and only one may reach the verdict socket. Drag a different one and watch the number move — or find out why it is refused.

wired to verdict— admitted— reported only— difference—

24 instances, dimensions 60, 90, 104, 120 · the determinant overflows a double past dimension 102

the wiring

Square sockets are deciding: a value that came from floating point may not enter one. Round sockets only report. The rule is not in this page — it is in the engine, and the page shows whatever the engine says.

what the numbers are

exact predicate admits 12 of 24. Integers and a certified π bracket; no floating point anywhere.

tolerance grader admits 17. It converts the determinant to a double first, and past dimension 102 that is Infinity — so the Gaussian heuristic is infinite and every claim clears it.

careful float admits 12. Log domain, never converts the determinant, and it agrees with the exact predicate on every one of these. Precision was never the vulnerability here.

the same bug, two languages

In JavaScript Number(q) is Infinity and the grader admits everything. In Python float(q) raises, and the same grader admits 5 instead — it refuses everything above the cliff. Both are wrong, in opposite directions, and only the crash gets noticed.

The graph runtime, the port types and this editor are the same source the tests run, inlined rather than re-implemented.