{"abstract":"The decoded time state disagrees with the explicit regression oracle for capacity.","category":"Time representation","checks":11,"contract":"Slew signed phase debt at capacity elapsed*rate without changing ordinary elapsed advancement. Return signed remaining debt, new wall coordinate, completion flag, unused correction capacity and signed cumulative correction. Elapsed and rate are nonnegative integers; wall and debt may be signed.","evaluation_group":"s3-time-bounded_slew_step","failed_approach":"The partial correction still substitutes r['elapsed'] + r['rate'] at the same fault site.","family":"s3-time_representation-bounded-slew-step-capacity","id":"FA-17596","implementations":{"attempt":{"sha256":"3cc29bc336426e773a389334055736edb05f644e148fae16a5e7fb5e07e1abfa","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    magnitude = abs(r['debt'])\n    capacity = r['elapsed'] + r['rate']\n    direction = (r['debt'] > 0) - (r['debt'] < 0)\n    applied = direction * min(magnitude,capacity)\n    remaining = r['debt'] - applied\n    advance = r['elapsed'] + applied\n    wall = r['wall'] + advance\n    complete = remaining == 0\n    unused = capacity - abs(applied)\n    cumulative = r['prior_correction'] + applied\n    return [remaining,wall,complete,unused,cumulative]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 4}), [4, 109, False, 0, 10])\ncheck('fixture 2', solve({'debt': -10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': -4}), [-4, 97, False, 0, -10])\ncheck('fixture 3', solve({'debt': 4, 'elapsed': 2, 'rate': 2, 'wall': 20, 'prior_correction': 0}), [0, 26, True, 0, 4])\ncheck('fixture 4', solve({'debt': 0, 'elapsed': 3, 'rate': 1, 'wall': 10, 'prior_correction': 8}), [0, 13, True, 3, 8])\ncheck('fixture 5', solve({'debt': 3, 'elapsed': 0, 'rate': 2, 'wall': 50, 'prior_correction': 2}), [3, 50, False, 0, 2])\ncheck('fixture 6', solve({'debt': -2, 'elapsed': 5, 'rate': 1, 'wall': -10, 'prior_correction': 7}), [0, -7, True, 3, 5])\ncheck('fixture 7', solve({'debt': 20, 'elapsed': 4, 'rate': 0, 'wall': 100, 'prior_correction': 3}), [20, 104, False, 0, 3])\ncheck('fixture 8', solve({'debt': 1, 'elapsed': 3, 'rate': 2, 'wall': 0, 'prior_correction': -1}), [0, 4, True, 5, 0])\ncheck('fixture 9', solve({'debt': -3, 'elapsed': 2, 'rate': 2, 'wall': 4, 'prior_correction': -1}), [0, 3, True, 1, -4])\ncheck('fixture 10', solve({'debt': 0, 'elapsed': 0, 'rate': 0, 'wall': 0, 'prior_correction': 0}), [0, 0, True, 0, 0])\nvariant = [({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 5}, [4, 109, False, 0, 11]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 6}, [4, 109, False, 0, 12]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 7}, [4, 109, False, 0, 13]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 8}, [4, 109, False, 0, 14]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 9}, [4, 109, False, 0, 15])]\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":"18f1d1ba585618e79608c87dca8533fc748db4c096a06460864adc3feed98ddc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    magnitude = abs(r['debt'])\n    capacity = r['rate']\n    direction = (r['debt'] > 0) - (r['debt'] < 0)\n    applied = direction * min(magnitude,capacity)\n    remaining = r['debt'] - applied\n    advance = r['elapsed'] + applied\n    wall = r['wall'] + advance\n    complete = remaining == 0\n    unused = capacity - abs(applied)\n    cumulative = r['prior_correction'] + applied\n    return [remaining,wall,complete,unused,cumulative]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 4}), [4, 109, False, 0, 10])\ncheck('fixture 2', solve({'debt': -10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': -4}), [-4, 97, False, 0, -10])\ncheck('fixture 3', solve({'debt': 4, 'elapsed': 2, 'rate': 2, 'wall': 20, 'prior_correction': 0}), [0, 26, True, 0, 4])\ncheck('fixture 4', solve({'debt': 0, 'elapsed': 3, 'rate': 1, 'wall': 10, 'prior_correction': 8}), [0, 13, True, 3, 8])\ncheck('fixture 5', solve({'debt': 3, 'elapsed': 0, 'rate': 2, 'wall': 50, 'prior_correction': 2}), [3, 50, False, 0, 2])\ncheck('fixture 6', solve({'debt': -2, 'elapsed': 5, 'rate': 1, 'wall': -10, 'prior_correction': 7}), [0, -7, True, 3, 5])\ncheck('fixture 7', solve({'debt': 20, 'elapsed': 4, 'rate': 0, 'wall': 100, 'prior_correction': 3}), [20, 104, False, 0, 3])\ncheck('fixture 8', solve({'debt': 1, 'elapsed': 3, 'rate': 2, 'wall': 0, 'prior_correction': -1}), [0, 4, True, 5, 0])\ncheck('fixture 9', solve({'debt': -3, 'elapsed': 2, 'rate': 2, 'wall': 4, 'prior_correction': -1}), [0, 3, True, 1, -4])\ncheck('fixture 10', solve({'debt': 0, 'elapsed': 0, 'rate': 0, 'wall': 0, 'prior_correction': 0}), [0, 0, True, 0, 0])\nvariant = [({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 5}, [4, 109, False, 0, 11]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 6}, [4, 109, False, 0, 12]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 7}, [4, 109, False, 0, 13]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 8}, [4, 109, False, 0, 14]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 9}, [4, 109, False, 0, 15])]\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":"14d8e8fd4aa1019ef970fa4af98fbd91e780cb0805c133c11dc271a378f706e9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    magnitude = abs(r['debt'])\n    capacity = r['elapsed'] * r['rate']\n    direction = (r['debt'] > 0) - (r['debt'] < 0)\n    applied = direction * min(magnitude,capacity)\n    remaining = r['debt'] - applied\n    advance = r['elapsed'] + applied\n    wall = r['wall'] + advance\n    complete = remaining == 0\n    unused = capacity - abs(applied)\n    cumulative = r['prior_correction'] + applied\n    return [remaining,wall,complete,unused,cumulative]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 4}), [4, 109, False, 0, 10])\ncheck('fixture 2', solve({'debt': -10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': -4}), [-4, 97, False, 0, -10])\ncheck('fixture 3', solve({'debt': 4, 'elapsed': 2, 'rate': 2, 'wall': 20, 'prior_correction': 0}), [0, 26, True, 0, 4])\ncheck('fixture 4', solve({'debt': 0, 'elapsed': 3, 'rate': 1, 'wall': 10, 'prior_correction': 8}), [0, 13, True, 3, 8])\ncheck('fixture 5', solve({'debt': 3, 'elapsed': 0, 'rate': 2, 'wall': 50, 'prior_correction': 2}), [3, 50, False, 0, 2])\ncheck('fixture 6', solve({'debt': -2, 'elapsed': 5, 'rate': 1, 'wall': -10, 'prior_correction': 7}), [0, -7, True, 3, 5])\ncheck('fixture 7', solve({'debt': 20, 'elapsed': 4, 'rate': 0, 'wall': 100, 'prior_correction': 3}), [20, 104, False, 0, 3])\ncheck('fixture 8', solve({'debt': 1, 'elapsed': 3, 'rate': 2, 'wall': 0, 'prior_correction': -1}), [0, 4, True, 5, 0])\ncheck('fixture 9', solve({'debt': -3, 'elapsed': 2, 'rate': 2, 'wall': 4, 'prior_correction': -1}), [0, 3, True, 1, -4])\ncheck('fixture 10', solve({'debt': 0, 'elapsed': 0, 'rate': 0, 'wall': 0, 'prior_correction': 0}), [0, 0, True, 0, 0])\nvariant = [({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 5}, [4, 109, False, 0, 11]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 6}, [4, 109, False, 0, 12]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 7}, [4, 109, False, 0, 13]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 8}, [4, 109, False, 0, 14]), ({'debt': 10, 'elapsed': 3, 'rate': 2, 'wall': 100, 'prior_correction': 9}, [4, 109, False, 0, 15])]\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-bounded-slew-step-capacity","generated_at":"2026-09-29T14:39:48.371295+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 capacity: capacity = r['elapsed'] * r['rate'].","root_cause":"Slew capacity ignores elapsed sampling duration.","sha256":"8d86660726b244cf2e3129a87af3d911409faac71b078487b7143da80767a8e3","title":"Slew capacity ignores elapsed sampling duration · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":53.195,"exit_code":1,"observations":[{"actual":[5,108,false,0,9],"check":"fixture 1","expected":[4,109,false,0,10],"passed":false},{"actual":[-5,98,false,0,-9],"check":"fixture 2","expected":[-4,97,false,0,-10],"passed":false},{"actual":[0,26,true,0,4],"check":"fixture 3","expected":[0,26,true,0,4],"passed":true},{"actual":[0,13,true,4,8],"check":"fixture 4","expected":[0,13,true,3,8],"passed":false},{"actual":[1,52,false,0,4],"check":"fixture 5","expected":[3,50,false,0,2],"passed":false},{"actual":[0,-7,true,4,5],"check":"fixture 6","expected":[0,-7,true,3,5],"passed":false},{"actual":[16,108,false,0,7],"check":"fixture 7","expected":[20,104,false,0,3],"passed":false},{"actual":[0,4,true,4,0],"check":"fixture 8","expected":[0,4,true,5,0],"passed":false},{"actual":[0,3,true,1,-4],"check":"fixture 9","expected":[0,3,true,1,-4],"passed":true},{"actual":[0,0,true,0,0],"check":"fixture 10","expected":[0,0,true,0,0],"passed":true},{"actual":[5,108,false,0,10],"check":"variant capture","expected":[4,109,false,0,11],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [5, 108, false, 0, 9], \"expected\": [4, 109, false, 0, 10], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [-5, 98, false, 0, -9], \"expected\": [-4, 97, false, 0, -10], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [0, 26, true, 0, 4], \"expected\": [0, 26, true, 0, 4], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [0, 13, true, 4, 8], \"expected\": [0, 13, true, 3, 8], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [1, 52, false, 0, 4], \"expected\": [3, 50, false, 0, 2], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [0, -7, true, 4, 5], \"expected\": [0, -7, true, 3, 5], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [16, 108, false, 0, 7], \"expected\": [20, 104, false, 0, 3], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [0, 4, true, 4, 0], \"expected\": [0, 4, true, 5, 0], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [0, 3, true, 1, -4], \"expected\": [0, 3, true, 1, -4], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [0, 0, true, 0, 0], \"expected\": [0, 0, true, 0, 0], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [5, 108, false, 0, 10], \"expected\": [4, 109, false, 0, 11], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":59.959,"exit_code":1,"observations":[{"actual":[8,105,false,0,6],"check":"fixture 1","expected":[4,109,false,0,10],"passed":false},{"actual":[-8,101,false,0,-6],"check":"fixture 2","expected":[-4,97,false,0,-10],"passed":false},{"actual":[2,24,false,0,2],"check":"fixture 3","expected":[0,26,true,0,4],"passed":false},{"actual":[0,13,true,1,8],"check":"fixture 4","expected":[0,13,true,3,8],"passed":false},{"actual":[1,52,false,0,4],"check":"fixture 5","expected":[3,50,false,0,2],"passed":false},{"actual":[-1,-6,false,0,6],"check":"fixture 6","expected":[0,-7,true,3,5],"passed":false},{"actual":[20,104,false,0,3],"check":"fixture 7","expected":[20,104,false,0,3],"passed":true},{"actual":[0,4,true,1,0],"check":"fixture 8","expected":[0,4,true,5,0],"passed":false},{"actual":[-1,4,false,0,-3],"check":"fixture 9","expected":[0,3,true,1,-4],"passed":false},{"actual":[0,0,true,0,0],"check":"fixture 10","expected":[0,0,true,0,0],"passed":true},{"actual":[8,105,false,0,7],"check":"variant capture","expected":[4,109,false,0,11],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [8, 105, false, 0, 6], \"expected\": [4, 109, false, 0, 10], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [-8, 101, false, 0, -6], \"expected\": [-4, 97, false, 0, -10], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [2, 24, false, 0, 2], \"expected\": [0, 26, true, 0, 4], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [0, 13, true, 1, 8], \"expected\": [0, 13, true, 3, 8], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [1, 52, false, 0, 4], \"expected\": [3, 50, false, 0, 2], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [-1, -6, false, 0, 6], \"expected\": [0, -7, true, 3, 5], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [20, 104, false, 0, 3], \"expected\": [20, 104, false, 0, 3], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [0, 4, true, 1, 0], \"expected\": [0, 4, true, 5, 0], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [-1, 4, false, 0, -3], \"expected\": [0, 3, true, 1, -4], \"passed\": false}, {\"check\": \"fixture 10\", \"actual\": [0, 0, true, 0, 0], \"expected\": [0, 0, true, 0, 0], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [8, 105, false, 0, 7], \"expected\": [4, 109, false, 0, 11], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":49.651,"exit_code":0,"observations":[{"actual":[4,109,false,0,10],"check":"fixture 1","expected":[4,109,false,0,10],"passed":true},{"actual":[-4,97,false,0,-10],"check":"fixture 2","expected":[-4,97,false,0,-10],"passed":true},{"actual":[0,26,true,0,4],"check":"fixture 3","expected":[0,26,true,0,4],"passed":true},{"actual":[0,13,true,3,8],"check":"fixture 4","expected":[0,13,true,3,8],"passed":true},{"actual":[3,50,false,0,2],"check":"fixture 5","expected":[3,50,false,0,2],"passed":true},{"actual":[0,-7,true,3,5],"check":"fixture 6","expected":[0,-7,true,3,5],"passed":true},{"actual":[20,104,false,0,3],"check":"fixture 7","expected":[20,104,false,0,3],"passed":true},{"actual":[0,4,true,5,0],"check":"fixture 8","expected":[0,4,true,5,0],"passed":true},{"actual":[0,3,true,1,-4],"check":"fixture 9","expected":[0,3,true,1,-4],"passed":true},{"actual":[0,0,true,0,0],"check":"fixture 10","expected":[0,0,true,0,0],"passed":true},{"actual":[4,109,false,0,11],"check":"variant capture","expected":[4,109,false,0,11],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [4, 109, false, 0, 10], \"expected\": [4, 109, false, 0, 10], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [-4, 97, false, 0, -10], \"expected\": [-4, 97, false, 0, -10], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [0, 26, true, 0, 4], \"expected\": [0, 26, true, 0, 4], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [0, 13, true, 3, 8], \"expected\": [0, 13, true, 3, 8], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [3, 50, false, 0, 2], \"expected\": [3, 50, false, 0, 2], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [0, -7, true, 3, 5], \"expected\": [0, -7, true, 3, 5], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [20, 104, false, 0, 3], \"expected\": [20, 104, false, 0, 3], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [0, 4, true, 5, 0], \"expected\": [0, 4, true, 5, 0], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [0, 3, true, 1, -4], \"expected\": [0, 3, true, 1, -4], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [0, 0, true, 0, 0], \"expected\": [0, 0, true, 0, 0], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [4, 109, false, 0, 11], \"expected\": [4, 109, false, 0, 11], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}