AI Token Spend

Pricing date as_of is an input; the node reads no clock. A price entry applies when effective_from ≤ as_of ≤ effective_through (null bounds are open); two applicable entries for a compared model are an AMBIGUOUS_PRICE refusal, and a missing block or component price is a refusal naming the model and the component. Batch and long-context shares split each component's tokens into disjoint slices priced from the matching block (the batch block, the long-context block, or the combined batch+long-context block when the provider lists one; otherwise NO_PRICE_FOR_COMBINATION). The cost of T tokens at price P is floor(T/1e6)·P + floor((T mod 1e6)·P/1e6), overflow-safe under the validated caps (monthly tokens per component at most 10¹²; prices at most 10⁹). The estimate covers text tokens only: taxes and regional uplift, image, audio and video tokens, tool-use surcharges, tiered volume discounts, and subscription or committed-spend deals sit outside the estimate. No formal correctness proof exists for this node yet (compute_proof_ready: deferred); see the proof-status note below the results.