{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"$schema":"https://json-schema.org/draft/2020-12/schema","type":"object","properties":{"knuthBendix":{"type":"object","properties":{"data":{"type":"object","properties":{"arities":{"type":"array","items":{"type":"integer","minimum":0,"maximum":3},"maxItems":12},"precedence":{"type":"array","items":{"type":"integer","minimum":0,"maximum":11},"maxItems":12},"equations":{"type":"array","items":{"type":"object","properties":{"left":{"$ref":"#/properties/artifact/%24defs/term"},"right":{"$ref":"#/properties/artifact/%24defs/term"}},"additionalProperties":false,"minProperties":2},"maxItems":12},"queries":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/term"},"maxItems":16}},"additionalProperties":false,"minProperties":4},"claim":{"$ref":"#/properties/artifact/%24defs/json"}},"additionalProperties":false,"minProperties":2}},"additionalProperties":false,"minProperties":1,"$defs":{"json":{"anyOf":[{"type":"null"},{"type":"boolean"},{"type":"number"},{"type":"string","maxLength":16000},{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":16000},{"type":"object","additionalProperties":{"$ref":"#/properties/artifact/%24defs/json"},"maxProperties":16000}]},"term":{"anyOf":[{"type":"object","properties":{"variable":{"type":"integer","minimum":0,"maximum":31}},"additionalProperties":false,"minProperties":1},{"type":"object","properties":{"symbol":{"type":"integer","minimum":0,"maximum":11},"arguments":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/term"},"maxItems":3}},"additionalProperties":false,"minProperties":2}]}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-15/firstorder-lpo-oriented-knuth-bendix-completion-confluence-certificate"}