FA-61368 / Options payoff and settlement / Member archive

Physical delivery on exercise and assignment: put exercises are booked as share receipts · case 03

Exercised puts add shares and debit cash instead of delivering shares for cash.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Inputs kind C/P, strike, signed contracts (+long exercised, -short assigned), deliverable shares per contract and whether exercise happened. Long calls and short puts receive shares and pay strike*shares; long puts and short calls deliver shares and receive strike*shares. Return [share delta, cash delta] (cash in currency, computed in cents); unexercised returns [0, 0.0].

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 put delivery direction 1	`[300, -12750.0]`	`[-300, 12750.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.