{"abstract":"Absent places are treated as aliases.","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.","evaluation_group":"s3-borrow-checking-place-conflict","failed_approach":"The partial repair uses if not a or not b: return bool(a or b), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-place-conflict-empty-place","id":"FA-42841","implementations":{"attempt":{"sha256":"ac13bb77491c55d1d20e35c2a36303c9bc231b4abf7df1333f2c28b7bda368c4","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 bool(a or b)\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 False\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":"a5617342eda4cd7fe6fc1496a78f7f72fa17626451b07a353512364d2db05b7f","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 True\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 False\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"},"fixed":{"sha256":"846279339f8864ff194ad03b3f05bd15c20a7b6e33da39c9941a82318118cee2","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 False\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-empty-place","generated_at":"2026-09-29T14:43:55.858460+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.","repair":"Apply the specified transfer or inference rule at this site: if not a or not b: return False.","root_cause":"The static analyzer mishandles empty place: absent places are treated as aliases.","sha256":"32bc5853c46baacc49a46f1ca9f763cbecb0f848dff4766807a78158c852ff68","title":"Absent places are treated as aliases · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.512,"exit_code":1,"observations":[{"actual":true,"check":"absent","expected":false,"passed":false},{"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":false,"check":"separated indices","expected":false,"passed":true},{"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\": true, \"expected\": false, \"passed\": false}, {\"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\": false, \"expected\": false, \"passed\": true}, {\"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":41.454,"exit_code":1,"observations":[{"actual":true,"check":"absent","expected":false,"passed":false},{"actual":true,"check":"both absent","expected":false,"passed":false},{"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":false,"check":"separated indices","expected":false,"passed":true},{"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\": true, \"expected\": false, \"passed\": false}, {\"check\": \"both absent\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"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\": false, \"expected\": false, \"passed\": true}, {\"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"},"fixed":{"elapsed_ms":44.75,"exit_code":0,"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":false,"check":"separated indices","expected":false,"passed":true},{"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":true,"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\": false, \"expected\": false, \"passed\": true}, {\"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\": true}\n"}},"verified":true,"visibility":"public"}