…es (sqlancer#24,25,26,27,29,30)
Seven self-contained oracles (default-on, --flag gated, feature-absence tolerated):
- sqlancer#24 SequenceFunnel windowFunnel/sequenceCount/sequenceMatch/retention == Java truth
(tiny deterministic fixture, far-from-boundary timestamps)
- sqlancer#25 PartitionLifecycle DETACH+ATTACH/DROP/REPLACE/MOVE PARTITION row-set invariants
(SYSTEM STOP MERGES pins topology)
- sqlancer#26 AlterModifyConsistency data-preserving ALTER MODIFY COLUMN/CODEC/TTL/SETTING + MATERIALIZE
must not change the visible multiset (modulo pre-applied widen cast)
- sqlancer#27 TtlDeterminism TTL DELETE survivors == non-expired bucket; far-from-now() date
buckets keep the result wall-clock-independent
- sqlancer#29 InsertDedup identical block re-insert leaves count unchanged (insert_deduplicate
default-on); distinct block grows; optional async arm
- sqlancer#30 TokenBf hasToken/=/IN with tokenbf_v1 index == use_skip_indexes=0 scan
- sqlancer#30 VectorIndexRecall vector_similarity HNSW top-1 == brute-force top-1 + top-k containment
(never exact set-equality for ANN)
Completes all 30 plan ideas across 5 waves: 29 new oracles + Int128/256/Decimal256 emission +
EET roundtrip identities. ALL_ORACLES now 76 tokens; mvn package green (3.9M jar). Probe-on-head
(dev-vm): tokenbf_v1/vector_similarity grammar, windowFunnel/retention signatures, TTL materialize.
…in the DBMS