{"abstract":"Generic lifetime arguments are substituted into the wrong parameter positions.","category":"Borrow checking","checks":21,"contract":"Check generic borrow-summary instantiation. Generic lifetime arguments match parameter arity; parameter substitution is positional; repeated occurrences substitute consistently; recursive instantiation uses each callee actual mapping; static lifetime is not substituted; inferred anonymous lifetimes are fresh per call; where-outlives obligations instantiated in declared direction; associated lifetime applications include all type arguments; recursive summary fixed point cannot be accepted while new obligations remain; monomorphized reference types retain lifetime proof metadata. 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-region-polymorphism","failed_approach":"The partial repair uses if set(d['expected_mapping'])!=set(d['actual_mapping']): errors.append('positional-substitution'), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-region-polymorphism-positional-substitution","id":"FA-44196","implementations":{"attempt":{"sha256":"442632cda0e2b4c040135b935229e2fa558c77af91777148b0e4342379f901a1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if len(d['params'])!=len(d['args']): errors.append('lifetime-arity')\n    if set(d['expected_mapping'])!=set(d['actual_mapping']): errors.append('positional-substitution')\n    if any(len(set(xs))>1 for xs in d['occurrences'].values()): errors.append('repeated-substitution')\n    if d['recursive_expected']!=d['recursive_actual']: errors.append('recursive-actual-map')\n    if d['static_before']!=d['static_after']: errors.append('static-preservation')\n    if len(d['anonymous_calls'])==len(d['anonymous_ids']) and len(set(d['anonymous_ids']))!=len(d['anonymous_ids']): errors.append('anonymous-freshness')\n    if set(map(tuple,d['expected_outlives']))!=set(map(tuple,d['actual_outlives'])): errors.append('where-direction')\n    if d['associated_args']!=d['recorded_args']: errors.append('associated-arguments')\n    if d['accepted'] and bool(d['pending']): errors.append('summary-fixed-point')\n    if not set(d['reference_types'])<=set(d['proof_metadata']): errors.append('erased-proof-metadata')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'params': [], 'args': [], 'expected_mapping': {}, 'actual_mapping': {}, 'occurrences': {}, 'recursive_expected': {}, 'recursive_actual': {}, 'static_before': None, 'static_after': None, 'anonymous_calls': [], 'anonymous_ids': [], 'expected_outlives': [], 'actual_outlives': [], 'associated_args': [], 'recorded_args': [], 'pending': [], 'accepted': False, 'reference_types': [], 'proof_metadata': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('lifetime-arity regression 0', solve(dict(base, **({'params':['a'],'args':['x','y']}))), ['lifetime-arity'])\ncheck('lifetime-arity regression 1', solve(dict(base, **({'params':[N],'args':[N,N+1]}))), ['lifetime-arity'])\ncheck('positional-substitution regression 0', solve(dict(base, **({'expected_mapping':{'a':'x','b':'y'},'actual_mapping':{'a':'y','b':'x'}}))), ['positional-substitution'])\ncheck('positional-substitution regression 1', solve(dict(base, **({'expected_mapping':{'a':N,'b':N+1},'actual_mapping':{'a':N+1,'b':N}}))), ['positional-substitution'])\ncheck('repeated-substitution regression 0', solve(dict(base, **({'occurrences':{'a':['x','y']}}))), ['repeated-substitution'])\ncheck('repeated-substitution regression 1', solve(dict(base, **({'occurrences':{'a':[N,N+1]}}))), ['repeated-substitution'])\ncheck('recursive-actual-map regression 0', solve(dict(base, **({'recursive_expected':{'call':'b'},'recursive_actual':{'call':'a'}}))), ['recursive-actual-map'])\ncheck('recursive-actual-map regression 1', solve(dict(base, **({'recursive_expected':{'call':N+1},'recursive_actual':{'call':N}}))), ['recursive-actual-map'])\ncheck('static-preservation regression 0', solve(dict(base, **({'static_before':'static','static_after':'a'}))), ['static-preservation'])\ncheck('static-preservation regression 1', solve(dict(base, **({'static_before':'static','static_after':N}))), ['static-preservation'])\ncheck('anonymous-freshness regression 0', solve(dict(base, **({'anonymous_calls':['c1','c2'],'anonymous_ids':['r','r']}))), ['anonymous-freshness'])\ncheck('anonymous-freshness regression 1', solve(dict(base, **({'anonymous_calls':[N,N+1],'anonymous_ids':[0,0]}))), ['anonymous-freshness'])\ncheck('where-direction regression 0', solve(dict(base, **({'expected_outlives':[('a','b')],'actual_outlives':[('b','a')]}))), ['where-direction'])\ncheck('where-direction regression 1', solve(dict(base, **({'expected_outlives':[(N,N+1)],'actual_outlives':[(N+1,N)]}))), ['where-direction'])\ncheck('associated-arguments regression 0', solve(dict(base, **({'associated_args':['a','b'],'recorded_args':['b','a']}))), ['associated-arguments'])\ncheck('associated-arguments regression 1', solve(dict(base, **({'associated_args':[N,N+1],'recorded_args':[N+1,N]}))), ['associated-arguments'])\ncheck('summary-fixed-point regression 0', solve(dict(base, **({'accepted':True,'pending':['a']}))), ['summary-fixed-point'])\ncheck('summary-fixed-point regression 1', solve(dict(base, **({'accepted':True,'pending':[N]}))), ['summary-fixed-point'])\ncheck('erased-proof-metadata regression 0', solve(dict(base, **({'reference_types':['a','b'],'proof_metadata':['a']}))), ['erased-proof-metadata'])\ncheck('erased-proof-metadata regression 1', solve(dict(base, **({'reference_types':[N,N+1],'proof_metadata':[N]}))), ['erased-proof-metadata'])\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":"2a41f31f23a15baeae6b8f1853554803a5c9bd46b836e79462c225be49bd3b63","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if len(d['params'])!=len(d['args']): errors.append('lifetime-arity')\n    if False: errors.append('positional-substitution')\n    if any(len(set(xs))>1 for xs in d['occurrences'].values()): errors.append('repeated-substitution')\n    if d['recursive_expected']!=d['recursive_actual']: errors.append('recursive-actual-map')\n    if d['static_before']!=d['static_after']: errors.append('static-preservation')\n    if len(d['anonymous_calls'])==len(d['anonymous_ids']) and len(set(d['anonymous_ids']))!=len(d['anonymous_ids']): errors.append('anonymous-freshness')\n    if set(map(tuple,d['expected_outlives']))!=set(map(tuple,d['actual_outlives'])): errors.append('where-direction')\n    if d['associated_args']!=d['recorded_args']: errors.append('associated-arguments')\n    if d['accepted'] and bool(d['pending']): errors.append('summary-fixed-point')\n    if not set(d['reference_types'])<=set(d['proof_metadata']): errors.append('erased-proof-metadata')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'params': [], 'args': [], 'expected_mapping': {}, 'actual_mapping': {}, 'occurrences': {}, 'recursive_expected': {}, 'recursive_actual': {}, 'static_before': None, 'static_after': None, 'anonymous_calls': [], 'anonymous_ids': [], 'expected_outlives': [], 'actual_outlives': [], 'associated_args': [], 'recorded_args': [], 'pending': [], 'accepted': False, 'reference_types': [], 'proof_metadata': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('lifetime-arity regression 0', solve(dict(base, **({'params':['a'],'args':['x','y']}))), ['lifetime-arity'])\ncheck('lifetime-arity regression 1', solve(dict(base, **({'params':[N],'args':[N,N+1]}))), ['lifetime-arity'])\ncheck('positional-substitution regression 0', solve(dict(base, **({'expected_mapping':{'a':'x','b':'y'},'actual_mapping':{'a':'y','b':'x'}}))), ['positional-substitution'])\ncheck('positional-substitution regression 1', solve(dict(base, **({'expected_mapping':{'a':N,'b':N+1},'actual_mapping':{'a':N+1,'b':N}}))), ['positional-substitution'])\ncheck('repeated-substitution regression 0', solve(dict(base, **({'occurrences':{'a':['x','y']}}))), ['repeated-substitution'])\ncheck('repeated-substitution regression 1', solve(dict(base, **({'occurrences':{'a':[N,N+1]}}))), ['repeated-substitution'])\ncheck('recursive-actual-map regression 0', solve(dict(base, **({'recursive_expected':{'call':'b'},'recursive_actual':{'call':'a'}}))), ['recursive-actual-map'])\ncheck('recursive-actual-map regression 1', solve(dict(base, **({'recursive_expected':{'call':N+1},'recursive_actual':{'call':N}}))), ['recursive-actual-map'])\ncheck('static-preservation regression 0', solve(dict(base, **({'static_before':'static','static_after':'a'}))), ['static-preservation'])\ncheck('static-preservation regression 1', solve(dict(base, **({'static_before':'static','static_after':N}))), ['static-preservation'])\ncheck('anonymous-freshness regression 0', solve(dict(base, **({'anonymous_calls':['c1','c2'],'anonymous_ids':['r','r']}))), ['anonymous-freshness'])\ncheck('anonymous-freshness regression 1', solve(dict(base, **({'anonymous_calls':[N,N+1],'anonymous_ids':[0,0]}))), ['anonymous-freshness'])\ncheck('where-direction regression 0', solve(dict(base, **({'expected_outlives':[('a','b')],'actual_outlives':[('b','a')]}))), ['where-direction'])\ncheck('where-direction regression 1', solve(dict(base, **({'expected_outlives':[(N,N+1)],'actual_outlives':[(N+1,N)]}))), ['where-direction'])\ncheck('associated-arguments regression 0', solve(dict(base, **({'associated_args':['a','b'],'recorded_args':['b','a']}))), ['associated-arguments'])\ncheck('associated-arguments regression 1', solve(dict(base, **({'associated_args':[N,N+1],'recorded_args':[N+1,N]}))), ['associated-arguments'])\ncheck('summary-fixed-point regression 0', solve(dict(base, **({'accepted':True,'pending':['a']}))), ['summary-fixed-point'])\ncheck('summary-fixed-point regression 1', solve(dict(base, **({'accepted':True,'pending':[N]}))), ['summary-fixed-point'])\ncheck('erased-proof-metadata regression 0', solve(dict(base, **({'reference_types':['a','b'],'proof_metadata':['a']}))), ['erased-proof-metadata'])\ncheck('erased-proof-metadata regression 1', solve(dict(base, **({'reference_types':[N,N+1],'proof_metadata':[N]}))), ['erased-proof-metadata'])\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":"cad9ef22ae66e85a0cf9ece541118c28b4ea5b071f000a75cf09c4de239d4263","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if len(d['params'])!=len(d['args']): errors.append('lifetime-arity')\n    if d['expected_mapping']!=d['actual_mapping']: errors.append('positional-substitution')\n    if any(len(set(xs))>1 for xs in d['occurrences'].values()): errors.append('repeated-substitution')\n    if d['recursive_expected']!=d['recursive_actual']: errors.append('recursive-actual-map')\n    if d['static_before']!=d['static_after']: errors.append('static-preservation')\n    if len(d['anonymous_calls'])==len(d['anonymous_ids']) and len(set(d['anonymous_ids']))!=len(d['anonymous_ids']): errors.append('anonymous-freshness')\n    if set(map(tuple,d['expected_outlives']))!=set(map(tuple,d['actual_outlives'])): errors.append('where-direction')\n    if d['associated_args']!=d['recorded_args']: errors.append('associated-arguments')\n    if d['accepted'] and bool(d['pending']): errors.append('summary-fixed-point')\n    if not set(d['reference_types'])<=set(d['proof_metadata']): errors.append('erased-proof-metadata')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'params': [], 'args': [], 'expected_mapping': {}, 'actual_mapping': {}, 'occurrences': {}, 'recursive_expected': {}, 'recursive_actual': {}, 'static_before': None, 'static_after': None, 'anonymous_calls': [], 'anonymous_ids': [], 'expected_outlives': [], 'actual_outlives': [], 'associated_args': [], 'recorded_args': [], 'pending': [], 'accepted': False, 'reference_types': [], 'proof_metadata': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('lifetime-arity regression 0', solve(dict(base, **({'params':['a'],'args':['x','y']}))), ['lifetime-arity'])\ncheck('lifetime-arity regression 1', solve(dict(base, **({'params':[N],'args':[N,N+1]}))), ['lifetime-arity'])\ncheck('positional-substitution regression 0', solve(dict(base, **({'expected_mapping':{'a':'x','b':'y'},'actual_mapping':{'a':'y','b':'x'}}))), ['positional-substitution'])\ncheck('positional-substitution regression 1', solve(dict(base, **({'expected_mapping':{'a':N,'b':N+1},'actual_mapping':{'a':N+1,'b':N}}))), ['positional-substitution'])\ncheck('repeated-substitution regression 0', solve(dict(base, **({'occurrences':{'a':['x','y']}}))), ['repeated-substitution'])\ncheck('repeated-substitution regression 1', solve(dict(base, **({'occurrences':{'a':[N,N+1]}}))), ['repeated-substitution'])\ncheck('recursive-actual-map regression 0', solve(dict(base, **({'recursive_expected':{'call':'b'},'recursive_actual':{'call':'a'}}))), ['recursive-actual-map'])\ncheck('recursive-actual-map regression 1', solve(dict(base, **({'recursive_expected':{'call':N+1},'recursive_actual':{'call':N}}))), ['recursive-actual-map'])\ncheck('static-preservation regression 0', solve(dict(base, **({'static_before':'static','static_after':'a'}))), ['static-preservation'])\ncheck('static-preservation regression 1', solve(dict(base, **({'static_before':'static','static_after':N}))), ['static-preservation'])\ncheck('anonymous-freshness regression 0', solve(dict(base, **({'anonymous_calls':['c1','c2'],'anonymous_ids':['r','r']}))), ['anonymous-freshness'])\ncheck('anonymous-freshness regression 1', solve(dict(base, **({'anonymous_calls':[N,N+1],'anonymous_ids':[0,0]}))), ['anonymous-freshness'])\ncheck('where-direction regression 0', solve(dict(base, **({'expected_outlives':[('a','b')],'actual_outlives':[('b','a')]}))), ['where-direction'])\ncheck('where-direction regression 1', solve(dict(base, **({'expected_outlives':[(N,N+1)],'actual_outlives':[(N+1,N)]}))), ['where-direction'])\ncheck('associated-arguments regression 0', solve(dict(base, **({'associated_args':['a','b'],'recorded_args':['b','a']}))), ['associated-arguments'])\ncheck('associated-arguments regression 1', solve(dict(base, **({'associated_args':[N,N+1],'recorded_args':[N+1,N]}))), ['associated-arguments'])\ncheck('summary-fixed-point regression 0', solve(dict(base, **({'accepted':True,'pending':['a']}))), ['summary-fixed-point'])\ncheck('summary-fixed-point regression 1', solve(dict(base, **({'accepted':True,'pending':[N]}))), ['summary-fixed-point'])\ncheck('erased-proof-metadata regression 0', solve(dict(base, **({'reference_types':['a','b'],'proof_metadata':['a']}))), ['erased-proof-metadata'])\ncheck('erased-proof-metadata regression 1', solve(dict(base, **({'reference_types':[N,N+1],'proof_metadata':[N]}))), ['erased-proof-metadata'])\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-region-polymorphism-positional-substitution","generated_at":"2026-09-29T14:44:09.718115+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 d['expected_mapping']!=d['actual_mapping']: errors.append('positional-substitution').","root_cause":"The static analyzer mishandles positional substitution: generic lifetime arguments are substituted into the wrong parameter positions.","sha256":"1b074ac5159600ea33ba61324f2ea25b780b6a94faeb42acd082dff4adbe0e7e","title":"Generic lifetime arguments are substituted into the wrong parameter positions · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.204,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["lifetime-arity"],"check":"lifetime-arity regression 0","expected":["lifetime-arity"],"passed":true},{"actual":["lifetime-arity"],"check":"lifetime-arity regression 1","expected":["lifetime-arity"],"passed":true},{"actual":[],"check":"positional-substitution regression 0","expected":["positional-substitution"],"passed":false},{"actual":[],"check":"positional-substitution regression 1","expected":["positional-substitution"],"passed":false},{"actual":["repeated-substitution"],"check":"repeated-substitution regression 0","expected":["repeated-substitution"],"passed":true},{"actual":["repeated-substitution"],"check":"repeated-substitution regression 1","expected":["repeated-substitution"],"passed":true},{"actual":["recursive-actual-map"],"check":"recursive-actual-map regression 0","expected":["recursive-actual-map"],"passed":true},{"actual":["recursive-actual-map"],"check":"recursive-actual-map regression 1","expected":["recursive-actual-map"],"passed":true},{"actual":["static-preservation"],"check":"static-preservation regression 0","expected":["static-preservation"],"passed":true},{"actual":["static-preservation"],"check":"static-preservation regression 1","expected":["static-preservation"],"passed":true},{"actual":["anonymous-freshness"],"check":"anonymous-freshness regression 0","expected":["anonymous-freshness"],"passed":true},{"actual":["anonymous-freshness"],"check":"anonymous-freshness regression 1","expected":["anonymous-freshness"],"passed":true},{"actual":["where-direction"],"check":"where-direction regression 0","expected":["where-direction"],"passed":true},{"actual":["where-direction"],"check":"where-direction regression 1","expected":["where-direction"],"passed":true},{"actual":["associated-arguments"],"check":"associated-arguments regression 0","expected":["associated-arguments"],"passed":true},{"actual":["associated-arguments"],"check":"associated-arguments regression 1","expected":["associated-arguments"],"passed":true},{"actual":["summary-fixed-point"],"check":"summary-fixed-point regression 0","expected":["summary-fixed-point"],"passed":true},{"actual":["summary-fixed-point"],"check":"summary-fixed-point regression 1","expected":["summary-fixed-point"],"passed":true},{"actual":["erased-proof-metadata"],"check":"erased-proof-metadata regression 0","expected":["erased-proof-metadata"],"passed":true},{"actual":["erased-proof-metadata"],"check":"erased-proof-metadata regression 1","expected":["erased-proof-metadata"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"lifetime-arity regression 0\", \"actual\": [\"lifetime-arity\"], \"expected\": [\"lifetime-arity\"], \"passed\": true}, {\"check\": \"lifetime-arity regression 1\", \"actual\": [\"lifetime-arity\"], \"expected\": [\"lifetime-arity\"], \"passed\": true}, {\"check\": \"positional-substitution regression 0\", \"actual\": [], \"expected\": [\"positional-substitution\"], \"passed\": false}, {\"check\": \"positional-substitution regression 1\", \"actual\": [], \"expected\": [\"positional-substitution\"], \"passed\": false}, {\"check\": \"repeated-substitution regression 0\", \"actual\": [\"repeated-substitution\"], \"expected\": [\"repeated-substitution\"], \"passed\": true}, {\"check\": \"repeated-substitution regression 1\", \"actual\": [\"repeated-substitution\"], \"expected\": [\"repeated-substitution\"], \"passed\": true}, {\"check\": \"recursive-actual-map regression 0\", \"actual\": [\"recursive-actual-map\"], \"expected\": [\"recursive-actual-map\"], \"passed\": true}, {\"check\": \"recursive-actual-map regression 1\", \"actual\": [\"recursive-actual-map\"], \"expected\": [\"recursive-actual-map\"], \"passed\": true}, {\"check\": \"static-preservation regression 0\", \"actual\": [\"static-preservation\"], \"expected\": [\"static-preservation\"], \"passed\": true}, {\"check\": \"static-preservation regression 1\", \"actual\": [\"static-preservation\"], \"expected\": [\"static-preservation\"], \"passed\": true}, {\"check\": \"anonymous-freshness regression 0\", \"actual\": [\"anonymous-freshness\"], \"expected\": [\"anonymous-freshness\"], \"passed\": true}, {\"check\": \"anonymous-freshness regression 1\", \"actual\": [\"anonymous-freshness\"], \"expected\": [\"anonymous-freshness\"], \"passed\": true}, {\"check\": \"where-direction regression 0\", \"actual\": [\"where-direction\"], \"expected\": [\"where-direction\"], \"passed\": true}, {\"check\": \"where-direction regression 1\", \"actual\": [\"where-direction\"], \"expected\": [\"where-direction\"], \"passed\": true}, {\"check\": \"associated-arguments regression 0\", \"actual\": [\"associated-arguments\"], \"expected\": [\"associated-arguments\"], \"passed\": true}, {\"check\": \"associated-arguments regression 1\", \"actual\": [\"associated-arguments\"], \"expected\": [\"associated-arguments\"], \"passed\": true}, {\"check\": \"summary-fixed-point regression 0\", \"actual\": [\"summary-fixed-point\"], \"expected\": [\"summary-fixed-point\"], \"passed\": true}, {\"check\": \"summary-fixed-point regression 1\", \"actual\": [\"summary-fixed-point\"], \"expected\": [\"summary-fixed-point\"], \"passed\": true}, {\"check\": \"erased-proof-metadata regression 0\", \"actual\": [\"erased-proof-metadata\"], \"expected\": [\"erased-proof-metadata\"], \"passed\": true}, {\"check\": \"erased-proof-metadata regression 1\", \"actual\": [\"erased-proof-metadata\"], \"expected\": [\"erased-proof-metadata\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.69,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["lifetime-arity"],"check":"lifetime-arity regression 0","expected":["lifetime-arity"],"passed":true},{"actual":["lifetime-arity"],"check":"lifetime-arity regression 1","expected":["lifetime-arity"],"passed":true},{"actual":[],"check":"positional-substitution regression 0","expected":["positional-substitution"],"passed":false},{"actual":[],"check":"positional-substitution regression 1","expected":["positional-substitution"],"passed":false},{"actual":["repeated-substitution"],"check":"repeated-substitution regression 0","expected":["repeated-substitution"],"passed":true},{"actual":["repeated-substitution"],"check":"repeated-substitution regression 1","expected":["repeated-substitution"],"passed":true},{"actual":["recursive-actual-map"],"check":"recursive-actual-map regression 0","expected":["recursive-actual-map"],"passed":true},{"actual":["recursive-actual-map"],"check":"recursive-actual-map regression 1","expected":["recursive-actual-map"],"passed":true},{"actual":["static-preservation"],"check":"static-preservation regression 0","expected":["static-preservation"],"passed":true},{"actual":["static-preservation"],"check":"static-preservation regression 1","expected":["static-preservation"],"passed":true},{"actual":["anonymous-freshness"],"check":"anonymous-freshness regression 0","expected":["anonymous-freshness"],"passed":true},{"actual":["anonymous-freshness"],"check":"anonymous-freshness regression 1","expected":["anonymous-freshness"],"passed":true},{"actual":["where-direction"],"check":"where-direction regression 0","expected":["where-direction"],"passed":true},{"actual":["where-direction"],"check":"where-direction regression 1","expected":["where-direction"],"passed":true},{"actual":["associated-arguments"],"check":"associated-arguments regression 0","expected":["associated-arguments"],"passed":true},{"actual":["associated-arguments"],"check":"associated-arguments regression 1","expected":["associated-arguments"],"passed":true},{"actual":["summary-fixed-point"],"check":"summary-fixed-point regression 0","expected":["summary-fixed-point"],"passed":true},{"actual":["summary-fixed-point"],"check":"summary-fixed-point regression 1","expected":["summary-fixed-point"],"passed":true},{"actual":["erased-proof-metadata"],"check":"erased-proof-metadata regression 0","expected":["erased-proof-metadata"],"passed":true},{"actual":["erased-proof-metadata"],"check":"erased-proof-metadata regression 1","expected":["erased-proof-metadata"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"lifetime-arity regression 0\", \"actual\": [\"lifetime-arity\"], \"expected\": [\"lifetime-arity\"], \"passed\": true}, {\"check\": \"lifetime-arity regression 1\", \"actual\": [\"lifetime-arity\"], \"expected\": [\"lifetime-arity\"], \"passed\": true}, {\"check\": \"positional-substitution regression 0\", \"actual\": [], \"expected\": [\"positional-substitution\"], \"passed\": false}, {\"check\": \"positional-substitution regression 1\", \"actual\": [], \"expected\": [\"positional-substitution\"], \"passed\": false}, {\"check\": \"repeated-substitution regression 0\", \"actual\": [\"repeated-substitution\"], \"expected\": [\"repeated-substitution\"], \"passed\": true}, {\"check\": \"repeated-substitution regression 1\", \"actual\": [\"repeated-substitution\"], \"expected\": [\"repeated-substitution\"], \"passed\": true}, {\"check\": \"recursive-actual-map regression 0\", \"actual\": [\"recursive-actual-map\"], \"expected\": [\"recursive-actual-map\"], \"passed\": true}, {\"check\": \"recursive-actual-map regression 1\", \"actual\": [\"recursive-actual-map\"], \"expected\": [\"recursive-actual-map\"], \"passed\": true}, {\"check\": \"static-preservation regression 0\", \"actual\": [\"static-preservation\"], \"expected\": [\"static-preservation\"], \"passed\": true}, {\"check\": \"static-preservation regression 1\", \"actual\": [\"static-preservation\"], \"expected\": [\"static-preservation\"], \"passed\": true}, {\"check\": \"anonymous-freshness regression 0\", \"actual\": [\"anonymous-freshness\"], \"expected\": [\"anonymous-freshness\"], \"passed\": true}, {\"check\": \"anonymous-freshness regression 1\", \"actual\": [\"anonymous-freshness\"], \"expected\": [\"anonymous-freshness\"], \"passed\": true}, {\"check\": \"where-direction regression 0\", \"actual\": [\"where-direction\"], \"expected\": [\"where-direction\"], \"passed\": true}, {\"check\": \"where-direction regression 1\", \"actual\": [\"where-direction\"], \"expected\": [\"where-direction\"], \"passed\": true}, {\"check\": \"associated-arguments regression 0\", \"actual\": [\"associated-arguments\"], \"expected\": [\"associated-arguments\"], \"passed\": true}, {\"check\": \"associated-arguments regression 1\", \"actual\": [\"associated-arguments\"], \"expected\": [\"associated-arguments\"], \"passed\": true}, {\"check\": \"summary-fixed-point regression 0\", \"actual\": [\"summary-fixed-point\"], \"expected\": [\"summary-fixed-point\"], \"passed\": true}, {\"check\": \"summary-fixed-point regression 1\", \"actual\": [\"summary-fixed-point\"], \"expected\": [\"summary-fixed-point\"], \"passed\": true}, {\"check\": \"erased-proof-metadata regression 0\", \"actual\": [\"erased-proof-metadata\"], \"expected\": [\"erased-proof-metadata\"], \"passed\": true}, {\"check\": \"erased-proof-metadata regression 1\", \"actual\": [\"erased-proof-metadata\"], \"expected\": [\"erased-proof-metadata\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":52.809,"exit_code":0,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["lifetime-arity"],"check":"lifetime-arity regression 0","expected":["lifetime-arity"],"passed":true},{"actual":["lifetime-arity"],"check":"lifetime-arity regression 1","expected":["lifetime-arity"],"passed":true},{"actual":["positional-substitution"],"check":"positional-substitution regression 0","expected":["positional-substitution"],"passed":true},{"actual":["positional-substitution"],"check":"positional-substitution regression 1","expected":["positional-substitution"],"passed":true},{"actual":["repeated-substitution"],"check":"repeated-substitution regression 0","expected":["repeated-substitution"],"passed":true},{"actual":["repeated-substitution"],"check":"repeated-substitution regression 1","expected":["repeated-substitution"],"passed":true},{"actual":["recursive-actual-map"],"check":"recursive-actual-map regression 0","expected":["recursive-actual-map"],"passed":true},{"actual":["recursive-actual-map"],"check":"recursive-actual-map regression 1","expected":["recursive-actual-map"],"passed":true},{"actual":["static-preservation"],"check":"static-preservation regression 0","expected":["static-preservation"],"passed":true},{"actual":["static-preservation"],"check":"static-preservation regression 1","expected":["static-preservation"],"passed":true},{"actual":["anonymous-freshness"],"check":"anonymous-freshness regression 0","expected":["anonymous-freshness"],"passed":true},{"actual":["anonymous-freshness"],"check":"anonymous-freshness regression 1","expected":["anonymous-freshness"],"passed":true},{"actual":["where-direction"],"check":"where-direction regression 0","expected":["where-direction"],"passed":true},{"actual":["where-direction"],"check":"where-direction regression 1","expected":["where-direction"],"passed":true},{"actual":["associated-arguments"],"check":"associated-arguments regression 0","expected":["associated-arguments"],"passed":true},{"actual":["associated-arguments"],"check":"associated-arguments regression 1","expected":["associated-arguments"],"passed":true},{"actual":["summary-fixed-point"],"check":"summary-fixed-point regression 0","expected":["summary-fixed-point"],"passed":true},{"actual":["summary-fixed-point"],"check":"summary-fixed-point regression 1","expected":["summary-fixed-point"],"passed":true},{"actual":["erased-proof-metadata"],"check":"erased-proof-metadata regression 0","expected":["erased-proof-metadata"],"passed":true},{"actual":["erased-proof-metadata"],"check":"erased-proof-metadata regression 1","expected":["erased-proof-metadata"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"lifetime-arity regression 0\", \"actual\": [\"lifetime-arity\"], \"expected\": [\"lifetime-arity\"], \"passed\": true}, {\"check\": \"lifetime-arity regression 1\", \"actual\": [\"lifetime-arity\"], \"expected\": [\"lifetime-arity\"], \"passed\": true}, {\"check\": \"positional-substitution regression 0\", \"actual\": [\"positional-substitution\"], \"expected\": [\"positional-substitution\"], \"passed\": true}, {\"check\": \"positional-substitution regression 1\", \"actual\": [\"positional-substitution\"], \"expected\": [\"positional-substitution\"], \"passed\": true}, {\"check\": \"repeated-substitution regression 0\", \"actual\": [\"repeated-substitution\"], \"expected\": [\"repeated-substitution\"], \"passed\": true}, {\"check\": \"repeated-substitution regression 1\", \"actual\": [\"repeated-substitution\"], \"expected\": [\"repeated-substitution\"], \"passed\": true}, {\"check\": \"recursive-actual-map regression 0\", \"actual\": [\"recursive-actual-map\"], \"expected\": [\"recursive-actual-map\"], \"passed\": true}, {\"check\": \"recursive-actual-map regression 1\", \"actual\": [\"recursive-actual-map\"], \"expected\": [\"recursive-actual-map\"], \"passed\": true}, {\"check\": \"static-preservation regression 0\", \"actual\": [\"static-preservation\"], \"expected\": [\"static-preservation\"], \"passed\": true}, {\"check\": \"static-preservation regression 1\", \"actual\": [\"static-preservation\"], \"expected\": [\"static-preservation\"], \"passed\": true}, {\"check\": \"anonymous-freshness regression 0\", \"actual\": [\"anonymous-freshness\"], \"expected\": [\"anonymous-freshness\"], \"passed\": true}, {\"check\": \"anonymous-freshness regression 1\", \"actual\": [\"anonymous-freshness\"], \"expected\": [\"anonymous-freshness\"], \"passed\": true}, {\"check\": \"where-direction regression 0\", \"actual\": [\"where-direction\"], \"expected\": [\"where-direction\"], \"passed\": true}, {\"check\": \"where-direction regression 1\", \"actual\": [\"where-direction\"], \"expected\": [\"where-direction\"], \"passed\": true}, {\"check\": \"associated-arguments regression 0\", \"actual\": [\"associated-arguments\"], \"expected\": [\"associated-arguments\"], \"passed\": true}, {\"check\": \"associated-arguments regression 1\", \"actual\": [\"associated-arguments\"], \"expected\": [\"associated-arguments\"], \"passed\": true}, {\"check\": \"summary-fixed-point regression 0\", \"actual\": [\"summary-fixed-point\"], \"expected\": [\"summary-fixed-point\"], \"passed\": true}, {\"check\": \"summary-fixed-point regression 1\", \"actual\": [\"summary-fixed-point\"], \"expected\": [\"summary-fixed-point\"], \"passed\": true}, {\"check\": \"erased-proof-metadata regression 0\", \"actual\": [\"erased-proof-metadata\"], \"expected\": [\"erased-proof-metadata\"], \"passed\": true}, {\"check\": \"erased-proof-metadata regression 1\", \"actual\": [\"erased-proof-metadata\"], \"expected\": [\"erased-proof-metadata\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}