ecdsafail-autoresearch-harness

The gating workflow for EVERY op-stream change to the ecdsafail / secp256k1 point-add circuit: any change re-rolls the Fiat–Shamir test island, so the baked DIALOG_TAIL_NONCE goes stale and a fresh CLEAN nonce (one whose 9024-shot island dodges all hard inputs → 0 classical / 0 phase / 0 ancilla) must be re-hunted before the win validates. Covers the truncation↔hard-input(λ) cliff, the GPU island prefilter, searchability, and validation. Use after ANY src/point_add edit. Keywords: DIALOG_TAIL_NONCE, Fiat-Shamir island, clean nonce, hard inputs, lambda, GPU hunt, searchability, re-hunt, 0/0/0.

How to correctly estimate the expected time to find a clean nonce for the ecdsafail circuit. Covers: empirical winner probability, GPU hunt rate, verify throughput, bottleneck analysis, and common mistakes. Use this whenever asked "how long will the hunt take?" or "how many candidates needed?"

Durable technique for lowering PEAK QUBITS in the ecdsafail / reversible secp256k1 point-add circuit (peak qubits is one factor of score = avg executed Toffoli × peak qubits). Use whenever the goal is to drop the qubit count by 1+ to beat the frontier. The method is independent of the current frontier number — it re-applies to whatever phase is the peak high-water binder this week. Keywords: peak qubits, high-water, ancilla lifetime, free-and-recompute, freed-tail, qubit recycling, range-bound, guard bit, sign-guard, TRACE_PEAK.

Durable levers for lowering AVG EXECUTED TOFFOLI in the ecdsafail / reversible secp256k1 point-add circuit (Toffoli is one factor of score = avg executed Toffoli × peak qubits), while keeping peak qubits flat. Use whenever the qubit peak is at a wall and the win must come from cheaper gates. Frontier-number independent — re-apply to whatever phase dominates the Toffoli budget. Keywords: Toffoli, CCX, measured uncompute, Hmr, exact adder, truncated comparator, carry truncation, ancilla cleanup, value-exact.