{"abstract":"The decoded time state disagrees with the explicit regression oracle for a_end.","category":"Time representation","checks":11,"contract":"A timestamp rounded down to resolution q represents half-open [stamp,stamp+q). Preserve domain tag; q positive. Comparing two buckets yields exact intersection and possible/definite-before relations, equality of represented sets and union envelope. Query membership is half-open. This model handles precision buckets, not point timestamps.","contract_signature":"r","evaluation_group":"s3-time-timestamp_precision_envelope","failed_approach":"The partial correction still substitutes r['qa'] at the same fault site.","family":"s3-time_representation-timestamp-precision-envelope-a-end","id":"FA-17941","implementations":{"attempt":{"sha256":"1f63d19ca1eb11500979703033c924059b58f5c65224270d995affd1379fa51e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    a_end = r['qa']\n    b_end = r['b'] + r['qb']\n    compatible = r['domain_a'] == r['domain_b']\n    low = max(r['a'],r['b'])\n    high = min(a_end,b_end)\n    overlap = compatible and low < high\n    definite_before = compatible and a_end <= r['b']\n    possible_before = compatible and r['a'] < b_end\n    equal = compatible and r['a'] == r['b'] and r['qa'] == r['qb']\n    contains = r['a'] <= r['query'] < a_end\n    return [None if not overlap else [low,high],definite_before,possible_before,equal,contains, None if not compatible else [min(r['a'],r['b']),max(a_end,b_end)]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'a': 10, 'qa': 10, 'b': 15, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}), [[15, 20], False, True, False, True, [10, 35]])\ncheck('fixture 2', solve({'a': 10, 'qa': 10, 'b': 20, 'qb': 2, 'query': 20, 'domain_a': 'utc', 'domain_b': 'utc'}), [None, True, True, False, False, [10, 22]])\ncheck('fixture 3', solve({'a': 10, 'qa': 10, 'b': 10, 'qb': 2, 'query': 15, 'domain_a': 'utc', 'domain_b': 'utc'}), [[10, 12], False, True, False, True, [10, 20]])\ncheck('fixture 4', solve({'a': 20, 'qa': 2, 'b': 10, 'qb': 10, 'query': 21, 'domain_a': 'utc', 'domain_b': 'utc'}), [None, False, False, False, True, [10, 22]])\ncheck('fixture 5', solve({'a': 0, 'qa': 1, 'b': 0, 'qb': 1, 'query': 0, 'domain_a': 'mono', 'domain_b': 'mono'}), [[0, 1], False, True, True, True, [0, 1]])\ncheck('fixture 6', solve({'a': 0, 'qa': 10, 'b': 2, 'qb': 3, 'query': 2, 'domain_a': 'a', 'domain_b': 'b'}), [None, False, False, False, True, None])\ncheck('fixture 7', solve({'a': -10, 'qa': 5, 'b': -8, 'qb': 1, 'query': -5, 'domain_a': 'utc', 'domain_b': 'utc'}), [[-8, -7], False, True, False, False, [-10, -5]])\ncheck('fixture 8', solve({'a': 0, 'qa': 3, 'b': 2, 'qb': 1, 'query': 1, 'domain_a': 'utc', 'domain_b': 'utc'}), [[2, 3], False, True, False, True, [0, 3]])\ncheck('fixture 9', solve({'a': 10, 'qa': 1, 'b': 20, 'qb': 1, 'query': 11, 'domain_a': 'utc', 'domain_b': 'utc'}), [None, True, True, False, False, [10, 21]])\ncheck('fixture 10', solve({'a': 0, 'qa': 1, 'b': -1, 'qb': 1, 'query': 0, 'domain_a': 'utc', 'domain_b': 'utc'}), [None, False, False, False, True, [-1, 1]])\nvariant = [({'a': 10, 'qa': 10, 'b': 16, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [[16, 20], False, True, False, True, [10, 36]]), ({'a': 10, 'qa': 10, 'b': 17, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [[17, 20], False, True, False, True, [10, 37]]), ({'a': 10, 'qa': 10, 'b': 18, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [[18, 20], False, True, False, True, [10, 38]]), ({'a': 10, 'qa': 10, 'b': 19, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [[19, 20], False, True, False, True, [10, 39]]), ({'a': 10, 'qa': 10, 'b': 20, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [None, True, True, False, True, [10, 40]])]\ncheck(\"variant capture\", solve(variant[N-1][0]), variant[N-1][1])\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":"9709a51b2e2a9564e65e181f04f548b3e7a6955843f0fb7bec7581c52d6532de","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    a_end = r['a'] + r['qa'] - 1\n    b_end = r['b'] + r['qb']\n    compatible = r['domain_a'] == r['domain_b']\n    low = max(r['a'],r['b'])\n    high = min(a_end,b_end)\n    overlap = compatible and low < high\n    definite_before = compatible and a_end <= r['b']\n    possible_before = compatible and r['a'] < b_end\n    equal = compatible and r['a'] == r['b'] and r['qa'] == r['qb']\n    contains = r['a'] <= r['query'] < a_end\n    return [None if not overlap else [low,high],definite_before,possible_before,equal,contains, None if not compatible else [min(r['a'],r['b']),max(a_end,b_end)]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'a': 10, 'qa': 10, 'b': 15, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}), [[15, 20], False, True, False, True, [10, 35]])\ncheck('fixture 2', solve({'a': 10, 'qa': 10, 'b': 20, 'qb': 2, 'query': 20, 'domain_a': 'utc', 'domain_b': 'utc'}), [None, True, True, False, False, [10, 22]])\ncheck('fixture 3', solve({'a': 10, 'qa': 10, 'b': 10, 'qb': 2, 'query': 15, 'domain_a': 'utc', 'domain_b': 'utc'}), [[10, 12], False, True, False, True, [10, 20]])\ncheck('fixture 4', solve({'a': 20, 'qa': 2, 'b': 10, 'qb': 10, 'query': 21, 'domain_a': 'utc', 'domain_b': 'utc'}), [None, False, False, False, True, [10, 22]])\ncheck('fixture 5', solve({'a': 0, 'qa': 1, 'b': 0, 'qb': 1, 'query': 0, 'domain_a': 'mono', 'domain_b': 'mono'}), [[0, 1], False, True, True, True, [0, 1]])\ncheck('fixture 6', solve({'a': 0, 'qa': 10, 'b': 2, 'qb': 3, 'query': 2, 'domain_a': 'a', 'domain_b': 'b'}), [None, False, False, False, True, None])\ncheck('fixture 7', solve({'a': -10, 'qa': 5, 'b': -8, 'qb': 1, 'query': -5, 'domain_a': 'utc', 'domain_b': 'utc'}), [[-8, -7], False, True, False, False, [-10, -5]])\ncheck('fixture 8', solve({'a': 0, 'qa': 3, 'b': 2, 'qb': 1, 'query': 1, 'domain_a': 'utc', 'domain_b': 'utc'}), [[2, 3], False, True, False, True, [0, 3]])\ncheck('fixture 9', solve({'a': 10, 'qa': 1, 'b': 20, 'qb': 1, 'query': 11, 'domain_a': 'utc', 'domain_b': 'utc'}), [None, True, True, False, False, [10, 21]])\ncheck('fixture 10', solve({'a': 0, 'qa': 1, 'b': -1, 'qb': 1, 'query': 0, 'domain_a': 'utc', 'domain_b': 'utc'}), [None, False, False, False, True, [-1, 1]])\nvariant = [({'a': 10, 'qa': 10, 'b': 16, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [[16, 20], False, True, False, True, [10, 36]]), ({'a': 10, 'qa': 10, 'b': 17, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [[17, 20], False, True, False, True, [10, 37]]), ({'a': 10, 'qa': 10, 'b': 18, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [[18, 20], False, True, False, True, [10, 38]]), ({'a': 10, 'qa': 10, 'b': 19, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [[19, 20], False, True, False, True, [10, 39]]), ({'a': 10, 'qa': 10, 'b': 20, 'qb': 20, 'query': 10, 'domain_a': 'utc', 'domain_b': 'utc'}, [None, True, True, False, True, [10, 40]])]\ncheck(\"variant capture\", solve(variant[N-1][0]), variant[N-1][1])\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":"Deterministic integer reference model with stipulated units and policies; not a complete clock, wire standard or platform implementation. 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":"s3-time_representation-timestamp-precision-envelope-a-end","generated_at":"2026-09-29T14:39:53.072209+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Clock transfer and timestamp consumers require preserved coordinate, phase, validity and elapsed-time semantics.","root_cause":"Timestamp bucket endpoint uses inclusive-label convention or loses origin.","sha256":"82eb9066908122125846df9f11b0548b7fb267cd38d77605a2c3d6553c2d183c","title":"Timestamp bucket endpoint uses inclusive-label convention or loses origin · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":46.567,"exit_code":1,"observations":[{"actual":[null,true,true,false,false,[10,35]],"check":"fixture 1","expected":[[15,20],false,true,false,true,[10,35]],"passed":false},{"actual":[null,true,true,false,false,[10,22]],"check":"fixture 2","expected":[null,true,true,false,false,[10,22]],"passed":true},{"actual":[null,true,true,false,false,[10,12]],"check":"fixture 3","expected":[[10,12],false,true,false,true,[10,20]],"passed":false},{"actual":[null,true,false,false,false,[10,20]],"check":"fixture 4","expected":[null,false,false,false,true,[10,22]],"passed":false},{"actual":[[0,1],false,true,true,true,[0,1]],"check":"fixture 5","expected":[[0,1],false,true,true,true,[0,1]],"passed":true},{"actual":[null,false,false,false,true,null],"check":"fixture 6","expected":[null,false,false,false,true,null],"passed":true},{"actual":[[-8,-7],false,true,false,true,[-10,5]],"check":"fixture 7","expected":[[-8,-7],false,true,false,false,[-10,-5]],"passed":false},{"actual":[[2,3],false,true,false,true,[0,3]],"check":"fixture 8","expected":[[2,3],false,true,false,true,[0,3]],"passed":true},{"actual":[null,true,true,false,false,[10,21]],"check":"fixture 9","expected":[null,true,true,false,false,[10,21]],"passed":true},{"actual":[null,false,false,false,true,[-1,1]],"check":"fixture 10","expected":[null,false,false,false,true,[-1,1]],"passed":true},{"actual":[null,true,true,false,false,[10,36]],"check":"variant capture","expected":[[16,20],false,true,false,true,[10,36]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [null, true, true, false, false, [10, 35]], \"expected\": [[15, 20], false, true, false, true, [10, 35]], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [null, true, true, false, false, [10, 22]], \"expected\": [null, true, true, false, false, [10, 22]], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [null, true, true, false, false, [10, 12]], \"expected\": [[10, 12], false, true, false, true, [10, 20]], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [null, true, false, false, false, [10, 20]], \"expected\": [null, false, false, false, true, [10, 22]], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [[0, 1], false, true, true, true, [0, 1]], \"expected\": [[0, 1], false, true, true, true, [0, 1]], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [null, false, false, false, true, null], \"expected\": [null, false, false, false, true, null], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [[-8, -7], false, true, false, true, [-10, 5]], \"expected\": [[-8, -7], false, true, false, false, [-10, -5]], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [[2, 3], false, true, false, true, [0, 3]], \"expected\": [[2, 3], false, true, false, true, [0, 3]], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [null, true, true, false, false, [10, 21]], \"expected\": [null, true, true, false, false, [10, 21]], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [null, false, false, false, true, [-1, 1]], \"expected\": [null, false, false, false, true, [-1, 1]], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [null, true, true, false, false, [10, 36]], \"expected\": [[16, 20], false, true, false, true, [10, 36]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.777,"exit_code":1,"observations":[{"actual":[[15,19],false,true,false,true,[10,35]],"check":"fixture 1","expected":[[15,20],false,true,false,true,[10,35]],"passed":false},{"actual":[null,true,true,false,false,[10,22]],"check":"fixture 2","expected":[null,true,true,false,false,[10,22]],"passed":true},{"actual":[[10,12],false,true,false,true,[10,19]],"check":"fixture 3","expected":[[10,12],false,true,false,true,[10,20]],"passed":false},{"actual":[null,false,false,false,false,[10,21]],"check":"fixture 4","expected":[null,false,false,false,true,[10,22]],"passed":false},{"actual":[null,true,true,true,false,[0,1]],"check":"fixture 5","expected":[[0,1],false,true,true,true,[0,1]],"passed":false},{"actual":[null,false,false,false,true,null],"check":"fixture 6","expected":[null,false,false,false,true,null],"passed":true},{"actual":[[-8,-7],false,true,false,false,[-10,-6]],"check":"fixture 7","expected":[[-8,-7],false,true,false,false,[-10,-5]],"passed":false},{"actual":[null,true,true,false,true,[0,3]],"check":"fixture 8","expected":[[2,3],false,true,false,true,[0,3]],"passed":false},{"actual":[null,true,true,false,false,[10,21]],"check":"fixture 9","expected":[null,true,true,false,false,[10,21]],"passed":true},{"actual":[null,false,false,false,false,[-1,0]],"check":"fixture 10","expected":[null,false,false,false,true,[-1,1]],"passed":false},{"actual":[[16,19],false,true,false,true,[10,36]],"check":"variant capture","expected":[[16,20],false,true,false,true,[10,36]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [[15, 19], false, true, false, true, [10, 35]], \"expected\": [[15, 20], false, true, false, true, [10, 35]], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [null, true, true, false, false, [10, 22]], \"expected\": [null, true, true, false, false, [10, 22]], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [[10, 12], false, true, false, true, [10, 19]], \"expected\": [[10, 12], false, true, false, true, [10, 20]], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [null, false, false, false, false, [10, 21]], \"expected\": [null, false, false, false, true, [10, 22]], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [null, true, true, true, false, [0, 1]], \"expected\": [[0, 1], false, true, true, true, [0, 1]], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [null, false, false, false, true, null], \"expected\": [null, false, false, false, true, null], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [[-8, -7], false, true, false, false, [-10, -6]], \"expected\": [[-8, -7], false, true, false, false, [-10, -5]], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [null, true, true, false, true, [0, 3]], \"expected\": [[2, 3], false, true, false, true, [0, 3]], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [null, true, true, false, false, [10, 21]], \"expected\": [null, true, true, false, false, [10, 21]], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [null, false, false, false, false, [-1, 0]], \"expected\": [null, false, false, false, true, [-1, 1]], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [[16, 19], false, true, false, true, [10, 36]], \"expected\": [[16, 20], false, true, false, true, [10, 36]], \"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."}}