{ Protocol
Coincidence of wants
Two intents clear each other. Uniform rate when they cross.
Coincidence of wants is the first match. If two intents want each other’s assets, the dome clears them against each other. A solver is paid to find the pair, not to warehouse the inventory.
Pair condition
aout(I) = ain(J) ∧ aout(J) = ain(I)
A crossing rate r exists when the signed limits overlap:
plim(I) · plim(J) ≤ 1
Uniform clearing
When a pair (or a ring of pairs) clears, Archerdome uses one rate r* for the batch. Both signers receive at least their min-out. Anything above is surplus.
r* ∈ [ plim(I) , 1 / plim(J) ]
