{"abstract":"The decoded time state disagrees with the explicit regression oracle for coordinate.","category":"Time representation","checks":13,"contract":"Bridge two clock domains through one synchronization pair and exact positive rational rate p/q. A reading carries boot identity and calibration generation; reject stale identity, expiration, or unsupported extrapolation. Outputs admission, mapped rational coordinate, nearest interval endpoints expanded by calibration error, and remaining certificate age. Ages are monotonic and nonnegative. Negative target-domain calibration error is malformed; zero is a valid exact bound.","evaluation_group":"s3-time-clock_domain_bridge","failed_approach":"The partial correction still substitutes Fraction((delta + r['target_anchor']) * r['p'],r['q']) at the same fault site.","family":"s3-time_representation-clock-domain-bridge-coordinate","id":"FA-18121","implementations":{"attempt":{"sha256":"a6d94cea4dc7f3a8650d7c84fb9b0b32a4d74e75378e7f231b40c1913bb52a85","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    boot_ok = r['boot'] == r['cal_boot']\n    generation_ok = r['generation'] == r['cal_generation']\n    age = r['now'] - r['cal_time']\n    fresh = 0 <= age < r['ttl']\n    delta = r['reading'] - r['source_anchor']\n    supported = abs(delta) <= r['radius']\n    coordinate = Fraction((delta + r['target_anchor']) * r['p'],r['q'])\n    low = coordinate - r['error']\n    high = coordinate + r['error']\n    accepted = boot_ok and generation_ok and fresh and supported and r['error'] >= 0\n    return [accepted, str(coordinate) if accepted else None, [str(low),str(high)] if accepted else None,max(0,r['ttl']-age)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [True, '503', ['501', '505'], 8])\ncheck('fixture 2', solve({'boot': 'b', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 3', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 3, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 4', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 1, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 5', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 9, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 11])\ncheck('fixture 6', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 20, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 0])\ncheck('fixture 7', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 19, 'cal_time': 10, 'ttl': 10, 'reading': 110, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [True, '515', ['513', '517'], 1])\ncheck('fixture 8', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 89, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 9', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 111, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 10', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 10, 'cal_time': 10, 'ttl': 10, 'reading': 90, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [True, '485', ['483', '487'], 10])\ncheck('fixture 11', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': -1}), [False, None, None, 8])\ncheck('fixture 12', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 0}), [True, '503', ['503', '503'], 8])\nvariant = [({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 103, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '1009/2', ['1005/2', '1013/2'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 104, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '506', ['504', '508'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 105, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '1015/2', ['1011/2', '1019/2'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 106, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '509', ['507', '511'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 107, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '1021/2', ['1017/2', '1025/2'], 8])]\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":"ba3d9bc6249052e73f93f9c58f066b455bb0fa79827c17279af64a939e867e73","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    boot_ok = r['boot'] == r['cal_boot']\n    generation_ok = r['generation'] == r['cal_generation']\n    age = r['now'] - r['cal_time']\n    fresh = 0 <= age < r['ttl']\n    delta = r['reading'] - r['source_anchor']\n    supported = abs(delta) <= r['radius']\n    coordinate = Fraction(delta * r['q'],r['p']) + r['target_anchor']\n    low = coordinate - r['error']\n    high = coordinate + r['error']\n    accepted = boot_ok and generation_ok and fresh and supported and r['error'] >= 0\n    return [accepted, str(coordinate) if accepted else None, [str(low),str(high)] if accepted else None,max(0,r['ttl']-age)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [True, '503', ['501', '505'], 8])\ncheck('fixture 2', solve({'boot': 'b', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 3', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 3, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 4', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 1, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 5', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 9, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 11])\ncheck('fixture 6', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 20, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 0])\ncheck('fixture 7', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 19, 'cal_time': 10, 'ttl': 10, 'reading': 110, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [True, '515', ['513', '517'], 1])\ncheck('fixture 8', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 89, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 9', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 111, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 10', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 10, 'cal_time': 10, 'ttl': 10, 'reading': 90, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [True, '485', ['483', '487'], 10])\ncheck('fixture 11', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': -1}), [False, None, None, 8])\ncheck('fixture 12', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 0}), [True, '503', ['503', '503'], 8])\nvariant = [({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 103, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '1009/2', ['1005/2', '1013/2'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 104, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '506', ['504', '508'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 105, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '1015/2', ['1011/2', '1019/2'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 106, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '509', ['507', '511'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 107, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '1021/2', ['1017/2', '1025/2'], 8])]\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":"a96a5900b0d57fbe50770e9d715668730240be1e9a4a5506c343099b6d82dc37","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    boot_ok = r['boot'] == r['cal_boot']\n    generation_ok = r['generation'] == r['cal_generation']\n    age = r['now'] - r['cal_time']\n    fresh = 0 <= age < r['ttl']\n    delta = r['reading'] - r['source_anchor']\n    supported = abs(delta) <= r['radius']\n    coordinate = Fraction(delta * r['p'],r['q']) + r['target_anchor']\n    low = coordinate - r['error']\n    high = coordinate + r['error']\n    accepted = boot_ok and generation_ok and fresh and supported and r['error'] >= 0\n    return [accepted, str(coordinate) if accepted else None, [str(low),str(high)] if accepted else None,max(0,r['ttl']-age)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [True, '503', ['501', '505'], 8])\ncheck('fixture 2', solve({'boot': 'b', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 3', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 3, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 4', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 1, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 5', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 9, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 11])\ncheck('fixture 6', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 20, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 0])\ncheck('fixture 7', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 19, 'cal_time': 10, 'ttl': 10, 'reading': 110, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [True, '515', ['513', '517'], 1])\ncheck('fixture 8', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 89, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 9', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 111, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [False, None, None, 8])\ncheck('fixture 10', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 10, 'cal_time': 10, 'ttl': 10, 'reading': 90, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}), [True, '485', ['483', '487'], 10])\ncheck('fixture 11', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': -1}), [False, None, None, 8])\ncheck('fixture 12', solve({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 102, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 0}), [True, '503', ['503', '503'], 8])\nvariant = [({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 103, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '1009/2', ['1005/2', '1013/2'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 104, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '506', ['504', '508'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 105, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '1015/2', ['1011/2', '1019/2'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 106, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '509', ['507', '511'], 8]), ({'boot': 'a', 'cal_boot': 'a', 'generation': 2, 'cal_generation': 2, 'now': 12, 'cal_time': 10, 'ttl': 10, 'reading': 107, 'source_anchor': 100, 'target_anchor': 500, 'p': 3, 'q': 2, 'radius': 10, 'error': 2}, [True, '1021/2', ['1017/2', '1025/2'], 8])]\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-clock-domain-bridge-coordinate","generated_at":"2026-09-29T14:39:54.408109+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 coordinate: coordinate = Fraction(delta * r['p'],r['q']) + r['target_anchor'].","root_cause":"Clock bridge inverts rate or scales target-domain origin.","sha256":"3115e259f3f5276cf440df998b7dbd73a091150aef71385baae63175fd6e61ab","title":"Clock bridge inverts rate or scales target-domain origin · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.503,"exit_code":1,"observations":[{"actual":[true,"753",["751","755"],8],"check":"fixture 1","expected":[true,"503",["501","505"],8],"passed":false},{"actual":[false,null,null,8],"check":"fixture 2","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 3","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 4","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,11],"check":"fixture 5","expected":[false,null,null,11],"passed":true},{"actual":[false,null,null,0],"check":"fixture 6","expected":[false,null,null,0],"passed":true},{"actual":[true,"765",["763","767"],1],"check":"fixture 7","expected":[true,"515",["513","517"],1],"passed":false},{"actual":[false,null,null,8],"check":"fixture 8","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 9","expected":[false,null,null,8],"passed":true},{"actual":[true,"735",["733","737"],10],"check":"fixture 10","expected":[true,"485",["483","487"],10],"passed":false},{"actual":[false,null,null,8],"check":"fixture 11","expected":[false,null,null,8],"passed":true},{"actual":[true,"753",["753","753"],8],"check":"fixture 12","expected":[true,"503",["503","503"],8],"passed":false},{"actual":[true,"1509/2",["1505/2","1513/2"],8],"check":"variant capture","expected":[true,"1009/2",["1005/2","1013/2"],8],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, \"753\", [\"751\", \"755\"], 8], \"expected\": [true, \"503\", [\"501\", \"505\"], 8], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, null, null, 11], \"expected\": [false, null, null, 11], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [false, null, null, 0], \"expected\": [false, null, null, 0], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, \"765\", [\"763\", \"767\"], 1], \"expected\": [true, \"515\", [\"513\", \"517\"], 1], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [true, \"735\", [\"733\", \"737\"], 10], \"expected\": [true, \"485\", [\"483\", \"487\"], 10], \"passed\": false}, {\"check\": \"fixture 11\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 12\", \"actual\": [true, \"753\", [\"753\", \"753\"], 8], \"expected\": [true, \"503\", [\"503\", \"503\"], 8], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [true, \"1509/2\", [\"1505/2\", \"1513/2\"], 8], \"expected\": [true, \"1009/2\", [\"1005/2\", \"1013/2\"], 8], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":50.696,"exit_code":1,"observations":[{"actual":[true,"1504/3",["1498/3","1510/3"],8],"check":"fixture 1","expected":[true,"503",["501","505"],8],"passed":false},{"actual":[false,null,null,8],"check":"fixture 2","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 3","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 4","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,11],"check":"fixture 5","expected":[false,null,null,11],"passed":true},{"actual":[false,null,null,0],"check":"fixture 6","expected":[false,null,null,0],"passed":true},{"actual":[true,"1520/3",["1514/3","1526/3"],1],"check":"fixture 7","expected":[true,"515",["513","517"],1],"passed":false},{"actual":[false,null,null,8],"check":"fixture 8","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 9","expected":[false,null,null,8],"passed":true},{"actual":[true,"1480/3",["1474/3","1486/3"],10],"check":"fixture 10","expected":[true,"485",["483","487"],10],"passed":false},{"actual":[false,null,null,8],"check":"fixture 11","expected":[false,null,null,8],"passed":true},{"actual":[true,"1504/3",["1504/3","1504/3"],8],"check":"fixture 12","expected":[true,"503",["503","503"],8],"passed":false},{"actual":[true,"502",["500","504"],8],"check":"variant capture","expected":[true,"1009/2",["1005/2","1013/2"],8],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, \"1504/3\", [\"1498/3\", \"1510/3\"], 8], \"expected\": [true, \"503\", [\"501\", \"505\"], 8], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, null, null, 11], \"expected\": [false, null, null, 11], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [false, null, null, 0], \"expected\": [false, null, null, 0], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, \"1520/3\", [\"1514/3\", \"1526/3\"], 1], \"expected\": [true, \"515\", [\"513\", \"517\"], 1], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [true, \"1480/3\", [\"1474/3\", \"1486/3\"], 10], \"expected\": [true, \"485\", [\"483\", \"487\"], 10], \"passed\": false}, {\"check\": \"fixture 11\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 12\", \"actual\": [true, \"1504/3\", [\"1504/3\", \"1504/3\"], 8], \"expected\": [true, \"503\", [\"503\", \"503\"], 8], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [true, \"502\", [\"500\", \"504\"], 8], \"expected\": [true, \"1009/2\", [\"1005/2\", \"1013/2\"], 8], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.183,"exit_code":0,"observations":[{"actual":[true,"503",["501","505"],8],"check":"fixture 1","expected":[true,"503",["501","505"],8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 2","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 3","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 4","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,11],"check":"fixture 5","expected":[false,null,null,11],"passed":true},{"actual":[false,null,null,0],"check":"fixture 6","expected":[false,null,null,0],"passed":true},{"actual":[true,"515",["513","517"],1],"check":"fixture 7","expected":[true,"515",["513","517"],1],"passed":true},{"actual":[false,null,null,8],"check":"fixture 8","expected":[false,null,null,8],"passed":true},{"actual":[false,null,null,8],"check":"fixture 9","expected":[false,null,null,8],"passed":true},{"actual":[true,"485",["483","487"],10],"check":"fixture 10","expected":[true,"485",["483","487"],10],"passed":true},{"actual":[false,null,null,8],"check":"fixture 11","expected":[false,null,null,8],"passed":true},{"actual":[true,"503",["503","503"],8],"check":"fixture 12","expected":[true,"503",["503","503"],8],"passed":true},{"actual":[true,"1009/2",["1005/2","1013/2"],8],"check":"variant capture","expected":[true,"1009/2",["1005/2","1013/2"],8],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, \"503\", [\"501\", \"505\"], 8], \"expected\": [true, \"503\", [\"501\", \"505\"], 8], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, null, null, 11], \"expected\": [false, null, null, 11], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [false, null, null, 0], \"expected\": [false, null, null, 0], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, \"515\", [\"513\", \"517\"], 1], \"expected\": [true, \"515\", [\"513\", \"517\"], 1], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [true, \"485\", [\"483\", \"487\"], 10], \"expected\": [true, \"485\", [\"483\", \"487\"], 10], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [false, null, null, 8], \"expected\": [false, null, null, 8], \"passed\": true}, {\"check\": \"fixture 12\", \"actual\": [true, \"503\", [\"503\", \"503\"], 8], \"expected\": [true, \"503\", [\"503\", \"503\"], 8], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, \"1009/2\", [\"1005/2\", \"1013/2\"], 8], \"expected\": [true, \"1009/2\", [\"1005/2\", \"1013/2\"], 8], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}