54 lines
5.3 KiB
Markdown
54 lines
5.3 KiB
Markdown
# Work Log — 2026-09-22（M11b-2c-A1：回退越权核查 + QC #12 根因表述修正）
|
||
|
||
- **模块仓库**: `modules/pbl_runtime_ext`（PBL scense_runtime 薄扩展，M11a/M11b 单事务事件+状态写入与广播）
|
||
- **任务**: [M11b-2c-A1] 回退越权改动并在夹具层收敛 PBL-RTX-0004（QC 第 3 次退回，核心意见 #12）
|
||
- **执行环境**: Python 3.10.12 / pytest 9.1.1 / venv=`.venv`（已 `pip install -e .`）
|
||
- **起始 HEAD**: `ecc7f23 deliver: 交付收口（引擎代为提交）`
|
||
- **结束状态**: `git status --short` 为空（工作区干净）；`9 passed, 0 failed`
|
||
|
||
## 1. 本轮时间线（命令与实测结果）
|
||
|
||
| # | 命令 | 结果 | 退出码 |
|
||
|---|------|------|--------|
|
||
| 1 | `git status --short` / `git diff HEAD --stat -- pbl_runtime_ext/tx_write.py` | 均无输出 ⇒ 工作区与 HEAD 一致，**无本轮未提交的业务越权改动残留** | 0 |
|
||
| 2 | `.venv/bin/python -m py_compile pbl_runtime_ext/tx_write.py` | OK | 0 |
|
||
| 3 | `python3 -c "...[(x['name'],x.get('null')) for x in json.load(open('models/pbl_entity_state.json'))['fields']]"` | 四列 `tenant_id/session_id/entity_id/created_at` 全部 `null=False`（QC #12 要求的取证） | 0 |
|
||
| 4 | 旧/新 `required_columns()` 判据对两表实测对比 | state 表 OLD==NEW（旧实现本就能识别）；event 表 OLD=`[]` → NEW=`['event_uid','event_type']` | 0 |
|
||
| 5 | `grep -rn "state_updates" scripts/ tests/` | 14 处调用点，`state_key/state_value` 形态正确，四列非 state_updates 合法入参 | 0 |
|
||
| 6 | `.venv/bin/python -m pytest tests/ -v --tb=short` | **9 passed in 0.41s**（0 failed） | 0 |
|
||
| 7 | `.venv/bin/python scripts/m11b_selftest.py` | 总计 110 项，PASS 110，FAIL 0，RESULT: PASS | 0 |
|
||
|
||
## 2. QC #12 响应（核心）
|
||
|
||
旧交付件根因判定 #3 表述错误，已删除并重写，要点：
|
||
|
||
1. **前提错**：`pbl_entity_state` 四列并非「无 NOT NULL 声明」，实测均为 `{"null": false}`；`type` 标注 `str/bigint/str/datetime` 与声明一致。
|
||
2. **结论错**：旧 `required_columns()` 判据 `fd.get("null") is False`（见 `scripts/m11b2c_a3_patch_tx_write.py` `OLD_1` 第 23 行）**识别的正是 `null: False` 写法**，对 state 表这四列能正确判为必填 ⇒ 不存在「nullable 写法识别缺失」。实测 OLD 与 NEW 对 state 表返回集合完全相同。
|
||
3. **推论删除**：「夹具无论怎么补建表列都无法消除该报错」基于错误前提，已删去。
|
||
4. **归因统一**：state 表 PBL-RTX-0004 误报唯一归因到 #4 —— `_apply_state()` UPDATE 分支沿用 INSERT 全行校验，调用方按 UPSERT-UPDATE 语义不传定位维度（`tenant_id/session_id/entity_id` 走 WHERE）与 `created_at`（保持建档原值）→ 被误判缺列。
|
||
5. **nullable 识别缺失的真实归属**：只影响 `pbl_runtime_event`（该表用规范写法 `nullable: "no"`，旧判据读不到 → OLD=`[]` → 事件表 INSERT 门禁**恒真 = 漏报**）。误报（state）与漏报（event）两向缺陷已在结论中分表列清，不再混谈。
|
||
|
||
修正后复跑 pytest = **9 passed**，符合 QC #12 验收要求。
|
||
|
||
## 3. 关键技术判定与偏差上报
|
||
|
||
- **不回退 `5542cf5` 的业务改动**：该 commit 是 PBL-RTX-0004 的唯一有效修复。若回退，`build_row()` 恢复「UPDATE 也跑 INSERT 全行校验」，T3 必然重新失败（回到 `3 failed, 6 passed`），与验收标准「`X passed, 0 failed`」冲突。
|
||
- **夹具层无可补之处**（三条路径全部实测排除）：① `tests/conftest.py` 只注入 sys.path，不建表，无「夹具建表缺列」；② `state_updates` 调用参数形态正确，四列不是其合法入参；③ models 两表 NOT NULL 声明均完整。⇒ 属「夹具/调用参数已正确仍报缺列」的业务实现缺陷，任务描述中「夹具层可收敛」的前提不成立，已如实记录。
|
||
- **禁止整文件 `git checkout` 已遵守**：未执行任何 checkout/restore，避免误删前轮合法改动（删 append-only 死代码 + build-system 规范化）。
|
||
- 修复后语义：`build_row(full_row=False)` 表达 UPDATE SET 子集语义并禁止 SET 不可变列（`tenant_id/id/created_at`，违者 `PBL-RTX-0006`）；`_is_not_null()` 双写法识别 + `_has_db_default()` 排除自增/DEFAULT 列。
|
||
|
||
## 4. 允许范围与产出边界
|
||
|
||
- 允许修改的四个夹具文件（`scripts/m11b_selftest.py`、`scripts/m11b2c_p99_probe.py`、`tests/conftest.py`、`tests/test_m11b2c_runtime_ext.py`）本轮**零改动**；`pbl_runtime_ext/*.py` 业务实现与 `json/` 表定义本轮**零改动**。
|
||
- 本轮产出仅两份文本：本工作日志 + `.m11b2c_tmp/m11b2c_a1_conclusion.md`（待归档文本，`.m11b2c_tmp/` 已在 `.gitignore` 登记）。
|
||
- **未创建、未覆盖 `projects/pbls/docs/02-develop/` 下任何 log 终稿**（留证与交付件由 A2 承接）。
|
||
|
||
## 5. 环境限制说明
|
||
|
||
- 本机 MySQL/MariaDB 走 socket 不可用（`/run/mysqld/mysqld.sock` 不存在），实库 DDL 装载 runner `tests/run_m11b1a_localdb.sh` 需 TCP `127.0.0.1:3306` 沙箱库；本轮验证以离线 harness + 内存引擎 + selftest 110 项为准，实库回归归 A2/部署阶段。
|
||
|
||
## 6. 分支/提交状态
|
||
|
||
- 分支：`master`（HEAD `ecc7f23`）；工作区干净，本轮无新增未提交改动。
|
||
- git 收口由引擎代为执行，本日志不自称已 commit/push。
|