{
  "results": [
    {
      "claim_id": "aphoria-no-unwrap-001",
      "comparison": "equals",
      "concept_path": "aphoria/production/error_handling",
      "explanation": "No matching observation found",
      "matching_observations": [],
      "predicate": "unwrap_count",
      "verdict": "missing"
    },
    {
      "claim_id": "aphoria-bridge-tier-001",
      "comparison": "present",
      "concept_path": "aphoria/bridge/tier_assignment",
      "explanation": "Expected observation to be present, but none found",
      "matching_observations": [],
      "predicate": "default_tier",
      "verdict": "missing"
    },
    {
      "claim_id": "aphoria-lifecycle-skip-001",
      "comparison": "present",
      "concept_path": "aphoria/bridge/lifecycle",
      "explanation": "Expected observation to be present, but none found",
      "matching_observations": [],
      "predicate": "skips_pending",
      "verdict": "missing"
    },
    {
      "claim_id": "aphoria-tls-verify-001",
      "comparison": "absent",
      "concept_path": "aphoria/tls/cert_verification",
      "explanation": "Forbidden value not found (as expected)",
      "matching_observations": [],
      "predicate": "enabled",
      "verdict": "pass"
    },
    {
      "claim_id": "aphoria-no-tokio-core-001",
      "comparison": "absent",
      "concept_path": "stemedb_core/imports/tokio",
      "explanation": "Forbidden value not found (as expected)",
      "matching_observations": [],
      "predicate": "imported",
      "verdict": "pass"
    },
    {
      "claim_id": "aphoria-no-md5-001",
      "comparison": "not_equals",
      "concept_path": "aphoria/crypto/hashing/algorithm",
      "explanation": "No observations found (no contradiction)",
      "matching_observations": [],
      "predicate": "algorithm",
      "verdict": "pass"
    },
    {
      "claim_id": "aphoria-no-wildcard-cors-001",
      "comparison": "absent",
      "concept_path": "aphoria/cors/allow_origin",
      "explanation": "Forbidden value not found (as expected)",
      "matching_observations": [],
      "predicate": "config_value",
      "verdict": "pass"
    },
    {
      "claim_id": "aphoria-jwt-audience-001",
      "comparison": "absent",
      "concept_path": "aphoria/jwt/audience_validation",
      "explanation": "Forbidden value not found (as expected)",
      "matching_observations": [],
      "predicate": "enabled",
      "verdict": "pass"
    },
    {
      "claim_id": "aphoria-hsts-enabled-001",
      "comparison": "absent",
      "concept_path": "aphoria/security_headers/hsts",
      "explanation": "Forbidden value not found (as expected)",
      "matching_observations": [],
      "predicate": "header_status",
      "verdict": "pass"
    },
    {
      "claim_id": "aphoria-no-hardcoded-secrets-001",
      "comparison": "absent",
      "concept_path": "aphoria/secrets/api_key",
      "explanation": "Forbidden value not found (as expected)",
      "matching_observations": [],
      "predicate": "storage_method",
      "verdict": "pass"
    },
    {
      "claim_id": "dbpool-max-conn-required-001",
      "comparison": "equals",
      "concept_path": "dbpool/config/max_connections",
      "explanation": "No matching observation found",
      "matching_observations": [],
      "predicate": "is_option",
      "verdict": "missing"
    },
    {
      "claim_id": "dbpool-plaintext-pwd-001",
      "comparison": "equals",
      "concept_path": "dbpool/config/connection_string",
      "explanation": "No matching observation found",
      "matching_observations": [],
      "predicate": "contains_plaintext_password",
      "verdict": "missing"
    },
    {
      "claim_id": "dbpool-max-lifetime-required-001",
      "comparison": "equals",
      "concept_path": "dbpool/config/max_lifetime",
      "explanation": "No matching observation found",
      "matching_observations": [],
      "predicate": "is_option",
      "verdict": "missing"
    },
    {
      "claim_id": "dbpool-conn-timeout-max-001",
      "comparison": "equals",
      "concept_path": "dbpool/config/connection_timeout",
      "explanation": "No matching observation found",
      "matching_observations": [],
      "predicate": "max_seconds",
      "verdict": "missing"
    },
    {
      "claim_id": "dbpool-min-conn-minimum-001",
      "comparison": "equals",
      "concept_path": "dbpool/config/min_connections",
      "explanation": "No matching observation found",
      "matching_observations": [],
      "predicate": "min_value",
      "verdict": "missing"
    },
    {
      "claim_id": "dbpool-validation-required-001",
      "comparison": "equals",
      "concept_path": "dbpool/config/validate_on_checkout",
      "explanation": "No matching observation found",
      "matching_observations": [],
      "predicate": "required",
      "verdict": "missing"
    },
    {
      "claim_id": "dbpool-metrics-recommended-001",
      "comparison": "equals",
      "concept_path": "dbpool/config/enable_metrics",
      "explanation": "No matching observation found",
      "matching_observations": [],
      "predicate": "recommended",
      "verdict": "missing"
    }
  ],
  "summary": {
    "conflict": 0,
    "missing": 10,
    "pass": 7,
    "total_claims": 17,
    "unclaimed": 21
  }
}
