{"abstract":"Circular sequence windows miss the origin-spanning start.","category":"Biological sequence representation","checks":6,"contract":"For nonempty ACGT string and 1<=k<=length, return exactly length windows of size k wrapping around origin, in start-index order. Empty returns [].","contract_signature":"s,k","evaluation_group":"model-e1b2a4b4ed5140b3","failed_approach":"Duplicating the sequence enumerates duplicate starts beyond the original length.","family":"z-bio_sequences-circular-window-count","id":"FA-12526","implementations":{"attempt":{"sha256":"ec7c858112eb29885d60b97f837f74503750ad2d0dc7bf3146e6baf754614a49","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s,k):\n    t=s+s\n    return [t[i:i+k] for i in range(len(t)-k+1)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('variable circle', solve('A'*N+'C',2), ['AA']*(N-1)+['AC','CA'])\ncheck('empty', solve('',1), [])\ncheck('singleton', solve('G',1), ['G'])\ncheck('whole circle', solve('ACG',3), ['ACG','CGA','GAC'])\ncheck('unit', solve('AC',1), ['A','C'])\ncheck('repeated', solve('AA',2), ['AA','AA'])\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":"5dee27133686f45b33ddfc46d0ca6ca3657e1f777abadedd83e1e8e04edeee28","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s,k):\n    return [s[i:i+k] for i in range(len(s)-k+1)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('variable circle', solve('A'*N+'C',2), ['AA']*(N-1)+['AC','CA'])\ncheck('empty', solve('',1), [])\ncheck('singleton', solve('G',1), ['G'])\ncheck('whole circle', solve('ACG',3), ['ACG','CGA','GAC'])\ncheck('unit', solve('AC',1), ['A','C'])\ncheck('repeated', solve('AA',2), ['AA','AA'])\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":"Synthetic strings and explicit policies only; no biological interpretation or laboratory workflow. 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-bio_sequences-circular-window-count","generated_at":"2026-09-29T14:38:57.661293+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An offline abstract sequence-data model; useful for testing representation invariants without biological inference.","root_cause":"Linear window limits omit wrapping starts.","sha256":"c9adbfa96622a5f8ed11c591340dc7918004a53e4ba004ecc10109ce267f1c33","title":"Circular sequence windows miss the origin-spanning start · 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.243,"exit_code":1,"observations":[{"actual":["AC","CA","AC"],"check":"variable circle","expected":["AC","CA"],"passed":false},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":["G","G"],"check":"singleton","expected":["G"],"passed":false},{"actual":["ACG","CGA","GAC","ACG"],"check":"whole circle","expected":["ACG","CGA","GAC"],"passed":false},{"actual":["A","C","A","C"],"check":"unit","expected":["A","C"],"passed":false},{"actual":["AA","AA","AA"],"check":"repeated","expected":["AA","AA"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"variable circle\", \"actual\": [\"AC\", \"CA\", \"AC\"], \"expected\": [\"AC\", \"CA\"], \"passed\": false}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"singleton\", \"actual\": [\"G\", \"G\"], \"expected\": [\"G\"], \"passed\": false}, {\"check\": \"whole circle\", \"actual\": [\"ACG\", \"CGA\", \"GAC\", \"ACG\"], \"expected\": [\"ACG\", \"CGA\", \"GAC\"], \"passed\": false}, {\"check\": \"unit\", \"actual\": [\"A\", \"C\", \"A\", \"C\"], \"expected\": [\"A\", \"C\"], \"passed\": false}, {\"check\": \"repeated\", \"actual\": [\"AA\", \"AA\", \"AA\"], \"expected\": [\"AA\", \"AA\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.035,"exit_code":1,"observations":[{"actual":["AC"],"check":"variable circle","expected":["AC","CA"],"passed":false},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":["G"],"check":"singleton","expected":["G"],"passed":true},{"actual":["ACG"],"check":"whole circle","expected":["ACG","CGA","GAC"],"passed":false},{"actual":["A","C"],"check":"unit","expected":["A","C"],"passed":true},{"actual":["AA"],"check":"repeated","expected":["AA","AA"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"variable circle\", \"actual\": [\"AC\"], \"expected\": [\"AC\", \"CA\"], \"passed\": false}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"singleton\", \"actual\": [\"G\"], \"expected\": [\"G\"], \"passed\": true}, {\"check\": \"whole circle\", \"actual\": [\"ACG\"], \"expected\": [\"ACG\", \"CGA\", \"GAC\"], \"passed\": false}, {\"check\": \"unit\", \"actual\": [\"A\", \"C\"], \"expected\": [\"A\", \"C\"], \"passed\": true}, {\"check\": \"repeated\", \"actual\": [\"AA\"], \"expected\": [\"AA\", \"AA\"], \"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."}}