荣誉记录

红石阁收录的各门类纪录。手写维护,改动可追溯。

荣誉记录

这里记录各门类里当前被认可的最优解:最快的、最小的、最先做出来的。

为什么是手写的

早期这一页是从数据库里拉「被管理员标记过的作品」自动生成的。问题在于纪录本身 不是一条数据库记录能表达的东西 —— 它需要说明在什么条件下成立:测试版本、 是否允许准连接、计时从哪一刻开始、有没有前置装填。这些约束一旦缺失,纪录就会 变成一句无法验证的断言。

所以现在改成手写的 Markdown。每条纪录都写清判定条件,改动走仓库提交, 谁在什么时候改了什么一目了然。

分门别类

想提交一条纪录

先读收录标准,然后带着结构文件走正常投稿流程。 纪录不接受口头声明 —— 没有可复现的结构文件就不会被登记。