Module budget 

Pure destination budget planning.

The planner never edits request data. Callers identify any host-marked prose spans separately; everything else belongs in protected_request.

Structs

BudgetInput

Immutable inputs to plan_budget.

BudgetPlan

A successful arithmetic plan. It contains no transformed request data.

DestinationLimits

Destination limits used by the pure planner.

EligibleProseSpan

A contiguous prose span that trusted-host metadata has marked eligible.

RequestBudgetContract

Immutable contract carried to the final production request boundary.

Enums

BudgetOutcome

Exhaustive outcome from the pure planner.

OutputCeilingField

Wire field that must carry the reserved output ceiling.

WireContract

Final wire representation whose framing has been proven for counting.

Constants

SYNTHETIC_EXACT_MODEL

Synthetic destination used by deterministic request-boundary fixtures.

Functions

endpoint_fingerprint

Stable, non-secret identity for an explicitly configured endpoint.

plan_budget

Compute I = min(L, H, C - O - R - M) and B = I - F without I/O or request mutation.

validate_final_count

Recount the complete final serialization and prove it fits the plan.