{"abstract":"The decoded time state disagrees with the explicit regression oracle for low.","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['a'] at the same fault site.","family":"s3-time_representation-timestamp-precision-envelope-low","id":"FA-17956","implementations":{"attempt":{"sha256":"97f84867afddfc8bb6325630a52123a2594a1a7eccccfbf90fa6a548deaed2be","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']\n    b_end = r['b'] + r['qb']\n    compatible = r['domain_a'] == r['domain_b']\n    low = r['a']\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":"01500ee59c2ab47b3a8edd958bbd1d612580c8e9945a0f528445e848a5acaa03","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']\n    b_end = r['b'] + r['qb']\n    compatible = r['domain_a'] == r['domain_b']\n    low = min(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-low","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 intersection starts before the later bucket.","sha256":"99168432e875a8530f071fe7c0c0dc6e325be60c48ed028f59141c4165c829ae","title":"Timestamp intersection starts before the later bucket · 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":47.006,"exit_code":1,"observations":[{"actual":[[10,20],false,true,false,true,[10,35]],"check":"fixture 1","expected":[[15,20],false,true,false,true,[10,35]],"passed":false},{"actual":[[10,20],true,true,false,false,[10,22]],"check":"fixture 2","expected":[null,true,true,false,false,[10,22]],"passed":false},{"actual":[[10,12],false,true,false,true,[10,20]],"check":"fixture 3","expected":[[10,12],false,true,false,true,[10,20]],"passed":true},{"actual":[null,false,false,false,true,[10,22]],"check":"fixture 4","expected":[null,false,false,false,true,[10,22]],"passed":true},{"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":[[-10,-7],false,true,false,false,[-10,-5]],"check":"fixture 7","expected":[[-8,-7],false,true,false,false,[-10,-5]],"passed":false},{"actual":[[0,3],false,true,false,true,[0,3]],"check":"fixture 8","expected":[[2,3],false,true,false,true,[0,3]],"passed":false},{"actual":[[10,11],true,true,false,false,[10,21]],"check":"fixture 9","expected":[null,true,true,false,false,[10,21]],"passed":false},{"actual":[null,false,false,false,true,[-1,1]],"check":"fixture 10","expected":[null,false,false,false,true,[-1,1]],"passed":true},{"actual":[[10,20],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\": [[10, 20], false, true, false, true, [10, 35]], \"expected\": [[15, 20], false, true, false, true, [10, 35]], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [[10, 20], true, true, false, false, [10, 22]], \"expected\": [null, true, true, false, false, [10, 22]], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [[10, 12], false, true, false, true, [10, 20]], \"expected\": [[10, 12], false, true, false, true, [10, 20]], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [null, false, false, false, true, [10, 22]], \"expected\": [null, false, false, false, true, [10, 22]], \"passed\": true}, {\"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\": [[-10, -7], false, true, false, false, [-10, -5]], \"expected\": [[-8, -7], false, true, false, false, [-10, -5]], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [[0, 3], false, true, false, true, [0, 3]], \"expected\": [[2, 3], false, true, false, true, [0, 3]], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [[10, 11], true, true, false, false, [10, 21]], \"expected\": [null, true, true, false, false, [10, 21]], \"passed\": false}, {\"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\": [[10, 20], false, true, false, true, [10, 36]], \"expected\": [[16, 20], false, true, false, true, [10, 36]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.242,"exit_code":1,"observations":[{"actual":[[10,20],false,true,false,true,[10,35]],"check":"fixture 1","expected":[[15,20],false,true,false,true,[10,35]],"passed":false},{"actual":[[10,20],true,true,false,false,[10,22]],"check":"fixture 2","expected":[null,true,true,false,false,[10,22]],"passed":false},{"actual":[[10,12],false,true,false,true,[10,20]],"check":"fixture 3","expected":[[10,12],false,true,false,true,[10,20]],"passed":true},{"actual":[[10,20],false,false,false,true,[10,22]],"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":[[-10,-7],false,true,false,false,[-10,-5]],"check":"fixture 7","expected":[[-8,-7],false,true,false,false,[-10,-5]],"passed":false},{"actual":[[0,3],false,true,false,true,[0,3]],"check":"fixture 8","expected":[[2,3],false,true,false,true,[0,3]],"passed":false},{"actual":[[10,11],true,true,false,false,[10,21]],"check":"fixture 9","expected":[null,true,true,false,false,[10,21]],"passed":false},{"actual":[[-1,0],false,false,false,true,[-1,1]],"check":"fixture 10","expected":[null,false,false,false,true,[-1,1]],"passed":false},{"actual":[[10,20],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\": [[10, 20], false, true, false, true, [10, 35]], \"expected\": [[15, 20], false, true, false, true, [10, 35]], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [[10, 20], true, true, false, false, [10, 22]], \"expected\": [null, true, true, false, false, [10, 22]], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [[10, 12], false, true, false, true, [10, 20]], \"expected\": [[10, 12], false, true, false, true, [10, 20]], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [[10, 20], false, false, false, true, [10, 22]], \"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\": [[-10, -7], false, true, false, false, [-10, -5]], \"expected\": [[-8, -7], false, true, false, false, [-10, -5]], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [[0, 3], false, true, false, true, [0, 3]], \"expected\": [[2, 3], false, true, false, true, [0, 3]], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [[10, 11], true, true, false, false, [10, 21]], \"expected\": [null, true, true, false, false, [10, 21]], \"passed\": false}, {\"check\": \"fixture 10\", \"actual\": [[-1, 0], false, false, false, true, [-1, 1]], \"expected\": [null, false, false, false, true, [-1, 1]], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [[10, 20], 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."}}