{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["timedZones"],"properties":{"timedZones":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["clocks","locations","edges","start"],"properties":{"clocks":{"type":"integer","minimum":1,"maximum":2},"locations":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["upper","constraints"],"properties":{"upper":{"type":"array","items":{"type":"integer","minimum":0,"maximum":255},"minItems":1,"maxItems":2},"constraints":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":-100,"maximum":100},"minItems":3,"maxItems":3},"minItems":0,"maxItems":12}}},"minItems":1,"maxItems":6},"edges":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["from","to","guard","reset"],"properties":{"from":{"type":"integer","minimum":0,"maximum":255},"to":{"type":"integer","minimum":0,"maximum":255},"guard":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":-100,"maximum":100},"minItems":3,"maxItems":3},"minItems":0,"maxItems":12},"reset":{"type":"array","items":{"type":"integer","minimum":0,"maximum":255},"minItems":0,"maxItems":2}}},"minItems":0,"maxItems":24},"start":{"type":"integer","minimum":0,"maximum":255}}},"claim":{}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-REST-B20/bounded-closed-timed-automaton-exact-zone-location-reachability"}