{"abstract":"The decoded time state disagrees with the explicit regression oracle for remaining.","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 max(0,r['debt'] - applied) at the same fault site.","family":"s3-time_representation-bounded-slew-step-remaining","id":"FA-17611","implementations":{"attempt":{"sha256":"dbb222cc8a22e685553303da18782ad7ad8532cceed6bec773cf59758b731974","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 = max(0,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":"125fb02388644f66e1fc2071ce782a7c888a0a1e65fe72f9475a5d11a8aa5e57","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"},"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-remaining","generated_at":"2026-09-29T14:39:48.412239+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 remaining: remaining = r['debt'] - applied.","root_cause":"Remaining negative correction is clipped as if it were a countdown.","sha256":"64ac3b0a5914bb35cbd6b97a47d7f447d10c962818ee9b2c89629f75e3da2eb7","title":"Remaining negative correction is clipped as if it were a countdown · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":49.795,"exit_code":1,"observations":[{"actual":[4,109,false,0,10],"check":"fixture 1","expected":[4,109,false,0,10],"passed":true},{"actual":[0,97,true,0,-10],"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,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":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [4, 109, false, 0, 10], \"expected\": [4, 109, false, 0, 10], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [0, 97, true, 0, -10], \"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, 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\": false}\n"},"broken":{"elapsed_ms":50.805,"exit_code":1,"observations":[{"actual":[16,109,false,0,10],"check":"fixture 1","expected":[4,109,false,0,10],"passed":false},{"actual":[-16,97,false,0,-10],"check":"fixture 2","expected":[-4,97,false,0,-10],"passed":false},{"actual":[8,26,false,0,4],"check":"fixture 3","expected":[0,26,true,0,4],"passed":false},{"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":[-4,-7,false,3,5],"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":[2,4,false,5,0],"check":"fixture 8","expected":[0,4,true,5,0],"passed":false},{"actual":[-6,3,false,1,-4],"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":[16,109,false,0,11],"check":"variant capture","expected":[4,109,false,0,11],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [16, 109, false, 0, 10], \"expected\": [4, 109, false, 0, 10], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [-16, 97, false, 0, -10], \"expected\": [-4, 97, false, 0, -10], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [8, 26, false, 0, 4], \"expected\": [0, 26, true, 0, 4], \"passed\": false}, {\"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\": [-4, -7, false, 3, 5], \"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\": [2, 4, false, 5, 0], \"expected\": [0, 4, true, 5, 0], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [-6, 3, false, 1, -4], \"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\": [16, 109, false, 0, 11], \"expected\": [4, 109, false, 0, 11], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":52.41,"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"}