docs(semantics): govern vocabulary convergence by proof stage - #4453
Merged
huangruiteng merged 5 commits intoSep 15, 2026
Merged
huangruiteng merged 5 commits into
huangruiteng merged 5 commits into
Commits
Commits on Sep 15, 2026
- committed
- committed
- committed
- committed
- committed