{"abstract":"The decoded time state disagrees with the explicit regression oracle for compatible.","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 r['domain_a'] is r['domain_b'] and r['domain_a']=='utc' at the same fault site.","family":"s3-time_representation-timestamp-precision-envelope-compatible","id":"FA-17951","implementations":{"attempt":{"sha256":"75df31c105a0343d42e0f31dfe9479b33e186f8f37e10626ca57a316c181ae6e","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'] is r['domain_b'] and r['domain_a']=='utc'\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":"e106fd6c3689e62c7c80e9d01cb1b79ac23e44a17c5ac854f121abd6d511393b","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 = True\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"},"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-compatible","generated_at":"2026-09-29T14:39:52.560879+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 compatible: compatible = r['domain_a'] == r['domain_b'].","root_cause":"Precision comparison ignores clock domain or hardcodes UTC.","sha256":"489e079c5396ed8312dfa527396069ca1802487908c79ed1329bfb1513742c8a","title":"Precision comparison ignores clock domain or hardcodes UTC · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.594,"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,false,false,true,[10,22]],"check":"fixture 4","expected":[null,false,false,false,true,[10,22]],"passed":true},{"actual":[null,false,false,false,true,null],"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,-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":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, false, false, true, [10, 22]], \"expected\": [null, false, false, false, true, [10, 22]], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [null, false, false, false, true, null], \"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, -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\": false}\n"},"broken":{"elapsed_ms":46.87,"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,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":[[2,5],false,true,false,true,[0,10]],"check":"fixture 6","expected":[null,false,false,false,true,null],"passed":false},{"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":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, 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\": [[2, 5], false, true, false, true, [0, 10]], \"expected\": [null, false, false, false, true, null], \"passed\": false}, {\"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\": false}\n"},"fixed":{"elapsed_ms":48.12,"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"}