第17篇验证记录 日期：2026-09-20 工作目录：examples/distributed-systems 运行：Java17，官方ZooKeeper3.9.6单机server，真实loopback TCP 正式源码 SHA256: f3189a705e0806cf313e260ddccfa1183daf67fd8aeb8768f053bf4c3f255690 主class SHA256: ea3fd889c200651710b5007488971b2b66b7aefb1b9356e563025ac43857e3f0 编译命令： /opt/homebrew/opt/openjdk@17/bin/javac -cp '.build/apache-zookeeper-3.9.6-bin/lib/*' -d .build/zk17/classes zk17/Zk17.java 最终编译 exit0。 复用命令： /opt/homebrew/opt/openjdk@17/bin/java -cp '.build/zk17/classes:.build/apache-zookeeper-3.9.6-bin/lib/*' Zk17 首次沙箱运行：exit1，NIOServerCnxnFactory.configure中bind 127.0.0.1:0返回SocketException Operation not permitted，未启动服务。原始日志.build/zk17/run-output.txt。 通过环境正规require_escalated审批执行同一命令后：作者首版全部PASS exit0，原始日志.build/zk17/run-authorized.txt，源码首版SHA256 5b370aa2905f697cdaa7a34a4a85928f17c4916ae901f9ca44476c777f8fdca5。 后续仅修复失败清理路径及state事件过滤：await连接失败会关闭未返回handle；清理逐项执行；状态事件限定None。最终源码如上。 父独立复用最终固定classes：全部PASS exit0，session8198/chunk4a6251，原始日志.build/zk17/run-parent.txt。 CLI父检查：--help exit0；未知参数exit2（chunkf24aa8）。没有重新编译/换名绕过限制。 实际版本：3.9.6-a355171b081b5b60749db8f19cca1528b0df936f，built 2026-09-03 19:29 UTC。 官方binary包SHA512：e999626df06de30dc8bb53bb51da9bb786b1658406adafc6b92f104d72ca25e869f70a57c83a726f8b9558cc0fb519fc20f201aa5d6da09884bc4be5fe6dd3b0 官方source包SHA512：7f854c2ff24a20b1941facea90c70724de636bd59ef2208ab6c004f825e5dcf528ef2ce85adde0b351cc47b7bcc36c9b808ae302835ac367a08842a9c0a1c11a 静态交叉审查：父与独立研究代理确认setWatches2先于getData、EventThread屏障只在本例已完成写/无继续并发更新条件有效；源码阶段未把读取当通用未来事件屏障。 文章：blog-editor入口、blog-illustrator六张Mermaid；完整临时稿父审读后修订；anti-ai-tone tech检查汉字4084、错误0提醒0，材料/推进/节奏/连续性人工检查；随后anti-persona-fabrication人工及词扫描，无第一人称经历、拟人化或说书叙事，再落盘。 父站点验收：npm run build exit0，2329文件/6.21秒，日志examples/distributed-systems/.build/zk17/hexo-build.log。两附件生成字节相同；front matter、封面与16站内链接目标通过。浏览器六SVG无mermaid-error，状态树、会话时序、离线Watch三图截图可读；viewBox约1281x406、833x731、1076x829、761x724、586x742、495x654。 以下是原始输出的TRACE/PASS选取，省略DEBUG及绝大多数INFO/WARN；不是完整日志。程序时间是从进程内START计算，不是网络延迟基准。两轮Expired均为恢复握手路径，本地expirationTimeout分支未实测。 === 作者首版 === TRACE 351ms A WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 361ms B WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 364ms VERSION 3.9.6-a355171b081b5b60749db8f19cca1528b0df936f, built on 2026-09-03 19:29 UTC negotiated=8000 data=.build/zk17/run-2548001723530682541 PASS CAS: stale version rejected; -1 unconditional update; versions 0,1,2 PASS sequence: /zk17/seq/a-0000000000 -> /zk17/seq/b-0000000002 after ordinary sibling creation PASS ephemeral: session owner checked; child creation rejected TRACE 451ms once WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/one zxid: 15 TRACE 467ms once WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/one zxid: 17 PASS one-shot watch: second update read without second event; rearm delivers next change TRACE 479ms persistent WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/persistent zxid: 19 TRACE 485ms persistent WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/persistent zxid: 20 TRACE 497ms recursive WatchedEvent state:SyncConnected type:NodeCreated path:/zk17/tree/child zxid: 22 TRACE 502ms recursive WatchedEvent state:SyncConnected type:NodeCreated path:/zk17/tree/child/grandchild zxid: 23 PASS persistent watches: repeated updates without rearm; recursive descendant creation TRACE 504ms proxy BLOCK TRACE 607ms absent WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 607ms A WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 607ms persistent WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 607ms recursive WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 628ms proxy ALLOW TRACE 1847ms absent WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 1847ms A WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 1847ms persistent WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 1847ms recursive WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 1858ms persistent WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/persistent zxid: 28 PASS short disconnect: same session/ephemeral; absent create-delete missed; persistent offline updates not replayed, next online update delivered TRACE 1859ms proxy BLOCK TRACE 1959ms absent WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 1960ms A WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 1960ms persistent WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 1960ms recursive WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 9934ms B-expiry WatchedEvent state:SyncConnected type:NodeDeleted path:/zk17/ephemeral zxid: 29 TRACE 9935ms B confirmed absent; A state before allow=CONNECTING TRACE 9935ms proxy ALLOW TRACE 10008ms absent WatchedEvent state:Expired type:None path:null zxid: -1 TRACE 10008ms A WatchedEvent state:Expired type:None path:null zxid: -1 TRACE 10008ms persistent WatchedEvent state:Expired type:None path:null zxid: -1 TRACE 10008ms recursive WatchedEvent state:Expired type:None path:null zxid: -1 TRACE 10018ms A-new WatchedEvent state:SyncConnected type:None path:null zxid: -1 PASS natural expiry: B observed deletion; old A handle Expired; new session differs PASS ALL: official standalone server and two TCP clients; no quorum/ZAB/production claim TRACE 10125ms A-new WatchedEvent state:Closed type:None path:null zxid: -1 TRACE 10237ms B WatchedEvent state:Closed type:None path:null zxid: -1 === 父最终版 === TRACE 249ms A WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 261ms B WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 264ms VERSION 3.9.6-a355171b081b5b60749db8f19cca1528b0df936f, built on 2026-09-03 19:29 UTC negotiated=8000 data=.build/zk17/run-6090450423170479571 PASS CAS: stale version rejected; -1 unconditional update; versions 0,1,2 PASS sequence: /zk17/seq/a-0000000000 -> /zk17/seq/b-0000000002 after ordinary sibling creation PASS ephemeral: session owner checked; child creation rejected TRACE 346ms once WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/one zxid: 15 TRACE 362ms once WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/one zxid: 17 PASS one-shot watch: second update read without second event; rearm delivers next change TRACE 373ms persistent WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/persistent zxid: 19 TRACE 378ms persistent WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/persistent zxid: 20 TRACE 389ms recursive WatchedEvent state:SyncConnected type:NodeCreated path:/zk17/tree/child zxid: 22 TRACE 394ms recursive WatchedEvent state:SyncConnected type:NodeCreated path:/zk17/tree/child/grandchild zxid: 23 PASS persistent watches: repeated updates without rearm; recursive descendant creation TRACE 397ms proxy BLOCK TRACE 498ms absent WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 498ms A WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 498ms persistent WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 498ms recursive WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 520ms proxy ALLOW TRACE 1710ms absent WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 1710ms A WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 1710ms persistent WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 1710ms recursive WatchedEvent state:SyncConnected type:None path:null zxid: -1 TRACE 1725ms persistent WatchedEvent state:SyncConnected type:NodeDataChanged path:/zk17/persistent zxid: 28 PASS short disconnect: same session/ephemeral; absent create-delete missed; persistent offline updates not replayed, next online update delivered TRACE 1726ms proxy BLOCK TRACE 1832ms absent WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 1832ms A WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 1832ms persistent WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 1832ms recursive WatchedEvent state:Disconnected type:None path:null zxid: -1 TRACE 9795ms B-expiry WatchedEvent state:SyncConnected type:NodeDeleted path:/zk17/ephemeral zxid: 29 TRACE 9796ms B confirmed absent; A state before allow=CONNECTING TRACE 9796ms proxy ALLOW TRACE 10069ms absent WatchedEvent state:Expired type:None path:null zxid: -1 TRACE 10069ms A WatchedEvent state:Expired type:None path:null zxid: -1 TRACE 10069ms persistent WatchedEvent state:Expired type:None path:null zxid: -1 TRACE 10069ms recursive WatchedEvent state:Expired type:None path:null zxid: -1 TRACE 10077ms A-new WatchedEvent state:SyncConnected type:None path:null zxid: -1 PASS natural expiry: B observed deletion; old A handle Expired; new session differs PASS ALL: official standalone server and two TCP clients; no quorum/ZAB/production claim TRACE 10187ms A-new WatchedEvent state:Closed type:None path:null zxid: -1 TRACE 10293ms B WatchedEvent state:Closed type:None path:null zxid: -1