{"abstract":"Different known array elements retain a false conflict.","category":"Borrow checking","checks":13,"contract":"Places are lists of projections: root name, then fields or integer indices. Different roots and unequal fields or known indices are disjoint. A wildcard index ? aliases any index. A union projection | overlaps any sibling. Dereference * conservatively overlaps another projection at that depth. Prefix places overlap; empty denotes no place. Return overlap.","contract_signature":"a, b","evaluation_group":"s3-borrow-checking-place-conflict","failed_approach":"The partial repair uses if isinstance(x, int) and isinstance(y, int): return abs(x-y)>1, which still violates the stipulated analysis contract.","family":"s3-borrow-checking-place-conflict-known-index-disjoint","id":"FA-42876","implementations":{"attempt":{"sha256":"d647ce940a4f389040724e541d5368cab82f410f9bc551feb582f6217489f401","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(a, b):\n    if not a or not b: return False\n    if a[0] != b[0]: return False\n    for x, y in zip(a[1:], b[1:]):\n        if x == y: continue\n        if x == '|' or y == '|': return True\n        if x == '*' or y == '*': return True\n        if x == '?' and isinstance(y, int): continue\n        if y == '?' and isinstance(x, int): continue\n        if isinstance(x, int) and isinstance(y, int): return abs(x-y)>1\n        if isinstance(x, str) and isinstance(y, str): return False\n        return False\n    return True\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('absent',solve([],['r']),False)\ncheck('both absent',solve([],[]),False)\ncheck('roots depths',solve(['r'],['s','a']),False)\ncheck('shared prefix',solve(['r','a','b'],['r','a','c']),False)\ncheck('union',solve(['r','|'],['r','a']),True)\ncheck('deref',solve(['r','*'],['r','a']),True)\ncheck('dynamic left',solve(['r','?'],['r',N]),True)\ncheck('dynamic right',solve(['r',N],['r','?']),True)\ncheck('separated indices',solve(['r',N],['r',N+3]),False)\ncheck('adjacent indices',solve(['r',N],['r',N+1]),False)\ncheck('fields',solve(['r','a'],['r','b']),False)\ncheck('parent',solve(['r'],['r','a']),True)\ncheck('same',solve(['r',N],['r',N]),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":"0e08cf18d3d34fa86948e1ad345eeade55e98e692fb7d9a475aa1bc26fb376d4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(a, b):\n    if not a or not b: return False\n    if a[0] != b[0]: return False\n    for x, y in zip(a[1:], b[1:]):\n        if x == y: continue\n        if x == '|' or y == '|': return True\n        if x == '*' or y == '*': return True\n        if x == '?' and isinstance(y, int): continue\n        if y == '?' and isinstance(x, int): continue\n        if isinstance(x, int) and isinstance(y, int): return True\n        if isinstance(x, str) and isinstance(y, str): return False\n        return False\n    return True\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('absent',solve([],['r']),False)\ncheck('both absent',solve([],[]),False)\ncheck('roots depths',solve(['r'],['s','a']),False)\ncheck('shared prefix',solve(['r','a','b'],['r','a','c']),False)\ncheck('union',solve(['r','|'],['r','a']),True)\ncheck('deref',solve(['r','*'],['r','a']),True)\ncheck('dynamic left',solve(['r','?'],['r',N]),True)\ncheck('dynamic right',solve(['r',N],['r','?']),True)\ncheck('separated indices',solve(['r',N],['r',N+3]),False)\ncheck('adjacent indices',solve(['r',N],['r',N+1]),False)\ncheck('fields',solve(['r','a'],['r','b']),False)\ncheck('parent',solve(['r'],['r','a']),True)\ncheck('same',solve(['r',N],['r',N]),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":"The explicitly stated toy language is the complete scope; this is not a production compiler or a claim about Rust semantics. 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-borrow-checking-place-conflict-known-index-disjoint","generated_at":"2026-09-29T14:43:56.304675+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A finite offline static-analysis model of ownership and borrowing; it does not execute the analyzed program.","root_cause":"The static analyzer mishandles known index disjoint: different known array elements retain a false conflict.","sha256":"7d9c2479d6d3ab13250f0dca5c791a1904a63d0f5f236eb7be87fd6d80565f88","title":"Different known array elements retain a false conflict · 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":48.73,"exit_code":1,"observations":[{"actual":false,"check":"absent","expected":false,"passed":true},{"actual":false,"check":"both absent","expected":false,"passed":true},{"actual":false,"check":"roots depths","expected":false,"passed":true},{"actual":false,"check":"shared prefix","expected":false,"passed":true},{"actual":true,"check":"union","expected":true,"passed":true},{"actual":true,"check":"deref","expected":true,"passed":true},{"actual":true,"check":"dynamic left","expected":true,"passed":true},{"actual":true,"check":"dynamic right","expected":true,"passed":true},{"actual":true,"check":"separated indices","expected":false,"passed":false},{"actual":false,"check":"adjacent indices","expected":false,"passed":true},{"actual":false,"check":"fields","expected":false,"passed":true},{"actual":true,"check":"parent","expected":true,"passed":true},{"actual":true,"check":"same","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"absent\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"both absent\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"roots depths\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"shared prefix\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"union\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"deref\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"dynamic left\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"dynamic right\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"separated indices\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"adjacent indices\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"fields\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"parent\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"same\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.798,"exit_code":1,"observations":[{"actual":false,"check":"absent","expected":false,"passed":true},{"actual":false,"check":"both absent","expected":false,"passed":true},{"actual":false,"check":"roots depths","expected":false,"passed":true},{"actual":false,"check":"shared prefix","expected":false,"passed":true},{"actual":true,"check":"union","expected":true,"passed":true},{"actual":true,"check":"deref","expected":true,"passed":true},{"actual":true,"check":"dynamic left","expected":true,"passed":true},{"actual":true,"check":"dynamic right","expected":true,"passed":true},{"actual":true,"check":"separated indices","expected":false,"passed":false},{"actual":true,"check":"adjacent indices","expected":false,"passed":false},{"actual":false,"check":"fields","expected":false,"passed":true},{"actual":true,"check":"parent","expected":true,"passed":true},{"actual":true,"check":"same","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"absent\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"both absent\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"roots depths\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"shared prefix\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"union\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"deref\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"dynamic left\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"dynamic right\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"separated indices\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"adjacent indices\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"fields\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"parent\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"same\", \"actual\": true, \"expected\": true, \"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."}}