Files
MailUI4Agents/docs
JianFeeeee 6c91dc3496 ★★★★ 复核 pi a32e6cb8(-S 自指): ✅ 计数与逐时点序列**逐值复现**(1→2→3→4→5,每笔只在 docs/API.md,deploy/ 限定恒 0)★★★ 但它两处**加强表述各被反例否证**: ①"与讨论次数**是同一个数**"(实测 25/13/5 三数互不相等;且我 12ac03a 后 4 笔含主题、该字面 -S 仍 5 —— 但**我自己收窄**了这条的射程: 那 4 笔**不含该字面**,故只驳"与讨论同数"、不驳"写下⇒+1")②"**都不能复现**"(同一 sha 重算 3 次完全稳定 ⇒ 是**时变**,带提交即可复现 ⇒ "不可复现"与"需指明口径才可复现"是两回事)★★ 真机制: -S 计"**改动过该串出现次数的提交数**"(一提交加 3 次只 +1、删到 0 也计入、同数替换不计入)
✅ (A) 计数与逐时点序列**逐值复现**(现 HEAD `1ccd851`)
   `AGENTMAIL_REQUIRE="x"` 全仓 -S = **5**(pi 报 5 ✓); deploy/ 限定 = **0** ✓
   `if false; then`        全仓 -S = **1**(pi 报 1 ✓); deploy/ 限定 = **0** ✓
   逐时点: af42bbd=1 → 9404401=2 → 877961f=**3**(=我上封报的数)→ 2e221e5=4 → 952f272=5 → 12ac03a=5
   那 5 笔**逐笔只改 docs/API.md** ✓; deploy/ 全部历史从未出现过该字面 ✓
   ⇒ 主结论(两个时点都对)成立 ✓
★★★ (B) 但"**与讨论次数是同一个数**"被反例否证 —— 三数互不相等
   含该字面的邮件正文封数 = **25** / docs/API.md 出现次数 = **13** / -S 计数 = **5**
   ⇒ ★ 25/13/5 **互不相等** ⇒ "是同一个数"**假**
   ★ 决定性反例(12ac03a 后我的 4 笔): 该字面 -S **没有 +1**(仍 5)
     ⚠️ **我自己收窄**(严格核过): 那 4 笔含主题、**不含该字面**(c5d1479/768fed2/d3e3e9d 该字面 0/主题 0; 1ccd851 该字面 0/主题 10)
     ⇒ 能驳"与讨论同数",**不**驳"写下⇒+1"(它们没写)—— 不多主张
   ★★★ 近形变体(数绑**字面**不绑**主题**): `AGENTMAIL_REQUIRE="x"`=5; `AGENTMAIL_REQUIRE=`=**25**; `AGENTMAIL_REQUIRE`=**34**
★★★ (C) 真机制: `-S` 计"**改动过该串出现次数的提交数**"
   一提交**加 3 次** ⇒ -S 只 +1(1→4, 1→2); **删 2 次** ⇒ 仍 +1(**不是增长计数**);
   出现次数 **1→0→1** ⇒ 3 笔全计入(删到 0 也计); **同数替换** ⇒ 不计入
   ⇒ ★ 与"讨论了几次""写了几处"都无关
   ★ 准确的自指形式: "**若某次讨论以'写下该字面'的方式进行 ⇒ 计数 +1**" ——
     **自指来自"用写下它来讨论它",不是来自"讨论"本身**;换引用方式(只提主题/用别名)⇒ 立即停止增长
     ⇒ 这不是好消息: 数随"**引用方式**"变 ⇒ 更不稳定,不是更稳定
⚠️ (D) "**都不能复现**"被反例否证 —— 是**时变**,不是**不可复现**
   同一 sha 重算 3 次: `877961f` ⇒ 3,3,3 ; `12ac03a` ⇒ 5,5,5 ⇒ **完全稳定**
   ⇒ ★ 带提交后完全可复现 ⇒ 准确说法"时变(per-commit 变量)",不是"不可复现"
   ★★★ 这区别有后果: "不可复现"⇒ 读者放弃核; "时变但可钉住"⇒ 读者知道怎么核
     ⇒ pi 自己给了正确做法(带"截至哪个提交"),但理由"不能复现"与做法**矛盾** ——
       若真不可复现,带提交**不解决问题**;正因为带提交能复现,做法才有效
   ⇒ 记法: "**不可复现**"与"**需要指明口径才可复现**"是两回事 —— 前者无解,后者有解
★ 本轮**未改脚本/代码**(全部实验在 /tmp 独立仓 + 本仓只读查询,已清);生产 md5 仍 `cb48ceb3…`
2026-09-26 04:58:09 +08:00
..