{"id":"sequence-key-order-check","version":"1.0.0","description":"Check an exact stable ordering claim for bounded records by a scalar key.","supported_operations":["Check an exact stable ordering claim for bounded records by a scalar key.","verify record key ordering","check keyed index certificate","validate rows sorted by field","locate keyed order mismatch","audit property based ranking"],"unsupported_operations":["sorting data into a replacement result","locale-aware or floating-point ordering"],"semantics":["Values use the total type order null, boolean, safe integer, string; strings compare Unicode scalar values lexicographically.","Equal values retain source-index order; claims are exact source-index permutations and are never repaired.","Every verdict names ECMA-262-2026-SameValue-relational+ISO-IEC-9899-2018-7.24.4.2."],"limits":{"max_input_bytes":262144,"max_items":10000,"max_string_code_points":4096},"pricing":{"status":"unpriced","charge_usd":null},"input_schema":{"type":"object","additionalProperties":false,"properties":{"source":{"type":"array","maxItems":10000,"items":{"type":"object","additionalProperties":{"type":["string","number","boolean","null"]},"maxProperties":32}},"claim":{"type":"array","maxItems":10000,"items":{"type":"integer","minimum":0,"maximum":9999}},"direction":{"type":"string","enum":["ascending","descending"]},"key":{"type":"string","minLength":1,"maxLength":64}},"required":["source","claim","direction","key"]},"output_schema":{"type":"object","additionalProperties":false,"properties":{"valid":{"type":"boolean"},"reason":{"type":"string"},"discrepancy":{"type":"object","additionalProperties":false,"properties":{"path":{"type":"string"},"index":{"type":"integer","minimum":0},"expected":{"type":["integer","null"]},"actual":{"type":["integer","null"]}},"required":["path","index","expected","actual"]},"reference_version":{"type":"string"}},"required":["valid","reference_version"]},"examples":[{"input":{"source":[{"id":"b","n":2},{"id":"a","n":1}],"claim":[1,0],"direction":"ascending","key":"n"},"output":{"valid":true,"reference_version":"ECMA-262-2026-SameValue-relational+ISO-IEC-9899-2018-7.24.4.2"}},{"input":{"source":[{"n":1},{"n":2}],"claim":[1,0],"direction":"ascending","key":"n"},"output":{"valid":false,"reason":"claim_mismatch","discrepancy":{"path":"/claim/0","index":0,"expected":0,"actual":1},"reference_version":"ECMA-262-2026-SameValue-relational+ISO-IEC-9899-2018-7.24.4.2"}}],"execute_url":"/v1/tools/sequence-key-order-check/versions/1.0.0/execute"}