Understand the failure.
Verify the repair.
Small, reproducible software failures. The broken implementation, the fix that didn’t work, and the one that passed—preserved together.
Explore the cases ↓How results are verified ↗WHAT THE ARCHIVE CONTAINS
100840 executable cases. 20168 are open.
Every case records the implementation that fails, the fix that did not work, and the repair that passed its checks—with recorded outputs and source hashes. This release adds 100840 cases across 20168 failure mechanisms and 254 domains.
The open tier gives you the failure and the unsuccessful fix for one case in every mechanism. The remaining 80672 cases, 5 variants per mechanism, are member-only: the verified repair, its recorded checks, and the full fixture suite are held in the member archive. Read the methodology ↗
A RECORD OF WHAT WENT WRONG
Browse the archive / 100840
Act/Act AFB whole-year decomposition: a 29 February end steps back to 1 March in common years · case 01
Periods ending on a leap day count one fewer stub day or one fewer whole year.
Act/Act AFB whole-year decomposition: a 29 February end steps back to 1 March in common years · case 02
Periods ending on a leap day count one fewer stub day or one fewer whole year.
Act/Act AFB whole-year decomposition: a 29 February end steps back to 1 March in common years · case 03
Periods ending on a leap day count one fewer stub day or one fewer whole year.
Act/Act AFB whole-year decomposition: a 29 February end steps back to 1 March in common years · case 04
Periods ending on a leap day count one fewer stub day or one fewer whole year.
Act/Act AFB whole-year decomposition: a 29 February end steps back to 1 March in common years · case 05
Periods ending on a leap day count one fewer stub day or one fewer whole year.
Act/Act AFB whole-year decomposition: the stub denominator follows the leap status of the stub end year · case 01
Stubs that contain a leap day from the previous year, or none at all, use the wrong year length.
Act/Act AFB whole-year decomposition: the stub denominator follows the leap status of the stub end year · case 02
Stubs that contain a leap day from the previous year, or none at all, use the wrong year length.
Act/Act AFB whole-year decomposition: the stub denominator follows the leap status of the stub end year · case 03
Stubs that contain a leap day from the previous year, or none at all, use the wrong year length.
Act/Act AFB whole-year decomposition: the stub denominator follows the leap status of the stub end year · case 04
Stubs that contain a leap day from the previous year, or none at all, use the wrong year length.
Act/Act AFB whole-year decomposition: the stub denominator follows the leap status of the stub end year · case 05
Stubs that contain a leap day from the previous year, or none at all, use the wrong year length.
Act/Act AFB whole-year decomposition: the leap-day search looks at the whole period instead of the stub · case 01
Stubs in periods of more than a year use 366 because of leap days in the whole years.
Act/Act AFB whole-year decomposition: the leap-day search looks at the whole period instead of the stub · case 02
Stubs in periods of more than a year use 366 because of leap days in the whole years.
Act/Act AFB whole-year decomposition: the leap-day search looks at the whole period instead of the stub · case 03
Stubs in periods of more than a year use 366 because of leap days in the whole years.
Act/Act AFB whole-year decomposition: the leap-day search looks at the whole period instead of the stub · case 04
Stubs in periods of more than a year use 366 because of leap days in the whole years.
Act/Act AFB whole-year decomposition: the leap-day search looks at the whole period instead of the stub · case 05
Stubs in periods of more than a year use 366 because of leap days in the whole years.
Coupon period lookup for a settlement date: a settlement on a coupon date is assigned to the ending period · case 01
Settling on a coupon date charges a full period of accrued interest.
Coupon period lookup for a settlement date: a settlement on a coupon date is assigned to the ending period · case 02
Settling on a coupon date charges a full period of accrued interest.
Coupon period lookup for a settlement date: a settlement on a coupon date is assigned to the ending period · case 03
Settling on a coupon date charges a full period of accrued interest.
Coupon period lookup for a settlement date: a settlement on a coupon date is assigned to the ending period · case 04
Settling on a coupon date charges a full period of accrued interest.
Coupon period lookup for a settlement date: a settlement on a coupon date is assigned to the ending period · case 05
Settling on a coupon date charges a full period of accrued interest.
Coupon period lookup for a settlement date: the first period start is a regular period before the first coupon · case 01
Accrual in an irregular first period starts on a date other than issue.
Coupon period lookup for a settlement date: the first period start is a regular period before the first coupon · case 02
Accrual in an irregular first period starts on a date other than issue.
Coupon period lookup for a settlement date: the first period start is a regular period before the first coupon · case 03
Accrual in an irregular first period starts on a date other than issue.
Coupon period lookup for a settlement date: the first period start is a regular period before the first coupon · case 04
Accrual in an irregular first period starts on a date other than issue.
Coupon period lookup for a settlement date: the first period start is a regular period before the first coupon · case 05
Accrual in an irregular first period starts on a date other than issue.
Coupon period lookup for a settlement date: settlements before the first coupon are rejected as not issued · case 01
Trades in the first coupon period are refused.
Coupon period lookup for a settlement date: settlements before the first coupon are rejected as not issued · case 02
Trades in the first coupon period are refused.
Coupon period lookup for a settlement date: settlements before the first coupon are rejected as not issued · case 03
Trades in the first coupon period are refused.
Coupon period lookup for a settlement date: settlements before the first coupon are rejected as not issued · case 04
Trades in the first coupon period are refused.
Coupon period lookup for a settlement date: settlements before the first coupon are rejected as not issued · case 05
Trades in the first coupon period are refused.
Deposit maturity with the end-to-end rule: the end-to-end rule is triggered by the calendar month end · case 01
Deposits starting on the last business day before a month-end weekend mature mid-month.
Deposit maturity with the end-to-end rule: the end-to-end rule is triggered by the calendar month end · case 02
Deposits starting on the last business day before a month-end weekend mature mid-month.
Deposit maturity with the end-to-end rule: the end-to-end rule is triggered by the calendar month end · case 03
Deposits starting on the last business day before a month-end weekend mature mid-month.
Deposit maturity with the end-to-end rule: the end-to-end rule is triggered by the calendar month end · case 04
Deposits starting on the last business day before a month-end weekend mature mid-month.
Deposit maturity with the end-to-end rule: the end-to-end rule is triggered by the calendar month end · case 05
Deposits starting on the last business day before a month-end weekend mature mid-month.
Deposit maturity with the end-to-end rule: the end-to-end maturity is the calendar month end · case 01
Maturities fall on weekends and holidays at month end.
Deposit maturity with the end-to-end rule: the end-to-end maturity is the calendar month end · case 02
Maturities fall on weekends and holidays at month end.
Deposit maturity with the end-to-end rule: the end-to-end maturity is the calendar month end · case 03
Maturities fall on weekends and holidays at month end.
Deposit maturity with the end-to-end rule: the end-to-end maturity is the calendar month end · case 04
Maturities fall on weekends and holidays at month end.
Deposit maturity with the end-to-end rule: the end-to-end maturity is the calendar month end · case 05
Maturities fall on weekends and holidays at month end.
Cash-settled expiry with exercise by exception: an option exactly at the minimum in-the-money amount is abandoned · case 01
Positions in the money by exactly the threshold expire worthless.
Cash-settled expiry with exercise by exception: an option exactly at the minimum in-the-money amount is abandoned · case 02
Positions in the money by exactly the threshold expire worthless.
Cash-settled expiry with exercise by exception: an option exactly at the minimum in-the-money amount is abandoned · case 03
Positions in the money by exactly the threshold expire worthless.
Cash-settled expiry with exercise by exception: an option exactly at the minimum in-the-money amount is abandoned · case 04
Positions in the money by exactly the threshold expire worthless.
Cash-settled expiry with exercise by exception: an option exactly at the minimum in-the-money amount is abandoned · case 05
Positions in the money by exactly the threshold expire worthless.
Cash-settled expiry with exercise by exception: moneyness magnitude is used regardless of option type · case 01
Out-of-the-money options are exercised and paid as if in the money.
Cash-settled expiry with exercise by exception: moneyness magnitude is used regardless of option type · case 02
Out-of-the-money options are exercised and paid as if in the money.
Cash-settled expiry with exercise by exception: moneyness magnitude is used regardless of option type · case 03
Out-of-the-money options are exercised and paid as if in the money.
Cash-settled expiry with exercise by exception: moneyness magnitude is used regardless of option type · case 04
Out-of-the-money options are exercised and paid as if in the money.
Cash-settled expiry with exercise by exception: moneyness magnitude is used regardless of option type · case 05
Out-of-the-money options are exercised and paid as if in the money.
Cash-settled expiry with exercise by exception: do-not-exercise instructions are never recognized · case 01
Holders who instructed not to exercise are exercised automatically.
Cash-settled expiry with exercise by exception: do-not-exercise instructions are never recognized · case 02
Holders who instructed not to exercise are exercised automatically.
Cash-settled expiry with exercise by exception: do-not-exercise instructions are never recognized · case 03
Holders who instructed not to exercise are exercised automatically.
Cash-settled expiry with exercise by exception: do-not-exercise instructions are never recognized · case 04
Holders who instructed not to exercise are exercised automatically.
Cash-settled expiry with exercise by exception: do-not-exercise instructions are never recognized · case 05
Holders who instructed not to exercise are exercised automatically.
Cash-settled expiry with exercise by exception: assigned short positions receive the settlement amount · case 01
Short holders are credited instead of debited on assignment.
Cash-settled expiry with exercise by exception: assigned short positions receive the settlement amount · case 02
Short holders are credited instead of debited on assignment.
Cash-settled expiry with exercise by exception: assigned short positions receive the settlement amount · case 03
Short holders are credited instead of debited on assignment.
Cash-settled expiry with exercise by exception: assigned short positions receive the settlement amount · case 04
Short holders are credited instead of debited on assignment.
Cash-settled expiry with exercise by exception: assigned short positions receive the settlement amount · case 05
Short holders are credited instead of debited on assignment.
Cash-settled expiry with exercise by exception: the settlement amount ignores the contract multiplier · case 01
Cash settlement is a fraction of the correct amount.
Cash-settled expiry with exercise by exception: the settlement amount ignores the contract multiplier · case 02
Cash settlement is a fraction of the correct amount.
Cash-settled expiry with exercise by exception: the settlement amount ignores the contract multiplier · case 03
Cash settlement is a fraction of the correct amount.
Cash-settled expiry with exercise by exception: the settlement amount ignores the contract multiplier · case 04
Cash settlement is a fraction of the correct amount.
Cash-settled expiry with exercise by exception: the settlement amount ignores the contract multiplier · case 05
Cash settlement is a fraction of the correct amount.
Physical delivery on exercise and assignment: put exercises are booked as share receipts · case 01
Exercised puts add shares and debit cash instead of delivering shares for cash.
Physical delivery on exercise and assignment: put exercises are booked as share receipts · case 02
Exercised puts add shares and debit cash instead of delivering shares for cash.
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.
Physical delivery on exercise and assignment: put exercises are booked as share receipts · case 04
Exercised puts add shares and debit cash instead of delivering shares for cash.
Physical delivery on exercise and assignment: put exercises are booked as share receipts · case 05
Exercised puts add shares and debit cash instead of delivering shares for cash.
Physical delivery on exercise and assignment: the short-side inversion is applied only to calls · case 01
Assigned short puts deliver shares they should receive.
Physical delivery on exercise and assignment: the short-side inversion is applied only to calls · case 02
Assigned short puts deliver shares they should receive.
Physical delivery on exercise and assignment: the short-side inversion is applied only to calls · case 03
Assigned short puts deliver shares they should receive.
Physical delivery on exercise and assignment: the short-side inversion is applied only to calls · case 04
Assigned short puts deliver shares they should receive.
Physical delivery on exercise and assignment: the short-side inversion is applied only to calls · case 05
Assigned short puts deliver shares they should receive.
Physical delivery on exercise and assignment: cash moves in the same direction as shares · case 01
Buyers of shares are credited the strike price.
Physical delivery on exercise and assignment: cash moves in the same direction as shares · case 02
Buyers of shares are credited the strike price.
Physical delivery on exercise and assignment: cash moves in the same direction as shares · case 03
Buyers of shares are credited the strike price.
Physical delivery on exercise and assignment: cash moves in the same direction as shares · case 04
Buyers of shares are credited the strike price.
Physical delivery on exercise and assignment: cash moves in the same direction as shares · case 05
Buyers of shares are credited the strike price.
Physical delivery on exercise and assignment: every contract is assumed to deliver 100 shares · case 01
Adjusted contracts after corporate actions deliver the wrong share count.
Physical delivery on exercise and assignment: every contract is assumed to deliver 100 shares · case 02
Adjusted contracts after corporate actions deliver the wrong share count.
Physical delivery on exercise and assignment: every contract is assumed to deliver 100 shares · case 03
Adjusted contracts after corporate actions deliver the wrong share count.
Physical delivery on exercise and assignment: every contract is assumed to deliver 100 shares · case 04
Adjusted contracts after corporate actions deliver the wrong share count.
Physical delivery on exercise and assignment: every contract is assumed to deliver 100 shares · case 05
Adjusted contracts after corporate actions deliver the wrong share count.
Contract adjustment for splits and special dividends: any forward split is treated as an integral ratio · case 01
A 3-for-2 split leaves strike and contracts unchanged and the deliverable unadjusted.
Contract adjustment for splits and special dividends: any forward split is treated as an integral ratio · case 02
A 3-for-2 split leaves strike and contracts unchanged and the deliverable unadjusted.
Contract adjustment for splits and special dividends: any forward split is treated as an integral ratio · case 03
A 3-for-2 split leaves strike and contracts unchanged and the deliverable unadjusted.
Contract adjustment for splits and special dividends: any forward split is treated as an integral ratio · case 04
A 3-for-2 split leaves strike and contracts unchanged and the deliverable unadjusted.
Contract adjustment for splits and special dividends: any forward split is treated as an integral ratio · case 05
A 3-for-2 split leaves strike and contracts unchanged and the deliverable unadjusted.
Contract adjustment for splits and special dividends: the adjusted strike is truncated to cents · case 01
Strikes whose division leaves half a cent or more are a cent too low.
Contract adjustment for splits and special dividends: the adjusted strike is truncated to cents · case 02
Strikes whose division leaves half a cent or more are a cent too low.
Contract adjustment for splits and special dividends: the adjusted strike is truncated to cents · case 03
Strikes whose division leaves half a cent or more are a cent too low.
Contract adjustment for splits and special dividends: the adjusted strike is truncated to cents · case 04
Strikes whose division leaves half a cent or more are a cent too low.
Contract adjustment for splits and special dividends: the adjusted strike is truncated to cents · case 05
Strikes whose division leaves half a cent or more are a cent too low.
Contract adjustment for splits and special dividends: the new deliverable keeps fractional shares · case 01
Deliverables such as 166.67 shares are produced for 5-for-3 splits.
Contract adjustment for splits and special dividends: the new deliverable keeps fractional shares · case 02
Deliverables such as 166.67 shares are produced for 5-for-3 splits.
Contract adjustment for splits and special dividends: the new deliverable keeps fractional shares · case 03
Deliverables such as 166.67 shares are produced for 5-for-3 splits.
Contract adjustment for splits and special dividends: the new deliverable keeps fractional shares · case 04
Deliverables such as 166.67 shares are produced for 5-for-3 splits.
Contract adjustment for splits and special dividends: the new deliverable keeps fractional shares · case 05
Deliverables such as 166.67 shares are produced for 5-for-3 splits.
INSPECTABLE BY DESIGN
Every result has a runnable source.
Runnable implementations with recorded outputs, source hashes, and explicit contracts. Related variants share a failure mechanism and belong together in evaluation splits.
Read the methodology ↗