文档

所有参考资料的入口,给需要看网站背后细节的人。

规格28 个文件

schema、API、任务格式、权利条款与定价,原文。

在下方 › 数据结构线上库地图

每张表、每个字段、每条外键,从部署的库现读。

影子模式记录什么,以及它遵守的九条规定。

各张表之间必须始终成立的六条恒等式。

从别的评测和数据集里采纳什么,空位在哪。

哪些是真的、哪些是演示,下一步谁做什么。

28 个文件,各管一件事

docs/rc-instrument/ 下 28 个文件、13,956 行。i

文件	用途
`architecture.md`	六层架构,L0 物理层 → L5 产品层。
`schema.sql` · `data-model.md`	规范 PostgreSQL schema 及其读者指南。
`failure-taxonomy.yaml`	失败受控词表;`failure_classes` 表的唯一真源。
`judge-api.yaml`	Judge API 的 OpenAPI 规格。尚未部署。
`task-protocol.md` · `tasks/`	开放 YAML 任务格式:公开什么、保留什么、私有任务怎么保管。
`run-bundle.md`	一条不可变 episode 的落盘结构与哈希。
`data-rights-and-tos.md`	给律师审的条款草稿,不是法律意见。
`orders-and-pricing.md` · `unit-economics.py`	定价方案;所有毛利数字由脚本生成。
`reports.md`	六种面向客户的交付物。
`validate_.py` · `mutation_test_.py` · `derive_ambiguities.py`	校验、证明校验能失败、以及生成出来的清单。

全部文件及行数

文件	行	类型

按文件、按类型看体量

规格文件体量 · 13,956 行

按类型

一个文件规定影子模式记录什么

一个文件 PROTOCOL.md,规定影子模式采集、推理、显示什么。i状态与负责人见计划与状态。

版本	规定
v1	三条流(`obs` / `pred` / `div`)分开存,用 `t_ns` 关联;采集时策略可以不在场。i
v2	录一次,所有模型离线各跑一遍:得到策略 × 本体矩阵。必须有「什么都不做」的基线;分歧不是能力排名。
v3	obs 必须记录物体与目标位姿;决策 tick 密度决定任务准入。i
v4	n ≥ 40 让一个数字可印,不让两个数字可比。闭环 `pred` 同时记策略动作与下发动作;包络是格子身份的一部分。
v5	被上限截断的数据算出的统计量是界,不是测量值。两个上限里,更紧的那个静默生效。
v6	旋转增量必须声明参考系(本体系 / 世界系)。
v7	一个比值可以 100% 由归一化造出来。i
v8	库必须自带一个零差异对照。i
v9	工具点必须被声明,不能按文件里的链接顺序猜。

还有两件事没定

两件都需要有人拍板,不需要更多分析。

01格子本体的折旧算谁头上。算硬件生意的展厅库存:周租 $500 毛利 48.8%;算 eval 自有:同一周只有 3.2%。示意
02B 档任务内容的物理保管人是谁。锁箱 + 清单 + 访问日志,要一个名字。i

schema 从未对活库跑过

它能干净地解析,而第一个里程碑 M0 一行都用不上它。

parse-clean 不等于 run-clean

交付时 schema.sql 用 pglast 解析通过(176 条语句),但从未对活库跑过;judge-api.yaml 没跑过 OpenAPI 3.1 一致性校验。i

M0 一行都不需要这 13,956 行

3 个模型 × 4 个本体 × 40 次 = 480 次 run,纸质试验表,人工判分,eval_real_robot.py 出聚合:约 2 工程人周 + 3 operator 日。规格是为了第一份结果出来之后不返工,不是为了在它之前拦路。

首次部署验收

这是「B 档在连接级隔离」唯一的证明方式。跑通之前,不要把它说成已验证的事实。

1  psql -f schema.sql
2  SELECT rc_refresh_metrics(false);   ← false 很关键:CONCURRENTLY 填不了空的物化视图
3  SELECT * FROM v_schema_invariants;  ← 期望每一行都是 0
4  # 用 API 自己的角色连上去,断言这一句报错:
   SELECT * FROM tasks;              → permission denied for table tasks

Judge API 绝不能用表的 owner 身份连接。owner 同时绕过列级权限和 RLS,防护变成摆设,而所有测试照样全绿。i

推导,不是手打

这一页没有一个数字是手打的:规格行数从磁盘数,分类法数字从线上 rci_taxonomy 查。最后一份手写清单已由 derive_ambiguities.py 生成替代,--check 进 CI。

原因:同一类错误出现了四次。硬编码 20 个排除类里的 2 类;证据降级翻转分母;手写的歧义清单与视图推导的排序不一致;以及这一页自己曾把 17(叶子数)写成 20 个排除类的总数。每一次都是手写的一份和计算的一份在悄悄分叉。生成器第一次跑就抓到了漂移。