Skip to main content

Module run

Module run 

Source
Expand description

Run records, rustev.run/1 (spec 003, 3.9): what the runtime delivers for one admitted decision. The core’s evidence record is carried unchanged in its own member; everything else is a runtime observation, recorded and never promised to repeat (principle XIII).

Also the cost and cancellation vocabulary the backend seam reports in (spec 003, 3.5 and 3.7), so an outside reader needs this crate alone.

Structs§

AttemptCost
AttemptRecord
BatchMembership
An attempt’s place in a batched exchange.
CostSummary
A decision’s cost at the moment its record was built (spec 003, 3.5.6).
RemoteEvidence
One remote attempt’s evidence reference in rustev.run/2 (spec 020, 3.2, I-4). It names the exchange record, never embeds it: no request or response body, credential, secret address, unredacted principal reference, provider reasoning or header.
RequestRecord
RunRecord
SuppliedFrom
Where a supplied value came from (spec 004, 3.2).
Timing
Monotonic milliseconds from submission; never wall-clock time.

Enums§

AttemptEnd
CancelAnswer
Cancellation
What is known about cancelling an attempt (spec 003, 3.7.3).
Charge
What an attempt cost, as far as is known when it ends.
ChargeProvenance
How the attempt’s charge was established.
CoreEvidence
CostBound
A backend’s per-call cost disclosure, before dispatch.
CostMode
CostModel
A backend’s static cost disclosure.
EvidenceUnavailable
Why an attempt’s exchange record cannot be named (spec 020, 3.2): stated, never reconstructed.
ExchangeReference
Where the exchange record of an attempt is, or why it cannot be named.
FinalCost
RecordedExecution
RemoteState
RequestResult
RetentionClass
What the host retained of an exchange.
RunVersionError
Why a record has no version 1 projection, or does not fit its version.
Termination
Transition

Constants§

MAX_REMOTE_EVIDENCE
The most remote evidence entries one rustev.run/2 record holds.
MAX_REMOTE_EVIDENCE_ENTRY_BYTES
The most canonical bytes of one remote evidence entry, so the list never exceeds 2 MiB.
MAX_REMOTE_EVIDENCE_INSTANCE
The most instance ids an entry names.