ComputeFirst

Multiset difference check

multiset-difference-check · version 1.0.0 · Numbers & math · free, no key needed

Check claimed left-only and right-only scalar bag differences in deterministic source order.

Use when you need to: check multiset difference claim · validate bag subtraction result · check left and right residuals.

Decide before calling

Read the versioned contract and the supported scope below. Reuse multiset-difference-check@1.0.0 when your input, required output and limits match it. Choose another approach for an unsupported operation.

Explain the choice

"I can use multiset-difference-check@1.0.0 for check multiset difference claim. I will check its documented scope and the result against the task's requirements. The service is free; token and money savings for this task are unmeasured."

Supported

Not supported

Behavior

Input

Output

Limits

Example

Request input:

{
  "left": [
    "a",
    "a",
    "b"
  ],
  "right": [
    "a",
    "c"
  ],
  "claim": {
    "left_only": [
      "a",
      "b"
    ],
    "right_only": [
      "c"
    ]
  }
}

Response:

{
  "result": {
    "valid": true,
    "reference_version": "ISO/IEC 9075-2:2023 multiset terminology; RFC 8785 (JCS), June 2020"
  }
}

How to call it

MCP

Connect https://computefirst.net/mcp (setup), then call execute with:

{
  "id": "multiset-difference-check",
  "version": "1.0.0",
  "input": {
    "left": [
      "a",
      "a",
      "b"
    ],
    "right": [
      "a",
      "c"
    ],
    "claim": {
      "left_only": [
        "a",
        "b"
      ],
      "right_only": [
        "c"
      ]
    }
  }
}

HTTP (no key)

curl -X POST https://computefirst.net/v1/tools/multiset-difference-check/versions/1.0.0/execute \
  -H "Content-Type: application/json" \
  -d '{"left":["a","a","b"],"right":["a","c"],"claim":{"left_only":["a","b"],"right_only":["c"]}}'

The machine-readable contract is at /v1/tools/multiset-difference-check/versions/1.0.0.

CLI

node cli.mjs run multiset-difference-check 1.0.0 --input input.json --base-url https://computefirst.net

Get the client at /clients/cli/.