- 角色
- 个人项目
- 状态
- 私有、本地
- 快照
- 本地 tag explainer-plan
- 关键结果
- 屏幕上每个说法,渲染前都按固定 commit 在源码仓库里核对过。
- 技术栈
- PythonManim带引用的代码生成
是什么
Explainer Engine 把一份 YAML 视频的声明式脚本:一列有序的 beat——图示、带引用的代码标注、概念图——每个都配旁白文本。它是引擎唯一的输入;它没写的东西不会出现在画面上。
编译成 用代码生成数学、技术类动画的库。场景是代码而不是时间线剪辑——正因如此,生成器才能确定性地产出这些场景。 的带旁白场景。每个 beat(镜头段落)可以是一张图示、一段带引用的代码标注,或者一张会动的概念图:把带标签的节点摆在命名好的锚点上,连上表示力的边、一条路径,再让一个节点沿路径移动。渲染路径一次跑完,中间没有模型:
storyboard → 引用校验门 →
确定性代码生成 → Manim 渲染并合成旁白。可选的
explainer plan 能从真实源码的一段焦点里起草这份
storyboard——证据是从它读过的文件里盖章出来的——但草稿仍要过同一道引用校验门,才能画出一帧。这是私有、本地工具;对应的快照写在下面的「证据」里。
要解决的问题
讲解会和它所描述的代码慢慢脱节,而一段渲染出来的讲解,脱节得无声无息:视频照样播放,图照样好看,没有任何东西告诉你,屏幕上那个说法早在两次重构之前就对不上源码了。转述本来就容易在细节上出错,制作越精良反而越糟——一个包装得漂亮的说法,看起来比一个没核对过的说法更权威,却没有那个资格。所以引擎真正要回答的,不是「怎么渲染一段讲解」,而是「一段渲染出来的讲解,要靠什么才能拒绝脱节」。
约束与关键决策
引用不上的说法,拒绝画。渲染之前,引用校验门会按固定 commit 从源仓库里读出被引用的行,核对所声称的证据是否真的在那里;还有一道 commit 诚实性检查:如果徽标上的 commit 和仓库 HEAD 对不上、或者工作区是脏的又没显式放行,构建就会失败。代价:写 storyboard 变慢了——每个说法都得配一条能解析的引用,一份跑得比源码还快、对不上引用的
storyboard 根本渲染不出来。
教学视图明确标出来,绝不冒充源码。屏幕上的内容始终标着 simplified(简化视图)——重新整理过的教学视图,绝不当成逐字源码来展示。那个琥珀色标签和
verified @ commit 徽标不是装饰,而是校验门的结论,直接显示在画面中。代价:每一帧都带着这套常设出处标记——有些像素花在了交代出处上,而不是花在观感上。
确定性代码生成,渲染路径里没有模型。同一份 storyboard 永远生成同一个场景,渲染可复现,任何输出差异都能追溯到输入差异。图示画布(diagram canvas)把关系变成动画,而不用手写场景代码——正因如此,能被讲清楚的是一个概念,而不只是一段代码清单,而且它仍然是可核对的。代价:storyboard 没写的东西就不存在;想要新的镜头段落类型,得改引擎,不是改提示词。规划器可以起草 YAML,不能绕过校验门,也不能发明引擎没有的镜头类型。
一套渲染核心,两个使用方。引擎跑在一套共享、与 Qt 无关的渲染核心上——和桌面批量渲染 GUI 用的是同一套——所以这条渲染路径是经过统一测试的,而不是单次脚本。代价:核心的每次改动都有两个使用方要照顾,引擎不能走那种会把 GUI 卡死的捷径。会改动这次拆分的触发条件写在「共用代码」和「共用一个包」,是两个决定。
证据
私有快照 local tag explainer-plan——没有可查看的公开源码。支撑渲染说法的是产物本身:上面这段视频是引擎的真实输出,不是效果图。它是在更早的
diagram-canvas 快照下渲染的,走的仍是这条带引用校验门的流水线。里面的五种力来自一份研究知识库(wiki);屏幕上的徽标标注了「memory force」所核对的具体源码行与 commit,且渲染开始前引用校验门已通过。出处标记——simplified 标签、verified @ commit
徽标——每一帧都看得见。视频本身只能核对产物和这些可见标记;引用的私有源码行与校验门结果,目前无法由外部独立核对。若源码以后公开,外部读者可以自行核对引用行;当时的校验门结果仍需要公开运行证据。这个更晚的快照加上了可选的
explainer plan 起草步骤;一份核对过的 storyboard 怎样变成一帧,没有变。
下一步
目前没有承诺到里程碑的计划。方向由图示画布只答了一半的那个问题来定:一个概念有多少内容能做成动画讲出来,同时仍可按源码核对。仓库若变为公开可访问,再补源码链接。
它不是什么
- 不是 LLM 视频生成器——规划器可以起草 storyboard;代码生成仍是确定、可复现的。
- 不是幻灯片——图示画布动的是关系,不是要点列表。
- 不是逐字源码查看器——屏幕上的代码是带标记的简化视图,真实的行都给了引用。
- 不是传递可信度的媒介——徽标给出的是校验门的结论,不是证据本身;真要核对说法的读者,需要的是链接,不是叙述。
- 私有、本地——目前不是公开源码项目。