九张插画，每张底下压着一张真状态机

April 把散落的图收进了一个地方，九张，画的是东西怎么运转。一张街道爆炸图，从上到下剥开路面、砖层、伦敦粘土和地铁隧道；一台行李机；一篇漫画；一只钟。每张图底下压着一张真的 statechart。

这些图不是手绘完就完事的。statechart 用 @poteto 的技能检查过，逻辑对得上才放出来。

先把背景补上。Statechart 是一种描述系统状态和状态之间怎么跳转的图，民航、汽车电子、协议栈这些领域在用。它长得很干，方框加箭头，一般人不会盯着看超过十秒。

April 的做法是把它翻过来。她先用 /statechart 加 Colorfigures 生成等距视角的插画，再让画面动起来。地铁站的楼层像纸片一样折叠，咖啡豆从枝头一路走到杯子里，一个周六被塞进骰子，农场的每只动物都会说话。画面里每个物件都能点。

这里有个容易被忽略的细节：插画不是凭空生成就交付的，每张图下面挂着对应的状态机，等于把“这东西怎么运转”的说明书写进了画面本身。你看着是张可爱的等距小图，点开发现底下有一套可以逐条核对的逻辑。

两个技能都放在 pstack 里，安装地址是 https://github.com/cursor/plugins/tree/main/pstack。April 的作品在 https://april-zhu.com/fieldnotes 和 https://april-zhu.com/colorfigures，五张图都能点着玩。有人在评论区问她怎么做的，她只回了一句：装上这两个技能，试试。

值得多看一眼的地方在于工具的去向。形式验证这套东西过去待在工程团队深处，做对了没人夸，做错了才被叫去开会。现在它被拿来画地铁站和咖啡豆，画完还能动。技能本身没有变聪明，变的是谁在用它、用它做什么。

lauren 转这条推文时把九张图摊在一起，问哪张最好看。这个问题的答案其实不重要，重要的是底下那行状态机，它在提醒你：可爱的东西也可以是被验证过的。