FA-61802 / Options payoff and settlement / Member archive

Exercise notice acceptance cutoff: the time cutoff is applied to the day before expiry · case 02

Early exercise notices filed the evening before expiry are rejected.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Inputs expiry date, submission [y,m,d,hh,mm], cutoff [hh,mm], extension minutes and member flag. Notices after the expiry date are "expired"; notices on earlier dates are "accepted"; on the expiry date a notice is accepted if its minute of day <= cutoff (+extension for members), else "late".

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 earlier-day notices 1	`"late"`	`"accepted"`	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.