FA-61807 / Options payoff and settlement / Member archive

Put-call parity violation detector: the strike is not discounted · case 02

Parity checks flag every fairly priced pair when rates are positive.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Inputs call price C, put price P, S, K, r, T, dividend yield q and tolerance. v = (C - P) - (S e^{-qT} - K e^{-rT}). If |v| <= tol return ["none", 0.0]; if v > 0 return ["sell call buy put", v]; else ["buy call sell put", -v], amounts rounded to 6.

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 strike discounting 1	`["sell call buy put", 2.9514]`	`["none", 0.0]`	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.