这里是全站文章的归档入口,下面是按时间倒序排列的全部文章。若想按主题浏览,请从首页的专题分类进入。
13.3 偏差与容差
什么必须逐位相同、什么允许不同,本节写成一张容差表:整数状态(好感度、flag、item、节点 id、路径)必须逐位;浮点派生量、对象键序、文本渲染、时间戳允许不同。负例把好感度钳位上限从 100 改成 99,实测 12 / 500 条路径摘要改变,首个分歧点定位到路径 #13 第 20 步 c_fg_1a 的 shen。
posts
这里是全站文章的归档入口,下面是按时间倒序排列的全部文章。若想按主题浏览,请从首页的专题分类进入。
什么必须逐位相同、什么允许不同,本节写成一张容差表:整数状态(好感度、flag、item、节点 id、路径)必须逐位;浮点派生量、对象键序、文本渲染、时间戳允许不同。负例把好感度钳位上限从 100 改成 99,实测 12 / 500 条路径摘要改变,首个分歧点定位到路径 #13 第 20 步 c_fg_1a 的 shen。
同一条确定性策略路径(总是选第一个可用选项,25 个事件)在 Python、Node 内核与浏览器内联三个宿主上推进,终局节点 e_lit、结局 灯守、FNV-1a 摘要 4162796975 三侧逐位相同。本节给出宿主差异清单:整数运算、取模、Math.imul 与大整数、对象键序、Unicode 归一化,逐条说明为何不影响状态摘要。
摘要用 FNV-1a 32 位,只对 canonical 规范串(状态)做,不对台词文本做。本节实测同一批 500 条路径(seed=20261016)在 Python 与 TypeScript 两侧逐位相同 500 / 500,前 3 条摘要为 3976226298、3848604931、1198029437,并与卷一同种子采样逐位相同,证明卷二未另立真源。
四类文本一致性校验一次算齐:漏键、悬空键、变体覆盖、占位符。前两类残差为 0;变体覆盖报出 d_lt_2 欠声明(有 line_when 无 line_else,按规则回落,只报不判失败);占位符残差 0,并给一条负例。本章只做结构一致性,译文质量与字体覆盖需真实业务环境,命令行不可复现。
同一条键在不同状态下要渲染不同文本,这是条件变体;同一句话在不同数量下要选不同形式,这是复数。本节给出 2 个带条件变体节点的覆盖矩阵(1 完整、1 欠声明),并给出 zh-CN 与 en-US 的最小复数规则对照——中文退化为单类,复数只在对照语言上有意义。
文本是规格的一种渲染产物,而键是文本表与规格之间唯一的连接点。本节从 dialogue 段抽出全部文本键——48 条 line、1 条 else、115 条选项文本,共 164 键——给出键命名规则与漏键 / 悬空键检测,并各给一条负例。只做文本的结构一致性,不评价译文质量。
读档后从存档点继续推进,必须与从头一次走完得到逐位相同的终局状态。本节沿 25 步路径在第 1、5、10、15、20、25 步分别存档读档,终局规范串全部相同;并给出负例:把存档里的好感度篡改成 999,宽松读档钳位到 100 并记录修复,严格读档直接拒绝,检测器抓得到。
存档是状态的规范序序列化:键按字典序、值全是整数、无浮点、无时间戳、无随机。本节把一条 25 步路径的终局状态写成 795 字节的存档 JSON,验证字段与 canonical 串一一对应,并让序列化到反序列化再序列化两次字节完全相同;同时点明临时 UI 状态、派生量、绝对时间不能进存档。
用固定种子采样 20 条路径,逐条把选择序列注入页面,断言终局节点、结局与状态摘要与 Python 侧一致,批跑通过 20/20、覆盖 4 种结局。失败时原样打印选择序列便于重放;S 层落成 JSON,P 层 core/test 回放对照。
把 25 步序列走完后的终局状态读回来断言四件事:终局节点 e_lit、结局 灯守、终局摘要 4162796975(与 Python 与 TS 侧逐位一致)、同一序列跑两遍摘要不变;再截图到 out/shots/ 并给出 PNG 字节数。只对整数状态写逐位一致。
用 Playwright 无头打开 web/dist/ne10.html,靠 data-choice-id 选择器契约注入一条 25 步的完整选择序列真玩一遍:逐步记录节点 id 与当前好感度读数,并断言每一步注入的选项都落在规格该节点的可用集合里,终局摘要 4162796975。
同源的意思是同一份规格在 Python 与 TypeScript 两侧推进同一选择序列,整数状态摘要逐位相同。本节用四种确定性策略各走一条路径:Python 侧落出四条路径的选择序列与 FNV-1a 摘要,TypeScript 侧读回产物原样重放,断言规范串与摘要两侧完全一致。
规格驱动的意思是引擎里没有一条硬编码剧情:可用的选项来自 dialogue 的 choices 加 when 求值,状态推进来自 state 的四个效果算子,终局来自 endings 的 when 判定。本节用一份 TypeScript 模块与四条断言证明这台状态机的全部行为都由 spec 的三段决定。
叙事引擎可以被抽象成一个三元组:状态(节点、好感度、flag、物品、路径)、事件(一次选项点击)、转移(纯函数 step)。本节把《雾港夜航》的引擎压到这三个词上,并用一份 S 层脚本打印一条 25 步路径的逐步骤状态轨迹与每一步之后的 FNV-1a 摘要。
《叙事策划与叙事工艺》卷二《叙事引擎与分支系统》目录:16 章 48 节,把 story_spec.json 变成可执行的对话状态机——条件求值、效果应用、确定性回放、状态空间穷举、可玩原型与跨语言摘要。本页给出分工说明、六档可运行性口径与全书 16 章 48 节完整清单。
点赞可以乐观,支付与下单不行。本节按回滚成本把写操作分成四档:即时可逆、可补偿、需服务端确认、绝不能乐观,并给出一个可测试的 TypeScript 判定函数与七类操作的决策表;重点解释为什么资金、库存与对外通知不能靠本地回滚,以及重试策略如何与乐观策略解耦。
把 javac 的 -Xlint 从编辑器提示变成构建门禁:先看 rawtypes 与 unchecked 的真实告警,再用 maven-compiler-plugin 的 -Xlint:all,-processing 加 -Werror,最后给出 libraryd 里处理泛型与受检异常的写法。
用 arch-lab 订单系统实现固定到达间隔的开环 loadgen,并与固定 worker 的闭环对照;真实运行展示服务变慢时闭环如何因协调遗漏少报延迟,附原始输出、数据构造、预热、回放比例与脱敏边界,以及超时统计、并发上限与报告口径的读法。
按报错关键词整理 Java 入门阶段最常见的编译与运行问题:找不到符号、类型不兼容、找不到主类、类版本不匹配、NoSuchMethodError、空指针、数组越界、并发修改、编码乱码、Maven 依赖冲突、jar 无法运行、端口占用等,每条给出典型报错、原因、排查步骤与修复示例。
让同一 commit 在任何机器上产出相同字节:锁定 Maven 生命周期插件版本,设置 project.build.outputTimestamp,连续两次 clean package 比较 jar 的 SHA-256,并说明 SNAPSHOT、时区与本地缓存会怎样破坏可复现性。