# 验证记录

编写规范

记录按日期和实际范围解读，不把预期输出、阅读核对或页面渲染等同于代码运行通过。状态定义与证据要求见维护规范。

# 当前逐篇状态索引

状态核对日期：2026-10-18。下表覆盖九章的 64 篇正文；同一行列出的文章分别具有该行状态，未单列通过的语言不继承其他语言的结果。待复核表示当前没有可绑定该文章代码版本的完整运行证据，不等于已证明失败，也不追认正文中孤立的“全部通过”。导航、模板与维护文档不作为代码示例计数。

# 2026-10-18 TypeScript 完整示例修复验证

检查了 docs/ 下全部 Markdown 中的 TypeScript 围栏与跨节复制说明，找到 10 篇需要从 JavaScript 拼装的主示例，现均改为包含实现和驱动的完整程序。其余短块为明确标注的验证输入数据，不作为独立程序。本次检查针对示例完整性，不代表全库语义审计。

环境：Windows x64，TypeScript 5.9.3（npm 缓存中的隔离编译器），Node.js v22.17.0；未修改项目依赖。逐篇提取 TypeScript 完整代码块到独立系统临时目录的 main.ts，执行 tsc --strict --target ES2022 main.ts，再执行 node main.js。全部编译与运行退出码为 0，编译无诊断，运行 stderr 为空；正文内检查均未失败。下表记录实际 stdout，\n 表示换行，哈希基于代码块 UTF-8 字节、LF 换行且保留末尾换行。

端口解析的完整代码与 2026-10-17 组装后的短驱动哈希一致；此前 16 项边界的历史记录保留，本次只重跑正文短驱动。其余文章本次只覆盖正文既有用例，未执行其他语言。临时源码和编译产物已删除。

文档检查：npm test 的 7 项导航测试通过，npm run render 成功生成 82 篇文档，git diff --check 无错误；生成页面的 TypeScript 代码块与源文档一致，保留 #typescript 锚点。

# 2026-10-17 P1 修复验证

# 端口解析的 TypeScript 重新核验

原冲突对象明确为 02-types/parse-port.md 的 TypeScript 小节：旧总表没有文章与源码标识，不能证明曾覆盖端口片段；旧组装表的“本机未执行”也不能描述当前状态。因此不推测旧结论谁正确，而以本次具体运行取代该对象的未知状态，其余历史对象维持待复核。

环境：Windows x64，TypeScript 5.9.3，Node.js v22.17.0。使用已有隔离编译器，不改变仓库依赖或系统默认工具链。

1. 按正文组装：仅将 JS 实现首行替换为 function parsePort(text: string): number {，保留函数体，在其后添加一个空行和 JS 驱动，保存为独立临时目录下的 main.ts。
2. 短驱动执行 tsc --strict --target ES2022 main.ts，再执行 node main.js；编译与运行退出码均为 0，编译无诊断、运行 stderr 为空，stdout 精确为 8080\ninvalid port\n。
3. 另建独立目录，只把驱动输入数组换为下列 16 项，重复同一编译、运行命令。输出前四行依次为 8080、80、1、65535，后十二行均为 invalid port；退出码均为 0、stderr 为空，与预期逐行一致。

TypeScript["8080", "00080", "1", "65535", "", "0", "65536", " 80",
 "+80", "-80", "80x", "80\n", "1e3", "80.0", "８０", "000080"]

代码版本按**组装后 main.ts 的 UTF-8 字节（LF 换行）**记录 SHA-256：短驱动为 cf96d354e0644c8279f9d0705d5e81846ea1b1ff09ad3981b63f48aa018073ad，扩展驱动为 066c7043ddbdb389640ee66de4e09008a09ca4bf2713bc230ccd836f533e2980。扩展数组按上述顺序序列化为紧凑单行字符串替换原数组。本文数组围栏只是驱动替换数据，不是新的独立程序。

执行器调用已有编译器入口的等价命令为 node <TypeScript目录>/bin/tsc --strict --target ES2022 main.ts；编译限时 30 秒、运行限时 10 秒，未触发超时。临时源文件和产物已删除。本次未执行其余七种语言，也未扩展为任意对象或空引用输入校验。

# 分页偏移的八语言回归

对象：01-basics/page-offset.md 全部八个语言的完整程序，直接从正文提取，不改函数或驱动。执行时整个 Markdown 文件 UTF-8 字节 SHA-256 为 ef884c95fe3305ee02af06731bd129fa7ed04a123b5d47cd80a9f2307ea72d35。每种语言使用独立系统临时子目录；外部执行器给每条命令 120 秒超时，均未触发，执行后删除临时目录和产物。

环境为 Windows x64。下表每一行均实际执行，所有编译及运行退出码为 0、stderr 为空；单独编译步骤无 stdout，运行 stdout 统一 CRLF 为 LF 后均精确为 offset: 20\n。Java -ea 已启用，Python 未使用 -O，C++ 未定义 NDEBUG。

环境处理：默认 rustc 入口报未配置默认工具链，本轮没有修改全局设置，而是直接调用已安装的 stable-x86_64-pc-windows-msvc/bin/rustc.exe；TS 通过 node <TypeScript目录>/bin/tsc 调用，Kotlin 通过已有 kotlinc.bat 调用。复现者应选择自己的对应工具链路径，不依赖作者缓存目录。

各语言驱动均检查六组合法显式输入、默认容量、九组非法输入。其中包括结果恰好 MAX、MAX-1、MAX+1、最大输入及零结果、超上限输入、(MAX,MAX) 和原反例 (9007199254740990,3)；所有超范围调用都走显式错误通道。JS/TS 还检查小数、NaN、无穷值，JS/Python 检查字符串与布尔值，Python 还拒绝整数值浮点输入。详细值表保留在正文，不以只有最终打印结果作为正确性依据。

原反例在本轮八语言驱动中均被拒绝；不是通过删掉输入或容忍舍入来“通过”。共同值域现在明确限制输入与结果为安全整数范围，且乘法前检查。没有测试真实数据库、全部操作系统、32 位目标或每个历史基线版本；本轮使用的较新版本不能替代基线兼容性验证。

# 工程生态的来源复核

对象：09-philosophy/engineering-ecosystem.md，整个 Markdown 文件 UTF-8 字节 SHA-256 为 f3251247bc1e01f8397377bc71df376827fcfc34727a66c4b099d19981ec8c6d。文章以已有配置加载器部署到干净目标机器为共同变化，移除了无测量依据的镜像区间和无条件的静态、零依赖保证。

核对范围为正文就近引用的官方材料：Go/cgo、Rust Reference Linkage、JDK 21 jpackage/jlink、Python 3.11 Windows embeddable package 与 C 扩展、Node.js 22 平台与 addons、GCC 链接选项及 Cargo/Clippy 工具边界。结论限定在目标平台、链接方式、运行时和资源条件下；生态与团队判断明确标为分析。原有标题锚点保持不变。

此项执行状态为“不适用”：没有构建镜像、制作安装包、实测部署、性能或体积，来源核对不计入任何语言的运行通过数量。

# 2026-10-17 审查抽样执行

环境：Windows x64，Node.js v22.17.0。只执行下表的 JavaScript，没有在本次重跑其他语言，也没有证明全部基线兼容。正文和其他语言的历史通过声明不自动继承本表结论。

使用现有 Markdown-it 提取各篇标为 javascript 的完整程序。三个项目分别放入系统临时目录下独立、无 package.json 的 CommonJS 子目录，保存为 main.js，以 node main.js 无参数执行；每个进程设置 20 秒外部超时。逐字比对正文“运行与验证”的预期 stdout（统一 CRLF 为 LF），核对退出码和 stderr。临时目录执行后已删除。

以下为执行对象的整个 Markdown 文件 UTF-8 字节 SHA-256，不是临时驱动或渲染页面的哈希：

# 本次文档与页面检查

• 执行现有 npm run render，全库 81 个 Markdown 页面生成成功；未增加构建工具或测试框架。
• 临时 Node.js 检查使用现有 Markdown-it 解析修改后的 languages/ 79 个文件，检查一级标题、标题层级及围栏；同时逐项检查 1319 个内部链接的源文件和渲染目标，其中 741 个章节链接核对生成 HTML 的真实标题 ID，未发现残留错误。外部网址的可达性和论断真实性不在这项自动检查范围内。
• 浏览器实际点击主题首页到规范、规范篇内“维护流程”、规范到审查报告、报告到本次验证记录；在 1280 像素桌面宽度和 390 像素窄屏查看页面及表格。受检页面没有页面级横向溢出，宽表区域使用局部滚动；未逐页人工检查全库。

# 2026-10-15 历史摘要的适用范围

以下是历史声明而非当前通过矩阵；所有未绑定当时源代码与逐篇用例的条目均为待复核。保留工具链名称、原声称范围和旧用例用于后续比对，但不把它们算作当前证据。TypeScript 端口片段的现状已由上方重新执行确定，不能再用旧总表或旧“本机未执行”代替。下方旧日期、数量和页面结论均未在本轮重新测得。

# 实际执行情况

原记录描述曾从 Markdown 提取代码，在系统临时目录组装、编译和执行；未保留可对应多数文章版本的证据清单。下表只保存其声明，不据此确认当前实现通过。

原记录另称准备了临时 TypeScript 5.9.3 与 Kotlin 1.9.25，执行基础与集合的典型示例。缺少文章和源代码版本清单，不能据此追认为全篇或全库通过。

历史环境说明：当时直接执行 python --version 命中 Windows 应用执行别名；通过 uv python list --only-installed 找到 Python 3.13.3，并记录以下等价命令：

Shelluv run --no-project --no-python-downloads --python 3.13.3 main.py

原记录的 Python 3.13.3 等实际版本不等于首页全部基线；该记录也没有证明所有基线版本兼容。

# 组装与复现

以下为历史组装说明，保留供比对。操作时仍应使用各语言独立临时目录和当前正文命令；这一段不声明当前代码已执行。

编译与运行命令在正文中维护，避免在此重复多个易失步的版本。工具路径、版本和临时目录因机器而异，不要把作者的本机路径复制为运行前提。

# 用例与验证边界

以下用例与观察均为原记录描述，不是本轮重新执行；缺少源代码标识的对象仍按当前索引列为待复核。

# 条件分支

执行库存 0、1、3、5、6，分别核对 sold out、low stock、low stock、low stock、in stock。覆盖三个分支与低库存区间的两个端点。负数不属于示例输入契约，输入校验不在本例中实现。

文末 debug 条件取值表仍是函数内教学片段，本次未逐门组装执行；不要把正文完整程序的通过状态扩展到该表。

# 端口解析

• 有效输入 4 个："8080" → 8080、"00080" → 80、"1" → 1、"65535" → 65535。
• 无效输入 12 个：""、"0"、"65536"、" 80"、"+80"、"-80"、"80x"、"80\n"、"1e3"、"80.0"、"８０"、"000080"。其中 \n 在运行时是实际换行。
• 保留正文的错误消费路径，仅把原始驱动的两个输入扩展为上述输入；C++ 同时将 std::array 的元素数量改为 16。逐行核对前四项数值及后十二项 invalid port，不以“程序未抛异常”代替行为断言。
• Java 的 null、JS 的非字符串对象、错误恢复策略以及不同错误原因的细分不在契约内，本次未验证。

# 报告输出

• Rust、Go、Java、Python：内存目标内容恰好为 items: 3\n。
• Python：原内存程序后追加正文文件调用块，创建真实临时文件，以 UTF-8 和不转换行尾的文本流写入；关闭后核对 read_bytes() == b"items: 3\n"。
• 在临时验证入口末尾额外断言临时目录已删除，确认清理发生在退出上下文之后。正文通过 TemporaryDirectory 管理资源，不向用户目录写固定报告文件。
• 没有注入打开、写入、刷新、关闭或清理故障，也没有验证断电持久化、原子替换或异步输出。哲学篇对其他语言文件目标的接入分析不计入已执行文件示例。

# 文档与页面验证

原记录称 npm run render 生成了全库 80 个 Markdown 页面，并检查了 378 个代码围栏、1283 个内部链接（713 个带章节锚点）。这些历史数量不代表修订后状态，也没有可复用的逐项检查输出。

原记录还描述了篇内跳转、阅读路径、模板入口与桌面/窄屏检查。当前文档变化后的实际检查另按日期记录，不从该段继承。

# 历史记录

2026-10-06 的原始说明称仅执行 Rust、Go、Java、JavaScript、C++，当时未定位到 Python；Go 曾受环境限制。此处仅保留历史上下文，不认定当时对象与当前代码相同，也不再声明“以当前代码和上表结果为准”。