{"abstract":"The decoded time state disagrees with the explicit regression oracle for exact.","category":"Time representation","checks":11,"contract":"An elapsed-time converter maps incoming nonnegative source ticks to target ticks with exact rate numerator/denominator and retained residue. Each step adds source*p to prior numerator residue; emit quotient and preserve remainder. A reset invalidates old remainder. A phase origin belongs to emitted target coordinate. Report emitted ticks, new residue, cumulative target, exact unrounded cumulative coordinate and reset marker.","contract_signature":"r","evaluation_group":"s3-time-fractional_tick_accumulator","failed_approach":"The partial correction still substitutes Fraction(coordinate) + Fraction(residue,r['p']) at the same fault site.","family":"s3-time_representation-fractional-tick-accumulator-exact","id":"FA-18281","implementations":{"attempt":{"sha256":"82db469449e14c97b45be6e607387d12b6151614c50a05ce2bcacaa6a3033620","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    old_residue = 0 if r['reset'] else r['residue']\n    scaled = r['source'] * r['p']\n    accumulated = scaled + old_residue\n    emitted = accumulated // r['q']\n    residue = accumulated % r['q']\n    old_target = 0 if r['reset'] else r['target']\n    target = old_target + emitted\n    coordinate = r['origin'] + target\n    exact = Fraction(coordinate) + Fraction(residue,r['p'])\n    needs_tick = residue != 0\n    return [coordinate,residue,str(exact),needs_tick,target,emitted]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'reset': False, 'residue': 2, 'source': 1, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}), [111, 1, '334/3', True, 11, 1])\ncheck('fixture 2', solve({'reset': True, 'residue': 2, 'source': 1, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}), [100, 2, '302/3', True, 0, 0])\ncheck('fixture 3', solve({'reset': False, 'residue': 0, 'source': 1, 'p': 2, 'q': 3, 'target': 0, 'origin': 0}), [0, 2, '2/3', True, 0, 0])\ncheck('fixture 4', solve({'reset': False, 'residue': 1, 'source': 1, 'p': 2, 'q': 3, 'target': 5, 'origin': 10}), [16, 0, '16', False, 6, 1])\ncheck('fixture 5', solve({'reset': False, 'residue': 0, 'source': 3, 'p': 2, 'q': 3, 'target': 7, 'origin': -10}), [-1, 0, '-1', False, 9, 2])\ncheck('fixture 6', solve({'reset': False, 'residue': 1, 'source': 0, 'p': 1, 'q': 4, 'target': 2, 'origin': 100}), [102, 1, '409/4', True, 2, 0])\ncheck('fixture 7', solve({'reset': True, 'residue': 1, 'source': 0, 'p': 1, 'q': 4, 'target': 9, 'origin': 50}), [50, 0, '50', False, 0, 0])\ncheck('fixture 8', solve({'reset': False, 'residue': 4, 'source': 2, 'p': 3, 'q': 5, 'target': 10, 'origin': 0}), [12, 0, '12', False, 12, 2])\ncheck('fixture 9', solve({'reset': False, 'residue': 0, 'source': 0, 'p': 2, 'q': 3, 'target': 0, 'origin': 0}), [0, 0, '0', False, 0, 0])\ncheck('fixture 10', solve({'reset': False, 'residue': 2, 'source': 10, 'p': 1, 'q': 7, 'target': 100, 'origin': 4}), [105, 5, '740/7', True, 101, 1])\nvariant = [({'reset': False, 'residue': 2, 'source': 2, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [112, 0, '112', False, 12, 2]), ({'reset': False, 'residue': 2, 'source': 3, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [112, 2, '338/3', True, 12, 2]), ({'reset': False, 'residue': 2, 'source': 4, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [113, 1, '340/3', True, 13, 3]), ({'reset': False, 'residue': 2, 'source': 5, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [114, 0, '114', False, 14, 4]), ({'reset': False, 'residue': 2, 'source': 6, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [114, 2, '344/3', True, 14, 4])]\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":"858f8b4386eb29c1c008324a00f2e7291d7b86119053b02d060946ea9637c41e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    old_residue = 0 if r['reset'] else r['residue']\n    scaled = r['source'] * r['p']\n    accumulated = scaled + old_residue\n    emitted = accumulated // r['q']\n    residue = accumulated % r['q']\n    old_target = 0 if r['reset'] else r['target']\n    target = old_target + emitted\n    coordinate = r['origin'] + target\n    exact = Fraction(coordinate)\n    needs_tick = residue != 0\n    return [coordinate,residue,str(exact),needs_tick,target,emitted]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'reset': False, 'residue': 2, 'source': 1, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}), [111, 1, '334/3', True, 11, 1])\ncheck('fixture 2', solve({'reset': True, 'residue': 2, 'source': 1, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}), [100, 2, '302/3', True, 0, 0])\ncheck('fixture 3', solve({'reset': False, 'residue': 0, 'source': 1, 'p': 2, 'q': 3, 'target': 0, 'origin': 0}), [0, 2, '2/3', True, 0, 0])\ncheck('fixture 4', solve({'reset': False, 'residue': 1, 'source': 1, 'p': 2, 'q': 3, 'target': 5, 'origin': 10}), [16, 0, '16', False, 6, 1])\ncheck('fixture 5', solve({'reset': False, 'residue': 0, 'source': 3, 'p': 2, 'q': 3, 'target': 7, 'origin': -10}), [-1, 0, '-1', False, 9, 2])\ncheck('fixture 6', solve({'reset': False, 'residue': 1, 'source': 0, 'p': 1, 'q': 4, 'target': 2, 'origin': 100}), [102, 1, '409/4', True, 2, 0])\ncheck('fixture 7', solve({'reset': True, 'residue': 1, 'source': 0, 'p': 1, 'q': 4, 'target': 9, 'origin': 50}), [50, 0, '50', False, 0, 0])\ncheck('fixture 8', solve({'reset': False, 'residue': 4, 'source': 2, 'p': 3, 'q': 5, 'target': 10, 'origin': 0}), [12, 0, '12', False, 12, 2])\ncheck('fixture 9', solve({'reset': False, 'residue': 0, 'source': 0, 'p': 2, 'q': 3, 'target': 0, 'origin': 0}), [0, 0, '0', False, 0, 0])\ncheck('fixture 10', solve({'reset': False, 'residue': 2, 'source': 10, 'p': 1, 'q': 7, 'target': 100, 'origin': 4}), [105, 5, '740/7', True, 101, 1])\nvariant = [({'reset': False, 'residue': 2, 'source': 2, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [112, 0, '112', False, 12, 2]), ({'reset': False, 'residue': 2, 'source': 3, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [112, 2, '338/3', True, 12, 2]), ({'reset': False, 'residue': 2, 'source': 4, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [113, 1, '340/3', True, 13, 3]), ({'reset': False, 'residue': 2, 'source': 5, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [114, 0, '114', False, 14, 4]), ({'reset': False, 'residue': 2, 'source': 6, 'p': 2, 'q': 3, 'target': 10, 'origin': 100}, [114, 2, '344/3', True, 14, 4])]\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-fractional-tick-accumulator-exact","generated_at":"2026-09-29T14:39:56.136441+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.","root_cause":"Unrounded timestamp drops residue or gives it wrong unit denominator.","sha256":"0a71e407d74e857b47c24228160b23973848467b2d6fa9401aaf0f86c892686f","title":"Unrounded timestamp drops residue or gives it wrong unit denominator · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":46.41,"exit_code":1,"observations":[{"actual":[111,1,"223/2",true,11,1],"check":"fixture 1","expected":[111,1,"334/3",true,11,1],"passed":false},{"actual":[100,2,"101",true,0,0],"check":"fixture 2","expected":[100,2,"302/3",true,0,0],"passed":false},{"actual":[0,2,"1",true,0,0],"check":"fixture 3","expected":[0,2,"2/3",true,0,0],"passed":false},{"actual":[16,0,"16",false,6,1],"check":"fixture 4","expected":[16,0,"16",false,6,1],"passed":true},{"actual":[-1,0,"-1",false,9,2],"check":"fixture 5","expected":[-1,0,"-1",false,9,2],"passed":true},{"actual":[102,1,"103",true,2,0],"check":"fixture 6","expected":[102,1,"409/4",true,2,0],"passed":false},{"actual":[50,0,"50",false,0,0],"check":"fixture 7","expected":[50,0,"50",false,0,0],"passed":true},{"actual":[12,0,"12",false,12,2],"check":"fixture 8","expected":[12,0,"12",false,12,2],"passed":true},{"actual":[0,0,"0",false,0,0],"check":"fixture 9","expected":[0,0,"0",false,0,0],"passed":true},{"actual":[105,5,"110",true,101,1],"check":"fixture 10","expected":[105,5,"740/7",true,101,1],"passed":false},{"actual":[112,0,"112",false,12,2],"check":"variant capture","expected":[112,0,"112",false,12,2],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [111, 1, \"223/2\", true, 11, 1], \"expected\": [111, 1, \"334/3\", true, 11, 1], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [100, 2, \"101\", true, 0, 0], \"expected\": [100, 2, \"302/3\", true, 0, 0], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [0, 2, \"1\", true, 0, 0], \"expected\": [0, 2, \"2/3\", true, 0, 0], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [16, 0, \"16\", false, 6, 1], \"expected\": [16, 0, \"16\", false, 6, 1], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [-1, 0, \"-1\", false, 9, 2], \"expected\": [-1, 0, \"-1\", false, 9, 2], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [102, 1, \"103\", true, 2, 0], \"expected\": [102, 1, \"409/4\", true, 2, 0], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [50, 0, \"50\", false, 0, 0], \"expected\": [50, 0, \"50\", false, 0, 0], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [12, 0, \"12\", false, 12, 2], \"expected\": [12, 0, \"12\", false, 12, 2], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [0, 0, \"0\", false, 0, 0], \"expected\": [0, 0, \"0\", false, 0, 0], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [105, 5, \"110\", true, 101, 1], \"expected\": [105, 5, \"740/7\", true, 101, 1], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [112, 0, \"112\", false, 12, 2], \"expected\": [112, 0, \"112\", false, 12, 2], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.578,"exit_code":1,"observations":[{"actual":[111,1,"111",true,11,1],"check":"fixture 1","expected":[111,1,"334/3",true,11,1],"passed":false},{"actual":[100,2,"100",true,0,0],"check":"fixture 2","expected":[100,2,"302/3",true,0,0],"passed":false},{"actual":[0,2,"0",true,0,0],"check":"fixture 3","expected":[0,2,"2/3",true,0,0],"passed":false},{"actual":[16,0,"16",false,6,1],"check":"fixture 4","expected":[16,0,"16",false,6,1],"passed":true},{"actual":[-1,0,"-1",false,9,2],"check":"fixture 5","expected":[-1,0,"-1",false,9,2],"passed":true},{"actual":[102,1,"102",true,2,0],"check":"fixture 6","expected":[102,1,"409/4",true,2,0],"passed":false},{"actual":[50,0,"50",false,0,0],"check":"fixture 7","expected":[50,0,"50",false,0,0],"passed":true},{"actual":[12,0,"12",false,12,2],"check":"fixture 8","expected":[12,0,"12",false,12,2],"passed":true},{"actual":[0,0,"0",false,0,0],"check":"fixture 9","expected":[0,0,"0",false,0,0],"passed":true},{"actual":[105,5,"105",true,101,1],"check":"fixture 10","expected":[105,5,"740/7",true,101,1],"passed":false},{"actual":[112,0,"112",false,12,2],"check":"variant capture","expected":[112,0,"112",false,12,2],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [111, 1, \"111\", true, 11, 1], \"expected\": [111, 1, \"334/3\", true, 11, 1], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [100, 2, \"100\", true, 0, 0], \"expected\": [100, 2, \"302/3\", true, 0, 0], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [0, 2, \"0\", true, 0, 0], \"expected\": [0, 2, \"2/3\", true, 0, 0], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [16, 0, \"16\", false, 6, 1], \"expected\": [16, 0, \"16\", false, 6, 1], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [-1, 0, \"-1\", false, 9, 2], \"expected\": [-1, 0, \"-1\", false, 9, 2], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [102, 1, \"102\", true, 2, 0], \"expected\": [102, 1, \"409/4\", true, 2, 0], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [50, 0, \"50\", false, 0, 0], \"expected\": [50, 0, \"50\", false, 0, 0], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [12, 0, \"12\", false, 12, 2], \"expected\": [12, 0, \"12\", false, 12, 2], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [0, 0, \"0\", false, 0, 0], \"expected\": [0, 0, \"0\", false, 0, 0], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [105, 5, \"105\", true, 101, 1], \"expected\": [105, 5, \"740/7\", true, 101, 1], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [112, 0, \"112\", false, 12, 2], \"expected\": [112, 0, \"112\", false, 12, 2], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}