{"abstract":"The decoded time state disagrees with the explicit regression oracle for word.","category":"Time representation","checks":11,"contract":"Decode four unsigned bytes: signed 16-bit big-endian seconds and unsigned 16-bit fractional microticks, 1000 per second. Fraction >=1000 is invalid. Return validity and, only for valid input, exact total microticks, signed decimal timestamp with three fractional digits, and whole-second coordinate after a one-microtick increment. Negative display uses magnitude decomposition.","evaluation_group":"s3-time-signed_timespec_wire","failed_approach":"The partial correction still substitutes r[0] * 255 + r[1] at the same fault site.","family":"s3-time_representation-signed-timespec-wire-word","id":"FA-17391","implementations":{"attempt":{"sha256":"b48c8f5102f963a238670a3a3cd2591a8166decfda1d0a69bf803a2b1d8f41d9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    word = r[0] * 255 + r[1]\n    seconds = word - 65536 if word >= 32768 else word\n    fraction = r[2] * 256 + r[3]\n    valid = fraction < 1000\n    total = seconds * 1000 + fraction\n    negative = total < 0\n    magnitude = abs(total)\n    whole = magnitude // 1000\n    part = magnitude % 1000\n    next_second = seconds + (fraction + 1) // 1000\n    return [valid, total if valid else None, ('-' if negative else '') + str(whole) + '.' + str(part).zfill(3) if valid else None,next_second if valid else None]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve([0, 1, 0, 0]), [True, 1000, '1.000', 1])\ncheck('fixture 2', solve([255, 255, 0, 1]), [True, -999, '-0.999', -1])\ncheck('fixture 3', solve([128, 0, 3, 231]), [True, -32767001, '-32767.001', -32767])\ncheck('fixture 4', solve([0, 0, 0, 0]), [True, 0, '0.000', 0])\ncheck('fixture 5', solve([0, 0, 3, 232]), [False, None, None, None])\ncheck('fixture 6', solve([255, 255, 3, 232]), [False, None, None, None])\ncheck('fixture 7', solve([0, 2, 1, 3]), [True, 2259, '2.259', 2])\ncheck('fixture 8', solve([127, 255, 3, 231]), [True, 32767999, '32767.999', 32768])\ncheck('fixture 9', solve([255, 254, 0, 0]), [True, -2000, '-2.000', -2])\ncheck('fixture 10', solve([0, 0, 3, 231]), [True, 999, '0.999', 1])\nvariant = [([0, 2, 0, 0], [True, 2000, '2.000', 2]), ([0, 3, 0, 0], [True, 3000, '3.000', 3]), ([0, 4, 0, 0], [True, 4000, '4.000', 4]), ([0, 5, 0, 0], [True, 5000, '5.000', 5]), ([0, 6, 0, 0], [True, 6000, '6.000', 6])]\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":"062fee7a8f2f6650793b140946be93cf6ad9f3c7e88720b7ac193af9bbde1c87","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    word = r[1] * 256 + r[0]\n    seconds = word - 65536 if word >= 32768 else word\n    fraction = r[2] * 256 + r[3]\n    valid = fraction < 1000\n    total = seconds * 1000 + fraction\n    negative = total < 0\n    magnitude = abs(total)\n    whole = magnitude // 1000\n    part = magnitude % 1000\n    next_second = seconds + (fraction + 1) // 1000\n    return [valid, total if valid else None, ('-' if negative else '') + str(whole) + '.' + str(part).zfill(3) if valid else None,next_second if valid else None]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve([0, 1, 0, 0]), [True, 1000, '1.000', 1])\ncheck('fixture 2', solve([255, 255, 0, 1]), [True, -999, '-0.999', -1])\ncheck('fixture 3', solve([128, 0, 3, 231]), [True, -32767001, '-32767.001', -32767])\ncheck('fixture 4', solve([0, 0, 0, 0]), [True, 0, '0.000', 0])\ncheck('fixture 5', solve([0, 0, 3, 232]), [False, None, None, None])\ncheck('fixture 6', solve([255, 255, 3, 232]), [False, None, None, None])\ncheck('fixture 7', solve([0, 2, 1, 3]), [True, 2259, '2.259', 2])\ncheck('fixture 8', solve([127, 255, 3, 231]), [True, 32767999, '32767.999', 32768])\ncheck('fixture 9', solve([255, 254, 0, 0]), [True, -2000, '-2.000', -2])\ncheck('fixture 10', solve([0, 0, 3, 231]), [True, 999, '0.999', 1])\nvariant = [([0, 2, 0, 0], [True, 2000, '2.000', 2]), ([0, 3, 0, 0], [True, 3000, '3.000', 3]), ([0, 4, 0, 0], [True, 4000, '4.000', 4]), ([0, 5, 0, 0], [True, 5000, '5.000', 5]), ([0, 6, 0, 0], [True, 6000, '6.000', 6])]\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":"6a0b68021316fa2c78faae39a976ebeefa970eae96bebc4cd1a690315d9557bb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(r):\n    word = r[0] * 256 + r[1]\n    seconds = word - 65536 if word >= 32768 else word\n    fraction = r[2] * 256 + r[3]\n    valid = fraction < 1000\n    total = seconds * 1000 + fraction\n    negative = total < 0\n    magnitude = abs(total)\n    whole = magnitude // 1000\n    part = magnitude % 1000\n    next_second = seconds + (fraction + 1) // 1000\n    return [valid, total if valid else None, ('-' if negative else '') + str(whole) + '.' + str(part).zfill(3) if valid else None,next_second if valid else None]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve([0, 1, 0, 0]), [True, 1000, '1.000', 1])\ncheck('fixture 2', solve([255, 255, 0, 1]), [True, -999, '-0.999', -1])\ncheck('fixture 3', solve([128, 0, 3, 231]), [True, -32767001, '-32767.001', -32767])\ncheck('fixture 4', solve([0, 0, 0, 0]), [True, 0, '0.000', 0])\ncheck('fixture 5', solve([0, 0, 3, 232]), [False, None, None, None])\ncheck('fixture 6', solve([255, 255, 3, 232]), [False, None, None, None])\ncheck('fixture 7', solve([0, 2, 1, 3]), [True, 2259, '2.259', 2])\ncheck('fixture 8', solve([127, 255, 3, 231]), [True, 32767999, '32767.999', 32768])\ncheck('fixture 9', solve([255, 254, 0, 0]), [True, -2000, '-2.000', -2])\ncheck('fixture 10', solve([0, 0, 3, 231]), [True, 999, '0.999', 1])\nvariant = [([0, 2, 0, 0], [True, 2000, '2.000', 2]), ([0, 3, 0, 0], [True, 3000, '3.000', 3]), ([0, 4, 0, 0], [True, 4000, '4.000', 4]), ([0, 5, 0, 0], [True, 5000, '5.000', 5]), ([0, 6, 0, 0], [True, 6000, '6.000', 6])]\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-signed-timespec-wire-word","generated_at":"2026-09-29T14:39:45.784171+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 word: word = r[0] * 256 + r[1].","root_cause":"Whole-second word reverses network byte order.","sha256":"cf7b3974af54a0950bc868b09b64685eaa555176789a46f28bfb3b1c017b01e3","title":"Whole-second word reverses network byte order · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.987,"exit_code":1,"observations":[{"actual":[true,1000,"1.000",1],"check":"fixture 1","expected":[true,1000,"1.000",1],"passed":true},{"actual":[true,-255999,"-255.999",-256],"check":"fixture 2","expected":[true,-999,"-0.999",-1],"passed":false},{"actual":[true,32640999,"32640.999",32641],"check":"fixture 3","expected":[true,-32767001,"-32767.001",-32767],"passed":false},{"actual":[true,0,"0.000",0],"check":"fixture 4","expected":[true,0,"0.000",0],"passed":true},{"actual":[false,null,null,null],"check":"fixture 5","expected":[false,null,null,null],"passed":true},{"actual":[false,null,null,null],"check":"fixture 6","expected":[false,null,null,null],"passed":true},{"actual":[true,2259,"2.259",2],"check":"fixture 7","expected":[true,2259,"2.259",2],"passed":true},{"actual":[true,32640999,"32640.999",32641],"check":"fixture 8","expected":[true,32767999,"32767.999",32768],"passed":false},{"actual":[true,-257000,"-257.000",-257],"check":"fixture 9","expected":[true,-2000,"-2.000",-2],"passed":false},{"actual":[true,999,"0.999",1],"check":"fixture 10","expected":[true,999,"0.999",1],"passed":true},{"actual":[true,2000,"2.000",2],"check":"variant capture","expected":[true,2000,"2.000",2],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, 1000, \"1.000\", 1], \"expected\": [true, 1000, \"1.000\", 1], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [true, -255999, \"-255.999\", -256], \"expected\": [true, -999, \"-0.999\", -1], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [true, 32640999, \"32640.999\", 32641], \"expected\": [true, -32767001, \"-32767.001\", -32767], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [true, 0, \"0.000\", 0], \"expected\": [true, 0, \"0.000\", 0], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, null, null, null], \"expected\": [false, null, null, null], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [false, null, null, null], \"expected\": [false, null, null, null], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, 2259, \"2.259\", 2], \"expected\": [true, 2259, \"2.259\", 2], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [true, 32640999, \"32640.999\", 32641], \"expected\": [true, 32767999, \"32767.999\", 32768], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [true, -257000, \"-257.000\", -257], \"expected\": [true, -2000, \"-2.000\", -2], \"passed\": false}, {\"check\": \"fixture 10\", \"actual\": [true, 999, \"0.999\", 1], \"expected\": [true, 999, \"0.999\", 1], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, 2000, \"2.000\", 2], \"expected\": [true, 2000, \"2.000\", 2], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.623,"exit_code":1,"observations":[{"actual":[true,256000,"256.000",256],"check":"fixture 1","expected":[true,1000,"1.000",1],"passed":false},{"actual":[true,-999,"-0.999",-1],"check":"fixture 2","expected":[true,-999,"-0.999",-1],"passed":true},{"actual":[true,128999,"128.999",129],"check":"fixture 3","expected":[true,-32767001,"-32767.001",-32767],"passed":false},{"actual":[true,0,"0.000",0],"check":"fixture 4","expected":[true,0,"0.000",0],"passed":true},{"actual":[false,null,null,null],"check":"fixture 5","expected":[false,null,null,null],"passed":true},{"actual":[false,null,null,null],"check":"fixture 6","expected":[false,null,null,null],"passed":true},{"actual":[true,512259,"512.259",512],"check":"fixture 7","expected":[true,2259,"2.259",2],"passed":false},{"actual":[true,-128001,"-128.001",-128],"check":"fixture 8","expected":[true,32767999,"32767.999",32768],"passed":false},{"actual":[true,-257000,"-257.000",-257],"check":"fixture 9","expected":[true,-2000,"-2.000",-2],"passed":false},{"actual":[true,999,"0.999",1],"check":"fixture 10","expected":[true,999,"0.999",1],"passed":true},{"actual":[true,512000,"512.000",512],"check":"variant capture","expected":[true,2000,"2.000",2],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, 256000, \"256.000\", 256], \"expected\": [true, 1000, \"1.000\", 1], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [true, -999, \"-0.999\", -1], \"expected\": [true, -999, \"-0.999\", -1], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, 128999, \"128.999\", 129], \"expected\": [true, -32767001, \"-32767.001\", -32767], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [true, 0, \"0.000\", 0], \"expected\": [true, 0, \"0.000\", 0], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, null, null, null], \"expected\": [false, null, null, null], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [false, null, null, null], \"expected\": [false, null, null, null], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, 512259, \"512.259\", 512], \"expected\": [true, 2259, \"2.259\", 2], \"passed\": false}, {\"check\": \"fixture 8\", \"actual\": [true, -128001, \"-128.001\", -128], \"expected\": [true, 32767999, \"32767.999\", 32768], \"passed\": false}, {\"check\": \"fixture 9\", \"actual\": [true, -257000, \"-257.000\", -257], \"expected\": [true, -2000, \"-2.000\", -2], \"passed\": false}, {\"check\": \"fixture 10\", \"actual\": [true, 999, \"0.999\", 1], \"expected\": [true, 999, \"0.999\", 1], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, 512000, \"512.000\", 512], \"expected\": [true, 2000, \"2.000\", 2], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.472,"exit_code":0,"observations":[{"actual":[true,1000,"1.000",1],"check":"fixture 1","expected":[true,1000,"1.000",1],"passed":true},{"actual":[true,-999,"-0.999",-1],"check":"fixture 2","expected":[true,-999,"-0.999",-1],"passed":true},{"actual":[true,-32767001,"-32767.001",-32767],"check":"fixture 3","expected":[true,-32767001,"-32767.001",-32767],"passed":true},{"actual":[true,0,"0.000",0],"check":"fixture 4","expected":[true,0,"0.000",0],"passed":true},{"actual":[false,null,null,null],"check":"fixture 5","expected":[false,null,null,null],"passed":true},{"actual":[false,null,null,null],"check":"fixture 6","expected":[false,null,null,null],"passed":true},{"actual":[true,2259,"2.259",2],"check":"fixture 7","expected":[true,2259,"2.259",2],"passed":true},{"actual":[true,32767999,"32767.999",32768],"check":"fixture 8","expected":[true,32767999,"32767.999",32768],"passed":true},{"actual":[true,-2000,"-2.000",-2],"check":"fixture 9","expected":[true,-2000,"-2.000",-2],"passed":true},{"actual":[true,999,"0.999",1],"check":"fixture 10","expected":[true,999,"0.999",1],"passed":true},{"actual":[true,2000,"2.000",2],"check":"variant capture","expected":[true,2000,"2.000",2],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [true, 1000, \"1.000\", 1], \"expected\": [true, 1000, \"1.000\", 1], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [true, -999, \"-0.999\", -1], \"expected\": [true, -999, \"-0.999\", -1], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [true, -32767001, \"-32767.001\", -32767], \"expected\": [true, -32767001, \"-32767.001\", -32767], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [true, 0, \"0.000\", 0], \"expected\": [true, 0, \"0.000\", 0], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [false, null, null, null], \"expected\": [false, null, null, null], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [false, null, null, null], \"expected\": [false, null, null, null], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [true, 2259, \"2.259\", 2], \"expected\": [true, 2259, \"2.259\", 2], \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": [true, 32767999, \"32767.999\", 32768], \"expected\": [true, 32767999, \"32767.999\", 32768], \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": [true, -2000, \"-2.000\", -2], \"expected\": [true, -2000, \"-2.000\", -2], \"passed\": true}, {\"check\": \"fixture 10\", \"actual\": [true, 999, \"0.999\", 1], \"expected\": [true, 999, \"0.999\", 1], \"passed\": true}, {\"check\": \"variant capture\", \"actual\": [true, 2000, \"2.000\", 2], \"expected\": [true, 2000, \"2.000\", 2], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}