[1255] 修正 bowtie/Join 底层符号命名（<bowtie>=U+22C8，<Join>=U+2A1D） - #4471
Open
da-liii wants to merge 6 commits into
Open
[1255] 修正 bowtie/Join 底层符号命名（<bowtie>=U+22C8，<Join>=U+2A1D）#4471da-liii wants to merge 6 commits into
da-liii wants to merge 6 commits into
Conversation
- tmuniversaltounicode.scm：<join>→<bowtie>（#22C8）、<Bowtie>→<Join>（#2A1D）， 与 LaTeX 命令 \bowtie / \Join 语义对齐；删除过时的命名示例注释 - 运行 gen_cork_data.py 重新生成 lolly cork_data.inc（cork↔UTF-8 编译期查找表） - latex-kbd.scm：kbd-symbols 改为 bowtie/Join，删除上一版临时的显式映射 - math-kbd.scm / std-symbols.scm：跟随改名 - 新增 TeXmacs/progs/language/tests/tmuniversaltounicode-test.scm 单元测试
- 新增 test_named_bowtie_join：锁定 <bowtie>↔U+22C8、<Join>↔U+2A1D 双向映射、 旧名 <join>/<Bowtie> 透传、strict 变体一致性 - Red/Green 验证：回滚 cork_data.inc 时新用例如期失败，恢复后 70 用例全绿 - devel/1255.md 补充 C++ 层测试说明与 cork_test.cpp 同名遮蔽问题
xmake add_tests 按 basename 注册，lolly/tests/Data/String/cork_test.cpp 被 lolly/tests/lolly/data/cork_test.cpp 覆盖而从不运行。改名后两个测试 独立运行：tm_cork_test 5 用例/25 断言、cork_test 70 用例/1177 断言，全绿； 旧树 Data/String/cork.cpp 实现与测试契约一致，无需改动。
da-liii
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
修正 bowtie 一族符号的底层命名，使其与 LaTeX 命令语义一致：
\bowtie<join><bowtie>\Join（latexsym）<Bowtie><Join>tmuniversaltounicode.scm：改名 + 删除过时的命名示例注释lolly/lolly/data/cork_data.inc：用gen_cork_data.py重新生成（cork↔UTF-8 为编译期常量表，新旧逐项比对唯一差异即这两处改名）latex-kbd.scm：kbd-symbols 改为 bowtie/Join，删除临时显式映射math-kbd.scm/std-symbols.scm：跟随改名Why
<bowtie>/<Join>没有任何 Unicode 映射：LaTeX 导入\bowtie、kbd 插入\Join得到的符号无法渲染<join>导出为非标准命令\join（实际不存在），<Bowtie>被错导为 wasysym 的\Bowtie测试（TDD）
TeXmacs/progs/language/tests/tmuniversaltounicode-test.scm：锁定双向转换契约，6/6 通过lolly/tests/lolly/data/cork_test.cpp新增test_named_bowtie_join（8 断言）：回滚 cork_data.inc 时用例如期失败（Red），恢复后 70 用例 / 1177 断言全绿（Green）lolly/tests/Data/String/cork_test.cpp与新树测试同名被 xmakeadd_tests遮蔽从不运行，改名为tm_cork_test.cpp，复活后 5 用例 / 25 断言全绿任务文档：
devel/1255.md