{"id":"partition-result-check","version":"1.0.0","description":"Checks both sides of a claimed stable decimal partition with source witnesses.","supported_operations":["check partition result","validate two way partition","audit stable partition","check partition witnesses","compare claimed partition","validate predicate buckets"],"unsupported_operations":["does not rearrange the source","does not return repaired buckets"],"semantics":["If the complete first-discrepancy verdict would exceed 4,096 UTF-8 JSON bytes, the tool throws limit_exceeded instead of truncating, omitting, or repairing either witness.","Both buckets preserve ascending source index and together contain each source item exactly once.","Matching is the same exact-decimal predicate grammar as filter-result-check; matching discrepancies precede nonmatching discrepancies."],"limits":{"max_items":10000,"max_input_bytes":1000000,"max_output_bytes":4096},"pricing":{"status":"unpriced","charge_usd":null},"input_schema":{"type":"object","additionalProperties":false,"properties":{"source":{"type":"array","maxItems":10000,"items":{"type":["string","null"]}},"predicate":{"type":"object","additionalProperties":false,"properties":{"op":{"type":"string","enum":["eq","ne","lt","lte","gt","gte","is_null","not_null"]},"value":{"type":["string","null"]}},"required":["op"]},"matching":{"type":"array","maxItems":10000,"items":{"type":"object","additionalProperties":false,"properties":{"source_index":{"type":"integer","minimum":0,"maximum":9999},"value":{"type":["string","null"]}},"required":["source_index","value"]}},"nonmatching":{"type":"array","maxItems":10000,"items":{"type":"object","additionalProperties":false,"properties":{"source_index":{"type":"integer","minimum":0,"maximum":9999},"value":{"type":["string","null"]}},"required":["source_index","value"]}}},"required":["source","predicate","matching","nonmatching"]},"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"},"expected":{},"actual":{}},"required":["path","index","expected","actual"]},"reference_version":{"type":"string"}},"required":["valid","reference_version"]},"examples":[{"input":{"source":["1","2"],"predicate":{"op":"gt","value":"1"},"matching":[{"source_index":1,"value":"2"}],"nonmatching":[{"source_index":0,"value":"1"}]},"output":{"valid":true,"reference_version":"ECMA-262-2026-Array-iteration-order+Hoare-1961-selection-invariants"}},{"input":{"source":[null],"predicate":{"op":"is_null"},"matching":[],"nonmatching":[]},"output":{"valid":false,"reason":"missing_item","discrepancy":{"path":"matching","index":0,"expected":{"source_index":0,"value":null},"actual":null},"reference_version":"ECMA-262-2026-Array-iteration-order+Hoare-1961-selection-invariants"}}],"execute_url":"/v1/tools/partition-result-check/versions/1.0.0/execute"}