{"abstract":"The decoded time state disagrees with the explicit regression oracle for magnitude.","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']) at the same fault site.","family":"s3-time_representation-bounded-slew-step-magnitude","id":"FA-17591","implementations":{"attempt":{"sha256":"ecd3fef82a588f23893ea8de22408abdffc5c96563ddce1a3b9477846ffe4551","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    magnitude = max(0,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":"80361cbd448d8ecfdeaa4d956eafab9846999c126c60f53b7de7c52f4f153799","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    magnitude = 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-magnitude","generated_at":"2026-09-29T14:39:48.361909+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 magnitude: magnitude = abs(r['debt']).","root_cause":"Negative phase debt contributes a negative correction magnitude.","sha256":"1ab0032063ad8702fc4dbf25bb18c280dbaacee339f97272e6953899079f4e24","title":"Negative phase debt contributes a negative correction magnitude · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":52.416,"exit_code":1,"observations":[{"actual":[4,109,false,0,10],"check":"fixture 1","expected":[4,109,false,0,10],"passed":true},{"actual":[-10,103,false,6,-4],"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":[-2,-5,false,5,7],"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,5,0],"check":"fixture 8","expected":[0,4,true,5,0],"passed":true},{"actual":[-3,6,false,4,-1],"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":[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\": [-10, 103, false, 6, -4], \"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\": [-2, -5, false, 5, 7], \"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, 5, 0], \"expected\": [0, 4, true, 5, 0], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [-3, 6, false, 4, -1], \"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\": [4, 109, false, 0, 11], \"expected\": [4, 109, false, 0, 11], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":64.042,"exit_code":1,"observations":[{"actual":[4,109,false,0,10],"check":"fixture 1","expected":[4,109,false,0,10],"passed":true},{"actual":[-20,113,false,-4,6],"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":[-4,-3,false,3,9],"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,5,0],"check":"fixture 8","expected":[0,4,true,5,0],"passed":true},{"actual":[-6,9,false,1,2],"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":[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\": [-20, 113, false, -4, 6], \"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\": [-4, -3, false, 3, 9], \"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, 5, 0], \"expected\": [0, 4, true, 5, 0], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [-6, 9, false, 1, 2], \"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\": [4, 109, false, 0, 11], \"expected\": [4, 109, false, 0, 11], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":49.014,"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"}