{"abstract":"The decoded time state disagrees with the explicit regression oracle for digits.","category":"Time representation","checks":16,"contract":"Controlled offset lexeme is Z or signed HH:MM with ASCII digits, hour<=14, minute<=59 and hour14 only minute00. Negative zero means unknown local offset and has no numeric UTC offset; positive zero and Z are known UTC. Return accepted, known, signed minute displacement and original negative-zero marker. No timezone database is consulted.","evaluation_group":"s3-time-offset_lexeme_semantics","failed_approach":"The partial correction still substitutes shape and (text[1:3]+text[4:6]).isdecimal() at the same fault site.","family":"s3-time_representation-offset-lexeme-semantics-digits","id":"FA-18406","implementations":{"attempt":{"sha256":"ea15e197b34ac1b13177a8cdcd1f1b2cfd60b557b13ce7e74db8e2a671995a4d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    text = r['text']\n    zulu = text == 'Z'\n    shape = len(text) == 6 and text[0] in '+-' and text[3] == ':'\n    digits = shape and (text[1:3]+text[4:6]).isdecimal()\n    hour = int(text[1:3]) if digits else 0\n    minute = int(text[4:6]) if digits else 0\n    range_ok = hour <= 14 and minute <= 59 and (hour != 14 or minute == 0)\n    valid = zulu or (digits and range_ok)\n    unknown = valid and text == '-00:00'\n    offset = None if not valid or unknown else (0 if zulu else (-1 if text[0] == '-' else 1) * (hour * 60 + minute))\n    return [valid,valid and not unknown,offset,unknown]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'text': 'Z', 'probe': 0}), [True, True, 0, False])\ncheck('fixture 2', solve({'text': 'z', 'probe': 0}), [False, False, None, False])\ncheck('fixture 3', solve({'text': 'UTC', 'probe': 0}), [False, False, None, False])\ncheck('fixture 4', solve({'text': '+00:00', 'probe': 0}), [True, True, 0, False])\ncheck('fixture 5', solve({'text': '-00:00', 'probe': 0}), [True, False, None, True])\ncheck('fixture 6', solve({'text': '-05:30', 'probe': 0}), [True, True, -330, False])\ncheck('fixture 7', solve({'text': '+14:00', 'probe': 0}), [True, True, 840, False])\ncheck('fixture 8', solve({'text': '+14:01', 'probe': 0}), [False, False, None, False])\ncheck('fixture 9', solve({'text': '+12:59', 'probe': 0}), [True, True, 779, False])\ncheck('fixture 10', solve({'text': '+12:60', 'probe': 0}), [False, False, None, False])\ncheck('fixture 11', solve({'text': 'x01:00', 'probe': 0}), [False, False, None, False])\ncheck('fixture 12', solve({'text': '+01x00', 'probe': 0}), [False, False, None, False])\ncheck('fixture 13', solve({'text': '+٠١:٠٠', 'probe': 0}), [False, False, None, False])\ncheck('fixture 14', solve({'text': ' Z ', 'probe': 0}), [False, False, None, False])\ncheck('fixture 15', solve({'text': '+10:02', 'probe': 0}), [True, True, 602, False])\nvariant = [({'text': '+01:30', 'probe': 0}, [True, True, 90, False]), ({'text': '+02:30', 'probe': 0}, [True, True, 150, False]), ({'text': '+03:30', 'probe': 0}, [True, True, 210, False]), ({'text': '+04:30', 'probe': 0}, [True, True, 270, False]), ({'text': '+05:30', 'probe': 0}, [True, True, 330, False])]\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":"62b9adbae0bc4ad2c5a24099154444d1ead1a087c903d79c29b39371928e0f6b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    text = r['text']\n    zulu = text == 'Z'\n    shape = len(text) == 6 and text[0] in '+-' and text[3] == ':'\n    digits = shape and (text[1:3]+text[4:6]).isdigit()\n    hour = int(text[1:3]) if digits else 0\n    minute = int(text[4:6]) if digits else 0\n    range_ok = hour <= 14 and minute <= 59 and (hour != 14 or minute == 0)\n    valid = zulu or (digits and range_ok)\n    unknown = valid and text == '-00:00'\n    offset = None if not valid or unknown else (0 if zulu else (-1 if text[0] == '-' else 1) * (hour * 60 + minute))\n    return [valid,valid and not unknown,offset,unknown]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'text': 'Z', 'probe': 0}), [True, True, 0, False])\ncheck('fixture 2', solve({'text': 'z', 'probe': 0}), [False, False, None, False])\ncheck('fixture 3', solve({'text': 'UTC', 'probe': 0}), [False, False, None, False])\ncheck('fixture 4', solve({'text': '+00:00', 'probe': 0}), [True, True, 0, False])\ncheck('fixture 5', solve({'text': '-00:00', 'probe': 0}), [True, False, None, True])\ncheck('fixture 6', solve({'text': '-05:30', 'probe': 0}), [True, True, -330, False])\ncheck('fixture 7', solve({'text': '+14:00', 'probe': 0}), [True, True, 840, False])\ncheck('fixture 8', solve({'text': '+14:01', 'probe': 0}), [False, False, None, False])\ncheck('fixture 9', solve({'text': '+12:59', 'probe': 0}), [True, True, 779, False])\ncheck('fixture 10', solve({'text': '+12:60', 'probe': 0}), [False, False, None, False])\ncheck('fixture 11', solve({'text': 'x01:00', 'probe': 0}), [False, False, None, False])\ncheck('fixture 12', solve({'text': '+01x00', 'probe': 0}), [False, False, None, False])\ncheck('fixture 13', solve({'text': '+٠١:٠٠', 'probe': 0}), [False, False, None, False])\ncheck('fixture 14', solve({'text': ' Z ', 'probe': 0}), [False, False, None, False])\ncheck('fixture 15', solve({'text': '+10:02', 'probe': 0}), [True, True, 602, False])\nvariant = [({'text': '+01:30', 'probe': 0}, [True, True, 90, False]), ({'text': '+02:30', 'probe': 0}, [True, True, 150, False]), ({'text': '+03:30', 'probe': 0}, [True, True, 210, False]), ({'text': '+04:30', 'probe': 0}, [True, True, 270, False]), ({'text': '+05:30', 'probe': 0}, [True, True, 330, False])]\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":"959a41688549c1227741ecdf52779861b8419b7b806c5de6aacf34eeedfd25f1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    text = r['text']\n    zulu = text == 'Z'\n    shape = len(text) == 6 and text[0] in '+-' and text[3] == ':'\n    digits = shape and all('0' <= c <= '9' for c in text[1:3]+text[4:6])\n    hour = int(text[1:3]) if digits else 0\n    minute = int(text[4:6]) if digits else 0\n    range_ok = hour <= 14 and minute <= 59 and (hour != 14 or minute == 0)\n    valid = zulu or (digits and range_ok)\n    unknown = valid and text == '-00:00'\n    offset = None if not valid or unknown else (0 if zulu else (-1 if text[0] == '-' else 1) * (hour * 60 + minute))\n    return [valid,valid and not unknown,offset,unknown]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({'text': 'Z', 'probe': 0}), [True, True, 0, False])\ncheck('fixture 2', solve({'text': 'z', 'probe': 0}), [False, False, None, False])\ncheck('fixture 3', solve({'text': 'UTC', 'probe': 0}), [False, False, None, False])\ncheck('fixture 4', solve({'text': '+00:00', 'probe': 0}), [True, True, 0, False])\ncheck('fixture 5', solve({'text': '-00:00', 'probe': 0}), [True, False, None, True])\ncheck('fixture 6', solve({'text': '-05:30', 'probe': 0}), [True, True, -330, False])\ncheck('fixture 7', solve({'text': '+14:00', 'probe': 0}), [True, True, 840, False])\ncheck('fixture 8', solve({'text': '+14:01', 'probe': 0}), [False, False, None, False])\ncheck('fixture 9', solve({'text': '+12:59', 'probe': 0}), [True, True, 779, False])\ncheck('fixture 10', solve({'text': '+12:60', 'probe': 0}), [False, False, None, False])\ncheck('fixture 11', solve({'text': 'x01:00', 'probe': 0}), [False, False, None, False])\ncheck('fixture 12', solve({'text': '+01x00', 'probe': 0}), [False, False, None, False])\ncheck('fixture 13', solve({'text': '+٠١:٠٠', 'probe': 0}), [False, False, None, False])\ncheck('fixture 14', solve({'text': ' Z ', 'probe': 0}), [False, False, None, False])\ncheck('fixture 15', solve({'text': '+10:02', 'probe': 0}), [True, True, 602, False])\nvariant = [({'text': '+01:30', 'probe': 0}, [True, True, 90, False]), ({'text': '+02:30', 'probe': 0}, [True, True, 150, False]), ({'text': '+03:30', 'probe': 0}, [True, True, 210, False]), ({'text': '+04:30', 'probe': 0}, [True, True, 270, False]), ({'text': '+05:30', 'probe': 0}, [True, True, 330, False])]\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-offset-lexeme-semantics-digits","generated_at":"2026-09-29T14:39:57.410451+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 digits: digits = shape and all('0' <= c <= '9' for c in text[1:3]+text[4:6]).","root_cause":"Offset parser admits non-ASCII decimal glyphs.","sha256":"e9e5e0cae1b2f6d5d4bc6a7432d4a2d7d6dba59ed2e317999bc6479f63272b70","title":"Offset parser admits non-ASCII decimal glyphs · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.373,"exit_code":1,"observations":[{"actual":[true,true,0,false],"check":"fixture 1","expected":[true,true,0,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 2","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 3","expected":[false,false,null,false],"passed":true},{"actual":[true,true,0,false],"check":"fixture 4","expected":[true,true,0,false],"passed":true},{"actual":[true,false,null,true],"check":"fixture 5","expected":[true,false,null,true],"passed":true},{"actual":[true,true,-330,false],"check":"fixture 6","expected":[true,true,-330,false],"passed":true},{"actual":[true,true,840,false],"check":"fixture 7","expected":[true,true,840,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 8","expected":[false,false,null,false],"passed":true},{"actual":[true,true,779,false],"check":"fixture 9","expected":[true,true,779,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 10","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 11","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 12","expected":[false,false,null,false],"passed":true},{"actual":[true,true,60,false],"check":"fixture 13","expected":[false,false,null,false],"passed":false},{"actual":[false,false,null,false],"check":"fixture 14","expected":[false,false,null,false],"passed":true},{"actual":[true,true,602,false],"check":"fixture 15","expected":[true,true,602,false],"passed":true},{"actual":[true,true,90,false],"check":"variant capture","expected":[true,true,90,false],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, true, 0, false], \"expected\": [true, true, 0, false], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [true, true, 0, false], \"expected\": [true, true, 0, false], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [true, false, null, true], \"expected\": [true, false, null, true], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [true, true, -330, false], \"expected\": [true, true, -330, false], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, true, 840, false], \"expected\": [true, true, 840, false], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, true, 779, false], \"expected\": [true, true, 779, false], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 12\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 13\", \"actual\": [true, true, 60, false], \"expected\": [false, false, null, false], \"passed\": false}, {\"check\": \"fixture 14\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 15\", \"actual\": [true, true, 602, false], \"expected\": [true, true, 602, false], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, true, 90, false], \"expected\": [true, true, 90, false], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.017,"exit_code":1,"observations":[{"actual":[true,true,0,false],"check":"fixture 1","expected":[true,true,0,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 2","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 3","expected":[false,false,null,false],"passed":true},{"actual":[true,true,0,false],"check":"fixture 4","expected":[true,true,0,false],"passed":true},{"actual":[true,false,null,true],"check":"fixture 5","expected":[true,false,null,true],"passed":true},{"actual":[true,true,-330,false],"check":"fixture 6","expected":[true,true,-330,false],"passed":true},{"actual":[true,true,840,false],"check":"fixture 7","expected":[true,true,840,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 8","expected":[false,false,null,false],"passed":true},{"actual":[true,true,779,false],"check":"fixture 9","expected":[true,true,779,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 10","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 11","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 12","expected":[false,false,null,false],"passed":true},{"actual":[true,true,60,false],"check":"fixture 13","expected":[false,false,null,false],"passed":false},{"actual":[false,false,null,false],"check":"fixture 14","expected":[false,false,null,false],"passed":true},{"actual":[true,true,602,false],"check":"fixture 15","expected":[true,true,602,false],"passed":true},{"actual":[true,true,90,false],"check":"variant capture","expected":[true,true,90,false],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, true, 0, false], \"expected\": [true, true, 0, false], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [true, true, 0, false], \"expected\": [true, true, 0, false], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [true, false, null, true], \"expected\": [true, false, null, true], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [true, true, -330, false], \"expected\": [true, true, -330, false], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, true, 840, false], \"expected\": [true, true, 840, false], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, true, 779, false], \"expected\": [true, true, 779, false], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 12\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 13\", \"actual\": [true, true, 60, false], \"expected\": [false, false, null, false], \"passed\": false}, {\"check\": \"fixture 14\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 15\", \"actual\": [true, true, 602, false], \"expected\": [true, true, 602, false], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, true, 90, false], \"expected\": [true, true, 90, false], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.08,"exit_code":0,"observations":[{"actual":[true,true,0,false],"check":"fixture 1","expected":[true,true,0,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 2","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 3","expected":[false,false,null,false],"passed":true},{"actual":[true,true,0,false],"check":"fixture 4","expected":[true,true,0,false],"passed":true},{"actual":[true,false,null,true],"check":"fixture 5","expected":[true,false,null,true],"passed":true},{"actual":[true,true,-330,false],"check":"fixture 6","expected":[true,true,-330,false],"passed":true},{"actual":[true,true,840,false],"check":"fixture 7","expected":[true,true,840,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 8","expected":[false,false,null,false],"passed":true},{"actual":[true,true,779,false],"check":"fixture 9","expected":[true,true,779,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 10","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 11","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 12","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 13","expected":[false,false,null,false],"passed":true},{"actual":[false,false,null,false],"check":"fixture 14","expected":[false,false,null,false],"passed":true},{"actual":[true,true,602,false],"check":"fixture 15","expected":[true,true,602,false],"passed":true},{"actual":[true,true,90,false],"check":"variant capture","expected":[true,true,90,false],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, true, 0, false], \"expected\": [true, true, 0, false], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [true, true, 0, false], \"expected\": [true, true, 0, false], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [true, false, null, true], \"expected\": [true, false, null, true], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [true, true, -330, false], \"expected\": [true, true, -330, false], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, true, 840, false], \"expected\": [true, true, 840, false], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, true, 779, false], \"expected\": [true, true, 779, false], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 11\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 12\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 13\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 14\", \"actual\": [false, false, null, false], \"expected\": [false, false, null, false], \"passed\": true}, {\"check\": \"fixture 15\", \"actual\": [true, true, 602, false], \"expected\": [true, true, 602, false], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, true, 90, false], \"expected\": [true, true, 90, false], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}