SOURCE → VALIDATE → SNAPSHOT → QUERY

让错误停在构建期
不进入运行时

逐层检查结构、引用和语义;只有零错误的数据才能生成强类型快照与索引。

STEP 011 / 7

TEACHING SOURCE

动作配置记录

教学 Schema · cost ∈ [0, 100]

IDNAMECOSTEFFECT_ID状态
id: int / primary key name: string / required cost: int / [0, 100] effect_id: int / reference
BUILD ARTIFACT尚未生成
等待验证完成…

CURRENT STAGE

SOURCE ROWS

读取源记录

先保留来源、行号和原始字段,错误才能回到作者位置。

本步改变

源单元格 → 带来源的记录

WHY

只报“生成失败”无法定位需要修改的行。

RUNTIME QUERY

快照发布后才能查询

站内基准 2 秒

键盘:← / → 单步,空格播放或暂停,R 重置。输入控件聚焦时不会触发快捷键。

01

问题

弱类型数据把重复键、断引用和非法范围推迟到运行时。

02

机制

分层收集错误,零错误后才生成强类型快照和索引。

03

失败边界

构建失败必须停止发布;不能生成空快照或残缺索引伪装成功。

04

复杂度

验证与建索引通常为 O(n),主键查询平均为 O(1),额外空间 O(n)。