Term-encoding congruence via native :merge (proof mode, ~15% faster)#2

oflatt-claude wants to merge 4 commits into

port-tuple-outputsoflatt-claude/egglog-encoding:port-tuple-outputsfrom

port-native-mergeoflatt-claude/egglog-encoding:port-native-mergeCopy head branch name to clipboard