{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["kripke_model"],"properties":{"kripke_model":{"type":"object","additionalProperties":false,"required":["order","labels","formula","claim"],"properties":{"order":{"type":"array","minItems":1,"maxItems":16,"items":{"type":"array","minItems":1,"maxItems":16,"items":{"type":"boolean"}}},"labels":{"type":"array","minItems":1,"maxItems":16,"items":{"type":"integer","minimum":0,"maximum":255}},"formula":{"type":"array","minItems":1,"maxItems":3,"items":{}},"claim":{"type":"array","minItems":0,"maxItems":16,"items":{"type":"boolean"}}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-NIGHT-ECMA/intuitionistic-kripke-monotone-forcing-model"}