{ 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.

Intent AUSDC → DOMEIntent BDOME → USDCPeer fill. No AMM hop. Surplus on both sides.
//R.02 Coincidence of wants — two intents clear each other

Pair condition

aout(I) = ain(J)aout(J) = ain(I)
(3.1)

A crossing rate r exists when the signed limits overlap:

plim(I) · plim(J) ≤ 1
(3.2)

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*min-out Bmin-out Arate
//R.05 Uniform clearing rate r* inside the CoW interval
r* ∈ [ plim(I) , 1 / plim(J) ]
(3.3)