{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["weightedAutomata"],"properties":{"weightedAutomata":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["left","right"],"properties":{"left":{"type":"object","additionalProperties":false,"required":["initial","final","transitions"],"properties":{"initial":{"type":"array","items":{"type":"integer","minimum":-100,"maximum":100},"minItems":1,"maxItems":4},"final":{"type":"array","items":{"type":"integer","minimum":-100,"maximum":100},"minItems":1,"maxItems":4},"transitions":{"type":"array","items":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":-100,"maximum":100},"minItems":1,"maxItems":8},"minItems":1,"maxItems":8},"minItems":1,"maxItems":3}}},"right":{"type":"object","additionalProperties":false,"required":["initial","final","transitions"],"properties":{"initial":{"type":"array","items":{"type":"integer","minimum":-100,"maximum":100},"minItems":1,"maxItems":4},"final":{"type":"array","items":{"type":"integer","minimum":-100,"maximum":100},"minItems":1,"maxItems":4},"transitions":{"type":"array","items":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":-100,"maximum":100},"minItems":1,"maxItems":8},"minItems":1,"maxItems":8},"minItems":1,"maxItems":3}}}}},"claim":{}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-REST-B20/rational-weighted-automata-series-equivalence-shortest-witness"}