9.2 状态变量
三类状态（flag 布尔 18 个、好感度整数 4 个、物品 9 个）与四个效果算子的写入域一一对应：set 只写 flag、add 只写好感度、grant 与 revoke 只写物品。S 层脚本逐条校验越域并统计每个变量的被写次数，实测 138 条写入全部落在域内，revoke 一次未被使用。
tag
叙事结构
共 83 篇文章。
8.3 假选择与真后果的判定
一个选项是假选择，当且仅当它不改变任何状态，且与其他选项在终局可达集上不可区分。判据写死在脚本里，不按结果调参。本节用 S 层脚本对《雾港夜航》的 115 个选项逐个判定：空效果选项 16 个，其中 12 个仍判真后果，真正判为假选择的只有 4 个。
8.2 宽度与深度
宽度是一个节点同时可选的选项数，深度是从起点到终局走过的边数。本节用 S 层脚本量出《雾港夜航》的平均宽度 2.67、最大宽度 5，并用两条口径量深度：全部 450208471680 条结构路径的长度只取 22/25/28/31 四个值，而采样 20000 次的均值是 25.41 步。
8.1 分支拓扑：分叉、汇聚、并行
分支拓扑把对话图读成三种原语：分叉是一出多、汇聚是多入一、并行是两条互不可达的去向。本节用 S 层脚本对 48 个节点统计出度与入度，找出全部 9 个分叉点与 8 个汇聚点，再用支配点算法分离出 4 个「所有路径必经」的强制汇流点，最后落出一张 48 行的拓扑表。
7.3 顺序约束与解锁
带条件的边是顺序约束：lighthouse_base 到 tide_cave 要先有 knows_tide_rule。本节把 5 条约束折成一张表，做两项判定——环检测（DFS 三色法加 Kahn 拓扑序，实测无环）与「不可达的解锁条件」（钥匙会不会锁在门后，实测 0 条），并输出约束表 CSV。
7.2 场景的可达性
把带条件的边当作「可能通」后，场景图上的 BFS 给出结构可达性：14 个场景全部可达，但 5 个场景（counting_house、watch_post、tide_cave、harbor_office、drowned_bell）的入口边全部带条件，可达性完全取决于状态。本节给出入度、出度、最少跳数与最早出现幕四列。
7.1 场景图：节点、边与入口条件
场景图把 14 个场景写成一张图：节点带 enter_when，16 条边里 11 条无条件、5 条带条件。本节做结构校验（每条边两端都在 nodes 里）与邻接表，并用纯 xml.etree 出一张按幕分列的场景图 SVG；其中 5 个场景只有带条件的入口边，可达性完全取决于状态。
6.3 结构与节奏的比例检验
比例检验把「三段差不多长」「后面更紧张」这类印象换成整数：各幕拍数 5/6/5 折成千分比 312/375/312，张力均值 2000/3666/4000‰，峰值位置落在第 4、10、13/14 拍。本节给出可跑的 S 层脚本与纯 xml.etree 的各幕张力分布 SVG，并断言第三幕峰值不低于前两幕。
6.2 节拍表：把结构写成 beat 序列
节拍表把结构写成一行一拍的 beat 序列，于是「顺序」变成可校验的约束：act 必须单调不减、scene 必须存在于 scene_graph、节点所属幕必须与节拍所属幕一致、每个场景节点至少被一拍覆盖。本节用可跑的 S 层脚本逐条校验并打印《雾港夜航》的 16 行节拍表。
6.1 三幕、五幕与起承转合
三幕、五幕与起承转合不是三种故事，而是对同一份 beats[].act 的三套分段规则：三幕按 act 直接分组得 3 段，五幕把首尾两幕各对半切得 5 段，起承转合把第二幕对半切得 4 段。本节用可跑的 S 层脚本把《雾港夜航》16 个节拍映射到三种模型，逐条对比分段边界。
5.3 弧光的可达性
乐观上界只说明「够得到」，不等于「走得到」。本节真的跑两万条采样路径，逐条记录六个角色的好感度峰值，看它是否越过 stages 对应的三个门限。结果是 15/18 可达、3 条不可达（全部落在林与孩身上）；更耐读的是「可达」内部的落差——砚的 trust 只有 4‰ 的路径走到，沈的有 112‰。
5.2 弧光与行为的对齐
弧光的每一段要对到一个好感度门限上。本节把《雾港夜航》六个角色按 cold/warm/trust 三门限做对齐，用「乐观最早跨越节拍」当上界：连把正向选项全选一遍都没能在声明转折节拍前越过门限的，就一定是错位。18 条里查出 4 条错位——砚的阶段①落后 4 拍，林与孩的 trust 门在乐观路径上都够不到。
5.1 弧光的阶段与转折
弧光在规格里就是两个数组：三个 stages 阶段名，加三个 beats 转折节拍号。本节把《雾港夜航》六个角色的弧光写成阶段表，并用 S 层脚本校验三阶段、三节拍号、严格递增、落在 1..16 的范围内；顺带暴露 b12 与 b16 被两个角色同时声明为转折点的结构拥挤。
4.3 关系的不对称与变化
关系有两副面孔：一副是矩阵里静态的不对称，一副是沿路径动态的变化。本节用自实现 MINSTD 采样 20000 条路径，输出 4 个好感度变量的「初始值 → 终局值」分布表，断言整数不变量残差为 0，并统计出 15 对关系里 13 对不对称、2 对差距达到 20。
4.1 角色的字段：目标、恐惧、秘密
目标、恐惧、秘密在叙事规格里都是自由文本，机器读不懂。本节给出一层可校验的锚点表，把每个字段锚到具体的场景、flag 与条件，再用 S 层脚本回规格做交叉引用检查：30 个字段锚点里 21 个可检查，并定位出 18 个 flag 里 7 个从不参与任何条件。
3.3 设定的暴露节奏
设定不是一次倒完的：lore[].reveal_flag 把「揭示时机」写成状态，某条设定何时被玩家知道，取决于它的 flag 在哪一步被置 1。本节沿 20000 条采样路径统计 6 条 lore 的首次揭示位置分布，并用纯 xml.etree 出一张暴露节奏 SVG——网格给每条 lore 落在哪一夜，折线给平均已揭示条数。
3.2 设定的一致性：冲突检测
设定冲突不是「感觉」，而是三种可判定的结构问题：立场失衡（带符号环的符号积为负）、地点解锁成环（互相依赖）、同一条规则被两个来源反证。本节用一个 S 层脚本各写一个检测器，在真规格上得到 0 死锁 / 0 失衡环 / 0 双源反证，再用三份注入式坏规格证明检测器真的会报错，而不是恒返回「无冲突」。
3.1 派系、地点与规则
世界观在规格里是三组可校验的字段：4×4 的派系 stance 矩阵表达谁与谁对立，地点 unlock_when 表达空间解锁，rules 表达可检查的约束。本节用一个 S 层脚本把三者都读成可判定的量，逐对检验 stance 矩阵的反对称性，校验 14 个地点的解锁条件与提供者，并把 4 条自然语言规则整理成待绑定的清单。
2.3 规格的版本与迁移
meta.spec_version 是迁移的判据。本节给出字段增删的兼容性规则，并用一个迁移脚本演示 v1 到 v2 的向前兼容：读 v1 规格、补默认值、产出 v2，再用 v1 投影摘要断言旧字段语义不变，且 Python 与 TS 两侧摘要一致。
2.2 模式校验与语义校验
模式校验挡「字段写错了」，语义校验挡「字段写对了却指向不存在的东西」。本节把这两类失效分开处理，给出六项校验的 Python 实现与真源 0 违规的实测结果，再对真源做三处定向破坏，确认对应校验会开火且无连带误报，TS 侧复用同一套判据求值。