{"abstract":"Cross-sensor association rejects simultaneous samples.","category":"Sensor fusion consistency","checks":6,"contract":"Return whether local-offset lies within tolerance of reference; offset equals sensor-local minus reference time and tolerance is nonnegative.","contract_signature":"local, offset, reference, tolerance","evaluation_group":"model-3b515f2bbfa72ab3","failed_approach":"Taking the offset magnitude loses the sign for slow sensor clocks.","family":"z-sensor_fusion-clock-offset","id":"FA-12046","implementations":{"attempt":{"sha256":"36f989d4c22a3c4c66aef5cd79a5b0d8b127f35a8705b6c507e6116163e6d514","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(local, offset, reference, tolerance):\n    return abs(local-abs(offset)-reference) <= tolerance\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fast sensor', solve(10+N,N,10,0), True)\ncheck('slow sensor', solve(10-N,-N,10,0), True)\ncheck('positive boundary', solve(12+N,N,10,2), True)\ncheck('outside association', solve(13+N,N,10,2), False)\ncheck('zero offset', solve(N,0,N,0), True)\ncheck('negative reference time', solve(-10-N,-N,-10,0), True)\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":"8af7d7e734a51db683cf90de1dace12a27e78d535e7db367cc6c5b0546ce29fa","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(local, offset, reference, tolerance):\n    return abs(local-reference) <= tolerance\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fast sensor', solve(10+N,N,10,0), True)\ncheck('slow sensor', solve(10-N,-N,10,0), True)\ncheck('positive boundary', solve(12+N,N,10,2), True)\ncheck('outside association', solve(13+N,N,10,2), False)\ncheck('zero offset', solve(N,0,N,0), True)\ncheck('negative reference time', solve(-10-N,-N,-10,0), True)\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":"Exact small scalar or two-axis models; no nonlinear dynamics, numerical conditioning, or real sensor noise simulation. 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":"z-sensor_fusion-clock-offset","generated_at":"2026-09-29T14:38:53.371449+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Deterministic sensor-fusion model isolating one consistency contract; no hardware or production estimator is simulated.","root_cause":"Sensor-local time is compared directly to reference time.","sha256":"6ddc5f939617d2646e115580e3ab44001ebdb7b680deb41911a68bf4d06b0662","title":"Sensor clock offset is applied with the wrong sign · 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":41.088,"exit_code":1,"observations":[{"actual":true,"check":"fast sensor","expected":true,"passed":true},{"actual":false,"check":"slow sensor","expected":true,"passed":false},{"actual":true,"check":"positive boundary","expected":true,"passed":true},{"actual":false,"check":"outside association","expected":false,"passed":true},{"actual":true,"check":"zero offset","expected":true,"passed":true},{"actual":false,"check":"negative reference time","expected":true,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fast sensor\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"slow sensor\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"positive boundary\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"outside association\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"zero offset\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"negative reference time\", \"actual\": false, \"expected\": true, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.672,"exit_code":1,"observations":[{"actual":false,"check":"fast sensor","expected":true,"passed":false},{"actual":false,"check":"slow sensor","expected":true,"passed":false},{"actual":false,"check":"positive boundary","expected":true,"passed":false},{"actual":false,"check":"outside association","expected":false,"passed":true},{"actual":true,"check":"zero offset","expected":true,"passed":true},{"actual":false,"check":"negative reference time","expected":true,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fast sensor\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"slow sensor\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"positive boundary\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"outside association\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"zero offset\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"negative reference time\", \"actual\": false, \"expected\": true, \"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."}}