FA-12702 / Auction allocation rules / Member archive

A buy order matches its own owner · case 02

A buy order matches its own owner.

Member previewVariant 2 · 3 implementations · 6 checks per implementation

Case contract

For one buy [owner, limit] and asks [owner, price], return the cheapest differently owned ask price <= limit, or None. Input order breaks equal prices.

Why this case matters

Deterministic teaching model for reviewing auction allocation software; not a representation of any venue or financial advice.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
skip own ask	`1`	`8`	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.