Interface: OperationReservation
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:119
One operation reservation as a store reads it.
Properties
expires
expires:
Date
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:135
When the row's window closes.
id
id:
string
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:121
The id the store gave it.
leaseRun
leaseRun:
number|null
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:133
The number of the run holding the lease, or null. Run numbers only grow, so it is a fencing token.
leaseUntil
leaseUntil:
Date|null
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:131
When the lease of the run holding it ends, or null when no run holds it.
micro
micro:
number
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:125
The amount reserved for every run the operation may have, in micro-dollars.
operation
operation:
string
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:123
The caller's operation, unique among the store's reservations.
recordedMicro
recordedMicro:
number
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:127
What the row settles at: each ended run's settled figure and each other run's whole bound.
runs
runs:
number
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:129
The runs begun.
settledAt
settledAt:
Date|null
Defined in: packages/agentos/src/safety/runtime/SpendReservations.ts:137
When it settled, or null while open.