FA-61737 / Options payoff and settlement / Member archive

Implied volatility by bisection with arbitrage bounds: the lower bound uses the undiscounted intrinsic value · case 02

Prices between discounted and undiscounted intrinsic are rejected or solved inconsistently.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Inputs kind, option price, S, K, r, T (no dividends). If price <= lower bound (call max(S - K e^{-rT},0), put max(K e^{-rT} - S,0)) or price >= upper bound (call S, put K e^{-rT}) return None. Otherwise bisect sigma in [1e-6, 5] for 100 iterations on the Black-Scholes price and return the midpoint rounded to 4.

Why this case matters

Option expiry, exercise and settlement engines move cash and shares; a wrong branch misstates obligations.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression lower arbitrage bound 1	`null`	`0.1352`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.