On 12 Dec 2008, at 19:14, Elliott Hird wrote:
Without 3 objections I intend to amend the Vote Market thusly:
Oops, I object. Forgot just SELL(X).
Without 3 objections I intend to amend the Vote Market thusly:
{{{{
/* non-VP tickets don't work and as BobTHJ has argued VP are obsolete.
This leaves the VP definition around so that you can get your money's
worth via the banks. */
Repeal section 10.
Replace section 8 with: "Any party may cease to be bound by the Trade
Market agreement by announcement."
Replace section 1 with "1. The name of this contract is the Trade
Market."
Replace the section 2 concerning the Broker with "2. The Broker is
responsible
for maintaining the Trade Market. Initially the Broker is BobTHJ."
Replace "Vote Market" with "Trade Market" in the section 2 concerning
VP.
Replace section 3 with: {{{
3. At any time a party CAN post a Ticket by announcement that
consists of two
ordered lists of actions and obligations, labeled "take" and "give".
A cost in one or more currencies can be specified instead of an
action for
either of the lists, in which case the action is "transfer X to Y",
where X is
the cost and Y is:
* If a take action, "the poster of this ticket"
* If a give action, "the filler of this ticket"
Optionally, a Ticket can note that it can be filled multiple times.
Optionally, a Ticket can include restrictions on its filling relating
to who can
fill it, when it can be filled, or other similar conditions. These
conditions
are only valid if they can be reasonably determined (what is
reasonable is up
to game custom and the courts) at the time of filling.
A Ticket ceases to exist if its poster leaves this contract.
The poster of a ticket CAN retract it by announcement. It then ceases
to exist.
}}}
Replace section 4 with: {{{
4. Any party other than its poster CAN fill an existing Ticket by
announcement
if the following conditions are met:
* They CAN perform the take actions.
* The poster CAN perform the give actions.
* They meet all valid conditions the Ticket specifies on its
filling.
Filling a ticket consists of the following:
1. The filler performing the take actions in order. When this
happens, the
filler of a ticket CAN act on behalf of the poster of the
ticket to cause
them to perform the give actions, in order, once.
2. The filler acting on behalf of the poster to perform the give
actions in
order.
If any of these would fail, the whole filling fails.
Unless the Ticket is specified as fillable multiple times, after a
fill, it
ceases to exist.
Once a Ticket has been filled, the poster SHALL obey all take
obligations
specified by that ticket and the filler SHALL obey all give obligations
specified by that ticket. These obligations continue even after the
ticket
ceases to exist.
}}}
Repeal sections 11 and 12. /* I do like auctions but I think another
contract
could handle them */
Replace section 13 with:
{{{
13. SELL(X - Y) is a vote resolving to Y that, as a side effect,
causes the
voter to post a corresponding ticket as described:
* The take actions/currencies being X.
* The give actions and obligations being as follows:
* Retract all votes on the proposal the SELL vote
corresponding to
this ticket is cast on
* Vote on it as many times as the poster's current voting
limit on
that proposal as specified by the filler, or endorse the
filler if
the filler does not specify a vote
* Do not retract this vote
If a SELL vote corresponding to an unfilled ticket is retracted, the
corresponding ticket is retracted too.
SELL(X) is shorthand for SELL(X - PRESENT).
}}} /* not handling the voting limit thing here as it's an edge case
and I
can't think of a nice way to word it. I don't think it has come up
yet. */
Renumber all sections so that their numbers are consecutive and start
from 1.
}}}}
