{
  "context": "Tests whether the agent applies C++ RapidCheck with GoogleTest integration, generator APIs, RC assertions/preconditions, and codec-oriented properties.",
  "type": "weighted_checklist",
  "checklist": [
    {
      "name": "Install options",
      "description": "Mentions an appropriate RapidCheck installation path such as vcpkg or CMake FetchContent.",
      "max_score": 7
    },
    {
      "name": "Headers included",
      "description": "Includes rapidcheck.h and/or rapidcheck/gtest.h in the C++ test file.",
      "max_score": 8
    },
    {
      "name": "GTest property",
      "description": "Uses RC_GTEST_PROP or rc::check integrated with a GoogleTest test.",
      "max_score": 10
    },
    {
      "name": "RC assertions",
      "description": "Uses RC_ASSERT or related RapidCheck assertion macros rather than only ordinary assert/EXPECT inside property bodies.",
      "max_score": 10
    },
    {
      "name": "Packet generation",
      "description": "Defines generated Packet values using rc::gen APIs, parameters, apply/exec, or arbitrary generators for fields.",
      "max_score": 12
    },
    {
      "name": "Edge values",
      "description": "Generators can cover empty tags, arbitrary strings, empty payloads, varied payload bytes, and boundary sequence values.",
      "max_score": 10
    },
    {
      "name": "Round trip",
      "description": "Includes a decode(encode(packet)) equals packet property.",
      "max_score": 12
    },
    {
      "name": "Additional properties",
      "description": "Includes at least two other meaningful properties such as deterministic encoding, no-crash decode for encoded packets, or size/field conservation.",
      "max_score": 10
    },
    {
      "name": "Preconditions",
      "description": "Uses RC_PRE for any constrained property or avoids constraints when full generated input is valid.",
      "max_score": 6
    },
    {
      "name": "Run config",
      "description": "Mentions RC_PARAMS or command-line configuration for increasing generated test counts.",
      "max_score": 7
    },
    {
      "name": "Regression workflow",
      "description": "Explains that a minimal counterexample from RapidCheck should be converted into a deterministic GoogleTest regression case.",
      "max_score": 8
    }
  ]
}