{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["c_arithmetic"],"properties":{"c_arithmetic":{"type":"object","additionalProperties":false,"required":["claim","expressions","int_bits"],"properties":{"claim":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"expressions":{"type":"array","maxItems":512,"items":{"type":"object","additionalProperties":false,"required":["left","left_type","op","right","right_type"],"properties":{"left":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"left_type":{"type":"object","additionalProperties":false,"required":["bits","rank","signed"],"properties":{"bits":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"rank":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"signed":{"type":"boolean"}}},"op":{"type":"string","maxLength":1024},"right":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"right_type":{"type":"object","additionalProperties":false,"required":["bits","rank","signed"],"properties":{"bits":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"rank":{"type":"number","minimum":-1000000000000,"maximum":1000000000000},"signed":{"type":"boolean"}}}}}},"int_bits":{"type":"number","minimum":-1000000000000,"maximum":1000000000000}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-A-NEXT-C_ARITHMETIC/c-integer-usual-conversion-definedness"}