Module txn 

Transactions, leases, approvals and incidents (§8).

Structs

ApprovalToken

CheckContext

Recorded at Prepared (§12 step 4) for the Checking and revert probe runs: the candidate’s and the base’s manifests, and every unit’s status before.

ExApprovalToken

ExCheckContext

ExExpectation

ExIncident

Incident

Lease

Exclusive ownership of a transaction (§12). txn is not in §8; the backend fences on (txn, epoch), so the lease has to name its transaction.

Manifest

The manifest part of an evaluated generation.

Session

Transaction

Enums

EscalationReason

IncidentKind

IncidentState

Outcome

OwnerId

TxnState

Constants

PARKING_LIMIT

How long a transaction may wait in Built for an activation window (§12f, I12); AwaitingBoot has no limit.

TOKEN_LIFETIME