{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["ltl_lasso"],"properties":{"ltl_lasso":{"type":"object","additionalProperties":false,"required":["labels","loop","formula","claim"],"properties":{"labels":{"type":"array","minItems":1,"maxItems":32,"items":{"type":"integer","minimum":0,"maximum":255}},"loop":{"type":"integer","minimum":0,"maximum":31},"formula":{"type":"array","minItems":2,"maxItems":3,"items":{}},"claim":{"type":"array","minItems":0,"maxItems":32,"items":{"type":"boolean"}}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-NIGHT-ECMA/ltl-ultimately-periodic-trace-fixedpoint-truth"}