{"abstract":"The decoded time state disagrees with the explicit regression oracle for remaining.","category":"Time representation","checks":11,"contract":"A stipulated positive-leap day has label 86400 following ordinary 0..86399; a normal day does not. Return validity, atomic origin+label or None, display [hour,minute,second] (23:59:60 for extra label), final-label flag, ticks until next midnight or None, and atomic next-midnight coordinate. No real-world leap table is claimed.","evaluation_group":"s3-time-leap_label_encoding","failed_approach":"The partial correction still substitutes None if not valid else length - r['label'] - 1 at the same fault site.","family":"s3-time_representation-leap-label-encoding-remaining","id":"FA-17781","implementations":{"attempt":{"sha256":"bd6f06e9111e9488daa68920b2c9b4070451280cdc43b902ebb1005172b1107e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    length = 86400 + int(r['leap'])\n    valid = 0 <= r['label'] < length\n    atomic = r['origin'] + r['label'] if valid else None\n    extra = valid and r['label'] == 86400\n    hour = None if not valid else (23 if extra else r['label'] // 3600)\n    minute = None if not valid else (59 if extra else r['label'] // 60 % 60)\n    second = None if not valid else (60 if extra else r['label'] % 60)\n    last = valid and r['label'] == length - 1\n    remaining = None if not valid else length - r['label'] - 1\n    midnight = r['origin'] + length\n    return [valid,atomic,[hour,minute,second],last,remaining,midnight]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'leap': True, 'label': 86400, 'origin': 100000}), [True, 186400, [23, 59, 60], True, 1, 186401])\ncheck('fixture 2', solve({'leap': False, 'label': 86400, 'origin': 100000}), [False, None, [None, None, None], False, None, 186400])\ncheck('fixture 3', solve({'leap': True, 'label': 86399, 'origin': 50}), [True, 86449, [23, 59, 59], False, 2, 86451])\ncheck('fixture 4', solve({'leap': False, 'label': 86399, 'origin': 50}), [True, 86449, [23, 59, 59], True, 1, 86450])\ncheck('fixture 5', solve({'leap': True, 'label': 0, 'origin': -100}), [True, -100, [0, 0, 0], False, 86401, 86301])\ncheck('fixture 6', solve({'leap': False, 'label': 3601, 'origin': 0}), [True, 3601, [1, 0, 1], False, 82799, 86400])\ncheck('fixture 7', solve({'leap': True, 'label': -1, 'origin': 100}), [False, None, [None, None, None], False, None, 86501])\ncheck('fixture 8', solve({'leap': True, 'label': 86401, 'origin': 20}), [False, None, [None, None, None], False, None, 86421])\ncheck('fixture 9', solve({'leap': False, 'label': 0, 'origin': 0}), [True, 0, [0, 0, 0], False, 86400, 86400])\ncheck('fixture 10', solve({'leap': True, 'label': 3661, 'origin': -20}), [True, 3641, [1, 1, 1], False, 82740, 86381])\nvariant = [({'leap': True, 'label': 86400, 'origin': 100001}, [True, 186401, [23, 59, 60], True, 1, 186402]), ({'leap': True, 'label': 86400, 'origin': 100002}, [True, 186402, [23, 59, 60], True, 1, 186403]), ({'leap': True, 'label': 86400, 'origin': 100003}, [True, 186403, [23, 59, 60], True, 1, 186404]), ({'leap': True, 'label': 86400, 'origin': 100004}, [True, 186404, [23, 59, 60], True, 1, 186405]), ({'leap': True, 'label': 86400, 'origin': 100005}, [True, 186405, [23, 59, 60], True, 1, 186406])]\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":"1bb9bb4808d3c35c813d6103fce367808f274902f1d016dff34354341c90bd60","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    length = 86400 + int(r['leap'])\n    valid = 0 <= r['label'] < length\n    atomic = r['origin'] + r['label'] if valid else None\n    extra = valid and r['label'] == 86400\n    hour = None if not valid else (23 if extra else r['label'] // 3600)\n    minute = None if not valid else (59 if extra else r['label'] // 60 % 60)\n    second = None if not valid else (60 if extra else r['label'] % 60)\n    last = valid and r['label'] == length - 1\n    remaining = None if not valid else 86400 - r['label']\n    midnight = r['origin'] + length\n    return [valid,atomic,[hour,minute,second],last,remaining,midnight]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'leap': True, 'label': 86400, 'origin': 100000}), [True, 186400, [23, 59, 60], True, 1, 186401])\ncheck('fixture 2', solve({'leap': False, 'label': 86400, 'origin': 100000}), [False, None, [None, None, None], False, None, 186400])\ncheck('fixture 3', solve({'leap': True, 'label': 86399, 'origin': 50}), [True, 86449, [23, 59, 59], False, 2, 86451])\ncheck('fixture 4', solve({'leap': False, 'label': 86399, 'origin': 50}), [True, 86449, [23, 59, 59], True, 1, 86450])\ncheck('fixture 5', solve({'leap': True, 'label': 0, 'origin': -100}), [True, -100, [0, 0, 0], False, 86401, 86301])\ncheck('fixture 6', solve({'leap': False, 'label': 3601, 'origin': 0}), [True, 3601, [1, 0, 1], False, 82799, 86400])\ncheck('fixture 7', solve({'leap': True, 'label': -1, 'origin': 100}), [False, None, [None, None, None], False, None, 86501])\ncheck('fixture 8', solve({'leap': True, 'label': 86401, 'origin': 20}), [False, None, [None, None, None], False, None, 86421])\ncheck('fixture 9', solve({'leap': False, 'label': 0, 'origin': 0}), [True, 0, [0, 0, 0], False, 86400, 86400])\ncheck('fixture 10', solve({'leap': True, 'label': 3661, 'origin': -20}), [True, 3641, [1, 1, 1], False, 82740, 86381])\nvariant = [({'leap': True, 'label': 86400, 'origin': 100001}, [True, 186401, [23, 59, 60], True, 1, 186402]), ({'leap': True, 'label': 86400, 'origin': 100002}, [True, 186402, [23, 59, 60], True, 1, 186403]), ({'leap': True, 'label': 86400, 'origin': 100003}, [True, 186403, [23, 59, 60], True, 1, 186404]), ({'leap': True, 'label': 86400, 'origin': 100004}, [True, 186404, [23, 59, 60], True, 1, 186405]), ({'leap': True, 'label': 86400, 'origin': 100005}, [True, 186405, [23, 59, 60], True, 1, 186406])]\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":"f3916ac5f40c0fa3b0131c2fee03d434e8e3f18a2f9f87478e53adbca738f845","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    length = 86400 + int(r['leap'])\n    valid = 0 <= r['label'] < length\n    atomic = r['origin'] + r['label'] if valid else None\n    extra = valid and r['label'] == 86400\n    hour = None if not valid else (23 if extra else r['label'] // 3600)\n    minute = None if not valid else (59 if extra else r['label'] // 60 % 60)\n    second = None if not valid else (60 if extra else r['label'] % 60)\n    last = valid and r['label'] == length - 1\n    remaining = None if not valid else length - r['label']\n    midnight = r['origin'] + length\n    return [valid,atomic,[hour,minute,second],last,remaining,midnight]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'leap': True, 'label': 86400, 'origin': 100000}), [True, 186400, [23, 59, 60], True, 1, 186401])\ncheck('fixture 2', solve({'leap': False, 'label': 86400, 'origin': 100000}), [False, None, [None, None, None], False, None, 186400])\ncheck('fixture 3', solve({'leap': True, 'label': 86399, 'origin': 50}), [True, 86449, [23, 59, 59], False, 2, 86451])\ncheck('fixture 4', solve({'leap': False, 'label': 86399, 'origin': 50}), [True, 86449, [23, 59, 59], True, 1, 86450])\ncheck('fixture 5', solve({'leap': True, 'label': 0, 'origin': -100}), [True, -100, [0, 0, 0], False, 86401, 86301])\ncheck('fixture 6', solve({'leap': False, 'label': 3601, 'origin': 0}), [True, 3601, [1, 0, 1], False, 82799, 86400])\ncheck('fixture 7', solve({'leap': True, 'label': -1, 'origin': 100}), [False, None, [None, None, None], False, None, 86501])\ncheck('fixture 8', solve({'leap': True, 'label': 86401, 'origin': 20}), [False, None, [None, None, None], False, None, 86421])\ncheck('fixture 9', solve({'leap': False, 'label': 0, 'origin': 0}), [True, 0, [0, 0, 0], False, 86400, 86400])\ncheck('fixture 10', solve({'leap': True, 'label': 3661, 'origin': -20}), [True, 3641, [1, 1, 1], False, 82740, 86381])\nvariant = [({'leap': True, 'label': 86400, 'origin': 100001}, [True, 186401, [23, 59, 60], True, 1, 186402]), ({'leap': True, 'label': 86400, 'origin': 100002}, [True, 186402, [23, 59, 60], True, 1, 186403]), ({'leap': True, 'label': 86400, 'origin': 100003}, [True, 186403, [23, 59, 60], True, 1, 186404]), ({'leap': True, 'label': 86400, 'origin': 100004}, [True, 186404, [23, 59, 60], True, 1, 186405]), ({'leap': True, 'label': 86400, 'origin': 100005}, [True, 186405, [23, 59, 60], True, 1, 186406])]\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-leap-label-encoding-remaining","generated_at":"2026-09-29T14:39:50.710375+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 = None if not valid else length - r['label'].","root_cause":"Midnight countdown counts labels instead of remaining tick intervals.","sha256":"810a669593f0bcdb12bc74f605d6d14374ac4df1ffc7132034fc45004affe95b","title":"Midnight countdown counts labels instead of remaining tick intervals · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":103.249,"exit_code":1,"observations":[{"actual":[true,186400,[23,59,60],true,0,186401],"check":"fixture 1","expected":[true,186400,[23,59,60],true,1,186401],"passed":false},{"actual":[false,null,[null,null,null],false,null,186400],"check":"fixture 2","expected":[false,null,[null,null,null],false,null,186400],"passed":true},{"actual":[true,86449,[23,59,59],false,1,86451],"check":"fixture 3","expected":[true,86449,[23,59,59],false,2,86451],"passed":false},{"actual":[true,86449,[23,59,59],true,0,86450],"check":"fixture 4","expected":[true,86449,[23,59,59],true,1,86450],"passed":false},{"actual":[true,-100,[0,0,0],false,86400,86301],"check":"fixture 5","expected":[true,-100,[0,0,0],false,86401,86301],"passed":false},{"actual":[true,3601,[1,0,1],false,82798,86400],"check":"fixture 6","expected":[true,3601,[1,0,1],false,82799,86400],"passed":false},{"actual":[false,null,[null,null,null],false,null,86501],"check":"fixture 7","expected":[false,null,[null,null,null],false,null,86501],"passed":true},{"actual":[false,null,[null,null,null],false,null,86421],"check":"fixture 8","expected":[false,null,[null,null,null],false,null,86421],"passed":true},{"actual":[true,0,[0,0,0],false,86399,86400],"check":"fixture 9","expected":[true,0,[0,0,0],false,86400,86400],"passed":false},{"actual":[true,3641,[1,1,1],false,82739,86381],"check":"fixture 10","expected":[true,3641,[1,1,1],false,82740,86381],"passed":false},{"actual":[true,186401,[23,59,60],true,0,186402],"check":"variant capture","expected":[true,186401,[23,59,60],true,1,186402],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, 186400, [23, 59, 60], true, 0, 186401], \"expected\": [true, 186400, [23, 59, 60], true, 1, 186401], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [false, null, [null, null, null], false, null, 186400], \"expected\": [false, null, [null, null, null], false, null, 186400], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, 86449, [23, 59, 59], false, 1, 86451], \"expected\": [true, 86449, [23, 59, 59], false, 2, 86451], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [true, 86449, [23, 59, 59], true, 0, 86450], \"expected\": [true, 86449, [23, 59, 59], true, 1, 86450], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [true, -100, [0, 0, 0], false, 86400, 86301], \"expected\": [true, -100, [0, 0, 0], false, 86401, 86301], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [true, 3601, [1, 0, 1], false, 82798, 86400], \"expected\": [true, 3601, [1, 0, 1], false, 82799, 86400], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [false, null, [null, null, null], false, null, 86501], \"expected\": [false, null, [null, null, null], false, null, 86501], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, null, [null, null, null], false, null, 86421], \"expected\": [false, null, [null, null, null], false, null, 86421], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, 0, [0, 0, 0], false, 86399, 86400], \"expected\": [true, 0, [0, 0, 0], false, 86400, 86400], \"passed\": false}, {\"check\": \"fixture 10\", \"actual\": [true, 3641, [1, 1, 1], false, 82739, 86381], \"expected\": [true, 3641, [1, 1, 1], false, 82740, 86381], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [true, 186401, [23, 59, 60], true, 0, 186402], \"expected\": [true, 186401, [23, 59, 60], true, 1, 186402], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":51.028,"exit_code":1,"observations":[{"actual":[true,186400,[23,59,60],true,0,186401],"check":"fixture 1","expected":[true,186400,[23,59,60],true,1,186401],"passed":false},{"actual":[false,null,[null,null,null],false,null,186400],"check":"fixture 2","expected":[false,null,[null,null,null],false,null,186400],"passed":true},{"actual":[true,86449,[23,59,59],false,1,86451],"check":"fixture 3","expected":[true,86449,[23,59,59],false,2,86451],"passed":false},{"actual":[true,86449,[23,59,59],true,1,86450],"check":"fixture 4","expected":[true,86449,[23,59,59],true,1,86450],"passed":true},{"actual":[true,-100,[0,0,0],false,86400,86301],"check":"fixture 5","expected":[true,-100,[0,0,0],false,86401,86301],"passed":false},{"actual":[true,3601,[1,0,1],false,82799,86400],"check":"fixture 6","expected":[true,3601,[1,0,1],false,82799,86400],"passed":true},{"actual":[false,null,[null,null,null],false,null,86501],"check":"fixture 7","expected":[false,null,[null,null,null],false,null,86501],"passed":true},{"actual":[false,null,[null,null,null],false,null,86421],"check":"fixture 8","expected":[false,null,[null,null,null],false,null,86421],"passed":true},{"actual":[true,0,[0,0,0],false,86400,86400],"check":"fixture 9","expected":[true,0,[0,0,0],false,86400,86400],"passed":true},{"actual":[true,3641,[1,1,1],false,82739,86381],"check":"fixture 10","expected":[true,3641,[1,1,1],false,82740,86381],"passed":false},{"actual":[true,186401,[23,59,60],true,0,186402],"check":"variant capture","expected":[true,186401,[23,59,60],true,1,186402],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, 186400, [23, 59, 60], true, 0, 186401], \"expected\": [true, 186400, [23, 59, 60], true, 1, 186401], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [false, null, [null, null, null], false, null, 186400], \"expected\": [false, null, [null, null, null], false, null, 186400], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, 86449, [23, 59, 59], false, 1, 86451], \"expected\": [true, 86449, [23, 59, 59], false, 2, 86451], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [true, 86449, [23, 59, 59], true, 1, 86450], \"expected\": [true, 86449, [23, 59, 59], true, 1, 86450], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [true, -100, [0, 0, 0], false, 86400, 86301], \"expected\": [true, -100, [0, 0, 0], false, 86401, 86301], \"passed\": false}, {\"check\": \"fixture 6\", \"actual\": [true, 3601, [1, 0, 1], false, 82799, 86400], \"expected\": [true, 3601, [1, 0, 1], false, 82799, 86400], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [false, null, [null, null, null], false, null, 86501], \"expected\": [false, null, [null, null, null], false, null, 86501], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, null, [null, null, null], false, null, 86421], \"expected\": [false, null, [null, null, null], false, null, 86421], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, 0, [0, 0, 0], false, 86400, 86400], \"expected\": [true, 0, [0, 0, 0], false, 86400, 86400], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [true, 3641, [1, 1, 1], false, 82739, 86381], \"expected\": [true, 3641, [1, 1, 1], false, 82740, 86381], \"passed\": false}, {\"check\": \"variant capture\", \"actual\": [true, 186401, [23, 59, 60], true, 0, 186402], \"expected\": [true, 186401, [23, 59, 60], true, 1, 186402], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":54.668,"exit_code":0,"observations":[{"actual":[true,186400,[23,59,60],true,1,186401],"check":"fixture 1","expected":[true,186400,[23,59,60],true,1,186401],"passed":true},{"actual":[false,null,[null,null,null],false,null,186400],"check":"fixture 2","expected":[false,null,[null,null,null],false,null,186400],"passed":true},{"actual":[true,86449,[23,59,59],false,2,86451],"check":"fixture 3","expected":[true,86449,[23,59,59],false,2,86451],"passed":true},{"actual":[true,86449,[23,59,59],true,1,86450],"check":"fixture 4","expected":[true,86449,[23,59,59],true,1,86450],"passed":true},{"actual":[true,-100,[0,0,0],false,86401,86301],"check":"fixture 5","expected":[true,-100,[0,0,0],false,86401,86301],"passed":true},{"actual":[true,3601,[1,0,1],false,82799,86400],"check":"fixture 6","expected":[true,3601,[1,0,1],false,82799,86400],"passed":true},{"actual":[false,null,[null,null,null],false,null,86501],"check":"fixture 7","expected":[false,null,[null,null,null],false,null,86501],"passed":true},{"actual":[false,null,[null,null,null],false,null,86421],"check":"fixture 8","expected":[false,null,[null,null,null],false,null,86421],"passed":true},{"actual":[true,0,[0,0,0],false,86400,86400],"check":"fixture 9","expected":[true,0,[0,0,0],false,86400,86400],"passed":true},{"actual":[true,3641,[1,1,1],false,82740,86381],"check":"fixture 10","expected":[true,3641,[1,1,1],false,82740,86381],"passed":true},{"actual":[true,186401,[23,59,60],true,1,186402],"check":"variant capture","expected":[true,186401,[23,59,60],true,1,186402],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, 186400, [23, 59, 60], true, 1, 186401], \"expected\": [true, 186400, [23, 59, 60], true, 1, 186401], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [false, null, [null, null, null], false, null, 186400], \"expected\": [false, null, [null, null, null], false, null, 186400], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, 86449, [23, 59, 59], false, 2, 86451], \"expected\": [true, 86449, [23, 59, 59], false, 2, 86451], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [true, 86449, [23, 59, 59], true, 1, 86450], \"expected\": [true, 86449, [23, 59, 59], true, 1, 86450], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [true, -100, [0, 0, 0], false, 86401, 86301], \"expected\": [true, -100, [0, 0, 0], false, 86401, 86301], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [true, 3601, [1, 0, 1], false, 82799, 86400], \"expected\": [true, 3601, [1, 0, 1], false, 82799, 86400], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [false, null, [null, null, null], false, null, 86501], \"expected\": [false, null, [null, null, null], false, null, 86501], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, null, [null, null, null], false, null, 86421], \"expected\": [false, null, [null, null, null], false, null, 86421], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, 0, [0, 0, 0], false, 86400, 86400], \"expected\": [true, 0, [0, 0, 0], false, 86400, 86400], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [true, 3641, [1, 1, 1], false, 82740, 86381], \"expected\": [true, 3641, [1, 1, 1], false, 82740, 86381], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, 186401, [23, 59, 60], true, 1, 186402], \"expected\": [true, 186401, [23, 59, 60], true, 1, 186402], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}