{
  "hypothesis": "Recover declared receiver types for parenthesized C++ local initialization when each apparent parameter is a previously bound visible value; do not infer receivers from genuine prototypes or out-of-scope values.",
  "owner": "src/source.rs::cpp_local_types",
  "fixtures": [
    "cpp_initialization",
    "cpp_xtu",
    "source_languages"
  ],
  "expected": {
    "increases": [
      "labeled main/use -> YamsDaemon::runLoop call resolution"
    ],
    "preserves": [
      "schema_version",
      "existing symbol IDs",
      "heuristic confidence 0.65",
      "call provenance",
      "clean-negative unresolved receiver outcomes",
      "unrelated edges"
    ]
  },
  "negative_contract": "Negative fixtures are grammar-readable but deliberately ill-formed C++ member uses on prototypes or absent receivers. The expected result is no resolved call, not successful compiler type checking.",
  "decision": "keep bounded recovery: focused regressions and three-repeat exact-label comparison pass; no language-wide precision, dead-code, or performance claim"
}