{"abstract":"Autosave coalescing drops a field edit made while its preceding value is in flight.","category":"Client state","checks":6,"contract":"While one autosave is in flight, coalesce newer edits to each field latest value, preserve first-edit field order, and remove a queued field only if its latest type/value equals the in-flight snapshot.","contract_signature":"inflight, edits","evaluation_group":"s3-client-state-autosave-inflight-coalescing","failed_approach":"The partial repair still violates at least one explicit regression oracle.","family":"s3-client-state-autosave-inflight-coalescing","id":"FA-24796","implementations":{"attempt":{"sha256":"decdb4f682748979de5c13df0c6280ea6a6fbb2e6acd9ab08848c99592b6185c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(inflight, edits):\n    return [(field,value) for field,value in edits if inflight.get(field)!=value]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('edited same field', solve({'a':1},[('a',2)]), [('a',2)])\ncheck('coalesce same field', solve({},[('a',1),('a',N+2)]), [('a',N+2)])\ncheck('returned to inflight value', solve({'a':1},[('a',2),('a',1)]), [])\ncheck('new null', solve({},[('a',None)]), [('a',None)])\ncheck('type distinction', solve({'a':False},[('a',0)]), [('a',0)])\ncheck('stable first-edit field order', solve({},[('b',1),('a',2),('b',3)]), [('b',3),('a',2)])\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":"a2d9d80a514220884971bab19a4f9363f9ee64502cfdd3ba956a1f242b354b69","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(inflight, edits):\n    return [(field,value) for field,value in edits if field not in inflight]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('edited same field', solve({'a':1},[('a',2)]), [('a',2)])\ncheck('coalesce same field', solve({},[('a',1),('a',N+2)]), [('a',N+2)])\ncheck('returned to inflight value', solve({'a':1},[('a',2),('a',1)]), [])\ncheck('new null', solve({},[('a',None)]), [('a',None)])\ncheck('type distinction', solve({'a':False},[('a',0)]), [('a',0)])\ncheck('stable first-edit field order', solve({},[('b',1),('a',2),('b',3)]), [('b',3),('a',2)])\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":"This models the stated application policy only; no browser or framework conformance is claimed. 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-client-state-autosave-inflight-coalescing","generated_at":"2026-09-29T14:41:00.734157+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A bounded offline client-state transition with explicit lifecycle inputs.","root_cause":"The faulty implementation violates While one autosave is in flight, coalesce newer edits to each field latest value, preserve first-edit field order, and remove a queued field only if its latest type/value equals the in-flight snapshot.","sha256":"81add759317bc00ff74a26ab3f6bd3d6189e19c82715cb008446bebd4daf67cc","title":"Autosave coalescing drops a field edit made while its preceding value is in flight · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":44.515,"exit_code":1,"observations":[{"actual":[["a",2]],"check":"edited same field","expected":[["a",2]],"passed":true},{"actual":[["a",1],["a",3]],"check":"coalesce same field","expected":[["a",3]],"passed":false},{"actual":[["a",2]],"check":"returned to inflight value","expected":[],"passed":false},{"actual":[],"check":"new null","expected":[["a",null]],"passed":false},{"actual":[],"check":"type distinction","expected":[["a",0]],"passed":false},{"actual":[["b",1],["a",2],["b",3]],"check":"stable first-edit field order","expected":[["b",3],["a",2]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"edited same field\", \"actual\": [[\"a\", 2]], \"expected\": [[\"a\", 2]], \"passed\": true}, {\"check\": \"coalesce same field\", \"actual\": [[\"a\", 1], [\"a\", 3]], \"expected\": [[\"a\", 3]], \"passed\": false}, {\"check\": \"returned to inflight value\", \"actual\": [[\"a\", 2]], \"expected\": [], \"passed\": false}, {\"check\": \"new null\", \"actual\": [], \"expected\": [[\"a\", null]], \"passed\": false}, {\"check\": \"type distinction\", \"actual\": [], \"expected\": [[\"a\", 0]], \"passed\": false}, {\"check\": \"stable first-edit field order\", \"actual\": [[\"b\", 1], [\"a\", 2], [\"b\", 3]], \"expected\": [[\"b\", 3], [\"a\", 2]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.138,"exit_code":1,"observations":[{"actual":[],"check":"edited same field","expected":[["a",2]],"passed":false},{"actual":[["a",1],["a",3]],"check":"coalesce same field","expected":[["a",3]],"passed":false},{"actual":[],"check":"returned to inflight value","expected":[],"passed":true},{"actual":[["a",null]],"check":"new null","expected":[["a",null]],"passed":true},{"actual":[],"check":"type distinction","expected":[["a",0]],"passed":false},{"actual":[["b",1],["a",2],["b",3]],"check":"stable first-edit field order","expected":[["b",3],["a",2]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"edited same field\", \"actual\": [], \"expected\": [[\"a\", 2]], \"passed\": false}, {\"check\": \"coalesce same field\", \"actual\": [[\"a\", 1], [\"a\", 3]], \"expected\": [[\"a\", 3]], \"passed\": false}, {\"check\": \"returned to inflight value\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"new null\", \"actual\": [[\"a\", null]], \"expected\": [[\"a\", null]], \"passed\": true}, {\"check\": \"type distinction\", \"actual\": [], \"expected\": [[\"a\", 0]], \"passed\": false}, {\"check\": \"stable first-edit field order\", \"actual\": [[\"b\", 1], [\"a\", 2], [\"b\", 3]], \"expected\": [[\"b\", 3], [\"a\", 2]], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}