The forwards solver, audited — what the register calls closed, and the code calls open

An independent, hostile read of the new solver against its own claims. Two passes — find every gap, then try to refute it — and every surviving finding cites the source line. The pure core is real. The wires between it and real money are not yet, and several the register marks 'closed and proven' are inert in the running binary, mock-only, or latent behind a flag.

Confidential. This link and code are personal — don't share them.