[Copilot]

Begin splitting the causality/partial-evaluation work into self-contained PRs by isolating an existing RVM correctness bug. Experimental functionality, default-off explanations gating, and design benchmarks remain outside this prerequisite PR.

• Set accumulation: Skip Undefined in SetAdd and set-comprehension yields across both VM execution modes. Preserve invalid-target errors and defined values, including null and false.
• Regression coverage: Add interpreter-parity cases and bytecode cases for empty/shared sets, deduplication, and malformed targets.

For missing input.missing, this rule should produce an empty set—not a set containing Undefined:

package example

values contains input.missing if { true }

[Copilot]

🟢 Approval recommended

The focused guards preserve validation and defined values, with relevant regression coverage and no blocking findings; tests were not executed.

0 open findings

What changed in this PR

Fixes RVM set accumulation so undefined values are omitted, matching interpreter behavior.

Changes:

• Skip Undefined in SetAdd and both set-comprehension execution modes.
• Preserve invalid-target errors and defined values.
• Add regression coverage for interpreter parity, shared sets, and deduplication.

File	Description
tests/​rvm/​vm/​suites/​set_operations.yaml	Tests undefined insertion, shared sets, and invalid targets.
tests/​rvm/​rego/​cases/​undefined_set_values.yaml	Adds parity cases for both execution modes.
src/​rvm/​vm/​dispatch.rs	Prevents SetAdd from inserting undefined values.
src/​rvm/​vm/​comprehension.rs	Filters undefined set-comprehension yields in both modes.

🧠 Review effort: Balanced

---

💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.