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
Deductible credit interpolation: Deductibles below the table lose the lowest-row surcharge · case 01
Low deductibles escape the surcharge in the first table row.
Deductible credit interpolation: Deductibles below the table lose the lowest-row surcharge · case 02
Low deductibles escape the surcharge in the first table row.
Deductible credit interpolation: Deductibles below the table lose the lowest-row surcharge · case 03
Low deductibles escape the surcharge in the first table row.
Deductible credit interpolation: Deductibles below the table lose the lowest-row surcharge · case 04
Low deductibles escape the surcharge in the first table row.
Deductible credit interpolation: Deductibles below the table lose the lowest-row surcharge · case 05
Low deductibles escape the surcharge in the first table row.
Deductible credit interpolation: Zero deductible is rejected as invalid · case 01
A full-coverage zero-deductible quote returns invalid.
Deductible credit interpolation: Zero deductible is rejected as invalid · case 02
A full-coverage zero-deductible quote returns invalid.
Deductible credit interpolation: Zero deductible is rejected as invalid · case 03
A full-coverage zero-deductible quote returns invalid.
Deductible credit interpolation: Zero deductible is rejected as invalid · case 04
A full-coverage zero-deductible quote returns invalid.
Deductible credit interpolation: Zero deductible is rejected as invalid · case 05
A full-coverage zero-deductible quote returns invalid.
Deductible credit interpolation: Negative credits round toward zero · case 01
Surcharge amounts are off by a cent in the insured's favour.
Deductible credit interpolation: Negative credits round toward zero · case 02
Surcharge amounts are off by a cent in the insured's favour.
Deductible credit interpolation: Negative credits round toward zero · case 03
Surcharge amounts are off by a cent in the insured's favour.
Deductible credit interpolation: Negative credits round toward zero · case 04
Surcharge amounts are off by a cent in the insured's favour.
Deductible credit interpolation: Negative credits round toward zero · case 05
Surcharge amounts are off by a cent in the insured's favour.
Short-rate cancellation return premium: Short-rate penalty is taken on the full premium · case 01
Insured cancellations refund much less than 90% of unearned premium.
Short-rate cancellation return premium: Short-rate penalty is taken on the full premium · case 02
Insured cancellations refund much less than 90% of unearned premium.
Short-rate cancellation return premium: Short-rate penalty is taken on the full premium · case 03
Insured cancellations refund much less than 90% of unearned premium.
Short-rate cancellation return premium: Short-rate penalty is taken on the full premium · case 04
Insured cancellations refund much less than 90% of unearned premium.
Short-rate cancellation return premium: Short-rate penalty is taken on the full premium · case 05
Insured cancellations refund much less than 90% of unearned premium.
Short-rate cancellation return premium: Minimum earned premium is applied to insurer cancellations · case 01
Early insurer-initiated cancellations retain a minimum earned premium.
Short-rate cancellation return premium: Minimum earned premium is applied to insurer cancellations · case 02
Early insurer-initiated cancellations retain a minimum earned premium.
Short-rate cancellation return premium: Minimum earned premium is applied to insurer cancellations · case 03
Early insurer-initiated cancellations retain a minimum earned premium.
Short-rate cancellation return premium: Minimum earned premium is applied to insurer cancellations · case 04
Early insurer-initiated cancellations retain a minimum earned premium.
Short-rate cancellation return premium: Minimum earned premium is applied to insurer cancellations · case 05
Early insurer-initiated cancellations retain a minimum earned premium.
Short-rate cancellation return premium: Unearned days count the cancellation day twice · case 01
Every mid-term return is one day of premium too large.
Short-rate cancellation return premium: Unearned days count the cancellation day twice · case 02
Every mid-term return is one day of premium too large.
Short-rate cancellation return premium: Unearned days count the cancellation day twice · case 03
Every mid-term return is one day of premium too large.
Short-rate cancellation return premium: Unearned days count the cancellation day twice · case 04
Every mid-term return is one day of premium too large.
Short-rate cancellation return premium: Unearned days count the cancellation day twice · case 05
Every mid-term return is one day of premium too large.
Short-rate cancellation return premium: Flat cancellation refund depends on who cancels · case 01
An insured who cancels before inception is charged a short-rate penalty.
Short-rate cancellation return premium: Flat cancellation refund depends on who cancels · case 02
An insured who cancels before inception is charged a short-rate penalty.
Short-rate cancellation return premium: Flat cancellation refund depends on who cancels · case 03
An insured who cancels before inception is charged a short-rate penalty.
Short-rate cancellation return premium: Flat cancellation refund depends on who cancels · case 04
An insured who cancels before inception is charged a short-rate penalty.
Short-rate cancellation return premium: Flat cancellation refund depends on who cancels · case 05
An insured who cancels before inception is charged a short-rate penalty.
Short-rate cancellation return premium: Return is raised to the minimum instead of capped by it · case 01
Insured cancellations refund more than the premium minus the minimum earned amount.
Short-rate cancellation return premium: Return is raised to the minimum instead of capped by it · case 02
Insured cancellations refund more than the premium minus the minimum earned amount.
Short-rate cancellation return premium: Return is raised to the minimum instead of capped by it · case 03
Insured cancellations refund more than the premium minus the minimum earned amount.
Short-rate cancellation return premium: Return is raised to the minimum instead of capped by it · case 04
Insured cancellations refund more than the premium minus the minimum earned amount.
Short-rate cancellation return premium: Return is raised to the minimum instead of capped by it · case 05
Insured cancellations refund more than the premium minus the minimum earned amount.
Increased limits factor layer pricing: Layer top ignores the attachment point · case 01
Excess layers are priced as if they ended at the layer width.
Increased limits factor layer pricing: Layer top ignores the attachment point · case 02
Excess layers are priced as if they ended at the layer width.
Increased limits factor layer pricing: Layer top ignores the attachment point · case 03
Excess layers are priced as if they ended at the layer width.
Increased limits factor layer pricing: Layer top ignores the attachment point · case 04
Excess layers are priced as if they ended at the layer width.
Increased limits factor layer pricing: Layer top ignores the attachment point · case 05
Excess layers are priced as if they ended at the layer width.
Increased limits factor layer pricing: ILF curve has no origin point below the basic limit · case 01
Ground-up and sub-basic layers come back unrated.
Increased limits factor layer pricing: ILF curve has no origin point below the basic limit · case 02
Ground-up and sub-basic layers come back unrated.
Increased limits factor layer pricing: ILF curve has no origin point below the basic limit · case 03
Ground-up and sub-basic layers come back unrated.
Increased limits factor layer pricing: ILF curve has no origin point below the basic limit · case 04
Ground-up and sub-basic layers come back unrated.
Increased limits factor layer pricing: ILF curve has no origin point below the basic limit · case 05
Ground-up and sub-basic layers come back unrated.
Increased limits factor layer pricing: The largest tabulated limit is treated as beyond the table · case 01
A layer that exhausts exactly at the maximum limit is unrated.
Increased limits factor layer pricing: The largest tabulated limit is treated as beyond the table · case 02
A layer that exhausts exactly at the maximum limit is unrated.
Increased limits factor layer pricing: The largest tabulated limit is treated as beyond the table · case 03
A layer that exhausts exactly at the maximum limit is unrated.
Increased limits factor layer pricing: The largest tabulated limit is treated as beyond the table · case 04
A layer that exhausts exactly at the maximum limit is unrated.
Increased limits factor layer pricing: The largest tabulated limit is treated as beyond the table · case 05
A layer that exhausts exactly at the maximum limit is unrated.
Increased limits factor layer pricing: Excess layer subtracts the wrong lower factor · case 01
Excess layers are charged the full ground-up premium.
Increased limits factor layer pricing: Excess layer subtracts the wrong lower factor · case 02
Excess layers are charged the full ground-up premium.
Increased limits factor layer pricing: Excess layer subtracts the wrong lower factor · case 03
Excess layers are charged the full ground-up premium.
Increased limits factor layer pricing: Excess layer subtracts the wrong lower factor · case 04
Excess layers are charged the full ground-up premium.
Increased limits factor layer pricing: Excess layer subtracts the wrong lower factor · case 05
Excess layers are charged the full ground-up premium.
Increased limits factor layer pricing: Zero width layers are priced instead of rejected · case 01
A zero-limit layer returns a premium of 0 instead of invalid.
Increased limits factor layer pricing: Zero width layers are priced instead of rejected · case 02
A zero-limit layer returns a premium of 0 instead of invalid.
Increased limits factor layer pricing: Zero width layers are priced instead of rejected · case 03
A zero-limit layer returns a premium of 0 instead of invalid.
Increased limits factor layer pricing: Zero width layers are priced instead of rejected · case 04
A zero-limit layer returns a premium of 0 instead of invalid.
Increased limits factor layer pricing: Zero width layers are priced instead of rejected · case 05
A zero-limit layer returns a premium of 0 instead of invalid.
Square-root credibility rate indication: Credibility grows linearly with claim count · case 01
Partially credible books get far less weight on their own experience.
Square-root credibility rate indication: Credibility grows linearly with claim count · case 02
Partially credible books get far less weight on their own experience.
Square-root credibility rate indication: Credibility grows linearly with claim count · case 03
Partially credible books get far less weight on their own experience.
Square-root credibility rate indication: Credibility grows linearly with claim count · case 04
Partially credible books get far less weight on their own experience.
Square-root credibility rate indication: Credibility grows linearly with claim count · case 05
Partially credible books get far less weight on their own experience.
Square-root credibility rate indication: Credibility above the standard exceeds one · case 01
Large books overshoot their own experience and give the complement negative weight.
Square-root credibility rate indication: Credibility above the standard exceeds one · case 02
Large books overshoot their own experience and give the complement negative weight.
Square-root credibility rate indication: Credibility above the standard exceeds one · case 03
Large books overshoot their own experience and give the complement negative weight.
Square-root credibility rate indication: Credibility above the standard exceeds one · case 04
Large books overshoot their own experience and give the complement negative weight.
Square-root credibility rate indication: Credibility above the standard exceeds one · case 05
Large books overshoot their own experience and give the complement negative weight.
Square-root credibility rate indication: The complement of credibility is dropped · case 01
Thin books are pulled toward no change instead of toward the complement.
Square-root credibility rate indication: The complement of credibility is dropped · case 02
Thin books are pulled toward no change instead of toward the complement.
Square-root credibility rate indication: The complement of credibility is dropped · case 03
Thin books are pulled toward no change instead of toward the complement.
Square-root credibility rate indication: The complement of credibility is dropped · case 04
Thin books are pulled toward no change instead of toward the complement.
Square-root credibility rate indication: The complement of credibility is dropped · case 05
Thin books are pulled toward no change instead of toward the complement.
Square-root credibility rate indication: Capping limits increases but not decreases · case 01
Large indicated decreases pass through uncapped.
Square-root credibility rate indication: Capping limits increases but not decreases · case 02
Large indicated decreases pass through uncapped.
Square-root credibility rate indication: Capping limits increases but not decreases · case 03
Large indicated decreases pass through uncapped.
Square-root credibility rate indication: Capping limits increases but not decreases · case 04
Large indicated decreases pass through uncapped.
Square-root credibility rate indication: Capping limits increases but not decreases · case 05
Large indicated decreases pass through uncapped.
Square-root credibility rate indication: Zero-claim books are rejected · case 01
A book with no claims returns invalid instead of the complement.
Square-root credibility rate indication: Zero-claim books are rejected · case 02
A book with no claims returns invalid instead of the complement.
Square-root credibility rate indication: Zero-claim books are rejected · case 03
A book with no claims returns invalid instead of the complement.
Square-root credibility rate indication: Zero-claim books are rejected · case 04
A book with no claims returns invalid instead of the complement.
Square-root credibility rate indication: Zero-claim books are rejected · case 05
A book with no claims returns invalid instead of the complement.
Loss development and trend to rating period: Development skips the current age-to-age factor · case 01
Losses are under-developed by one link factor.
Loss development and trend to rating period: Development skips the current age-to-age factor · case 02
Losses are under-developed by one link factor.
Loss development and trend to rating period: Development skips the current age-to-age factor · case 03
Losses are under-developed by one link factor.
Loss development and trend to rating period: Development skips the current age-to-age factor · case 04
Losses are under-developed by one link factor.
Loss development and trend to rating period: Development skips the current age-to-age factor · case 05
Losses are under-developed by one link factor.
Loss development and trend to rating period: Tail factor is dropped · case 01
Ultimate losses omit development beyond the last factor.
Loss development and trend to rating period: Tail factor is dropped · case 02
Ultimate losses omit development beyond the last factor.
Loss development and trend to rating period: Tail factor is dropped · case 03
Ultimate losses omit development beyond the last factor.
Loss development and trend to rating period: Tail factor is dropped · case 04
Ultimate losses omit development beyond the last factor.
Loss development and trend to rating period: Tail factor is dropped · case 05
Ultimate losses omit development beyond the last factor.
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 ↗