{"abstract":"Continuation argument lowering transfers one owned value twice.","category":"Borrow checking","checks":21,"contract":"Check a one-shot continuation calculus with borrowed captures. A continuation resumes at most once; abort releases captures; escaping continuation may not borrow its capturing stack; cloning continuation cannot duplicate unique captures; resumption restores suspended loans; captured owner must survive resumed body; continuation argument ownership is transferred once; nested handler cannot release outer captures; unwound continuation invalidates frame-local reference results; resumed result origin must be among the continuation declared return origins. 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-linear-continuation-borrows","failed_approach":"The partial repair uses if len(d['argument_transfers'])>2 and len(d['argument_transfers'])!=len(set(d['argument_transfers'])): errors.append('argument-transfer-once'), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-linear-continuation-borrows-argument-transfer-once","id":"FA-44171","implementations":{"attempt":{"sha256":"243cbc167ade2d8b6a99328932ca7d56d3c4a2d48b666cec38d5793bc701a546","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['resume_count']>1: errors.append('one-shot-resume')\n    if d['aborted'] and bool(d['capture_live']): errors.append('abort-capture-release')\n    if d['escapes'] and bool(d['stack_captures']): errors.append('escape-capture-stack')\n    if d['cloned'] and bool(d['unique_captures']): errors.append('clone-unique-capture')\n    if not set(d['suspended'])<=set(d['restored']): errors.append('resume-loan-restore')\n    if d['resumed_end']>d['owner_end']: errors.append('captured-owner-duration')\n    if len(d['argument_transfers'])>2 and len(d['argument_transfers'])!=len(set(d['argument_transfers'])): errors.append('argument-transfer-once')\n    if bool(set(d['outer_captures'])&set(d['released'])): errors.append('handler-capture-boundary')\n    if d['unwound'] and bool(d['frame_results']): errors.append('unwind-frame-result')\n    if not set(d['result_origins'])<=set(d['declared_returns']): errors.append('continuation-return-summary')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'resume_count': 0, 'aborted': False, 'capture_live': [], 'escapes': False, 'stack_captures': [], 'cloned': False, 'unique_captures': [], 'suspended': [], 'restored': [], 'owner_end': 0, 'resumed_end': 0, 'argument_transfers': [], 'outer_captures': [], 'released': [], 'unwound': False, 'frame_results': [], 'result_origins': [], 'declared_returns': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('one-shot-resume regression 0', solve(dict(base, **({'resume_count':2}))), ['one-shot-resume'])\ncheck('one-shot-resume regression 1', solve(dict(base, **({'resume_count':2,'owner_end':N,'resumed_end':N}))), ['one-shot-resume'])\ncheck('abort-capture-release regression 0', solve(dict(base, **({'aborted':True,'capture_live':['r']}))), ['abort-capture-release'])\ncheck('abort-capture-release regression 1', solve(dict(base, **({'aborted':True,'capture_live':[N]}))), ['abort-capture-release'])\ncheck('escape-capture-stack regression 0', solve(dict(base, **({'escapes':True,'stack_captures':['r']}))), ['escape-capture-stack'])\ncheck('escape-capture-stack regression 1', solve(dict(base, **({'escapes':True,'stack_captures':[N]}))), ['escape-capture-stack'])\ncheck('clone-unique-capture regression 0', solve(dict(base, **({'cloned':True,'unique_captures':['r']}))), ['clone-unique-capture'])\ncheck('clone-unique-capture regression 1', solve(dict(base, **({'cloned':True,'unique_captures':[N]}))), ['clone-unique-capture'])\ncheck('resume-loan-restore regression 0', solve(dict(base, **({'suspended':['a','b'],'restored':['a']}))), ['resume-loan-restore'])\ncheck('resume-loan-restore regression 1', solve(dict(base, **({'suspended':[N,N+1],'restored':[N]}))), ['resume-loan-restore'])\ncheck('captured-owner-duration regression 0', solve(dict(base, **({'resumed_end':N+1,'owner_end':N}))), ['captured-owner-duration'])\ncheck('captured-owner-duration regression 1', solve(dict(base, **({'resumed_end':N+2,'owner_end':N+1}))), ['captured-owner-duration'])\ncheck('argument-transfer-once regression 0', solve(dict(base, **({'argument_transfers':['x','x']}))), ['argument-transfer-once'])\ncheck('argument-transfer-once regression 1', solve(dict(base, **({'argument_transfers':[N,N]}))), ['argument-transfer-once'])\ncheck('handler-capture-boundary regression 0', solve(dict(base, **({'outer_captures':['r'],'released':['r']}))), ['handler-capture-boundary'])\ncheck('handler-capture-boundary regression 1', solve(dict(base, **({'outer_captures':[N],'released':[N]}))), ['handler-capture-boundary'])\ncheck('unwind-frame-result regression 0', solve(dict(base, **({'unwound':True,'frame_results':['r']}))), ['unwind-frame-result'])\ncheck('unwind-frame-result regression 1', solve(dict(base, **({'unwound':True,'frame_results':[N]}))), ['unwind-frame-result'])\ncheck('continuation-return-summary regression 0', solve(dict(base, **({'result_origins':['a','b'],'declared_returns':['a']}))), ['continuation-return-summary'])\ncheck('continuation-return-summary regression 1', solve(dict(base, **({'result_origins':[N,N+1],'declared_returns':[N]}))), ['continuation-return-summary'])\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":"c126bc8c6a3166f71a8c60bb9407e14f9ce1ec51cfebc5b3bc4430cfd6694d2b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['resume_count']>1: errors.append('one-shot-resume')\n    if d['aborted'] and bool(d['capture_live']): errors.append('abort-capture-release')\n    if d['escapes'] and bool(d['stack_captures']): errors.append('escape-capture-stack')\n    if d['cloned'] and bool(d['unique_captures']): errors.append('clone-unique-capture')\n    if not set(d['suspended'])<=set(d['restored']): errors.append('resume-loan-restore')\n    if d['resumed_end']>d['owner_end']: errors.append('captured-owner-duration')\n    if False: errors.append('argument-transfer-once')\n    if bool(set(d['outer_captures'])&set(d['released'])): errors.append('handler-capture-boundary')\n    if d['unwound'] and bool(d['frame_results']): errors.append('unwind-frame-result')\n    if not set(d['result_origins'])<=set(d['declared_returns']): errors.append('continuation-return-summary')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'resume_count': 0, 'aborted': False, 'capture_live': [], 'escapes': False, 'stack_captures': [], 'cloned': False, 'unique_captures': [], 'suspended': [], 'restored': [], 'owner_end': 0, 'resumed_end': 0, 'argument_transfers': [], 'outer_captures': [], 'released': [], 'unwound': False, 'frame_results': [], 'result_origins': [], 'declared_returns': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('one-shot-resume regression 0', solve(dict(base, **({'resume_count':2}))), ['one-shot-resume'])\ncheck('one-shot-resume regression 1', solve(dict(base, **({'resume_count':2,'owner_end':N,'resumed_end':N}))), ['one-shot-resume'])\ncheck('abort-capture-release regression 0', solve(dict(base, **({'aborted':True,'capture_live':['r']}))), ['abort-capture-release'])\ncheck('abort-capture-release regression 1', solve(dict(base, **({'aborted':True,'capture_live':[N]}))), ['abort-capture-release'])\ncheck('escape-capture-stack regression 0', solve(dict(base, **({'escapes':True,'stack_captures':['r']}))), ['escape-capture-stack'])\ncheck('escape-capture-stack regression 1', solve(dict(base, **({'escapes':True,'stack_captures':[N]}))), ['escape-capture-stack'])\ncheck('clone-unique-capture regression 0', solve(dict(base, **({'cloned':True,'unique_captures':['r']}))), ['clone-unique-capture'])\ncheck('clone-unique-capture regression 1', solve(dict(base, **({'cloned':True,'unique_captures':[N]}))), ['clone-unique-capture'])\ncheck('resume-loan-restore regression 0', solve(dict(base, **({'suspended':['a','b'],'restored':['a']}))), ['resume-loan-restore'])\ncheck('resume-loan-restore regression 1', solve(dict(base, **({'suspended':[N,N+1],'restored':[N]}))), ['resume-loan-restore'])\ncheck('captured-owner-duration regression 0', solve(dict(base, **({'resumed_end':N+1,'owner_end':N}))), ['captured-owner-duration'])\ncheck('captured-owner-duration regression 1', solve(dict(base, **({'resumed_end':N+2,'owner_end':N+1}))), ['captured-owner-duration'])\ncheck('argument-transfer-once regression 0', solve(dict(base, **({'argument_transfers':['x','x']}))), ['argument-transfer-once'])\ncheck('argument-transfer-once regression 1', solve(dict(base, **({'argument_transfers':[N,N]}))), ['argument-transfer-once'])\ncheck('handler-capture-boundary regression 0', solve(dict(base, **({'outer_captures':['r'],'released':['r']}))), ['handler-capture-boundary'])\ncheck('handler-capture-boundary regression 1', solve(dict(base, **({'outer_captures':[N],'released':[N]}))), ['handler-capture-boundary'])\ncheck('unwind-frame-result regression 0', solve(dict(base, **({'unwound':True,'frame_results':['r']}))), ['unwind-frame-result'])\ncheck('unwind-frame-result regression 1', solve(dict(base, **({'unwound':True,'frame_results':[N]}))), ['unwind-frame-result'])\ncheck('continuation-return-summary regression 0', solve(dict(base, **({'result_origins':['a','b'],'declared_returns':['a']}))), ['continuation-return-summary'])\ncheck('continuation-return-summary regression 1', solve(dict(base, **({'result_origins':[N,N+1],'declared_returns':[N]}))), ['continuation-return-summary'])\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":"e613f1e6b3e0ea60caf3a012866b3dad1fb79f384ff7314d160c6525e37b03ad","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['resume_count']>1: errors.append('one-shot-resume')\n    if d['aborted'] and bool(d['capture_live']): errors.append('abort-capture-release')\n    if d['escapes'] and bool(d['stack_captures']): errors.append('escape-capture-stack')\n    if d['cloned'] and bool(d['unique_captures']): errors.append('clone-unique-capture')\n    if not set(d['suspended'])<=set(d['restored']): errors.append('resume-loan-restore')\n    if d['resumed_end']>d['owner_end']: errors.append('captured-owner-duration')\n    if len(d['argument_transfers'])!=len(set(d['argument_transfers'])): errors.append('argument-transfer-once')\n    if bool(set(d['outer_captures'])&set(d['released'])): errors.append('handler-capture-boundary')\n    if d['unwound'] and bool(d['frame_results']): errors.append('unwind-frame-result')\n    if not set(d['result_origins'])<=set(d['declared_returns']): errors.append('continuation-return-summary')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'resume_count': 0, 'aborted': False, 'capture_live': [], 'escapes': False, 'stack_captures': [], 'cloned': False, 'unique_captures': [], 'suspended': [], 'restored': [], 'owner_end': 0, 'resumed_end': 0, 'argument_transfers': [], 'outer_captures': [], 'released': [], 'unwound': False, 'frame_results': [], 'result_origins': [], 'declared_returns': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('one-shot-resume regression 0', solve(dict(base, **({'resume_count':2}))), ['one-shot-resume'])\ncheck('one-shot-resume regression 1', solve(dict(base, **({'resume_count':2,'owner_end':N,'resumed_end':N}))), ['one-shot-resume'])\ncheck('abort-capture-release regression 0', solve(dict(base, **({'aborted':True,'capture_live':['r']}))), ['abort-capture-release'])\ncheck('abort-capture-release regression 1', solve(dict(base, **({'aborted':True,'capture_live':[N]}))), ['abort-capture-release'])\ncheck('escape-capture-stack regression 0', solve(dict(base, **({'escapes':True,'stack_captures':['r']}))), ['escape-capture-stack'])\ncheck('escape-capture-stack regression 1', solve(dict(base, **({'escapes':True,'stack_captures':[N]}))), ['escape-capture-stack'])\ncheck('clone-unique-capture regression 0', solve(dict(base, **({'cloned':True,'unique_captures':['r']}))), ['clone-unique-capture'])\ncheck('clone-unique-capture regression 1', solve(dict(base, **({'cloned':True,'unique_captures':[N]}))), ['clone-unique-capture'])\ncheck('resume-loan-restore regression 0', solve(dict(base, **({'suspended':['a','b'],'restored':['a']}))), ['resume-loan-restore'])\ncheck('resume-loan-restore regression 1', solve(dict(base, **({'suspended':[N,N+1],'restored':[N]}))), ['resume-loan-restore'])\ncheck('captured-owner-duration regression 0', solve(dict(base, **({'resumed_end':N+1,'owner_end':N}))), ['captured-owner-duration'])\ncheck('captured-owner-duration regression 1', solve(dict(base, **({'resumed_end':N+2,'owner_end':N+1}))), ['captured-owner-duration'])\ncheck('argument-transfer-once regression 0', solve(dict(base, **({'argument_transfers':['x','x']}))), ['argument-transfer-once'])\ncheck('argument-transfer-once regression 1', solve(dict(base, **({'argument_transfers':[N,N]}))), ['argument-transfer-once'])\ncheck('handler-capture-boundary regression 0', solve(dict(base, **({'outer_captures':['r'],'released':['r']}))), ['handler-capture-boundary'])\ncheck('handler-capture-boundary regression 1', solve(dict(base, **({'outer_captures':[N],'released':[N]}))), ['handler-capture-boundary'])\ncheck('unwind-frame-result regression 0', solve(dict(base, **({'unwound':True,'frame_results':['r']}))), ['unwind-frame-result'])\ncheck('unwind-frame-result regression 1', solve(dict(base, **({'unwound':True,'frame_results':[N]}))), ['unwind-frame-result'])\ncheck('continuation-return-summary regression 0', solve(dict(base, **({'result_origins':['a','b'],'declared_returns':['a']}))), ['continuation-return-summary'])\ncheck('continuation-return-summary regression 1', solve(dict(base, **({'result_origins':[N,N+1],'declared_returns':[N]}))), ['continuation-return-summary'])\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-linear-continuation-borrows-argument-transfer-once","generated_at":"2026-09-29T14:44:09.585748+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 len(d['argument_transfers'])!=len(set(d['argument_transfers'])): errors.append('argument-transfer-once').","root_cause":"The static analyzer mishandles argument transfer once: continuation argument lowering transfers one owned value twice.","sha256":"2ab2910956dc1ddb6fc84ef2a454ae896b47f5ac0de67b37b2d61acc2c6962f7","title":"Continuation argument lowering transfers one owned value twice · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":51.3,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["one-shot-resume"],"check":"one-shot-resume regression 0","expected":["one-shot-resume"],"passed":true},{"actual":["one-shot-resume"],"check":"one-shot-resume regression 1","expected":["one-shot-resume"],"passed":true},{"actual":["abort-capture-release"],"check":"abort-capture-release regression 0","expected":["abort-capture-release"],"passed":true},{"actual":["abort-capture-release"],"check":"abort-capture-release regression 1","expected":["abort-capture-release"],"passed":true},{"actual":["escape-capture-stack"],"check":"escape-capture-stack regression 0","expected":["escape-capture-stack"],"passed":true},{"actual":["escape-capture-stack"],"check":"escape-capture-stack regression 1","expected":["escape-capture-stack"],"passed":true},{"actual":["clone-unique-capture"],"check":"clone-unique-capture regression 0","expected":["clone-unique-capture"],"passed":true},{"actual":["clone-unique-capture"],"check":"clone-unique-capture regression 1","expected":["clone-unique-capture"],"passed":true},{"actual":["resume-loan-restore"],"check":"resume-loan-restore regression 0","expected":["resume-loan-restore"],"passed":true},{"actual":["resume-loan-restore"],"check":"resume-loan-restore regression 1","expected":["resume-loan-restore"],"passed":true},{"actual":["captured-owner-duration"],"check":"captured-owner-duration regression 0","expected":["captured-owner-duration"],"passed":true},{"actual":["captured-owner-duration"],"check":"captured-owner-duration regression 1","expected":["captured-owner-duration"],"passed":true},{"actual":[],"check":"argument-transfer-once regression 0","expected":["argument-transfer-once"],"passed":false},{"actual":[],"check":"argument-transfer-once regression 1","expected":["argument-transfer-once"],"passed":false},{"actual":["handler-capture-boundary"],"check":"handler-capture-boundary regression 0","expected":["handler-capture-boundary"],"passed":true},{"actual":["handler-capture-boundary"],"check":"handler-capture-boundary regression 1","expected":["handler-capture-boundary"],"passed":true},{"actual":["unwind-frame-result"],"check":"unwind-frame-result regression 0","expected":["unwind-frame-result"],"passed":true},{"actual":["unwind-frame-result"],"check":"unwind-frame-result regression 1","expected":["unwind-frame-result"],"passed":true},{"actual":["continuation-return-summary"],"check":"continuation-return-summary regression 0","expected":["continuation-return-summary"],"passed":true},{"actual":["continuation-return-summary"],"check":"continuation-return-summary regression 1","expected":["continuation-return-summary"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"one-shot-resume regression 0\", \"actual\": [\"one-shot-resume\"], \"expected\": [\"one-shot-resume\"], \"passed\": true}, {\"check\": \"one-shot-resume regression 1\", \"actual\": [\"one-shot-resume\"], \"expected\": [\"one-shot-resume\"], \"passed\": true}, {\"check\": \"abort-capture-release regression 0\", \"actual\": [\"abort-capture-release\"], \"expected\": [\"abort-capture-release\"], \"passed\": true}, {\"check\": \"abort-capture-release regression 1\", \"actual\": [\"abort-capture-release\"], \"expected\": [\"abort-capture-release\"], \"passed\": true}, {\"check\": \"escape-capture-stack regression 0\", \"actual\": [\"escape-capture-stack\"], \"expected\": [\"escape-capture-stack\"], \"passed\": true}, {\"check\": \"escape-capture-stack regression 1\", \"actual\": [\"escape-capture-stack\"], \"expected\": [\"escape-capture-stack\"], \"passed\": true}, {\"check\": \"clone-unique-capture regression 0\", \"actual\": [\"clone-unique-capture\"], \"expected\": [\"clone-unique-capture\"], \"passed\": true}, {\"check\": \"clone-unique-capture regression 1\", \"actual\": [\"clone-unique-capture\"], \"expected\": [\"clone-unique-capture\"], \"passed\": true}, {\"check\": \"resume-loan-restore regression 0\", \"actual\": [\"resume-loan-restore\"], \"expected\": [\"resume-loan-restore\"], \"passed\": true}, {\"check\": \"resume-loan-restore regression 1\", \"actual\": [\"resume-loan-restore\"], \"expected\": [\"resume-loan-restore\"], \"passed\": true}, {\"check\": \"captured-owner-duration regression 0\", \"actual\": [\"captured-owner-duration\"], \"expected\": [\"captured-owner-duration\"], \"passed\": true}, {\"check\": \"captured-owner-duration regression 1\", \"actual\": [\"captured-owner-duration\"], \"expected\": [\"captured-owner-duration\"], \"passed\": true}, {\"check\": \"argument-transfer-once regression 0\", \"actual\": [], \"expected\": [\"argument-transfer-once\"], \"passed\": false}, {\"check\": \"argument-transfer-once regression 1\", \"actual\": [], \"expected\": [\"argument-transfer-once\"], \"passed\": false}, {\"check\": \"handler-capture-boundary regression 0\", \"actual\": [\"handler-capture-boundary\"], \"expected\": [\"handler-capture-boundary\"], \"passed\": true}, {\"check\": \"handler-capture-boundary regression 1\", \"actual\": [\"handler-capture-boundary\"], \"expected\": [\"handler-capture-boundary\"], \"passed\": true}, {\"check\": \"unwind-frame-result regression 0\", \"actual\": [\"unwind-frame-result\"], \"expected\": [\"unwind-frame-result\"], \"passed\": true}, {\"check\": \"unwind-frame-result regression 1\", \"actual\": [\"unwind-frame-result\"], \"expected\": [\"unwind-frame-result\"], \"passed\": true}, {\"check\": \"continuation-return-summary regression 0\", \"actual\": [\"continuation-return-summary\"], \"expected\": [\"continuation-return-summary\"], \"passed\": true}, {\"check\": \"continuation-return-summary regression 1\", \"actual\": [\"continuation-return-summary\"], \"expected\": [\"continuation-return-summary\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":50.561,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["one-shot-resume"],"check":"one-shot-resume regression 0","expected":["one-shot-resume"],"passed":true},{"actual":["one-shot-resume"],"check":"one-shot-resume regression 1","expected":["one-shot-resume"],"passed":true},{"actual":["abort-capture-release"],"check":"abort-capture-release regression 0","expected":["abort-capture-release"],"passed":true},{"actual":["abort-capture-release"],"check":"abort-capture-release regression 1","expected":["abort-capture-release"],"passed":true},{"actual":["escape-capture-stack"],"check":"escape-capture-stack regression 0","expected":["escape-capture-stack"],"passed":true},{"actual":["escape-capture-stack"],"check":"escape-capture-stack regression 1","expected":["escape-capture-stack"],"passed":true},{"actual":["clone-unique-capture"],"check":"clone-unique-capture regression 0","expected":["clone-unique-capture"],"passed":true},{"actual":["clone-unique-capture"],"check":"clone-unique-capture regression 1","expected":["clone-unique-capture"],"passed":true},{"actual":["resume-loan-restore"],"check":"resume-loan-restore regression 0","expected":["resume-loan-restore"],"passed":true},{"actual":["resume-loan-restore"],"check":"resume-loan-restore regression 1","expected":["resume-loan-restore"],"passed":true},{"actual":["captured-owner-duration"],"check":"captured-owner-duration regression 0","expected":["captured-owner-duration"],"passed":true},{"actual":["captured-owner-duration"],"check":"captured-owner-duration regression 1","expected":["captured-owner-duration"],"passed":true},{"actual":[],"check":"argument-transfer-once regression 0","expected":["argument-transfer-once"],"passed":false},{"actual":[],"check":"argument-transfer-once regression 1","expected":["argument-transfer-once"],"passed":false},{"actual":["handler-capture-boundary"],"check":"handler-capture-boundary regression 0","expected":["handler-capture-boundary"],"passed":true},{"actual":["handler-capture-boundary"],"check":"handler-capture-boundary regression 1","expected":["handler-capture-boundary"],"passed":true},{"actual":["unwind-frame-result"],"check":"unwind-frame-result regression 0","expected":["unwind-frame-result"],"passed":true},{"actual":["unwind-frame-result"],"check":"unwind-frame-result regression 1","expected":["unwind-frame-result"],"passed":true},{"actual":["continuation-return-summary"],"check":"continuation-return-summary regression 0","expected":["continuation-return-summary"],"passed":true},{"actual":["continuation-return-summary"],"check":"continuation-return-summary regression 1","expected":["continuation-return-summary"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"one-shot-resume regression 0\", \"actual\": [\"one-shot-resume\"], \"expected\": [\"one-shot-resume\"], \"passed\": true}, {\"check\": \"one-shot-resume regression 1\", \"actual\": [\"one-shot-resume\"], \"expected\": [\"one-shot-resume\"], \"passed\": true}, {\"check\": \"abort-capture-release regression 0\", \"actual\": [\"abort-capture-release\"], \"expected\": [\"abort-capture-release\"], \"passed\": true}, {\"check\": \"abort-capture-release regression 1\", \"actual\": [\"abort-capture-release\"], \"expected\": [\"abort-capture-release\"], \"passed\": true}, {\"check\": \"escape-capture-stack regression 0\", \"actual\": [\"escape-capture-stack\"], \"expected\": [\"escape-capture-stack\"], \"passed\": true}, {\"check\": \"escape-capture-stack regression 1\", \"actual\": [\"escape-capture-stack\"], \"expected\": [\"escape-capture-stack\"], \"passed\": true}, {\"check\": \"clone-unique-capture regression 0\", \"actual\": [\"clone-unique-capture\"], \"expected\": [\"clone-unique-capture\"], \"passed\": true}, {\"check\": \"clone-unique-capture regression 1\", \"actual\": [\"clone-unique-capture\"], \"expected\": [\"clone-unique-capture\"], \"passed\": true}, {\"check\": \"resume-loan-restore regression 0\", \"actual\": [\"resume-loan-restore\"], \"expected\": [\"resume-loan-restore\"], \"passed\": true}, {\"check\": \"resume-loan-restore regression 1\", \"actual\": [\"resume-loan-restore\"], \"expected\": [\"resume-loan-restore\"], \"passed\": true}, {\"check\": \"captured-owner-duration regression 0\", \"actual\": [\"captured-owner-duration\"], \"expected\": [\"captured-owner-duration\"], \"passed\": true}, {\"check\": \"captured-owner-duration regression 1\", \"actual\": [\"captured-owner-duration\"], \"expected\": [\"captured-owner-duration\"], \"passed\": true}, {\"check\": \"argument-transfer-once regression 0\", \"actual\": [], \"expected\": [\"argument-transfer-once\"], \"passed\": false}, {\"check\": \"argument-transfer-once regression 1\", \"actual\": [], \"expected\": [\"argument-transfer-once\"], \"passed\": false}, {\"check\": \"handler-capture-boundary regression 0\", \"actual\": [\"handler-capture-boundary\"], \"expected\": [\"handler-capture-boundary\"], \"passed\": true}, {\"check\": \"handler-capture-boundary regression 1\", \"actual\": [\"handler-capture-boundary\"], \"expected\": [\"handler-capture-boundary\"], \"passed\": true}, {\"check\": \"unwind-frame-result regression 0\", \"actual\": [\"unwind-frame-result\"], \"expected\": [\"unwind-frame-result\"], \"passed\": true}, {\"check\": \"unwind-frame-result regression 1\", \"actual\": [\"unwind-frame-result\"], \"expected\": [\"unwind-frame-result\"], \"passed\": true}, {\"check\": \"continuation-return-summary regression 0\", \"actual\": [\"continuation-return-summary\"], \"expected\": [\"continuation-return-summary\"], \"passed\": true}, {\"check\": \"continuation-return-summary regression 1\", \"actual\": [\"continuation-return-summary\"], \"expected\": [\"continuation-return-summary\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":50.526,"exit_code":0,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["one-shot-resume"],"check":"one-shot-resume regression 0","expected":["one-shot-resume"],"passed":true},{"actual":["one-shot-resume"],"check":"one-shot-resume regression 1","expected":["one-shot-resume"],"passed":true},{"actual":["abort-capture-release"],"check":"abort-capture-release regression 0","expected":["abort-capture-release"],"passed":true},{"actual":["abort-capture-release"],"check":"abort-capture-release regression 1","expected":["abort-capture-release"],"passed":true},{"actual":["escape-capture-stack"],"check":"escape-capture-stack regression 0","expected":["escape-capture-stack"],"passed":true},{"actual":["escape-capture-stack"],"check":"escape-capture-stack regression 1","expected":["escape-capture-stack"],"passed":true},{"actual":["clone-unique-capture"],"check":"clone-unique-capture regression 0","expected":["clone-unique-capture"],"passed":true},{"actual":["clone-unique-capture"],"check":"clone-unique-capture regression 1","expected":["clone-unique-capture"],"passed":true},{"actual":["resume-loan-restore"],"check":"resume-loan-restore regression 0","expected":["resume-loan-restore"],"passed":true},{"actual":["resume-loan-restore"],"check":"resume-loan-restore regression 1","expected":["resume-loan-restore"],"passed":true},{"actual":["captured-owner-duration"],"check":"captured-owner-duration regression 0","expected":["captured-owner-duration"],"passed":true},{"actual":["captured-owner-duration"],"check":"captured-owner-duration regression 1","expected":["captured-owner-duration"],"passed":true},{"actual":["argument-transfer-once"],"check":"argument-transfer-once regression 0","expected":["argument-transfer-once"],"passed":true},{"actual":["argument-transfer-once"],"check":"argument-transfer-once regression 1","expected":["argument-transfer-once"],"passed":true},{"actual":["handler-capture-boundary"],"check":"handler-capture-boundary regression 0","expected":["handler-capture-boundary"],"passed":true},{"actual":["handler-capture-boundary"],"check":"handler-capture-boundary regression 1","expected":["handler-capture-boundary"],"passed":true},{"actual":["unwind-frame-result"],"check":"unwind-frame-result regression 0","expected":["unwind-frame-result"],"passed":true},{"actual":["unwind-frame-result"],"check":"unwind-frame-result regression 1","expected":["unwind-frame-result"],"passed":true},{"actual":["continuation-return-summary"],"check":"continuation-return-summary regression 0","expected":["continuation-return-summary"],"passed":true},{"actual":["continuation-return-summary"],"check":"continuation-return-summary regression 1","expected":["continuation-return-summary"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"one-shot-resume regression 0\", \"actual\": [\"one-shot-resume\"], \"expected\": [\"one-shot-resume\"], \"passed\": true}, {\"check\": \"one-shot-resume regression 1\", \"actual\": [\"one-shot-resume\"], \"expected\": [\"one-shot-resume\"], \"passed\": true}, {\"check\": \"abort-capture-release regression 0\", \"actual\": [\"abort-capture-release\"], \"expected\": [\"abort-capture-release\"], \"passed\": true}, {\"check\": \"abort-capture-release regression 1\", \"actual\": [\"abort-capture-release\"], \"expected\": [\"abort-capture-release\"], \"passed\": true}, {\"check\": \"escape-capture-stack regression 0\", \"actual\": [\"escape-capture-stack\"], \"expected\": [\"escape-capture-stack\"], \"passed\": true}, {\"check\": \"escape-capture-stack regression 1\", \"actual\": [\"escape-capture-stack\"], \"expected\": [\"escape-capture-stack\"], \"passed\": true}, {\"check\": \"clone-unique-capture regression 0\", \"actual\": [\"clone-unique-capture\"], \"expected\": [\"clone-unique-capture\"], \"passed\": true}, {\"check\": \"clone-unique-capture regression 1\", \"actual\": [\"clone-unique-capture\"], \"expected\": [\"clone-unique-capture\"], \"passed\": true}, {\"check\": \"resume-loan-restore regression 0\", \"actual\": [\"resume-loan-restore\"], \"expected\": [\"resume-loan-restore\"], \"passed\": true}, {\"check\": \"resume-loan-restore regression 1\", \"actual\": [\"resume-loan-restore\"], \"expected\": [\"resume-loan-restore\"], \"passed\": true}, {\"check\": \"captured-owner-duration regression 0\", \"actual\": [\"captured-owner-duration\"], \"expected\": [\"captured-owner-duration\"], \"passed\": true}, {\"check\": \"captured-owner-duration regression 1\", \"actual\": [\"captured-owner-duration\"], \"expected\": [\"captured-owner-duration\"], \"passed\": true}, {\"check\": \"argument-transfer-once regression 0\", \"actual\": [\"argument-transfer-once\"], \"expected\": [\"argument-transfer-once\"], \"passed\": true}, {\"check\": \"argument-transfer-once regression 1\", \"actual\": [\"argument-transfer-once\"], \"expected\": [\"argument-transfer-once\"], \"passed\": true}, {\"check\": \"handler-capture-boundary regression 0\", \"actual\": [\"handler-capture-boundary\"], \"expected\": [\"handler-capture-boundary\"], \"passed\": true}, {\"check\": \"handler-capture-boundary regression 1\", \"actual\": [\"handler-capture-boundary\"], \"expected\": [\"handler-capture-boundary\"], \"passed\": true}, {\"check\": \"unwind-frame-result regression 0\", \"actual\": [\"unwind-frame-result\"], \"expected\": [\"unwind-frame-result\"], \"passed\": true}, {\"check\": \"unwind-frame-result regression 1\", \"actual\": [\"unwind-frame-result\"], \"expected\": [\"unwind-frame-result\"], \"passed\": true}, {\"check\": \"continuation-return-summary regression 0\", \"actual\": [\"continuation-return-summary\"], \"expected\": [\"continuation-return-summary\"], \"passed\": true}, {\"check\": \"continuation-return-summary regression 1\", \"actual\": [\"continuation-return-summary\"], \"expected\": [\"continuation-return-summary\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}