Unsupported: daily variation margin as the target

When the target itself is outside the supported semantics, the demo refuses up front instead of comparing it to something that merely looks similar.

UNSUPPORTED not executable

UNSUPPORTED: the comparison was refused.

UNSUPPORTED_SETTLEMENT_MECHANISM That settlement mechanism is outside the demo's supported scope.

Rewrite budget: rule depth <= 3, candidate cap 24, 0 expansions
Candidates found: 0 verified · 0 refused
Quote source: n/a
Proof mechanism: not attempted: the target was refused

Structures compared

Target structure

the exposure you described · 1 leg

Structure legs
Leg	Side	Qty	Instrument	Strike	Amount	Mult.
1	Buy	1	Forward	100	n/a	1

Why this was refused

Unsupported input is refused rather than coerced, and nothing downstream may read a refusal as a finding of inequality. No payoff claim and no economic claim is made about this structure.

No candidate generation was attempted: the target itself is outside the demo's supported semantic scope, and unsupported input is refused rather than coerced (spec line 149).

No cost estimate is shown either: pricing a structure whose payoff semantics are not established would attach a number to a claim the verifier has not made.

Contract dimension	Value as submitted
Underlying	BTC
Expiry (event time)	2026-12-25 08:00 UTC
Settlement time	2026-12-25 08:00 UTC
Settlement currency	USD
Fixing / index	BTC-INDEX-30MIN-V1
Settlement mechanism	DAILY_VM
Rounding rule	NO_ROUNDING_DEMO_V1
Multiplier	1
Multiplier convention	linear-per-underlying:v1

Rewrite premises and budget notes

No candidate generation was attempted: the target itself is outside the demo's supported semantic scope, and unsupported input is refused rather than coerced (spec line 149).
No cost estimate is shown either: pricing a structure whose payoff semantics are not established would attach a number to a claim the verifier has not made.

Target estimated cost

n/a COST_UNAVAILABLE

COST_UNAVAILABLE

Not priced: the target is outside the demo's supported semantics, so no economic analysis was performed.

Cost ranking

no ranked structures

No cost estimate is shown: the target was refused, so nothing was priced or ranked.

Cost model scope

No market-impact, depth, or slippage model.
No funding, borrow, margin, collateral, or discounting.
No partial-fill, latency, or atomic-execution guarantee.
No market-data freshness claim: quotes are the fixture or the values you typed.
Not executable pricing. This is a demonstration estimate over supplied quotes.

Would this matter in your workflow?

The most useful thing you can send is a real structure or contract pair from your own book.

Request a design-partner conversation

What this result does not claim

Research and product demonstration. This is not the production FESC system, not a trading system, and not production safe. There is no order execution, no broker connectivity, and no live market data anywhere in this application.
No guaranteed savings, no guaranteed profitability, no legal equivalence, and no complete market coverage is claimed. Cost figures are demonstration estimates over supplied quotes.
The rewrite library is four parity rewrite rules applied within a bounded depth budget, not a complete equality-saturation search.
Equality here is exact within this demo's semantic scope. It is not a Lean-admitted theorem and makes no schedule-independence claim.