树是产品本体，不是装饰
计划是把你自己的那张图放在首屏：亮的是还握得住的，暗的是正在滑走的，只描了边的是先修已经齐了、可以开始的。它一个人同时是进度条、地图和记录，而不是三个互相打架的小部件。
现在：图和渲染器已经有了。能给它上色的那份用户状态还没有。
开发中
每天一片数学，留下一张属于你的地图
MathDaily 想验证一件事：每天五到十五分钟，攒下来的不该是一条连续打卡记录，而是一张「我到底会什么、它们怎么连起来」的地图。
现在还没有任何东西可以登录。没有账号，没有每日会话，也没有内容被送到浏览器里。今天已经存在的，是其余一切都要压在上面的那部分：那张图，以及写在图上的数学。下面把它们逐条讲清楚，每个数字都是从仓库里数出来的，不是写在这一页上的。
这张图现在的样子
内容包calculus-single-variable@0.1.0
为什么要这样做
市面上已有三类产品。它们各缺一块，而且缺的是同一件事的不同位置。
- 课程平台
- 进度是「视频看完百分之多少」。那衡量的是过去了多少内容，不是你能做什么；而且一旦断了，除了从头再来没有别的入口。
- 拍照解题 / 答疑
- 把这一道解决掉，然后什么都不留下。没有东西在累积。
- 游戏化应用
- 有趣，但知识结构始终不可见。你在哪、下面缺哪块、接下来学什么才合理，从来没人告诉你。
从你真正所在的位置开始
一个工作五年、想补概率的人，不该从「分数是什么」开始，也不该直接被扔进测度论。入口被设计成一次很短的摸底：沿先修链二分，交还给你的是一个起点，不是一个分数。
现在：摸底逻辑已经写成纯函数并有测试。还没有对应的界面。
数学思维是第二根轴
概念沿一个方向排。化归、不变量、对称、极限过程、构造、反证——这些动作本身沿另一个方向排。每个片段显式挂一个思维标签，于是「我数学变好了」从一种感觉变成第二件可以被数出来的东西。
现在：13 个标签已定义，每个都写了为什么重要与典型例子。69 个概念里有 48 个至少挂了一个；其余是故意不挂的，因为一个贴满所有节点的标签等于没有标签。
巩固是默认行为，不是一个你得记得去用的功能
强度会衰减，所以树自己会变暗。一天的安排是一个新片段加上到期的复习，也就是说你永远不需要自己决定复习什么；断三周之后回来，代价也只是一棵稍微暗一点的树。
现在：调度规则已写好并有测试。它作用在概念上而不是卡片上，所以答错一次是把这个概念的强度压低一点，而不是清零。
现在到了哪一步
如实的版本。下面每个数字都是页面构建时从本仓库的内容里数出来的。
已经存在
- 一张单变量微积分的先修图：69 个概念、152 条先修边、14 层深。每条边都是一个数学断言，两个独立写出来的校验器都同意这张图无环、且每条边上深度严格递增。
- 276 条误解，与概念写在一起。它们不是注解——它们会变成题目里的错误选项，所以随手编一条就等于产出一道废题。
- 6 个入口层片段已撰写，合计 56 分钟阅读。每一篇由一个模型起草、再由另一个模型复核，其中 64 条可机械检验的数学陈述被逐条核过。
- 13 个思维标签，每个都写清了它指的是哪个动作，并配了典型例子。
- 一套按概念衰减强度的调度器，以及判定概念何时开放的就绪规则。两者都是纯函数，都有测试。
- 以上全部以版本化文件存在本仓库里。可 diff、可 review、可回滚，运行时没有任何语言模型往数据库里写东西。
还不存在
- 任何一条从邮箱走到课程的路。没有账号，没有每日会话，也没有内容被送到浏览器。
- 一棵真的树。知识树目前只在一个内部预览页上渲染，用的是我们编出来的一个学习者，为的是把四种节点状态都看一遍。没有为任何人存下任何东西。
- 任何可以买的东西。没有定价，也没有在卖。
它是给谁做的
在读中学
跟上这学期正在讲的，同时把底下缺的那几块悄悄补回来。
在读大学
高数、线代、概率——沿先修链往回一拉，暴露出来的常常是中学代数里某一块没打牢，而上面所有东西都压在它上面。
转行 / 在职
把概率与线代补到够用为止：先说清目的地，再沿先修链往回拉。
纯粹想学
没有考试也没有截止日期。沿思维那根轴走完全成立。
如果你对数学最清晰的记忆是被人说过「你反应慢」：这个产品写的第一个片段讲的是分数、负号，以及一条规则从哪里开始不再适用。这不是偶然选的。
早期访问
等到有东西真的能用了，发一封信。它不是订阅号，在那之前没有内容要读。