{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["cppAggregate"],"properties":{"cppAggregate":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["types","clauses","root_type","initializer"],"properties":{"types":{"type":"array","items":{"anyOf":[{"type":"object","additionalProperties":false,"required":["id","kind","name"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"kind":{"const":"scalar"},"name":{"enum":["int","double","char","bool"]}}},{"type":"object","additionalProperties":false,"required":["id","kind","element","count"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"kind":{"const":"array"},"element":{"$ref":"#/properties/artifact/%24defs/a"},"count":{"type":"integer","minimum":1,"maximum":16}}},{"type":"object","additionalProperties":false,"required":["id","kind","fields"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"kind":{"enum":["record","union"]},"fields":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["name","type","default"],"properties":{"name":{"$ref":"#/properties/artifact/%24defs/a"},"type":{"$ref":"#/properties/artifact/%24defs/a"},"default":{"anyOf":[{"type":"null"},{"anyOf":[{"type":"object","additionalProperties":false,"required":["type","value"],"properties":{"type":{"enum":["int","double"]},"value":{"type":"number","minimum":-1000000,"maximum":1000000}}},{"type":"object","additionalProperties":false,"required":["type","value"],"properties":{"type":{"const":"bool"},"value":{"type":"boolean"}}}]}]}}},"maxItems":16}}}]},"minItems":1,"maxItems":32},"clauses":{"type":"array","items":{"anyOf":[{"type":"object","additionalProperties":false,"required":["id","kind","type","value"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"kind":{"const":"literal"},"type":{"enum":["int","double"]},"value":{"type":"number","minimum":-1000000,"maximum":1000000}}},{"type":"object","additionalProperties":false,"required":["id","kind","type","value"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"kind":{"const":"literal"},"type":{"const":"bool"},"value":{"type":"boolean"}}},{"type":"object","additionalProperties":false,"required":["id","kind","elements"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"kind":{"const":"list"},"elements":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/a"},"maxItems":64}}}]},"minItems":1,"maxItems":64},"root_type":{"$ref":"#/properties/artifact/%24defs/a"},"initializer":{"$ref":"#/properties/artifact/%24defs/a"}}},"claim":{"type":["string","null"],"minLength":64,"maxLength":64,"pattern":"^[0-9a-f]{64}$"}}}},"$defs":{"a":{"type":"string","minLength":1,"maxLength":48,"pattern":"^[A-Za-z_][A-Za-z0-9_.-]*$","not":{"type":"string","pattern":"[\\r\\n

]"}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-16/cpp23-aggregate-initializer-clause-appertainment-brace-elision-value-ledger"}