教学环境升级 0.1.36 与第十八章复验

2026-10-22，按用户授权升级。教学服务现为 Launcher 0.1.36 预发布版 / CLI 0.1.25，第十八章普通日期属性写法已经实际验证。 本次不再是临时 18136 实例的测试。

升级结果

项目	实际状态
发行包	Launcher 0.1.36 prerelease，6 个附件重新核对远端 digest 与本地文件，SHA256SUMS/manifest 一致
JAR SHA256	`de54f48ce6164fb557a4a667607d84da4c0898e2cb822c30abe98c0763205dc3`
Source commit	`09e8ac85d7ed31c1df5a6c8ed2066e84818c3059`
实际进程	原 PID 150796（0.1.35）停止；新 PID 149972 监听 `127.0.0.1:18067`，已核对命令中实际 JAR
工作目录	继续使用 `lab/runtime/work`，数据源与 Bundle 注册表沿用原文件
Namespace 绑定	`chinook → chinook-sqlite`；`chinook-calendar → chinook-calendar-sqlite`，均已验证恢复
日常启动	`lab/start-runtime.ps1` 已指向 0.1.36，包含固定 JAR 校验值；当前启动记录已更新
API / 功能	Java / foggy-runtime-api/v1 / schema 2026-06-06 / none-dev-test-only；Console/FAP 保持关闭

按照发行 README，调用原包内 start-foggy-runtime.ps1，没有改发行脚本。先验证旧进程 PID 和 JAR，再停止、等待原端口释放，复用原工作目录启动新包；wait-ready、capabilities 和两套教学绑定通过后才保存新默认入口。

升级前后的两个教学数据库和十四个模型文件摘要一致。旧启动入口、注册表、日志、第十八章正文、源码和检查脚本已保存在升级前快照对应目录中；旧查询结果与历史失败证据未覆盖。

在不改模型的情况下，先完成：

见升级后验收。这五项是升级回归，不声称重跑前十七章全部题库。

只修改 TeachingInvoiceDatesModel.tm：

invoiceDate 显式声明 timeRole: 'business_date' 和业务用途。
loadedAt 改为普通 DATETIME 属性，显式声明 timeRole: 'system_time' 和模拟入库用途，删除此前的自维度替代写法。
QM 原引用 {ref: invoice.loadedAt} 可以继续使用；实时字段现在为 loadedAt，查询与独立核对脚本已同步，不再使用 loadedAt$id。

先校验、登记和刷新模型，实时读取 JSON/Markdown，再执行本章查询。两种日期属性在两种格式中均保留角色与用途，原字段名和数值分别核对。

本章 14 项执行、1 项预期拒绝全部通过。 使用原始 Chinook 行、Python Decimal 和固定日历事实独立复核，结果不变：

实际执行 setup、collect、verify，创建与查询分步。只有这一份 TM 有预期变动；其他十三个模型文件、原始 Chinook 和日历教学数据库未变。元数据和请求副本保存在本轮第十八章证据。

正文先完成数据与模型创建，再进行日期选择、日历查询、同期比较。普通属性的源码示例移到创建步骤；后面统一使用实时字段 invoiceDate、loadedAt，没有在查询过程中补建模型。保留模拟数据来源、零与未知、完整性检查及工作日含义，删除旧版绕行说明。

完整 TM/QM 通过链接查看，正文保留关键片段与两份实际 DSL；提示词仍只描述任务。JSON/Markdown 自动生成、实时获取。见当前正文及本轮读者复审。

当前新教学服务保持运行。没有修改引擎源码、提交代码或向 GitHub 追加留言；没有测试其他数据库、生产权限、Console/FAP，未执行独立干净会话的自然语言提示词验收。