{"abstract":"A value equal to the inclusive maximum is rejected.","category":"Form validation","checks":10,"contract":"Required checks distinguish blank from zero; malformed input precedes numeric checks; optional blank is valid; min/max are inclusive; pattern applies last.","contract_signature":"required, value, bad_input, minimum, maximum, pattern_ok","evaluation_group":"xi-constraint-message","failed_approach":"A hardcoded threshold ignores the field maximum.","family":"xi-constraint-message-maximum","id":"FA-8576","implementations":{"attempt":{"sha256":"2bae12e83f125527cb8faea3b1b6b53c3b48cd48a990f8322f37b1e283762d8f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(required, value, bad_input, minimum, maximum, pattern_ok):\n    if required and value == '': return 'required'\n    if bad_input: return 'bad-input'\n    if value == '': return None\n    if minimum is not None and value < minimum: return 'underflow'\n    if maximum is not None and value > 100: return 'overflow'\n    if not pattern_ok: return 'pattern'\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('zero', solve(True, 0, False, 0, 5, True), None)\ncheck('optional blank', solve(False, '', False, 1, 5, False), None)\ncheck('required blank', solve(True, '', False, None, None, True), 'required')\ncheck('bad', solve(False, 'oops', True, None, None, True), 'bad-input')\ncheck('at min', solve(False, 2, False, 2, 5, True), None)\ncheck('below min', solve(False, 1, False, 2, 5, True), 'underflow')\ncheck('at max', solve(False, 5, False, 2, 5, True), None)\ncheck('above max', solve(False, 6, False, 2, 5, True), 'overflow')\ncheck('parameterized minimum', solve(False,N,False,N,N+10,True), None)\nfor repetition in range(N):\n    check('repeat above max', solve(False, 6, False, 2, 5, True), 'overflow')\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":"12cd9699e8f23d66b64c2bab31a9fbf305e72a33c200ca915e501e60e23e129f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(required, value, bad_input, minimum, maximum, pattern_ok):\n    if required and value == '': return 'required'\n    if bad_input: return 'bad-input'\n    if value == '': return None\n    if minimum is not None and value < minimum: return 'underflow'\n    if maximum is not None and value >= maximum: return 'overflow'\n    if not pattern_ok: return 'pattern'\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('zero', solve(True, 0, False, 0, 5, True), None)\ncheck('optional blank', solve(False, '', False, 1, 5, False), None)\ncheck('required blank', solve(True, '', False, None, None, True), 'required')\ncheck('bad', solve(False, 'oops', True, None, None, True), 'bad-input')\ncheck('at min', solve(False, 2, False, 2, 5, True), None)\ncheck('below min', solve(False, 1, False, 2, 5, True), 'underflow')\ncheck('at max', solve(False, 5, False, 2, 5, True), None)\ncheck('above max', solve(False, 6, False, 2, 5, True), 'overflow')\ncheck('parameterized minimum', solve(False,N,False,N,N+10,True), None)\nfor repetition in range(N):\n    check('repeat above max', solve(False, 6, False, 2, 5, True), 'overflow')\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 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":"xi-constraint-message-maximum","generated_at":"2026-09-29T14:38:22.636408+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic model of constraint validation priority; this isolates one interface invariant without requiring a browser.","root_cause":"The maximum operation uses `value >= maximum` where the contract requires `value > maximum`.","sha256":"30c8650b90a8370d44976782f0aef1a2406882a84f50088b50765766c1bbb079","title":"Constraint validation priority: A value equal to the inclusive maximum is rejected · 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.573,"exit_code":1,"observations":[{"actual":null,"check":"zero","expected":null,"passed":true},{"actual":null,"check":"optional blank","expected":null,"passed":true},{"actual":"required","check":"required blank","expected":"required","passed":true},{"actual":"bad-input","check":"bad","expected":"bad-input","passed":true},{"actual":null,"check":"at min","expected":null,"passed":true},{"actual":"underflow","check":"below min","expected":"underflow","passed":true},{"actual":null,"check":"at max","expected":null,"passed":true},{"actual":null,"check":"above max","expected":"overflow","passed":false},{"actual":null,"check":"parameterized minimum","expected":null,"passed":true},{"actual":null,"check":"repeat above max","expected":"overflow","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"zero\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"optional blank\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"required blank\", \"actual\": \"required\", \"expected\": \"required\", \"passed\": true}, {\"check\": \"bad\", \"actual\": \"bad-input\", \"expected\": \"bad-input\", \"passed\": true}, {\"check\": \"at min\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"below min\", \"actual\": \"underflow\", \"expected\": \"underflow\", \"passed\": true}, {\"check\": \"at max\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"above max\", \"actual\": null, \"expected\": \"overflow\", \"passed\": false}, {\"check\": \"parameterized minimum\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"repeat above max\", \"actual\": null, \"expected\": \"overflow\", \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.461,"exit_code":1,"observations":[{"actual":null,"check":"zero","expected":null,"passed":true},{"actual":null,"check":"optional blank","expected":null,"passed":true},{"actual":"required","check":"required blank","expected":"required","passed":true},{"actual":"bad-input","check":"bad","expected":"bad-input","passed":true},{"actual":null,"check":"at min","expected":null,"passed":true},{"actual":"underflow","check":"below min","expected":"underflow","passed":true},{"actual":"overflow","check":"at max","expected":null,"passed":false},{"actual":"overflow","check":"above max","expected":"overflow","passed":true},{"actual":null,"check":"parameterized minimum","expected":null,"passed":true},{"actual":"overflow","check":"repeat above max","expected":"overflow","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"zero\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"optional blank\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"required blank\", \"actual\": \"required\", \"expected\": \"required\", \"passed\": true}, {\"check\": \"bad\", \"actual\": \"bad-input\", \"expected\": \"bad-input\", \"passed\": true}, {\"check\": \"at min\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"below min\", \"actual\": \"underflow\", \"expected\": \"underflow\", \"passed\": true}, {\"check\": \"at max\", \"actual\": \"overflow\", \"expected\": null, \"passed\": false}, {\"check\": \"above max\", \"actual\": \"overflow\", \"expected\": \"overflow\", \"passed\": true}, {\"check\": \"parameterized minimum\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"repeat above max\", \"actual\": \"overflow\", \"expected\": \"overflow\", \"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."}}