{"abstract":"A reborrow parent is unresolved after the first child declaration.","category":"Borrow checking","checks":21,"contract":"Check statically resolved reborrow chains. Every child has declared parent; chains acyclic; child lifetime subset of parent; mutable child requires unique parent permission; parent use cannot overlap child unique-use points; child place must descend from parent place; nested child cannot bypass suspended intermediate parent; sibling unique reborrows may not overlap points; ending a child does not end its ancestors; killing a parent kills all descendants. Descriptor supplies inferred facts and requested proof obligations. Input is a fully explicit descriptor of the stated toy IR. Return rule identifiers in declaration order; absent optional obligations use the provided neutral defaults. No rule is an assertion about a production language.","evaluation_group":"s3-borrow-checking-reborrow-lineage","failed_approach":"The partial repair uses if bool(d['parents']) and next(iter(d['parents'].values())) not in d['declared']: errors.append('parent-resolution'), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-reborrow-lineage-parent-resolution","id":"FA-43341","implementations":{"attempt":{"sha256":"2623cc978341a46a7a92581be08b2591dc706e75ac4ecaf70045caa8970093cd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if bool(d['parents']) and next(iter(d['parents'].values())) not in d['declared']: errors.append('parent-resolution')\n    if any(len(x)>0 for x in d['cycles']): errors.append('lineage-cycle')\n    if not set(d['child_points'])<=set(d['parent_points']): errors.append('child-region')\n    if d['child_mut'] and not d['parent_unique']: errors.append('permission-inheritance')\n    if bool(set(d['parent_use'])&set(d['unique_child_use'])): errors.append('parent-suspension')\n    if d['child_place'][:len(d['parent_place'])]!=d['parent_place']: errors.append('place-descent')\n    if bool(set(d['bypassed'])&set(d['suspended'])): errors.append('intermediate-suspension')\n    if bool(set(d['sibling_a'])&set(d['sibling_b'])): errors.append('sibling-regions')\n    if d['ended_child'] and bool(d['ended_ancestors']): errors.append('child-end-locality')\n    if d['killed_parent'] and bool(d['surviving_descendants']): errors.append('parent-kill-cascade')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'parents': {}, 'declared': [], 'cycles': [], 'child_points': [], 'parent_points': [], 'child_mut': False, 'parent_unique': True, 'parent_use': [], 'unique_child_use': [], 'child_place': [], 'parent_place': [], 'bypassed': [], 'suspended': [], 'sibling_a': [], 'sibling_b': [], 'ended_child': False, 'ended_ancestors': [], 'killed_parent': False, 'surviving_descendants': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('parent-resolution regression 0', solve(dict(base, **({'parents':{'c':'p','d':'q'},'declared':['p']}))), ['parent-resolution'])\ncheck('parent-resolution regression 1', solve(dict(base, **({'parents':{N:'p',N+1:'q'},'declared':['p']}))), ['parent-resolution'])\ncheck('lineage-cycle regression 0', solve(dict(base, **({'cycles':[['a','b']]}))), ['lineage-cycle'])\ncheck('lineage-cycle regression 1', solve(dict(base, **({'cycles':[[N]]}))), ['lineage-cycle'])\ncheck('child-region regression 0', solve(dict(base, **({'child_points':[N],'parent_points':[N+1]}))), ['child-region'])\ncheck('child-region regression 1', solve(dict(base, **({'child_points':[N,N+1],'parent_points':[N+1,N+2]}))), ['child-region'])\ncheck('permission-inheritance regression 0', solve(dict(base, **({'child_mut':True,'parent_unique':False}))), ['permission-inheritance'])\ncheck('permission-inheritance regression 1', solve(dict(base, **({'child_mut':True,'parent_unique':False,'parent_points':list(range(N))}))), ['permission-inheritance'])\ncheck('parent-suspension regression 0', solve(dict(base, **({'parent_use':[N,N+1],'unique_child_use':[N]}))), ['parent-suspension'])\ncheck('parent-suspension regression 1', solve(dict(base, **({'parent_use':[N],'unique_child_use':[N,N+1]}))), ['parent-suspension'])\ncheck('place-descent regression 0', solve(dict(base, **({'child_place':['r','b'],'parent_place':['r','a']}))), ['place-descent'])\ncheck('place-descent regression 1', solve(dict(base, **({'child_place':['r',N+1],'parent_place':['r',N]}))), ['place-descent'])\ncheck('intermediate-suspension regression 0', solve(dict(base, **({'bypassed':['p'],'suspended':['p']}))), ['intermediate-suspension'])\ncheck('intermediate-suspension regression 1', solve(dict(base, **({'bypassed':[N],'suspended':[N]}))), ['intermediate-suspension'])\ncheck('sibling-regions regression 0', solve(dict(base, **({'sibling_a':[N,N+1],'sibling_b':[N+1]}))), ['sibling-regions'])\ncheck('sibling-regions regression 1', solve(dict(base, **({'sibling_a':[N],'sibling_b':[N,N+1]}))), ['sibling-regions'])\ncheck('child-end-locality regression 0', solve(dict(base, **({'ended_child':True,'ended_ancestors':['p']}))), ['child-end-locality'])\ncheck('child-end-locality regression 1', solve(dict(base, **({'ended_child':True,'ended_ancestors':[N]}))), ['child-end-locality'])\ncheck('parent-kill-cascade regression 0', solve(dict(base, **({'killed_parent':True,'surviving_descendants':['c']}))), ['parent-kill-cascade'])\ncheck('parent-kill-cascade regression 1', solve(dict(base, **({'killed_parent':True,'surviving_descendants':[N]}))), ['parent-kill-cascade'])\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":"d2d69344d6cbf160d20cde1653229a014f7aa6d77325a353379e6498836644b3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if False: errors.append('parent-resolution')\n    if any(len(x)>0 for x in d['cycles']): errors.append('lineage-cycle')\n    if not set(d['child_points'])<=set(d['parent_points']): errors.append('child-region')\n    if d['child_mut'] and not d['parent_unique']: errors.append('permission-inheritance')\n    if bool(set(d['parent_use'])&set(d['unique_child_use'])): errors.append('parent-suspension')\n    if d['child_place'][:len(d['parent_place'])]!=d['parent_place']: errors.append('place-descent')\n    if bool(set(d['bypassed'])&set(d['suspended'])): errors.append('intermediate-suspension')\n    if bool(set(d['sibling_a'])&set(d['sibling_b'])): errors.append('sibling-regions')\n    if d['ended_child'] and bool(d['ended_ancestors']): errors.append('child-end-locality')\n    if d['killed_parent'] and bool(d['surviving_descendants']): errors.append('parent-kill-cascade')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'parents': {}, 'declared': [], 'cycles': [], 'child_points': [], 'parent_points': [], 'child_mut': False, 'parent_unique': True, 'parent_use': [], 'unique_child_use': [], 'child_place': [], 'parent_place': [], 'bypassed': [], 'suspended': [], 'sibling_a': [], 'sibling_b': [], 'ended_child': False, 'ended_ancestors': [], 'killed_parent': False, 'surviving_descendants': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('parent-resolution regression 0', solve(dict(base, **({'parents':{'c':'p','d':'q'},'declared':['p']}))), ['parent-resolution'])\ncheck('parent-resolution regression 1', solve(dict(base, **({'parents':{N:'p',N+1:'q'},'declared':['p']}))), ['parent-resolution'])\ncheck('lineage-cycle regression 0', solve(dict(base, **({'cycles':[['a','b']]}))), ['lineage-cycle'])\ncheck('lineage-cycle regression 1', solve(dict(base, **({'cycles':[[N]]}))), ['lineage-cycle'])\ncheck('child-region regression 0', solve(dict(base, **({'child_points':[N],'parent_points':[N+1]}))), ['child-region'])\ncheck('child-region regression 1', solve(dict(base, **({'child_points':[N,N+1],'parent_points':[N+1,N+2]}))), ['child-region'])\ncheck('permission-inheritance regression 0', solve(dict(base, **({'child_mut':True,'parent_unique':False}))), ['permission-inheritance'])\ncheck('permission-inheritance regression 1', solve(dict(base, **({'child_mut':True,'parent_unique':False,'parent_points':list(range(N))}))), ['permission-inheritance'])\ncheck('parent-suspension regression 0', solve(dict(base, **({'parent_use':[N,N+1],'unique_child_use':[N]}))), ['parent-suspension'])\ncheck('parent-suspension regression 1', solve(dict(base, **({'parent_use':[N],'unique_child_use':[N,N+1]}))), ['parent-suspension'])\ncheck('place-descent regression 0', solve(dict(base, **({'child_place':['r','b'],'parent_place':['r','a']}))), ['place-descent'])\ncheck('place-descent regression 1', solve(dict(base, **({'child_place':['r',N+1],'parent_place':['r',N]}))), ['place-descent'])\ncheck('intermediate-suspension regression 0', solve(dict(base, **({'bypassed':['p'],'suspended':['p']}))), ['intermediate-suspension'])\ncheck('intermediate-suspension regression 1', solve(dict(base, **({'bypassed':[N],'suspended':[N]}))), ['intermediate-suspension'])\ncheck('sibling-regions regression 0', solve(dict(base, **({'sibling_a':[N,N+1],'sibling_b':[N+1]}))), ['sibling-regions'])\ncheck('sibling-regions regression 1', solve(dict(base, **({'sibling_a':[N],'sibling_b':[N,N+1]}))), ['sibling-regions'])\ncheck('child-end-locality regression 0', solve(dict(base, **({'ended_child':True,'ended_ancestors':['p']}))), ['child-end-locality'])\ncheck('child-end-locality regression 1', solve(dict(base, **({'ended_child':True,'ended_ancestors':[N]}))), ['child-end-locality'])\ncheck('parent-kill-cascade regression 0', solve(dict(base, **({'killed_parent':True,'surviving_descendants':['c']}))), ['parent-kill-cascade'])\ncheck('parent-kill-cascade regression 1', solve(dict(base, **({'killed_parent':True,'surviving_descendants':[N]}))), ['parent-kill-cascade'])\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":"0e28c7c793074932f23803aceac0fbce281d703db2f73f0119b2c61297bab062","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if not set(d['parents'].values())<=set(d['declared']): errors.append('parent-resolution')\n    if any(len(x)>0 for x in d['cycles']): errors.append('lineage-cycle')\n    if not set(d['child_points'])<=set(d['parent_points']): errors.append('child-region')\n    if d['child_mut'] and not d['parent_unique']: errors.append('permission-inheritance')\n    if bool(set(d['parent_use'])&set(d['unique_child_use'])): errors.append('parent-suspension')\n    if d['child_place'][:len(d['parent_place'])]!=d['parent_place']: errors.append('place-descent')\n    if bool(set(d['bypassed'])&set(d['suspended'])): errors.append('intermediate-suspension')\n    if bool(set(d['sibling_a'])&set(d['sibling_b'])): errors.append('sibling-regions')\n    if d['ended_child'] and bool(d['ended_ancestors']): errors.append('child-end-locality')\n    if d['killed_parent'] and bool(d['surviving_descendants']): errors.append('parent-kill-cascade')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'parents': {}, 'declared': [], 'cycles': [], 'child_points': [], 'parent_points': [], 'child_mut': False, 'parent_unique': True, 'parent_use': [], 'unique_child_use': [], 'child_place': [], 'parent_place': [], 'bypassed': [], 'suspended': [], 'sibling_a': [], 'sibling_b': [], 'ended_child': False, 'ended_ancestors': [], 'killed_parent': False, 'surviving_descendants': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('parent-resolution regression 0', solve(dict(base, **({'parents':{'c':'p','d':'q'},'declared':['p']}))), ['parent-resolution'])\ncheck('parent-resolution regression 1', solve(dict(base, **({'parents':{N:'p',N+1:'q'},'declared':['p']}))), ['parent-resolution'])\ncheck('lineage-cycle regression 0', solve(dict(base, **({'cycles':[['a','b']]}))), ['lineage-cycle'])\ncheck('lineage-cycle regression 1', solve(dict(base, **({'cycles':[[N]]}))), ['lineage-cycle'])\ncheck('child-region regression 0', solve(dict(base, **({'child_points':[N],'parent_points':[N+1]}))), ['child-region'])\ncheck('child-region regression 1', solve(dict(base, **({'child_points':[N,N+1],'parent_points':[N+1,N+2]}))), ['child-region'])\ncheck('permission-inheritance regression 0', solve(dict(base, **({'child_mut':True,'parent_unique':False}))), ['permission-inheritance'])\ncheck('permission-inheritance regression 1', solve(dict(base, **({'child_mut':True,'parent_unique':False,'parent_points':list(range(N))}))), ['permission-inheritance'])\ncheck('parent-suspension regression 0', solve(dict(base, **({'parent_use':[N,N+1],'unique_child_use':[N]}))), ['parent-suspension'])\ncheck('parent-suspension regression 1', solve(dict(base, **({'parent_use':[N],'unique_child_use':[N,N+1]}))), ['parent-suspension'])\ncheck('place-descent regression 0', solve(dict(base, **({'child_place':['r','b'],'parent_place':['r','a']}))), ['place-descent'])\ncheck('place-descent regression 1', solve(dict(base, **({'child_place':['r',N+1],'parent_place':['r',N]}))), ['place-descent'])\ncheck('intermediate-suspension regression 0', solve(dict(base, **({'bypassed':['p'],'suspended':['p']}))), ['intermediate-suspension'])\ncheck('intermediate-suspension regression 1', solve(dict(base, **({'bypassed':[N],'suspended':[N]}))), ['intermediate-suspension'])\ncheck('sibling-regions regression 0', solve(dict(base, **({'sibling_a':[N,N+1],'sibling_b':[N+1]}))), ['sibling-regions'])\ncheck('sibling-regions regression 1', solve(dict(base, **({'sibling_a':[N],'sibling_b':[N,N+1]}))), ['sibling-regions'])\ncheck('child-end-locality regression 0', solve(dict(base, **({'ended_child':True,'ended_ancestors':['p']}))), ['child-end-locality'])\ncheck('child-end-locality regression 1', solve(dict(base, **({'ended_child':True,'ended_ancestors':[N]}))), ['child-end-locality'])\ncheck('parent-kill-cascade regression 0', solve(dict(base, **({'killed_parent':True,'surviving_descendants':['c']}))), ['parent-kill-cascade'])\ncheck('parent-kill-cascade regression 1', solve(dict(base, **({'killed_parent':True,'surviving_descendants':[N]}))), ['parent-kill-cascade'])\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-reborrow-lineage-parent-resolution","generated_at":"2026-09-29T14:44:00.823856+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 set(d['parents'].values())<=set(d['declared']): errors.append('parent-resolution').","root_cause":"The static analyzer mishandles parent resolution: a reborrow parent is unresolved after the first child declaration.","sha256":"54c9b0099255e57beb2ff15b4d581b17ff6d26076354234affcae619b60788a7","title":"A reborrow parent is unresolved after the first child declaration · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.199,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":[],"check":"parent-resolution regression 0","expected":["parent-resolution"],"passed":false},{"actual":[],"check":"parent-resolution regression 1","expected":["parent-resolution"],"passed":false},{"actual":["lineage-cycle"],"check":"lineage-cycle regression 0","expected":["lineage-cycle"],"passed":true},{"actual":["lineage-cycle"],"check":"lineage-cycle regression 1","expected":["lineage-cycle"],"passed":true},{"actual":["child-region"],"check":"child-region regression 0","expected":["child-region"],"passed":true},{"actual":["child-region"],"check":"child-region regression 1","expected":["child-region"],"passed":true},{"actual":["permission-inheritance"],"check":"permission-inheritance regression 0","expected":["permission-inheritance"],"passed":true},{"actual":["permission-inheritance"],"check":"permission-inheritance regression 1","expected":["permission-inheritance"],"passed":true},{"actual":["parent-suspension"],"check":"parent-suspension regression 0","expected":["parent-suspension"],"passed":true},{"actual":["parent-suspension"],"check":"parent-suspension regression 1","expected":["parent-suspension"],"passed":true},{"actual":["place-descent"],"check":"place-descent regression 0","expected":["place-descent"],"passed":true},{"actual":["place-descent"],"check":"place-descent regression 1","expected":["place-descent"],"passed":true},{"actual":["intermediate-suspension"],"check":"intermediate-suspension regression 0","expected":["intermediate-suspension"],"passed":true},{"actual":["intermediate-suspension"],"check":"intermediate-suspension regression 1","expected":["intermediate-suspension"],"passed":true},{"actual":["sibling-regions"],"check":"sibling-regions regression 0","expected":["sibling-regions"],"passed":true},{"actual":["sibling-regions"],"check":"sibling-regions regression 1","expected":["sibling-regions"],"passed":true},{"actual":["child-end-locality"],"check":"child-end-locality regression 0","expected":["child-end-locality"],"passed":true},{"actual":["child-end-locality"],"check":"child-end-locality regression 1","expected":["child-end-locality"],"passed":true},{"actual":["parent-kill-cascade"],"check":"parent-kill-cascade regression 0","expected":["parent-kill-cascade"],"passed":true},{"actual":["parent-kill-cascade"],"check":"parent-kill-cascade regression 1","expected":["parent-kill-cascade"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"parent-resolution regression 0\", \"actual\": [], \"expected\": [\"parent-resolution\"], \"passed\": false}, {\"check\": \"parent-resolution regression 1\", \"actual\": [], \"expected\": [\"parent-resolution\"], \"passed\": false}, {\"check\": \"lineage-cycle regression 0\", \"actual\": [\"lineage-cycle\"], \"expected\": [\"lineage-cycle\"], \"passed\": true}, {\"check\": \"lineage-cycle regression 1\", \"actual\": [\"lineage-cycle\"], \"expected\": [\"lineage-cycle\"], \"passed\": true}, {\"check\": \"child-region regression 0\", \"actual\": [\"child-region\"], \"expected\": [\"child-region\"], \"passed\": true}, {\"check\": \"child-region regression 1\", \"actual\": [\"child-region\"], \"expected\": [\"child-region\"], \"passed\": true}, {\"check\": \"permission-inheritance regression 0\", \"actual\": [\"permission-inheritance\"], \"expected\": [\"permission-inheritance\"], \"passed\": true}, {\"check\": \"permission-inheritance regression 1\", \"actual\": [\"permission-inheritance\"], \"expected\": [\"permission-inheritance\"], \"passed\": true}, {\"check\": \"parent-suspension regression 0\", \"actual\": [\"parent-suspension\"], \"expected\": [\"parent-suspension\"], \"passed\": true}, {\"check\": \"parent-suspension regression 1\", \"actual\": [\"parent-suspension\"], \"expected\": [\"parent-suspension\"], \"passed\": true}, {\"check\": \"place-descent regression 0\", \"actual\": [\"place-descent\"], \"expected\": [\"place-descent\"], \"passed\": true}, {\"check\": \"place-descent regression 1\", \"actual\": [\"place-descent\"], \"expected\": [\"place-descent\"], \"passed\": true}, {\"check\": \"intermediate-suspension regression 0\", \"actual\": [\"intermediate-suspension\"], \"expected\": [\"intermediate-suspension\"], \"passed\": true}, {\"check\": \"intermediate-suspension regression 1\", \"actual\": [\"intermediate-suspension\"], \"expected\": [\"intermediate-suspension\"], \"passed\": true}, {\"check\": \"sibling-regions regression 0\", \"actual\": [\"sibling-regions\"], \"expected\": [\"sibling-regions\"], \"passed\": true}, {\"check\": \"sibling-regions regression 1\", \"actual\": [\"sibling-regions\"], \"expected\": [\"sibling-regions\"], \"passed\": true}, {\"check\": \"child-end-locality regression 0\", \"actual\": [\"child-end-locality\"], \"expected\": [\"child-end-locality\"], \"passed\": true}, {\"check\": \"child-end-locality regression 1\", \"actual\": [\"child-end-locality\"], \"expected\": [\"child-end-locality\"], \"passed\": true}, {\"check\": \"parent-kill-cascade regression 0\", \"actual\": [\"parent-kill-cascade\"], \"expected\": [\"parent-kill-cascade\"], \"passed\": true}, {\"check\": \"parent-kill-cascade regression 1\", \"actual\": [\"parent-kill-cascade\"], \"expected\": [\"parent-kill-cascade\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.666,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":[],"check":"parent-resolution regression 0","expected":["parent-resolution"],"passed":false},{"actual":[],"check":"parent-resolution regression 1","expected":["parent-resolution"],"passed":false},{"actual":["lineage-cycle"],"check":"lineage-cycle regression 0","expected":["lineage-cycle"],"passed":true},{"actual":["lineage-cycle"],"check":"lineage-cycle regression 1","expected":["lineage-cycle"],"passed":true},{"actual":["child-region"],"check":"child-region regression 0","expected":["child-region"],"passed":true},{"actual":["child-region"],"check":"child-region regression 1","expected":["child-region"],"passed":true},{"actual":["permission-inheritance"],"check":"permission-inheritance regression 0","expected":["permission-inheritance"],"passed":true},{"actual":["permission-inheritance"],"check":"permission-inheritance regression 1","expected":["permission-inheritance"],"passed":true},{"actual":["parent-suspension"],"check":"parent-suspension regression 0","expected":["parent-suspension"],"passed":true},{"actual":["parent-suspension"],"check":"parent-suspension regression 1","expected":["parent-suspension"],"passed":true},{"actual":["place-descent"],"check":"place-descent regression 0","expected":["place-descent"],"passed":true},{"actual":["place-descent"],"check":"place-descent regression 1","expected":["place-descent"],"passed":true},{"actual":["intermediate-suspension"],"check":"intermediate-suspension regression 0","expected":["intermediate-suspension"],"passed":true},{"actual":["intermediate-suspension"],"check":"intermediate-suspension regression 1","expected":["intermediate-suspension"],"passed":true},{"actual":["sibling-regions"],"check":"sibling-regions regression 0","expected":["sibling-regions"],"passed":true},{"actual":["sibling-regions"],"check":"sibling-regions regression 1","expected":["sibling-regions"],"passed":true},{"actual":["child-end-locality"],"check":"child-end-locality regression 0","expected":["child-end-locality"],"passed":true},{"actual":["child-end-locality"],"check":"child-end-locality regression 1","expected":["child-end-locality"],"passed":true},{"actual":["parent-kill-cascade"],"check":"parent-kill-cascade regression 0","expected":["parent-kill-cascade"],"passed":true},{"actual":["parent-kill-cascade"],"check":"parent-kill-cascade regression 1","expected":["parent-kill-cascade"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"parent-resolution regression 0\", \"actual\": [], \"expected\": [\"parent-resolution\"], \"passed\": false}, {\"check\": \"parent-resolution regression 1\", \"actual\": [], \"expected\": [\"parent-resolution\"], \"passed\": false}, {\"check\": \"lineage-cycle regression 0\", \"actual\": [\"lineage-cycle\"], \"expected\": [\"lineage-cycle\"], \"passed\": true}, {\"check\": \"lineage-cycle regression 1\", \"actual\": [\"lineage-cycle\"], \"expected\": [\"lineage-cycle\"], \"passed\": true}, {\"check\": \"child-region regression 0\", \"actual\": [\"child-region\"], \"expected\": [\"child-region\"], \"passed\": true}, {\"check\": \"child-region regression 1\", \"actual\": [\"child-region\"], \"expected\": [\"child-region\"], \"passed\": true}, {\"check\": \"permission-inheritance regression 0\", \"actual\": [\"permission-inheritance\"], \"expected\": [\"permission-inheritance\"], \"passed\": true}, {\"check\": \"permission-inheritance regression 1\", \"actual\": [\"permission-inheritance\"], \"expected\": [\"permission-inheritance\"], \"passed\": true}, {\"check\": \"parent-suspension regression 0\", \"actual\": [\"parent-suspension\"], \"expected\": [\"parent-suspension\"], \"passed\": true}, {\"check\": \"parent-suspension regression 1\", \"actual\": [\"parent-suspension\"], \"expected\": [\"parent-suspension\"], \"passed\": true}, {\"check\": \"place-descent regression 0\", \"actual\": [\"place-descent\"], \"expected\": [\"place-descent\"], \"passed\": true}, {\"check\": \"place-descent regression 1\", \"actual\": [\"place-descent\"], \"expected\": [\"place-descent\"], \"passed\": true}, {\"check\": \"intermediate-suspension regression 0\", \"actual\": [\"intermediate-suspension\"], \"expected\": [\"intermediate-suspension\"], \"passed\": true}, {\"check\": \"intermediate-suspension regression 1\", \"actual\": [\"intermediate-suspension\"], \"expected\": [\"intermediate-suspension\"], \"passed\": true}, {\"check\": \"sibling-regions regression 0\", \"actual\": [\"sibling-regions\"], \"expected\": [\"sibling-regions\"], \"passed\": true}, {\"check\": \"sibling-regions regression 1\", \"actual\": [\"sibling-regions\"], \"expected\": [\"sibling-regions\"], \"passed\": true}, {\"check\": \"child-end-locality regression 0\", \"actual\": [\"child-end-locality\"], \"expected\": [\"child-end-locality\"], \"passed\": true}, {\"check\": \"child-end-locality regression 1\", \"actual\": [\"child-end-locality\"], \"expected\": [\"child-end-locality\"], \"passed\": true}, {\"check\": \"parent-kill-cascade regression 0\", \"actual\": [\"parent-kill-cascade\"], \"expected\": [\"parent-kill-cascade\"], \"passed\": true}, {\"check\": \"parent-kill-cascade regression 1\", \"actual\": [\"parent-kill-cascade\"], \"expected\": [\"parent-kill-cascade\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.899,"exit_code":0,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["parent-resolution"],"check":"parent-resolution regression 0","expected":["parent-resolution"],"passed":true},{"actual":["parent-resolution"],"check":"parent-resolution regression 1","expected":["parent-resolution"],"passed":true},{"actual":["lineage-cycle"],"check":"lineage-cycle regression 0","expected":["lineage-cycle"],"passed":true},{"actual":["lineage-cycle"],"check":"lineage-cycle regression 1","expected":["lineage-cycle"],"passed":true},{"actual":["child-region"],"check":"child-region regression 0","expected":["child-region"],"passed":true},{"actual":["child-region"],"check":"child-region regression 1","expected":["child-region"],"passed":true},{"actual":["permission-inheritance"],"check":"permission-inheritance regression 0","expected":["permission-inheritance"],"passed":true},{"actual":["permission-inheritance"],"check":"permission-inheritance regression 1","expected":["permission-inheritance"],"passed":true},{"actual":["parent-suspension"],"check":"parent-suspension regression 0","expected":["parent-suspension"],"passed":true},{"actual":["parent-suspension"],"check":"parent-suspension regression 1","expected":["parent-suspension"],"passed":true},{"actual":["place-descent"],"check":"place-descent regression 0","expected":["place-descent"],"passed":true},{"actual":["place-descent"],"check":"place-descent regression 1","expected":["place-descent"],"passed":true},{"actual":["intermediate-suspension"],"check":"intermediate-suspension regression 0","expected":["intermediate-suspension"],"passed":true},{"actual":["intermediate-suspension"],"check":"intermediate-suspension regression 1","expected":["intermediate-suspension"],"passed":true},{"actual":["sibling-regions"],"check":"sibling-regions regression 0","expected":["sibling-regions"],"passed":true},{"actual":["sibling-regions"],"check":"sibling-regions regression 1","expected":["sibling-regions"],"passed":true},{"actual":["child-end-locality"],"check":"child-end-locality regression 0","expected":["child-end-locality"],"passed":true},{"actual":["child-end-locality"],"check":"child-end-locality regression 1","expected":["child-end-locality"],"passed":true},{"actual":["parent-kill-cascade"],"check":"parent-kill-cascade regression 0","expected":["parent-kill-cascade"],"passed":true},{"actual":["parent-kill-cascade"],"check":"parent-kill-cascade regression 1","expected":["parent-kill-cascade"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"parent-resolution regression 0\", \"actual\": [\"parent-resolution\"], \"expected\": [\"parent-resolution\"], \"passed\": true}, {\"check\": \"parent-resolution regression 1\", \"actual\": [\"parent-resolution\"], \"expected\": [\"parent-resolution\"], \"passed\": true}, {\"check\": \"lineage-cycle regression 0\", \"actual\": [\"lineage-cycle\"], \"expected\": [\"lineage-cycle\"], \"passed\": true}, {\"check\": \"lineage-cycle regression 1\", \"actual\": [\"lineage-cycle\"], \"expected\": [\"lineage-cycle\"], \"passed\": true}, {\"check\": \"child-region regression 0\", \"actual\": [\"child-region\"], \"expected\": [\"child-region\"], \"passed\": true}, {\"check\": \"child-region regression 1\", \"actual\": [\"child-region\"], \"expected\": [\"child-region\"], \"passed\": true}, {\"check\": \"permission-inheritance regression 0\", \"actual\": [\"permission-inheritance\"], \"expected\": [\"permission-inheritance\"], \"passed\": true}, {\"check\": \"permission-inheritance regression 1\", \"actual\": [\"permission-inheritance\"], \"expected\": [\"permission-inheritance\"], \"passed\": true}, {\"check\": \"parent-suspension regression 0\", \"actual\": [\"parent-suspension\"], \"expected\": [\"parent-suspension\"], \"passed\": true}, {\"check\": \"parent-suspension regression 1\", \"actual\": [\"parent-suspension\"], \"expected\": [\"parent-suspension\"], \"passed\": true}, {\"check\": \"place-descent regression 0\", \"actual\": [\"place-descent\"], \"expected\": [\"place-descent\"], \"passed\": true}, {\"check\": \"place-descent regression 1\", \"actual\": [\"place-descent\"], \"expected\": [\"place-descent\"], \"passed\": true}, {\"check\": \"intermediate-suspension regression 0\", \"actual\": [\"intermediate-suspension\"], \"expected\": [\"intermediate-suspension\"], \"passed\": true}, {\"check\": \"intermediate-suspension regression 1\", \"actual\": [\"intermediate-suspension\"], \"expected\": [\"intermediate-suspension\"], \"passed\": true}, {\"check\": \"sibling-regions regression 0\", \"actual\": [\"sibling-regions\"], \"expected\": [\"sibling-regions\"], \"passed\": true}, {\"check\": \"sibling-regions regression 1\", \"actual\": [\"sibling-regions\"], \"expected\": [\"sibling-regions\"], \"passed\": true}, {\"check\": \"child-end-locality regression 0\", \"actual\": [\"child-end-locality\"], \"expected\": [\"child-end-locality\"], \"passed\": true}, {\"check\": \"child-end-locality regression 1\", \"actual\": [\"child-end-locality\"], \"expected\": [\"child-end-locality\"], \"passed\": true}, {\"check\": \"parent-kill-cascade regression 0\", \"actual\": [\"parent-kill-cascade\"], \"expected\": [\"parent-kill-cascade\"], \"passed\": true}, {\"check\": \"parent-kill-cascade regression 1\", \"actual\": [\"parent-kill-cascade\"], \"expected\": [\"parent-kill-cascade\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}