Skip to main content

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.