{"abstract":"Postmatch ownership state omits a reachable arm.","category":"Borrow checking","checks":21,"contract":"Check borrow state across guarded matches. Guard failure restores prearm ownership; guard evaluation cannot move a noncopy scrutinee; arm-local loans end before another arm; guard mutation cannot change a discriminant supporting a projected borrow; arm move commits only after guard success; pattern tests are shared observations; exhaustive join includes every reachable arm; nonexhaustive matches retain fallback state; guard temporaries die on failed guard; a borrowed binding used by guard remains valid through guard expression. 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-match-guard-borrows","failed_approach":"The partial repair uses if not d['joined'] and bool(d['arms']): errors.append('reachable-arm-join'), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-match-guard-borrows-reachable-arm-join","id":"FA-43871","implementations":{"attempt":{"sha256":"aa9c6af0019a02f43f71a46dc7018c9766d40236fa13da6fa7db1d7d2e0490cc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['guard_failed'] and set(d['pre_owned'])!=set(d['after_owned']): errors.append('failed-guard-restore')\n    if not set(d['guard_moves'])<=set(d['copyable']): errors.append('guard-move')\n    if bool(set(d['arm_local'])&set(d['next_arm_live'])): errors.append('arm-local-end')\n    if d['discriminant_mutated'] and d['projected_loan']: errors.append('discriminant-stability')\n    if not d['guard_succeeded'] and bool(d['committed_moves']): errors.append('move-commit-point')\n    if d['test_unique']: errors.append('pattern-test-capability')\n    if not d['joined'] and bool(d['arms']): errors.append('reachable-arm-join')\n    if not d['exhaustive'] and not d['fallback_included']: errors.append('fallback-state')\n    if bool(set(d['guard_temps'])&set(d['failed_guard_live'])): errors.append('failed-guard-temporaries')\n    if d['binding_end']<d['guard_end']: errors.append('binding-guard-duration')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'guard_failed': False, 'pre_owned': [], 'after_owned': [], 'guard_moves': [], 'copyable': [], 'arm_local': [], 'next_arm_live': [], 'discriminant_mutated': False, 'projected_loan': False, 'guard_succeeded': True, 'committed_moves': [], 'test_unique': False, 'arms': [], 'joined': [], 'exhaustive': True, 'fallback_included': True, 'guard_temps': [], 'failed_guard_live': [], 'guard_end': 0, 'binding_end': 0}\ncheck('well formed empty obligations',solve(base),[])\ncheck('failed-guard-restore regression 0', solve(dict(base, **({'guard_failed':True,'pre_owned':['x']}))), ['failed-guard-restore'])\ncheck('failed-guard-restore regression 1', solve(dict(base, **({'guard_failed':True,'pre_owned':[N],'after_owned':[]}))), ['failed-guard-restore'])\ncheck('guard-move regression 0', solve(dict(base, **({'guard_moves':['a','b'],'copyable':['a']}))), ['guard-move'])\ncheck('guard-move regression 1', solve(dict(base, **({'guard_moves':[N,N+1],'copyable':[N]}))), ['guard-move'])\ncheck('arm-local-end regression 0', solve(dict(base, **({'arm_local':['r'],'next_arm_live':['r']}))), ['arm-local-end'])\ncheck('arm-local-end regression 1', solve(dict(base, **({'arm_local':[N],'next_arm_live':[N]}))), ['arm-local-end'])\ncheck('discriminant-stability regression 0', solve(dict(base, **({'discriminant_mutated':True,'projected_loan':True}))), ['discriminant-stability'])\ncheck('discriminant-stability regression 1', solve(dict(base, **({'discriminant_mutated':True,'projected_loan':True,'guard_end':N,'binding_end':N}))), ['discriminant-stability'])\ncheck('move-commit-point regression 0', solve(dict(base, **({'guard_succeeded':False,'committed_moves':['x']}))), ['move-commit-point'])\ncheck('move-commit-point regression 1', solve(dict(base, **({'guard_succeeded':False,'committed_moves':[N]}))), ['move-commit-point'])\ncheck('pattern-test-capability regression 0', solve(dict(base, **({'test_unique':True}))), ['pattern-test-capability'])\ncheck('pattern-test-capability regression 1', solve(dict(base, **({'test_unique':True,'guard_end':N,'binding_end':N}))), ['pattern-test-capability'])\ncheck('reachable-arm-join regression 0', solve(dict(base, **({'arms':['a','b'],'joined':['a']}))), ['reachable-arm-join'])\ncheck('reachable-arm-join regression 1', solve(dict(base, **({'arms':list(range(N+1)),'joined':[0]}))), ['reachable-arm-join'])\ncheck('fallback-state regression 0', solve(dict(base, **({'exhaustive':False,'fallback_included':False,'arms':['a'],'joined':['a']}))), ['fallback-state'])\ncheck('fallback-state regression 1', solve(dict(base, **({'exhaustive':False,'fallback_included':False,'arms':[N],'joined':[N]}))), ['fallback-state'])\ncheck('failed-guard-temporaries regression 0', solve(dict(base, **({'guard_temps':['a','b'],'failed_guard_live':['b']}))), ['failed-guard-temporaries'])\ncheck('failed-guard-temporaries regression 1', solve(dict(base, **({'guard_temps':[N,N+1],'failed_guard_live':[N]}))), ['failed-guard-temporaries'])\ncheck('binding-guard-duration regression 0', solve(dict(base, **({'guard_end':N+1,'binding_end':N}))), ['binding-guard-duration'])\ncheck('binding-guard-duration regression 1', solve(dict(base, **({'guard_end':N+2,'binding_end':N+1}))), ['binding-guard-duration'])\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":"f3611ff43a79093d7a9d4c776551d0bf4b309bdf8abdf54721b3b2b41f15c072","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['guard_failed'] and set(d['pre_owned'])!=set(d['after_owned']): errors.append('failed-guard-restore')\n    if not set(d['guard_moves'])<=set(d['copyable']): errors.append('guard-move')\n    if bool(set(d['arm_local'])&set(d['next_arm_live'])): errors.append('arm-local-end')\n    if d['discriminant_mutated'] and d['projected_loan']: errors.append('discriminant-stability')\n    if not d['guard_succeeded'] and bool(d['committed_moves']): errors.append('move-commit-point')\n    if d['test_unique']: errors.append('pattern-test-capability')\n    if False: errors.append('reachable-arm-join')\n    if not d['exhaustive'] and not d['fallback_included']: errors.append('fallback-state')\n    if bool(set(d['guard_temps'])&set(d['failed_guard_live'])): errors.append('failed-guard-temporaries')\n    if d['binding_end']<d['guard_end']: errors.append('binding-guard-duration')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'guard_failed': False, 'pre_owned': [], 'after_owned': [], 'guard_moves': [], 'copyable': [], 'arm_local': [], 'next_arm_live': [], 'discriminant_mutated': False, 'projected_loan': False, 'guard_succeeded': True, 'committed_moves': [], 'test_unique': False, 'arms': [], 'joined': [], 'exhaustive': True, 'fallback_included': True, 'guard_temps': [], 'failed_guard_live': [], 'guard_end': 0, 'binding_end': 0}\ncheck('well formed empty obligations',solve(base),[])\ncheck('failed-guard-restore regression 0', solve(dict(base, **({'guard_failed':True,'pre_owned':['x']}))), ['failed-guard-restore'])\ncheck('failed-guard-restore regression 1', solve(dict(base, **({'guard_failed':True,'pre_owned':[N],'after_owned':[]}))), ['failed-guard-restore'])\ncheck('guard-move regression 0', solve(dict(base, **({'guard_moves':['a','b'],'copyable':['a']}))), ['guard-move'])\ncheck('guard-move regression 1', solve(dict(base, **({'guard_moves':[N,N+1],'copyable':[N]}))), ['guard-move'])\ncheck('arm-local-end regression 0', solve(dict(base, **({'arm_local':['r'],'next_arm_live':['r']}))), ['arm-local-end'])\ncheck('arm-local-end regression 1', solve(dict(base, **({'arm_local':[N],'next_arm_live':[N]}))), ['arm-local-end'])\ncheck('discriminant-stability regression 0', solve(dict(base, **({'discriminant_mutated':True,'projected_loan':True}))), ['discriminant-stability'])\ncheck('discriminant-stability regression 1', solve(dict(base, **({'discriminant_mutated':True,'projected_loan':True,'guard_end':N,'binding_end':N}))), ['discriminant-stability'])\ncheck('move-commit-point regression 0', solve(dict(base, **({'guard_succeeded':False,'committed_moves':['x']}))), ['move-commit-point'])\ncheck('move-commit-point regression 1', solve(dict(base, **({'guard_succeeded':False,'committed_moves':[N]}))), ['move-commit-point'])\ncheck('pattern-test-capability regression 0', solve(dict(base, **({'test_unique':True}))), ['pattern-test-capability'])\ncheck('pattern-test-capability regression 1', solve(dict(base, **({'test_unique':True,'guard_end':N,'binding_end':N}))), ['pattern-test-capability'])\ncheck('reachable-arm-join regression 0', solve(dict(base, **({'arms':['a','b'],'joined':['a']}))), ['reachable-arm-join'])\ncheck('reachable-arm-join regression 1', solve(dict(base, **({'arms':list(range(N+1)),'joined':[0]}))), ['reachable-arm-join'])\ncheck('fallback-state regression 0', solve(dict(base, **({'exhaustive':False,'fallback_included':False,'arms':['a'],'joined':['a']}))), ['fallback-state'])\ncheck('fallback-state regression 1', solve(dict(base, **({'exhaustive':False,'fallback_included':False,'arms':[N],'joined':[N]}))), ['fallback-state'])\ncheck('failed-guard-temporaries regression 0', solve(dict(base, **({'guard_temps':['a','b'],'failed_guard_live':['b']}))), ['failed-guard-temporaries'])\ncheck('failed-guard-temporaries regression 1', solve(dict(base, **({'guard_temps':[N,N+1],'failed_guard_live':[N]}))), ['failed-guard-temporaries'])\ncheck('binding-guard-duration regression 0', solve(dict(base, **({'guard_end':N+1,'binding_end':N}))), ['binding-guard-duration'])\ncheck('binding-guard-duration regression 1', solve(dict(base, **({'guard_end':N+2,'binding_end':N+1}))), ['binding-guard-duration'])\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":"c944e527f1b55447c63d66e45f0a56b71cf4fcf18c04433c7bd7b7848be6e516","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['guard_failed'] and set(d['pre_owned'])!=set(d['after_owned']): errors.append('failed-guard-restore')\n    if not set(d['guard_moves'])<=set(d['copyable']): errors.append('guard-move')\n    if bool(set(d['arm_local'])&set(d['next_arm_live'])): errors.append('arm-local-end')\n    if d['discriminant_mutated'] and d['projected_loan']: errors.append('discriminant-stability')\n    if not d['guard_succeeded'] and bool(d['committed_moves']): errors.append('move-commit-point')\n    if d['test_unique']: errors.append('pattern-test-capability')\n    if not set(d['arms'])<=set(d['joined']): errors.append('reachable-arm-join')\n    if not d['exhaustive'] and not d['fallback_included']: errors.append('fallback-state')\n    if bool(set(d['guard_temps'])&set(d['failed_guard_live'])): errors.append('failed-guard-temporaries')\n    if d['binding_end']<d['guard_end']: errors.append('binding-guard-duration')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'guard_failed': False, 'pre_owned': [], 'after_owned': [], 'guard_moves': [], 'copyable': [], 'arm_local': [], 'next_arm_live': [], 'discriminant_mutated': False, 'projected_loan': False, 'guard_succeeded': True, 'committed_moves': [], 'test_unique': False, 'arms': [], 'joined': [], 'exhaustive': True, 'fallback_included': True, 'guard_temps': [], 'failed_guard_live': [], 'guard_end': 0, 'binding_end': 0}\ncheck('well formed empty obligations',solve(base),[])\ncheck('failed-guard-restore regression 0', solve(dict(base, **({'guard_failed':True,'pre_owned':['x']}))), ['failed-guard-restore'])\ncheck('failed-guard-restore regression 1', solve(dict(base, **({'guard_failed':True,'pre_owned':[N],'after_owned':[]}))), ['failed-guard-restore'])\ncheck('guard-move regression 0', solve(dict(base, **({'guard_moves':['a','b'],'copyable':['a']}))), ['guard-move'])\ncheck('guard-move regression 1', solve(dict(base, **({'guard_moves':[N,N+1],'copyable':[N]}))), ['guard-move'])\ncheck('arm-local-end regression 0', solve(dict(base, **({'arm_local':['r'],'next_arm_live':['r']}))), ['arm-local-end'])\ncheck('arm-local-end regression 1', solve(dict(base, **({'arm_local':[N],'next_arm_live':[N]}))), ['arm-local-end'])\ncheck('discriminant-stability regression 0', solve(dict(base, **({'discriminant_mutated':True,'projected_loan':True}))), ['discriminant-stability'])\ncheck('discriminant-stability regression 1', solve(dict(base, **({'discriminant_mutated':True,'projected_loan':True,'guard_end':N,'binding_end':N}))), ['discriminant-stability'])\ncheck('move-commit-point regression 0', solve(dict(base, **({'guard_succeeded':False,'committed_moves':['x']}))), ['move-commit-point'])\ncheck('move-commit-point regression 1', solve(dict(base, **({'guard_succeeded':False,'committed_moves':[N]}))), ['move-commit-point'])\ncheck('pattern-test-capability regression 0', solve(dict(base, **({'test_unique':True}))), ['pattern-test-capability'])\ncheck('pattern-test-capability regression 1', solve(dict(base, **({'test_unique':True,'guard_end':N,'binding_end':N}))), ['pattern-test-capability'])\ncheck('reachable-arm-join regression 0', solve(dict(base, **({'arms':['a','b'],'joined':['a']}))), ['reachable-arm-join'])\ncheck('reachable-arm-join regression 1', solve(dict(base, **({'arms':list(range(N+1)),'joined':[0]}))), ['reachable-arm-join'])\ncheck('fallback-state regression 0', solve(dict(base, **({'exhaustive':False,'fallback_included':False,'arms':['a'],'joined':['a']}))), ['fallback-state'])\ncheck('fallback-state regression 1', solve(dict(base, **({'exhaustive':False,'fallback_included':False,'arms':[N],'joined':[N]}))), ['fallback-state'])\ncheck('failed-guard-temporaries regression 0', solve(dict(base, **({'guard_temps':['a','b'],'failed_guard_live':['b']}))), ['failed-guard-temporaries'])\ncheck('failed-guard-temporaries regression 1', solve(dict(base, **({'guard_temps':[N,N+1],'failed_guard_live':[N]}))), ['failed-guard-temporaries'])\ncheck('binding-guard-duration regression 0', solve(dict(base, **({'guard_end':N+1,'binding_end':N}))), ['binding-guard-duration'])\ncheck('binding-guard-duration regression 1', solve(dict(base, **({'guard_end':N+2,'binding_end':N+1}))), ['binding-guard-duration'])\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-match-guard-borrows-reachable-arm-join","generated_at":"2026-09-29T14:44:06.447930+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['arms'])<=set(d['joined']): errors.append('reachable-arm-join').","root_cause":"The static analyzer mishandles reachable arm join: postmatch ownership state omits a reachable arm.","sha256":"b3cf87a9095e28e647692b36c18e131345f6f58e507617d0d4bb33b22da86691","title":"Postmatch ownership state omits a reachable arm · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.067,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["failed-guard-restore"],"check":"failed-guard-restore regression 0","expected":["failed-guard-restore"],"passed":true},{"actual":["failed-guard-restore"],"check":"failed-guard-restore regression 1","expected":["failed-guard-restore"],"passed":true},{"actual":["guard-move"],"check":"guard-move regression 0","expected":["guard-move"],"passed":true},{"actual":["guard-move"],"check":"guard-move regression 1","expected":["guard-move"],"passed":true},{"actual":["arm-local-end"],"check":"arm-local-end regression 0","expected":["arm-local-end"],"passed":true},{"actual":["arm-local-end"],"check":"arm-local-end regression 1","expected":["arm-local-end"],"passed":true},{"actual":["discriminant-stability"],"check":"discriminant-stability regression 0","expected":["discriminant-stability"],"passed":true},{"actual":["discriminant-stability"],"check":"discriminant-stability regression 1","expected":["discriminant-stability"],"passed":true},{"actual":["move-commit-point"],"check":"move-commit-point regression 0","expected":["move-commit-point"],"passed":true},{"actual":["move-commit-point"],"check":"move-commit-point regression 1","expected":["move-commit-point"],"passed":true},{"actual":["pattern-test-capability"],"check":"pattern-test-capability regression 0","expected":["pattern-test-capability"],"passed":true},{"actual":["pattern-test-capability"],"check":"pattern-test-capability regression 1","expected":["pattern-test-capability"],"passed":true},{"actual":[],"check":"reachable-arm-join regression 0","expected":["reachable-arm-join"],"passed":false},{"actual":[],"check":"reachable-arm-join regression 1","expected":["reachable-arm-join"],"passed":false},{"actual":["fallback-state"],"check":"fallback-state regression 0","expected":["fallback-state"],"passed":true},{"actual":["fallback-state"],"check":"fallback-state regression 1","expected":["fallback-state"],"passed":true},{"actual":["failed-guard-temporaries"],"check":"failed-guard-temporaries regression 0","expected":["failed-guard-temporaries"],"passed":true},{"actual":["failed-guard-temporaries"],"check":"failed-guard-temporaries regression 1","expected":["failed-guard-temporaries"],"passed":true},{"actual":["binding-guard-duration"],"check":"binding-guard-duration regression 0","expected":["binding-guard-duration"],"passed":true},{"actual":["binding-guard-duration"],"check":"binding-guard-duration regression 1","expected":["binding-guard-duration"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"failed-guard-restore regression 0\", \"actual\": [\"failed-guard-restore\"], \"expected\": [\"failed-guard-restore\"], \"passed\": true}, {\"check\": \"failed-guard-restore regression 1\", \"actual\": [\"failed-guard-restore\"], \"expected\": [\"failed-guard-restore\"], \"passed\": true}, {\"check\": \"guard-move regression 0\", \"actual\": [\"guard-move\"], \"expected\": [\"guard-move\"], \"passed\": true}, {\"check\": \"guard-move regression 1\", \"actual\": [\"guard-move\"], \"expected\": [\"guard-move\"], \"passed\": true}, {\"check\": \"arm-local-end regression 0\", \"actual\": [\"arm-local-end\"], \"expected\": [\"arm-local-end\"], \"passed\": true}, {\"check\": \"arm-local-end regression 1\", \"actual\": [\"arm-local-end\"], \"expected\": [\"arm-local-end\"], \"passed\": true}, {\"check\": \"discriminant-stability regression 0\", \"actual\": [\"discriminant-stability\"], \"expected\": [\"discriminant-stability\"], \"passed\": true}, {\"check\": \"discriminant-stability regression 1\", \"actual\": [\"discriminant-stability\"], \"expected\": [\"discriminant-stability\"], \"passed\": true}, {\"check\": \"move-commit-point regression 0\", \"actual\": [\"move-commit-point\"], \"expected\": [\"move-commit-point\"], \"passed\": true}, {\"check\": \"move-commit-point regression 1\", \"actual\": [\"move-commit-point\"], \"expected\": [\"move-commit-point\"], \"passed\": true}, {\"check\": \"pattern-test-capability regression 0\", \"actual\": [\"pattern-test-capability\"], \"expected\": [\"pattern-test-capability\"], \"passed\": true}, {\"check\": \"pattern-test-capability regression 1\", \"actual\": [\"pattern-test-capability\"], \"expected\": [\"pattern-test-capability\"], \"passed\": true}, {\"check\": \"reachable-arm-join regression 0\", \"actual\": [], \"expected\": [\"reachable-arm-join\"], \"passed\": false}, {\"check\": \"reachable-arm-join regression 1\", \"actual\": [], \"expected\": [\"reachable-arm-join\"], \"passed\": false}, {\"check\": \"fallback-state regression 0\", \"actual\": [\"fallback-state\"], \"expected\": [\"fallback-state\"], \"passed\": true}, {\"check\": \"fallback-state regression 1\", \"actual\": [\"fallback-state\"], \"expected\": [\"fallback-state\"], \"passed\": true}, {\"check\": \"failed-guard-temporaries regression 0\", \"actual\": [\"failed-guard-temporaries\"], \"expected\": [\"failed-guard-temporaries\"], \"passed\": true}, {\"check\": \"failed-guard-temporaries regression 1\", \"actual\": [\"failed-guard-temporaries\"], \"expected\": [\"failed-guard-temporaries\"], \"passed\": true}, {\"check\": \"binding-guard-duration regression 0\", \"actual\": [\"binding-guard-duration\"], \"expected\": [\"binding-guard-duration\"], \"passed\": true}, {\"check\": \"binding-guard-duration regression 1\", \"actual\": [\"binding-guard-duration\"], \"expected\": [\"binding-guard-duration\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.467,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["failed-guard-restore"],"check":"failed-guard-restore regression 0","expected":["failed-guard-restore"],"passed":true},{"actual":["failed-guard-restore"],"check":"failed-guard-restore regression 1","expected":["failed-guard-restore"],"passed":true},{"actual":["guard-move"],"check":"guard-move regression 0","expected":["guard-move"],"passed":true},{"actual":["guard-move"],"check":"guard-move regression 1","expected":["guard-move"],"passed":true},{"actual":["arm-local-end"],"check":"arm-local-end regression 0","expected":["arm-local-end"],"passed":true},{"actual":["arm-local-end"],"check":"arm-local-end regression 1","expected":["arm-local-end"],"passed":true},{"actual":["discriminant-stability"],"check":"discriminant-stability regression 0","expected":["discriminant-stability"],"passed":true},{"actual":["discriminant-stability"],"check":"discriminant-stability regression 1","expected":["discriminant-stability"],"passed":true},{"actual":["move-commit-point"],"check":"move-commit-point regression 0","expected":["move-commit-point"],"passed":true},{"actual":["move-commit-point"],"check":"move-commit-point regression 1","expected":["move-commit-point"],"passed":true},{"actual":["pattern-test-capability"],"check":"pattern-test-capability regression 0","expected":["pattern-test-capability"],"passed":true},{"actual":["pattern-test-capability"],"check":"pattern-test-capability regression 1","expected":["pattern-test-capability"],"passed":true},{"actual":[],"check":"reachable-arm-join regression 0","expected":["reachable-arm-join"],"passed":false},{"actual":[],"check":"reachable-arm-join regression 1","expected":["reachable-arm-join"],"passed":false},{"actual":["fallback-state"],"check":"fallback-state regression 0","expected":["fallback-state"],"passed":true},{"actual":["fallback-state"],"check":"fallback-state regression 1","expected":["fallback-state"],"passed":true},{"actual":["failed-guard-temporaries"],"check":"failed-guard-temporaries regression 0","expected":["failed-guard-temporaries"],"passed":true},{"actual":["failed-guard-temporaries"],"check":"failed-guard-temporaries regression 1","expected":["failed-guard-temporaries"],"passed":true},{"actual":["binding-guard-duration"],"check":"binding-guard-duration regression 0","expected":["binding-guard-duration"],"passed":true},{"actual":["binding-guard-duration"],"check":"binding-guard-duration regression 1","expected":["binding-guard-duration"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"failed-guard-restore regression 0\", \"actual\": [\"failed-guard-restore\"], \"expected\": [\"failed-guard-restore\"], \"passed\": true}, {\"check\": \"failed-guard-restore regression 1\", \"actual\": [\"failed-guard-restore\"], \"expected\": [\"failed-guard-restore\"], \"passed\": true}, {\"check\": \"guard-move regression 0\", \"actual\": [\"guard-move\"], \"expected\": [\"guard-move\"], \"passed\": true}, {\"check\": \"guard-move regression 1\", \"actual\": [\"guard-move\"], \"expected\": [\"guard-move\"], \"passed\": true}, {\"check\": \"arm-local-end regression 0\", \"actual\": [\"arm-local-end\"], \"expected\": [\"arm-local-end\"], \"passed\": true}, {\"check\": \"arm-local-end regression 1\", \"actual\": [\"arm-local-end\"], \"expected\": [\"arm-local-end\"], \"passed\": true}, {\"check\": \"discriminant-stability regression 0\", \"actual\": [\"discriminant-stability\"], \"expected\": [\"discriminant-stability\"], \"passed\": true}, {\"check\": \"discriminant-stability regression 1\", \"actual\": [\"discriminant-stability\"], \"expected\": [\"discriminant-stability\"], \"passed\": true}, {\"check\": \"move-commit-point regression 0\", \"actual\": [\"move-commit-point\"], \"expected\": [\"move-commit-point\"], \"passed\": true}, {\"check\": \"move-commit-point regression 1\", \"actual\": [\"move-commit-point\"], \"expected\": [\"move-commit-point\"], \"passed\": true}, {\"check\": \"pattern-test-capability regression 0\", \"actual\": [\"pattern-test-capability\"], \"expected\": [\"pattern-test-capability\"], \"passed\": true}, {\"check\": \"pattern-test-capability regression 1\", \"actual\": [\"pattern-test-capability\"], \"expected\": [\"pattern-test-capability\"], \"passed\": true}, {\"check\": \"reachable-arm-join regression 0\", \"actual\": [], \"expected\": [\"reachable-arm-join\"], \"passed\": false}, {\"check\": \"reachable-arm-join regression 1\", \"actual\": [], \"expected\": [\"reachable-arm-join\"], \"passed\": false}, {\"check\": \"fallback-state regression 0\", \"actual\": [\"fallback-state\"], \"expected\": [\"fallback-state\"], \"passed\": true}, {\"check\": \"fallback-state regression 1\", \"actual\": [\"fallback-state\"], \"expected\": [\"fallback-state\"], \"passed\": true}, {\"check\": \"failed-guard-temporaries regression 0\", \"actual\": [\"failed-guard-temporaries\"], \"expected\": [\"failed-guard-temporaries\"], \"passed\": true}, {\"check\": \"failed-guard-temporaries regression 1\", \"actual\": [\"failed-guard-temporaries\"], \"expected\": [\"failed-guard-temporaries\"], \"passed\": true}, {\"check\": \"binding-guard-duration regression 0\", \"actual\": [\"binding-guard-duration\"], \"expected\": [\"binding-guard-duration\"], \"passed\": true}, {\"check\": \"binding-guard-duration regression 1\", \"actual\": [\"binding-guard-duration\"], \"expected\": [\"binding-guard-duration\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.514,"exit_code":0,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["failed-guard-restore"],"check":"failed-guard-restore regression 0","expected":["failed-guard-restore"],"passed":true},{"actual":["failed-guard-restore"],"check":"failed-guard-restore regression 1","expected":["failed-guard-restore"],"passed":true},{"actual":["guard-move"],"check":"guard-move regression 0","expected":["guard-move"],"passed":true},{"actual":["guard-move"],"check":"guard-move regression 1","expected":["guard-move"],"passed":true},{"actual":["arm-local-end"],"check":"arm-local-end regression 0","expected":["arm-local-end"],"passed":true},{"actual":["arm-local-end"],"check":"arm-local-end regression 1","expected":["arm-local-end"],"passed":true},{"actual":["discriminant-stability"],"check":"discriminant-stability regression 0","expected":["discriminant-stability"],"passed":true},{"actual":["discriminant-stability"],"check":"discriminant-stability regression 1","expected":["discriminant-stability"],"passed":true},{"actual":["move-commit-point"],"check":"move-commit-point regression 0","expected":["move-commit-point"],"passed":true},{"actual":["move-commit-point"],"check":"move-commit-point regression 1","expected":["move-commit-point"],"passed":true},{"actual":["pattern-test-capability"],"check":"pattern-test-capability regression 0","expected":["pattern-test-capability"],"passed":true},{"actual":["pattern-test-capability"],"check":"pattern-test-capability regression 1","expected":["pattern-test-capability"],"passed":true},{"actual":["reachable-arm-join"],"check":"reachable-arm-join regression 0","expected":["reachable-arm-join"],"passed":true},{"actual":["reachable-arm-join"],"check":"reachable-arm-join regression 1","expected":["reachable-arm-join"],"passed":true},{"actual":["fallback-state"],"check":"fallback-state regression 0","expected":["fallback-state"],"passed":true},{"actual":["fallback-state"],"check":"fallback-state regression 1","expected":["fallback-state"],"passed":true},{"actual":["failed-guard-temporaries"],"check":"failed-guard-temporaries regression 0","expected":["failed-guard-temporaries"],"passed":true},{"actual":["failed-guard-temporaries"],"check":"failed-guard-temporaries regression 1","expected":["failed-guard-temporaries"],"passed":true},{"actual":["binding-guard-duration"],"check":"binding-guard-duration regression 0","expected":["binding-guard-duration"],"passed":true},{"actual":["binding-guard-duration"],"check":"binding-guard-duration regression 1","expected":["binding-guard-duration"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"failed-guard-restore regression 0\", \"actual\": [\"failed-guard-restore\"], \"expected\": [\"failed-guard-restore\"], \"passed\": true}, {\"check\": \"failed-guard-restore regression 1\", \"actual\": [\"failed-guard-restore\"], \"expected\": [\"failed-guard-restore\"], \"passed\": true}, {\"check\": \"guard-move regression 0\", \"actual\": [\"guard-move\"], \"expected\": [\"guard-move\"], \"passed\": true}, {\"check\": \"guard-move regression 1\", \"actual\": [\"guard-move\"], \"expected\": [\"guard-move\"], \"passed\": true}, {\"check\": \"arm-local-end regression 0\", \"actual\": [\"arm-local-end\"], \"expected\": [\"arm-local-end\"], \"passed\": true}, {\"check\": \"arm-local-end regression 1\", \"actual\": [\"arm-local-end\"], \"expected\": [\"arm-local-end\"], \"passed\": true}, {\"check\": \"discriminant-stability regression 0\", \"actual\": [\"discriminant-stability\"], \"expected\": [\"discriminant-stability\"], \"passed\": true}, {\"check\": \"discriminant-stability regression 1\", \"actual\": [\"discriminant-stability\"], \"expected\": [\"discriminant-stability\"], \"passed\": true}, {\"check\": \"move-commit-point regression 0\", \"actual\": [\"move-commit-point\"], \"expected\": [\"move-commit-point\"], \"passed\": true}, {\"check\": \"move-commit-point regression 1\", \"actual\": [\"move-commit-point\"], \"expected\": [\"move-commit-point\"], \"passed\": true}, {\"check\": \"pattern-test-capability regression 0\", \"actual\": [\"pattern-test-capability\"], \"expected\": [\"pattern-test-capability\"], \"passed\": true}, {\"check\": \"pattern-test-capability regression 1\", \"actual\": [\"pattern-test-capability\"], \"expected\": [\"pattern-test-capability\"], \"passed\": true}, {\"check\": \"reachable-arm-join regression 0\", \"actual\": [\"reachable-arm-join\"], \"expected\": [\"reachable-arm-join\"], \"passed\": true}, {\"check\": \"reachable-arm-join regression 1\", \"actual\": [\"reachable-arm-join\"], \"expected\": [\"reachable-arm-join\"], \"passed\": true}, {\"check\": \"fallback-state regression 0\", \"actual\": [\"fallback-state\"], \"expected\": [\"fallback-state\"], \"passed\": true}, {\"check\": \"fallback-state regression 1\", \"actual\": [\"fallback-state\"], \"expected\": [\"fallback-state\"], \"passed\": true}, {\"check\": \"failed-guard-temporaries regression 0\", \"actual\": [\"failed-guard-temporaries\"], \"expected\": [\"failed-guard-temporaries\"], \"passed\": true}, {\"check\": \"failed-guard-temporaries regression 1\", \"actual\": [\"failed-guard-temporaries\"], \"expected\": [\"failed-guard-temporaries\"], \"passed\": true}, {\"check\": \"binding-guard-duration regression 0\", \"actual\": [\"binding-guard-duration\"], \"expected\": [\"binding-guard-duration\"], \"passed\": true}, {\"check\": \"binding-guard-duration regression 1\", \"actual\": [\"binding-guard-duration\"], \"expected\": [\"binding-guard-duration\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}