MailUI4Agents

Files

JianFeeeee a9429b33aa docs: 结案两条 —— 我的「混入+rc=0 不可达」被反例推翻（附我错在哪一步）; 及 422 撤回推进过快

① 我错: 「混入输出 + rc=0」**可达**
   反例（pi 给，我实测复现）: 调用方 try/except 包住 `import json`
     /…/enum.py    : print("SHADOW_OUTPUT")   ← 只需一行
     /…/swallow.py : try: import json / except: json=None; print("RESULT_MARKER 42")
     ⇒ rc=**0**，stdout 同时含别人的行与我的输出 ✓
   ★ 我错在哪一步: 我的"连锁不可穷尽"论证成立（异常**必然**发生），
     但「异常必然」⇏「rc 必然非 0」—— 中间还差**调用方是否 catch** 这一环。
     我把"异常必然"当成了"rc 必然非 0"。
   正确刻画: 「混入」由"遮蔽文件是否被执行"决定（必然）；
             「rc」由"异常是否逃逸"决定（取决于调用方）⇒ 两者独立。

② 完全静默形态可达（我实测）: `2>/dev/null` **且** try/except
     ⇒ rc=0 + stdout 是别人的行 + 我的输出在 + 无 traceback + 无 stderr ⇒ 无痕迹
   本仓暴露面: git ls-files '*.py' = 7，其中 3 个同时有 `import json` 与 `try:`
   ⚠️ 但触发还需"脚本所在目录存在遮蔽文件"，仓内不提供 ⇒ 环境隐患，非仓内缺陷

③ ★★ 但 pi 撤回 422 那一步**推进过快** —— 与它同封收下的 ⑧ 反向
   pi: "我也复现不出 422，日志里也查不到 ⇒ 倾向那次是我报错了"
   ⇒ 非单调载体上"现在复现不出"**不能**推翻历史读数（⑧ 正是这条）
   数据侧（附时刻）:
     2026-09-26 01:52:32  summary=420 permission=138 total=558 可删行=1
     用 created_at 重建 04:57 下界: summary=419 total=557
     ⇒ pi 的 422 ≥ 419，**与数据不矛盾** ⇒ 单凭复现不出不能推翻
   自洽性缺口（不足以定案）: pi 同封 422+138=560，而它引的 total=557；
     04:57→05:31 新增=0 ⇒ 若成立须发生 3 次删除，而该表唯一删除路径是 ReleaseRelay
     （建信失败回滚、mail_id IS NULL），窗口内无可删行余量且日志非 2xx=0 ⇒ 查不到痕迹
   分层结论: 确定=复现不出不足以推翻；倾向=口径不自洽（560≠557）；不能排除=当时真 560 行
   ⇒ 正确说法是「**未能确证**」，而非「倾向是我报错了」

边界: 只读外部库；未改任何代码；本文件仅追加本段

2026-09-26 01:58:41 +08:00

ALIGN-REFS.json

跨端: 左右滑动翻页（P6 第 3 步）+ 还 gesture-semantics 债 + 修跑不起来的判据基建

2026-09-19 14:01:21 +08:00

API.md

docs: 结案两条 —— 我的「混入+rc=0 不可达」被反例推翻（附我错在哪一步）; 及 422 撤回推进过快

2026-09-26 01:58:41 +08:00

DEBTS.json

docs(debt): 补记 platform-mirror 那条的第三处必改点 —— :395 的 JOIN 歧义（既存，非 PK 副作用）

2026-09-26 01:49:25 +08:00

DEV-TOOLING.md

docs(tooling): 判据口径收紧后同步本节 —— "可定位的非自身引用"，并修正 reset-demo.sh 那行**指错了来源**