Documentation

One output of the fold's transaction, reduced to what settlement reads.

What the chain records about the exit beside its outputs.

Who a payment reached, in the chain's terms.

A payment the fold made: its payee and the lovelace that reached it.

The payments of one accepted fold, in the order the model states them: what the fold owes for its request, then the custody refund it pays.

What is owed is reported as the chain paid it, however much that is, so a short payment reaches the comparison as a value below the model's floor. What cannot be read as a payment at all — a delivered token no single output carries, a custody lock that is not there, a spent custody whose source was not observed — is refused rather than reported.

Whether the chain credits an output to an owner's key: it sits at that payment key and carries no token the fold delivers.

The owner output as the ledger outputs crediting the owner present it.

Read the owner output off the outputs crediting the owner's key, or nothing when no output credits it. Outputs presenting different datum forms cannot be read as one owner output, and are refused.

Read a retraction's return off the outputs crediting the owner's key and bound to the output reference the request sat at, or nothing when no output is bound to it. The chain settles a retraction by one sufficient bound output, so the return is read as the largest of them, never a sum; whether it is enough is the judgement's, not the reader's.

The observed owner output, in the model's vocabulary: the owner's identity, the lovelace and datum form read, the registry tokens and state tokens it holds, the approval it returns, named by approvalOf — the run's own binding of each booked approval to its model name, which refuses a name no booking established. Whichever approval the ledger returns is the one reported, so another request's approval differs from the model's commitment. The output reference its datum presents, if any, arrives as its identity.

Whom an exit owes its request's payment, and so which outputs pay it.

Whom this exit owes its request's payment: the model's rule, by edge for a fold; a reject owes the owner, a retraction the owner through a bound output.

The positions of the outputs through which the chain settles what an exit owes for its request: the custody output an absent insertion locks, the outputs carrying a token the fold delivers, for a fold delivering nothing and a reject every output crediting the owner's key, and for a retraction every output crediting it bound to the retracted request.

A change to one output of the fold's transaction, by position.

The edits a tamper makes to the payment an exit owes, read off the exit's own outputs. OtherAddress sends every output paying it elsewhere. ShortByOne leaves the payee credited one lovelace less than the first output paying it holds: that output loses one lovelace, every other output paying it goes elsewhere, and the lovelace taken goes to the transaction's last output, its change. OtherReference binds every output returning a retracted request to another output reference, and StateSpent spends the registry's state beside the retraction; neither applies to another exit. ExtraSigner changes no output.