{"id":"stable-sort-result-check","version":"1.0.0","description":"Check that a claimed record result is the exact ascending stable sort of the supplied source records.","supported_operations":["check stable sorted result","validate claimed stable sort output","compare records with stable sort","detect first stable sorting discrepancy","check equal key record order","verify exact sorted record claim"],"unsupported_operations":["sort records for the caller","compare floating point or locale text keys"],"semantics":["Keys are canonical base-10 integer strings; negative zero is rejected, and null follows every integer.","Equal keys retain source index order, as required by ECMA-262 Array.prototype.sort stability; ids are unique and records must match exactly.","The first mismatch is reported at the lowest claimed-result index; the claim is never repaired.","Every verdict names ECMA-262-2026-draft-Array.prototype.sort."],"limits":{"max_items":4096,"max_key_chars":40,"max_id_chars":80},"pricing":{"status":"unpriced","charge_usd":null},"input_schema":{"type":"object","additionalProperties":false,"required":["source","claimed_result"],"properties":{"source":{"type":"array","minItems":1,"maxItems":4096,"items":{"type":"object","additionalProperties":false,"required":["id","key"],"properties":{"id":{"type":"string","minLength":1,"maxLength":80},"key":{"type":["string","null"],"maxLength":40,"pattern":"^(0|-?[1-9][0-9]*)$"}}}},"claimed_result":{"type":"array","minItems":1,"maxItems":4096,"items":{"type":"object","additionalProperties":false,"required":["id","key"],"properties":{"id":{"type":"string","minLength":1,"maxLength":80},"key":{"type":["string","null"],"maxLength":40,"pattern":"^(0|-?[1-9][0-9]*)$"}}}}}},"output_schema":{"type":"object","additionalProperties":false,"required":["valid","reference_version"],"properties":{"valid":{"type":"boolean"},"reason":{"type":"string","minLength":1,"maxLength":80},"discrepancy":{"type":"object","additionalProperties":false,"required":["path","expected","actual"],"properties":{"path":{"type":"string","minLength":1,"maxLength":120},"expected":{},"actual":{}}},"reference_version":{"const":"ECMA-262-2026-draft-Array.prototype.sort"}}},"examples":[{"input":{"source":[{"id":"a","key":"2"},{"id":"b","key":"1"}],"claimed_result":[{"id":"b","key":"1"},{"id":"a","key":"2"}]},"output":{"valid":true,"reference_version":"ECMA-262-2026-draft-Array.prototype.sort"}},{"input":{"source":[{"id":"a","key":"1"},{"id":"b","key":"1"}],"claimed_result":[{"id":"b","key":"1"},{"id":"a","key":"1"}]},"output":{"valid":false,"reason":"result_mismatch","discrepancy":{"path":"/claimed_result/0","expected":{"id":"a","key":"1"},"actual":{"id":"b","key":"1"}},"reference_version":"ECMA-262-2026-draft-Array.prototype.sort"}}],"execute_url":"/v1/tools/stable-sort-result-check/versions/1.0.0/execute"}