{
  "candidate_revision": "8958ae93ff196bdc5fbcfd08ae12f81445c5d28c",
  "reviewer": "lead; not independent",
  "review_timing": "After final freeze and holdout admission; no tuning follows.",
  "application_changes": 0,
  "frozen_fixture_writes": 0,
  "database_used": "Separate test PostgreSQL; read-only VALUES queries.",
  "new_generation_calls": 0,
  "numeric_scores_changed": false,
  "cases": [
    {
      "case_id": "independent11:funnel_incomplete_contact:first-count",
      "registered_outcome": "correct_completed",
      "registered_actual_rows": [
        {
          "client_count": 16
        }
      ],
      "registered_expected_rows": [
        {
          "client_count": 16
        }
      ],
      "numeric_scores_changed": false,
      "counterexample_expected": 0,
      "counterexample_candidate": 1,
      "counterexample_queries": [
        "WITH accounts(id,role,first_name,last_name,telephone) AS (VALUES (900001, NULL::text, NULL::text, ''::text, ''::text)), clients(user_id,completed_registration_at) AS (VALUES (900001, TIMESTAMP '2026-01-01')) SELECT COUNT(*) AS client_count FROM (SELECT DISTINCT a.id AS user_id FROM accounts a JOIN clients c ON c.user_id=a.id WHERE a.role='User' AND c.completed_registration_at IS NOT NULL AND (a.first_name IS NULL OR a.first_name='' OR a.last_name IS NULL OR a.last_name='' OR a.telephone IS NULL OR a.telephone='')) cohort",
        "WITH accounts(id,role,first_name,last_name,telephone) AS (VALUES (900001, NULL::text, NULL::text, ''::text, ''::text)), clients(user_id,completed_registration_at) AS (VALUES (900001, TIMESTAMP '2026-01-01')) SELECT COUNT(DISTINCT a.id) AS client_count, NULL AS phone FROM accounts AS a JOIN clients AS c ON c.user_id = a.id WHERE NOT c.completed_registration_at IS NULL AND (a.role = 'User' OR a.role IS NULL) AND (NULLIF(TRIM(a.first_name), '') IS NULL OR NULLIF(TRIM(a.last_name), '') IS NULL OR NULLIF(TRIM(a.telephone), '') IS NULL)"
      ],
      "cause": "The candidate treats a NULL role as an ordinary User. The question and reference require role User. This input changes the count from zero to one.",
      "status": "semantic_counterexample_proved",
      "scope_limit": "The source tables are replaced by explicit VALUES relations. This proves a query-meaning difference. It is not a rerun of the frozen quality fixture."
    },
    {
      "case_id": "independent11:note_author_deal_owner_difference:first-count",
      "registered_outcome": "correct_completed",
      "registered_actual_rows": [
        {
          "client_count": 43
        }
      ],
      "registered_expected_rows": [
        {
          "client_count": 43
        }
      ],
      "numeric_scores_changed": false,
      "counterexample_expected": 2,
      "counterexample_candidate": 1,
      "counterexample_queries": [
        "WITH deals(id,person_id,owner_id) AS (VALUES (1,101,1),(2,102,1)), notes(person_id,deal_id,active_flag,author_user_id) AS (VALUES (201,1,true,2),(201,2,true,2)) SELECT COUNT(*) AS client_count FROM (SELECT DISTINCT d.person_id AS user_id FROM notes n JOIN deals d ON d.id=n.deal_id WHERE n.active_flag IS TRUE AND n.author_user_id IS NOT NULL AND d.owner_id IS NOT NULL AND n.author_user_id<>d.owner_id) cohort",
        "WITH deals(id,person_id,owner_id) AS (VALUES (1,101,1),(2,102,1)), notes(person_id,deal_id,active_flag,author_user_id) AS (VALUES (201,1,true,2),(201,2,true,2)) SELECT COUNT(DISTINCT n.person_id) AS client_count FROM notes n JOIN deals d ON d.id = n.deal_id WHERE n.active_flag IS TRUE AND n.person_id IS NOT NULL AND n.author_user_id IS NOT NULL AND n.author_user_id <> d.owner_id"
      ],
      "cause": "The candidate counts the person attached to the note. The reference counts the person attached to the deal. Independent foreign keys do not make those identities equal. Two deal people can share one note person.",
      "status": "semantic_counterexample_proved",
      "scope_limit": "The source tables are replaced by explicit VALUES relations. This proves a query-meaning difference. It is not a rerun of the frozen quality fixture."
    }
  ],
  "implication": "At least two registered correct first-turn answers match this fixture but fail a distinct meaning counterexample. The published precision remains the frozen scorer value and does not certify general semantic correctness."
}