Module runtime_budget 

Resource envelope for host-facing decision runtimes.

Runtime scope

• Build: default via scanning.
• Execution: Surface B (budget for the decision runtime).
• Default termivar scan: yes, through StandardWebDecisionRuntime.
• Support: implemented and tested.

See docs/internals/runtime-map.md.

These contracts deliberately live above planning, reasoning, verification, and experience. Domain layers describe what should happen; the runtime owns whether another side effect is still permitted.

Structs

RuntimeBudget

Multi-dimensional resource envelope for one runtime session.

RuntimeLimitExceeded

Structured explanation of a fail-closed runtime stop.

RuntimeUsage

Monotonic, output-only resource accounting for a runtime session.

TransportDispatchAudit

Bounded, dispatch-ordered transport audit for one accounting authority.

TransportDispatchReceipt

Raw-target-free audit receipt for one broker-owned wire dispatch.

Enums

RuntimeBudgetDimension

Resource dimension that stopped a runtime before its next side effect.

TransportDispatchOutcome

Terminal transport state for one broker-owned wire dispatch.

Constants

DEFAULT_MAX_ACTIVE_VERIFICATIONS

Default maximum number of active verification requests.

DEFAULT_MAX_CONSECUTIVE_NO_PROGRESS_TURNS

Default maximum consecutive completed turns without semantic progress.

DEFAULT_MAX_REQUEST_BODY_BYTES

Default cumulative number of request-body bytes dispatched by the broker.

DEFAULT_MAX_RESPONSE_BYTES

Default cumulative transport-delivered response-body threshold.

DEFAULT_MAX_SAME_ACTION_ATTEMPTS

Default maximum attempts for one semantic action.

DEFAULT_MAX_TOTAL_REQUESTS

Default maximum number of HTTP requests in one runtime session.

DEFAULT_MAX_WALL_TIME_MS

Default wall-clock deadline in milliseconds.

HARD_MAX_TRANSPORT_DISPATCH_RECEIPTS

Maximum dispatch receipts retained by one broker audit.