FA-50191 / PCM sample encoding / Open access

Pcm warmup lpc packet: warmup count · case 01

Extra warmup samples are accepted despite exact predictor-order framing.

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

ROOT CAUSE

Extra warmup samples are accepted despite exact predictor-order framing.

VERIFIED REPAIR

Use the stated conversion contract at warmup count.

Unsuccessful approach: Rejecting equality rejects every correctly framed PCM packet.

Case contract

Decode fixed-order PCM packets with exactly one or two chronological warmup samples, followed by residuals for hold or linear-extrapolation prediction.

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(packets, order):
    out=[]
    for warmup,residuals in packets:
        if len(warmup)<order:
            out.append(None)
            continue
        decoded=list(warmup)
        history=list(reversed(warmup))
        for residual in residuals:
            prediction=history[0] if order==1 else 2*history[0]-history[1]
            sample=prediction+residual
            decoded.append(sample)
            history=[sample]+history[:-1]
        out.append(decoded)
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('oracle 1', solve(*([[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2)), [[1, 3, 5, 8, 10], [4, 2, 1, 0]])
check('oracle 2', solve(*([[[5], [1, 2]]], 1)), [[5, 6, 8]])
check('oracle 3', solve(*([[[1, 2, 3], [0]], [[1], []]], 2)), [None, None])
check('oracle 4', solve(*([], 2)), [])
check('oracle 5', solve(*([[[0, 0], []]], 2)), [[0, 0]])
check('oracle 6', solve(*([[[-2, -1], [1, -1]]], 2)), [[-2, -1, 1, 2]])
check('oracle 7', solve(*([[[3], []], [[0], [1]]], 1)), [[3], [0, 1]])
if N == 1: check('variant packet 1', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 2: check('variant packet 2', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 3: check('variant packet 3', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 4: check('variant packet 4', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 5: check('variant packet 5', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 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 fixture	Actual	Expected	Outcome
oracle 1	`[[1, 3, 5, 8, 10], [4, 2, 1, 0]]`	`[[1, 3, 5, 8, 10], [4, 2, 1, 0]]`	Passed
oracle 2	`[[5, 6, 8]]`	`[[5, 6, 8]]`	Passed
oracle 3	`[[1, 2, 3, 4], None]`	`[None, None]`	Failed
oracle 4	`[]`	`[]`	Passed
oracle 5	`[[0, 0]]`	`[[0, 0]]`	Passed
oracle 6	`[[-2, -1, 1, 2]]`	`[[-2, -1, 1, 2]]`	Passed
oracle 7	`[[3], [0, 1]]`	`[[3], [0, 1]]`	Passed
variant packet 1	`[[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]]`	`[[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]]`	Passed

SHA-256 / 3a6de1bdfbe4c416df0be4f0eef8170e4571d63518387a644f2abce7f7023bff

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(packets, order):
    out=[]
    for warmup,residuals in packets:
        if len(warmup)==order:
            out.append(None)
            continue
        decoded=list(warmup)
        history=list(reversed(warmup))
        for residual in residuals:
            prediction=history[0] if order==1 else 2*history[0]-history[1]
            sample=prediction+residual
            decoded.append(sample)
            history=[sample]+history[:-1]
        out.append(decoded)
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('oracle 1', solve(*([[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2)), [[1, 3, 5, 8, 10], [4, 2, 1, 0]])
check('oracle 2', solve(*([[[5], [1, 2]]], 1)), [[5, 6, 8]])
check('oracle 3', solve(*([[[1, 2, 3], [0]], [[1], []]], 2)), [None, None])
check('oracle 4', solve(*([], 2)), [])
check('oracle 5', solve(*([[[0, 0], []]], 2)), [[0, 0]])
check('oracle 6', solve(*([[[-2, -1], [1, -1]]], 2)), [[-2, -1, 1, 2]])
check('oracle 7', solve(*([[[3], []], [[0], [1]]], 1)), [[3], [0, 1]])
if N == 1: check('variant packet 1', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 2: check('variant packet 2', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 3: check('variant packet 3', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 4: check('variant packet 4', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 5: check('variant packet 5', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 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 fixture	Actual	Expected	Outcome
oracle 1	`[None, None]`	`[[1, 3, 5, 8, 10], [4, 2, 1, 0]]`	Failed
oracle 2	`[None]`	`[[5, 6, 8]]`	Failed
oracle 3	`[[1, 2, 3, 4], [1]]`	`[None, None]`	Failed
oracle 4	`[]`	`[]`	Passed
oracle 5	`[None]`	`[[0, 0]]`	Failed
oracle 6	`[None]`	`[[-2, -1, 1, 2]]`	Failed
oracle 7	`[None, None]`	`[[3], [0, 1]]`	Failed
variant packet 1	`[None, None, None, None]`	`[[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]]`	Failed

SHA-256 / 28b35ffe94d6f2c8600117abc3fe9e0e6986f96e05f968970e1c4c58440f0489

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(packets, order):
    out=[]
    for warmup,residuals in packets:
        if len(warmup)!=order:
            out.append(None)
            continue
        decoded=list(warmup)
        history=list(reversed(warmup))
        for residual in residuals:
            prediction=history[0] if order==1 else 2*history[0]-history[1]
            sample=prediction+residual
            decoded.append(sample)
            history=[sample]+history[:-1]
        out.append(decoded)
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('oracle 1', solve(*([[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2)), [[1, 3, 5, 8, 10], [4, 2, 1, 0]])
check('oracle 2', solve(*([[[5], [1, 2]]], 1)), [[5, 6, 8]])
check('oracle 3', solve(*([[[1, 2, 3], [0]], [[1], []]], 2)), [None, None])
check('oracle 4', solve(*([], 2)), [])
check('oracle 5', solve(*([[[0, 0], []]], 2)), [[0, 0]])
check('oracle 6', solve(*([[[-2, -1], [1, -1]]], 2)), [[-2, -1, 1, 2]])
check('oracle 7', solve(*([[[3], []], [[0], [1]]], 1)), [[3], [0, 1]])
if N == 1: check('variant packet 1', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 2: check('variant packet 2', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 3: check('variant packet 3', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 4: check('variant packet 4', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]])
if N == 5: check('variant packet 5', solve(*[[[[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]], [[1, 3], [0, 1, -1]], [[4, 2], [1, 0]]], 2]), [[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 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 fixture	Actual	Expected	Outcome
oracle 1	`[[1, 3, 5, 8, 10], [4, 2, 1, 0]]`	`[[1, 3, 5, 8, 10], [4, 2, 1, 0]]`	Passed
oracle 2	`[[5, 6, 8]]`	`[[5, 6, 8]]`	Passed
oracle 3	`[None, None]`	`[None, None]`	Passed
oracle 4	`[]`	`[]`	Passed
oracle 5	`[[0, 0]]`	`[[0, 0]]`	Passed
oracle 6	`[[-2, -1, 1, 2]]`	`[[-2, -1, 1, 2]]`	Passed
oracle 7	`[[3], [0, 1]]`	`[[3], [0, 1]]`	Passed
variant packet 1	`[[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]]`	`[[1, 3, 5, 8, 10], [4, 2, 1, 0], [1, 3, 5, 8, 10], [4, 2, 1, 0]]`	Passed

SHA-256 / ca2683d1e20a358476bdd1f49d35198e8d91d09bebc61c5522f93dfb327e5f09

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:06.880152+00:00.

Case digest / 72cc0f730cbef59a27f03e3f2bf2acd0aa1f59263804c36e364ed8891aff0537