{"abstract":"The decoded time state disagrees with the explicit regression oracle for bcd.","category":"Time representation","checks":15,"contract":"Controlled RTC snapshot consists of packed BCD hour/minute/second bytes, an hour-mode flag, PM flag and oscillator-running flag. Decode BCD only if each nibble is decimal. In twelve-hour mode valid hours are 1..12; in twenty-four-hour mode 0..23 and PM is forbidden. A stopped oscillator invalidates the reading. Return valid and 24-hour components. Equal generation stamps before and after register reads are required for a coherent snapshot; previous_hour is stale diagnostic context and must not replace the current hour.","evaluation_group":"s3-time-bcd_clock_registers","failed_approach":"The partial correction still substitutes all(0 <= r[k] <= 255 and r[k] >> 4 <= 9 and r[k] & 15 <= 9 for k in ('hour','minute','second')) and abs(r['generation_before']-r['generation_after']) <= 1 at the same fault site.","family":"s3-time_representation-bcd-clock-registers-bcd","id":"FA-17906","implementations":{"attempt":{"sha256":"3d96fa9a75dbca4284cfa3c4595490922f99762994e2a766dc46e70423351f11","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    hour = (r['hour'] >> 4) * 10 + (r['hour'] & 15)\n    minute = (r['minute'] >> 4) * 10 + (r['minute'] & 15)\n    second = (r['second'] >> 4) * 10 + (r['second'] & 15)\n    bcd = all(0 <= r[k] <= 255 and r[k] >> 4 <= 9 and r[k] & 15 <= 9 for k in ('hour','minute','second')) and abs(r['generation_before']-r['generation_after']) <= 1\n    hour_valid = 1 <= hour <= 12 if r['twelve'] else 0 <= hour <= 23\n    minute_valid = 0 <= minute <= 59\n    second_valid = 0 <= second <= 59\n    mode_valid = r['twelve'] or not r['pm']\n    converted_hour = hour % 12 + 12 * int(r['pm']) if r['twelve'] else hour\n    valid = bcd and hour_valid and minute_valid and second_valid and mode_valid and r['running']\n    return [valid,converted_hour,minute,second]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'hour': 18, 'minute': 52, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 0, 34, 56])\ncheck('fixture 2', solve({'hour': 18, 'minute': 89, 'second': 89, 'twelve': True, 'pm': True, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 12, 59, 59])\ncheck('fixture 3', solve({'hour': 35, 'minute': 0, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 23, 0, 0])\ncheck('fixture 4', solve({'hour': 0, 'minute': 0, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 0, 0, 0])\ncheck('fixture 5', solve({'hour': 0, 'minute': 0, 'second': 0, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 0, 0, 0])\ncheck('fixture 6', solve({'hour': 19, 'minute': 0, 'second': 0, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 1, 0, 0])\ncheck('fixture 7', solve({'hour': 16, 'minute': 96, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 10, 60, 0])\ncheck('fixture 8', solve({'hour': 16, 'minute': 0, 'second': 96, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 10, 0, 60])\ncheck('fixture 9', solve({'hour': 26, 'minute': 0, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 20, 0, 0])\ncheck('fixture 10', solve({'hour': 1, 'minute': 0, 'second': 0, 'twelve': False, 'pm': True, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 1, 0, 0])\ncheck('fixture 11', solve({'hour': 1, 'minute': 0, 'second': 0, 'twelve': True, 'pm': True, 'running': False, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 13, 0, 0])\ncheck('fixture 12', solve({'hour': 1, 'minute': 0, 'second': 0, 'twelve': True, 'pm': True, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 13, 0, 0])\ncheck('fixture 13', solve({'hour': 16, 'minute': 89, 'second': 88, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 10, 59, 58])\ncheck('fixture 14', solve({'hour': 18, 'minute': 52, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 2}), [False, 0, 34, 56])\nvariant = [({'hour': 18, 'minute': 1, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 1, 56]), ({'hour': 18, 'minute': 2, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 2, 56]), ({'hour': 18, 'minute': 3, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 3, 56]), ({'hour': 18, 'minute': 4, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 4, 56]), ({'hour': 18, 'minute': 5, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 5, 56])]\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":"c3e967bdb51085e3261e6e2b918fca7a9799e10be0f0b1ec69d02511ec147701","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    hour = (r['hour'] >> 4) * 10 + (r['hour'] & 15)\n    minute = (r['minute'] >> 4) * 10 + (r['minute'] & 15)\n    second = (r['second'] >> 4) * 10 + (r['second'] & 15)\n    bcd = all(0 <= r[k] <= 255 and r[k] >> 4 <= 9 and r[k] & 15 <= 9 for k in ('hour','minute','second'))\n    hour_valid = 1 <= hour <= 12 if r['twelve'] else 0 <= hour <= 23\n    minute_valid = 0 <= minute <= 59\n    second_valid = 0 <= second <= 59\n    mode_valid = r['twelve'] or not r['pm']\n    converted_hour = hour % 12 + 12 * int(r['pm']) if r['twelve'] else hour\n    valid = bcd and hour_valid and minute_valid and second_valid and mode_valid and r['running']\n    return [valid,converted_hour,minute,second]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'hour': 18, 'minute': 52, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 0, 34, 56])\ncheck('fixture 2', solve({'hour': 18, 'minute': 89, 'second': 89, 'twelve': True, 'pm': True, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 12, 59, 59])\ncheck('fixture 3', solve({'hour': 35, 'minute': 0, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 23, 0, 0])\ncheck('fixture 4', solve({'hour': 0, 'minute': 0, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 0, 0, 0])\ncheck('fixture 5', solve({'hour': 0, 'minute': 0, 'second': 0, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 0, 0, 0])\ncheck('fixture 6', solve({'hour': 19, 'minute': 0, 'second': 0, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 1, 0, 0])\ncheck('fixture 7', solve({'hour': 16, 'minute': 96, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 10, 60, 0])\ncheck('fixture 8', solve({'hour': 16, 'minute': 0, 'second': 96, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 10, 0, 60])\ncheck('fixture 9', solve({'hour': 26, 'minute': 0, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 20, 0, 0])\ncheck('fixture 10', solve({'hour': 1, 'minute': 0, 'second': 0, 'twelve': False, 'pm': True, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 1, 0, 0])\ncheck('fixture 11', solve({'hour': 1, 'minute': 0, 'second': 0, 'twelve': True, 'pm': True, 'running': False, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 13, 0, 0])\ncheck('fixture 12', solve({'hour': 1, 'minute': 0, 'second': 0, 'twelve': True, 'pm': True, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 13, 0, 0])\ncheck('fixture 13', solve({'hour': 16, 'minute': 89, 'second': 88, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 10, 59, 58])\ncheck('fixture 14', solve({'hour': 18, 'minute': 52, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 2}), [False, 0, 34, 56])\nvariant = [({'hour': 18, 'minute': 1, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 1, 56]), ({'hour': 18, 'minute': 2, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 2, 56]), ({'hour': 18, 'minute': 3, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 3, 56]), ({'hour': 18, 'minute': 4, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 4, 56]), ({'hour': 18, 'minute': 5, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 5, 56])]\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":"8d2152526c8b9a73a06f04b84b13ba8e02ac0f1e8dc65d483f51682f9ce4e3d2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    hour = (r['hour'] >> 4) * 10 + (r['hour'] & 15)\n    minute = (r['minute'] >> 4) * 10 + (r['minute'] & 15)\n    second = (r['second'] >> 4) * 10 + (r['second'] & 15)\n    bcd = all(0 <= r[k] <= 255 and r[k] >> 4 <= 9 and r[k] & 15 <= 9 for k in ('hour','minute','second')) and r['generation_before'] == r['generation_after']\n    hour_valid = 1 <= hour <= 12 if r['twelve'] else 0 <= hour <= 23\n    minute_valid = 0 <= minute <= 59\n    second_valid = 0 <= second <= 59\n    mode_valid = r['twelve'] or not r['pm']\n    converted_hour = hour % 12 + 12 * int(r['pm']) if r['twelve'] else hour\n    valid = bcd and hour_valid and minute_valid and second_valid and mode_valid and r['running']\n    return [valid,converted_hour,minute,second]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'hour': 18, 'minute': 52, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 0, 34, 56])\ncheck('fixture 2', solve({'hour': 18, 'minute': 89, 'second': 89, 'twelve': True, 'pm': True, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 12, 59, 59])\ncheck('fixture 3', solve({'hour': 35, 'minute': 0, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 23, 0, 0])\ncheck('fixture 4', solve({'hour': 0, 'minute': 0, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 0, 0, 0])\ncheck('fixture 5', solve({'hour': 0, 'minute': 0, 'second': 0, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 0, 0, 0])\ncheck('fixture 6', solve({'hour': 19, 'minute': 0, 'second': 0, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 1, 0, 0])\ncheck('fixture 7', solve({'hour': 16, 'minute': 96, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 10, 60, 0])\ncheck('fixture 8', solve({'hour': 16, 'minute': 0, 'second': 96, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 10, 0, 60])\ncheck('fixture 9', solve({'hour': 26, 'minute': 0, 'second': 0, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 20, 0, 0])\ncheck('fixture 10', solve({'hour': 1, 'minute': 0, 'second': 0, 'twelve': False, 'pm': True, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 1, 0, 0])\ncheck('fixture 11', solve({'hour': 1, 'minute': 0, 'second': 0, 'twelve': True, 'pm': True, 'running': False, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [False, 13, 0, 0])\ncheck('fixture 12', solve({'hour': 1, 'minute': 0, 'second': 0, 'twelve': True, 'pm': True, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 13, 0, 0])\ncheck('fixture 13', solve({'hour': 16, 'minute': 89, 'second': 88, 'twelve': False, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}), [True, 10, 59, 58])\ncheck('fixture 14', solve({'hour': 18, 'minute': 52, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 2}), [False, 0, 34, 56])\nvariant = [({'hour': 18, 'minute': 1, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 1, 56]), ({'hour': 18, 'minute': 2, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 2, 56]), ({'hour': 18, 'minute': 3, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 3, 56]), ({'hour': 18, 'minute': 4, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 4, 56]), ({'hour': 18, 'minute': 5, 'second': 86, 'twelve': True, 'pm': False, 'running': True, 'previous_hour': 17, 'generation_before': 1, 'generation_after': 1}, [True, 0, 5, 56])]\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-bcd-clock-registers-bcd","generated_at":"2026-09-29T14:39:52.068052+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 bcd: bcd = all(0 <= r[k] <= 255 and r[k] >> 4 <= 9 and r[k] & 15 <= 9 for k in ('hour','minute','second')) and r['generation_before'] == r['generation_after'].","root_cause":"RTC snapshot validation accepts a generation change during register reads.","sha256":"112297d8d376be1ad4698e891357cbba58f9566261198895cac948300d7d5faf","title":"RTC snapshot validation accepts a generation change during register reads · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.882,"exit_code":1,"observations":[{"actual":[true,0,34,56],"check":"fixture 1","expected":[true,0,34,56],"passed":true},{"actual":[true,12,59,59],"check":"fixture 2","expected":[true,12,59,59],"passed":true},{"actual":[true,23,0,0],"check":"fixture 3","expected":[true,23,0,0],"passed":true},{"actual":[true,0,0,0],"check":"fixture 4","expected":[true,0,0,0],"passed":true},{"actual":[false,0,0,0],"check":"fixture 5","expected":[false,0,0,0],"passed":true},{"actual":[false,1,0,0],"check":"fixture 6","expected":[false,1,0,0],"passed":true},{"actual":[false,10,60,0],"check":"fixture 7","expected":[false,10,60,0],"passed":true},{"actual":[false,10,0,60],"check":"fixture 8","expected":[false,10,0,60],"passed":true},{"actual":[false,20,0,0],"check":"fixture 9","expected":[false,20,0,0],"passed":true},{"actual":[false,1,0,0],"check":"fixture 10","expected":[false,1,0,0],"passed":true},{"actual":[false,13,0,0],"check":"fixture 11","expected":[false,13,0,0],"passed":true},{"actual":[true,13,0,0],"check":"fixture 12","expected":[true,13,0,0],"passed":true},{"actual":[true,10,59,58],"check":"fixture 13","expected":[true,10,59,58],"passed":true},{"actual":[true,0,34,56],"check":"fixture 14","expected":[false,0,34,56],"passed":false},{"actual":[true,0,1,56],"check":"variant capture","expected":[true,0,1,56],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, 0, 34, 56], \"expected\": [true, 0, 34, 56], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [true, 12, 59, 59], \"expected\": [true, 12, 59, 59], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, 23, 0, 0], \"expected\": [true, 23, 0, 0], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [true, 0, 0, 0], \"expected\": [true, 0, 0, 0], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, 0, 0, 0], \"expected\": [false, 0, 0, 0], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [false, 1, 0, 0], \"expected\": [false, 1, 0, 0], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [false, 10, 60, 0], \"expected\": [false, 10, 60, 0], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, 10, 0, 60], \"expected\": [false, 10, 0, 60], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [false, 20, 0, 0], \"expected\": [false, 20, 0, 0], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [false, 1, 0, 0], \"expected\": [false, 1, 0, 0], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [false, 13, 0, 0], \"expected\": [false, 13, 0, 0], \"passed\": true}, {\"check\": \"fixture 12\", \"actual\": [true, 13, 0, 0], \"expected\": [true, 13, 0, 0], \"passed\": true}, {\"check\": \"fixture 13\", \"actual\": [true, 10, 59, 58], \"expected\": [true, 10, 59, 58], \"passed\": true}, {\"check\": \"fixture 14\", \"actual\": [true, 0, 34, 56], \"expected\": [false, 0, 34, 56], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [true, 0, 1, 56], \"expected\": [true, 0, 1, 56], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":48.139,"exit_code":1,"observations":[{"actual":[true,0,34,56],"check":"fixture 1","expected":[true,0,34,56],"passed":true},{"actual":[true,12,59,59],"check":"fixture 2","expected":[true,12,59,59],"passed":true},{"actual":[true,23,0,0],"check":"fixture 3","expected":[true,23,0,0],"passed":true},{"actual":[true,0,0,0],"check":"fixture 4","expected":[true,0,0,0],"passed":true},{"actual":[false,0,0,0],"check":"fixture 5","expected":[false,0,0,0],"passed":true},{"actual":[false,1,0,0],"check":"fixture 6","expected":[false,1,0,0],"passed":true},{"actual":[false,10,60,0],"check":"fixture 7","expected":[false,10,60,0],"passed":true},{"actual":[false,10,0,60],"check":"fixture 8","expected":[false,10,0,60],"passed":true},{"actual":[false,20,0,0],"check":"fixture 9","expected":[false,20,0,0],"passed":true},{"actual":[false,1,0,0],"check":"fixture 10","expected":[false,1,0,0],"passed":true},{"actual":[false,13,0,0],"check":"fixture 11","expected":[false,13,0,0],"passed":true},{"actual":[true,13,0,0],"check":"fixture 12","expected":[true,13,0,0],"passed":true},{"actual":[true,10,59,58],"check":"fixture 13","expected":[true,10,59,58],"passed":true},{"actual":[true,0,34,56],"check":"fixture 14","expected":[false,0,34,56],"passed":false},{"actual":[true,0,1,56],"check":"variant capture","expected":[true,0,1,56],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, 0, 34, 56], \"expected\": [true, 0, 34, 56], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [true, 12, 59, 59], \"expected\": [true, 12, 59, 59], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, 23, 0, 0], \"expected\": [true, 23, 0, 0], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [true, 0, 0, 0], \"expected\": [true, 0, 0, 0], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, 0, 0, 0], \"expected\": [false, 0, 0, 0], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [false, 1, 0, 0], \"expected\": [false, 1, 0, 0], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [false, 10, 60, 0], \"expected\": [false, 10, 60, 0], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, 10, 0, 60], \"expected\": [false, 10, 0, 60], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [false, 20, 0, 0], \"expected\": [false, 20, 0, 0], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [false, 1, 0, 0], \"expected\": [false, 1, 0, 0], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [false, 13, 0, 0], \"expected\": [false, 13, 0, 0], \"passed\": true}, {\"check\": \"fixture 12\", \"actual\": [true, 13, 0, 0], \"expected\": [true, 13, 0, 0], \"passed\": true}, {\"check\": \"fixture 13\", \"actual\": [true, 10, 59, 58], \"expected\": [true, 10, 59, 58], \"passed\": true}, {\"check\": \"fixture 14\", \"actual\": [true, 0, 34, 56], \"expected\": [false, 0, 34, 56], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [true, 0, 1, 56], \"expected\": [true, 0, 1, 56], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.576,"exit_code":0,"observations":[{"actual":[true,0,34,56],"check":"fixture 1","expected":[true,0,34,56],"passed":true},{"actual":[true,12,59,59],"check":"fixture 2","expected":[true,12,59,59],"passed":true},{"actual":[true,23,0,0],"check":"fixture 3","expected":[true,23,0,0],"passed":true},{"actual":[true,0,0,0],"check":"fixture 4","expected":[true,0,0,0],"passed":true},{"actual":[false,0,0,0],"check":"fixture 5","expected":[false,0,0,0],"passed":true},{"actual":[false,1,0,0],"check":"fixture 6","expected":[false,1,0,0],"passed":true},{"actual":[false,10,60,0],"check":"fixture 7","expected":[false,10,60,0],"passed":true},{"actual":[false,10,0,60],"check":"fixture 8","expected":[false,10,0,60],"passed":true},{"actual":[false,20,0,0],"check":"fixture 9","expected":[false,20,0,0],"passed":true},{"actual":[false,1,0,0],"check":"fixture 10","expected":[false,1,0,0],"passed":true},{"actual":[false,13,0,0],"check":"fixture 11","expected":[false,13,0,0],"passed":true},{"actual":[true,13,0,0],"check":"fixture 12","expected":[true,13,0,0],"passed":true},{"actual":[true,10,59,58],"check":"fixture 13","expected":[true,10,59,58],"passed":true},{"actual":[false,0,34,56],"check":"fixture 14","expected":[false,0,34,56],"passed":true},{"actual":[true,0,1,56],"check":"variant capture","expected":[true,0,1,56],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, 0, 34, 56], \"expected\": [true, 0, 34, 56], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [true, 12, 59, 59], \"expected\": [true, 12, 59, 59], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, 23, 0, 0], \"expected\": [true, 23, 0, 0], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [true, 0, 0, 0], \"expected\": [true, 0, 0, 0], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, 0, 0, 0], \"expected\": [false, 0, 0, 0], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [false, 1, 0, 0], \"expected\": [false, 1, 0, 0], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [false, 10, 60, 0], \"expected\": [false, 10, 60, 0], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, 10, 0, 60], \"expected\": [false, 10, 0, 60], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [false, 20, 0, 0], \"expected\": [false, 20, 0, 0], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [false, 1, 0, 0], \"expected\": [false, 1, 0, 0], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [false, 13, 0, 0], \"expected\": [false, 13, 0, 0], \"passed\": true}, {\"check\": \"fixture 12\", \"actual\": [true, 13, 0, 0], \"expected\": [true, 13, 0, 0], \"passed\": true}, {\"check\": \"fixture 13\", \"actual\": [true, 10, 59, 58], \"expected\": [true, 10, 59, 58], \"passed\": true}, {\"check\": \"fixture 14\", \"actual\": [false, 0, 34, 56], \"expected\": [false, 0, 34, 56], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, 0, 1, 56], \"expected\": [true, 0, 1, 56], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}