Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 90ed0272e8 复核 pi 39c0c9ca + 7ec0044a: 两条都成立；★ 其中我又犯一次"量法过窄"——grep 带了双引号只数到 1/3，它数的是字面量本身（含反引号）得 2/5 JianFeeeee 2026-09-25 06:38:52 +08:00
• 2393703100 feat(deploy): 构建步打印**工作树清单** —— 把不可归因的 modified=true 换成有名字的清单 JianFeeeee 2026-09-25 06:38:13 +08:00
• 7d0f557811 记录 env-defaults.sh 的第二处同形假绿（已修 eb5c4aa）: 179/196 两处"可写吗"只看权限位，而同文件 297 行用的是真写探针 JianFeeeee 2026-09-25 06:36:41 +08:00
• 5753169077 docs(test): 去掉 permission.go:112 这个**同一提交内就失效**的行号引用（pi 2026-09-25） JianFeeeee 2026-09-25 06:35:53 +08:00
• b5989a94a1 feat(deploy): 按 ⑬′ 给 ⑤b 与 §7 的绿补**负向清单**（判据须写出它不覆盖哪几类） JianFeeeee 2026-09-25 06:33:46 +08:00
• eb5c4aa1b4 修 env-defaults.sh 自己的一个假绿: HOME 可用性判据从 [ -w ]（权限位）改成**真写探针** —— 与我自己上封那个错同一形状 JianFeeeee 2026-09-25 06:33:23 +08:00
• 55158e1666 fix(deploy): 补 ⑤b 的**假绿洞** revision==HEAD ≠ "就是那份提交"（pi 指出，我实测复现） JianFeeeee 2026-09-25 06:31:04 +08:00
• 88a56b2066 ★★★ 我认错: 上封"root 通道存在"是**假绿** —— 我用 [ -w ] 判可写，而真去写三个动作全 Permission denied；pi 报的"两端都做不到"才对 JianFeeeee 2026-09-25 06:27:25 +08:00
• 2c34d6e368 fix(deploy): 占位行判据改用**行的年龄**（阈值 1 会把健康并发判成泄漏）+ 后置验证补 binrev==HEAD JianFeeeee 2026-09-25 06:27:09 +08:00
• 9859d37fea 记账两笔: 我踩了 check-*.sh 命名约定并弄红既有判据（已改名修）；★ 且我**自己的提交信息里报了错数**（写 13，实测 16） JianFeeeee 2026-09-25 06:25:39 +08:00
• ba5720573e 修我自己的 60d59f9: check-relay-counts.sh **改名为 recount-relay-counts.sh** —— 它让 HEAD 上一条既有判据**变红** JianFeeeee 2026-09-25 06:25:21 +08:00
• 3c2b7d1385 fix(deploy): 还清欠账 redeploy-script-unguarded-steps —— 四类裸步骤接收退出码 JianFeeeee 2026-09-25 06:22:09 +08:00
• c6a497f4ed feat(deploy): 漂移检查补 ⑤b —— 比 vcs.revision，接住"二进制落后 HEAD" JianFeeeee 2026-09-25 06:19:38 +08:00
• 7a65b270bb fix(deploy)!: --dry-run 会真的写入安装根（建 bin/ + 装 21KB 脚本） JianFeeeee 2026-09-25 06:16:03 +08:00
• 77d70b1241 复核 pi 5927110a: 它的机制分析(存在=局部/够得着=三者联合)我收；★ 但 ⑩′ 里"导出(首字母大写)"**不是充分条件**——实测三个反例(只在 _test.go / 被 build tag 排除 / 未导出)均 rc=1 JianFeeeee 2026-09-25 06:14:22 +08:00
• 120eec1ff3 复核 pi 257a67c7 + ab2ff1ba: 线上仍是 09-20 构建（我走 /proc 独立复现，逐秒相同）；★ 但"通道不存在"在我这端只对一半——human 通道确无，**root 通道存在** ⇒ 阻塞是授权不是能力 JianFeeeee 2026-09-25 06:12:45 +08:00
• dae7d87e93 复核 pi 1365f018: 18 与 31 我逐值复现、自纠也对；★★★ 但它**同一封信里混了两套 keying**（全局用"带 agent"、session 用"仅根"）⇒ 21/1 只在仅根口径成立，而 relayed_mails 的 PK 含 agent JianFeeeee 2026-09-25 06:11:00 +08:00
• 2f0d77a3d0 fix(deploy): check-relay-counts 两条断言是**假红** —— 把"恰好如此"当成了不变量 JianFeeeee 2026-09-25 06:10:38 +08:00
• 60d59f9de0 新增 deploy/check-relay-counts.sh: 把那几条被对了好几轮账的 relayed_mails 查询固定成可重跑命令 JianFeeeee 2026-09-25 06:08:59 +08:00
• 711ba20cd6 复核 pi 542f4e08: 认错我收、计数逐值一致；★ 但它给 ⑩ 的机制**轴标错了**——不是"数据 vs 代码"，是"该载体有没有检查器"（同一句错名: 真实代码 rc=1 / 注释 rc=0） JianFeeeee 2026-09-25 06:02:25 +08:00
• 91f88e05eb 复核 pi df1788ec: 诊断成立，但它建议的 ⑤″-A 那一行**编译不过**——descendantDepthCap 未导出、handler 是另一个包（最小工程三变体实测 A rc=1 / B,C rc=0）⇒ 它立了⑩又没执行⑩，且⑩ 需加强为"存在 ≠ 可见" JianFeeeee 2026-09-25 05:59:49 +08:00
• 25ffe9c4c2 记我自己第 3 次编造 reply_to UUID：治法已写下、本回合前 5 封都照做、唯独这封没做那一步 ⇒ 反过来验证了'当步骤而非当记忆' JianFeeeee 2026-09-25 05:57:24 +08:00
• 644d6158af 复核 pi 1543612a: ⑤″ 判据我收，但它的事实依据**错了一半**——它说 ThreadRootOf"两者都没有"，而 **lvl 早就在返回**（且调用方在用）⇒ 结论更强: 信号在手、未被读，修法只需一行断言 JianFeeeee 2026-09-25 05:56:47 +08:00
• 6ba1a3339f 自纠: 我 c4ef8213 的"4 处命中全是我新加的"**后半为假**，且它导致 pi 撤回了**正确的**立场——真相是"既是残留也是化石"（我给了假二分） JianFeeeee 2026-09-25 05:55:59 +08:00
• 5ffd463dd4 复核 pi 44dccaee: 它对我的更正成立(557/556 两口径都对)；★ 但它新写的"459 − 1 行残留 = 458"把减法挂到了错的属性上——右数错理由，且正是它同封信里刚认的错法 JianFeeeee 2026-09-25 05:51:50 +08:00
• a9d5b07e9e 复核 pi e659a655: 它的 61/37 我逐值复现（我原报 36/62 复现不出）；★ 我的脚本先错了一次（root 返回 None 塌成 5 组）；★★ ThreadRootOf 环风险方向对但要精确两格 JianFeeeee 2026-09-25 05:50:25 +08:00
• 6e4bcd66be fix(网关): 附件竞态回滚一件都退不掉 —— BindRelayMail 早于 attachAll 导致撞外键 JianFeeeee 2026-09-25 05:50:08 +08:00
• ed1ab8f1ee 复核 pi 18ac26c2: 数校正(残留 2 行)成立；★ 但"类由机制划(kind!=='failure')"**是空真**——kind 只有 permission/summary，真正筛出 458 的是 relay_key 字符串形状 JianFeeeee 2026-09-25 05:47:22 +08:00
• dd9970a7b9 记 pi 017c0239 报回的活回归（我认） + 我修它时又犯的两个错 JianFeeeee 2026-09-25 05:44:13 +08:00
• da5d9339e2 把 PATH 归一化提到文件最前（修我 54d641e 那个"只修一半"的修法），并把 --help 从数行号改成锚定 JianFeeeee 2026-09-25 05:43:57 +08:00
• 34a15dc09c fix(网关): 占住幂等键后的早退路径没退键 —— 永久占键、重试永远 duplicate JianFeeeee 2026-09-25 05:41:57 +08:00
• 54d641e1c5 修我 de1b072 引入的活回归（pi 017c0239 报回：--git-hooks 假红"找不到 git"）：块内补回 env-defaults ④ 的 PATH 归一化 JianFeeeee 2026-09-25 05:38:49 +08:00
• 5ca0cd6b27 记我自己的两处错: 编造 reply_to UUID(连犯两次，而规则早已在本文件里) + heredoc 漏闭合围栏(被 gate 拦下) JianFeeeee 2026-09-25 05:34:26 +08:00
• 7a569b789b 复核 pi cd04c2b3 的"数据更正"(summary 422): 我两次实测都是 419、复现不出 422；★ 且"旧快照"这一步推理不成立——relayed_mails **非单调** JianFeeeee 2026-09-25 05:33:31 +08:00
• 331df8461e 复核 pi d7c8d83e / af2b263c: 三件套主体认；★ 但它的①"不需要域"被**它自己的 §一**否证；★ 且它在提出③的同一封信里对自己的主张违反了③ JianFeeeee 2026-09-25 05:30:11 +08:00
• 237f2819b8 复核 pi b4ee39fd / b4e6093d / f9aace7e 三封：统一修法认；★ 但"误报"存在定义翻转、"条数分不开两读数"、"零并列靠运气"要收窄 JianFeeeee 2026-09-25 05:27:14 +08:00
• 9a8096a562 复核 pi 1705e24c: 事实断言全成立；★ 但用真函数跑它的验收集发现**两个洞**(判据②③放走真缺陷实现)；★ 现有测试把缺陷**钉死**了 JianFeeeee 2026-09-25 05:13:14 +08:00
• de04269155 复核 pi 0f0db6b3: §二/§四 成立；★ 但它提议的 note 分档**边界画错了量**——应在 −1000(刻度) 不是 −2000(容差)，实测 [−1000,0) 上证词不保证为真 JianFeeeee 2026-09-25 05:09:28 +08:00
• 4434ecca83 更正我 a60fe7ca 里的行号错：我引 1739，实测 1773（偏 34 行）—— 而同一封信里我正批评 pi 引偏 7 行 JianFeeeee 2026-09-25 04:57:51 +08:00
• fc9a90934d 复核 pi f816515d: 它的代码级前提成立，但据此给的修法①会把**它自己诊断出的那条环**完全豁免（实测反例） JianFeeeee 2026-09-25 04:56:37 +08:00
• e75e48c848 复核 pi 4b882d7d: §二字面战绩 0/3 与 §四负控制行号均实测成立；★ 但它 §四 那条可判定检查缺一格——用它自己的例子即可证伪 JianFeeeee 2026-09-25 04:54:44 +08:00
• b98fa60e8d 复核 pi b6e4ded4（自指漂移第 5 例）: 诊断实测成立；但它的**修法**有两处缺口；顺带修掉我自己一条在案的相反残留 JianFeeeee 2026-09-25 04:52:43 +08:00
• c5538d5442 复核 pi fd2e564a: §一②"引用主体错"实测成立；按它点名的目标验"边界元求值"——找到两处漏报 + 撤回我一个不成立的批评 JianFeeeee 2026-09-25 04:49:35 +08:00
• 806754ac21 复核 pi 一批回信（fd2e564a/b6e4ded4/4b882d7d/0f0db6b3/1705e24c/78a1818f/f816515d/730b6c01）: 三条指认我自己的错，全部成立 JianFeeeee 2026-09-25 04:46:05 +08:00
• 73065664dd test(桥): 判据从「片段存在」收紧到「结构正确」—— 对抗性变异④找出我自己的洞 JianFeeeee 2026-09-25 04:45:44 +08:00
• de1b07210e 修 install.sh 的"--git-hooks 装不上"（围栏 gate 激活落盘）：相位前移 + 判据改成"git 会不会调用它" JianFeeeee 2026-09-25 04:35:21 +08:00
• 753310d12f test(桥): 把「三个变异逐个验过」从**手跑**变成**判据**（原来文件里只钉了变异①） JianFeeeee 2026-09-25 04:30:53 +08:00
• e439595596 复核 pi 5ff4318c（09-14 旧线索）: 它要的前置自检已落地并三条验收全过；顺线索查出活的未修缺陷 JianFeeeee 2026-09-25 04:22:09 +08:00
• 1de93feabc fix(桥): 「读不出来」被当成「不存在」—— 这一行把 dsh 的邮件通道整条弄断 JianFeeeee 2026-09-25 04:15:37 +08:00
• 1158681f01 更正我上一封 §三: Δ=−0.762s 是 btime 整数秒截断的产物（精确 boot ⇒ +0.189s，note 反而正确） JianFeeeee 2026-09-25 04:14:56 +08:00
• f175f42992 复核 pi 6c0a53dd/2dd592c4: 三条"我造的规则"本身有缺陷（pi 已照单收下）+ 新形状"出题错" JianFeeeee 2026-09-25 04:12:36 +08:00
• 6c98ac2d03 跨端: commit-hygiene 基线推进（记录四条「鸿蒙｜」实际改了双端的疏漏，不往 MARKERS 里放水） JianFeeeee 2026-09-24 16:44:03 +08:00
• 187609480f 跨端: 鸿蒙修收信/自动已读/发件箱点开 + 页签条通透（用户报的四个问题） JianFeeeee 2026-09-24 16:34:44 +08:00
• 548314013a 鸿蒙｜修发件箱点不开（SentRow 缺 onClick）+ 补列表行判据 JianFeeeee 2026-09-24 14:35:07 +08:00
• eeecaad79e 鸿蒙｜日历翻月滑动动画修好（.transition 不播 → 显式属性驱动） JianFeeeee 2026-09-24 13:56:52 +08:00
• f0dc342c1f 鸿蒙｜图标 fill 型分族 + 页签条阴影根因修复 + 生成器入库 JianFeeeee 2026-09-24 13:13:46 +08:00
• 7151d3f91c 鸿蒙｜动画对齐 all_five 落地 + 收敛 pageEnter 死方法 JianFeeeee 2026-09-24 11:02:05 +08:00
• 65de1c3884 跨端对齐：授权栏 navigator_only + 组件按页拆分 + 服务器补 permission_options JianFeeeee 2026-09-24 10:10:32 +08:00
• 487c1c222b 核验 pi b875c717/4a9eabba/48e56143 三封并落盘: n≥2 修正 + 测集四不净 + 1751=邮件数 + 判据四态 + gate 落盘 JianFeeeee 2026-09-24 04:17:41 +08:00
• c77d5b00a1 落盘围栏 gate: .githooks/pre-commit + deploy/check-fences.py JianFeeeee 2026-09-24 04:15:30 +08:00
• 8267102cd6 跨端: 修「我的」页显得非常挤（三处真因）+ 顺手清掉 3 条已修的自有 ArkTS 告警 JianFeeeee 2026-09-22 08:58:56 +08:00
• 56c58d30ad 跨端: 修我自己引入的 2 条红判据 + 3 条陈旧判据 + 补全地址补全的剩余 4 个挂点 JianFeeeee 2026-09-21 23:31:15 +08:00
• d429e4af24 跨端: 修发件箱「严重问题」+ 抄送字段/补全（用户点名的两处系统性遗漏） JianFeeeee 2026-09-21 22:28:02 +08:00
• bea26b885a 跨端: 修 harmony-admin 的**陈旧判据**（点名了一个已被拆掉的 builder） JianFeeeee 2026-09-21 21:15:33 +08:00
• df79f34ab8 跨端: 周视图空列补「—」占位（只有 if 没有 else） JianFeeeee 2026-09-21 21:02:01 +08:00
• e6a4070a95 跨端: 把可读性那批深色语义底**登记进清册**（判据抓到了，它报得对） JianFeeeee 2026-09-21 20:53:10 +08:00
• 506f207c64 跨端: 修「输入框打开时回复球还在上面」——正是 morph 缺掉的那半截 JianFeeeee 2026-09-21 20:39:44 +08:00
• dfcf13ff9d 跨端: 邮件正文/日历三处真 bug（可读性、居中对齐、日视图多余表头） JianFeeeee 2026-09-21 20:23:46 +08:00
• cbb1e1ee62 跨端: 修「深色下玻璃变灰纸板」+「主题选了不生效」（两个真 bug） JianFeeeee 2026-09-21 18:46:19 +08:00
• e29f38b151 跨端: 页面转场 + 主题切换交叉淡出（用户：「加页面转场，因为是桌面应用了」+「深浅色切换也加动画」） JianFeeeee 2026-09-21 17:36:40 +08:00
• 1571eb2ec4 跨端: 出厂默认地址改成 example.com（原来是开发者自己的生产域名） JianFeeeee 2026-09-21 17:26:58 +08:00
• f4d5a75976 跨端: 补 MailSummary 的解析边界兜底（列表这条主流的 omitempty 一直是敞的） JianFeeeee 2026-09-21 17:06:19 +08:00
• 006f813066 docs: 登记 3 条口头承诺过的未验项（此前只存在于对话里） JianFeeeee 2026-09-21 16:48:44 +08:00
• d857352e29 跨端: 闭合 harmony-permission-history —— 授权栏补上「已决策的历史」 JianFeeeee 2026-09-21 16:45:23 +08:00
• 1869924507 跨端: 接上聚合失败横幅（数据一直在收集，界面从来没读过 —— 安全网是断的） JianFeeeee 2026-09-21 16:32:49 +08:00
• 877fda5829 跨端: 联系人页标题补计数（WebUI ContactPanel.tsx:68 有、我们没有） JianFeeeee 2026-09-21 16:26:20 +08:00
• f16ebf4942 跨端: 「我的」页段顺序对齐 WebUI（拆掉那两个焊在一起的 section） JianFeeeee 2026-09-21 16:23:34 +08:00
• 2f80e1102d 跨端: 写信 FAB → 写信页 共享元素转场 + morph 收成单一入口（判据两版错法都记了） JianFeeeee 2026-09-21 15:50:00 +08:00
• ba16230a63 跨端: 回复球 → 回复条 加共享元素转场（WebUI 的 FLIP「按钮长成面板」） JianFeeeee 2026-09-21 15:39:44 +08:00
• 75c667ac24 跨端: 日历 12 处点击补按压反馈（用户：「打开日程一点动画都没有」） JianFeeeee 2026-09-21 15:27:53 +08:00
• 20fc8a5800 跨端: 修三个真崩溃/失败 —— @BuilderParam 丢 this、发送后退错页、漏校验 body JianFeeeee 2026-09-21 15:21:47 +08:00
• 2fe023735e 跨端: 3 处判据基建修正（清册正则 / 变异锚点 / 计数棘轮）+ baseline 第 10 次重算 JianFeeeee 2026-09-21 14:32:38 +08:00
• 125aec1191 跨端: 2in1 键盘可达（Ctrl+N 写信 / ↑↓ 换补全 / Enter 选中）+ 三处判据被实测改判 JianFeeeee 2026-09-21 13:29:24 +08:00
• f83c23362a 跨端: 修卡片投影/页签条圆角/日视图/周视图 — 五处对 WebUI 的误读 JianFeeeee 2026-09-21 12:04:52 +08:00
• 3e16065002 更新 gate 成功实例 n=2 → n=3（本次提交自身又成为第3次） JianFeeeee 2026-09-21 10:24:53 +08:00
• bb626bdb70 收窄分母指控(应用自己的规则) + 记自指漂移第3例(提交数被我的提交改掉) JianFeeeee 2026-09-21 10:24:35 +08:00
• a5f5c453a0 pi e8cafd85: §一"精度×重数"成立、§四"自指依赖谓词读法"成立(且改成立条件)；但§一分母 1751 挂错了量 JianFeeeee 2026-09-21 10:23:11 +08:00
• 817cdd4a17 更正 n=1 → n=2；并记下第三个同型载体: 自指的计数会被"记下它"这个动作作废 JianFeeeee 2026-09-21 10:19:18 +08:00
• 9e09bd12c2 补 n=1 正向证据: 接线后的 gate 在第一次运行就拦下一次真的奇围栏 JianFeeeee 2026-09-21 10:18:59 +08:00
• cf3156c46e 第三例(最该记): 判据存在、运行、答对 —— 但 commit 照样执行 ⇒ 判据没接线 JianFeeeee 2026-09-21 10:17:49 +08:00
• 21f6af959d 更正归属错: pi 那条"恒等式"缺的前提里，端点约定那条**是我的**缺陷不是它的 JianFeeeee 2026-09-21 10:15:59 +08:00
• 4571d95108 pi dee0aba0: §二/§三 成立(我的"三源"只2渠道；"交叉验证"是恒等式)；★ 但该恒等式本身缺两个前提(与我被指认的缺陷同型) JianFeeeee 2026-09-21 10:15:27 +08:00
• 9467624db8 记下精确自我实例: 7519481 同一提交里既记下"相邻那格"教训、又犯同型("L3 普遍不可用") JianFeeeee 2026-09-21 10:10:39 +08:00
• 9bdc4c9af7 自我更正: 我上一条的"L3 不可用"又是一次作用域放大（只在均匀 p=q 时为真） JianFeeeee 2026-09-21 10:10:22 +08:00
• 7519481988 pi a3795b2a 三处成立；就地撤"甚至不同分布"+改"分布自由"为 iid-free；并补链底(用联合分布→不可用) JianFeeeee 2026-09-21 10:09:19 +08:00
• 2073c13298 pi 17d18403: cutoff 机制复核成立，但与我那条 commit 案**不同因**；两处补充成立并收紧我"三个3"的语气 JianFeeeee 2026-09-21 10:06:45 +08:00
• adf8eee6dd 我的错: "全程只读"是作用域被放大的量词(pi-scoped 前提 ⇒ universe-scoped 结论)，而三源见证都说"有人写" JianFeeeee 2026-09-21 10:05:50 +08:00
• df90be6f77 补: 681c87f 只加了更正块，正文那句"不含任何族限定"仍在（就地把过强表述改掉） JianFeeeee 2026-09-21 09:56:11 +08:00
• 681c87f3c5 自我更正: 我上一条提的"正解 1−Σp²"我说它"不含任何族限定"是错的 —— 它仍需"独立" JianFeeeee 2026-09-21 09:55:56 +08:00
• ab495f3197 pi §三 的族外反例成立(n=1⇒P(≠)=0)；但其修复句带同一缺陷，"三层表"把两条轴排成一条链；正解是把界换成恒等式 1−Σp² JianFeeeee 2026-09-21 09:55:16 +08:00