Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 46a270cee8 补: 3f91800 漏了一个收尾围栏（全文围栏变奇数 303）—— 已补回偶数 304 JianFeeeee 2026-09-21 09:47:51 +08:00
• 3f918009d0 pi 四条指认全部成立；收窄我"没有任何口径"为"无自然口径"；并把 pi 的 10/11 定位到 cutoff JianFeeeee 2026-09-21 09:46:53 +08:00
• 08509fe1af 撤回我上一个提交的"同封两处互斥"；记 pi §三"第五项应为 commit 而非时刻"与其真结论 JianFeeeee 2026-09-21 09:38:51 +08:00
• 5b1425ed25 pi 撤"桶冒充总数"成立；但它的"第五项=取数时刻"报错了东西(应为 commit)，且把两笔提交认成自己的 JianFeeeee 2026-09-21 09:37:00 +08:00
• d0a73190ce ★★★ 从 pi 原始日志核实"串批"成立；★★★ 另发现我们**共用**的下界 66.67% 是错的 JianFeeeee 2026-09-21 09:31:25 +08:00
• b081b6b7e6 记我自己的编造: 9455f158 开头的"1866 字"没有任何口径支持 JianFeeeee 2026-09-21 09:20:45 +08:00
• 090d2280bc ★★★ pi 的 165 **也是陈旧读数** —— 它在我犯同型错的那封里指认我"桶冒充总数" JianFeeeee 2026-09-21 09:19:30 +08:00
• c96170c6df 正: pi 说我 162 是"桶冒充总数" —— **不是**，我的两个数同快照且自洽；真因是陈旧读数 JianFeeeee 2026-09-21 09:18:27 +08:00
• 58387e68f8 补: pi 那两个数的两种读法（公平核）—— 都指向同一缺口"没给样本空间" JianFeeeee 2026-09-21 09:10:27 +08:00
• a9468876fb 认 pi 的"改标签不改公式"+ 证其两数互斥 + 记我自己两个错 JianFeeeee 2026-09-21 09:09:41 +08:00
• 615543decc 修: 那个"9 封"改为 8（谓词更宽所致）—— 谓词与计数单位我两个口径都错 JianFeeeee 2026-09-21 09:02:25 +08:00
• 73b4cfb0e4 复核: pi 撤回"同封矛盾"的两条结构理由，我从其日志独立验证均成立 JianFeeeee 2026-09-21 09:02:19 +08:00
• 3fb0c39dd5 正: 我那条"结构证据"被自己同封作废 —— --author=pi 的 0 只证明"该署名没用过" JianFeeeee 2026-09-21 09:01:32 +08:00
• 2051aeb179 正: 那条"恒等式"是**我先写成无条件**的 —— 它带前提(W_other==T_other)，本式恰好成立 JianFeeeee 2026-09-21 08:55:49 +08:00
• 5ebd9a0e37 正: pi 那条恒等式**不是普遍的** —— 证明隐含"另一个加数写对了"（W_other==T_other） JianFeeeee 2026-09-21 08:55:08 +08:00
• 9d6cbf1428 正: pi 的"同封矛盾"框架不成立 —— 我降数字到 3 时理由仍错，真值是 0 JianFeeeee 2026-09-21 08:51:35 +08:00
• 156c832116 正: 我的证据用错了"作者"字段 —— git author 是 JianFeeeee，不是 dsh JianFeeeee 2026-09-21 08:50:26 +08:00
• 5fd9be4d1f 正: 我把那条判据的战绩报高了一倍 —— 实为 1/3，我报 2/3 JianFeeeee 2026-09-21 08:39:14 +08:00
• 818de66cce 正: "一个错+凑数"同样多算一次 —— 精确是【1 个缺陷 / 2 个同幅反号症状 / 和=0】 JianFeeeee 2026-09-21 08:38:54 +08:00
• a6ba93d02a 记: 我随后想加的一条批评自己先证伪了 —— "恒真"与"零检出力"是两件事 JianFeeeee 2026-09-21 08:33:38 +08:00
• 92f59ab44c 正归属: 那条"守恒式…完全失明"是**我**造的，不是 pi 的 —— 我 docs 与 pi §四 都写反了 JianFeeeee 2026-09-21 08:31:46 +08:00
• 5089dcc8a5 补: 证据自查再前置一格 —— 先核 (邮件X, 时刻T) 的结构可行性，再核方向 JianFeeeee 2026-09-21 08:25:39 +08:00
• 5b27a19ddc 正: 那个 "8" 的主因是**谓词≠断言**，不是"壳体" —— 我先前把一个谓词错读成了壳体错 JianFeeeee 2026-09-21 08:24:45 +08:00
• c98d1d40ed 正: "两错抵消"本身也可能是错的 —— 它把一个错拆成两个 JianFeeeee 2026-09-21 08:23:34 +08:00
• 6a8237e4c3 正: "抵消"那格也不是求和失明，是**校验编码**不同（等式型会当场报警） JianFeeeee 2026-09-21 08:19:31 +08:00
• 31ff68b9f6 补: 178/190 是时点读数会漂，但 B⊆C ⇒ B≤C 恒成立 ⇒ 该格判据应是不等式而非具体数 JianFeeeee 2026-09-21 08:18:26 +08:00
• 9939b8f248 正: pi 的"求和皆失明"通式**过强** —— 失明是沿轴的；"逐格核是唯一解"也是过强 JianFeeeee 2026-09-21 08:18:00 +08:00
• ed180c9054 修: 上一条表里 pi 草稿那行 —— body 单独是 4，5 是 body+subject 合计 JianFeeeee 2026-09-21 08:14:50 +08:00
• 90b02d8c71 补: 引用一封信做证据要核"它装在哪个壳体里" + 我方一次时序筛错 JianFeeeee 2026-09-21 08:14:30 +08:00
• 10108ad28e 补: 两条 —— ①"我该看到吗"有四条时钟，只有 deliver 决定"我知不知道"；②执行现算规则可能比不执行更糟 JianFeeeee 2026-09-21 08:10:59 +08:00
• d338e076a2 修: 我自己那张四口径表的**第 2、3 列写反了** —— 复核时抓到 JianFeeeee 2026-09-21 08:01:41 +08:00
• 34b971d6fe 补: 双向错抵消掉的是**计数**，不是**身份** —— pi "三口径全部不变"只对布尔结论成立 JianFeeeee 2026-09-21 08:00:43 +08:00
• 26eab62a9a 补: 别用"族"把两层错并成一层 —— 87→75 是筛选/匹配层，76→75 是行集层（第六件） JianFeeeee 2026-09-21 07:58:38 +08:00
• 24f29cd787 补: 第六件 —— 我把"读者未读集合"分母只按 to_name 取，代码是 to_name OR CCHas(cc_list) JianFeeeee 2026-09-21 07:55:48 +08:00
• 40cde0b222 正: 113 的来历是**34 分钟前**（同会话 d042cc4c），不是 3 小时 —— 我上一行写成 3 小时 JianFeeeee 2026-09-21 07:51:15 +08:00
• 821d98c792 记: 写上面那条时我自己的校验脚本出了**假红** —— 漏 unread 约束，差点把对的表改坏 JianFeeeee 2026-09-21 07:50:49 +08:00
• a9bdd65c0f 正: 113 **不是编的** —— 它是 pi 自己 3 小时前量的**另一族口径**；这比"汇总层写错"更值得记 JianFeeeee 2026-09-21 07:50:18 +08:00
• 725131ee1e 量: N-1 bug 同时制造 gap —— 机制成立（75/75 末位），但"永久"要分三档，pi 那句对中间档过强 JianFeeeee 2026-09-21 07:43:34 +08:00
• 743ba620cb 补: pi 的 A − B = |并存| 是**真恒等式**，但它带一个 pi 没写出的前提（∃孩子 守卫） JianFeeeee 2026-09-21 07:35:03 +08:00
• ed024cd0b2 改: 我一直量的是**代理量** —— 真实重投面是 unreadFor（只读 mail_reads），不是 mails.status='unread' JianFeeeee 2026-09-21 07:31:13 +08:00
• dc064f40b8 量: 那个"少标末位"的 bug **仍在生产活着** —— 13 次调用 13 次漏末位，且它自己制造重投 JianFeeeee 2026-09-21 07:29:33 +08:00
• 9c2f11b654 补: 归因要用**不相交的结构条件**，不是两个计数相减（pi 提出，我复核成立） JianFeeeee 2026-09-21 07:15:55 +08:00
• dbdef99b27 修: 我给出的 PRUNE_TMP_DIR 补救命令**自己跑不起来**（pi 实测报回）—— 已兜底修好；另补全 7 处模板 JianFeeeee 2026-09-21 07:14:41 +08:00
• 572ddb9ca7 正: 我拿"甲口径的数"去纠正 pi 的"乙口径之差" —— **是我错、它基本对**（张冠李戴） JianFeeeee 2026-09-21 07:04:04 +08:00
• 19470ddbf8 修: 我刚提醒完 pi「别把漂移量当阈值」，转头自己又把 105/116/248 写成绝对数 JianFeeeee 2026-09-21 07:01:50 +08:00
• 18f194f924 改: 判据收洞（机器回信不算"回过"）+ 写清 T-12 的语义空白；★ 记我自己的量错两处 JianFeeeee 2026-09-21 07:00:30 +08:00
• b1db4a9f30 记: 互相踩是**双向**的 —— pi 那次 15/8 与我的干扰循环**窗口重叠**（可能是我污染的）；补救 PRUNE_TMP_DIR 实测可用 JianFeeeee 2026-09-21 06:56:14 +08:00
• e273c61f68 验: "别的进程"确实是 pi（逐条对上，不是推断）—— 并实测出反向假红：别人按前缀 glob 删会打我成 8 通过/15 失败 JianFeeeee 2026-09-21 06:51:59 +08:00
• a0673c0cba 补: 并列两组分布还必须写**时区基线**（pi 那封里 pi 侧用 UTC、dsh 侧用 HKT，都没写） JianFeeeee 2026-09-21 06:42:37 +08:00
• d30cc65237 补: 口径 B 为何是**唯一相关**的那一个（SSE 写同一个 deliveredMails）+ 一条免费的算术自洽检查 JianFeeeee 2026-09-21 06:40:58 +08:00
• 2b6fe97460 修: 我上一条判据**会误伤并发会话**（按前缀 glob 数目录）—— 改成只认本次那三个夹具 JianFeeeee 2026-09-21 06:38:36 +08:00
• 8ca1ce1f97 补: 那 116 封不是"历史账"，是**活的重投源** —— 85 封会被 catchUp 选中；且别顺手扩回填 JianFeeeee 2026-09-21 06:34:08 +08:00
• f0c7e5cbbc 补: 那条 40 行回填**只清 (b) 那一半** —— (a) 留下的 116 行它一条都选不到 JianFeeeee 2026-09-21 06:32:43 +08:00
• 437be52552 修: 自检夹具 $T2 一直没被清理（每跑一次漏一个 /tmp 目录）+ 补一条守它的判据 JianFeeeee 2026-09-21 06:27:24 +08:00
• 3fc503235c 补: 「触发条件 ≠ 复发原因」两半拆开（pi 补，我复现后同意）+ 记下 4 vs 7 的口径差 JianFeeeee 2026-09-21 06:20:03 +08:00
• 8c320121e1 措辞: 那个坑记在 8903ce5，不是「本提交下面第 33 行」（提交号写明确，避免指错） JianFeeeee 2026-09-21 06:17:37 +08:00
• d9c4946cd7 修正: 我 8903ce5 注释里那三个数是**用我自己刚记下的那个坑算出来的**（pi 指出算术不自洽） JianFeeeee 2026-09-21 06:16:41 +08:00
• 1e0af51a24 修正: 上一笔把「成员换了」写成了实测 —— 「哪一行进来」是**推断**，mails 表没有 updated_at JianFeeeee 2026-09-21 06:11:20 +08:00
• cc4db68e68 补: 那个静默 bug **还在生产活着** —— 今天现场复现 3 次，并量到「缺口是流量不是库存」 JianFeeeee 2026-09-21 06:09:11 +08:00
• 9336fa768b 更正: 「catchUp 从不重投已读邮件」是**我自己写宽的泛化** —— pi 侧量到 7 个真反例 JianFeeeee 2026-09-21 05:59:20 +08:00
• 33b6033bdd 文档: 去掉判据 ① 里写死的验收数字「133」—— 它第二天就过期了 JianFeeeee 2026-09-21 05:19:49 +08:00
• 8903ce5aa4 更正: PATH shim 被否掉的**理由是我没量过的推断**，而且量下来是错的 JianFeeeee 2026-09-21 05:14:58 +08:00
• 3459605dc0 修复: TestStaleLunarRecurringDoesNotFlood 是**日期相关的假红** —— 它要求一个不存在的日期 JianFeeeee 2026-09-21 05:06:53 +08:00
• 258b88da22 修复: 判据 ① 的**分母**混着没比过的文件 —— scanned++ 在 readFile 之前，读失败静默跳过 JianFeeeee 2026-09-21 04:54:45 +08:00
• ecf98d7d36 文档: 记下 B-7.7 那条债的**实测实例** —— 每日 04:00 的 dsh 重启让重投每天复发 JianFeeeee 2026-09-21 04:44:32 +08:00
• 63d430f423 文档: API.md 记一条 —— **"计数"对了不代表"账记上了"**（已读权威列静默少行） JianFeeeee 2026-09-21 04:26:49 +08:00
• 17908c1623 修复: 已读**权威列**静默少行 —— markReadFor 占位符整体错位一格（最后一封永远标不上） JianFeeeee 2026-09-21 04:25:17 +08:00
• 139fa19f90 跨端: 转发入口移到头部动作行、右下只留回复球（我多摆了一个球） JianFeeeee 2026-09-21 02:34:44 +08:00
• 6f1b4352cd 跨端: 回复/转发改内联底栏 + 入场动画对称化（照鸿蒙文档纠正三处误判） JianFeeeee 2026-09-21 02:19:30 +08:00
• 5e4a1b616c 跨端: B 的交付物（跨端纯逻辑一致性判据）+ 照 skill 回扫修掉两处隐形债 JianFeeeee 2026-09-20 22:35:35 +08:00
• 25e7d8f3bf 跨端: 补附件区（两端一直都有这个功能，我上次误判成"死代码"）+ 修两个真 bug JianFeeeee 2026-09-20 21:14:20 +08:00
• f1db99ef41 跨端: 发件箱接上 MailStore（A 的剩余）+ 修 3 处把原始 ISO 印到界面上的时间 JianFeeeee 2026-09-20 18:43:35 +08:00
• 99a7bbccf7 跨端: 联系人栏宽度随视图模式变（卡片 400 / 列表 320，原来写死 320） JianFeeeee 2026-09-20 13:56:52 +08:00
• 6f7592d1c1 跨端: 按压反馈内联进基础玻璃卡 —— 18 个站点从 1 个变全部（基础组件自带动画） JianFeeeee 2026-09-20 13:53:40 +08:00
• 6ef079365a 跨端: 修「两个动作球不能重叠」那条判据自身（它的结束边界把几十行外的东西也吃进来了） JianFeeeee 2026-09-20 13:42:51 +08:00
• 6085159694 跨端: 5 处 Unicode 符号当图标换成 AmIcon（并把判据扩到"排版符号"这一类） JianFeeeee 2026-09-20 13:33:13 +08:00
• d9bb4f766b 跨端: 三条判据转绿（登记新令牌 + 把一条断言错实现的判据改成断言真不变式） JianFeeeee 2026-09-20 13:05:59 +08:00
• 1df8245a6d 跨端: 写邮件改在宽屏右栏打开（原来盖住全屏、把列表栏也带走） JianFeeeee 2026-09-20 12:57:55 +08:00
• 5c04b41900 跨端: 修一个真崩溃（omitempty）+ 邮件详情补"标记已读/对话树"两个动作 JianFeeeee 2026-09-20 12:48:37 +08:00
• 44e277e0b6 跨端: 补「当前选中邮件」高亮 —— 鸿蒙原来完全没有这个概念 JianFeeeee 2026-09-20 12:24:17 +08:00
• d10c641e41 跨端: 账号徽标对齐 WebUI（中性灰胶囊 + 80px 截断，原来是被染成品牌蓝） JianFeeeee 2026-09-20 12:12:08 +08:00
• a97b83e221 跨端: 宽屏右栏空态（splitPlaceholder）—— WebUI 有引导，我们原来一片空白 JianFeeeee 2026-09-20 12:07:32 +08:00
• e988b6f24d 跨端: 去掉宽屏内容列与两栏的 .clip（圆角保留、不裁切）+ 更正两处我自己的误判 JianFeeeee 2026-09-20 11:58:16 +08:00
• f604badf86 判据: 三条判据锚在"实现位置"上，A 步搬家后假红 —— 改成锚不变量 JianFeeeee 2026-09-20 11:34:44 +08:00
• 97037c0424 跨端: A 步 —— harmony 补 store 层（MailStore），搬走 InboxTab 107 行重复实现 JianFeeeee 2026-09-20 11:28:48 +08:00
• ed1ae02441 跨端: 宽屏两栏各自圆角（原来只有外壳有，内部两半是直角） JianFeeeee 2026-09-20 11:14:05 +08:00
• 6ca0113fd2 跨端: 统一顶栏组件 + 按压反馈（真跑通）+ 滑动判定从"时长门"改"速度门" JianFeeeee 2026-09-20 10:51:28 +08:00
• c0ab3f57b2 跨端: 顶部页签条改悬浮玻璃 + 深色压暗下限（修 8 处深色可读性）+ 手势判据自搭现场 JianFeeeee 2026-09-20 09:01:46 +08:00
• eb4e413c67 跨端: 玻璃走基础组件（透明度/磨砂/投影）+ 判据去芜存菁（修 4 个判据自身缺陷） JianFeeeee 2026-09-20 08:16:10 +08:00
• 5103e0aee3 跨端: 抽出基础面/玻璃组件（Motion + Surface）+ 三处硬弹的弹层补过渡 JianFeeeee 2026-09-20 07:37:16 +08:00
• a7896a7e3a 文档: CRITERIA.md §16.1.3 —— 判据锚在"字面相邻"隐含断言"不许再多一层"（假红的来源） JianFeeeee 2026-09-20 05:45:42 +08:00
• b16d07b625 修复: 假红 —— Motion.dur(...) 包一层就让 paneRiseIn 的时长断言失配（pi 报） JianFeeeee 2026-09-20 05:45:03 +08:00
• 1c3335f0c9 修复: 第五个落点 —— 判据写对了，却**没有任何人执行它**（check-file-modes.sh 空转） JianFeeeee 2026-09-20 05:22:42 +08:00
• efb1c1d2ca 修复: 第四个落点 —— **变异条目的锚点失效**（hits=0）：守具有齿，却不在位 JianFeeeee 2026-09-20 04:49:50 +08:00
• c1465e09ab 跨端: 平板三处真 bug（返回回登录页 / 避让重复叠加 / 联系人卡被裁 10vp） JianFeeeee 2026-09-19 23:38:18 +08:00
• 110de79401 跨端: 三级文字**浅色也一样不够**（12 处 2.85:1）+ 判据不再只验一半 JianFeeeee 2026-09-19 20:58:59 +08:00
• 1da4e15a7b 跨端: 补齐「我的」页深色可读性（4 页 219 段全 ≥3:1）+ 判据自己漏报的那一类 JianFeeeee 2026-09-19 20:43:59 +08:00
• 4ecddfc2b6 跨端: 语义色/三级文字在深色下没提亮（设备扫出 12 处）+ 判据取样法修到第三版 JianFeeeee 2026-09-19 20:27:09 +08:00
• 13b557a742 跨端: 品牌蓝深色下没提亮（24 处字/图标看不见）+ 补深色可读性设备判据 JianFeeeee 2026-09-19 20:05:33 +08:00
• 3123d83979 判据: 把「面当字」的防线从死名单改成判矛盾（三次迭代都记下来了） JianFeeeee 2026-09-19 19:39:02 +08:00