{"abstract":"Run formatting cannot explicitly disable inherited emphasis in the controlled document model.","category":"Document structure integrity","checks":6,"contract":"Resolve every base property using a present non-None local value; absence or None inherits. Base defines the supported keys.","contract_signature":"base, local","evaluation_group":"model-6ded9e8558bbf0a8","failed_approach":"Blind dictionary override interprets the model inheritance sentinel None as a rendered property.","family":"z-documents-run-explicit-false","id":"FA-11811","implementations":{"attempt":{"sha256":"9e78cdc60894b5c58302d2d86645c23de90c93a005c7122a0a7aaa6e39a0ce0c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(base, local):\n    return {k:local.get(k,v) for k,v in base.items()}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [(({'bold':True,'size':N},{'bold':False}),{'bold':False,'size':N}), (({'bold':True},{'bold':None}),{'bold':True}), (({},{}),{}), (({'bold':False},{}),{'bold':False}), (({'size':N},{'size':0}),{'size':0}), (({'bold':False},{'bold':True}),{'bold':True})]\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":"5f51e2a4ec6beba89cf9d485bc0fa257cd0b76382aae6d2d4f8fb41f6a5d41c8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(base, local):\n    return {k:local.get(k) or v for k,v in base.items()}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [(({'bold':True,'size':N},{'bold':False}),{'bold':False,'size':N}), (({'bold':True},{'bold':None}),{'bold':True}), (({},{}),{}), (({'bold':False},{}),{'bold':False}), (({'size':N},{'size':0}),{'size':0}), (({'bold':False},{'bold':True}),{'bold':True})]\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-run-explicit-false","generated_at":"2026-09-29T14:38:51.135560+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":"Truthiness merging discards explicit false and zero run properties.","sha256":"0c156d3c78b7f402d140e600de24ca554cd4e88eb4fe6f9a7d96ed2f2f0c1841","title":"Run formatting cannot explicitly disable inherited emphasis · 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":40.396,"exit_code":1,"observations":[{"actual":{"bold":false,"size":1},"check":"document fixture 0","expected":{"bold":false,"size":1},"passed":true},{"actual":{"bold":null},"check":"document fixture 1","expected":{"bold":true},"passed":false},{"actual":{},"check":"document fixture 2","expected":{},"passed":true},{"actual":{"bold":false},"check":"document fixture 3","expected":{"bold":false},"passed":true},{"actual":{"size":0},"check":"document fixture 4","expected":{"size":0},"passed":true},{"actual":{"bold":true},"check":"document fixture 5","expected":{"bold":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"document fixture 0\", \"actual\": {\"bold\": false, \"size\": 1}, \"expected\": {\"bold\": false, \"size\": 1}, \"passed\": true}, {\"check\": \"document fixture 1\", \"actual\": {\"bold\": null}, \"expected\": {\"bold\": true}, \"passed\": false}, {\"check\": \"document fixture 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"document fixture 3\", \"actual\": {\"bold\": false}, \"expected\": {\"bold\": false}, \"passed\": true}, {\"check\": \"document fixture 4\", \"actual\": {\"size\": 0}, \"expected\": {\"size\": 0}, \"passed\": true}, {\"check\": \"document fixture 5\", \"actual\": {\"bold\": true}, \"expected\": {\"bold\": true}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.059,"exit_code":1,"observations":[{"actual":{"bold":true,"size":1},"check":"document fixture 0","expected":{"bold":false,"size":1},"passed":false},{"actual":{"bold":true},"check":"document fixture 1","expected":{"bold":true},"passed":true},{"actual":{},"check":"document fixture 2","expected":{},"passed":true},{"actual":{"bold":false},"check":"document fixture 3","expected":{"bold":false},"passed":true},{"actual":{"size":1},"check":"document fixture 4","expected":{"size":0},"passed":false},{"actual":{"bold":true},"check":"document fixture 5","expected":{"bold":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"document fixture 0\", \"actual\": {\"bold\": true, \"size\": 1}, \"expected\": {\"bold\": false, \"size\": 1}, \"passed\": false}, {\"check\": \"document fixture 1\", \"actual\": {\"bold\": true}, \"expected\": {\"bold\": true}, \"passed\": true}, {\"check\": \"document fixture 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"document fixture 3\", \"actual\": {\"bold\": false}, \"expected\": {\"bold\": false}, \"passed\": true}, {\"check\": \"document fixture 4\", \"actual\": {\"size\": 1}, \"expected\": {\"size\": 0}, \"passed\": false}, {\"check\": \"document fixture 5\", \"actual\": {\"bold\": true}, \"expected\": {\"bold\": true}, \"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."}}