拓冰网站定制 
CLI【免费下载链接】himalayaCLI to manage emails项目地址https://gitcode.com/gh_mirrors/hi/himalaya点击查看免费下载本文是 Himalaya 邮件 CLI 中 pimdir 后端本地离线缓存后端的一次重要语义修正记录。pimdir 后端对外展示的消息 ID 由「每个邮箱独立编号」演进为「消息级、store 全局唯一」的公共 ID——同一封邮件无论被归档到哪个邮箱都显示同一个短整数 ID用户可以用它在任意邮箱中读取、改标记或移动。读完本文你将掌握pimdir 短公共 ID 的来历、seq语义变更的动机与影响、为什么后端代码一行都不用改、规范措辞如何修正以及如何在真实 store 上复现与验证这一行为。背景为什么 pimdir 需要一个短公共 IDpimdir 是 Himalaya 的一个存储类后端它不直接连服务器而是读取由 Neverest 等同步引擎填充的本地 store一个 SQLite 索引pimdir.db加内容寻址的objects/正文库实现离线读信并把写操作以动作action的形式排队交给 store 的 owner 去应用。详见 pimdir 后端说明 与 客户端封装。在引入短公共 ID 之前pimdir 后端会把内部的link_id一条形如mid:……的长字符串直接填进信封表的 ID 列用户必须输入或粘贴这串冗长的内部键才能操作某封邮件。这与其他后端IMAP 展示 UID、JMAP 展示服务器字符串 ID的体验不一致。为此Himalaya 发起了pimdir-public-id变更见 变更提案、变更说明io-pimdir 为每个条目分配一个短整数seq后端以它为Envelope.id对外展示并接受。本次变更核心seq从集合级变为消息级store 全局本文所记录的 日志 是对上述变更的规范措辞跟进spec wording follow-up核心事实只有一条io-pimdir 的seq从「per-collection每个集合各自编号」改为「message-scoped 且 store-global消息级、store 全局编号」在 io-pimdir 内部被称为message-scoped-seq。因此同一封邮件在它被归档的每一个邮箱里都显示同一个 ID。这个语义变化带来一个直接的用户体验提升以前同一封邮件在 INBOX 里是id 3归档到 Archive 后可能变成id 1现在无论它出现在哪个邮箱短 ID 始终一致用户记忆和脚本引用都不会因为邮件归档而失效。后端零代码改动实现已经天然满足新语义这次语义变更最值得注意的是Himalaya 的 pimdir 后端代码完全不需要修改。因为实现从一开始就把「公共 ID」与「内部键」解耦了展示侧envelope_from_item直接把条目的seq序列化为字符串作为Envelope.id源码注释明确写着「public id is a short store-global integer rather than the long link id」——注意这里用的正是「store-global」一词与新的消息级语义完全一致见 src/pimdir/backend.rs解析侧所有按 ID 操作读正文、打标记、复制/移动、删除都先把用户输入的 ID 解析成seq再通过store.get_item(collection, seq)解析到内部条目见 src/pimdir/backend.rs。由于seq是 store 全局的get_item(collection, seq)在任何一个包含该邮件的集合里都能命中同一个条目这与新语义天然吻合校验侧seq()在生成待排队的动作前先对集合做一次存在性检查让过期的 ID 在这里就被拒绝而不是等到 owner 应用时才发现见 src/pimdir/backend.rs错误提示侧parse_id对非数字 ID 直接给出明确报错Invalid message id … (expected a number)见 src/pimdir/backend.rs。因此这条变更的实际工作量是只改cairn/spec/backends.md里的措辞把「per-collection」的说法修正为「store-assigned integer, the same across every mailbox a message is filed in」。测试用例印证src/pimdir/backend.rs 中的单元测试envelope_is_built_from_the_summary_without_a_body构造了一个seq 42的条目断言envelope.id 42证明信封 ID 直接来自seq而非link_id。另一个更有针对性的测试two_items_sharing_a_message_id_project_two_public_ids见 src/pimdir/backend.rs验证了一个关键边界即使两个条目共享同一个Message-IDstore 会为重复副本铸造新的内部键pimdir SPEC §9它们仍然投影为两个不同的公共 ID11和12且对外绝不会暴露dup:…这类内部键。这正是「公共 ID 与内部键完全解耦」的直接证据。规范修正backends.md 中的措辞更新本次变更修正的是 Himalaya 变更管理目录cairn中的后端规范。当前 cairn/spec/backends.md 中「pimdir shows a short public id」要求的现行措辞为The pimdir backend SHALL show and accept each messages public id (items.seq, a small store-assigned integer, the same across every mailbox the message is filed in) as itsEnvelope.id, not the internallink_id. It SHALL check the id against the collection before reading a body or staging an action, and SHALL fail clearly on a non-numeric or unknown one.add_messageSHALL return the link id it staged: a queued create has noseqyet, the store assigning one when its owner applies the action.对比修正前后的差异可以提炼出三条语义要点同邮件同 IDthe same across every mailbox the message is filed in——ID 随消息走不随邮箱变这是本次措辞修正的核心先校验后操作读正文或排队动作之前必须先对集合做存在性检查对应代码中的hub_idget双重校验队列中的新建消息没有 seqadd_message返回的是它排队的link_id因为新消息要等 owner 应用动作后才会被分配seq——这与代码实现一致src/pimdir/backend.rs 中add_message返回link_id.0。同文件 cairn/spec/backends.md 还补充了一条配套约束后端不得假设条目的link_id就是正文携带的Message-ID也不得假设一个Message-ID在邮箱里至多对应一条消息——重复Message-ID的条目各自拥有独立的公共 ID且都作为普通消息列出、读取和操作。实测验证一封邮件在两个邮箱里显示同一个 ID日志记录了针对一个真实 storelive neverest-synced store的验证过程一封同时归档在INBOX和Archive的邮件在两个邮箱的信封列表里都显示id 1此前集合级语义下它们会是两个互不相干的值message read 1 -m Archive能直接用该短 ID 读取邮件——-m指定邮箱、1指定消息 ID验证了「同一 ID 跨邮箱可用」。对应的实际操作路径信封列表由共享命令 信封列表命令 路由到 pimdir 后端的list_envelopes见 src/pimdir/backend.rs读取由 消息读取命令 路由到get_message见 src/pimdir/backend.rs。你可以用同一套共享命令做复现# 列出 INBOX 的信封确认某封邮件的公共 ID例如 1 himalaya envelope list -a account -m imap/INBOX # 用公共 ID 1 在另一个邮箱中读取同一封邮件 himalaya message read 1 -m imap/Archive # 按公共 ID 打标记解析 ID 并排队一次 SetFlags 动作 himalaya flag add 2 --flag flagged -m imap/INBOX # 传入非数字 ID会得到明确报错 himalaya message read abc -m imap/INBOX # Invalid message id abc (expected a number)注意pimdir 的邮箱名就是集合 ID 原样例如imap/INBOX详见 src/pimdir/backend.rs上述命令中的邮箱参数请按实际集合名填写。相关配置pimdir 账户的启用方式要在自己的环境里复现上述行为需要先有一个已被同步引擎填充的 pimdir store并在账户配置中启用 pimdir 后端。参考 config.sample.toml# pimdir 配置一个本地 pimdir storeSQLite 索引 内容寻址正文库 # 由 Neverest 同步引擎填充离线读信编辑排队待下次同步推送。 # 对已在同步的账户下面一行就够且全程不涉及网络。 # 同步引擎写入的 store 目录内含 pimdir.db 和 objects/。 # 默认按账户位于 XDG state 目录下或指向 Neverest 的 store.root。 pimdir.root ~/.local/state/neverest/example # 本客户端读取的账户即 Neverest 同步所用的名称。 # 可留空单账户同步的 store 会被直接识别多账户共享的 store 必须显式指定。 pimdir.account posteo # 邮箱即集合 ID 原样用别名避免输入长 ID mailbox.alias.inbox imap/INBOX # 发送的邮件排队给 store 的 owner 发送归档到 --save 指定的邮箱或此别名 # 该账户不使用 smtp 配置节。 mailbox.alias.sent imap/Sent需要说明PimdirClient::new会检查pimdir.root/pimdir.db是否存在不存在时报错提示先运行同步创建 store而不会自作主张新建一个空 store 来掩盖路径写错的问题见 src/pimdir/client.rs。另外多账户共享 store 而pimdir.account未设置时客户端会直接拒绝并列出所有账户名而不是随便猜一个导致展示错误的邮箱集合见 src/pimdir/client.rs。边界情况与设计要点围绕「消息级公共 ID」这一语义还有几个值得注意的边界未拉取正文的条目信封从 store 的摘要构建不读正文所以正文未本地化的条目照常列出读取时提示「body not fetched, run a sync to hydrate it」而非数据丢失错误见 src/pimdir/backend.rs这也让公共 ID 在同步边界上依然稳定队列中的新建/发送没有 IDadd_message排队的新消息要等 owner 应用动作后才被分配seq因此不投影为信封也不在Envelope.id里放占位符见 cairn/spec/backends.md这正是pimdir queue list存在的意义队列命令ID 过期即拒绝写操作前的集合内存在性检查让用户拿一个已删除邮件的旧 ID 操作时立即得到「Message … not found」的错误而不是排一个注定悬空的动作。小结pimdir-message-scoped-id是一条「语义先行、实现零改动」的规范跟进变更io-pimdir 将seq从集合级改为消息级store 全局后Himalaya 的 pimdir 后端因为早已将公共 IDseq与内部键link_id彻底解耦无需任何代码修改即可获得「同一封邮件在任何邮箱中 ID 一致」的行为唯一需要落地的是把 backends 规范 中「per-collection」的措辞修正为「store-assigned integer, the same across every mailbox」。配套的单元测试与真实 store 验证共同保证了这一语义的稳定性也让「用短 ID 跨邮箱操作同一封邮件」成为 pimdir 用户可以放心依赖的行为。赞分享CLI【免费下载链接】himalayaCLI to manage emails项目地址https://gitcode.com/gh_mirrors/hi/himalaya点击查看免费下载相关推荐himalaya pimdir 后端公开 ID 解析以 seq 替代 link_id 的消息寻址实现himalaya pimdir 后端公开 ID 解析以 seq 替代 link_id 的消息寻址实现 导读 本文围绕 himalaya 仓库中 cairn/cCLIHimalaya pimdir 后端短公共 ID 机制从 link_id 到 per-collection seq 的实现与解析Himalaya pimdir 后端短公共 ID 机制从 link_id 到 per collection seq 的实现与解析 导读 本文基于 cairnCLIhimalaya pimdir 后端消息公开标识public seq机制解析从长 link_id 到短整型 ID 的完整改造himalaya pimdir 后端消息公开标识public seq机制解析从长 link_id 到短整型 ID 的完整改造 本文基于 himalayaCLI上一篇CefFlashBrowser终极Flash浏览器简单三步重温经典Flash游戏下一篇QtScrcpy架构解析Android实时屏幕镜像与控制系统的技术实现深度创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 Himalaya pimdir 消息公共 ID 语义演进：从集合级 seq 到消息级（store 全局）ID 的实现与验证
CLI【免费下载链接】himalayaCLI to manage emails项目地址https://gitcode.com/gh_mirrors/hi/himalaya点击查看免费下载本文是 Himalaya 邮件 CLI 中 pimdir 后端本地离线缓存后端的一次重要语义修正记录。pimdir 后端对外展示的消息 ID 由「每个邮箱独立编号」演进为「消息级、store 全局唯一」的公共 ID——同一封邮件无论被归档到哪个邮箱都显示同一个短整数 ID用户可以用它在任意邮箱中读取、改标记或移动。读完本文你将掌握pimdir 短公共 ID 的来历、seq语义变更的动机与影响、为什么后端代码一行都不用改、规范措辞如何修正以及如何在真实 store 上复现与验证这一行为。背景为什么 pimdir 需要一个短公共 IDpimdir 是 Himalaya 的一个存储类后端它不直接连服务器而是读取由 Neverest 等同步引擎填充的本地 store一个 SQLite 索引pimdir.db加内容寻址的objects/正文库实现离线读信并把写操作以动作action的形式排队交给 store 的 owner 去应用。详见 pimdir 后端说明 与 客户端封装。在引入短公共 ID 之前pimdir 后端会把内部的link_id一条形如mid:……的长字符串直接填进信封表的 ID 列用户必须输入或粘贴这串冗长的内部键才能操作某封邮件。这与其他后端IMAP 展示 UID、JMAP 展示服务器字符串 ID的体验不一致。为此Himalaya 发起了pimdir-public-id变更见 变更提案、变更说明io-pimdir 为每个条目分配一个短整数seq后端以它为Envelope.id对外展示并接受。本次变更核心seq从集合级变为消息级store 全局本文所记录的 日志 是对上述变更的规范措辞跟进spec wording follow-up核心事实只有一条io-pimdir 的seq从「per-collection每个集合各自编号」改为「message-scoped 且 store-global消息级、store 全局编号」在 io-pimdir 内部被称为message-scoped-seq。因此同一封邮件在它被归档的每一个邮箱里都显示同一个 ID。这个语义变化带来一个直接的用户体验提升以前同一封邮件在 INBOX 里是id 3归档到 Archive 后可能变成id 1现在无论它出现在哪个邮箱短 ID 始终一致用户记忆和脚本引用都不会因为邮件归档而失效。后端零代码改动实现已经天然满足新语义这次语义变更最值得注意的是Himalaya 的 pimdir 后端代码完全不需要修改。因为实现从一开始就把「公共 ID」与「内部键」解耦了展示侧envelope_from_item直接把条目的seq序列化为字符串作为Envelope.id源码注释明确写着「public id is a short store-global integer rather than the long link id」——注意这里用的正是「store-global」一词与新的消息级语义完全一致见 src/pimdir/backend.rs解析侧所有按 ID 操作读正文、打标记、复制/移动、删除都先把用户输入的 ID 解析成seq再通过store.get_item(collection, seq)解析到内部条目见 src/pimdir/backend.rs。由于seq是 store 全局的get_item(collection, seq)在任何一个包含该邮件的集合里都能命中同一个条目这与新语义天然吻合校验侧seq()在生成待排队的动作前先对集合做一次存在性检查让过期的 ID 在这里就被拒绝而不是等到 owner 应用时才发现见 src/pimdir/backend.rs错误提示侧parse_id对非数字 ID 直接给出明确报错Invalid message id … (expected a number)见 src/pimdir/backend.rs。因此这条变更的实际工作量是只改cairn/spec/backends.md里的措辞把「per-collection」的说法修正为「store-assigned integer, the same across every mailbox a message is filed in」。测试用例印证src/pimdir/backend.rs 中的单元测试envelope_is_built_from_the_summary_without_a_body构造了一个seq 42的条目断言envelope.id 42证明信封 ID 直接来自seq而非link_id。另一个更有针对性的测试two_items_sharing_a_message_id_project_two_public_ids见 src/pimdir/backend.rs验证了一个关键边界即使两个条目共享同一个Message-IDstore 会为重复副本铸造新的内部键pimdir SPEC §9它们仍然投影为两个不同的公共 ID11和12且对外绝不会暴露dup:…这类内部键。这正是「公共 ID 与内部键完全解耦」的直接证据。规范修正backends.md 中的措辞更新本次变更修正的是 Himalaya 变更管理目录cairn中的后端规范。当前 cairn/spec/backends.md 中「pimdir shows a short public id」要求的现行措辞为The pimdir backend SHALL show and accept each messages public id (items.seq, a small store-assigned integer, the same across every mailbox the message is filed in) as itsEnvelope.id, not the internallink_id. It SHALL check the id against the collection before reading a body or staging an action, and SHALL fail clearly on a non-numeric or unknown one.add_messageSHALL return the link id it staged: a queued create has noseqyet, the store assigning one when its owner applies the action.对比修正前后的差异可以提炼出三条语义要点同邮件同 IDthe same across every mailbox the message is filed in——ID 随消息走不随邮箱变这是本次措辞修正的核心先校验后操作读正文或排队动作之前必须先对集合做存在性检查对应代码中的hub_idget双重校验队列中的新建消息没有 seqadd_message返回的是它排队的link_id因为新消息要等 owner 应用动作后才会被分配seq——这与代码实现一致src/pimdir/backend.rs 中add_message返回link_id.0。同文件 cairn/spec/backends.md 还补充了一条配套约束后端不得假设条目的link_id就是正文携带的Message-ID也不得假设一个Message-ID在邮箱里至多对应一条消息——重复Message-ID的条目各自拥有独立的公共 ID且都作为普通消息列出、读取和操作。实测验证一封邮件在两个邮箱里显示同一个 ID日志记录了针对一个真实 storelive neverest-synced store的验证过程一封同时归档在INBOX和Archive的邮件在两个邮箱的信封列表里都显示id 1此前集合级语义下它们会是两个互不相干的值message read 1 -m Archive能直接用该短 ID 读取邮件——-m指定邮箱、1指定消息 ID验证了「同一 ID 跨邮箱可用」。对应的实际操作路径信封列表由共享命令 信封列表命令 路由到 pimdir 后端的list_envelopes见 src/pimdir/backend.rs读取由 消息读取命令 路由到get_message见 src/pimdir/backend.rs。你可以用同一套共享命令做复现# 列出 INBOX 的信封确认某封邮件的公共 ID例如 1 himalaya envelope list -a account -m imap/INBOX # 用公共 ID 1 在另一个邮箱中读取同一封邮件 himalaya message read 1 -m imap/Archive # 按公共 ID 打标记解析 ID 并排队一次 SetFlags 动作 himalaya flag add 2 --flag flagged -m imap/INBOX # 传入非数字 ID会得到明确报错 himalaya message read abc -m imap/INBOX # Invalid message id abc (expected a number)注意pimdir 的邮箱名就是集合 ID 原样例如imap/INBOX详见 src/pimdir/backend.rs上述命令中的邮箱参数请按实际集合名填写。相关配置pimdir 账户的启用方式要在自己的环境里复现上述行为需要先有一个已被同步引擎填充的 pimdir store并在账户配置中启用 pimdir 后端。参考 config.sample.toml# pimdir 配置一个本地 pimdir storeSQLite 索引 内容寻址正文库 # 由 Neverest 同步引擎填充离线读信编辑排队待下次同步推送。 # 对已在同步的账户下面一行就够且全程不涉及网络。 # 同步引擎写入的 store 目录内含 pimdir.db 和 objects/。 # 默认按账户位于 XDG state 目录下或指向 Neverest 的 store.root。 pimdir.root ~/.local/state/neverest/example # 本客户端读取的账户即 Neverest 同步所用的名称。 # 可留空单账户同步的 store 会被直接识别多账户共享的 store 必须显式指定。 pimdir.account posteo # 邮箱即集合 ID 原样用别名避免输入长 ID mailbox.alias.inbox imap/INBOX # 发送的邮件排队给 store 的 owner 发送归档到 --save 指定的邮箱或此别名 # 该账户不使用 smtp 配置节。 mailbox.alias.sent imap/Sent需要说明PimdirClient::new会检查pimdir.root/pimdir.db是否存在不存在时报错提示先运行同步创建 store而不会自作主张新建一个空 store 来掩盖路径写错的问题见 src/pimdir/client.rs。另外多账户共享 store 而pimdir.account未设置时客户端会直接拒绝并列出所有账户名而不是随便猜一个导致展示错误的邮箱集合见 src/pimdir/client.rs。边界情况与设计要点围绕「消息级公共 ID」这一语义还有几个值得注意的边界未拉取正文的条目信封从 store 的摘要构建不读正文所以正文未本地化的条目照常列出读取时提示「body not fetched, run a sync to hydrate it」而非数据丢失错误见 src/pimdir/backend.rs这也让公共 ID 在同步边界上依然稳定队列中的新建/发送没有 IDadd_message排队的新消息要等 owner 应用动作后才被分配seq因此不投影为信封也不在Envelope.id里放占位符见 cairn/spec/backends.md这正是pimdir queue list存在的意义队列命令ID 过期即拒绝写操作前的集合内存在性检查让用户拿一个已删除邮件的旧 ID 操作时立即得到「Message … not found」的错误而不是排一个注定悬空的动作。小结pimdir-message-scoped-id是一条「语义先行、实现零改动」的规范跟进变更io-pimdir 将seq从集合级改为消息级store 全局后Himalaya 的 pimdir 后端因为早已将公共 IDseq与内部键link_id彻底解耦无需任何代码修改即可获得「同一封邮件在任何邮箱中 ID 一致」的行为唯一需要落地的是把 backends 规范 中「per-collection」的措辞修正为「store-assigned integer, the same across every mailbox」。配套的单元测试与真实 store 验证共同保证了这一语义的稳定性也让「用短 ID 跨邮箱操作同一封邮件」成为 pimdir 用户可以放心依赖的行为。赞分享CLI【免费下载链接】himalayaCLI to manage emails项目地址https://gitcode.com/gh_mirrors/hi/himalaya点击查看免费下载相关推荐himalaya pimdir 后端公开 ID 解析以 seq 替代 link_id 的消息寻址实现himalaya pimdir 后端公开 ID 解析以 seq 替代 link_id 的消息寻址实现 导读 本文围绕 himalaya 仓库中 cairn/cCLIHimalaya pimdir 后端短公共 ID 机制从 link_id 到 per-collection seq 的实现与解析Himalaya pimdir 后端短公共 ID 机制从 link_id 到 per collection seq 的实现与解析 导读 本文基于 cairnCLIhimalaya pimdir 后端消息公开标识public seq机制解析从长 link_id 到短整型 ID 的完整改造himalaya pimdir 后端消息公开标识public seq机制解析从长 link_id 到短整型 ID 的完整改造 本文基于 himalayaCLI上一篇CefFlashBrowser终极Flash浏览器简单三步重温经典Flash游戏下一篇QtScrcpy架构解析Android实时屏幕镜像与控制系统的技术实现深度创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考