2026-10-24。教学环境与默认启动入口已升级到 Launcher 0.1.39 预发布版 / CLI 0.1.25;#162 的原始校验请求及公开 HTTP validate→execute 均通过。
127.0.0.1:18067。命令行使用下载版 foggy-runtime-launcher-0.1.39.jar,源码提交 7b6d06987e3ec90f05143a0552791f80381dcc4b。8228d31c104d58b1b2f1d1c5bc856a25531e4d5af06e1e9eefed2be576f20bf9。发行 README 与原始启动脚本已读取,资产摘要通过;不编译源码、不使用私有 Maven 代替发行包。lab/runtime/work,旧数据源与 Bundle 注册恢复;Console/FAP 关闭,none-dev-test-only。旧进程核实归属后停止;端口释放稍有延迟,重新确认无监听后才启动新进程。chinook-multidim Bundle 从 8 个文件增加到 11 个:新增支持人员树 QM,以及员工计数 TM/树 QM;原 8 个文件不改。pivot-edge Namespace 和独立 9 行人工边界库,仅用于零分母、正负抵消、缺失基准测试,不混入 Chinook。17 项 CLI 查询执行、1 项公开 HTTP 执行、8 项预期校验拒绝通过;另有 18 项旧题代表回归通过。 这两组分别记录,不冒充全书或跨数据库验收。
| 覆盖 | 独立核对 |
|---|---|
| 原 #162 最小矩阵、flat、grid、换轴 | 原始 Invoice/Customer 行与 Decimal;14 个有业务组合、网格缺组合保留 null |
| 人员小计、各月总计 | 十月 42.62 / 7 张,十一月 37.62 / 7 张;小计行不重复相加 |
| TopN 保留全部月份 | 按两月总额选择人员 4、3,10 个叶子单元格全部保留 |
| TopN 范围合计 | 十月 35.69 / 5 张,十一月 32.67 / 5 张;对应入选人员范围 |
| parentShare、事实筛选、展示分页 | 法国/Jane/十月为 16.86 / 24.78;只筛法国后为 100%;分页前分母保持时仍约 68.04% |
| baselineRatio first/last | Jane 十一月相对十月约 0.3196,十月相对十一月约 3.1288 |
| 账单树、完整员工树 | 事实树只含有账单的 3 节点;目录树的 8 节点父子边与 ReportsTo 逐条一致,节点自身计数均为 1 |
| 人工边界库 | 零分母、正负金额抵消为零、缺失首末基准、有效分母下当前金额为零;无意义比例为空而非 0 |
| MemberBindingService | 原员工目录通过公开 members list 返回 8 个正确 ID、total=8 |
8 项预期拒绝包括 columns/timeWindow 互斥、未知轴/指标/排序引用、错误父级、非法基准、tree 与 crossjoin 冲突。均停在 validate,未 execute。
18 项代表回归:原第 23—25 章 11 项层级/普通分组对照,以及环比、自然日滚动、可比期间、期末快照、耗时、同期群、基础明细各 1 项。结果与此前已独立核对的基线一致。
-invoiceAmount。 旧请求中的 invoiceAmount desc 被当成无法识别的指标名,返回 cascade 非可加诊断。改为已支持写法后,入选成员与两个月的全部单元格都核对通过。旧失败请求保留在本轮初探证据中,不当作 #162 仍未修复。customer_support$parentId,树形轴需要 support$parentId。在独立 QM 用 ref/name/alias 公开该属性后通过,不通过查询绕开字段校验。denominatorScope: "prePageParent";缺省请求被明确拒绝。分页只改变展示项,source slice 才改变进入计算的事实。旧 Skill 关于 Pivot 边界的描述没有覆盖本次完整合同。列小计选项在当前最小请求中校验可接受,因此没有沿用“必定拒绝”的旧假设;本轮未验收列小计结果,教材不作可用承诺。复杂轴排序、任意树形小计与完整 BI 交互同样不扩展。
仅首次准备新增边界模型时运行 prepare-pivot-0.1.39-boundaries.py;支持人员树 QM 源码已在主模型目录,先 validate、refresh。现有环境只读复跑:
python lab/checks/verify-pivot-0.1.39.py
python lab/checks/verify-0.1.39-compatibility.py
每次另建 evidence 目录,先 describe,再对同一请求 validate→execute。原始行与 Decimal 是数值依据,生成 SQL 不充当独立答案。Markdown 由引擎按已加载代码实时获取,不预先生成。
验收 JSON · 最新完整证据 · 旧题回归。旧 0.1.38 的请求、响应与 #162 报告保持历史语境。
本会话调用公开 CLI/HTTP,未另开干净 AI 会话做提示词验收;本轮不重复私有 Maven、跨数据库、生产权限或 Console/FAP 测试。教学服务保持运行。