Repository navigation
fix(#4280): the @@-include closure is part of the completeness witness — an included node still landing is an arrival, not a move - #4304
Merged
rbuergi merged 3 commits intoSep 14, 2026
Commits
Commits on Sep 14, 2026
- andcommitted
- andcommitted
- andcommitted