docs: investigate STEP-110 R0 placement attribution
Some checks failed
validate-scripts / validate-scripts (push) Has been cancelled

This commit is contained in:
tei
2026-10-10 16:17:16 +09:00
parent 2df504cdc0
commit cdb45c023b
4 changed files with 198 additions and 0 deletions

View File

@@ -0,0 +1,42 @@
# STEP-110 R0 Placement 跨段归因只读调查 — Codex 调查 / RDC 收尾报告 v1
**2026-10-10|状态:PARTIAL(调查);Git 交付另行核验。**
## 1. 真实执行边界
- Mac:Mac.lan,仓库 /Users/tei/dev/MapLibreParticleLab,分支 particle/main;起点 2df504cdc0403bdad85d3f31f16fd54a8744abac。
- Codex CLI v0.161.0,实际启动输出确认模型 **gpt-6-astra**、推理 **high**,会话 01a12495-eb1a-78e3-ab8d-25554c6c207b。
- Codex 完成只读调查与关键结论输出;但生成文档阶段两次长期无进展,由 RDC 终止并确认会话退出。因此**不能将 Codex 调查进程记为自然完成或将其声称为直接写出了文档**。
- GPT 指挥 RDC 独立核查代码路径与 Git 状态、编写报告、Step 和追加开发记录,负责后续 scoped Git/Push 验收。
- 原有未跟踪任务书 docs/40_任务/STEP-110_R0_Placement跨段归因只读调查_Codex任务_v1.md 保持原样、不提交。
- 严守调查边界:没有编译、链接、测试、Jest、Gradle、ADB、设备操作;未修改 Native/JS/Kotlin、NavSea、Integration 或正式发行 Tag/Source Lock。
## 2. 任务项逐项验收
| 事项 | 状态 | 证据 / 限制 |
|---|---|---|
| 任务书与项目规定、既有 STEP 阅读 | 已完成 | Codex 会话逐项读取;本机原始日志和必要历史记录已交叉对照 |
| V23 Tag、构建源码、main 对照 | 已完成 | GSRL 源码 87f3d1c,Tag 提交 a0a4787,调查起点 2df504c;六份关键代码 Blob 一致 |
| Q1 Placement Controller/Collision/Transition | 已完成(源码调查) | 主报告第 2 章,文件、函数与行号;非 NavSea 实时归因实验 |
| Q2 per-segment Gate/Cache/Reason | 已完成(源码调查) | 主报告第 3 章;global gate 与 source-local revision 区分 |
| Q3 七种反事实场景安全判断 | 已完成(安全边界判定) | 主报告第 4 章;无法证明者明确 fail-closed |
| Q4 Fast Path 独立前置依赖 | 已完成(源码调查) | 主报告第 5 章;R0 缓存不是 Fast Path 充分条件 |
| STEP-106 T1/T2 历史验证重读 | 已完成 | 已保存设备 stream.log,仅用历史证据,不做新设备测试 |
| NavSea R0 per-Symbol 视觉等价 | **无法验证** | 无生产 Placement/Collision/Opacity 逐帧签名,不得静态猜测 |
| 真机 CPU 降低、R0 缓存命中 | **未完成(本 Step 禁止执行)** | 当前只有任务书提供的症状,不能声称改善 |
| Native Gate/公共 API 修改 | **未完成(本 Step 禁止)** | 本任务只读 |
| 任务文档及简短开发记录 | **已完成(RDC 补充落盘)** | 指定三份本 Step 报告/记录和开发记录追加 |
| scoped commit、普通 push、远端核验 | **以报告的 Git 收尾补记为准** | 首次 Mac 远端通信出现 DNS 解析异常,不允许提前宣称 Push PASS |
## 3. 核心调查结论
现有 Source/Layer 事件可有条件地追踪,但 PlacementController 更新在整图语义下执行,V23 缺少可直接供 R0 复用的逐段视觉结果等价证明。跨 Source Collision 开启时,C1 Symbol 可能影响 R0 地名/图标;关闭时仍必须检查 Source 归属、Fade、Tile、Camera、层序。含 Symbol 的 R0 采用全局 Placement/Fade/Transition Gate 属于**正确保守限制**,目前未找到现有契约或不变量被违背的明确 Bug。
推荐顺序:Native 内部来源与逐段结果诊断 → 可证明安全的 Placement 等价判据 → 单独授权实现和 FZG1-2 对照 → 再审查 Fast Path 其他 Gate。不得先取消保护,也不在本任务更改 C-001/C-002。
## 4. Git 收尾字段
- 调查起点 branch:particle/main。
- 调查起点 HEAD:2df504cdc0403bdad85d3f31f16fd54a8744abac。
- 待提交路径:docs/20_调查/R0_Placement跨段归因与缓存安全边界调查_v1.md、docs/50_Step记录/STEP-110_R0_Placement跨段归因只读调查_v1.md、docs/报告/STEP-110_R0_Placement跨段归因只读调查_Codex完成报告_v1.md、粒子开发记录.md。
- Scoped commit / commit message / push result / remote branch / Final HEAD:**由后续 RDC 独立 Git 验证补记,不预填或虚报。**