โ๏ธ Harness Path โ Shor Mage
1 ยท shor_mage โ quantum resource estimation โ an entry in the origin fleet catalogued in The Harness Paths (group: Full loops). The catalogue is the operator's work WITH the harness, not part of the system you adopt; none of its code lives in the harness repo. This is the map entry, so you can see what a filled config looks like at this weight.
(private instance of the author โ a single-file harness,swordsman_mage_pqc.mjs, against a live competitive benchmark)
Reduces the cost of the secp256k1 point-addition circuit a Shor-style attack
would run, against the ecdsa.fail benchmark. The objective is a genuine
product โ average executed Toffoli gates ร peak qubits โ so soulbae runs
as a complement pair (gate-minimiser โฅ qubit-minimiser, blind to each other)
and soulbis carries a cliff-watcher that scores the whole product and rejects
any move winning one factor at the other's expense past break-even (measured
there at โ1,184 Toffoli per qubit). The Gap is a GPU island search reseeded by
Fiat-Shamir; the gate is a held-out set of 9,024 witnesses hashed from the
candidate's own operation stream, so the proposer provably could not have
tuned to them, and only a full clean run โ zero classical, phase, and ancilla
failures โ counts. This instance is where the complement pair and the
cliff-watcher were invented, and where MIRAGE got its name: a candidate that
passes the cheap probe and fails the full validation. Its governing sentence
is "cheaper-but-unvalidated is not progress"; its kill ledger runs to
seventeen entries, each carrying a re-open condition, because killed โ
impossible.
At a glance โ
objective: product โ average executed Toffoli ร peak qubits, โ ยท gate: 9,024 held-out witnesses hashed from the candidate's own op stream; only a full clean run (zero classical / phase / ancilla failures) counts ยท hard constraint: exact secp256k1 point-addition semantics โ a wrong circuit is not a smaller win
the Gap: a GPU island search reseeded by Fiat-Shamir from the op-stream hash ยท lenses: gate-minimiser โฅ qubit-minimiser (the complement pair), with a cliff-watcher scoring the whole product (break-even โ 1,184 Toffoli per qubit) ยท canary: the unoptimized reference circuit โ passes its own witnesses by construction
weight: full loop ยท private ยท the lesson it carries: MIRAGE got its name here; killed โ impossible โ seventeen kill entries, each with a re-open condition.
Navigation
โ Welcome Visitors ยท The Harness Paths ยท Adopting The Harness ยท Workflows And Runtimes
the wiki is a projection; ~/dual-agent-harness (git) is the source of truth ยท (โ๏ธโฅโฟปโฅ๐ง)๐ = neg โ bnot โ succ