{"abstract":"All-of schema accepts when one constraint fails.","category":"Tool call schema validation","checks":6,"contract":"All-of is valid only when every predicate validates the value; empty constraint list passes.","contract_signature":"value, predicates","evaluation_group":"w3-schema-allof-constraint-composition","failed_approach":"Using any-match accepts values that satisfy just one constraint.","family":"w3-tool-call-schema-validation-allof-constraint-composition","id":"FA-99826","implementations":{"attempt":{"sha256":"aec2d5a5f237366b3597b11a0ee3ff5bc147b1187c517b5b69e6390f4e15cd5c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(value, predicates):\n    return any(p(value) for p in predicates)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('all pass',solve(N,[lambda x:x>0,lambda x:x%2==N%2]),True)\ncheck('first fails',solve(-N,[lambda x:x>0,lambda x:type(x)is int]),False)\ncheck('later fails',solve(N,[lambda x:type(x)is int,lambda x:x<N]),False)\ncheck('empty conjunction',solve(None,[]),True)\ncheck('singleton pass',solve('x',[lambda x:x=='x']),True)\ncheck('singleton fail',solve('y',[lambda x:x=='x']),False)\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":"f945aace2ca7408db325ca49324686434a483b7920f019148546684a88294d59","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(value, predicates):\n    return not predicates or predicates[0](value)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('all pass',solve(N,[lambda x:x>0,lambda x:x%2==N%2]),True)\ncheck('first fails',solve(-N,[lambda x:x>0,lambda x:type(x)is int]),False)\ncheck('later fails',solve(N,[lambda x:type(x)is int,lambda x:x<N]),False)\ncheck('empty conjunction',solve(None,[]),True)\ncheck('singleton pass',solve('x',[lambda x:x=='x']),True)\ncheck('singleton fail',solve('y',[lambda x:x=='x']),False)\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-allof-constraint-composition","generated_at":"2026-09-30T16:48:28.520250+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":"Only one constraint is applied.","sha256":"ca67733c2b032912d9c28ce01c8a43348a59a56bb2e1832a88408a6133126545","title":"All-of schema accepts when one constraint fails · 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":27.141,"exit_code":1,"observations":[{"actual":true,"check":"all pass","expected":true,"passed":true},{"actual":true,"check":"first fails","expected":false,"passed":false},{"actual":true,"check":"later fails","expected":false,"passed":false},{"actual":false,"check":"empty conjunction","expected":true,"passed":false},{"actual":true,"check":"singleton pass","expected":true,"passed":true},{"actual":false,"check":"singleton fail","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"all pass\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"first fails\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"later fails\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"empty conjunction\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"singleton pass\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"singleton fail\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":28.627,"exit_code":1,"observations":[{"actual":true,"check":"all pass","expected":true,"passed":true},{"actual":false,"check":"first fails","expected":false,"passed":true},{"actual":true,"check":"later fails","expected":false,"passed":false},{"actual":true,"check":"empty conjunction","expected":true,"passed":true},{"actual":true,"check":"singleton pass","expected":true,"passed":true},{"actual":false,"check":"singleton fail","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"all pass\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"first fails\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"later fails\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"empty conjunction\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"singleton pass\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"singleton fail\", \"actual\": false, \"expected\": false, \"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."}}