refactor(rt): make projection traversal total - #1073

Open

Stevengre wants to merge 3 commits into

jh/traverseprojection-function

Commits on Apr 21, 2026

refactor(rt): make projection traversal total
Stevengre
committed
f396abc
test(integration): skip nonterminating symbolic proofs
Stevengre
committed
7453d8f
test(integration): update expected outputs
Stevengre
committed
8dc3edb