Deterministic economics

The reasoning model selects and explains a relationship. Application code constructs the advisory position.

Quantity begins with the owner's stated loss or promotional cap. An owner budget or coverage target can reduce that quantity. Browser adjustments may reduce a server-vetted plan, but cannot exceed it.

The selected-side paid price comes from a displayed ask or the complement of the opposite bid. Last trade and midpoint are not substitutes.

Cost, gross payout, coverage and residual loss come from the same construction. Every public surface should show the same economics for the same quantity.

Binary-contract ledger

For a $1-paying binary contract:

• gross payout = contracts x $1
• upfront cost = contracts x selected-side paid price
• remaining exposure = max(0, owner risk - gross payout)
• coverage = gross payout / owner risk

Public screens round to whole dollars. The stored receipt contract allows only the narrow rounding difference required to reproduce that display.

Binding controls

The full construction begins with one advisory contract per dollar of stated exposure. A budget or coverage target can reduce contract count. The calculation never increases beyond the server-vetted plan and never uses activity telemetry to claim executable capacity.

When the owner has not supplied a usable amount, the product can show the relationship without dollars and ask one contextual question. The answer is attached to the exact exposure reference before the deterministic continuation runs.

Worked example: p011

The owner states $49,500 of quarterly fuel-cost risk. The selected YES contract costs 21 cents and can pay $1 per contract.

The budget changes quantity, cost, potential payout and residual exposure together. It does not change the driver explanation: retail gasoline is a proxy for diesel because both follow the pump-price driver.