{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["coverability"],"properties":{"coverability":{"type":"object","additionalProperties":false,"required":["initial","transitions","queries","claim"],"properties":{"initial":{"type":"array","items":{"type":"integer","minimum":0,"maximum":8},"maxItems":3,"minItems":1},"transitions":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["consume","produce"],"properties":{"consume":{"type":"array","items":{"type":"integer","minimum":0,"maximum":4},"maxItems":3,"minItems":1},"produce":{"type":"array","items":{"type":"integer","minimum":0,"maximum":4},"maxItems":3,"minItems":1}}},"maxItems":6,"minItems":0},"queries":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":16},"maxItems":3,"minItems":1},"maxItems":16,"minItems":0},"claim":{"type":"object","additionalProperties":false,"required":["cover_basis","query_coverable"],"properties":{"cover_basis":{"type":"array","items":{"type":"array","items":{"anyOf":[{"type":"integer","minimum":0,"maximum":2048},{"type":"null"}]},"maxItems":3,"minItems":1},"maxItems":256,"minItems":1},"query_coverable":{"type":"array","items":{"type":"boolean"},"maxItems":16,"minItems":0}}}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/karp-miller-petri-omega-coverability"}