{"abstract":"A blocked switching request restarts the dwell timer.","category":"Discrete control systems","checks":6,"contract":"State is (on,last_switch). At integer now>=last_switch, accept a different desired state iff now-last_switch>=dwell; redundant or blocked requests preserve both fields.","contract_signature":"on, last, desired, now, dwell","evaluation_group":"model-32bb5c600cfa0c93","failed_approach":"Updating the timestamp on redundant requests also delays later legitimate switches.","family":"z-control_systems-minimum-dwell","id":"FA-11976","implementations":{"attempt":{"sha256":"ebb8d8eb889fae1f8509de56f63cc58a331cd70ee49fe3dc72c5423d53ed474d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(on, last, desired, now, dwell):\n    return [desired if now-last>=dwell else on, now if desired==on or now-last>=dwell else last]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('blocked request', solve(False, N, True, N+1, 3), [False,N])\ncheck('redundant late', solve(False, N, False, N+5, 3), [False,N])\ncheck('exact dwell', solve(False, N, True, N+3, 3), [True,N+3])\ncheck('switch off', solve(True, N, False, N+4, 3), [False,N+4])\ncheck('zero dwell', solve(False, N, True, N, 0), [True,N])\ncheck('same instant unchanged', solve(True, N, True, N, 0), [True,N])\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":"1ae2e94ae0afcae17c2c69f124fea264f2d8b1e813bd615f7b6b6655956414d7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(on, last, desired, now, dwell):\n    return [desired if now-last>=dwell else on, now]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('blocked request', solve(False, N, True, N+1, 3), [False,N])\ncheck('redundant late', solve(False, N, False, N+5, 3), [False,N])\ncheck('exact dwell', solve(False, N, True, N+3, 3), [True,N+3])\ncheck('switch off', solve(True, N, False, N+4, 3), [False,N+4])\ncheck('zero dwell', solve(False, N, True, N, 0), [True,N])\ncheck('same instant unchanged', solve(True, N, True, N, 0), [True,N])\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":"Integer-valued controlled examples only; no physical plant, stability guarantee, timing jitter, or hardware behavior is modeled. 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-control_systems-minimum-dwell","generated_at":"2026-09-29T14:38:52.743138+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An offline discrete controller model isolates this state or arithmetic fault; it makes no physical plant or safety claim.","root_cause":"Elapsed time is measured from every request rather than the last accepted switch.","sha256":"06065b39bcf974901ea88d625e335426b83472eea0710a6d94b5d35b64fd2282","title":"A blocked switching request restarts the dwell timer · 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":43.123,"exit_code":1,"observations":[{"actual":[false,1],"check":"blocked request","expected":[false,1],"passed":true},{"actual":[false,6],"check":"redundant late","expected":[false,1],"passed":false},{"actual":[true,4],"check":"exact dwell","expected":[true,4],"passed":true},{"actual":[false,5],"check":"switch off","expected":[false,5],"passed":true},{"actual":[true,1],"check":"zero dwell","expected":[true,1],"passed":true},{"actual":[true,1],"check":"same instant unchanged","expected":[true,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"blocked request\", \"actual\": [false, 1], \"expected\": [false, 1], \"passed\": true}, {\"check\": \"redundant late\", \"actual\": [false, 6], \"expected\": [false, 1], \"passed\": false}, {\"check\": \"exact dwell\", \"actual\": [true, 4], \"expected\": [true, 4], \"passed\": true}, {\"check\": \"switch off\", \"actual\": [false, 5], \"expected\": [false, 5], \"passed\": true}, {\"check\": \"zero dwell\", \"actual\": [true, 1], \"expected\": [true, 1], \"passed\": true}, {\"check\": \"same instant unchanged\", \"actual\": [true, 1], \"expected\": [true, 1], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.475,"exit_code":1,"observations":[{"actual":[false,2],"check":"blocked request","expected":[false,1],"passed":false},{"actual":[false,6],"check":"redundant late","expected":[false,1],"passed":false},{"actual":[true,4],"check":"exact dwell","expected":[true,4],"passed":true},{"actual":[false,5],"check":"switch off","expected":[false,5],"passed":true},{"actual":[true,1],"check":"zero dwell","expected":[true,1],"passed":true},{"actual":[true,1],"check":"same instant unchanged","expected":[true,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"blocked request\", \"actual\": [false, 2], \"expected\": [false, 1], \"passed\": false}, {\"check\": \"redundant late\", \"actual\": [false, 6], \"expected\": [false, 1], \"passed\": false}, {\"check\": \"exact dwell\", \"actual\": [true, 4], \"expected\": [true, 4], \"passed\": true}, {\"check\": \"switch off\", \"actual\": [false, 5], \"expected\": [false, 5], \"passed\": true}, {\"check\": \"zero dwell\", \"actual\": [true, 1], \"expected\": [true, 1], \"passed\": true}, {\"check\": \"same instant unchanged\", \"actual\": [true, 1], \"expected\": [true, 1], \"passed\": true}], \"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."}}