{"abstract":"The decoded time state disagrees with the explicit regression oracle for deadline.","category":"Time representation","checks":11,"contract":"A checkpoint stores wall and monotonic coordinates, boot identity, budget and pause state. Same-boot restore uses monotonic elapsed; reboot restore uses nonnegative wall elapsed. Paused timers consume no elapsed ticks. Return remaining budget, expiration flag, overdue ticks, current-domain deadline (None while paused), and reconstructed running base. All units are identical integer ticks.","contract_signature":"r","evaluation_group":"s3-time-clock_snapshot_transfer","failed_approach":"The partial correction still substitutes None if r['paused'] else r['wall_now'] + remaining at the same fault site.","family":"s3-time_representation-clock-snapshot-transfer-deadline","id":"FA-17381","implementations":{"attempt":{"sha256":"41b678b65ecd52ef6c9941bd6e513859ebe4cf329854547b6ebbc2365f00116a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    wall_delta = r['wall_now'] - r['wall_saved']\n    mono_delta = r['mono_now'] - r['mono_saved']\n    reboot = r['boot_now'] != r['boot_saved']\n    elapsed = max(0, wall_delta if reboot else mono_delta)\n    consumed = 0 if r['paused'] else elapsed\n    remaining = max(0, r['budget'] - consumed)\n    expired = not r['paused'] and consumed >= r['budget']\n    overdue = max(0, consumed - r['budget'])\n    deadline = None if r['paused'] else r['wall_now'] + remaining\n    base = r['mono_now'] - consumed\n    return [remaining,expired,overdue,deadline,base]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 30}), [0, True, 0, 50, 20])\ncheck('fixture 2', solve({'wall_now': 90, 'wall_saved': 100, 'mono_now': 5, 'mono_saved': 20, 'boot_now': 'b', 'boot_saved': 'a', 'paused': False, 'budget': 10}), [10, False, 0, 15, 5])\ncheck('fixture 3', solve({'wall_now': 150, 'wall_saved': 100, 'mono_now': 5, 'mono_saved': 20, 'boot_now': 'b', 'boot_saved': 'a', 'paused': False, 'budget': 20}), [0, True, 30, 5, -45])\ncheck('fixture 4', solve({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': True, 'budget': 0}), [0, False, 0, None, 50])\ncheck('fixture 5', solve({'wall_now': 140, 'wall_saved': 100, 'mono_now': 60, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 100}), [60, False, 0, 120, 20])\ncheck('fixture 6', solve({'wall_now': 90, 'wall_saved': 100, 'mono_now': -5, 'mono_saved': -20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 20}), [5, False, 0, 0, -20])\ncheck('fixture 7', solve({'wall_now': 101, 'wall_saved': 100, 'mono_now': 0, 'mono_saved': 0, 'boot_now': 'c', 'boot_saved': 'a', 'paused': False, 'budget': 0}), [0, True, 1, 0, -1])\ncheck('fixture 8', solve({'wall_now': 100, 'wall_saved': 100, 'mono_now': 20, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': True, 'budget': 10}), [10, False, 0, None, 20])\ncheck('fixture 9', solve({'wall_now': 105, 'wall_saved': 100, 'mono_now': 24, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 3}), [0, True, 1, 24, 20])\ncheck('fixture 10', solve({'wall_now': 80, 'wall_saved': 100, 'mono_now': -10, 'mono_saved': -20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 0}), [0, True, 10, -10, -20])\nvariant = [({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 31}, [1, False, 0, 51, 20]), ({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 32}, [2, False, 0, 52, 20]), ({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 33}, [3, False, 0, 53, 20]), ({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 34}, [4, False, 0, 54, 20]), ({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 35}, [5, False, 0, 55, 20])]\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":"8e3a0d33d4ece9183a61bc4c5fcd379f7e38123c1caeceabe7283e881080289b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    wall_delta = r['wall_now'] - r['wall_saved']\n    mono_delta = r['mono_now'] - r['mono_saved']\n    reboot = r['boot_now'] != r['boot_saved']\n    elapsed = max(0, wall_delta if reboot else mono_delta)\n    consumed = 0 if r['paused'] else elapsed\n    remaining = max(0, r['budget'] - consumed)\n    expired = not r['paused'] and consumed >= r['budget']\n    overdue = max(0, consumed - r['budget'])\n    deadline = r['mono_saved'] + remaining\n    base = r['mono_now'] - consumed\n    return [remaining,expired,overdue,deadline,base]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 30}), [0, True, 0, 50, 20])\ncheck('fixture 2', solve({'wall_now': 90, 'wall_saved': 100, 'mono_now': 5, 'mono_saved': 20, 'boot_now': 'b', 'boot_saved': 'a', 'paused': False, 'budget': 10}), [10, False, 0, 15, 5])\ncheck('fixture 3', solve({'wall_now': 150, 'wall_saved': 100, 'mono_now': 5, 'mono_saved': 20, 'boot_now': 'b', 'boot_saved': 'a', 'paused': False, 'budget': 20}), [0, True, 30, 5, -45])\ncheck('fixture 4', solve({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': True, 'budget': 0}), [0, False, 0, None, 50])\ncheck('fixture 5', solve({'wall_now': 140, 'wall_saved': 100, 'mono_now': 60, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 100}), [60, False, 0, 120, 20])\ncheck('fixture 6', solve({'wall_now': 90, 'wall_saved': 100, 'mono_now': -5, 'mono_saved': -20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 20}), [5, False, 0, 0, -20])\ncheck('fixture 7', solve({'wall_now': 101, 'wall_saved': 100, 'mono_now': 0, 'mono_saved': 0, 'boot_now': 'c', 'boot_saved': 'a', 'paused': False, 'budget': 0}), [0, True, 1, 0, -1])\ncheck('fixture 8', solve({'wall_now': 100, 'wall_saved': 100, 'mono_now': 20, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': True, 'budget': 10}), [10, False, 0, None, 20])\ncheck('fixture 9', solve({'wall_now': 105, 'wall_saved': 100, 'mono_now': 24, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 3}), [0, True, 1, 24, 20])\ncheck('fixture 10', solve({'wall_now': 80, 'wall_saved': 100, 'mono_now': -10, 'mono_saved': -20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 0}), [0, True, 10, -10, -20])\nvariant = [({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 31}, [1, False, 0, 51, 20]), ({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 32}, [2, False, 0, 52, 20]), ({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 33}, [3, False, 0, 53, 20]), ({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 34}, [4, False, 0, 54, 20]), ({'wall_now': 130, 'wall_saved': 100, 'mono_now': 50, 'mono_saved': 20, 'boot_now': 'a', 'boot_saved': 'a', 'paused': False, 'budget': 35}, [5, False, 0, 55, 20])]\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-clock-snapshot-transfer-deadline","generated_at":"2026-09-29T14:39:45.743478+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":"Restored deadline retains the old clock coordinate.","sha256":"1b36f98ff2560934a9428b884204111d43504f7cd6a1b94a46ffeef43678a87a","title":"Restored deadline retains the old clock coordinate · 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":49.454,"exit_code":1,"observations":[{"actual":[0,true,0,130,20],"check":"fixture 1","expected":[0,true,0,50,20],"passed":false},{"actual":[10,false,0,100,5],"check":"fixture 2","expected":[10,false,0,15,5],"passed":false},{"actual":[0,true,30,150,-45],"check":"fixture 3","expected":[0,true,30,5,-45],"passed":false},{"actual":[0,false,0,null,50],"check":"fixture 4","expected":[0,false,0,null,50],"passed":true},{"actual":[60,false,0,200,20],"check":"fixture 5","expected":[60,false,0,120,20],"passed":false},{"actual":[5,false,0,95,-20],"check":"fixture 6","expected":[5,false,0,0,-20],"passed":false},{"actual":[0,true,1,101,-1],"check":"fixture 7","expected":[0,true,1,0,-1],"passed":false},{"actual":[10,false,0,null,20],"check":"fixture 8","expected":[10,false,0,null,20],"passed":true},{"actual":[0,true,1,105,20],"check":"fixture 9","expected":[0,true,1,24,20],"passed":false},{"actual":[0,true,10,80,-20],"check":"fixture 10","expected":[0,true,10,-10,-20],"passed":false},{"actual":[1,false,0,131,20],"check":"variant capture","expected":[1,false,0,51,20],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [0, true, 0, 130, 20], \"expected\": [0, true, 0, 50, 20], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [10, false, 0, 100, 5], \"expected\": [10, false, 0, 15, 5], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [0, true, 30, 150, -45], \"expected\": [0, true, 30, 5, -45], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [0, false, 0, null, 50], \"expected\": [0, false, 0, null, 50], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [60, false, 0, 200, 20], \"expected\": [60, false, 0, 120, 20], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [5, false, 0, 95, -20], \"expected\": [5, false, 0, 0, -20], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [0, true, 1, 101, -1], \"expected\": [0, true, 1, 0, -1], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [10, false, 0, null, 20], \"expected\": [10, false, 0, null, 20], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [0, true, 1, 105, 20], \"expected\": [0, true, 1, 24, 20], \"passed\": false}, {\"check\": \"fixture 10\", \"actual\": [0, true, 10, 80, -20], \"expected\": [0, true, 10, -10, -20], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [1, false, 0, 131, 20], \"expected\": [1, false, 0, 51, 20], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.916,"exit_code":1,"observations":[{"actual":[0,true,0,20,20],"check":"fixture 1","expected":[0,true,0,50,20],"passed":false},{"actual":[10,false,0,30,5],"check":"fixture 2","expected":[10,false,0,15,5],"passed":false},{"actual":[0,true,30,20,-45],"check":"fixture 3","expected":[0,true,30,5,-45],"passed":false},{"actual":[0,false,0,20,50],"check":"fixture 4","expected":[0,false,0,null,50],"passed":false},{"actual":[60,false,0,80,20],"check":"fixture 5","expected":[60,false,0,120,20],"passed":false},{"actual":[5,false,0,-15,-20],"check":"fixture 6","expected":[5,false,0,0,-20],"passed":false},{"actual":[0,true,1,0,-1],"check":"fixture 7","expected":[0,true,1,0,-1],"passed":true},{"actual":[10,false,0,30,20],"check":"fixture 8","expected":[10,false,0,null,20],"passed":false},{"actual":[0,true,1,20,20],"check":"fixture 9","expected":[0,true,1,24,20],"passed":false},{"actual":[0,true,10,-20,-20],"check":"fixture 10","expected":[0,true,10,-10,-20],"passed":false},{"actual":[1,false,0,21,20],"check":"variant capture","expected":[1,false,0,51,20],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [0, true, 0, 20, 20], \"expected\": [0, true, 0, 50, 20], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [10, false, 0, 30, 5], \"expected\": [10, false, 0, 15, 5], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [0, true, 30, 20, -45], \"expected\": [0, true, 30, 5, -45], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [0, false, 0, 20, 50], \"expected\": [0, false, 0, null, 50], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [60, false, 0, 80, 20], \"expected\": [60, false, 0, 120, 20], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [5, false, 0, -15, -20], \"expected\": [5, false, 0, 0, -20], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [0, true, 1, 0, -1], \"expected\": [0, true, 1, 0, -1], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [10, false, 0, 30, 20], \"expected\": [10, false, 0, null, 20], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [0, true, 1, 20, 20], \"expected\": [0, true, 1, 24, 20], \"passed\": false}, {\"check\": \"fixture 10\", \"actual\": [0, true, 10, -20, -20], \"expected\": [0, true, 10, -10, -20], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [1, false, 0, 21, 20], \"expected\": [1, false, 0, 51, 20], \"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."}}