{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["pairs","claims"],"properties":{"pairs":{"type":"array","minItems":1,"maxItems":256,"items":{"type":"object","additionalProperties":false,"required":["left_hex","right_hex","claimed_relation"],"properties":{"left_hex":{"type":"string","minLength":1,"maxLength":32,"pattern":"^[0-9a-fA-F]+$"},"right_hex":{"type":"string","minLength":1,"maxLength":32,"pattern":"^[0-9a-fA-F]+$"},"claimed_relation":{"type":"number"}}}},"claims":{"type":"object","additionalProperties":false,"required":["pairs","left_before","right_before","identical_encoding","negative_nan_operands","positive_nan_operands","negative_zero_operands","positive_zero_operands"],"properties":{"pairs":{"type":"number"},"left_before":{"type":"number"},"right_before":{"type":"number"},"identical_encoding":{"type":"number"},"negative_nan_operands":{"type":"number"},"positive_nan_operands":{"type":"number"},"negative_zero_operands":{"type":"number"},"positive_zero_operands":{"type":"number"}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-B-NIGHT-IEEE754_TOTALORDER/ieee754-binary64-total-order-encoding-claims"}