feat(export): 函数图像静态渲染复审修复（2 P2 + 1 P3） #29

2026-09-05T22:50:38+08:00

yxx commented

2026-09-05 22:50:38 +08:00

概述

函数图像静态渲染（Function Plot）与导出服务（Markdown → HTML）的复审修复。本 PR 是 #28 审阅结论（2 P2 + 1 P3）修复后的复审提交。

本轮修复（对应 `#28` 结论）

[P2] 复杂表达式绕过函数图像的异常回退：ast 深度（200）/节点数（1000）上限拦截 RecursionError；解析与渲染共同纳入局部异常回退，单个图像失败只回退占位 + warning，不阻断整篇导出。
[P2] 极端有限范围生成含 nan 的 SVG：新增跨度校验（端点有限、跨度有限且 >0），domain/range 无效时回退安全范围；_polyline 拒绝非有限像素坐标。
[P3] 接口文档仍描述静态渲染未实现：更新 docs/contracts/第二阶段接口契约-开发版.md，标注 function-plot 已支持静态 SVG、失败回退占位。

测试

backend 全量 pytest：621 passed（新增 5 项边界回归：超深表达式、超量节点、HTML 深表达式回退、极端 domain/range 无 nan/inf）。

说明

仅改动 backend/ 代码 + 接口契约文档。
函数图像交互预览由前端完成，后端只负责解析/表达/静态渲染。

## 概述函数图像静态渲染（Function Plot）与导出服务（Markdown → HTML）的复审修复。本 PR 是 `#28` 审阅结论（2 P2 + 1 P3）修复后的复审提交。 ## 本轮修复（对应 `#28` 结论） - **[P2]** 复杂表达式绕过函数图像的异常回退：`ast` 深度（200）/节点数（1000）上限拦截 `RecursionError`；解析与渲染共同纳入局部异常回退，单个图像失败只回退占位 + warning，不阻断整篇导出。 - **[P2]** 极端有限范围生成含 `nan` 的 SVG：新增跨度校验（端点有限、跨度有限且 >0），domain/range 无效时回退安全范围；`_polyline` 拒绝非有限像素坐标。 - **[P3]** 接口文档仍描述静态渲染未实现：更新 `docs/contracts/第二阶段接口契约-开发版.md`，标注 `function-plot` 已支持静态 SVG、失败回退占位。 ## 测试 `backend` 全量 `pytest`：**621 passed**（新增 5 项边界回归：超深表达式、超量节点、HTML 深表达式回退、极端 domain/range 无 nan/inf）。 ## 说明 - 仅改动 `backend/` 代码 + 接口契约文档。 - 函数图像交互预览由前端完成，后端只负责解析/表达/静态渲染。

Kronecker commented

2026-09-05 23:13:45 +08:00

审阅结论：请求修改，暂不建议合并

审阅提交：b87f945

上一轮提出的 2 个 P2、1 个 P3 均已正确修复：

复杂表达式可以安全回退，不再导致整篇导出失败；
极端坐标跨度不会再生成包含 nan 的 SVG；
接口文档已经同步函数图像静态渲染状态。

本轮复审新发现 1 个 P1。

[P1] 函数数量没有限制，可能生成数百 MB 的 SVG

位置：backend/app/plot/parser.py:363–370

当前复杂度限制只作用于单条表达式，parse_source 可以无限追加合法表达式。

实测结果：

100 行 y=x：约 0.56 MB SVG；
1000 行 y=x：约 5.59 MB SVG；
输入源码仅约 4 KB。

未保存 Markdown 当前允许最多 200,000 个字符，可容纳约 50,000 行简单表达式，理论上会生成约 280 MB SVG，并执行约 4,000 万次采样求值。生成过程中还会存在中间字符串和编码副本，实际内存占用会更高。

同时：

渲染运行在 asyncio.to_thread 中，取消请求在渲染结束前无法停止线程；
最多可存在 100 个活动导出任务；
note 来源没有执行 MAX_MARKDOWN_CHARS 检查。

多个并发任务可能耗尽内存和工作线程。

建议：

限制每个 function-plot 图块的表达式数量；
限制单篇文档包含的函数图像数量；
对 note 和 markdown 来源统一执行输入大小限制；
对最终导出产物设置大小上限；
超限时回退为源码占位并记录结构化 warning；
补充表达式数量上限、笔记来源大小限制及导出产物上限的回归测试。

验证结果

后端全量测试：621 passed
git diff --check：通过
与 main：无冲突
远程状态：可合并

请修复上述资源上限问题并补充测试后再提交复审。

## 审阅结论：请求修改，暂不建议合并审阅提交：`b87f945` 上一轮提出的 **2 个 P2、1 个 P3 均已正确修复**： - 复杂表达式可以安全回退，不再导致整篇导出失败； - 极端坐标跨度不会再生成包含 `nan` 的 SVG； - 接口文档已经同步函数图像静态渲染状态。本轮复审新发现 **1 个 P1**。 ### [P1] 函数数量没有限制，可能生成数百 MB 的 SVG 位置：`backend/app/plot/parser.py:363–370` 当前复杂度限制只作用于单条表达式，`parse_source` 可以无限追加合法表达式。实测结果： - 100 行 `y=x`：约 0.56 MB SVG； - 1000 行 `y=x`：约 5.59 MB SVG； - 输入源码仅约 4 KB。未保存 Markdown 当前允许最多 200,000 个字符，可容纳约 50,000 行简单表达式，理论上会生成约 280 MB SVG，并执行约 4,000 万次采样求值。生成过程中还会存在中间字符串和编码副本，实际内存占用会更高。同时： - 渲染运行在 `asyncio.to_thread` 中，取消请求在渲染结束前无法停止线程； - 最多可存在 100 个活动导出任务； - `note` 来源没有执行 `MAX_MARKDOWN_CHARS` 检查。多个并发任务可能耗尽内存和工作线程。建议： - 限制每个 `function-plot` 图块的表达式数量； - 限制单篇文档包含的函数图像数量； - 对 `note` 和 `markdown` 来源统一执行输入大小限制； - 对最终导出产物设置大小上限； - 超限时回退为源码占位并记录结构化 warning； - 补充表达式数量上限、笔记来源大小限制及导出产物上限的回归测试。 ### 验证结果 - 后端全量测试：**621 passed** - `git diff --check`：通过 - 与 `main`：无冲突 - 远程状态：可合并请修复上述资源上限问题并补充测试后再提交复审。

Kronecker closed this pull request

2026-09-05 23:13:47 +08:00

yxx referenced this pull request

2026-09-05 23:32:38 +08:00

fix(export): 为函数图像与导出产物增加资源上限 #30

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Kronecker/NotesAgentic#29