{
  "P": {
    "raw": {
      "compare": {
        "P|new|L16|r0|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L16|r0|q1": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L16|r0|q10": {
          "verdict": "ok",
          "count": 2570,
          "problems": []
        },
        "P|new|L16|r0|q11": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L16|r0|q12": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r0|q13": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r0|q14": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r0|q15": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r0|q2": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L16|r0|q3": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r0|q4": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r0|q5": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L16|r0|q6": {
          "verdict": "ok",
          "count": 2570,
          "problems": []
        },
        "P|new|L16|r0|q7": {
          "verdict": "ok",
          "count": 2566,
          "problems": []
        },
        "P|new|L16|r0|q8": {
          "verdict": "ok",
          "count": 2566,
          "problems": []
        },
        "P|new|L16|r0|q9": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r1|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L16|r1|q1": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L16|r1|q10": {
          "verdict": "ok",
          "count": 2570,
          "problems": []
        },
        "P|new|L16|r1|q11": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L16|r1|q12": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r1|q13": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r1|q14": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r1|q15": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r1|q2": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L16|r1|q3": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r1|q4": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r1|q5": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L16|r1|q6": {
          "verdict": "ok",
          "count": 2570,
          "problems": []
        },
        "P|new|L16|r1|q7": {
          "verdict": "ok",
          "count": 2566,
          "problems": []
        },
        "P|new|L16|r1|q8": {
          "verdict": "ok",
          "count": 2566,
          "problems": []
        },
        "P|new|L16|r1|q9": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r2|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L16|r2|q1": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L16|r2|q10": {
          "verdict": "ok",
          "count": 2570,
          "problems": []
        },
        "P|new|L16|r2|q11": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L16|r2|q12": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r2|q13": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r2|q14": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r2|q15": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r2|q2": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L16|r2|q3": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r2|q4": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r2|q5": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L16|r2|q6": {
          "verdict": "ok",
          "count": 2570,
          "problems": []
        },
        "P|new|L16|r2|q7": {
          "verdict": "ok",
          "count": 2566,
          "problems": []
        },
        "P|new|L16|r2|q8": {
          "verdict": "ok",
          "count": 2566,
          "problems": []
        },
        "P|new|L16|r2|q9": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r3|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L16|r3|q1": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L16|r3|q10": {
          "verdict": "ok",
          "count": 2570,
          "problems": []
        },
        "P|new|L16|r3|q11": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L16|r3|q12": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r3|q13": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r3|q14": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r3|q15": {
          "verdict": "ok",
          "count": 2565,
          "problems": []
        },
        "P|new|L16|r3|q2": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L16|r3|q3": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r3|q4": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L16|r3|q5": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L16|r3|q6": {
          "verdict": "ok",
          "count": 2570,
          "problems": []
        },
        "P|new|L16|r3|q7": {
          "verdict": "ok",
          "count": 2566,
          "problems": []
        },
        "P|new|L16|r3|q8": {
          "verdict": "ok",
          "count": 2566,
          "problems": []
        },
        "P|new|L16|r3|q9": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L1|r0|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L1|r1|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L1|r2|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L1|r3|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L4|r0|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L4|r0|q1": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L4|r0|q2": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L4|r0|q3": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L4|r1|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L4|r1|q1": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L4|r1|q2": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L4|r1|q3": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L4|r2|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L4|r2|q1": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L4|r2|q2": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L4|r2|q3": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|new|L4|r3|q0": {
          "verdict": "ok",
          "count": 2572,
          "problems": []
        },
        "P|new|L4|r3|q1": {
          "verdict": "ok",
          "count": 2563,
          "problems": []
        },
        "P|new|L4|r3|q2": {
          "verdict": "ok",
          "count": 2564,
          "problems": []
        },
        "P|new|L4|r3|q3": {
          "verdict": "ok",
          "count": 2568,
          "problems": []
        },
        "P|q0": {
          "verdict": "ok",
          "count": 2553,
          "problems": []
        },
        "P|q1": {
          "verdict": "ok",
          "count": 2560,
          "problems": []
        },
        "P|q10": {
          "verdict": "ok",
          "count": 2556,
          "problems": []
        },
        "P|q11": {
          "verdict": "ok",
          "count": 2558,
          "problems": []
        },
        "P|q12": {
          "verdict": "ok",
          "count": 2552,
          "problems": []
        },
        "P|q13": {
          "verdict": "ok",
          "count": 2556,
          "problems": []
        },
        "P|q14": {
          "verdict": "ok",
          "count": 2553,
          "problems": []
        },
        "P|q15": {
          "verdict": "ok",
          "count": 2553,
          "problems": []
        },
        "P|q16": {
          "verdict": "ok",
          "count": 2553,
          "problems": []
        },
        "P|q2": {
          "verdict": "ok",
          "count": 2551,
          "problems": []
        },
        "P|q3": {
          "verdict": "ok",
          "count": 2552,
          "problems": []
        },
        "P|q4": {
          "verdict": "ok",
          "count": 2556,
          "problems": []
        },
        "P|q5": {
          "verdict": "ok",
          "count": 2556,
          "problems": []
        },
        "P|q6": {
          "verdict": "ok",
          "count": 2551,
          "problems": []
        },
        "P|q7": {
          "verdict": "ok",
          "count": 2558,
          "problems": []
        },
        "P|q8": {
          "verdict": "ok",
          "count": 2554,
          "problems": []
        },
        "P|q9": {
          "verdict": "ok",
          "count": 2554,
          "problems": []
        }
      },
      "refused_prompts": {}
    },
    "rule": "SPEC \u03946, R-P2 (a gate): every string an arm sends on the raw path tokenizes to the same IDs (count and sha256 of the list) on every engine the arm uses, with BOS first exactly once; otherwise that prompt is REFUSED for that engine pair and carries no scored row"
  },
  "os": {
    "pretty_name": "Ubuntu 26.04 LTS",
    "id": "ubuntu",
    "version_id": "26.04",
    "kernel": "7.0.0-31-generic",
    "arch": "x86_64",
    "source": "/etc/os-release"
  },
  "withheld": []
}