2026-10-23。教学服务与日常启动入口均已切换到 Launcher 0.1.37 预发布版 / CLI 0.1.25;第十九章改为直接嵌套 JOIN,第二十章新增日期差函数,并保留原有小数小时业务口径。
| 项目 | 当前值 |
|---|---|
| Runtime | http://127.0.0.1:18067 |
| 实际监听 PID | 105820,已核对进程加载 foggy-runtime-launcher-0.1.37.jar |
| JAR SHA256 | ae45d53ec3930f1229aaf0b963c3e750f0cade8c7901ceb88befd48c41068722 |
| 发行源码提交 | d90563e1ea2f056f5836519f21c1b58d618275fc |
| 日常入口 | start-runtime.ps1,校验对应 JAR 后调用发行包原启动脚本 |
| 持久工作目录 | lab/runtime/work,沿用原数据源和 Bundle 注册 |
| 模式 | none-dev-test-only,Console/FAP 关闭 |
六个已下载资产再次比对发行摘要,SHA256SUMS 五项通过。升级前 18067 未监听,原启动记录的 149972 只是历史 PID,未根据旧记录停止任何进程。新服务按原 Release README/脚本启动,通过 wait-ready 后核对绑定,才持久化默认入口与新启动记录。
四个 Namespace 的绑定均恢复:chinook、chinook-calendar、time-business、time-role-repro-035。三个教学数据库、基础/日历/时间系列及时间角色复现模型的哈希不变;Bundle 的名称、Namespace、路径、watch/enabled 与升级前一致。
33 项执行结果通过、3 项预期校验拒绝。 每个执行先校验,Compose 另存 SQL preview。
| 范围 | 执行通过 |
|---|---|
| 第十九章期末三种截止、流水和日均 | 6 |
| 第二十章原耗时模型、异常/零分母 | 8 |
| 第二十章新增日期函数与一秒阈值 | 2 |
| 第二十一章主例及两个观察期边界 | 3 |
| 第十七章环比、YTD、LAG 和滚动代表查询 | 5 |
| 第十八章日期选择、日历、同期/工作日、跨年周及年度 JOIN | 8 |
| 基础账单明细回归 | 1 |
| 合计 | 33 |
3 项校验拒绝为:SQLite 微秒单位、不存在字段、未输出的 JOIN 键;均未执行。第十八章普通日期的 JSON/Markdown 角色和用途一致,没有回退到名称推断。
原值与已独立验收的发行包/原始行基线比较;新增一秒阈值按精确的 86401÷3600 核对。本轮定位是实际升级、绑定恢复和正文相关代表回归,不与独立发行包的 53 项 / 8 项相加或混称完整全书验收。
升级证据目录保存修改前启动入口/注册/正文、模型和数据哈希、实际发行 manifest、资产校验、启动输出与 PID 核对。验证目录 20261023-005130-129109 保存 capabilities、数据源/模型校验、实时 JSON/Markdown、原请求副本、CLI 退出码、执行结果和 SQL preview。
现有项目的只读复跑:
python lab/checks/verify-teaching-0.1.37.py
服务已保持运行,后续启停仍用本项目启动记录核对归属。一次性升级脚本禁止重复升级;未修改引擎源码、Skill 定制或全局 CLI,未调用在线 Console/FAP,也没有另开干净 AI 会话只凭正文提示词验收。
整体读者复审见时间系列复审,待用户统一审阅后再进入其他高级系列。