{"abstract":"A document embeds itself in the semantic bridge.","category":"Accessibility interaction semantics","checks":7,"contract":"Input [host_id,host_doc,child_doc,loaded,same_origin,allow_read,host_name,child_title,children,defunct]. Return None if defunct. Otherwise return a host bridge object. Child document may only be traversed when loaded and allow_read; same_origin alone grants no reading. Expose children in original order, including repeated distinct IDs, prefixed with child_doc and colon; child document ID cannot be empty or equal to host document. Name prefers a nonempty host name, then child title only if traversal allowed, otherwise empty. Busy means not loaded; unavailable means loaded but traversal forbidden. Relation is [host_id,child_doc] only for traversable children. Source lists never include the host itself.","evaluation_group":"s3-accessibility-embedded-document","failed_approach":"The local repair substitutes and child != host but still mishandles the regression fixtures.","family":"s3-accessibility-embedded-document-document-recursion","id":"FA-53541","implementations":{"attempt":{"sha256":"18a6b4880b33c7ea49979b555d9f68093b078b348fec44e55bd574f9b5fa197e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    host,doc,child,loaded,same,allowed,name,title,children,dead = data\n    if dead: return None\n    can = loaded and allowed and bool(child) and child != host\n    safe = [ident for ident in children if ident != host]\n    return {'id':host,'name':name if name else (title if can else ''),'busy':not loaded,'unavailable':loaded and not can,'children':[child+':'+ident for ident in safe] if can else [],'relation':[host,child] if can else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('allowed foreign document', solve(['host','d','c',True,False,True,'','Title'+str(N),['a','b','a'],False],), {'id':'host','name':'Title'+str(N),'busy':False,'unavailable':False,'children':['c:a','c:b','c:a'],'relation':['host','c']})\ncheck('same origin no permission', solve(['host','d','c',True,True,False,'','Secret',['a'],False],), {'id':'host','name':'','busy':False,'unavailable':True,'children':[],'relation':None})\ncheck('not loaded', solve(['host','d','c',False,True,True,'Frame','Title',['a'],False],), {'id':'host','name':'Frame','busy':True,'unavailable':False,'children':[],'relation':None})\ncheck('dead host', solve(['host','d','c',True,True,True,'Frame','Title',['a'],True],), None)\ncheck('self document', solve(['host','d','d',True,True,True,'Frame','Title',['a'],False],), {'id':'host','name':'Frame','busy':False,'unavailable':True,'children':[],'relation':None})\ncheck('empty child identifier', solve(['host','d','',True,True,True,'Frame','Title',['a'],False],), {'id':'host','name':'Frame','busy':False,'unavailable':True,'children':[],'relation':None})\ncheck('host filtered', solve(['host','d','c',True,True,True,'Frame','Title',['a','host','b'],False],), {'id':'host','name':'Frame','busy':False,'unavailable':False,'children':['c:a','c:b'],'relation':['host','c']})\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":"a43afc75f19e3ca77eea69c5bb82b9eb632c37d195a01c884ec69a72f8297915","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    host,doc,child,loaded,same,allowed,name,title,children,dead = data\n    if dead: return None\n    can = loaded and allowed and bool(child) \n    safe = [ident for ident in children if ident != host]\n    return {'id':host,'name':name if name else (title if can else ''),'busy':not loaded,'unavailable':loaded and not can,'children':[child+':'+ident for ident in safe] if can else [],'relation':[host,child] if can else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('allowed foreign document', solve(['host','d','c',True,False,True,'','Title'+str(N),['a','b','a'],False],), {'id':'host','name':'Title'+str(N),'busy':False,'unavailable':False,'children':['c:a','c:b','c:a'],'relation':['host','c']})\ncheck('same origin no permission', solve(['host','d','c',True,True,False,'','Secret',['a'],False],), {'id':'host','name':'','busy':False,'unavailable':True,'children':[],'relation':None})\ncheck('not loaded', solve(['host','d','c',False,True,True,'Frame','Title',['a'],False],), {'id':'host','name':'Frame','busy':True,'unavailable':False,'children':[],'relation':None})\ncheck('dead host', solve(['host','d','c',True,True,True,'Frame','Title',['a'],True],), None)\ncheck('self document', solve(['host','d','d',True,True,True,'Frame','Title',['a'],False],), {'id':'host','name':'Frame','busy':False,'unavailable':True,'children':[],'relation':None})\ncheck('empty child identifier', solve(['host','d','',True,True,True,'Frame','Title',['a'],False],), {'id':'host','name':'Frame','busy':False,'unavailable':True,'children':[],'relation':None})\ncheck('host filtered', solve(['host','d','c',True,True,True,'Frame','Title',['a','host','b'],False],), {'id':'host','name':'Frame','busy':False,'unavailable':False,'children':['c:a','c:b'],'relation':['host','c']})\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":"0bdaaf0188c54ee9282f0e44fe4ea0d3d46791473963c78126fa73ddfac7fe1b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    host,doc,child,loaded,same,allowed,name,title,children,dead = data\n    if dead: return None\n    can = loaded and allowed and bool(child) and child != doc\n    safe = [ident for ident in children if ident != host]\n    return {'id':host,'name':name if name else (title if can else ''),'busy':not loaded,'unavailable':loaded and not can,'children':[child+':'+ident for ident in safe] if can else [],'relation':[host,child] if can else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('allowed foreign document', solve(['host','d','c',True,False,True,'','Title'+str(N),['a','b','a'],False],), {'id':'host','name':'Title'+str(N),'busy':False,'unavailable':False,'children':['c:a','c:b','c:a'],'relation':['host','c']})\ncheck('same origin no permission', solve(['host','d','c',True,True,False,'','Secret',['a'],False],), {'id':'host','name':'','busy':False,'unavailable':True,'children':[],'relation':None})\ncheck('not loaded', solve(['host','d','c',False,True,True,'Frame','Title',['a'],False],), {'id':'host','name':'Frame','busy':True,'unavailable':False,'children':[],'relation':None})\ncheck('dead host', solve(['host','d','c',True,True,True,'Frame','Title',['a'],True],), None)\ncheck('self document', solve(['host','d','d',True,True,True,'Frame','Title',['a'],False],), {'id':'host','name':'Frame','busy':False,'unavailable':True,'children':[],'relation':None})\ncheck('empty child identifier', solve(['host','d','',True,True,True,'Frame','Title',['a'],False],), {'id':'host','name':'Frame','busy':False,'unavailable':True,'children':[],'relation':None})\ncheck('host filtered', solve(['host','d','c',True,True,True,'Frame','Title',['a','host','b'],False],), {'id':'host','name':'Frame','busy':False,'unavailable':False,'children':['c:a','c:b'],'relation':['host','c']})\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":"Stipulated finite adapter contract, not a claim of platform accessibility or ARIA conformance. 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-accessibility-embedded-document-document-recursion","generated_at":"2026-09-29T14:45:39.977969+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline accessibility bridge model with explicit policy; useful for testing semantic API adapters independently of browser implementations.","repair":"Apply the exact contract at the document recursion decision: and child != doc","root_cause":"The document recursion decision in the embedded document adapter violates its declared contract.","sha256":"622218e1aef63cb229410d72476471eb9004c9fa2b202f08f02ee652fd530889","title":"A document embeds itself in the semantic bridge · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.796,"exit_code":1,"observations":[{"actual":{"busy":false,"children":["c:a","c:b","c:a"],"id":"host","name":"Title1","relation":["host","c"],"unavailable":false},"check":"allowed foreign document","expected":{"busy":false,"children":["c:a","c:b","c:a"],"id":"host","name":"Title1","relation":["host","c"],"unavailable":false},"passed":true},{"actual":{"busy":false,"children":[],"id":"host","name":"","relation":null,"unavailable":true},"check":"same origin no permission","expected":{"busy":false,"children":[],"id":"host","name":"","relation":null,"unavailable":true},"passed":true},{"actual":{"busy":true,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":false},"check":"not loaded","expected":{"busy":true,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":false},"passed":true},{"actual":null,"check":"dead host","expected":null,"passed":true},{"actual":{"busy":false,"children":["d:a"],"id":"host","name":"Frame","relation":["host","d"],"unavailable":false},"check":"self document","expected":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"passed":false},{"actual":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"check":"empty child identifier","expected":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"passed":true},{"actual":{"busy":false,"children":["c:a","c:b"],"id":"host","name":"Frame","relation":["host","c"],"unavailable":false},"check":"host filtered","expected":{"busy":false,"children":["c:a","c:b"],"id":"host","name":"Frame","relation":["host","c"],"unavailable":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"allowed foreign document\", \"actual\": {\"id\": \"host\", \"name\": \"Title1\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\", \"c:a\"], \"relation\": [\"host\", \"c\"]}, \"expected\": {\"id\": \"host\", \"name\": \"Title1\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\", \"c:a\"], \"relation\": [\"host\", \"c\"]}, \"passed\": true}, {\"check\": \"same origin no permission\", \"actual\": {\"id\": \"host\", \"name\": \"\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"not loaded\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": true, \"unavailable\": false, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": true, \"unavailable\": false, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"dead host\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"self document\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": false, \"children\": [\"d:a\"], \"relation\": [\"host\", \"d\"]}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"passed\": false}, {\"check\": \"empty child identifier\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"host filtered\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\"], \"relation\": [\"host\", \"c\"]}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\"], \"relation\": [\"host\", \"c\"]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.101,"exit_code":1,"observations":[{"actual":{"busy":false,"children":["c:a","c:b","c:a"],"id":"host","name":"Title1","relation":["host","c"],"unavailable":false},"check":"allowed foreign document","expected":{"busy":false,"children":["c:a","c:b","c:a"],"id":"host","name":"Title1","relation":["host","c"],"unavailable":false},"passed":true},{"actual":{"busy":false,"children":[],"id":"host","name":"","relation":null,"unavailable":true},"check":"same origin no permission","expected":{"busy":false,"children":[],"id":"host","name":"","relation":null,"unavailable":true},"passed":true},{"actual":{"busy":true,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":false},"check":"not loaded","expected":{"busy":true,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":false},"passed":true},{"actual":null,"check":"dead host","expected":null,"passed":true},{"actual":{"busy":false,"children":["d:a"],"id":"host","name":"Frame","relation":["host","d"],"unavailable":false},"check":"self document","expected":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"passed":false},{"actual":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"check":"empty child identifier","expected":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"passed":true},{"actual":{"busy":false,"children":["c:a","c:b"],"id":"host","name":"Frame","relation":["host","c"],"unavailable":false},"check":"host filtered","expected":{"busy":false,"children":["c:a","c:b"],"id":"host","name":"Frame","relation":["host","c"],"unavailable":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"allowed foreign document\", \"actual\": {\"id\": \"host\", \"name\": \"Title1\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\", \"c:a\"], \"relation\": [\"host\", \"c\"]}, \"expected\": {\"id\": \"host\", \"name\": \"Title1\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\", \"c:a\"], \"relation\": [\"host\", \"c\"]}, \"passed\": true}, {\"check\": \"same origin no permission\", \"actual\": {\"id\": \"host\", \"name\": \"\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"not loaded\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": true, \"unavailable\": false, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": true, \"unavailable\": false, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"dead host\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"self document\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": false, \"children\": [\"d:a\"], \"relation\": [\"host\", \"d\"]}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"passed\": false}, {\"check\": \"empty child identifier\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"host filtered\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\"], \"relation\": [\"host\", \"c\"]}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\"], \"relation\": [\"host\", \"c\"]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.994,"exit_code":0,"observations":[{"actual":{"busy":false,"children":["c:a","c:b","c:a"],"id":"host","name":"Title1","relation":["host","c"],"unavailable":false},"check":"allowed foreign document","expected":{"busy":false,"children":["c:a","c:b","c:a"],"id":"host","name":"Title1","relation":["host","c"],"unavailable":false},"passed":true},{"actual":{"busy":false,"children":[],"id":"host","name":"","relation":null,"unavailable":true},"check":"same origin no permission","expected":{"busy":false,"children":[],"id":"host","name":"","relation":null,"unavailable":true},"passed":true},{"actual":{"busy":true,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":false},"check":"not loaded","expected":{"busy":true,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":false},"passed":true},{"actual":null,"check":"dead host","expected":null,"passed":true},{"actual":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"check":"self document","expected":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"passed":true},{"actual":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"check":"empty child identifier","expected":{"busy":false,"children":[],"id":"host","name":"Frame","relation":null,"unavailable":true},"passed":true},{"actual":{"busy":false,"children":["c:a","c:b"],"id":"host","name":"Frame","relation":["host","c"],"unavailable":false},"check":"host filtered","expected":{"busy":false,"children":["c:a","c:b"],"id":"host","name":"Frame","relation":["host","c"],"unavailable":false},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"allowed foreign document\", \"actual\": {\"id\": \"host\", \"name\": \"Title1\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\", \"c:a\"], \"relation\": [\"host\", \"c\"]}, \"expected\": {\"id\": \"host\", \"name\": \"Title1\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\", \"c:a\"], \"relation\": [\"host\", \"c\"]}, \"passed\": true}, {\"check\": \"same origin no permission\", \"actual\": {\"id\": \"host\", \"name\": \"\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"not loaded\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": true, \"unavailable\": false, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": true, \"unavailable\": false, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"dead host\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"self document\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"empty child identifier\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": true, \"children\": [], \"relation\": null}, \"passed\": true}, {\"check\": \"host filtered\", \"actual\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\"], \"relation\": [\"host\", \"c\"]}, \"expected\": {\"id\": \"host\", \"name\": \"Frame\", \"busy\": false, \"unavailable\": false, \"children\": [\"c:a\", \"c:b\"], \"relation\": [\"host\", \"c\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}