{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["candid_subtyping"],"properties":{"candid_subtyping":{"type":"object","additionalProperties":false,"required":["claim","queries","types"],"properties":{"claim":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"queries":{"type":"array","maxItems":512,"items":{"type":"array","maxItems":512,"items":{"type":"number","minimum":-1000000000000,"maximum":1000000000000}}},"types":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"arguments":{"type":"array","maxItems":512,"items":{"type":"number","minimum":-1000000000000,"maximum":1000000000000}},"element":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"fields":{"type":"array","maxItems":512,"items":{"type":"array","maxItems":512,"items":{"type":"number","minimum":-1000000000000,"maximum":1000000000000}}},"kind":{"type":"string","maxLength":1024},"mode":{"type":"string","maxLength":1024},"results":{"type":"array","maxItems":512,"items":{"type":"number","minimum":-1000000000000,"maximum":1000000000000}}}}}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-A-NEXT-CANDID_SUBTYPING/candid-recursive-variance-subtyping"}