{"abstract":"The decoded time state disagrees with the explicit regression oracle for scaled.","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 r['source'] at the same fault site.","family":"s3-time_representation-fractional-tick-accumulator-scaled","id":"FA-18246","implementations":{"attempt":{"sha256":"2708b005021727f87b1d56a82d2ff4f4b132347decdf5bb3c35c127fb46aabf0","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']\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['q'])\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":"070ad15f588bb3a1403d56c1fceff89596d600a10c2c149c0ded2f226410d31f","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['q']\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['q'])\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-scaled","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":"Tick converter uses denominator as scale or assumes one-to-one input rate.","sha256":"a6ba262032c2018ef3f524b28597f38c54b5ee7c298d275b5e815d9e86ff1422","title":"Tick converter uses denominator as scale or assumes one-to-one input rate · 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.083,"exit_code":1,"observations":[{"actual":[111,0,"111",false,11,1],"check":"fixture 1","expected":[111,1,"334/3",true,11,1],"passed":false},{"actual":[100,1,"301/3",true,0,0],"check":"fixture 2","expected":[100,2,"302/3",true,0,0],"passed":false},{"actual":[0,1,"1/3",true,0,0],"check":"fixture 3","expected":[0,2,"2/3",true,0,0],"passed":false},{"actual":[15,2,"47/3",true,5,0],"check":"fixture 4","expected":[16,0,"16",false,6,1],"passed":false},{"actual":[-2,0,"-2",false,8,1],"check":"fixture 5","expected":[-1,0,"-1",false,9,2],"passed":false},{"actual":[102,1,"409/4",true,2,0],"check":"fixture 6","expected":[102,1,"409/4",true,2,0],"passed":true},{"actual":[50,0,"50",false,0,0],"check":"fixture 7","expected":[50,0,"50",false,0,0],"passed":true},{"actual":[11,1,"56/5",true,11,1],"check":"fixture 8","expected":[12,0,"12",false,12,2],"passed":false},{"actual":[0,0,"0",false,0,0],"check":"fixture 9","expected":[0,0,"0",false,0,0],"passed":true},{"actual":[105,5,"740/7",true,101,1],"check":"fixture 10","expected":[105,5,"740/7",true,101,1],"passed":true},{"actual":[111,1,"334/3",true,11,1],"check":"variant capture","expected":[112,0,"112",false,12,2],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [111, 0, \"111\", false, 11, 1], \"expected\": [111, 1, \"334/3\", true, 11, 1], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [100, 1, \"301/3\", true, 0, 0], \"expected\": [100, 2, \"302/3\", true, 0, 0], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [0, 1, \"1/3\", true, 0, 0], \"expected\": [0, 2, \"2/3\", true, 0, 0], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [15, 2, \"47/3\", true, 5, 0], \"expected\": [16, 0, \"16\", false, 6, 1], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [-2, 0, \"-2\", false, 8, 1], \"expected\": [-1, 0, \"-1\", false, 9, 2], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [102, 1, \"409/4\", true, 2, 0], \"expected\": [102, 1, \"409/4\", true, 2, 0], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [50, 0, \"50\", false, 0, 0], \"expected\": [50, 0, \"50\", false, 0, 0], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [11, 1, \"56/5\", true, 11, 1], \"expected\": [12, 0, \"12\", false, 12, 2], \"passed\": false}, {\"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, \"740/7\", true, 101, 1], \"expected\": [105, 5, \"740/7\", true, 101, 1], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [111, 1, \"334/3\", true, 11, 1], \"expected\": [112, 0, \"112\", false, 12, 2], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.232,"exit_code":1,"observations":[{"actual":[111,2,"335/3",true,11,1],"check":"fixture 1","expected":[111,1,"334/3",true,11,1],"passed":false},{"actual":[101,0,"101",false,1,1],"check":"fixture 2","expected":[100,2,"302/3",true,0,0],"passed":false},{"actual":[1,0,"1",false,1,1],"check":"fixture 3","expected":[0,2,"2/3",true,0,0],"passed":false},{"actual":[16,1,"49/3",true,6,1],"check":"fixture 4","expected":[16,0,"16",false,6,1],"passed":false},{"actual":[0,0,"0",false,10,3],"check":"fixture 5","expected":[-1,0,"-1",false,9,2],"passed":false},{"actual":[102,1,"409/4",true,2,0],"check":"fixture 6","expected":[102,1,"409/4",true,2,0],"passed":true},{"actual":[50,0,"50",false,0,0],"check":"fixture 7","expected":[50,0,"50",false,0,0],"passed":true},{"actual":[12,4,"64/5",true,12,2],"check":"fixture 8","expected":[12,0,"12",false,12,2],"passed":false},{"actual":[0,0,"0",false,0,0],"check":"fixture 9","expected":[0,0,"0",false,0,0],"passed":true},{"actual":[114,2,"800/7",true,110,10],"check":"fixture 10","expected":[105,5,"740/7",true,101,1],"passed":false},{"actual":[112,2,"338/3",true,12,2],"check":"variant capture","expected":[112,0,"112",false,12,2],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [111, 2, \"335/3\", true, 11, 1], \"expected\": [111, 1, \"334/3\", true, 11, 1], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [101, 0, \"101\", false, 1, 1], \"expected\": [100, 2, \"302/3\", true, 0, 0], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [1, 0, \"1\", false, 1, 1], \"expected\": [0, 2, \"2/3\", true, 0, 0], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [16, 1, \"49/3\", true, 6, 1], \"expected\": [16, 0, \"16\", false, 6, 1], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [0, 0, \"0\", false, 10, 3], \"expected\": [-1, 0, \"-1\", false, 9, 2], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [102, 1, \"409/4\", true, 2, 0], \"expected\": [102, 1, \"409/4\", true, 2, 0], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [50, 0, \"50\", false, 0, 0], \"expected\": [50, 0, \"50\", false, 0, 0], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [12, 4, \"64/5\", true, 12, 2], \"expected\": [12, 0, \"12\", false, 12, 2], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [0, 0, \"0\", false, 0, 0], \"expected\": [0, 0, \"0\", false, 0, 0], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [114, 2, \"800/7\", true, 110, 10], \"expected\": [105, 5, \"740/7\", true, 101, 1], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [112, 2, \"338/3\", true, 12, 2], \"expected\": [112, 0, \"112\", false, 12, 2], \"passed\": false}], \"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."}}