{"abstract":"Deleted runs leak into the accepted revision view in the controlled document model.","category":"Document structure integrity","checks":6,"contract":"Runs have kind plain, insert, or delete. Accept includes plain and insert; reject includes plain and delete, preserving order.","contract_signature":"runs, accept","evaluation_group":"model-146b3aefd8b80109","failed_approach":"Always accepting revisions gives the wrong document when rejecting them.","family":"z-documents-tracked-revision-view","id":"FA-11821","implementations":{"attempt":{"sha256":"61ff642ef6deadd8f4f78f5768581666631dfdd6ba39148107ab326899d5e922","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(runs, accept):\n    return ''.join(text for kind,text in runs if kind!='delete')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [(( [('plain','a'),('delete','d'*N),('insert','i')],True),'ai'), (([('plain','a'),('delete','d'*N),('insert','i')],False),'a'+'d'*N), (([],True),''), (([('insert','x')],False),''), (([('delete','x')],True),''), (([('plain','x')],False),'x')]\nfor i, (args, expected) in enumerate(fixtures):\n    check(\"document fixture \" + str(i), solve(*args), expected)\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":"cc48470769a154783ff3f04719a85cc0ac380b720c529fffc12b22873d26839e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(runs, accept):\n    return ''.join(text for kind,text in runs)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [(( [('plain','a'),('delete','d'*N),('insert','i')],True),'ai'), (([('plain','a'),('delete','d'*N),('insert','i')],False),'a'+'d'*N), (([],True),''), (([('insert','x')],False),''), (([('delete','x')],True),''), (([('plain','x')],False),'x')]\nfor i, (args, expected) in enumerate(fixtures):\n    check(\"document fixture \" + str(i), solve(*args), expected)\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":"An offline simplified document model, not a claim of conformance to any office file format. 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":"z-documents-tracked-revision-view","generated_at":"2026-09-29T14:38:51.217567+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Structured editing must preserve document semantics independently of visual rendering.","root_cause":"Visible content is assembled without interpreting revision run kinds.","sha256":"ca01fd289fd6385b7887a20c19ec76440ecb34457987b958d130d69752396a51","title":"Deleted runs leak into the accepted revision view · 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":41.376,"exit_code":1,"observations":[{"actual":"ai","check":"document fixture 0","expected":"ai","passed":true},{"actual":"ai","check":"document fixture 1","expected":"ad","passed":false},{"actual":"","check":"document fixture 2","expected":"","passed":true},{"actual":"x","check":"document fixture 3","expected":"","passed":false},{"actual":"","check":"document fixture 4","expected":"","passed":true},{"actual":"x","check":"document fixture 5","expected":"x","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"document fixture 0\", \"actual\": \"ai\", \"expected\": \"ai\", \"passed\": true}, {\"check\": \"document fixture 1\", \"actual\": \"ai\", \"expected\": \"ad\", \"passed\": false}, {\"check\": \"document fixture 2\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"document fixture 3\", \"actual\": \"x\", \"expected\": \"\", \"passed\": false}, {\"check\": \"document fixture 4\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"document fixture 5\", \"actual\": \"x\", \"expected\": \"x\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.954,"exit_code":1,"observations":[{"actual":"adi","check":"document fixture 0","expected":"ai","passed":false},{"actual":"adi","check":"document fixture 1","expected":"ad","passed":false},{"actual":"","check":"document fixture 2","expected":"","passed":true},{"actual":"x","check":"document fixture 3","expected":"","passed":false},{"actual":"x","check":"document fixture 4","expected":"","passed":false},{"actual":"x","check":"document fixture 5","expected":"x","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"document fixture 0\", \"actual\": \"adi\", \"expected\": \"ai\", \"passed\": false}, {\"check\": \"document fixture 1\", \"actual\": \"adi\", \"expected\": \"ad\", \"passed\": false}, {\"check\": \"document fixture 2\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"document fixture 3\", \"actual\": \"x\", \"expected\": \"\", \"passed\": false}, {\"check\": \"document fixture 4\", \"actual\": \"x\", \"expected\": \"\", \"passed\": false}, {\"check\": \"document fixture 5\", \"actual\": \"x\", \"expected\": \"x\", \"passed\": true}], \"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."}}