{"abstract":"Global citation offsets are sliced without rebasing.","category":"Chunk citation alignment","checks":6,"contract":"Given chunk start b and global half-open span [s,e), return local [s-b,e-b), even if endpoints are negative.","contract_signature":"base, span","evaluation_group":"w3-cca-global_local","failed_approach":"Clamping negatives to zero hides a citation that begins before the chunk.","family":"w3-chunk-citation-alignment-global-to-local","id":"FA-99646","implementations":{"attempt":{"sha256":"5b3322f3ae8fc2dc342af2c2d04f7134536d0b3f292a31199809a89bbd889b40","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(base, span):\n    s,e=span\n    return [max(0,s-base),max(0,e-base)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('inside',solve(N,[N+2,N+5]),[2,5])\ncheck('before chunk',solve(N,[N-2,N+1]),[-2,1])\ncheck('zero base',solve(0,[0,3]),[0,3])\ncheck('empty',solve(N,[N+4,N+4]),[4,4])\ncheck('later interval',solve(2,[9,12]),[7,10])\ncheck('negative base',solve(-2,[1,3]),[3,5])\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":"c61bf66f72152a0ec75f49077a939408c2ad6ac4b1351f61b0acbab133e02791","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(base, span):\n    s,e=span\n    return [s,e]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('inside',solve(N,[N+2,N+5]),[2,5])\ncheck('before chunk',solve(N,[N-2,N+1]),[-2,1])\ncheck('zero base',solve(0,[0,3]),[0,3])\ncheck('empty',solve(N,[N+4,N+4]),[4,4])\ncheck('later interval',solve(2,[9,12]),[7,10])\ncheck('negative base',solve(-2,[1,3]),[3,5])\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":"Inputs are small integer offsets and identifiers under the stated toy contract; this does not define a document format or production citation API. 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":"w3-chunk-citation-alignment-global-to-local","generated_at":"2026-09-30T16:48:26.712580+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic citation bookkeeping model isolates source attribution from rendering and retrieval.","root_cause":"The chunk prefix remains in coordinates local to the full document.","sha256":"950f660b466b19cfb61807521dc73e2196b86ff72f2f34ca2a5e0758da1b2b10","title":"Global citation offsets are sliced without rebasing · case 01","variant":1,"variant_policy":"The fixture code references N, supplied as 1 through 5. Fixed boundary checks may repeat. These records share one mechanism and must remain together in evaluation splits.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":27.255,"exit_code":1,"observations":[{"actual":[2,5],"check":"inside","expected":[2,5],"passed":true},{"actual":[0,1],"check":"before chunk","expected":[-2,1],"passed":false},{"actual":[0,3],"check":"zero base","expected":[0,3],"passed":true},{"actual":[4,4],"check":"empty","expected":[4,4],"passed":true},{"actual":[7,10],"check":"later interval","expected":[7,10],"passed":true},{"actual":[3,5],"check":"negative base","expected":[3,5],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"inside\", \"actual\": [2, 5], \"expected\": [2, 5], \"passed\": true}, {\"check\": \"before chunk\", \"actual\": [0, 1], \"expected\": [-2, 1], \"passed\": false}, {\"check\": \"zero base\", \"actual\": [0, 3], \"expected\": [0, 3], \"passed\": true}, {\"check\": \"empty\", \"actual\": [4, 4], \"expected\": [4, 4], \"passed\": true}, {\"check\": \"later interval\", \"actual\": [7, 10], \"expected\": [7, 10], \"passed\": true}, {\"check\": \"negative base\", \"actual\": [3, 5], \"expected\": [3, 5], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":27.214,"exit_code":1,"observations":[{"actual":[3,6],"check":"inside","expected":[2,5],"passed":false},{"actual":[-1,2],"check":"before chunk","expected":[-2,1],"passed":false},{"actual":[0,3],"check":"zero base","expected":[0,3],"passed":true},{"actual":[5,5],"check":"empty","expected":[4,4],"passed":false},{"actual":[9,12],"check":"later interval","expected":[7,10],"passed":false},{"actual":[1,3],"check":"negative base","expected":[3,5],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"inside\", \"actual\": [3, 6], \"expected\": [2, 5], \"passed\": false}, {\"check\": \"before chunk\", \"actual\": [-1, 2], \"expected\": [-2, 1], \"passed\": false}, {\"check\": \"zero base\", \"actual\": [0, 3], \"expected\": [0, 3], \"passed\": true}, {\"check\": \"empty\", \"actual\": [5, 5], \"expected\": [4, 4], \"passed\": false}, {\"check\": \"later interval\", \"actual\": [9, 12], \"expected\": [7, 10], \"passed\": false}, {\"check\": \"negative base\", \"actual\": [1, 3], \"expected\": [3, 5], \"passed\": false}], \"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."}}