{
  "schema": "DAT009_PROBE_CASES_v1",
  "probes": [
    {
      "id": "EXACT_VS_ANN_RECALL",
      "purpose": "Compare ANN top-k with the exact top-k anchor and compute observed recall@k; a perfect tiny-fixture result is still bounded evidence.",
      "pre_solved": false
    },
    {
      "id": "FILTER_CANDIDATE_LOSS",
      "purpose": "Compare a restrictive category-filtered ANN query against an exact filtered baseline; inspect iterative-scan behavior only if observed/justified.",
      "pre_solved": false
    },
    {
      "id": "EMBEDDING_VERSION_BREAK",
      "purpose": "Temporarily mark one vector as support-embed-v2 and reject clean comparability until provenance is restored.",
      "pre_solved": false
    },
    {
      "id": "NAIVE_SCORE_ADDITION",
      "purpose": "Demonstrate that raw lexical score and vector distance/similarity are not automatically on a compatible scale.",
      "pre_solved": false
    },
    {
      "id": "METRIC_OPCLASS_MISMATCH",
      "purpose": "Static/runtime submission gate rejects a declared vector distance operator paired with the wrong pgvector operator class.",
      "pre_solved": false
    }
  ]
}