{"abstract":"Struct spread overwrites an explicit borrowed field origin.","category":"Borrow checking","checks":21,"contract":"Validate lowering of aggregate expressions containing owned and borrowed fields. Evaluation order follows source field order; struct update moves only omitted fields; explicit fields override update sources; failed construction drops initialized fields in reverse initialization order; borrowed fields preserve their source origin; spread cannot duplicate exclusive fields; tuple projection indices remain positional; enum payload loans require matching discriminant; moving an aggregate remaps every contained reference owner slot; zero-field aggregates create no synthetic borrowed field. 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-aggregate-borrow-lowering","failed_approach":"The partial repair uses if set(d['explicit'])==set(d['update_written']) and bool(d['explicit']): errors.append('explicit-field-precedence'), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-aggregate-borrow-lowering-explicit-field-precedence","id":"FA-44101","implementations":{"attempt":{"sha256":"fcad564a231b476a4a82401c048ed71d155f77c547aa2a8fbf5fe871089fd068","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['source_order']!=d['eval_order']: errors.append('field-evaluation-order')\n    if set(d['omitted'])!=set(d['update_moved']): errors.append('update-omitted-only')\n    if set(d['explicit'])==set(d['update_written']) and bool(d['explicit']): errors.append('explicit-field-precedence')\n    if d['cleanup_order']!=list(reversed(d['initialized_order'])): errors.append('construction-cleanup-order')\n    if d['source_origins']!=d['lowered_origins']: errors.append('field-origin-preservation')\n    if bool(set(d['exclusive_fields'])&set(d['spread_copies'])): errors.append('spread-exclusive-duplication')\n    if d['tuple_source']!=d['tuple_lowered']: errors.append('tuple-slot-identity')\n    if d['payload_loan'] and d['actual_variant']!=d['expected_variant']: errors.append('enum-loan-discriminant')\n    if not set(d['reference_slots'])<=set(d['remapped_slots']): errors.append('contained-reference-remap')\n    if d['zero_field'] and bool(d['synthetic_loans']): errors.append('empty-aggregate-origin')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'source_order': [], 'eval_order': [], 'omitted': [], 'update_moved': [], 'explicit': [], 'update_written': [], 'initialized_order': [], 'cleanup_order': [], 'source_origins': {}, 'lowered_origins': {}, 'exclusive_fields': [], 'spread_copies': [], 'tuple_source': [], 'tuple_lowered': [], 'expected_variant': None, 'actual_variant': None, 'payload_loan': False, 'reference_slots': [], 'remapped_slots': [], 'zero_field': False, 'synthetic_loans': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('field-evaluation-order regression 0', solve(dict(base, **({'source_order':['a','b'],'eval_order':['b','a']}))), ['field-evaluation-order'])\ncheck('field-evaluation-order regression 1', solve(dict(base, **({'source_order':[N,N+1],'eval_order':[N+1,N]}))), ['field-evaluation-order'])\ncheck('update-omitted-only regression 0', solve(dict(base, **({'omitted':['a'],'update_moved':['a','b']}))), ['update-omitted-only'])\ncheck('update-omitted-only regression 1', solve(dict(base, **({'omitted':[N],'update_moved':[N,N+1]}))), ['update-omitted-only'])\ncheck('explicit-field-precedence regression 0', solve(dict(base, **({'explicit':['a'],'update_written':['a','b']}))), ['explicit-field-precedence'])\ncheck('explicit-field-precedence regression 1', solve(dict(base, **({'explicit':[N],'update_written':[N,N+1]}))), ['explicit-field-precedence'])\ncheck('construction-cleanup-order regression 0', solve(dict(base, **({'initialized_order':['a','b'],'cleanup_order':['a','b']}))), ['construction-cleanup-order'])\ncheck('construction-cleanup-order regression 1', solve(dict(base, **({'initialized_order':[N,N+1],'cleanup_order':[N,N+1]}))), ['construction-cleanup-order'])\ncheck('field-origin-preservation regression 0', solve(dict(base, **({'source_origins':{'a':'r'},'lowered_origins':{'a':'s'}}))), ['field-origin-preservation'])\ncheck('field-origin-preservation regression 1', solve(dict(base, **({'source_origins':{'a':N},'lowered_origins':{'a':N+1}}))), ['field-origin-preservation'])\ncheck('spread-exclusive-duplication regression 0', solve(dict(base, **({'exclusive_fields':['a'],'spread_copies':['a']}))), ['spread-exclusive-duplication'])\ncheck('spread-exclusive-duplication regression 1', solve(dict(base, **({'exclusive_fields':[N],'spread_copies':[N]}))), ['spread-exclusive-duplication'])\ncheck('tuple-slot-identity regression 0', solve(dict(base, **({'tuple_source':['a','b'],'tuple_lowered':['b','a']}))), ['tuple-slot-identity'])\ncheck('tuple-slot-identity regression 1', solve(dict(base, **({'tuple_source':[N,N+1],'tuple_lowered':[N+1,N]}))), ['tuple-slot-identity'])\ncheck('enum-loan-discriminant regression 0', solve(dict(base, **({'payload_loan':True,'actual_variant':'b','expected_variant':'a'}))), ['enum-loan-discriminant'])\ncheck('enum-loan-discriminant regression 1', solve(dict(base, **({'payload_loan':True,'actual_variant':N+1,'expected_variant':N}))), ['enum-loan-discriminant'])\ncheck('contained-reference-remap regression 0', solve(dict(base, **({'reference_slots':['a','b'],'remapped_slots':['a']}))), ['contained-reference-remap'])\ncheck('contained-reference-remap regression 1', solve(dict(base, **({'reference_slots':[N,N+1],'remapped_slots':[N]}))), ['contained-reference-remap'])\ncheck('empty-aggregate-origin regression 0', solve(dict(base, **({'zero_field':True,'synthetic_loans':['r']}))), ['empty-aggregate-origin'])\ncheck('empty-aggregate-origin regression 1', solve(dict(base, **({'zero_field':True,'synthetic_loans':[N]}))), ['empty-aggregate-origin'])\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":"6bc9e75332957c2ea5aa39541c3a23496b11948917d8d1af3019579ae3a1fd4d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['source_order']!=d['eval_order']: errors.append('field-evaluation-order')\n    if set(d['omitted'])!=set(d['update_moved']): errors.append('update-omitted-only')\n    if False: errors.append('explicit-field-precedence')\n    if d['cleanup_order']!=list(reversed(d['initialized_order'])): errors.append('construction-cleanup-order')\n    if d['source_origins']!=d['lowered_origins']: errors.append('field-origin-preservation')\n    if bool(set(d['exclusive_fields'])&set(d['spread_copies'])): errors.append('spread-exclusive-duplication')\n    if d['tuple_source']!=d['tuple_lowered']: errors.append('tuple-slot-identity')\n    if d['payload_loan'] and d['actual_variant']!=d['expected_variant']: errors.append('enum-loan-discriminant')\n    if not set(d['reference_slots'])<=set(d['remapped_slots']): errors.append('contained-reference-remap')\n    if d['zero_field'] and bool(d['synthetic_loans']): errors.append('empty-aggregate-origin')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'source_order': [], 'eval_order': [], 'omitted': [], 'update_moved': [], 'explicit': [], 'update_written': [], 'initialized_order': [], 'cleanup_order': [], 'source_origins': {}, 'lowered_origins': {}, 'exclusive_fields': [], 'spread_copies': [], 'tuple_source': [], 'tuple_lowered': [], 'expected_variant': None, 'actual_variant': None, 'payload_loan': False, 'reference_slots': [], 'remapped_slots': [], 'zero_field': False, 'synthetic_loans': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('field-evaluation-order regression 0', solve(dict(base, **({'source_order':['a','b'],'eval_order':['b','a']}))), ['field-evaluation-order'])\ncheck('field-evaluation-order regression 1', solve(dict(base, **({'source_order':[N,N+1],'eval_order':[N+1,N]}))), ['field-evaluation-order'])\ncheck('update-omitted-only regression 0', solve(dict(base, **({'omitted':['a'],'update_moved':['a','b']}))), ['update-omitted-only'])\ncheck('update-omitted-only regression 1', solve(dict(base, **({'omitted':[N],'update_moved':[N,N+1]}))), ['update-omitted-only'])\ncheck('explicit-field-precedence regression 0', solve(dict(base, **({'explicit':['a'],'update_written':['a','b']}))), ['explicit-field-precedence'])\ncheck('explicit-field-precedence regression 1', solve(dict(base, **({'explicit':[N],'update_written':[N,N+1]}))), ['explicit-field-precedence'])\ncheck('construction-cleanup-order regression 0', solve(dict(base, **({'initialized_order':['a','b'],'cleanup_order':['a','b']}))), ['construction-cleanup-order'])\ncheck('construction-cleanup-order regression 1', solve(dict(base, **({'initialized_order':[N,N+1],'cleanup_order':[N,N+1]}))), ['construction-cleanup-order'])\ncheck('field-origin-preservation regression 0', solve(dict(base, **({'source_origins':{'a':'r'},'lowered_origins':{'a':'s'}}))), ['field-origin-preservation'])\ncheck('field-origin-preservation regression 1', solve(dict(base, **({'source_origins':{'a':N},'lowered_origins':{'a':N+1}}))), ['field-origin-preservation'])\ncheck('spread-exclusive-duplication regression 0', solve(dict(base, **({'exclusive_fields':['a'],'spread_copies':['a']}))), ['spread-exclusive-duplication'])\ncheck('spread-exclusive-duplication regression 1', solve(dict(base, **({'exclusive_fields':[N],'spread_copies':[N]}))), ['spread-exclusive-duplication'])\ncheck('tuple-slot-identity regression 0', solve(dict(base, **({'tuple_source':['a','b'],'tuple_lowered':['b','a']}))), ['tuple-slot-identity'])\ncheck('tuple-slot-identity regression 1', solve(dict(base, **({'tuple_source':[N,N+1],'tuple_lowered':[N+1,N]}))), ['tuple-slot-identity'])\ncheck('enum-loan-discriminant regression 0', solve(dict(base, **({'payload_loan':True,'actual_variant':'b','expected_variant':'a'}))), ['enum-loan-discriminant'])\ncheck('enum-loan-discriminant regression 1', solve(dict(base, **({'payload_loan':True,'actual_variant':N+1,'expected_variant':N}))), ['enum-loan-discriminant'])\ncheck('contained-reference-remap regression 0', solve(dict(base, **({'reference_slots':['a','b'],'remapped_slots':['a']}))), ['contained-reference-remap'])\ncheck('contained-reference-remap regression 1', solve(dict(base, **({'reference_slots':[N,N+1],'remapped_slots':[N]}))), ['contained-reference-remap'])\ncheck('empty-aggregate-origin regression 0', solve(dict(base, **({'zero_field':True,'synthetic_loans':['r']}))), ['empty-aggregate-origin'])\ncheck('empty-aggregate-origin regression 1', solve(dict(base, **({'zero_field':True,'synthetic_loans':[N]}))), ['empty-aggregate-origin'])\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":"c099b0886398412751b6867d8a2b8d8b49996e6f47b89d03d02e8c3ba7b8af31","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['source_order']!=d['eval_order']: errors.append('field-evaluation-order')\n    if set(d['omitted'])!=set(d['update_moved']): errors.append('update-omitted-only')\n    if bool(set(d['explicit'])&set(d['update_written'])): errors.append('explicit-field-precedence')\n    if d['cleanup_order']!=list(reversed(d['initialized_order'])): errors.append('construction-cleanup-order')\n    if d['source_origins']!=d['lowered_origins']: errors.append('field-origin-preservation')\n    if bool(set(d['exclusive_fields'])&set(d['spread_copies'])): errors.append('spread-exclusive-duplication')\n    if d['tuple_source']!=d['tuple_lowered']: errors.append('tuple-slot-identity')\n    if d['payload_loan'] and d['actual_variant']!=d['expected_variant']: errors.append('enum-loan-discriminant')\n    if not set(d['reference_slots'])<=set(d['remapped_slots']): errors.append('contained-reference-remap')\n    if d['zero_field'] and bool(d['synthetic_loans']): errors.append('empty-aggregate-origin')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'source_order': [], 'eval_order': [], 'omitted': [], 'update_moved': [], 'explicit': [], 'update_written': [], 'initialized_order': [], 'cleanup_order': [], 'source_origins': {}, 'lowered_origins': {}, 'exclusive_fields': [], 'spread_copies': [], 'tuple_source': [], 'tuple_lowered': [], 'expected_variant': None, 'actual_variant': None, 'payload_loan': False, 'reference_slots': [], 'remapped_slots': [], 'zero_field': False, 'synthetic_loans': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('field-evaluation-order regression 0', solve(dict(base, **({'source_order':['a','b'],'eval_order':['b','a']}))), ['field-evaluation-order'])\ncheck('field-evaluation-order regression 1', solve(dict(base, **({'source_order':[N,N+1],'eval_order':[N+1,N]}))), ['field-evaluation-order'])\ncheck('update-omitted-only regression 0', solve(dict(base, **({'omitted':['a'],'update_moved':['a','b']}))), ['update-omitted-only'])\ncheck('update-omitted-only regression 1', solve(dict(base, **({'omitted':[N],'update_moved':[N,N+1]}))), ['update-omitted-only'])\ncheck('explicit-field-precedence regression 0', solve(dict(base, **({'explicit':['a'],'update_written':['a','b']}))), ['explicit-field-precedence'])\ncheck('explicit-field-precedence regression 1', solve(dict(base, **({'explicit':[N],'update_written':[N,N+1]}))), ['explicit-field-precedence'])\ncheck('construction-cleanup-order regression 0', solve(dict(base, **({'initialized_order':['a','b'],'cleanup_order':['a','b']}))), ['construction-cleanup-order'])\ncheck('construction-cleanup-order regression 1', solve(dict(base, **({'initialized_order':[N,N+1],'cleanup_order':[N,N+1]}))), ['construction-cleanup-order'])\ncheck('field-origin-preservation regression 0', solve(dict(base, **({'source_origins':{'a':'r'},'lowered_origins':{'a':'s'}}))), ['field-origin-preservation'])\ncheck('field-origin-preservation regression 1', solve(dict(base, **({'source_origins':{'a':N},'lowered_origins':{'a':N+1}}))), ['field-origin-preservation'])\ncheck('spread-exclusive-duplication regression 0', solve(dict(base, **({'exclusive_fields':['a'],'spread_copies':['a']}))), ['spread-exclusive-duplication'])\ncheck('spread-exclusive-duplication regression 1', solve(dict(base, **({'exclusive_fields':[N],'spread_copies':[N]}))), ['spread-exclusive-duplication'])\ncheck('tuple-slot-identity regression 0', solve(dict(base, **({'tuple_source':['a','b'],'tuple_lowered':['b','a']}))), ['tuple-slot-identity'])\ncheck('tuple-slot-identity regression 1', solve(dict(base, **({'tuple_source':[N,N+1],'tuple_lowered':[N+1,N]}))), ['tuple-slot-identity'])\ncheck('enum-loan-discriminant regression 0', solve(dict(base, **({'payload_loan':True,'actual_variant':'b','expected_variant':'a'}))), ['enum-loan-discriminant'])\ncheck('enum-loan-discriminant regression 1', solve(dict(base, **({'payload_loan':True,'actual_variant':N+1,'expected_variant':N}))), ['enum-loan-discriminant'])\ncheck('contained-reference-remap regression 0', solve(dict(base, **({'reference_slots':['a','b'],'remapped_slots':['a']}))), ['contained-reference-remap'])\ncheck('contained-reference-remap regression 1', solve(dict(base, **({'reference_slots':[N,N+1],'remapped_slots':[N]}))), ['contained-reference-remap'])\ncheck('empty-aggregate-origin regression 0', solve(dict(base, **({'zero_field':True,'synthetic_loans':['r']}))), ['empty-aggregate-origin'])\ncheck('empty-aggregate-origin regression 1', solve(dict(base, **({'zero_field':True,'synthetic_loans':[N]}))), ['empty-aggregate-origin'])\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-aggregate-borrow-lowering-explicit-field-precedence","generated_at":"2026-09-29T14:44:08.812141+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 bool(set(d['explicit'])&set(d['update_written'])): errors.append('explicit-field-precedence').","root_cause":"The static analyzer mishandles explicit field precedence: struct spread overwrites an explicit borrowed field origin.","sha256":"434d5cf2676f7dfacd018400aeb5b1c8a669d0292f81da16ae380440ef592bfa","title":"Struct spread overwrites an explicit borrowed field origin · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.497,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["field-evaluation-order"],"check":"field-evaluation-order regression 0","expected":["field-evaluation-order"],"passed":true},{"actual":["field-evaluation-order"],"check":"field-evaluation-order regression 1","expected":["field-evaluation-order"],"passed":true},{"actual":["update-omitted-only"],"check":"update-omitted-only regression 0","expected":["update-omitted-only"],"passed":true},{"actual":["update-omitted-only"],"check":"update-omitted-only regression 1","expected":["update-omitted-only"],"passed":true},{"actual":[],"check":"explicit-field-precedence regression 0","expected":["explicit-field-precedence"],"passed":false},{"actual":[],"check":"explicit-field-precedence regression 1","expected":["explicit-field-precedence"],"passed":false},{"actual":["construction-cleanup-order"],"check":"construction-cleanup-order regression 0","expected":["construction-cleanup-order"],"passed":true},{"actual":["construction-cleanup-order"],"check":"construction-cleanup-order regression 1","expected":["construction-cleanup-order"],"passed":true},{"actual":["field-origin-preservation"],"check":"field-origin-preservation regression 0","expected":["field-origin-preservation"],"passed":true},{"actual":["field-origin-preservation"],"check":"field-origin-preservation regression 1","expected":["field-origin-preservation"],"passed":true},{"actual":["spread-exclusive-duplication"],"check":"spread-exclusive-duplication regression 0","expected":["spread-exclusive-duplication"],"passed":true},{"actual":["spread-exclusive-duplication"],"check":"spread-exclusive-duplication regression 1","expected":["spread-exclusive-duplication"],"passed":true},{"actual":["tuple-slot-identity"],"check":"tuple-slot-identity regression 0","expected":["tuple-slot-identity"],"passed":true},{"actual":["tuple-slot-identity"],"check":"tuple-slot-identity regression 1","expected":["tuple-slot-identity"],"passed":true},{"actual":["enum-loan-discriminant"],"check":"enum-loan-discriminant regression 0","expected":["enum-loan-discriminant"],"passed":true},{"actual":["enum-loan-discriminant"],"check":"enum-loan-discriminant regression 1","expected":["enum-loan-discriminant"],"passed":true},{"actual":["contained-reference-remap"],"check":"contained-reference-remap regression 0","expected":["contained-reference-remap"],"passed":true},{"actual":["contained-reference-remap"],"check":"contained-reference-remap regression 1","expected":["contained-reference-remap"],"passed":true},{"actual":["empty-aggregate-origin"],"check":"empty-aggregate-origin regression 0","expected":["empty-aggregate-origin"],"passed":true},{"actual":["empty-aggregate-origin"],"check":"empty-aggregate-origin regression 1","expected":["empty-aggregate-origin"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"field-evaluation-order regression 0\", \"actual\": [\"field-evaluation-order\"], \"expected\": [\"field-evaluation-order\"], \"passed\": true}, {\"check\": \"field-evaluation-order regression 1\", \"actual\": [\"field-evaluation-order\"], \"expected\": [\"field-evaluation-order\"], \"passed\": true}, {\"check\": \"update-omitted-only regression 0\", \"actual\": [\"update-omitted-only\"], \"expected\": [\"update-omitted-only\"], \"passed\": true}, {\"check\": \"update-omitted-only regression 1\", \"actual\": [\"update-omitted-only\"], \"expected\": [\"update-omitted-only\"], \"passed\": true}, {\"check\": \"explicit-field-precedence regression 0\", \"actual\": [], \"expected\": [\"explicit-field-precedence\"], \"passed\": false}, {\"check\": \"explicit-field-precedence regression 1\", \"actual\": [], \"expected\": [\"explicit-field-precedence\"], \"passed\": false}, {\"check\": \"construction-cleanup-order regression 0\", \"actual\": [\"construction-cleanup-order\"], \"expected\": [\"construction-cleanup-order\"], \"passed\": true}, {\"check\": \"construction-cleanup-order regression 1\", \"actual\": [\"construction-cleanup-order\"], \"expected\": [\"construction-cleanup-order\"], \"passed\": true}, {\"check\": \"field-origin-preservation regression 0\", \"actual\": [\"field-origin-preservation\"], \"expected\": [\"field-origin-preservation\"], \"passed\": true}, {\"check\": \"field-origin-preservation regression 1\", \"actual\": [\"field-origin-preservation\"], \"expected\": [\"field-origin-preservation\"], \"passed\": true}, {\"check\": \"spread-exclusive-duplication regression 0\", \"actual\": [\"spread-exclusive-duplication\"], \"expected\": [\"spread-exclusive-duplication\"], \"passed\": true}, {\"check\": \"spread-exclusive-duplication regression 1\", \"actual\": [\"spread-exclusive-duplication\"], \"expected\": [\"spread-exclusive-duplication\"], \"passed\": true}, {\"check\": \"tuple-slot-identity regression 0\", \"actual\": [\"tuple-slot-identity\"], \"expected\": [\"tuple-slot-identity\"], \"passed\": true}, {\"check\": \"tuple-slot-identity regression 1\", \"actual\": [\"tuple-slot-identity\"], \"expected\": [\"tuple-slot-identity\"], \"passed\": true}, {\"check\": \"enum-loan-discriminant regression 0\", \"actual\": [\"enum-loan-discriminant\"], \"expected\": [\"enum-loan-discriminant\"], \"passed\": true}, {\"check\": \"enum-loan-discriminant regression 1\", \"actual\": [\"enum-loan-discriminant\"], \"expected\": [\"enum-loan-discriminant\"], \"passed\": true}, {\"check\": \"contained-reference-remap regression 0\", \"actual\": [\"contained-reference-remap\"], \"expected\": [\"contained-reference-remap\"], \"passed\": true}, {\"check\": \"contained-reference-remap regression 1\", \"actual\": [\"contained-reference-remap\"], \"expected\": [\"contained-reference-remap\"], \"passed\": true}, {\"check\": \"empty-aggregate-origin regression 0\", \"actual\": [\"empty-aggregate-origin\"], \"expected\": [\"empty-aggregate-origin\"], \"passed\": true}, {\"check\": \"empty-aggregate-origin regression 1\", \"actual\": [\"empty-aggregate-origin\"], \"expected\": [\"empty-aggregate-origin\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":49.213,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["field-evaluation-order"],"check":"field-evaluation-order regression 0","expected":["field-evaluation-order"],"passed":true},{"actual":["field-evaluation-order"],"check":"field-evaluation-order regression 1","expected":["field-evaluation-order"],"passed":true},{"actual":["update-omitted-only"],"check":"update-omitted-only regression 0","expected":["update-omitted-only"],"passed":true},{"actual":["update-omitted-only"],"check":"update-omitted-only regression 1","expected":["update-omitted-only"],"passed":true},{"actual":[],"check":"explicit-field-precedence regression 0","expected":["explicit-field-precedence"],"passed":false},{"actual":[],"check":"explicit-field-precedence regression 1","expected":["explicit-field-precedence"],"passed":false},{"actual":["construction-cleanup-order"],"check":"construction-cleanup-order regression 0","expected":["construction-cleanup-order"],"passed":true},{"actual":["construction-cleanup-order"],"check":"construction-cleanup-order regression 1","expected":["construction-cleanup-order"],"passed":true},{"actual":["field-origin-preservation"],"check":"field-origin-preservation regression 0","expected":["field-origin-preservation"],"passed":true},{"actual":["field-origin-preservation"],"check":"field-origin-preservation regression 1","expected":["field-origin-preservation"],"passed":true},{"actual":["spread-exclusive-duplication"],"check":"spread-exclusive-duplication regression 0","expected":["spread-exclusive-duplication"],"passed":true},{"actual":["spread-exclusive-duplication"],"check":"spread-exclusive-duplication regression 1","expected":["spread-exclusive-duplication"],"passed":true},{"actual":["tuple-slot-identity"],"check":"tuple-slot-identity regression 0","expected":["tuple-slot-identity"],"passed":true},{"actual":["tuple-slot-identity"],"check":"tuple-slot-identity regression 1","expected":["tuple-slot-identity"],"passed":true},{"actual":["enum-loan-discriminant"],"check":"enum-loan-discriminant regression 0","expected":["enum-loan-discriminant"],"passed":true},{"actual":["enum-loan-discriminant"],"check":"enum-loan-discriminant regression 1","expected":["enum-loan-discriminant"],"passed":true},{"actual":["contained-reference-remap"],"check":"contained-reference-remap regression 0","expected":["contained-reference-remap"],"passed":true},{"actual":["contained-reference-remap"],"check":"contained-reference-remap regression 1","expected":["contained-reference-remap"],"passed":true},{"actual":["empty-aggregate-origin"],"check":"empty-aggregate-origin regression 0","expected":["empty-aggregate-origin"],"passed":true},{"actual":["empty-aggregate-origin"],"check":"empty-aggregate-origin regression 1","expected":["empty-aggregate-origin"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"field-evaluation-order regression 0\", \"actual\": [\"field-evaluation-order\"], \"expected\": [\"field-evaluation-order\"], \"passed\": true}, {\"check\": \"field-evaluation-order regression 1\", \"actual\": [\"field-evaluation-order\"], \"expected\": [\"field-evaluation-order\"], \"passed\": true}, {\"check\": \"update-omitted-only regression 0\", \"actual\": [\"update-omitted-only\"], \"expected\": [\"update-omitted-only\"], \"passed\": true}, {\"check\": \"update-omitted-only regression 1\", \"actual\": [\"update-omitted-only\"], \"expected\": [\"update-omitted-only\"], \"passed\": true}, {\"check\": \"explicit-field-precedence regression 0\", \"actual\": [], \"expected\": [\"explicit-field-precedence\"], \"passed\": false}, {\"check\": \"explicit-field-precedence regression 1\", \"actual\": [], \"expected\": [\"explicit-field-precedence\"], \"passed\": false}, {\"check\": \"construction-cleanup-order regression 0\", \"actual\": [\"construction-cleanup-order\"], \"expected\": [\"construction-cleanup-order\"], \"passed\": true}, {\"check\": \"construction-cleanup-order regression 1\", \"actual\": [\"construction-cleanup-order\"], \"expected\": [\"construction-cleanup-order\"], \"passed\": true}, {\"check\": \"field-origin-preservation regression 0\", \"actual\": [\"field-origin-preservation\"], \"expected\": [\"field-origin-preservation\"], \"passed\": true}, {\"check\": \"field-origin-preservation regression 1\", \"actual\": [\"field-origin-preservation\"], \"expected\": [\"field-origin-preservation\"], \"passed\": true}, {\"check\": \"spread-exclusive-duplication regression 0\", \"actual\": [\"spread-exclusive-duplication\"], \"expected\": [\"spread-exclusive-duplication\"], \"passed\": true}, {\"check\": \"spread-exclusive-duplication regression 1\", \"actual\": [\"spread-exclusive-duplication\"], \"expected\": [\"spread-exclusive-duplication\"], \"passed\": true}, {\"check\": \"tuple-slot-identity regression 0\", \"actual\": [\"tuple-slot-identity\"], \"expected\": [\"tuple-slot-identity\"], \"passed\": true}, {\"check\": \"tuple-slot-identity regression 1\", \"actual\": [\"tuple-slot-identity\"], \"expected\": [\"tuple-slot-identity\"], \"passed\": true}, {\"check\": \"enum-loan-discriminant regression 0\", \"actual\": [\"enum-loan-discriminant\"], \"expected\": [\"enum-loan-discriminant\"], \"passed\": true}, {\"check\": \"enum-loan-discriminant regression 1\", \"actual\": [\"enum-loan-discriminant\"], \"expected\": [\"enum-loan-discriminant\"], \"passed\": true}, {\"check\": \"contained-reference-remap regression 0\", \"actual\": [\"contained-reference-remap\"], \"expected\": [\"contained-reference-remap\"], \"passed\": true}, {\"check\": \"contained-reference-remap regression 1\", \"actual\": [\"contained-reference-remap\"], \"expected\": [\"contained-reference-remap\"], \"passed\": true}, {\"check\": \"empty-aggregate-origin regression 0\", \"actual\": [\"empty-aggregate-origin\"], \"expected\": [\"empty-aggregate-origin\"], \"passed\": true}, {\"check\": \"empty-aggregate-origin regression 1\", \"actual\": [\"empty-aggregate-origin\"], \"expected\": [\"empty-aggregate-origin\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.108,"exit_code":0,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["field-evaluation-order"],"check":"field-evaluation-order regression 0","expected":["field-evaluation-order"],"passed":true},{"actual":["field-evaluation-order"],"check":"field-evaluation-order regression 1","expected":["field-evaluation-order"],"passed":true},{"actual":["update-omitted-only"],"check":"update-omitted-only regression 0","expected":["update-omitted-only"],"passed":true},{"actual":["update-omitted-only"],"check":"update-omitted-only regression 1","expected":["update-omitted-only"],"passed":true},{"actual":["explicit-field-precedence"],"check":"explicit-field-precedence regression 0","expected":["explicit-field-precedence"],"passed":true},{"actual":["explicit-field-precedence"],"check":"explicit-field-precedence regression 1","expected":["explicit-field-precedence"],"passed":true},{"actual":["construction-cleanup-order"],"check":"construction-cleanup-order regression 0","expected":["construction-cleanup-order"],"passed":true},{"actual":["construction-cleanup-order"],"check":"construction-cleanup-order regression 1","expected":["construction-cleanup-order"],"passed":true},{"actual":["field-origin-preservation"],"check":"field-origin-preservation regression 0","expected":["field-origin-preservation"],"passed":true},{"actual":["field-origin-preservation"],"check":"field-origin-preservation regression 1","expected":["field-origin-preservation"],"passed":true},{"actual":["spread-exclusive-duplication"],"check":"spread-exclusive-duplication regression 0","expected":["spread-exclusive-duplication"],"passed":true},{"actual":["spread-exclusive-duplication"],"check":"spread-exclusive-duplication regression 1","expected":["spread-exclusive-duplication"],"passed":true},{"actual":["tuple-slot-identity"],"check":"tuple-slot-identity regression 0","expected":["tuple-slot-identity"],"passed":true},{"actual":["tuple-slot-identity"],"check":"tuple-slot-identity regression 1","expected":["tuple-slot-identity"],"passed":true},{"actual":["enum-loan-discriminant"],"check":"enum-loan-discriminant regression 0","expected":["enum-loan-discriminant"],"passed":true},{"actual":["enum-loan-discriminant"],"check":"enum-loan-discriminant regression 1","expected":["enum-loan-discriminant"],"passed":true},{"actual":["contained-reference-remap"],"check":"contained-reference-remap regression 0","expected":["contained-reference-remap"],"passed":true},{"actual":["contained-reference-remap"],"check":"contained-reference-remap regression 1","expected":["contained-reference-remap"],"passed":true},{"actual":["empty-aggregate-origin"],"check":"empty-aggregate-origin regression 0","expected":["empty-aggregate-origin"],"passed":true},{"actual":["empty-aggregate-origin"],"check":"empty-aggregate-origin regression 1","expected":["empty-aggregate-origin"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"field-evaluation-order regression 0\", \"actual\": [\"field-evaluation-order\"], \"expected\": [\"field-evaluation-order\"], \"passed\": true}, {\"check\": \"field-evaluation-order regression 1\", \"actual\": [\"field-evaluation-order\"], \"expected\": [\"field-evaluation-order\"], \"passed\": true}, {\"check\": \"update-omitted-only regression 0\", \"actual\": [\"update-omitted-only\"], \"expected\": [\"update-omitted-only\"], \"passed\": true}, {\"check\": \"update-omitted-only regression 1\", \"actual\": [\"update-omitted-only\"], \"expected\": [\"update-omitted-only\"], \"passed\": true}, {\"check\": \"explicit-field-precedence regression 0\", \"actual\": [\"explicit-field-precedence\"], \"expected\": [\"explicit-field-precedence\"], \"passed\": true}, {\"check\": \"explicit-field-precedence regression 1\", \"actual\": [\"explicit-field-precedence\"], \"expected\": [\"explicit-field-precedence\"], \"passed\": true}, {\"check\": \"construction-cleanup-order regression 0\", \"actual\": [\"construction-cleanup-order\"], \"expected\": [\"construction-cleanup-order\"], \"passed\": true}, {\"check\": \"construction-cleanup-order regression 1\", \"actual\": [\"construction-cleanup-order\"], \"expected\": [\"construction-cleanup-order\"], \"passed\": true}, {\"check\": \"field-origin-preservation regression 0\", \"actual\": [\"field-origin-preservation\"], \"expected\": [\"field-origin-preservation\"], \"passed\": true}, {\"check\": \"field-origin-preservation regression 1\", \"actual\": [\"field-origin-preservation\"], \"expected\": [\"field-origin-preservation\"], \"passed\": true}, {\"check\": \"spread-exclusive-duplication regression 0\", \"actual\": [\"spread-exclusive-duplication\"], \"expected\": [\"spread-exclusive-duplication\"], \"passed\": true}, {\"check\": \"spread-exclusive-duplication regression 1\", \"actual\": [\"spread-exclusive-duplication\"], \"expected\": [\"spread-exclusive-duplication\"], \"passed\": true}, {\"check\": \"tuple-slot-identity regression 0\", \"actual\": [\"tuple-slot-identity\"], \"expected\": [\"tuple-slot-identity\"], \"passed\": true}, {\"check\": \"tuple-slot-identity regression 1\", \"actual\": [\"tuple-slot-identity\"], \"expected\": [\"tuple-slot-identity\"], \"passed\": true}, {\"check\": \"enum-loan-discriminant regression 0\", \"actual\": [\"enum-loan-discriminant\"], \"expected\": [\"enum-loan-discriminant\"], \"passed\": true}, {\"check\": \"enum-loan-discriminant regression 1\", \"actual\": [\"enum-loan-discriminant\"], \"expected\": [\"enum-loan-discriminant\"], \"passed\": true}, {\"check\": \"contained-reference-remap regression 0\", \"actual\": [\"contained-reference-remap\"], \"expected\": [\"contained-reference-remap\"], \"passed\": true}, {\"check\": \"contained-reference-remap regression 1\", \"actual\": [\"contained-reference-remap\"], \"expected\": [\"contained-reference-remap\"], \"passed\": true}, {\"check\": \"empty-aggregate-origin regression 0\", \"actual\": [\"empty-aggregate-origin\"], \"expected\": [\"empty-aggregate-origin\"], \"passed\": true}, {\"check\": \"empty-aggregate-origin regression 1\", \"actual\": [\"empty-aggregate-origin\"], \"expected\": [\"empty-aggregate-origin\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}