Cuts the tallies, sells the stock, pays the claims, and never holds a position on either side of any of it
- What am I buying, exactly?
Units of face in one numbered tally. Face is denominated in wei, and a tally is a claim against a lot of cargo that does not exist. Every thirty days this contract cuts a new tally and fixes the size of that lot on the spot. A tally runs for ninety days — the classic tenor of a commercial bill, and picked for that reason.
While it runs, two things flow into it: what people pay for stock in it, and the duty the Pyx has taken at the gate. Both are ether and both stand behind the face. Your stock is a pro-rata claim on whatever is behind that tally the moment you present it. Not a promise of face. A claim on what is actually there, readable to the wei at any second, by anybody.
- How big is a lot?
Three times the bond the register drew over the previous thirty days, and never less than 1 ether. Nobody picks it. Nobody can change it once it is cut.
That rule was not the first attempt. The first design let buyers subscribe as much face as they liked, and it does not survive contact with arithmetic: demand expands until the gate income is a rounding error beside it, every lot drifts to full on subscription money alone, and the word HONOURED stops meaning anything. The simulation found that before a line of this had been near a chain.
Sizing the lot off the warehouse’s own takings fixes it from the other end. A busy quarter cuts large lots, a dead quarter cuts small ones, and the ratio between what the gate earns and what the cargo costs stays fixed by construction. At 3× cover the duty pays for about a third of every lot, and a lot that fills returns half as much again as it cost to subscribe. At 2× that would be +100% a cycle — a bot race and not a market. Above 4× the duty share falls under the honour bar and no lot could ever be honoured at all.
- What does it cost?
There is no order book and no counterparty. The price is a function, it is public, and it is the same function for everybody:
r = backing / subscribed
add = duty × remaining/elapsed × 0.60
add = min(add, (subscribed − backing)/2)
price = (backing + add) / subscribed
The register looks at the rate at which duty — gate income, not other people’s purchases — has actually arrived in this tally, carries that rate out to maturity, takes forty per cent off it for being a guess, and then refuses to let the result climb more than halfway from the money that is there to the money that is promised. A run rate is never read off less than a week.
- Why does that line matter so much?
Because the addition can never be negative, the price can never be less than the money already sitting behind the claim. That single line is the most important one in the file and it is the reason for the shape of everything else.
The alternative has already happened in this repository: a sibling project priced a dated claim off a stale number and would sell you, below face, a claim that was already worth face. The fork simulation caught it. It was free money out of the fund, and it was three lines of arithmetic.
So the guarantee here is written the other way round and proved to the wei: buy and immediately present and you cannot come out ahead. Not by intent — by algebra. Buying n face at price p adds p to both sides of a fraction standing at r ≤ p, so the new ratio lands between r and p; presenting straight back pays that new ratio, which is at most p. Both roundings point at the register: cost rounds up, payout rounds down.
And the pending duty is drawn into the tally before the price is read, in the same transaction, every time. Quoting against money that is about to land but has not been credited yet is the same bug wearing a hat.
- Is buying in fair to people already holding?
Yes, for the same reason. A newcomer pays at least r, so the ratio behind every existing holder can only be moved up. Nobody in a tally can be thinned by somebody else joining it, at any size, at any moment. Fifty thousand random buys, presentations and placements were thrown at that property and the ratio has never once fallen.
- How does the duty get shared out?
Strictly by maturity. The bond is drawn from the Pyx and placed behind the oldest tally still open — the front of the curve — until that one is paid up or matures, and only then does the next begin to fill.
There is one brake. A tally may only ever have absorbed duty worth subscribed × elapsed / term: a stick cut last month cannot swallow the whole quarter’s takings before the older sticks have had theirs. When the front hits that ceiling the remainder spills down the queue, three tallies deep in one call and never more.
Nobody chooses any of this. There is no allocation function, no privileged caller, nothing to lobby. It falls out of two rules, and what it produces is a term structure nobody posted anywhere.
- When is a lot honoured?
When the fiction stops being one. Four conditions, all of them, before the tally matures: every unit of the lot has been subscribed; the backing has reached the whole of it; at least a quarter of the lot was paid for by duty, not by buyers; and the pool has traded on at least 21 separate days since it was cut. The last one cannot be bought.
It latches in two stages. The instant the first three hold, the lot is marked FILLED, in ink, at a block number. Only then does the calendar matter — and by then there is no quantity of face anybody can add that would undo it. Without that, somebody could wait for a lot to fill and then buy a great deal of face at par purely to push the duty share under the bar, strand the lot on paper for ever, and recover every wei afterwards because the ratio was one. It would have cost them nothing.
Honour is permanent. No path in this contract clears it. Whoever burns 1,000,000 PAPER against an honoured lot first may cut a twelve-character merchant’s mark into it, once, for ever. It confers nothing whatsoever.
- What happens if it is not honoured?
Nothing dramatic, deliberately. At maturity the tally stops receiving duty. Whatever ratio it reached is the ratio it keeps, for ever, and every holder can present at that ratio whenever they like. No liquidation, no forced exit, no penalty, no deadline on your own money. The clock was only ever on the funding.
An unhonoured tally matures short. It is a claim on a cargo nobody paid for, which is what a tally has always been, and it stays presentable for ever as the receipt for that.
- What could make this worthless?
No duty. Everything above is plumbing for gate income, and on a pool nobody trades there is none. Lots are then cut at the 1 ether floor, nothing fills them, and every buyer gets back what they put in and not a wei more. That is the ordinary outcome of a quiet pool, not a tail.
Being early. The first buyer into a lot pays 0.50 and carries the whole risk that no duty ever arrives. That is the trade, and it is meant to be uncomfortable.
Front-loading. Whoever subscribes the front of the curve first gets the cheapest way into the tally that is about to be fed. The lot cap bounds how much of that anyone can take and the intake ceiling bounds how fast, but it is still capital being paid ahead of patience, and that is said here rather than left to be discovered.
Late money. The placement walk is bounded at three tallies per call. If the queue falls further behind than that — possible only after a long quiet stretch — the excess waits in unplaced until somebody calls sweep again. It is never lost and never spendable by anyone. It is late.
And this file is unaudited, like the other five. It is the largest of them, it holds the money, and it has already been rewritten once because a simulation disagreed with it.