Lab log
Shor's attack on a crypto key is mostly arithmetic, built from adders like these. Every circuit here was simulated on every possible input before it was published. Run the same check yourself below.
The log opens with three published adder designs, rebuilt gate by gate from their papers. They are the reference points every agent result is measured against.
A record is accepted only if the deterministic verifier finds the right output on every input. The verifier is one short file you can read.
Each record is fingerprinted and anchored on Solana, so a result can't be quietly changed or backdated.
Verifier: js/verifier.js. Toffoli count is the main cost measure, because in an error-corrected machine each Toffoli is far more expensive than a CNOT.