{
  "context": "Tests whether the agent writes Go property tests using rapid, including custom generators, Draw calls, strong invariants, and failure handling.",
  "type": "weighted_checklist",
  "checklist": [
    {
      "name": "rapid dependency",
      "description": "Suggests adding github.com/flyingmutant/rapid if needed.",
      "max_score": 8
    },
    {
      "name": "rapid import",
      "description": "Imports github.com/flyingmutant/rapid in the test file.",
      "max_score": 8
    },
    {
      "name": "rapid Check",
      "description": "Uses rapid.Check with a function taking *rapid.T.",
      "max_score": 10
    },
    {
      "name": "Draw calls",
      "description": "Uses rapid generators with Draw(t, name) to obtain generated values.",
      "max_score": 10
    },
    {
      "name": "Custom generator",
      "description": "Defines a custom or composed generator for Interval values and slices of intervals.",
      "max_score": 10
    },
    {
      "name": "Edge coverage",
      "description": "Generated intervals include empty slices, duplicates, negative values, zero-length intervals, reversed endpoints, and large/small ints where practical.",
      "max_score": 12
    },
    {
      "name": "Multiple properties",
      "description": "Implements at least three properties for the merge behavior.",
      "max_score": 10
    },
    {
      "name": "Semantic invariants",
      "description": "Checks meaningful invariants such as output sortedness, non-overlap, endpoint normalization, idempotence, or coverage preservation.",
      "max_score": 12
    },
    {
      "name": "Avoid copy oracle",
      "description": "Does not merely duplicate the merge algorithm as the only oracle; uses simpler checks like point coverage, idempotence, or structural invariants.",
      "max_score": 8
    },
    {
      "name": "Shrink awareness",
      "description": "Notes rapid's shrinking/minimal counterexample output.",
      "max_score": 6
    },
    {
      "name": "Regression test",
      "description": "Describes or includes a deterministic unit test template for any failing counterexample.",
      "max_score": 6
    }
  ]
}