Resolving spec inconsistency caused by join allowing value annihilation - #98

Draft

luketpeterson wants to merge 5 commits into

forbid_none_result_in_join

Commits on Sep 9, 2026

Documenting that returning AlgebraicStatus::None, or AlgebraicResult::None from a join-flavored function is illegal
luketpeterson
committed
514e840