fix(clickhouse): eliminate 4 oracle false positives from 36h run

36h dev-vm run (head 26.7.1.535, 8.67M queries) surfaced 5 reproducers;
4 were oracle false positives with distinct root causes, now fixed:

- TLPHaving: float group-by keys (tan/log) produce NaN, inflating the
  UNION-ALL row count. Added a NaN/Infinity guard -> IgnoreMeException,
  matching the existing TLPSetOp pattern.

- TextIndexLike: a lightweight DELETE that CH applied but whose execute()
  returned false (transient) left the Java ground-truth corpus stale, so
  it counted a deleted row (34 vs CH's correct 33 across all arms + a pure
  use_skip_indexes=0 scan). Track groundTruthReliable and skip only the
  ground-truth assertion when a DELETE's status is uncertain; the CH-vs-CH
  cross-arm checks still run.

- JoinGetSet: a transient NoHttpResponseException (server unresponsive
  under a squeezed -m cap) killed the worker because the oracle's error
  sets lacked transport tolerations. Added getTransportErrors()/
  addTransportErrors() and wired them into addSessionSettingsErrors so
  every special oracle tolerates connection transients.

- TLPSetOp: SummingMergeTree(c3) leaves non-summed columns ANY-like under
  FINAL, so intDiv(c2,c4) over FINAL is not a deterministic function of the
  logical content; a merge landing between the baseline and branched reads
  flips the multiset. Serial replay confirmed baseline==branched. Added
  guardAgainstFinalNonDeterminism() to skip FINAL queries (FINAL stays
  covered by FinalMerge/CoalescingFinal/ReplacingDedup).

The 5th (CountOptimization "Not-ready Set ... notIn" LOGICAL_ERROR) is the
known-open upstream bug ClickHouse#107619; it reproduces deterministically
via full-history table replay (not a fresh clone).

Also raise per-oracle validation CH mem to 16g / heap to 12g to fit the
co-located release-radar VM budget.

Author: fm4v

.claude/run-per-oracle-validation.sh

@@ -45,7 +45,7 @@ for ORACLE in "${ORACLES[@]}"; do
   ./.claude/run-sqlancer.sh \
     --oracles "$ORACLE" \
     --duration "$DURATION" \
-    --threads 8 --heap 16g --ch-cpus 8 --ch-mem 6g \
+    --threads 8 --heap 12g --ch-cpus 8 --ch-mem 16g \
     > "$ORACLE_DIR/runner.out" 2>&1
   RC=$?
   set -e

src/sqlancer/clickhouse/ClickHouseErrors.java

@@ -139,6 +139,18 @@ public static List<String> getSessionSettingsErrors() {
 
     public static void addSessionSettingsErrors(ExpectedErrors errors) {
         errors.addAll(getSessionSettingsErrors());
+        addTransportErrors(errors);
+    }
+
+    public static List<String> getTransportErrors() {
+        return List.of("NoHttpResponseException", "failed to respond", "ConnectionInitiationException",
+                "Query request failed (attempt:", "ConnectionClosedException",
+                "Premature end of chunk coded message body", "SocketTimeoutException", "Read timed out",
+                "DataTransferException", "Connection reset");
+    }
+
+    public static void addTransportErrors(ExpectedErrors errors) {
+        errors.addAll(getTransportErrors());
     }
 
     public static List<String> getSetOpErrors() {

src/sqlancer/clickhouse/oracle/textindex/ClickHouseTextIndexLikeOracle.java

@@ -154,6 +154,7 @@ public void check() throws SQLException {
             }
 
             java.util.Set<Integer> deletedKeys = new java.util.HashSet<>();
+            boolean groundTruthReliable = true;
             String topology = emptyTable ? "empty" : "multi-insert";
             if (!emptyTable && !corpus.isEmpty()) {
                 if (Randomly.getBoolean()) {
@@ -169,6 +170,7 @@ public void check() throws SQLException {
                         topology += "+lwdelete(" + deletedKeys.size() + ")";
                     } else {
                         deletedKeys.clear();
+                        groundTruthReliable = false;
                     }
                 }
                 if (Randomly.getBoolean()) {
@@ -215,7 +217,7 @@ public void check() throws SQLException {
                 }
             }
 
-            if (pattern.isGroundTruthComputable()) {
+            if (groundTruthReliable && pattern.isGroundTruthComputable()) {
                 long expected = computeExpectedMatches(liveCorpus, pattern.getPattern(), pattern.isIlike());
                 if (!String.valueOf(expected).equals(counts[0])) {
                     throw new AssertionError(String.format(

src/sqlancer/clickhouse/oracle/tlp/ClickHouseTLPHavingOracle.java

@@ -75,7 +75,24 @@ public void check() throws SQLException {
             state.getLogger().writeCurrent(combinedString);
         }
 
+        if (containsNanOrInfinity(resultSet) || containsNanOrInfinity(secondResultSet)) {
+            throw new IgnoreMeException();
+        }
+
         ComparatorHelper.assumeResultSetsAreEqual(resultSet, secondResultSet, originalQueryString,
                 Collections.singletonList(combinedString), state, ComparatorHelper.ComparisonMode.MULTISET);
     }
+
+    private static boolean containsNanOrInfinity(List<String> rows) {
+        for (String r : rows) {
+            if (r == null) {
+                continue;
+            }
+            if (r.equals("nan") || r.equals("NaN") || r.equals("-nan") || r.equals("Infinity") || r.equals("-Infinity")
+                    || r.equals("inf") || r.equals("-inf")) {
+                return true;
+            }
+        }
+        return false;
+    }
 }

src/sqlancer/clickhouse/oracle/tlp/ClickHouseTLPSetOpOracle.java

@@ -51,6 +51,7 @@ public void check() throws SQLException {
         guardAgainstAggregateFetchColumns();
         constrainToSingleColumn();
         guardAgainstNonDeterministicPredicate();
+        guardAgainstFinalNonDeterminism();
 
         Mode mode = Randomly.fromOptions(Mode.values());
         switch (mode) {
@@ -258,6 +259,12 @@ private void constrainToSingleColumn() {
         }
     }
 
+    private void guardAgainstFinalNonDeterminism() {
+        if (select.isFinal()) {
+            throw new IgnoreMeException();
+        }
+    }
+
     private void guardAgainstNonDeterministicPredicate() {
         for (ClickHouseExpression e : Arrays.asList(predicate, negatedPredicate, isNullPredicate)) {
             String rendered = ClickHouseVisitor.asString(e).toLowerCase(Locale.ROOT);