{"abstract":"The decoded time state disagrees with the explicit regression oracle for shape.","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 len(text) == 6 and text[0] in '+-' at the same fault site.","family":"s3-time_representation-offset-lexeme-semantics-shape","id":"FA-18401","implementations":{"attempt":{"sha256":"540e78f12bc5d6b643f4ad2fae6b517e073980dfbc76e1e943b7da629b670bc1","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 '+-'\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"},"broken":{"sha256":"30a9336d758bb55081f4cf7ef69ec7cceca73e466fbb7d8851b3ed26557813af","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[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"},"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-shape","generated_at":"2026-09-29T14:39:57.274758+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 shape: shape = len(text) == 6 and text[0] in '+-' and text[3] == ':'.","root_cause":"Offset grammar loses sign or required colon position.","sha256":"8c5374750c34dc489f5629eaa3de06cda8346c77c8c76cb280f7554c5890bdfa","title":"Offset grammar loses sign or required colon position · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.458,"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":[true,true,60,false],"check":"fixture 12","expected":[false,false,null,false],"passed":false},{"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":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\": [true, true, 60, false], \"expected\": [false, false, null, false], \"passed\": false}, {\"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\": false}\n"},"broken":{"elapsed_ms":41.779,"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":[true,true,60,false],"check":"fixture 11","expected":[false,false,null,false],"passed":false},{"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":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\": [true, true, 60, false], \"expected\": [false, false, null, false], \"passed\": false}, {\"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\": false}\n"},"fixed":{"elapsed_ms":45.527,"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"}