{"abstract":"Exclusive bound is applied without checking its schema mode.","category":"Tool call schema validation","checks":7,"contract":"A conditional numeric schema accepts value > bound in exclusive mode, value >= bound in inclusive mode, and rejects any other mode.","contract_signature":"value, bound, mode","evaluation_group":"w3-schema-discriminator-conditioned-bound","failed_approach":"Always requiring value > bound handles exclusive mode but rejects equality in inclusive mode.","family":"w3-tool-call-schema-validation-discriminator-conditioned-bound","id":"FA-99776","implementations":{"attempt":{"sha256":"25f182068c981b37689caa82299d6b0a7b447bb3ead5a2af4876152007a87a5a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(value, bound, mode):\n    return value > bound\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('exclusive above',solve(N+1,N,'exclusive'),True)\ncheck('exclusive endpoint',solve(N,N,'exclusive'),False)\ncheck('inclusive endpoint',solve(N,N,'inclusive'),True)\ncheck('inclusive above',solve(N+1,N,'inclusive'),True)\ncheck('below either bound',solve(N-1,N,'inclusive'),False)\ncheck('unknown mode',solve(N+1,N,'other'),False)\ncheck('exclusive fractional above',solve(N+0.5,N,'exclusive'),True)\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":"be5bd3ec1b411784ccbc613fb28ae53133491dd683db3b9bf5ce643b40aa7480","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(value, bound, mode):\n    return value >= bound\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('exclusive above',solve(N+1,N,'exclusive'),True)\ncheck('exclusive endpoint',solve(N,N,'exclusive'),False)\ncheck('inclusive endpoint',solve(N,N,'inclusive'),True)\ncheck('inclusive above',solve(N+1,N,'inclusive'),True)\ncheck('below either bound',solve(N-1,N,'inclusive'),False)\ncheck('unknown mode',solve(N+1,N,'other'),False)\ncheck('exclusive fractional above',solve(N+0.5,N,'exclusive'),True)\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":"Self-contained toy JSON-like schema contract over in-memory Python values; no compatibility with a production schema standard or callable binding is claimed. 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":"w3-tool-call-schema-validation-discriminator-conditioned-bound","generated_at":"2026-09-30T16:48:28.064273+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Tool argument validation prevents malformed structured payloads from entering a deterministic downstream operation.","root_cause":"The boundary rule is selected by a discriminator, but validation applies one comparison to every branch.","sha256":"122639412f377207cc20bbc6b294081b5d90a1f27475727a7a3ba2226a6ed5c6","title":"Exclusive bound is applied without checking its schema mode · case 01","variant":1,"variant_policy":"The fixture code references N, supplied as 1 through 5. Fixed boundary checks may repeat. These records share one mechanism and must remain together in evaluation splits.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":28.866,"exit_code":1,"observations":[{"actual":true,"check":"exclusive above","expected":true,"passed":true},{"actual":false,"check":"exclusive endpoint","expected":false,"passed":true},{"actual":false,"check":"inclusive endpoint","expected":true,"passed":false},{"actual":true,"check":"inclusive above","expected":true,"passed":true},{"actual":false,"check":"below either bound","expected":false,"passed":true},{"actual":true,"check":"unknown mode","expected":false,"passed":false},{"actual":true,"check":"exclusive fractional above","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exclusive above\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"exclusive endpoint\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"inclusive endpoint\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"inclusive above\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"below either bound\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown mode\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"exclusive fractional above\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":27.666,"exit_code":1,"observations":[{"actual":true,"check":"exclusive above","expected":true,"passed":true},{"actual":true,"check":"exclusive endpoint","expected":false,"passed":false},{"actual":true,"check":"inclusive endpoint","expected":true,"passed":true},{"actual":true,"check":"inclusive above","expected":true,"passed":true},{"actual":false,"check":"below either bound","expected":false,"passed":true},{"actual":true,"check":"unknown mode","expected":false,"passed":false},{"actual":true,"check":"exclusive fractional above","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exclusive above\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"exclusive endpoint\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"inclusive endpoint\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inclusive above\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"below either bound\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown mode\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"exclusive fractional above\", \"actual\": true, \"expected\": 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."}}