{"abstract":"An omitted range offset carries over from an unrelated resource URI.","category":"Streaming segment lifecycle","checks":4,"contract":"Resolve byte-range offset under this explicit local policy: explicit offset wins including zero; omitted offset follows prior range only for same URI, otherwise starts at zero. Not a complete manifest validator.","contract_signature":"previous, uri, length, explicit","evaluation_group":"xmed-implicit-range-offset-resource-scope","failed_approach":"Using truthiness discards an explicitly specified zero offset.","family":"xmed-implicit-range-offset-resource-scope","id":"FA-11131","implementations":{"attempt":{"sha256":"ced5260293c93848f46ea2b5e920262c9b824b400b2558a362ed0fd865d5cfd5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(previous, uri, length, explicit):\n    return [uri,explicit or (previous[1]+previous[2] if previous and previous[0]==uri else 0),length]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1',solve(*(['a', 10, 5], 'b', 3, None)),['b', 0, 3])\ncheck('fixture 2',solve(*(['a', 10, 5], 'a', 3, None)),['a', 15, 3])\ncheck('fixture 3',solve(*(['a', 10, 5], 'a', 3, 0)),['a', 0, 3])\ncheck('fixture 4',solve(*(None, 'a', 2, None)),['a', 0, 2])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"9883cb0d5a2c3054390eda22b5e54d0d333d664400864f55af04ec52174e2f15","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(previous, uri, length, explicit):\n    return [uri,explicit if explicit is not None else (previous[1]+previous[2] if previous else 0),length]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1',solve(*(['a', 10, 5], 'b', 3, None)),['b', 0, 3])\ncheck('fixture 2',solve(*(['a', 10, 5], 'a', 3, None)),['a', 15, 3])\ncheck('fixture 3',solve(*(['a', 10, 5], 'a', 3, 0)),['a', 0, 3])\ncheck('fixture 4',solve(*(None, 'a', 2, None)),['a', 0, 2])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":" 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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"xmed-implicit-range-offset-resource-scope","generated_at":"2026-09-29T14:38:45.231343+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic local media controller stage; metadata and downloaded data are supplied explicitly. No external player, service or codec is required.","root_cause":"An omitted range offset carries over from an unrelated resource URI.","sha256":"b1ba26eb66017ca11898bf3afb0027553bdbe1dbd085200fe948f954ae69a735","title":"Implicit range offset resource scope · case 01","variant":1,"variant_policy":"The five numbered cases rerun the same authored boundary fixtures; they are reproducibility runs, not independent input variants.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.577,"exit_code":1,"observations":[{"actual":["b",0,3],"check":"fixture 1","expected":["b",0,3],"passed":true},{"actual":["a",15,3],"check":"fixture 2","expected":["a",15,3],"passed":true},{"actual":["a",15,3],"check":"fixture 3","expected":["a",0,3],"passed":false},{"actual":["a",0,2],"check":"fixture 4","expected":["a",0,2],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [\"b\", 0, 3], \"expected\": [\"b\", 0, 3], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [\"a\", 15, 3], \"expected\": [\"a\", 15, 3], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [\"a\", 15, 3], \"expected\": [\"a\", 0, 3], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [\"a\", 0, 2], \"expected\": [\"a\", 0, 2], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.262,"exit_code":1,"observations":[{"actual":["b",15,3],"check":"fixture 1","expected":["b",0,3],"passed":false},{"actual":["a",15,3],"check":"fixture 2","expected":["a",15,3],"passed":true},{"actual":["a",0,3],"check":"fixture 3","expected":["a",0,3],"passed":true},{"actual":["a",0,2],"check":"fixture 4","expected":["a",0,2],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [\"b\", 15, 3], \"expected\": [\"b\", 0, 3], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [\"a\", 15, 3], \"expected\": [\"a\", 15, 3], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [\"a\", 0, 3], \"expected\": [\"a\", 0, 3], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [\"a\", 0, 2], \"expected\": [\"a\", 0, 2], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}