{"id":"multiset-difference-check","version":"1.0.0","description":"Check claimed left-only and right-only scalar bag differences in deterministic source order.","supported_operations":["check multiset difference claim","validate bag subtraction result","check left and right residuals","verify duplicate difference","audit claimed array difference","compare claimed bag delta"],"unsupported_operations":["compute a replacement claim","compare nested JSON values"],"semantics":["Bag subtraction removes matching occurrences one for one using RFC 8785 scalar serialization; -0 equals 0.","Residuals must appear in their original source order; left_only is checked completely before right_only.","Missing positions use null as the representable absence marker in discrepancies; null data remains distinguished by the path and list length.","Every output names ISO/IEC 9075-2:2023 multiset terminology; RFC 8785 (JCS), June 2020."],"limits":{"max_items":10000,"max_distinct":10000},"pricing":{"status":"unpriced","charge_usd":null},"input_schema":{"type":"object","additionalProperties":false,"required":["left","right","claim"],"properties":{"left":{"type":"array","maxItems":10000,"items":{"type":["string","number","boolean","null"]}},"right":{"type":"array","maxItems":10000,"items":{"type":["string","number","boolean","null"]}},"claim":{"type":"object","additionalProperties":false,"required":["left_only","right_only"],"properties":{"left_only":{"type":"array","maxItems":10000,"items":{"type":["string","number","boolean","null"]}},"right_only":{"type":"array","maxItems":10000,"items":{"type":["string","number","boolean","null"]}}}}}},"output_schema":{"type":"object","additionalProperties":false,"required":["valid","reference_version"],"properties":{"valid":{"type":"boolean"},"reason":{"type":"string","enum":["claim_mismatch"]},"discrepancy":{"type":"object","additionalProperties":false,"required":["path"],"properties":{"path":{"type":"string"},"expected":{},"actual":{}}},"reference_version":{"type":"string","const":"ISO/IEC 9075-2:2023 multiset terminology; RFC 8785 (JCS), June 2020"}}},"examples":[{"input":{"left":["a","a","b"],"right":["a","c"],"claim":{"left_only":["a","b"],"right_only":["c"]}},"output":{"valid":true,"reference_version":"ISO/IEC 9075-2:2023 multiset terminology; RFC 8785 (JCS), June 2020"}},{"input":{"left":[1],"right":[],"claim":{"left_only":[],"right_only":[]}},"output":{"valid":false,"reason":"claim_mismatch","discrepancy":{"path":"/left_only/0","expected":1,"actual":null},"reference_version":"ISO/IEC 9075-2:2023 multiset terminology; RFC 8785 (JCS), June 2020"}}],"execute_url":"/v1/tools/multiset-difference-check/versions/1.0.0/execute"}