{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["rust_variance"],"properties":{"rust_variance":{"type":"object","additionalProperties":false,"required":["claim","definitions"],"properties":{"claim":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"definitions":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["fields","parameters"],"properties":{"fields":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"arguments":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"arguments":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["index","kind"],"properties":{"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024}}}},"definition":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024},"result":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"kind":{"type":"string","maxLength":1024}}},"target":{"type":"object","additionalProperties":false,"required":["index","kind"],"properties":{"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024}}}}}},"definition":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"fields":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"arguments":{"type":"array","maxItems":512,"items":{}},"definition":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024},"target":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"arguments":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["index","kind"],"properties":{"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024}}}},"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024},"result":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"kind":{"type":"string","maxLength":1024}}}}}}}},"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024},"result":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024}}},"target":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"arguments":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["index","kind"],"properties":{"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024}}}},"definition":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024},"result":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"kind":{"type":"string","maxLength":1024}}},"target":{"type":"object","additionalProperties":false,"required":["kind","target"],"properties":{"kind":{"type":"string","maxLength":1024},"target":{"type":"object","additionalProperties":false,"required":["index","kind"],"properties":{"index":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"kind":{"type":"string","maxLength":1024}}}}}}}}}},"parameters":{"type":"number","minimum":-1000000000000,"maximum":1000000000000}}}}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-A-NIGHT-OS-RUST-VARIANCE/rust-generic-variance-constraint-fixedpoint"}