{"abstract":"The decoded time state disagrees with the explicit regression oracle for previous_epoch.","category":"Time representation","checks":12,"contract":"Expand a 256-tick hardware capture with an ISR epoch. Pending overflow applies only to low-half captures; a pre-ISR high-half capture backs out one serviced epoch. Return expanded coordinate, signed delta from previous capture, nonnegative-order flag, bounded-interval flag, epoch crossings, phase on a positive external grid, and strictly next grid edge.","evaluation_group":"s3-time-counter_capture_epoch","failed_approach":"The partial correction still substitutes epoch - int(r['before_isr']) at the same fault site.","family":"s3-time_representation-counter-capture-epoch-previous-epoch","id":"FA-17446","implementations":{"attempt":{"sha256":"e204d716fc8e6095cba7b7f91c8e4ac1c909ce6d861a7ecf6f648b7913a617a8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    epoch = r['epoch'] + (1 if r['pending'] and r['counter'] < 128 else 0)\n    previous_epoch = epoch - int(r['before_isr'])\n    expanded = previous_epoch * 256 + r['counter']\n    delta = expanded - r['previous']\n    forward = delta >= 0\n    within = 0 <= delta <= r['max_interval']\n    wraps = expanded // 256 - r['previous'] // 256\n    phase = expanded % r['period']\n    cycles = expanded // r['period']\n    next_edge = (cycles + 1) * r['period']\n    return [expanded,delta,forward,within,wraps,phase,next_edge]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 10}), [514, 264, True, False, 2, 4, 520])\ncheck('fixture 2', solve({'epoch': 1, 'pending': True, 'counter': 250, 'before_isr': False, 'previous': 490, 'max_interval': 16, 'period': 30}), [506, 16, True, True, 0, 26, 510])\ncheck('fixture 3', solve({'epoch': 2, 'pending': False, 'counter': 250, 'before_isr': True, 'previous': 500, 'max_interval': 6, 'period': 10}), [506, 6, True, True, 0, 6, 510])\ncheck('fixture 4', solve({'epoch': 1, 'pending': False, 'counter': 0, 'before_isr': False, 'previous': 256, 'max_interval': 0, 'period': 7}), [256, 0, True, True, 0, 4, 259])\ncheck('fixture 5', solve({'epoch': 3, 'pending': False, 'counter': 20, 'before_isr': False, 'previous': 10, 'max_interval': 800, 'period': 100}), [788, 778, True, True, 3, 88, 800])\ncheck('fixture 6', solve({'epoch': 1, 'pending': False, 'counter': 0, 'before_isr': False, 'previous': 260, 'max_interval': 10, 'period': 13}), [256, -4, False, False, 0, 9, 260])\ncheck('fixture 7', solve({'epoch': 0, 'pending': False, 'counter': 20, 'before_isr': False, 'previous': 10, 'max_interval': 9, 'period': 7}), [20, 10, True, False, 0, 6, 21])\ncheck('fixture 8', solve({'epoch': 2, 'pending': False, 'counter': 0, 'before_isr': False, 'previous': 0, 'max_interval': 512, 'period': 16}), [512, 512, True, True, 2, 0, 528])\ncheck('fixture 9', solve({'epoch': 0, 'pending': False, 'counter': 127, 'before_isr': False, 'previous': 0, 'max_interval': 127, 'period': 20}), [127, 127, True, True, 0, 7, 140])\ncheck('fixture 10', solve({'epoch': 0, 'pending': True, 'counter': 128, 'before_isr': False, 'previous': 0, 'max_interval': 128, 'period': 10}), [128, 128, True, True, 0, 8, 130])\ncheck('fixture 11', solve({'epoch': 2, 'pending': False, 'counter': 2, 'before_isr': True, 'previous': 512, 'max_interval': 20, 'period': 10}), [514, 2, True, True, 0, 4, 520])\nvariant = [({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 11}, [514, 264, True, False, 2, 8, 517]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 12}, [514, 264, True, False, 2, 10, 516]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 13}, [514, 264, True, False, 2, 7, 520]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 14}, [514, 264, True, False, 2, 10, 518]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 15}, [514, 264, True, False, 2, 4, 525])]\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":"aa0d572e5f18dc31da609b13e5d913f6e649b84e8a676bf10631dfc86e1ee87d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    epoch = r['epoch'] + (1 if r['pending'] and r['counter'] < 128 else 0)\n    previous_epoch = epoch\n    expanded = previous_epoch * 256 + r['counter']\n    delta = expanded - r['previous']\n    forward = delta >= 0\n    within = 0 <= delta <= r['max_interval']\n    wraps = expanded // 256 - r['previous'] // 256\n    phase = expanded % r['period']\n    cycles = expanded // r['period']\n    next_edge = (cycles + 1) * r['period']\n    return [expanded,delta,forward,within,wraps,phase,next_edge]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 10}), [514, 264, True, False, 2, 4, 520])\ncheck('fixture 2', solve({'epoch': 1, 'pending': True, 'counter': 250, 'before_isr': False, 'previous': 490, 'max_interval': 16, 'period': 30}), [506, 16, True, True, 0, 26, 510])\ncheck('fixture 3', solve({'epoch': 2, 'pending': False, 'counter': 250, 'before_isr': True, 'previous': 500, 'max_interval': 6, 'period': 10}), [506, 6, True, True, 0, 6, 510])\ncheck('fixture 4', solve({'epoch': 1, 'pending': False, 'counter': 0, 'before_isr': False, 'previous': 256, 'max_interval': 0, 'period': 7}), [256, 0, True, True, 0, 4, 259])\ncheck('fixture 5', solve({'epoch': 3, 'pending': False, 'counter': 20, 'before_isr': False, 'previous': 10, 'max_interval': 800, 'period': 100}), [788, 778, True, True, 3, 88, 800])\ncheck('fixture 6', solve({'epoch': 1, 'pending': False, 'counter': 0, 'before_isr': False, 'previous': 260, 'max_interval': 10, 'period': 13}), [256, -4, False, False, 0, 9, 260])\ncheck('fixture 7', solve({'epoch': 0, 'pending': False, 'counter': 20, 'before_isr': False, 'previous': 10, 'max_interval': 9, 'period': 7}), [20, 10, True, False, 0, 6, 21])\ncheck('fixture 8', solve({'epoch': 2, 'pending': False, 'counter': 0, 'before_isr': False, 'previous': 0, 'max_interval': 512, 'period': 16}), [512, 512, True, True, 2, 0, 528])\ncheck('fixture 9', solve({'epoch': 0, 'pending': False, 'counter': 127, 'before_isr': False, 'previous': 0, 'max_interval': 127, 'period': 20}), [127, 127, True, True, 0, 7, 140])\ncheck('fixture 10', solve({'epoch': 0, 'pending': True, 'counter': 128, 'before_isr': False, 'previous': 0, 'max_interval': 128, 'period': 10}), [128, 128, True, True, 0, 8, 130])\ncheck('fixture 11', solve({'epoch': 2, 'pending': False, 'counter': 2, 'before_isr': True, 'previous': 512, 'max_interval': 20, 'period': 10}), [514, 2, True, True, 0, 4, 520])\nvariant = [({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 11}, [514, 264, True, False, 2, 8, 517]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 12}, [514, 264, True, False, 2, 10, 516]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 13}, [514, 264, True, False, 2, 7, 520]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 14}, [514, 264, True, False, 2, 10, 518]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 15}, [514, 264, True, False, 2, 4, 525])]\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":"d05430c34635613fea1ab88b7bf981a96524ca7742b141ab83df1aa4722723fe","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    epoch = r['epoch'] + (1 if r['pending'] and r['counter'] < 128 else 0)\n    previous_epoch = epoch - (1 if r['before_isr'] and not r['pending'] and r['counter'] >= 128 else 0)\n    expanded = previous_epoch * 256 + r['counter']\n    delta = expanded - r['previous']\n    forward = delta >= 0\n    within = 0 <= delta <= r['max_interval']\n    wraps = expanded // 256 - r['previous'] // 256\n    phase = expanded % r['period']\n    cycles = expanded // r['period']\n    next_edge = (cycles + 1) * r['period']\n    return [expanded,delta,forward,within,wraps,phase,next_edge]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 10}), [514, 264, True, False, 2, 4, 520])\ncheck('fixture 2', solve({'epoch': 1, 'pending': True, 'counter': 250, 'before_isr': False, 'previous': 490, 'max_interval': 16, 'period': 30}), [506, 16, True, True, 0, 26, 510])\ncheck('fixture 3', solve({'epoch': 2, 'pending': False, 'counter': 250, 'before_isr': True, 'previous': 500, 'max_interval': 6, 'period': 10}), [506, 6, True, True, 0, 6, 510])\ncheck('fixture 4', solve({'epoch': 1, 'pending': False, 'counter': 0, 'before_isr': False, 'previous': 256, 'max_interval': 0, 'period': 7}), [256, 0, True, True, 0, 4, 259])\ncheck('fixture 5', solve({'epoch': 3, 'pending': False, 'counter': 20, 'before_isr': False, 'previous': 10, 'max_interval': 800, 'period': 100}), [788, 778, True, True, 3, 88, 800])\ncheck('fixture 6', solve({'epoch': 1, 'pending': False, 'counter': 0, 'before_isr': False, 'previous': 260, 'max_interval': 10, 'period': 13}), [256, -4, False, False, 0, 9, 260])\ncheck('fixture 7', solve({'epoch': 0, 'pending': False, 'counter': 20, 'before_isr': False, 'previous': 10, 'max_interval': 9, 'period': 7}), [20, 10, True, False, 0, 6, 21])\ncheck('fixture 8', solve({'epoch': 2, 'pending': False, 'counter': 0, 'before_isr': False, 'previous': 0, 'max_interval': 512, 'period': 16}), [512, 512, True, True, 2, 0, 528])\ncheck('fixture 9', solve({'epoch': 0, 'pending': False, 'counter': 127, 'before_isr': False, 'previous': 0, 'max_interval': 127, 'period': 20}), [127, 127, True, True, 0, 7, 140])\ncheck('fixture 10', solve({'epoch': 0, 'pending': True, 'counter': 128, 'before_isr': False, 'previous': 0, 'max_interval': 128, 'period': 10}), [128, 128, True, True, 0, 8, 130])\ncheck('fixture 11', solve({'epoch': 2, 'pending': False, 'counter': 2, 'before_isr': True, 'previous': 512, 'max_interval': 20, 'period': 10}), [514, 2, True, True, 0, 4, 520])\nvariant = [({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 11}, [514, 264, True, False, 2, 8, 517]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 12}, [514, 264, True, False, 2, 10, 516]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 13}, [514, 264, True, False, 2, 7, 520]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 14}, [514, 264, True, False, 2, 10, 518]), ({'epoch': 1, 'pending': True, 'counter': 2, 'before_isr': False, 'previous': 250, 'max_interval': 8, 'period': 15}, [514, 264, True, False, 2, 4, 525])]\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-counter-capture-epoch-previous-epoch","generated_at":"2026-09-29T14:39:46.542116+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 previous_epoch: previous_epoch = epoch - (1 if r['before_isr'] and not r['pending'] and r['counter'] >= 128 else 0).","root_cause":"Serviced overflow is not backed out for an earlier high capture.","sha256":"7bb7b4efc389ee509ba83f57758d1b9e82cc44fd0a06c74849c6175df73ea409","title":"Serviced overflow is not backed out for an earlier high capture · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":51.505,"exit_code":1,"observations":[{"actual":[514,264,true,false,2,4,520],"check":"fixture 1","expected":[514,264,true,false,2,4,520],"passed":true},{"actual":[506,16,true,true,0,26,510],"check":"fixture 2","expected":[506,16,true,true,0,26,510],"passed":true},{"actual":[506,6,true,true,0,6,510],"check":"fixture 3","expected":[506,6,true,true,0,6,510],"passed":true},{"actual":[256,0,true,true,0,4,259],"check":"fixture 4","expected":[256,0,true,true,0,4,259],"passed":true},{"actual":[788,778,true,true,3,88,800],"check":"fixture 5","expected":[788,778,true,true,3,88,800],"passed":true},{"actual":[256,-4,false,false,0,9,260],"check":"fixture 6","expected":[256,-4,false,false,0,9,260],"passed":true},{"actual":[20,10,true,false,0,6,21],"check":"fixture 7","expected":[20,10,true,false,0,6,21],"passed":true},{"actual":[512,512,true,true,2,0,528],"check":"fixture 8","expected":[512,512,true,true,2,0,528],"passed":true},{"actual":[127,127,true,true,0,7,140],"check":"fixture 9","expected":[127,127,true,true,0,7,140],"passed":true},{"actual":[128,128,true,true,0,8,130],"check":"fixture 10","expected":[128,128,true,true,0,8,130],"passed":true},{"actual":[258,-254,false,false,-1,8,260],"check":"fixture 11","expected":[514,2,true,true,0,4,520],"passed":false},{"actual":[514,264,true,false,2,8,517],"check":"variant capture","expected":[514,264,true,false,2,8,517],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [514, 264, true, false, 2, 4, 520], \"expected\": [514, 264, true, false, 2, 4, 520], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [506, 16, true, true, 0, 26, 510], \"expected\": [506, 16, true, true, 0, 26, 510], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [506, 6, true, true, 0, 6, 510], \"expected\": [506, 6, true, true, 0, 6, 510], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [256, 0, true, true, 0, 4, 259], \"expected\": [256, 0, true, true, 0, 4, 259], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [788, 778, true, true, 3, 88, 800], \"expected\": [788, 778, true, true, 3, 88, 800], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [256, -4, false, false, 0, 9, 260], \"expected\": [256, -4, false, false, 0, 9, 260], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [20, 10, true, false, 0, 6, 21], \"expected\": [20, 10, true, false, 0, 6, 21], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [512, 512, true, true, 2, 0, 528], \"expected\": [512, 512, true, true, 2, 0, 528], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [127, 127, true, true, 0, 7, 140], \"expected\": [127, 127, true, true, 0, 7, 140], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [128, 128, true, true, 0, 8, 130], \"expected\": [128, 128, true, true, 0, 8, 130], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [258, -254, false, false, -1, 8, 260], \"expected\": [514, 2, true, true, 0, 4, 520], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [514, 264, true, false, 2, 8, 517], \"expected\": [514, 264, true, false, 2, 8, 517], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":51.879,"exit_code":1,"observations":[{"actual":[514,264,true,false,2,4,520],"check":"fixture 1","expected":[514,264,true,false,2,4,520],"passed":true},{"actual":[506,16,true,true,0,26,510],"check":"fixture 2","expected":[506,16,true,true,0,26,510],"passed":true},{"actual":[762,262,true,false,1,2,770],"check":"fixture 3","expected":[506,6,true,true,0,6,510],"passed":false},{"actual":[256,0,true,true,0,4,259],"check":"fixture 4","expected":[256,0,true,true,0,4,259],"passed":true},{"actual":[788,778,true,true,3,88,800],"check":"fixture 5","expected":[788,778,true,true,3,88,800],"passed":true},{"actual":[256,-4,false,false,0,9,260],"check":"fixture 6","expected":[256,-4,false,false,0,9,260],"passed":true},{"actual":[20,10,true,false,0,6,21],"check":"fixture 7","expected":[20,10,true,false,0,6,21],"passed":true},{"actual":[512,512,true,true,2,0,528],"check":"fixture 8","expected":[512,512,true,true,2,0,528],"passed":true},{"actual":[127,127,true,true,0,7,140],"check":"fixture 9","expected":[127,127,true,true,0,7,140],"passed":true},{"actual":[128,128,true,true,0,8,130],"check":"fixture 10","expected":[128,128,true,true,0,8,130],"passed":true},{"actual":[514,2,true,true,0,4,520],"check":"fixture 11","expected":[514,2,true,true,0,4,520],"passed":true},{"actual":[514,264,true,false,2,8,517],"check":"variant capture","expected":[514,264,true,false,2,8,517],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [514, 264, true, false, 2, 4, 520], \"expected\": [514, 264, true, false, 2, 4, 520], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [506, 16, true, true, 0, 26, 510], \"expected\": [506, 16, true, true, 0, 26, 510], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [762, 262, true, false, 1, 2, 770], \"expected\": [506, 6, true, true, 0, 6, 510], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [256, 0, true, true, 0, 4, 259], \"expected\": [256, 0, true, true, 0, 4, 259], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [788, 778, true, true, 3, 88, 800], \"expected\": [788, 778, true, true, 3, 88, 800], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [256, -4, false, false, 0, 9, 260], \"expected\": [256, -4, false, false, 0, 9, 260], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [20, 10, true, false, 0, 6, 21], \"expected\": [20, 10, true, false, 0, 6, 21], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [512, 512, true, true, 2, 0, 528], \"expected\": [512, 512, true, true, 2, 0, 528], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [127, 127, true, true, 0, 7, 140], \"expected\": [127, 127, true, true, 0, 7, 140], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [128, 128, true, true, 0, 8, 130], \"expected\": [128, 128, true, true, 0, 8, 130], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [514, 2, true, true, 0, 4, 520], \"expected\": [514, 2, true, true, 0, 4, 520], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [514, 264, true, false, 2, 8, 517], \"expected\": [514, 264, true, false, 2, 8, 517], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":50.478,"exit_code":0,"observations":[{"actual":[514,264,true,false,2,4,520],"check":"fixture 1","expected":[514,264,true,false,2,4,520],"passed":true},{"actual":[506,16,true,true,0,26,510],"check":"fixture 2","expected":[506,16,true,true,0,26,510],"passed":true},{"actual":[506,6,true,true,0,6,510],"check":"fixture 3","expected":[506,6,true,true,0,6,510],"passed":true},{"actual":[256,0,true,true,0,4,259],"check":"fixture 4","expected":[256,0,true,true,0,4,259],"passed":true},{"actual":[788,778,true,true,3,88,800],"check":"fixture 5","expected":[788,778,true,true,3,88,800],"passed":true},{"actual":[256,-4,false,false,0,9,260],"check":"fixture 6","expected":[256,-4,false,false,0,9,260],"passed":true},{"actual":[20,10,true,false,0,6,21],"check":"fixture 7","expected":[20,10,true,false,0,6,21],"passed":true},{"actual":[512,512,true,true,2,0,528],"check":"fixture 8","expected":[512,512,true,true,2,0,528],"passed":true},{"actual":[127,127,true,true,0,7,140],"check":"fixture 9","expected":[127,127,true,true,0,7,140],"passed":true},{"actual":[128,128,true,true,0,8,130],"check":"fixture 10","expected":[128,128,true,true,0,8,130],"passed":true},{"actual":[514,2,true,true,0,4,520],"check":"fixture 11","expected":[514,2,true,true,0,4,520],"passed":true},{"actual":[514,264,true,false,2,8,517],"check":"variant capture","expected":[514,264,true,false,2,8,517],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [514, 264, true, false, 2, 4, 520], \"expected\": [514, 264, true, false, 2, 4, 520], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [506, 16, true, true, 0, 26, 510], \"expected\": [506, 16, true, true, 0, 26, 510], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [506, 6, true, true, 0, 6, 510], \"expected\": [506, 6, true, true, 0, 6, 510], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [256, 0, true, true, 0, 4, 259], \"expected\": [256, 0, true, true, 0, 4, 259], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [788, 778, true, true, 3, 88, 800], \"expected\": [788, 778, true, true, 3, 88, 800], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [256, -4, false, false, 0, 9, 260], \"expected\": [256, -4, false, false, 0, 9, 260], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [20, 10, true, false, 0, 6, 21], \"expected\": [20, 10, true, false, 0, 6, 21], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [512, 512, true, true, 2, 0, 528], \"expected\": [512, 512, true, true, 2, 0, 528], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [127, 127, true, true, 0, 7, 140], \"expected\": [127, 127, true, true, 0, 7, 140], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [128, 128, true, true, 0, 8, 130], \"expected\": [128, 128, true, true, 0, 8, 130], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [514, 2, true, true, 0, 4, 520], \"expected\": [514, 2, true, true, 0, 4, 520], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [514, 264, true, false, 2, 8, 517], \"expected\": [514, 264, true, false, 2, 8, 517], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}