{"abstract":"An explicitly empty section header incorrectly inherits content in the controlled document model.","category":"Document structure integrity","checks":6,"contract":"Each section header is a string or None; None links to the previous resolved header, initially default, while empty string explicitly clears it.","evaluation_group":"model-bd84e58c5a51b69d","failed_approach":"A truthiness fallback conflates an explicitly blank header with a linked header.","family":"z-documents-section-header-unlink","id":"FA-11796","implementations":{"attempt":{"sha256":"dc1028079c178deb645b825ad177e3feb9cd90f9ba5f5ba17a6c7137001533b1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(headers):\n    out=[]\n    last='default'\n    for x in headers:\n        last=x or last\n        out.append(last)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [((['H'+str(N),None,'',None],),['H'+str(N),'H'+str(N),'','']), (([],),[]), (([None],),['default']), (([''],),['']), ((['a',None],),['a','a']), ((['a','b',None],),['a','b','b'])]\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":"fde00e64850167971739f47e84c0d43cd5ad39b1bc7e5c44febdc9e6bbc22f40","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(headers):\n    return [x or 'default' for x in headers]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [((['H'+str(N),None,'',None],),['H'+str(N),'H'+str(N),'','']), (([],),[]), (([None],),['default']), (([''],),['']), ((['a',None],),['a','a']), ((['a','b',None],),['a','b','b'])]\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"},"fixed":{"sha256":"86d4f857315ec827a9c1eb23c216454f00d048aecd7a8cc0e6489d887f7537b9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(headers):\n    out=[]\n    last='default'\n    for x in headers:\n        if x is not None: last=x\n        out.append(last)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [((['H'+str(N),None,'',None],),['H'+str(N),'H'+str(N),'','']), (([],),[]), (([None],),['default']), (([''],),['']), ((['a',None],),['a','a']), ((['a','b',None],),['a','b','b'])]\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-section-header-unlink","generated_at":"2026-09-29T14:38:51.092583+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.","repair":"Resolve only None through the preceding section and retain explicit empty content.","root_cause":"Every missing header is replaced with the global default instead of the previous section header.","sha256":"28caf3b650b1f481ffca7354557f46c07424c603dfd433c2967ff5a0aad8df7b","title":"An explicitly empty section header incorrectly inherits content · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.396,"exit_code":1,"observations":[{"actual":["H1","H1","H1","H1"],"check":"document fixture 0","expected":["H1","H1","",""],"passed":false},{"actual":[],"check":"document fixture 1","expected":[],"passed":true},{"actual":["default"],"check":"document fixture 2","expected":["default"],"passed":true},{"actual":["default"],"check":"document fixture 3","expected":[""],"passed":false},{"actual":["a","a"],"check":"document fixture 4","expected":["a","a"],"passed":true},{"actual":["a","b","b"],"check":"document fixture 5","expected":["a","b","b"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"document fixture 0\", \"actual\": [\"H1\", \"H1\", \"H1\", \"H1\"], \"expected\": [\"H1\", \"H1\", \"\", \"\"], \"passed\": false}, {\"check\": \"document fixture 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"document fixture 2\", \"actual\": [\"default\"], \"expected\": [\"default\"], \"passed\": true}, {\"check\": \"document fixture 3\", \"actual\": [\"default\"], \"expected\": [\"\"], \"passed\": false}, {\"check\": \"document fixture 4\", \"actual\": [\"a\", \"a\"], \"expected\": [\"a\", \"a\"], \"passed\": true}, {\"check\": \"document fixture 5\", \"actual\": [\"a\", \"b\", \"b\"], \"expected\": [\"a\", \"b\", \"b\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.727,"exit_code":1,"observations":[{"actual":["H1","default","default","default"],"check":"document fixture 0","expected":["H1","H1","",""],"passed":false},{"actual":[],"check":"document fixture 1","expected":[],"passed":true},{"actual":["default"],"check":"document fixture 2","expected":["default"],"passed":true},{"actual":["default"],"check":"document fixture 3","expected":[""],"passed":false},{"actual":["a","default"],"check":"document fixture 4","expected":["a","a"],"passed":false},{"actual":["a","b","default"],"check":"document fixture 5","expected":["a","b","b"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"document fixture 0\", \"actual\": [\"H1\", \"default\", \"default\", \"default\"], \"expected\": [\"H1\", \"H1\", \"\", \"\"], \"passed\": false}, {\"check\": \"document fixture 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"document fixture 2\", \"actual\": [\"default\"], \"expected\": [\"default\"], \"passed\": true}, {\"check\": \"document fixture 3\", \"actual\": [\"default\"], \"expected\": [\"\"], \"passed\": false}, {\"check\": \"document fixture 4\", \"actual\": [\"a\", \"default\"], \"expected\": [\"a\", \"a\"], \"passed\": false}, {\"check\": \"document fixture 5\", \"actual\": [\"a\", \"b\", \"default\"], \"expected\": [\"a\", \"b\", \"b\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.637,"exit_code":0,"observations":[{"actual":["H1","H1","",""],"check":"document fixture 0","expected":["H1","H1","",""],"passed":true},{"actual":[],"check":"document fixture 1","expected":[],"passed":true},{"actual":["default"],"check":"document fixture 2","expected":["default"],"passed":true},{"actual":[""],"check":"document fixture 3","expected":[""],"passed":true},{"actual":["a","a"],"check":"document fixture 4","expected":["a","a"],"passed":true},{"actual":["a","b","b"],"check":"document fixture 5","expected":["a","b","b"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"document fixture 0\", \"actual\": [\"H1\", \"H1\", \"\", \"\"], \"expected\": [\"H1\", \"H1\", \"\", \"\"], \"passed\": true}, {\"check\": \"document fixture 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"document fixture 2\", \"actual\": [\"default\"], \"expected\": [\"default\"], \"passed\": true}, {\"check\": \"document fixture 3\", \"actual\": [\"\"], \"expected\": [\"\"], \"passed\": true}, {\"check\": \"document fixture 4\", \"actual\": [\"a\", \"a\"], \"expected\": [\"a\", \"a\"], \"passed\": true}, {\"check\": \"document fixture 5\", \"actual\": [\"a\", \"b\", \"b\"], \"expected\": [\"a\", \"b\", \"b\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}