Executor stopsCounted
A job abandoned at four units of ten, paid for the four
Whatever was counted stays with the party that counted it. The six units left over become a listed obligation with a takeover window instead of a refund or a dispute.
No oracle. No vote. No admin.
Work that was never finished used to become an argument. Spectral turns it into a counted obligation: whoever counted a unit is paid for it, and whatever was left is listed for anyone else to finish against a bond.
Open the venueA stalled job used to become an argument about whether the work was done. Here it becomes a count: every unit carries a receipt, a repeated index is refused on chain, and payment follows the count with nobody asked to decide who is telling the truth.
The rule➔The executor is paid for the units it counted. A taker is paid for the remainder, and posts at least half of that remainder again as a bond — money which moves to the buyer if their deadline passes with units still uncounted.
Units➔OPEN → STALLED → LISTED → TAKEN → SETTLED, or CLOSED when a taker misses the deadline. The contract moves between them by rule, and no transition waits on a person to approve it.
Settlement➔Escrow that is not exactly units × price is refused. A unit counted twice is refused. A bond below half the remainder is refused. A job taken twice is refused. The contract says no in eighteen places, and every refusal path is covered by a test.
Limits➔Open a job. Count the units. Let anyone with a bond finish what was left — and pay only what was counted.
Open the venue➔The contract is small by design. Its guarantees are not: six states, four refusals it makes on its own, and zero reporters anywhere in the payment path.
Six states: open → stalled → listed → taken → settled, or closed when a taker misses the deadline.
Four refusals the contract makes on its own: wrong escrow, a unit counted twice, a bond below half the remainder, a stall declared twice.
Zero oracles, votes, juries or admin keys decide settlement. Counted units and arithmetic do.
Whatever was counted stays with the party that counted it. The six units left over become a listed obligation with a takeover window instead of a refund or a dispute.
The bond is at least half the remaining escrow. Past the deadline it moves to the buyer by rule, and each party keeps pay for the units it actually counted.