Navigation: two internal errors with author intents
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 52/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 活跃
- 技术栈
- rust
调研方向
Start by reading the navigation handling for MathML author intents and the relevant rules in navigate.yaml; the issue reports two reproducible failures in Enhanced mode and one in Simple mode. Reproduce the cases with the provided MathML, then trace how navigation resolves the intent-based nodes. Done when both cases navigate without internal errors while reading behavior remains intact.
由索引模型根据 Issue 内容生成。
描述
Found while checking the spanish-mathml-intent test PDFs (#975 is a separate problem). Both happen in every language; examples in English, Enhanced mode.
1. A single token with an intent name. ZoomIn and then MoveNext:
<math><mi intent="greatest-common-divisor">gcd</mi></math>
ZoomIn gives "zoomed in to first character", and MoveNext gives "Internal Error: didn't find id/offset '…-literal-0', current_node_offset: 1 while attempting to start navigation". The same happens with _greatest-common-divisor. Reading is fine ("greatest common divisor").
2. A function whose head is itself an intent. Moving onto (f∘g)(x):
<math><mrow><mi>y</mi><mo>=</mo>
<mrow intent="$c($a)">
<mrow arg="c" intent="_composed-with:infix($f,$g)"><mi arg="f">f</mi><mo>∘</mo><mi arg="g">g</mi></mrow>
<mo>(</mo><mi arg="a">x</mi><mo>)</mo>
</mrow>
</mrow></math>
ZoomIn "y", MoveNext "is equal to", then MoveNext gives "Variable 'NavNode' set somewhere in navigate.yaml is nodeset and not an attribute: 0 nodes (false)". Same in Simple mode; Character mode works. Reading is fine ("y is equal to, f composed with g of x").
- 主要语言
- Rust
- 星标
- 131
- 派生
- 97
- 平均合并
- 21 小时 45 分钟
- 30 天内合并 PR
- 95
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
daisy/MathCAT 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 76/100
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 84/100
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 88/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 82/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 88/100
维护者通常 1 天内回复
相似的 Issue
-
area:schema documentation
难度 2/5 1-3 小时 新手友好度 76/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 82/100
ElectronicWave/Elemental#252 ·
维护者通常 1 天内回复
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
dekobon/big-code-analysis#1887 ·
维护者通常 1 天内回复
-
Shell中文符号输入异常未关闭bug
难度 2/5 1-3 小时 新手友好度 76/100
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 82/100
维护者通常 1 天内回复