{"abstract":"The decoded time state disagrees with the explicit regression oracle for possible_before.","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.","evaluation_group":"s3-time-timestamp_precision_envelope","failed_approach":"The partial correction still substitutes compatible and r['a'] <= b_end at the same fault site.","family":"s3-time_representation-timestamp-precision-envelope-possible-before","id":"FA-17976","implementations":{"attempt":{"sha256":"1386aa8e40b96cc04f5f353df33b9a89c29820288eff1e3f047352ca88f7d3ee","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 = 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":"9c1e4715ef2c8b124d31f532aaed23d912023687d37bc6b84db354243f5eee10","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 = 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 a_end < r['b']\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"},"fixed":{"sha256":"89c84c19b65aab734ab1e19512bb8eea405fa3173b8db1203db8750a5b0ddb7a","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 = 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-possible-before","generated_at":"2026-09-29T14:39:52.828961+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.","repair":"Preserve the declared coordinate and state contract at possible_before: possible_before = compatible and r['a'] < b_end.","root_cause":"Possible timestamp ordering is confused with definite ordering.","sha256":"5670b18285e08d96c23f3d467fa2c9a8aaef2b74d1cbee707fec742df1bedec6","title":"Possible timestamp ordering is confused with definite ordering · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":52.0,"exit_code":1,"observations":[{"actual":[[15,20],false,true,false,true,[10,35]],"check":"fixture 1","expected":[[15,20],false,true,false,true,[10,35]],"passed":true},{"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,20]],"check":"fixture 3","expected":[[10,12],false,true,false,true,[10,20]],"passed":true},{"actual":[null,false,true,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":[[-8,-7],false,true,false,false,[-10,-5]],"check":"fixture 7","expected":[[-8,-7],false,true,false,false,[-10,-5]],"passed":true},{"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,true,false,true,[-1,1]],"check":"fixture 10","expected":[null,false,false,false,true,[-1,1]],"passed":false},{"actual":[[16,20],false,true,false,true,[10,36]],"check":"variant capture","expected":[[16,20],false,true,false,true,[10,36]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [[15, 20], false, true, false, true, [10, 35]], \"expected\": [[15, 20], false, true, false, true, [10, 35]], \"passed\": true}, {\"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, 20]], \"expected\": [[10, 12], false, true, false, true, [10, 20]], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [null, false, true, 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\": [[-8, -7], false, true, false, false, [-10, -5]], \"expected\": [[-8, -7], false, true, false, false, [-10, -5]], \"passed\": true}, {\"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, true, false, true, [-1, 1]], \"expected\": [null, false, false, false, true, [-1, 1]], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [[16, 20], false, true, false, true, [10, 36]], \"expected\": [[16, 20], false, true, false, true, [10, 36]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":54.821,"exit_code":1,"observations":[{"actual":[[15,20],false,false,false,true,[10,35]],"check":"fixture 1","expected":[[15,20],false,true,false,true,[10,35]],"passed":false},{"actual":[null,true,false,false,false,[10,22]],"check":"fixture 2","expected":[null,true,true,false,false,[10,22]],"passed":false},{"actual":[[10,12],false,false,false,true,[10,20]],"check":"fixture 3","expected":[[10,12],false,true,false,true,[10,20]],"passed":false},{"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,false,true,true,[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,false,false,false,[-10,-5]],"check":"fixture 7","expected":[[-8,-7],false,true,false,false,[-10,-5]],"passed":false},{"actual":[[2,3],false,false,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,true,[-1,1]],"check":"fixture 10","expected":[null,false,false,false,true,[-1,1]],"passed":true},{"actual":[[16,20],false,false,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, 20], false, false, false, true, [10, 35]], \"expected\": [[15, 20], false, true, false, true, [10, 35]], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [null, true, false, false, false, [10, 22]], \"expected\": [null, true, true, false, false, [10, 22]], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [[10, 12], false, false, false, true, [10, 20]], \"expected\": [[10, 12], false, true, false, true, [10, 20]], \"passed\": false}, {\"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, false, true, true, [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, false, false, false, [-10, -5]], \"expected\": [[-8, -7], false, true, false, false, [-10, -5]], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [[2, 3], false, false, 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, true, [-1, 1]], \"expected\": [null, false, false, false, true, [-1, 1]], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [[16, 20], false, false, false, true, [10, 36]], \"expected\": [[16, 20], false, true, false, true, [10, 36]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":50.269,"exit_code":0,"observations":[{"actual":[[15,20],false,true,false,true,[10,35]],"check":"fixture 1","expected":[[15,20],false,true,false,true,[10,35]],"passed":true},{"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,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":[[-8,-7],false,true,false,false,[-10,-5]],"check":"fixture 7","expected":[[-8,-7],false,true,false,false,[-10,-5]],"passed":true},{"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":[[16,20],false,true,false,true,[10,36]],"check":"variant capture","expected":[[16,20],false,true,false,true,[10,36]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [[15, 20], false, true, false, true, [10, 35]], \"expected\": [[15, 20], false, true, false, true, [10, 35]], \"passed\": true}, {\"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, 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\": [[-8, -7], false, true, false, false, [-10, -5]], \"expected\": [[-8, -7], false, true, false, false, [-10, -5]], \"passed\": true}, {\"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\": [[16, 20], false, true, false, true, [10, 36]], \"expected\": [[16, 20], false, true, false, true, [10, 36]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}