test: captured collection probe sweep over every range and set type

[CaffeinatedCoder]

Closes #136

Problem

No oracle sends a range or value set as a captured collection. DifferentialFuzzParityTests binds operands only as a column, a constant or a single parameter. The oracle check on #105 found that three bugs in this position would pass every registered oracle:

• list.Contains(valueSetColumn) throws InvalidCastException in Npgsql #46: wanted.Contains(valueSetColumn) threw InvalidCastException.
• list.Contains(rangeColumn) fails with 42809 'op ANY/ALL (array) requires array on right side' #71: wanted.Contains(rangeColumn) failed on the server with 42809.
• Any/Count over a captured list of ranges silently merge overlapping ranges and drop empty ones #76: Any/Count over a range list silently merge overlapping ranges and drop empty ones.

For #46 and #71 I reverted the fix and ran every oracle, and they stayed green.

Change

CapturedCollectionProbeTests, in the integration project against live PostgreSQL, sweeps this product:

• every discovered range type (11) and value set type (30)
• × a captured array, List, HashSet and IEnumerable
• × six lists that tell a list from its multirange: empty, overlapping, adjacent, with an empty value, duplicate, every shape
• × Contains, Any(==), Any(Overlaps), Any(IsEmpty), Count(Overlaps | IsAdjacentTo | IsSubsetOf) and Count()
• × two query shapes: alone, or beside a Contains that reads the same collection, which decides how the plugin binds a range collection

The oracle is the same projection compiled and run over the rows as loaded. The lists hold loaded values, so the store's microsecond truncation doesn't count as a disagreement. The sweep reuses FuzzTypes discovery and links RangeProbes/SetProbes from the conventions project. It runs in about 5 s.

Wiring: registered in oracles.json, named in the heldBy of E36 and E37, seeded with set-collection-sent-as-one-parameter, and the value is added to axes.md. docs/oracles.md, docs/testing.md and AGENTS.md describe it.

Findings, registered in candidates.json:

• Any/Count over a captured list of ranges silently merge overlapping ranges and drop empty ones #76, measured wider. A range collection that no Contains reads goes out as one multirange parameter, so the answers are wrong. It also fails loudly in two ways: Any(w => w == c) is rewritten to = ANY and fails with 42809, and timerange can't be written at all. That is 1,710 lines.
• Any/Count over an empty captured collection of value sets (or of ranges beside Contains) throws 'Empty collections are not supported as inline query roots' #137 (new). Any/Count with a predicate over an empty captured collection throws "Empty collections are not supported as inline query roots". It hits every value set type, and ranges beside Contains. Any/Count over a captured list of ranges silently merge overlapping ranges and drop empty ones #76's fix would widen it to every range collection, so the two need to be fixed together. That is 1,136 lines.

Tests

• The sweep is green on this branch with both families reported as SKIPPED [known candidate …].
• dotnet run tools/oracles.cs seeds set-collection-sent-as-one-parameter reports CAUGHT: 5,760 failing value-set lines, and the range method stays green.
• Reverting feat: translate Contains over a captured collection of ranges #77's src/ diff on this branch fails the range method: 42809 on every Contains beside-shape row.
• Conventions 217/217, integration 153/153, unit 923/923, EF translation 242/242, AspNetCore 84/84.

🤖 Generated with Claude Code