Documentation

How a request leaves the queue: folded by its own edge, rejected by a folder in a window its story names, or retracted by its owner.

An exit's operation name: a fold is named by the edge it folds.

A change to the submitted transaction the model's request does not make. OtherAddress sends the payment the exit owes to another address, and ShortByOne pays it one lovelace short; the ledger must refuse both, and the model must refuse them for the reason it gives. ExtraSigner adds one required signer the model does not require; the ledger accepts it, and the comparison must report the transaction's signers. Unsigned removes the owner's required signature from a retraction; its admission witness tells the model which signatures that transaction requires.

A change to the transaction of a fold batch. MintOnFirstKey mints every token the batch delivers at the key of its first request, the deliveries carrying it: the same quantity of each kind, at the wrong keys.

A change to the refunds of a reject batch, in the transaction's input order. CrossedRefunds pays each request's owner, at its refund's position, what the next request's owner is owed. ShortFirstRefund pays the first request's owner the given lovelace short, the rest going to the transaction's change. SplitFirstRefund pays it short at its refund's position too, with two ada more in another output at the same owner's key.

The lovelace a refund tamper takes from the first refund, if any.

Who books a request and what it holds beyond the processing tip. A request without a booking is booked by the runner's own wallet with the default deposit.

Where a reject is placed: a fact about the submitted transaction, not a tamper. The model gives a reject no admission, so its answer does not depend on it; the chain is asked in the window the story names.

The placement as the run log names it.

The placement as the book reads it.

The window a placement names, in POSIX milliseconds, for a request submitted at submittedAt under a registry's processing and retraction times: from its start to its excluded end, open-ended after the windows.

A folder rejects the request in the window the placement names.

A folder rejects the request in that window, through a tampered transaction.

The request's owner retracts it.

The request leaves by this exit through a transaction changed by the tamper.

Fold these requests in one transaction, each on its own edge, and ask the model the same batch: its foldBatch question. The batch is submitted and asked as one instruction; its answer is what the model and the chain each said.

Fold these requests in one transaction changed by the batch tamper, and ask the model the same batch, each request claiming what that transaction mints at its key.

A folder rejects these requests in one transaction, in the window the placement names, and the model is asked the same batch: its rejectBatch question.

A folder rejects these requests in one transaction, in the window the placement names, each booked by the owner and with the deposit its booking names, and the model is asked the same batch.

A folder rejects these booked requests in one transaction changed by the refund tamper, and the model is asked the same batch, judged on the refunds that transaction pays.

Check instruction order over the same program with display-only handles, before a runner can submit a transaction.

One instruction of a program, with the tamper it carries, if any.

What one instruction of a program is.

Every instruction of a program over display handles, in order, theorem clauses included. The walk feeds each instruction the result the book's renderer feeds it, so it meets the instructions the book prints.