{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["congruence"],"properties":{"congruence":{"type":"object","additionalProperties":false,"required":["terms","equalities","disequalities","queries","claim"],"properties":{"terms":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["symbol","args"],"properties":{"symbol":{"type":"integer","minimum":0,"maximum":31},"args":{"type":"array","items":{"type":"integer","minimum":0,"maximum":31},"maxItems":3,"minItems":0}}},"maxItems":32,"minItems":0},"equalities":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":31},"maxItems":2,"minItems":2},"maxItems":64,"minItems":0},"disequalities":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":31},"maxItems":2,"minItems":2},"maxItems":64,"minItems":0},"queries":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":31},"maxItems":2,"minItems":2},"maxItems":64,"minItems":0},"claim":{"type":"object","additionalProperties":false,"required":["equivalence_classes","query_equalities","disequality_conflicts","consistent"],"properties":{"equivalence_classes":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":31},"maxItems":32,"minItems":0},"maxItems":32,"minItems":0},"query_equalities":{"type":"array","items":{"type":"boolean"},"maxItems":64,"minItems":0},"disequality_conflicts":{"type":"array","items":{"type":"boolean"},"maxItems":64,"minItems":0},"consistent":{"type":"boolean"}}}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/ground-euf-congruence-closure-claims"}