{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["cppConstraints"],"properties":{"cppConstraints":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["origins","expressions","concepts","constraints"],"properties":{"origins":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["id","arity"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"arity":{"type":"integer","minimum":1,"maximum":3}}},"minItems":1,"maxItems":16},"expressions":{"type":"array","items":{"anyOf":[{"type":"object","additionalProperties":false,"required":["id","kind","origin","arguments"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"kind":{"const":"atom"},"origin":{"$ref":"#/properties/artifact/%24defs/a"},"arguments":{"$ref":"#/properties/artifact/%24defs/b"}}},{"type":"object","additionalProperties":false,"required":["id","kind","left","right"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"kind":{"enum":["and","or"]},"left":{"$ref":"#/properties/artifact/%24defs/a"},"right":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["id","kind","concept","arguments"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"kind":{"const":"concept"},"concept":{"$ref":"#/properties/artifact/%24defs/a"},"arguments":{"$ref":"#/properties/artifact/%24defs/b"}}}]},"minItems":1,"maxItems":64},"concepts":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["id","parameters","expression"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"parameters":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/a"},"minItems":1,"maxItems":3},"expression":{"$ref":"#/properties/artifact/%24defs/a"}}},"maxItems":16},"constraints":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["expression","bindings"],"properties":{"expression":{"$ref":"#/properties/artifact/%24defs/a"},"bindings":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["parameter","type"],"properties":{"parameter":{"$ref":"#/properties/artifact/%24defs/a"},"type":{"$ref":"#/properties/artifact/%24defs/a"}}},"maxItems":16}}},"minItems":1,"maxItems":8}}},"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

]"}},"b":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["kind","value"],"properties":{"kind":{"enum":["type","parameter"]},"value":{"$ref":"#/properties/artifact/%24defs/a"}}},"minItems":1,"maxItems":3}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-16/cpp23-constraint-normalization-atomic-identity-dnf-cnf-subsumption"}