Dataflow: Persistent stratified negation #183

Problem

Negated results must reflect settled upstream revisions, without exposing transient false rows.

Evidence

Source: 5c1f313379a5cb2995a43a66ddba0b5cc9798b7f (inspected 2026-10-03). These are source findings; the acceptance scenarios below still need implementation and execution.

• src/protocol/subscription/reevaluate.rs:76: The current standing-query adapter recomputes results.
• src/storage_engine/mod.rs:2350: Existing incremental-engine activation/shadow infrastructure is the starting point.

Acceptance criteria

• Use stratum-aware frontiers and anti-join semantics from the existing typed IR.
• Reject unsupported nonstratified programs consistently.
• Test negated relation insert/delete and recursive upstream settling against the oracle; no incomplete frontier notification.
• Compare every visible supported revision through Testing: revision-aware differential correctness oracle #167; pass Performance: baseline and mandatory pre-PR regression pipeline #163 for query/write/delta latency, throughput and memory before default adoption.

Delivery

Plan item: D04. R4 - Persistent incremental dataflow.

Dependencies / related work: #182.

Contributes to #143; completing this slice alone does not close the broader issue.