Bind survey issue summaries to exact requested identities and integer counts #471

🤖 Generated by the Agentic Engineer

Problem

The dependency projection accepts fractional issue/count fields, and issue summary projections do not establish that the returned issue is the requested candidate.

Reproduced offline against freshly fetched main with a valid control. Inspected guidance and repositories were not executed, and no inference or provider test was launched.

Acceptance criteria

Require positive integer issue identities and nonnegative integer summaries with consistent bounds; bind requested issue identity on association/dependency reads; preserve known-zero and positive-count semantics. Add executable actual-filter counterexamples. Size: S.

Part of #51. Related roadmap: #38.