{"abstract":"Unselected message branches demand unavailable variables.","category":"Localization message semantics","checks":7,"contract":"The named branch or other must exist. Select the named branch if present, otherwise other, then format only that branch with str.format. Return missing only if the selected branch requires an absent argument.","evaluation_group":"model-c199511c1b48fd7f","failed_approach":"Checking all branches for missing arguments before selection retains the same eager requirement.","family":"z-localization-lazy-branch","id":"FA-11781","implementations":{"attempt":{"sha256":"95ce1c1c727f5e9defc589506464a633bc6ca1a8136679a42cd2f9bfdf567546","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport re\nN = 1\nobservations = []\ndef solve(branches, choice, values):\n    if any(name not in values for text in branches.values() for name in re.findall(r'\\{([a-z]+)\\}',text)): return 'missing'\n    return (branches[choice] if choice in branches else branches.get('other','missing')).format(**values)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('explicit branch without default', solve({'special':'ok'},'special',{}), 'ok')\ncheck('inactive missing', solve({'special':'{secret}','other':'Hello {name}'},'other',{'name':str(N)}), 'Hello '+str(N))\ncheck('chosen complete', solve({'special':'{secret}','other':'{name}'},'special',{'secret':'yes'}), 'yes')\ncheck('selected missing', solve({'other':'{name}'},'other',{}), 'missing')\ncheck('fallback', solve({'special':'{secret}','other':'ok'},'unknown',{}), 'ok')\ncheck('constant', solve({'other':'ok'},'other',{}), 'ok')\ncheck('supplied variables', solve({'special':'{secret}','other':'{name}'},'other',{'secret':'x','name':str(N)}), str(N))\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":"2c57eb5e96be61f2715263cdb74676fd28f1e14fc95f14eca21f52e8eee7ecf4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport re\nN = 1\nobservations = []\ndef solve(branches, choice, values):\n    try:\n        rendered = {k:v.format(**values) for k,v in branches.items()}\n        return rendered.get(choice,rendered['other'])\n    except KeyError: return 'missing'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('explicit branch without default', solve({'special':'ok'},'special',{}), 'ok')\ncheck('inactive missing', solve({'special':'{secret}','other':'Hello {name}'},'other',{'name':str(N)}), 'Hello '+str(N))\ncheck('chosen complete', solve({'special':'{secret}','other':'{name}'},'special',{'secret':'yes'}), 'yes')\ncheck('selected missing', solve({'other':'{name}'},'other',{}), 'missing')\ncheck('fallback', solve({'special':'{secret}','other':'ok'},'unknown',{}), 'ok')\ncheck('constant', solve({'other':'ok'},'other',{}), 'ok')\ncheck('supplied variables', solve({'special':'{secret}','other':'{name}'},'other',{'secret':'x','name':str(N)}), str(N))\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":"6a0e78d3460b7d117fc9c5b95198a93f46cda025d1d86b3f7015adc03ad015b2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport re\nN = 1\nobservations = []\ndef solve(branches, choice, values):\n    try:\n        template = branches[choice] if choice in branches else branches['other']\n        return template.format(**values)\n    except KeyError: return 'missing'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('explicit branch without default', solve({'special':'ok'},'special',{}), 'ok')\ncheck('inactive missing', solve({'special':'{secret}','other':'Hello {name}'},'other',{'name':str(N)}), 'Hello '+str(N))\ncheck('chosen complete', solve({'special':'{secret}','other':'{name}'},'special',{'secret':'yes'}), 'yes')\ncheck('selected missing', solve({'other':'{name}'},'other',{}), 'missing')\ncheck('fallback', solve({'special':'{secret}','other':'ok'},'unknown',{}), 'ok')\ncheck('constant', solve({'other':'ok'},'other',{}), 'ok')\ncheck('supplied variables', solve({'special':'{secret}','other':'{name}'},'other',{'secret':'x','name':str(N)}), str(N))\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":"Only the explicitly specified miniature locale/message rules are modeled. 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-localization-lazy-branch","generated_at":"2026-09-29T14:38:50.965674+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"This offline controlled message model isolates a localization decision; it does not implement a complete message-format or locale standard.","repair":"The named branch or other must exist. Select the named branch if present, otherwise other, then format only that branch with str.format. Return missing only if the selected branch requires an absent argument.","root_cause":"All branch templates are formatted before selecting the active message.","sha256":"096e82328ef8809707da11ba995d6bb78ff07535bd161fec524e812a7d7c41a3","title":"Unselected message branches demand unavailable variables · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.354,"exit_code":1,"observations":[{"actual":"ok","check":"explicit branch without default","expected":"ok","passed":true},{"actual":"missing","check":"inactive missing","expected":"Hello 1","passed":false},{"actual":"missing","check":"chosen complete","expected":"yes","passed":false},{"actual":"missing","check":"selected missing","expected":"missing","passed":true},{"actual":"missing","check":"fallback","expected":"ok","passed":false},{"actual":"ok","check":"constant","expected":"ok","passed":true},{"actual":"1","check":"supplied variables","expected":"1","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit branch without default\", \"actual\": \"ok\", \"expected\": \"ok\", \"passed\": true}, {\"check\": \"inactive missing\", \"actual\": \"missing\", \"expected\": \"Hello 1\", \"passed\": false}, {\"check\": \"chosen complete\", \"actual\": \"missing\", \"expected\": \"yes\", \"passed\": false}, {\"check\": \"selected missing\", \"actual\": \"missing\", \"expected\": \"missing\", \"passed\": true}, {\"check\": \"fallback\", \"actual\": \"missing\", \"expected\": \"ok\", \"passed\": false}, {\"check\": \"constant\", \"actual\": \"ok\", \"expected\": \"ok\", \"passed\": true}, {\"check\": \"supplied variables\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.181,"exit_code":1,"observations":[{"actual":"missing","check":"explicit branch without default","expected":"ok","passed":false},{"actual":"missing","check":"inactive missing","expected":"Hello 1","passed":false},{"actual":"missing","check":"chosen complete","expected":"yes","passed":false},{"actual":"missing","check":"selected missing","expected":"missing","passed":true},{"actual":"missing","check":"fallback","expected":"ok","passed":false},{"actual":"ok","check":"constant","expected":"ok","passed":true},{"actual":"1","check":"supplied variables","expected":"1","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit branch without default\", \"actual\": \"missing\", \"expected\": \"ok\", \"passed\": false}, {\"check\": \"inactive missing\", \"actual\": \"missing\", \"expected\": \"Hello 1\", \"passed\": false}, {\"check\": \"chosen complete\", \"actual\": \"missing\", \"expected\": \"yes\", \"passed\": false}, {\"check\": \"selected missing\", \"actual\": \"missing\", \"expected\": \"missing\", \"passed\": true}, {\"check\": \"fallback\", \"actual\": \"missing\", \"expected\": \"ok\", \"passed\": false}, {\"check\": \"constant\", \"actual\": \"ok\", \"expected\": \"ok\", \"passed\": true}, {\"check\": \"supplied variables\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.866,"exit_code":0,"observations":[{"actual":"ok","check":"explicit branch without default","expected":"ok","passed":true},{"actual":"Hello 1","check":"inactive missing","expected":"Hello 1","passed":true},{"actual":"yes","check":"chosen complete","expected":"yes","passed":true},{"actual":"missing","check":"selected missing","expected":"missing","passed":true},{"actual":"ok","check":"fallback","expected":"ok","passed":true},{"actual":"ok","check":"constant","expected":"ok","passed":true},{"actual":"1","check":"supplied variables","expected":"1","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit branch without default\", \"actual\": \"ok\", \"expected\": \"ok\", \"passed\": true}, {\"check\": \"inactive missing\", \"actual\": \"Hello 1\", \"expected\": \"Hello 1\", \"passed\": true}, {\"check\": \"chosen complete\", \"actual\": \"yes\", \"expected\": \"yes\", \"passed\": true}, {\"check\": \"selected missing\", \"actual\": \"missing\", \"expected\": \"missing\", \"passed\": true}, {\"check\": \"fallback\", \"actual\": \"ok\", \"expected\": \"ok\", \"passed\": true}, {\"check\": \"constant\", \"actual\": \"ok\", \"expected\": \"ok\", \"passed\": true}, {\"check\": \"supplied variables\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}