FAILURE MAP
← Case archive

FA-14528 / Numerics / Member archive

Stern brocot path: left residual · case 03

The exact stern brocot path result violates the stated contract at left residual.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Input reduced positive [p,q]; return run-expanded L/R path from 1/1. Bounds: 1<=p,q<=24.

Why this case matters

Exact discrete arithmetic with observable algorithmic state; no floating point approximation is used.

One recorded failure

Sample boundary fixture

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

Boundary fixtureActualExpectedOutcome
explicit oracle 0"LRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR""LLL"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.

Sign in to the archive ↗