FAILURE MAP
← Case archive

FA-49676 / PCM sample encoding / Open access

Pcm feedback saturation: candidate feedback · case 01

Current PCM conversion ignores accumulated error.

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

ROOT CAUSE

Current PCM conversion ignores accumulated error.

VERIFIED REPAIR

Use the stated conversion contract at candidate feedback.

Unsuccessful approach: Making error nonnegative biases negative residual feedback.

Case contract

Bounded PCM error-feedback precision reduction with overload detection and explicit anti-windup reset only when output code saturation changes quantized value.

Why this case matters

Offline PCM interchange uses these exact bounded packet and sample representation decisions.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(samples, limit, error):
    out=[]
    for sample in samples:
        candidate=sample
        quantized=(candidate+1)//2
        code=max(-limit,min(limit,quantized))
        clipped=code!=quantized
        error=0 if clipped else candidate-code*2
        out.append([code,clipped])
    return [out,error]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('oracle 1', solve(*([1, 1, 20, 1, 1], 3, 0)), [[[1, False], [0, False], [3, True], [1, False], [0, False]], 0])
check('oracle 2', solve(*([-20, -1, -1], 3, 1)), [[[-3, True], [0, False], [-1, False]], 0])
check('oracle 3', solve(*([6, -6], 3, 0)), [[[3, False], [-3, False]], 0])
check('oracle 4', solve(*([], 3, -1)), [[], -1])
check('oracle 5', solve(*([0, 1, 2, 3], 2, -1)), [[[0, False], [0, False], [1, False], [2, False]], -1])
check('oracle 6', solve(*([7, 0, -7, 0], 3, 0)), [[[3, True], [0, False], [-3, False], [0, False]], -1])
check('oracle 7', solve(*([2, 2, 2], 1, 1)), [[[1, True], [1, False], [1, False]], 0])
if N == 1: check('variant packet 1', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 2: check('variant packet 2', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 3: check('variant packet 3', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 4: check('variant packet 4', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 5: check('variant packet 5', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
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
oracle 1[[[1, False], [1, False], [3, True], [1, False], [1, False]], -1][[[1, False], [0, False], [3, True], [1, False], [0, False]], 0]Failed
oracle 2[[[-3, True], [0, False], [0, False]], -1][[[-3, True], [0, False], [-1, False]], 0]Failed
oracle 3[[[3, False], [-3, False]], 0][[[3, False], [-3, False]], 0]Passed
oracle 4[[], -1][[], -1]Passed
oracle 5[[[0, False], [1, False], [1, False], [2, False]], -1][[[0, False], [0, False], [1, False], [2, False]], -1]Failed
oracle 6[[[3, True], [0, False], [-3, False], [0, False]], 0][[[3, True], [0, False], [-3, False], [0, False]], -1]Failed
oracle 7[[[1, False], [1, False], [1, False]], 0][[[1, True], [1, False], [1, False]], 0]Failed
variant packet 1[[[1, False], [1, False], [3, True], [1, False], [1, False], [1, False], [1, False], [3, True], [1, False], [1, False]], -1][[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0]Failed

SHA-256 / 0bfe07a7b4d57e0bf54ceb85c5227e48549b14bbdab76bf60d0787417d6aff8d

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(samples, limit, error):
    out=[]
    for sample in samples:
        candidate=sample+abs(error)
        quantized=(candidate+1)//2
        code=max(-limit,min(limit,quantized))
        clipped=code!=quantized
        error=0 if clipped else candidate-code*2
        out.append([code,clipped])
    return [out,error]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('oracle 1', solve(*([1, 1, 20, 1, 1], 3, 0)), [[[1, False], [0, False], [3, True], [1, False], [0, False]], 0])
check('oracle 2', solve(*([-20, -1, -1], 3, 1)), [[[-3, True], [0, False], [-1, False]], 0])
check('oracle 3', solve(*([6, -6], 3, 0)), [[[3, False], [-3, False]], 0])
check('oracle 4', solve(*([], 3, -1)), [[], -1])
check('oracle 5', solve(*([0, 1, 2, 3], 2, -1)), [[[0, False], [0, False], [1, False], [2, False]], -1])
check('oracle 6', solve(*([7, 0, -7, 0], 3, 0)), [[[3, True], [0, False], [-3, False], [0, False]], -1])
check('oracle 7', solve(*([2, 2, 2], 1, 1)), [[[1, True], [1, False], [1, False]], 0])
if N == 1: check('variant packet 1', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 2: check('variant packet 2', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 3: check('variant packet 3', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 4: check('variant packet 4', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 5: check('variant packet 5', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
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
oracle 1[[[1, False], [1, False], [3, True], [1, False], [1, False]], 0][[[1, False], [0, False], [3, True], [1, False], [0, False]], 0]Failed
oracle 2[[[-3, True], [0, False], [0, False]], 0][[[-3, True], [0, False], [-1, False]], 0]Failed
oracle 3[[[3, False], [-3, False]], 0][[[3, False], [-3, False]], 0]Passed
oracle 4[[], -1][[], -1]Passed
oracle 5[[[1, False], [1, False], [1, False], [2, False]], -1][[[0, False], [0, False], [1, False], [2, False]], -1]Failed
oracle 6[[[3, True], [0, False], [-3, False], [1, False]], -1][[[3, True], [0, False], [-3, False], [0, False]], -1]Failed
oracle 7[[[1, True], [1, False], [1, False]], 0][[[1, True], [1, False], [1, False]], 0]Passed
variant packet 1[[[1, False], [1, False], [3, True], [1, False], [1, False], [1, False], [1, False], [3, True], [1, False], [1, False]], 0][[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0]Failed

SHA-256 / 7d4e4abc96f5fdb282d236c08c3d5179521f0f8f68e96dd3b74a847f7916842d

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(samples, limit, error):
    out=[]
    for sample in samples:
        candidate=sample+error
        quantized=(candidate+1)//2
        code=max(-limit,min(limit,quantized))
        clipped=code!=quantized
        error=0 if clipped else candidate-code*2
        out.append([code,clipped])
    return [out,error]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('oracle 1', solve(*([1, 1, 20, 1, 1], 3, 0)), [[[1, False], [0, False], [3, True], [1, False], [0, False]], 0])
check('oracle 2', solve(*([-20, -1, -1], 3, 1)), [[[-3, True], [0, False], [-1, False]], 0])
check('oracle 3', solve(*([6, -6], 3, 0)), [[[3, False], [-3, False]], 0])
check('oracle 4', solve(*([], 3, -1)), [[], -1])
check('oracle 5', solve(*([0, 1, 2, 3], 2, -1)), [[[0, False], [0, False], [1, False], [2, False]], -1])
check('oracle 6', solve(*([7, 0, -7, 0], 3, 0)), [[[3, True], [0, False], [-3, False], [0, False]], -1])
check('oracle 7', solve(*([2, 2, 2], 1, 1)), [[[1, True], [1, False], [1, False]], 0])
if N == 1: check('variant packet 1', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 2: check('variant packet 2', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 3: check('variant packet 3', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 4: check('variant packet 4', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
if N == 5: check('variant packet 5', solve(*[[1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1], 3, 0]), [[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0])
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
oracle 1[[[1, False], [0, False], [3, True], [1, False], [0, False]], 0][[[1, False], [0, False], [3, True], [1, False], [0, False]], 0]Passed
oracle 2[[[-3, True], [0, False], [-1, False]], 0][[[-3, True], [0, False], [-1, False]], 0]Passed
oracle 3[[[3, False], [-3, False]], 0][[[3, False], [-3, False]], 0]Passed
oracle 4[[], -1][[], -1]Passed
oracle 5[[[0, False], [0, False], [1, False], [2, False]], -1][[[0, False], [0, False], [1, False], [2, False]], -1]Passed
oracle 6[[[3, True], [0, False], [-3, False], [0, False]], -1][[[3, True], [0, False], [-3, False], [0, False]], -1]Passed
oracle 7[[[1, True], [1, False], [1, False]], 0][[[1, True], [1, False], [1, False]], 0]Passed
variant packet 1[[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0][[[1, False], [0, False], [3, True], [1, False], [0, False], [1, False], [0, False], [3, True], [1, False], [0, False]], 0]Passed

SHA-256 / 58b3ef2e2c07e8fce564cabac9b0a42e7dabdb2c28bff34a39b0849c02fe6c5c

Verification & scope

Stipulated finite model; no claim of hardware timing or full file-format conformance. 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:45:02.236911+00:00.

Case digest / 14620d1143a1cbeb0c08f7d4d0e351e27e8089cd8ed5f84fc1efe976f564700f