{
  "claim_verification": [
    {
      "claim_id": "msgqueue-001",
      "concept_path": "msgqueue/consumer/timeout",
      "explanation": "No observations found (no contradiction)",
      "invariant": "Consumer timeout MUST NOT be zero",
      "verdict": "PASS"
    },
    {
      "claim_id": "msgqueue-002",
      "concept_path": "msgqueue/tls/certificate_validation",
      "explanation": "No matching observation found",
      "invariant": "TLS certificate validation MUST be enabled in production",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-003",
      "concept_path": "msgqueue/connection/max_connections",
      "explanation": "No matching observation found",
      "invariant": "Max connections MUST be bounded (1-10 recommended)",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-004",
      "concept_path": "msgqueue/connection/lifecycle",
      "explanation": "No matching observation found",
      "invariant": "Connection MUST complete full handshake (Start, Tune, Open)",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-005",
      "concept_path": "msgqueue/metrics/enabled",
      "explanation": "No matching observation found",
      "invariant": "Metrics MUST be enabled for production monitoring",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-006",
      "concept_path": "msgqueue/retry/max_attempts",
      "explanation": "No matching observation found",
      "invariant": "Retry attempts MUST be bounded (1-5 recommended)",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-007",
      "concept_path": "msgqueue/retry/backoff_strategy",
      "explanation": "No matching observation found",
      "invariant": "Retry backoff MUST be exponential with jitter",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-008",
      "concept_path": "msgqueue/connection/cleanup",
      "explanation": "No matching observation found",
      "invariant": "Connections MUST be closed on drop",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-009",
      "concept_path": "msgqueue/async/runtime",
      "explanation": "No matching observation found",
      "invariant": "Async functions MUST NOT use blocking operations",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-010",
      "concept_path": "msgqueue/connection/idle_timeout",
      "explanation": "No matching observation found",
      "invariant": "Idle timeout MUST be configured (30-60s recommended)",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-011",
      "concept_path": "msgqueue/tls/min_version",
      "explanation": "No matching observation found",
      "invariant": "TLS version MUST be >= 1.2",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-012",
      "concept_path": "msgqueue/consumer/prefetch_count",
      "explanation": "No matching observation found",
      "invariant": "Prefetch count MUST be bounded (1-100 recommended)",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-013",
      "concept_path": "msgqueue/consumer/ack_mode",
      "explanation": "No matching observation found",
      "invariant": "Manual ack SHOULD be used for reliable processing",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-014",
      "concept_path": "msgqueue/consumer/ack_timeout",
      "explanation": "No observations found (no contradiction)",
      "invariant": "Ack timeout MUST NOT be zero (30-120s recommended)",
      "verdict": "PASS"
    },
    {
      "claim_id": "msgqueue-015",
      "concept_path": "msgqueue/queue/max_size",
      "explanation": "No matching observation found",
      "invariant": "In-memory queue MUST be bounded (100-10000 recommended)",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-016",
      "concept_path": "msgqueue/consumer/backpressure_strategy",
      "explanation": "No matching observation found",
      "invariant": "Backpressure strategy MUST be implemented (pause/drop/error)",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-017",
      "concept_path": "msgqueue/connection/heartbeat_interval",
      "explanation": "No matching observation found",
      "invariant": "Heartbeat interval MUST be configured (10-60s recommended)",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-018",
      "concept_path": "msgqueue/consumer/requeue_limit",
      "explanation": "No matching observation found",
      "invariant": "Requeue attempts MUST be bounded (3-5 recommended)",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-019",
      "concept_path": "msgqueue/queue/durable",
      "explanation": "No matching observation found",
      "invariant": "Production queues MUST be durable",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-020",
      "concept_path": "msgqueue/consumer/exclusive",
      "explanation": "No matching observation found",
      "invariant": "Exclusive mode MUST be set when ordering is required",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-021",
      "concept_path": "msgqueue/connection/recovery_strategy",
      "explanation": "No matching observation found",
      "invariant": "Auto-reconnect MUST be enabled for resilience",
      "verdict": "MISSING"
    },
    {
      "claim_id": "msgqueue-022",
      "concept_path": "msgqueue/consumer/dead_letter_queue",
      "explanation": "No matching observation found",
      "invariant": "Dead letter exchange MUST be configured",
      "verdict": "MISSING"
    }
  ],
  "conflicts": [],
  "deprecated_usages": [],
  "drifts": [],
  "project": "msgqueue",
  "scan_id": "scan-1770773894783",
  "strict": false,
  "summary": {
    "acks": 0,
    "authority_conflicts": 0,
    "blocks": 0,
    "claims_conflict": 0,
    "claims_missing": 20,
    "claims_pass": 2,
    "claims_total": 22,
    "claims_unclaimed": 29,
    "deprecated_usages": 0,
    "drifts": 0,
    "files_scanned": 9,
    "flags": 0,
    "observations_extracted": 29,
    "observations_recorded": 0,
    "passes": 0
  }
}
