{"abstract":"Invalid array elements escape item validation.","category":"Tool call schema validation","checks":6,"contract":"Every array item must be in the declared allowed set; empty arrays are valid.","contract_signature":"values, allowed","evaluation_group":"xh-unsupported-coding-is-rejected-before-body-decoding","failed_approach":"Rejecting arrays longer than one fixes some examples but excludes valid arrays.","family":"w3-tool-call-schema-validation-array-item-validation","id":"FA-99786","implementations":{"attempt":{"sha256":"4e3e26fefbf21d4ed3627aad0cb8de78da366159c1935ed325f9092eaacb1ea9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(values, allowed):\n    return len(values)<=1 and all(v in allowed for v in values)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('valid singleton',solve([N],[N]),True)\ncheck('invalid first',solve(['x',N],[N]),False)\ncheck('invalid later',solve([N,'x'],[N]),False)\ncheck('empty array',solve([],[]),True)\ncheck('all allowed repeats',solve([N,N],[N]),True)\ncheck('all disallowed',solve(['x','y'],[N]),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":"cb6aebafa77f7c5d08603a76141d152e148e0abcc01fb90bdd92a3f7c4e86237","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(values, allowed):\n    return not values or values[0] in allowed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('valid singleton',solve([N],[N]),True)\ncheck('invalid first',solve(['x',N],[N]),False)\ncheck('invalid later',solve([N,'x'],[N]),False)\ncheck('empty array',solve([],[]),True)\ncheck('all allowed repeats',solve([N,N],[N]),True)\ncheck('all disallowed',solve(['x','y'],[N]),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-array-item-validation","generated_at":"2026-09-30T16:48:28.064631+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 the first array member is checked.","sha256":"19865ca34ea48da13b8762236ce959c947f7477d7d29fd061e646cda331e0a83","title":"Invalid array elements escape item validation · 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":29.482,"exit_code":1,"observations":[{"actual":true,"check":"valid singleton","expected":true,"passed":true},{"actual":false,"check":"invalid first","expected":false,"passed":true},{"actual":false,"check":"invalid later","expected":false,"passed":true},{"actual":true,"check":"empty array","expected":true,"passed":true},{"actual":false,"check":"all allowed repeats","expected":true,"passed":false},{"actual":false,"check":"all disallowed","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"valid singleton\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"invalid first\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"invalid later\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty array\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"all allowed repeats\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"all disallowed\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":27.564,"exit_code":1,"observations":[{"actual":true,"check":"valid singleton","expected":true,"passed":true},{"actual":false,"check":"invalid first","expected":false,"passed":true},{"actual":true,"check":"invalid later","expected":false,"passed":false},{"actual":true,"check":"empty array","expected":true,"passed":true},{"actual":true,"check":"all allowed repeats","expected":true,"passed":true},{"actual":false,"check":"all disallowed","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"valid singleton\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"invalid first\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"invalid later\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"empty array\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"all allowed repeats\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"all disallowed\", \"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."}}