用途:按用户指定格式产出自包含的技术讲解,特别是 HTML 教科书章节或解释文;可选发布到 GitHub Pages。
主要能力:assets/template.html 提供起始脚手架(MathJax 配置、CSS 组件、模式桩),带 .thm/.def/.lem/.prop/.proof/.keyresult 等框式环境与代码复制按钮;scripts/.py 为校验/修复工具,以 HTML 路径作 argv[1];references/.md 按步骤按需加载(textbook-style.md、technical-writing-guides.md、pedagogy-checklist.md、figures-and-animation.md)。
教学规则:以有后果的问题开头再形式化,保持贯穿示例;先定义每个术语、符号、定义域与假设;陈述、推导并解释结论,写明假设与证据,给出算例或校验;图、表、代码、练习各司其职。
写作与校验:数学用 $…$ / $$…$$;命题配 .proof 并以 ∎ 结束;同一节同级框式结果需同等严谨。check_code.py 对每个 Python 代码块运行 pycodestyle,报 E303、E501 等即失败;<pre><code> 内每行一条语句、不插空行、行宽 ≤79。check_prose.py 与朗读审计只检查写在 .html 中的正文,脚本仅用于计算图形数据。
图示:仅为澄清论证而配图,几何、数据、动画关键帧由脚本计算生成,不可目测;三维内容需投影计算点并断言回代方程;SVG 的 marker/id 全页唯一;动画仅在运动揭示过程时使用 SMIL;Remotion 仅用于可分享 MP4/GIF。解剖/实体图用 Tier-2 阴影图元,禁止 AI 生成解剖图。
限制:不编造功能、收费、平台或效果;资料未提供脚本具体参数、发布流程细节与授权方式,暂未提供。