{"abstract":"Nested required fields are checked on the outer object.","category":"Tool call schema validation","checks":6,"contract":"For a path of keys, return true only when every key exists and the terminal mapping contains the required key.","contract_signature":"obj, path, required","evaluation_group":"w3-schema-nested-required-properties","failed_approach":"Checking only the immediate child fails for paths of depth greater than one.","family":"w3-tool-call-schema-validation-nested-required-properties","id":"FA-99801","implementations":{"attempt":{"sha256":"2356bc921f6a99622ba46333388c0deeaad38f03e6a0d96ce1e5bbf46aece9aa","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(obj, path, required):\n    return bool(path) and path[0] in obj and isinstance(obj[path[0]],dict) and required in obj[path[0]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('depth three',solve({'a':{'b':{'c':N}}},['a','b'],'c'),True)\ncheck('missing terminal key',solve({'a':{'b':{}}},['a','b'],'c'),False)\ncheck('missing intermediate',solve({'a':{}},['a','b'],'c'),False)\ncheck('empty path',solve({'c':1},[],'c'),True)\ncheck('falsey terminal value',solve({'a':{'b':{'c':False}}},['a','b'],'c'),True)\ncheck('nonmapping intermediate',solve({'a':N},['a'],'c'),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":"72a47abe4fc14757270300bfbd307776dcaebcd2381b10fa8eba4dd45b5e7ade","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(obj, path, required):\n    return required in obj\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('depth three',solve({'a':{'b':{'c':N}}},['a','b'],'c'),True)\ncheck('missing terminal key',solve({'a':{'b':{}}},['a','b'],'c'),False)\ncheck('missing intermediate',solve({'a':{}},['a','b'],'c'),False)\ncheck('empty path',solve({'c':1},[],'c'),True)\ncheck('falsey terminal value',solve({'a':{'b':{'c':False}}},['a','b'],'c'),True)\ncheck('nonmapping intermediate',solve({'a':N},['a'],'c'),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-nested-required-properties","generated_at":"2026-09-30T16:48:28.524600+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":"A nested requirement is mistakenly looked up at the root.","sha256":"bbddb53d58feec18b4e1c16e00ee19f62a2edcbdcdefe3888cefcd35fa37716e","title":"Nested required fields are checked on the outer object · 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":26.557,"exit_code":1,"observations":[{"actual":false,"check":"depth three","expected":true,"passed":false},{"actual":false,"check":"missing terminal key","expected":false,"passed":true},{"actual":false,"check":"missing intermediate","expected":false,"passed":true},{"actual":false,"check":"empty path","expected":true,"passed":false},{"actual":false,"check":"falsey terminal value","expected":true,"passed":false},{"actual":false,"check":"nonmapping intermediate","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"depth three\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"missing terminal key\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"missing intermediate\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty path\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"falsey terminal value\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"nonmapping intermediate\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":30.915,"exit_code":1,"observations":[{"actual":false,"check":"depth three","expected":true,"passed":false},{"actual":false,"check":"missing terminal key","expected":false,"passed":true},{"actual":false,"check":"missing intermediate","expected":false,"passed":true},{"actual":true,"check":"empty path","expected":true,"passed":true},{"actual":false,"check":"falsey terminal value","expected":true,"passed":false},{"actual":false,"check":"nonmapping intermediate","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"depth three\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"missing terminal key\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"missing intermediate\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty path\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"falsey terminal value\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"nonmapping intermediate\", \"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."}}