FAILURE MAP
← Case archive

FA-10966 / Audio playback scheduling / Open access

Seek clamps to frame duration · case 01

Negative seeks remain before the stream beginning.

Verified by executionVariant 1 · 5 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Negative seeks remain before the stream beginning.

THE FAILURE

Negative seeks remain before the stream beginning.

Unsuccessful approach: Clamping to the last sample excludes the valid end cursor and breaks empty streams.

Case contract

Clamp an integer seek cursor to [0,total frame length], allowing the terminal end-of-stream cursor.

Why this case matters

A pure Python local audio pipeline stage with explicit sample formats and frame conventions; no real-time device or signal-spectrum claims.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(requested, length):
    return min(length,requested)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1',solve(*(-2, 10)),0)
check('fixture 2',solve(*(10, 10)),10)
check('fixture 3',solve(*(20, 10)),10)
check('fixture 4',solve(*(0, 0)),0)
check('fixture 5',solve(*(3, 10)),3)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
fixture 1-20Failed
fixture 21010Passed
fixture 31010Passed
fixture 400Passed
fixture 533Passed

SHA-256 / 5b4cfac3147cf8d85155dd37f8e137473e68ea1ee981ab9b78dc56829d1efc63

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(requested, length):
    return max(0,min(length-1,requested))
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1',solve(*(-2, 10)),0)
check('fixture 2',solve(*(10, 10)),10)
check('fixture 3',solve(*(20, 10)),10)
check('fixture 4',solve(*(0, 0)),0)
check('fixture 5',solve(*(3, 10)),3)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
fixture 100Passed
fixture 2910Failed
fixture 3910Failed
fixture 400Passed
fixture 533Passed

SHA-256 / 0d11636bb256c465fb0b474f1464de64751617844135730f9922ec40748f4c26

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 5 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

Verification & scope

This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:38:43.758968+00:00.

Case digest / b1b1dee41ecd3fc97c416e4beb15a057d5f96a5f7eec6d819f7ea4b3ce04f672