2026-10-25 更新:教学环境现为 Launcher 0.1.42 预发布版 / CLI 0.1.25,Runtime http://127.0.0.1:18067,匿名开发模式,Console/FAP 关闭。本轮时间分析代表题通过,见当前升级与验证。以下完整时间系列实操保留 2026-10-23 的 0.1.38 环境、计数与原验收,不等同于本轮全量重测。
| 章节 | Namespace | 数据与模型 |
|---|---|---|
| 17:比较与窗口 | chinook |
原 Chinook 副本,沿用账单时间模型 |
| 18:日期与日历 | chinook-calendar |
Chinook 账单、模拟入库时间和教学日历,位于 lab/chapter-18 |
| 19—21:库存、耗时与同期群 | time-business |
本目录 data/time-business.sqlite,7 对 TM/QM;数据源 time-business-sqlite,Bundle time-business-teaching |
本目录数据来源:
StockEntity、StockSnapshot、StockMovement:虚构库存目录、变更日快照与流水。StockDaily 由准备脚本按已约定的延续规则展开;无历史为空,不是引擎自动补齐。WorkTicket:11 条虚构工单,固定截止 2024-02-02 12:00:00,超时严格大于 24 自然小时。Purchase:复制 Chinook v1.4.5 的 412 条账单,增加年月和连续月份序号。主报告观察到 2009-06,完整月是教学假设,不能从最后交易日期推断生产完整性。PurchaseBoundary:3 名虚构客户、8 次购买,另表验证重复购买、跨年、未观察和已观察零值。清单见 fixture.json,完整源码见 models。升级未修改原数据库或 TM/QM。查询 Markdown 由引擎实时生成,不提前维护。
在 ai-data-analysis 根目录执行;服务未运行时先按环境说明启动:
python lab/checks/verify-teaching-0.1.38.py
脚本检查已有绑定、数据源、模型及实时元数据,查询先 validate 再 execute,Compose 另存 preview。每次保存独立目录,不改数据或模型;它是验收入口,不是安装器。
| 内容 | 主要输入 |
|---|---|
| 19:期末库存 | 4 日截止、5 日截止、无历史 |
| 19:日均总库存 | 先按日汇总再平均 |
| 20:日期差与阈值 | 日历日期差与完整小时、24 小时零 1 秒 |
| 20:业务耗时 | 完成与等待、固定指标 |
| 21:同期群 | 分阶段查询 |
实际命令、退出码、输入副本、响应、SQL 与实时元数据见最新验证目录,结果见当前验收。
X-Foggy-Null-Output: explicit 可保留选中字段的 null;不补零,不生成未选字段,也不增加结果行。CLI 0.1.25 的正文操作仍沿用默认方式。error.path,diagnostics.attributes 包含 planPath、joinSide、onIndex、availableFields;日期单位错误返回 allowedValues。按诊断修正后重新校验。实际教学端口完成 40 次 CLI 查询执行、2 次显式 NULL 的 HTTP 执行、3 项预期拒绝。第十七章完整 JSON 与主要变体、日期角色、日历、库存、耗时和同期群代表结果均与原基线一致。发行包此前的 31 项检查单独保留在隔离复测记录,不累加成唯一用例总数。
本次由当前会话实际执行公开接口,没有另开干净 AI 会话仅凭提示词验收,也未验证 Console/FAP、其他数据库或 WWI。同期群格子与比例由报告函数 retention_report 整理公开结果,不读取原始库;该文件主入口保留历史回放用途,当前验收不运行它。
旧版验证、问题记录和 evidence 不覆盖。旧 verify-time-series.py 断言当时的失败,不能用于验收当前版本。