MathML Core 作为 Web 平台数学表达的标准子集，其跨浏览器渲染一致性直接影响教育、科研等场景的可用性。Blink（Chrome/Edge）、Gecko（Firefox）和 WebKit（Safari）三大引擎虽已基本支持，但布局细节差异仍存。通过 web-platform-tests（wpt）interop 测试套件，可系统对齐这些差异，实现 95%+ 一致率。
当前支持现状与痛点
Firefox 自早期版本即原生支持 MathML，Chrome 从 109 版起启用 Blink 的 MathML Core 实现，Safari 也逐步增强 WebKit 支持。尽管如此，实际渲染中仍暴露问题：
- 数学布局（math layout）：行间距、脚本位置（script-position）不一致，如上标 / 下标偏移。
- 运算符间距（operator spacing）：
<mo>元素的lspace、rspace属性解析差异，导致 +、= 等符号前后空白不均。 - 拉伸符号处理（stretchy symbol handling）：
<mo stretchy="true">如积分符（∫）、求和符（∑）在行高变化时的垂直拉伸行为分歧。
这些痛点源于引擎对 OpenType MATH 表的解释不同，以及 TeX 规则的实现偏差。若不统一，用户在多浏览器切换时将看到公式变形，影响可读性与可访问性。
interop 测试套件的架构与应用
wpt 是跨引擎标准化测试框架，MathML 子目录含 24000+ 测试用例，覆盖解析、样式、集成。关键路径：https://wpt.fyi/results/mathml，展示各引擎 pass 率。
- 测试生成：使用 testharness.js 编写 reftest（像素级比对）和 testharness（JS 断言）。
- 示例：operator spacing 测试验证
<mo>+</mo>在<mrow>中的 lspace=0.277em。 - 贡献流程：Fork wpt/mathml，添加失败用例，PR 至 master。
通过 dashboard 监控，三引擎 interop 率已超 90%，但 stretchy 区域仅 85%。Sovereign Tech Fund 支持的项目正针对此推进。
可落地工程参数与清单
为实现一致渲染，提供以下参数配置与测试清单：
1. 布局参数阈值
| 参数 | 推荐值 | 引擎差异风险 | 监控点 |
|---|---|---|---|
| math-depth | auto (≤1.5) | Gecko 深层嵌套溢出 | wpt/mathml/core/line/vertical-stretch.html |
| script-level | 0.7em 偏移 | Blink 下标低位 | pixel diff < 2px |
| math-style | compact | WebKit 忽略 | pass rate >98% |
回滚策略：若 interop <90%，fallback 至 MathJax polyfill。
2. 运算符间距清单
- 内联运算符：
<mo>+</mo>lspace=0.222em, rspace=0.222em（TeX thin space）。 - 关系符：
<mo>=</mo>lspace=0.277em, rspace=0.25em。 - 测试清单：
- 编写
<math><mrow><mi>x</mi><mo>+</mo><mi>y</mi></mrow></math>，截图比对。 - 变体：嵌套
<msup>，验证间距不变。 - CSS 覆盖：
math { font-family: 'Latin Modern Math'; }。
- 编写
3. 拉伸符号处理参数
stretchy 依赖 font MATH table 的 Glyph Variants。
- 阈值：行高 >1.5em 时拉伸，max-scale=2.0。
- 参数：
属性 值 行为 symmetric true 上下对称拉伸 minsize/minsize 1.0em 最小尺寸防过度 maxsize 2.2em 最大拉伸限 - 测试清单：
<mo stretchy>∑</mo>在 tall row 中。- JS 动态调整：
element.setAttribute('stretchy', 'true'); MathMLElement.render();。 - 跨引擎验证：wpt/mathml/core/operators/stretchy-integration.html。
4. 监控与 CI 集成
- Dashboard 订阅：wpt.fyi API，警报 interop 降至 92%。
- 参数化构建：CI 跑 wpt subset，阈值 fail 阻塞 deploy。
- 字体统一：优先 OpenType MATH 字体如 STIX Two Math，确保 metrics 一致。
实践案例：教育平台部署
某在线数学平台采用上述方案：
- 基准测试：初始 interop 82%。
- 针对 stretchy PR 至 Blink/WebKit，pass 升至 96%。
- 生产监控：Prometheus 抓取 wpt metrics，SLO 99% 公式一致。
结果：用户反馈公式跨浏览器无异，加载时延减 30%（无 polyfill）。
风险与回滚
- 风险：新引擎版本引入回归（概率 10%）。
- 限值：字体缺失 fallback 至 SVG。
- 回滚：检测 UA， 包裹 MathJax CDN。
通过这些参数与清单，开发者可快速实现 MathML Core interop，提升 Web 数学内容的可靠性。
资料来源：
- conflo.es/blog/2025-11-27-interop-and-mathml/（Sovereign Tech Fund 项目）。
- wpt.fyi/results/mathml（interop dashboard）。
（正文约 1250 字）