即时通讯后端【免费下载链接】WuKongIMMore than just IM 不只是即时通讯(IM)项目地址https://gitcode.com/gh_mirrors/wu/WuKongIM点击查看免费下载导读本指南围绕 WuKongIM 从原版 v2v2.2.5-20260422离线迁移至全新 v3 集群过程中的带迁移标记频道权威来源核验展开。在真实停机备份上authority专项审计对MigrateFrom/MigrateTo非零的频道逐频道重放配置日志证据与跨副本消息摘要回答迁移标记本身能否证明业务副本一致这一核心问题。读完本文你将掌握wkmigrate authority的完整命令用法、四类频道判定规则、两轮加锁读取与文件摘要核验机制、历史配置版本语义的解读方法以及该审计报告为何不能直接用于放行迁移的边界约束。本文基于 docs/superpowers/reports/2026-09-07-v2-migration-source-authority.md 撰写并以其后续补充报告 2026-09-07-v2-migration-authority-history.md 与操作手册 docs/superpowers/runbooks/v2-to-v3-migration.md 为佐证仓库源码与测试用于印证底层实现。背景为什么需要来源权威专项核验v2 集群的正常停机备份通常不需要逐频道核验来源——prepare阶段已经通过持久化集群配置、Slot 日志及应用位置确定源权威副本。但有一类特殊数据例外ChannelClusterConfig中MigrateFrom/MigrateTo非零的频道以下简称带标记频道。这些频道曾经经历过迁移/扩副本操作其配置副本之间、配置与消息历史之间的语义需要单独解释。原报告基于真实备份的只读核验核验对象是节点 1001/1002/1003、原业务分片数 8、原物理 Slot 数 64 的已停机 v2 备份源位于175.27.245.108的/root/wukongim_v2_bak/wukongim{1,2,3}_data/data。核验全程未执行导入也未修改 v3 存储逻辑属于纯只读诊断。从源码结构看markedChannelConfig见 internal/usecase/migration/authority_capture.go只对ChannelClusterConfig主记录且MigrateFrom、MigrateTo字段中存在非零字节的行打标这就是带标记频道的精确识别口径。classifyMigrationKind见 internal/usecase/migration/authority_compare.go随后将这些标记细分为add_replica补充副本、leader_transfer领导者转移、replace_follower替换跟随者、same_node_formal_marker同节点正式副本标记与unknown五种迁移形态——其中最后两类正是本报告需要单独解释的对象。核心结论71 个带标记频道的逐类归属第一次专项核验报告版本 2authority-19对每节点 71 条带迁移标记的配置做了去重得到71 个去重频道按来源结论分为三类分类频道数实际证据来源结论学习者落后61正式副本 1002、1003 各有 697 条消息逐序号完整字段摘要一致学习者 1001 无这些消息配置中记录的 Leader 可作为候选来源另一正式副本作交叉校验所有节点无消息91001、1002、1003 均无消息正式副本配置与保留的已应用命令一致满足本次消息来源核验规则不代表可删除频道元数据历史配置待解释1三节点各有 1 条完全相同的消息配置副本亦相同保持未解决不自动清标记或改配置版本前 70 个频道均为补充副本形态正式副本为 1002、1003学习者为 1001MigrateFromMigrateTo1001。两个关键事实值得注意迁移标记本身不能证明业务副本存在冲突——带标记只说明这些频道曾走过迁移路径来源结论必须靠配置与消息证据逐频道得出每个频道的候选节点严格使用该频道配置的 Leader而不是整库选择一个节点。这一点在源码中同样成立authority_compare.go通过slot.Leader取base配置副本见 internal/usecase/migration/authority_compare.goc.ReferenceNode base.Config.Leader逐频道确定参考节点。本范围总计覆盖698 个不同的频道消息序号、1397 条跨节点物理主消息。697 条差异全部是学习者 1001 缺少的连续前缀已生成逐频道缺失区间表missing-ranges.csv同时逐条复核了 697 个差异序号上 1002/1003 的摘要相等以及 426 条跨节点配置日志记录。需要特别说明本次没有发现这些频道在相同序号上消息内容冲突也没有用最多消息、最高序号或无条件多数表决来确定来源。此结论仅覆盖带标记频道不能推广至全部业务数据。唯一待解释频道历史自指 Leader 标记的来龙去脉71 个频道中唯一未被首次报告解释的频道是 authority-19 保留的历史配置待解释项owner hash18444569917280199465所属 Slot56Leader1001正式副本1001、1002、1003学习者为空MigrateFromMigrateTo1001指向同一个正式副本不能将其称为通常的领导者转移三份历史均只有序号 1完整字段摘要与持久化尾部一致三份落库ConfVersion均为1732364897806218890最新相关已应用命令位于 Slot 日志索引 305日志原始携带的配置版本也是1732364897806218890。未替换版本前日志配置的全部字段摘要与落库字段完全一致但固定 v2 提交的当前应用代码会把ConfVersion替换成 Slot 日志索引得到 305。因此不能仅按当前写入规则解释这条历史记录也不能把版本改成 305 后宣告完成。后续补充报告 2026-09-07-v2-migration-authority-history.md 给出了该频道的完整历史证据链三节点均保留配置命令 304、305304 无迁移标记305 仅改变MigrateFrom、MigrateTo、ConfVersion三个字段。Leader、任期、完整成员、状态、时间字段及其他落库字段均未改变没有学习者历史提交9b699e31a58fccb09a00fd9d326a78f40bbfcc7e的pkg/cluster/clusterserver/api_cluster.go:channelMigrate允许当前 Leader 作为迁移来源和目的地接口只设置上述三个字段目标已在正式副本中时不添加学习者同提交的pkg/cluster/clusterstore/store_apply.go将命令中的配置直接交给数据库保存保留其 ConfVersion旧副本同步逻辑仅由目标节点的同步请求触发接任普通远端副本无法完成目标为现有 Leader 本人的转移提交aef7ff71cfc80dd268f791f529754b363ad82b9f后来为 cluster2 配置应用加入ConfVersion log.Index因此不能用当前写入规则否定全部历史编码版本真实落库版本1732364897806218890与命令 305 原始携带的版本相同排除迁移三字段后命令 304、305 与落库配置的摘要都为cef0274840d430ae8143b851df252a99c965664897f6b50e5595a4ba3e4e7d8d。这些代码与日志证明当前保留状态符合这条历史路径但不能据此确定当时操作人员或精确请求来源也不证明历史客户端 ACK。报告据此给出推论这与历史写入规则遗留相符属推断而非已验证的成因现有证据不支持将其描述为消息丢失或消息内容冲突。wkmigrate authority命令用法、两轮加锁读取与判定规则命令形态与工作空间隔离authority是wkcli migrate的一个子命令完整命令列表见 cmd/wkcli/internal/migrate/command.go使用独立的工作空间身份:authority-v3报告版本 3 起wkmigrate authority --plan /srv/wkmigrate/plan.json \ --workspace /srv/wkmigrate/authority-workspace /srv/wkmigrate/authority.json要点--plan与--workspace均为必需参数该命令不需要--archive工作空间必须与prepare等其他命令分开——诊断工作空间使用独立身份不能拿来执行 prepare/export/import见 cmd/wkcli/internal/migrate/README.md计划文件格式与迁移主流程共用包含version、source_commit、sources节点 ID、停机数据目录、原业务分片数与target目标集群布局完整示例见 操作手册 的固定迁移计划一节。两轮加锁读取与文件摘要不变性从 internal/usecase/migration/authority.go 的实现可以看到完整的两阶段流程第一轮在源文件锁内读取频道配置ChannelClusterConfig主记录与保留的原始 Slot 配置命令通过ReadAuthorityCommands捕获命令原始字节及 Slot/索引/任期见 internal/infra/migrationv2/authority_evidence.go第二轮再次加锁读取只为限定频道保存消息字段摘要到磁盘排序区逐序号比较工作空间只存摘要而非 payload 副本差异流式写出两轮都必须核对扫描前后文件摘要且两轮文件摘要也必须相同。任一节点两轮DataDigest不一致会以source changed between authority audit passes失败authority.go且失败节点不参与任何判定。报告只记录配置命令的原始版本original_encoded_payload及按当前应用规则解释的版本slot_log_index不回放命令。JSON 摘要列出全局扫描、源文件绑定及频道分类JSONLdetails_file保留全部配置日志证据、不同序号的摘要和每频道结论。报告不输出凭据、原始消息内容或频道名称涉及错误的错误文本也以 SHA-256 形式出现避免泄露内部信息。四类频道判定规则操作手册与源码共同定义了四类频道结论分类逻辑见 internal/usecase/migration/authority_compare.go类别判定条件consistent_formal_replicas配置证据满足核验规则正式副本完全一致迁移形态为补充副本、无标记或已验证的历史自指 Leaderlearner_lag_only满足相同配置证据正式副本一致差异仅为学习者连续前缀落后conflict配置互相矛盾、同序号内容不同或存在不能解释的额外消息insufficient_evidence缺少配置日志、来源节点、连续历史或明确转换依据等一个频道被判为consistent_formal_replicas需要同时满足len(c.Reasons) 0、正式副本完全一致formalEqual且迁移形态属于add_replica/none/historical_self_leader_noop。任何领导者或副本替换需要转换证明的情况如真正的leader_transfer、replace_follower都会被拒绝authority_compare.go。candidate_node只表示满足本规则的消息快照候选来源。它不写入selected/、不生成PREPARED或转换完成标记prepare对迁移标记的现有拒绝条件保持不变。退出码语义退出码 1 仍会输出完成但未解决的报告unresolved扫描失败为incomplete退出码 0 只说明本次限定范围的检查通过。报告版本 3 的版本规则与历史自指证明报告版本 3AuthorityReport.Version 3见 authority.go对每份配置副本输出version_rule严格区分两种版本来源slot_log_index落库版本等于最新已应用命令的日志索引且配置字段摘要一致——对应 cluster2 的现行写入规则original_encoded_payload命令原始携带的编码版本与落库版本完全一致——对应 2024 年 clusterstore 的旧写入规则。originalConfigVersionRuleauthority_compare.go要求所有原字段精确匹配不用时间戳大小猜测版本。historical_self_leader_noop仅在每个所属 Slot 正式副本均满足以下条件时成立provesHistoricalSelfLeaderMarkerauthority_compare.go最新已应用命令原始配置与落库完整字段一致且没有待应用的配置变化UnappliedChanges 0保留的前一条相关命令无迁移标记三副本的前后命令摘要CommandSHA256一致除迁移来源、目的地和版本外其他原始字段NonMigrationSHA256均一致正式成员齐全副本数与ReplicaMax相等、无学习者迁移来源和目的地均是当前 LeaderMigrateFrom MigrateTo Leader所有配置、源拓扑、完整消息字段、序号连续性和持久化尾部核验仍通过。该证明的 17 个正反用例集中在 internal/usecase/migration/authority_history_test.go缺前序日志、前序命令改动其他字段、命令摘要漂移、前序未完成迁移、前序删除、稳定摘要缺失、编码版本错误、普通索引版本伪装、follower 自指标记、成员不完整、消息冲突、正式副本落后、配置冲突、源变化与待应用命令——任一情况均不产生候选CandidateNode保持零值。另行记录的异常12 个配置解码异常与 Slot 0 边界真实备份核验发现 12 个配置解码异常其构成是每节点 1 条空频道身份配置共 3 条物理行每节点 Slot 0 的日志索引 1637、1638、1654 中各一条空频道身份命令共 9 条物理日志记录。注意这不是 12 个额外的冲突频道也不能用归档或忽略来替代业务兼容核验。这些 Slot 0 日志异常会阻止该 Slot 的候选判定好在本次 71 个标记频道均不属于 Slot 0因此不影响频道分类。源码层面配置日志解码失败会累加ConfigDecodeFailures并把对应 Slot 标记进badSlotsauthority.go随后该 Slot 上的频道被加上config_log_decode_failure_in_owner_slot原因报告版本 2 之后的核验authority-23/24确认这 12 条异常仍在且状态始终为unresolved、退出码 1。真实执行、可复现验证与二进制身份authority-19 → authority-24 的执行轨迹执行报告版本结果关键指标authority-192unresolved退出码 1耗时 81.081 s峰值 RSS 218.1 MiB最少可用磁盘 7.07 GiBauthority-233unresolved退出码 1耗时 87.087 s峰值 RSS 214.21 MiB最少可用磁盘 5.29 GiBauthority-24接入 prepare/归档重建后3unresolved退出码 1完整 JSONL 与 authority-23 逐字节一致共性事实源目录共601 个文件执行前后大小、mtime、inode、模式不变两轮完整文件摘要一致三个现有 v3 容器在结束检查时均健康未创建目标节点数据目录或执行导入对全部 JSONL 验证 SHA256独立重算分类、消息数量、正式副本摘要及缺失区间。版本与摘要身份源格式提交原版 v2a888f89533d0e7d1b2030e06504ca97f1ad891d4即v2.2.5-20260422开发工作树基线f886aab91ea9308bb854a84b6cb9ff02c1fac867含未提交变更实际源码和二进制已单独冻结禁止用基线提交号冒充二进制的完整源码身份authority-19 二进制 SHA2563917bab76cebb514fbd82b16716459c5be8abbcd43c3d884c149d58c2754c3d2最终 JSONL SHA2563b9862cb8a71a5176d97b6066e8e3829c3f0530ba41293ff7dd4ab96a5392236authority-24 最终二进制 SHA2568ef310bac494383e3c87e5db01c37e5dfc3bf20212f6890c3fcbaacea29017dd。单元测试与流程检查直接相关的完整单元测试通过GOWORKoff go test ./internal/access/migratecli ./internal/app/migration \ ./internal/usecase/migration ./internal/infra/migrationv2 \ ./internal/infra/migrationv3 ./cmd/wkmigrate -count1测试覆盖原版 fixture 的配置日志与落库字段对应、正式副本和学习者不同步、同序号冲突、额外尾部、配置矛盾、未应用命令、缺失日志/节点、两轮源变化、学习者中间缺口、领导者转移与同节点正式副本标记的拒绝、CLI 可重复运行、源文件不变及工作空间不能用于 prepare。FLOW 检查 79/79 通过git diff --check通过。历史配置专项新增测试覆盖 18 种历史配置及消息条件并验证摘要只排除 ConfVersion / MigrateFrom / MigrateTo 三个字段——其他时间字段或未知字段的变化都会改变摘要。从诊断到放行prepare 的捕获重建边界authority报告是诊断输出不能作为批准文件。从报告版本 3 起迁移主流程在prepare阶段新增了原始命令捕获接口在同一组源库锁内捕获 Slot 配置命令的原始字节及 Slot/索引/任期节点、原分片数、命令数量和有序摘要进入Capture.Digest命令随source/原始记录完整归档实现见 internal/usecase/migration/authority_capture.go。SelectSources先验证命令完整性对带标记频道从捕获记录重新执行配置和消息历史证明再执行原有 Slot 元数据比较及正式 Channel 副本选择证明绑定在selection.authority_digest中既不读取外部候选报告也不改写原始配置。默认 v2 解码器仍拒绝带标记配置只有本轮完成证明的内部选择路径可以读取其正式副本。旧归档缺少原始命令证据时不能证明带标记状态必须使用新的 prepare 工作目录。补充报告记录的四组合验证原版 fixture 的私有合成副本覆盖补充副本与历史自指 Leader 两类状态各验证三节点来源迁往单节点集群及三节点集群均完成 prepare、完整归档、移走全部源目录后重建、原生 v3 离线安装和独立核验删除命令、改动命令内容、错放命令索引、缺少捕获证据四种情况都在选择业务行之前失败。核验边界与未覆盖范围authority专项核验有明确的边界理解这些边界是正确使用报告的前提不证明历史客户端 ACK原 v2 频道GetState用末条消息序号初始化 AppliedIndexApply不落独立提交位置因此末尾序号不是独立的历史提交证据不覆盖未标记频道、用户/凭据、会话、插件、消息事件投影、协议转换或 v3 恢复验收旧 Stream/StreamMeta 的既有排除范围未扩大本次不删除或转换任何消息迁移标记本身不能证明业务副本存在冲突所有节点无消息也不代表可删除频道元数据100 GiB 源业务数据、停写至完成校验且可切换 ≤4 小时的性能验收尚未执行本机小样本测试不构成吞吐或停机时长承诺。最终状态始终为unresolved、退出码 1、cutover_readyfalse——没有自动放行也没有批准切换。后续工作聚焦于解决空身份数据及重复设备凭据、会话的原版读取语义消息协议/插件兼容、原生冷历史恢复、客户端切换和大规模验收仍是独立的未完成项。证据文件与进一步阅读工作树内证据目录tmp/server-rehearsal-20260907/authority-19/及 authority-23/24 对应目录包含report.json、details.jsonl、channels.csv、missing-ranges.csv、unresolved-channel.json、verification.json、execution.json、manifest.json、candidate.patch、untracked-source.tar.gz、unit-tests.log、flow-check.log、run.py。远端私有目录为/root/wkmigrate-rehearsal-f886aab91-20260906-01/authority-19。建议按以下路径继续深入操作手册docs/superpowers/runbooks/v2-to-v3-migration.md带迁移标记频道的专项核验一节给出完整命令与分类语义CLI 说明cmd/wkcli/internal/migrate/README.md核心判定源码internal/usecase/migration/authority_compare.go、internal/usecase/migration/authority.go配置/命令解码与证据生成internal/infra/migrationv2/authority_evidence.go历史自指标记测试internal/usecase/migration/authority_history_test.go历史配置专项补充报告2026-09-07-v2-migration-authority-history.md历史探针说明与 fixture 校验和internal/infra/migrationv2/testdata/README.mdHistorical configuration authority probes一节。赞分享即时通讯后端【免费下载链接】WuKongIMMore than just IM 不只是即时通讯(IM)项目地址https://gitcode.com/gh_mirrors/wu/WuKongIM点击查看免费下载相关推荐Hugo 模板函数Template Functions完全解析概念、调用语法与源码实现Hugo 模板函数Template Functions完全解析概念、调用语法与源码实现 本指南以 Hugo 官方词汇表中 function 条目为核心即时通讯后端WuKongIM v2 → v3 离线迁移全指南从 wkcli migrate 命令到生产级数据搬迁实践WuKongIM v2 → v3 离线迁移全指南从 wkcli migrate 命令到生产级数据搬迁实践 WuKongIM 的 v2 与 v3 之间不存在在线即时通讯后端WuKongIM v2→v3 迁移后历史分页修复与 Chat Demo 验收实战WuKongIM v2→v3 迁移后历史分页修复与 Chat Demo 验收实战 本文以 WuKongIM 仓库内《迁移后历史分页与 Chat Demo 验收》即时通讯后端上一篇共享的内容存不下来这款免费开源嗅探工具两点击完成资源下载下一篇radix-vue PinInputInput 深度指南从 Props 到源码级交互实现创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 WuKongIM v2→v3 迁移权威来源核验：`wkmigrate authority` 专项审计实践指南
即时通讯后端【免费下载链接】WuKongIMMore than just IM 不只是即时通讯(IM)项目地址https://gitcode.com/gh_mirrors/wu/WuKongIM点击查看免费下载导读本指南围绕 WuKongIM 从原版 v2v2.2.5-20260422离线迁移至全新 v3 集群过程中的带迁移标记频道权威来源核验展开。在真实停机备份上authority专项审计对MigrateFrom/MigrateTo非零的频道逐频道重放配置日志证据与跨副本消息摘要回答迁移标记本身能否证明业务副本一致这一核心问题。读完本文你将掌握wkmigrate authority的完整命令用法、四类频道判定规则、两轮加锁读取与文件摘要核验机制、历史配置版本语义的解读方法以及该审计报告为何不能直接用于放行迁移的边界约束。本文基于 docs/superpowers/reports/2026-09-07-v2-migration-source-authority.md 撰写并以其后续补充报告 2026-09-07-v2-migration-authority-history.md 与操作手册 docs/superpowers/runbooks/v2-to-v3-migration.md 为佐证仓库源码与测试用于印证底层实现。背景为什么需要来源权威专项核验v2 集群的正常停机备份通常不需要逐频道核验来源——prepare阶段已经通过持久化集群配置、Slot 日志及应用位置确定源权威副本。但有一类特殊数据例外ChannelClusterConfig中MigrateFrom/MigrateTo非零的频道以下简称带标记频道。这些频道曾经经历过迁移/扩副本操作其配置副本之间、配置与消息历史之间的语义需要单独解释。原报告基于真实备份的只读核验核验对象是节点 1001/1002/1003、原业务分片数 8、原物理 Slot 数 64 的已停机 v2 备份源位于175.27.245.108的/root/wukongim_v2_bak/wukongim{1,2,3}_data/data。核验全程未执行导入也未修改 v3 存储逻辑属于纯只读诊断。从源码结构看markedChannelConfig见 internal/usecase/migration/authority_capture.go只对ChannelClusterConfig主记录且MigrateFrom、MigrateTo字段中存在非零字节的行打标这就是带标记频道的精确识别口径。classifyMigrationKind见 internal/usecase/migration/authority_compare.go随后将这些标记细分为add_replica补充副本、leader_transfer领导者转移、replace_follower替换跟随者、same_node_formal_marker同节点正式副本标记与unknown五种迁移形态——其中最后两类正是本报告需要单独解释的对象。核心结论71 个带标记频道的逐类归属第一次专项核验报告版本 2authority-19对每节点 71 条带迁移标记的配置做了去重得到71 个去重频道按来源结论分为三类分类频道数实际证据来源结论学习者落后61正式副本 1002、1003 各有 697 条消息逐序号完整字段摘要一致学习者 1001 无这些消息配置中记录的 Leader 可作为候选来源另一正式副本作交叉校验所有节点无消息91001、1002、1003 均无消息正式副本配置与保留的已应用命令一致满足本次消息来源核验规则不代表可删除频道元数据历史配置待解释1三节点各有 1 条完全相同的消息配置副本亦相同保持未解决不自动清标记或改配置版本前 70 个频道均为补充副本形态正式副本为 1002、1003学习者为 1001MigrateFromMigrateTo1001。两个关键事实值得注意迁移标记本身不能证明业务副本存在冲突——带标记只说明这些频道曾走过迁移路径来源结论必须靠配置与消息证据逐频道得出每个频道的候选节点严格使用该频道配置的 Leader而不是整库选择一个节点。这一点在源码中同样成立authority_compare.go通过slot.Leader取base配置副本见 internal/usecase/migration/authority_compare.goc.ReferenceNode base.Config.Leader逐频道确定参考节点。本范围总计覆盖698 个不同的频道消息序号、1397 条跨节点物理主消息。697 条差异全部是学习者 1001 缺少的连续前缀已生成逐频道缺失区间表missing-ranges.csv同时逐条复核了 697 个差异序号上 1002/1003 的摘要相等以及 426 条跨节点配置日志记录。需要特别说明本次没有发现这些频道在相同序号上消息内容冲突也没有用最多消息、最高序号或无条件多数表决来确定来源。此结论仅覆盖带标记频道不能推广至全部业务数据。唯一待解释频道历史自指 Leader 标记的来龙去脉71 个频道中唯一未被首次报告解释的频道是 authority-19 保留的历史配置待解释项owner hash18444569917280199465所属 Slot56Leader1001正式副本1001、1002、1003学习者为空MigrateFromMigrateTo1001指向同一个正式副本不能将其称为通常的领导者转移三份历史均只有序号 1完整字段摘要与持久化尾部一致三份落库ConfVersion均为1732364897806218890最新相关已应用命令位于 Slot 日志索引 305日志原始携带的配置版本也是1732364897806218890。未替换版本前日志配置的全部字段摘要与落库字段完全一致但固定 v2 提交的当前应用代码会把ConfVersion替换成 Slot 日志索引得到 305。因此不能仅按当前写入规则解释这条历史记录也不能把版本改成 305 后宣告完成。后续补充报告 2026-09-07-v2-migration-authority-history.md 给出了该频道的完整历史证据链三节点均保留配置命令 304、305304 无迁移标记305 仅改变MigrateFrom、MigrateTo、ConfVersion三个字段。Leader、任期、完整成员、状态、时间字段及其他落库字段均未改变没有学习者历史提交9b699e31a58fccb09a00fd9d326a78f40bbfcc7e的pkg/cluster/clusterserver/api_cluster.go:channelMigrate允许当前 Leader 作为迁移来源和目的地接口只设置上述三个字段目标已在正式副本中时不添加学习者同提交的pkg/cluster/clusterstore/store_apply.go将命令中的配置直接交给数据库保存保留其 ConfVersion旧副本同步逻辑仅由目标节点的同步请求触发接任普通远端副本无法完成目标为现有 Leader 本人的转移提交aef7ff71cfc80dd268f791f529754b363ad82b9f后来为 cluster2 配置应用加入ConfVersion log.Index因此不能用当前写入规则否定全部历史编码版本真实落库版本1732364897806218890与命令 305 原始携带的版本相同排除迁移三字段后命令 304、305 与落库配置的摘要都为cef0274840d430ae8143b851df252a99c965664897f6b50e5595a4ba3e4e7d8d。这些代码与日志证明当前保留状态符合这条历史路径但不能据此确定当时操作人员或精确请求来源也不证明历史客户端 ACK。报告据此给出推论这与历史写入规则遗留相符属推断而非已验证的成因现有证据不支持将其描述为消息丢失或消息内容冲突。wkmigrate authority命令用法、两轮加锁读取与判定规则命令形态与工作空间隔离authority是wkcli migrate的一个子命令完整命令列表见 cmd/wkcli/internal/migrate/command.go使用独立的工作空间身份:authority-v3报告版本 3 起wkmigrate authority --plan /srv/wkmigrate/plan.json \ --workspace /srv/wkmigrate/authority-workspace /srv/wkmigrate/authority.json要点--plan与--workspace均为必需参数该命令不需要--archive工作空间必须与prepare等其他命令分开——诊断工作空间使用独立身份不能拿来执行 prepare/export/import见 cmd/wkcli/internal/migrate/README.md计划文件格式与迁移主流程共用包含version、source_commit、sources节点 ID、停机数据目录、原业务分片数与target目标集群布局完整示例见 操作手册 的固定迁移计划一节。两轮加锁读取与文件摘要不变性从 internal/usecase/migration/authority.go 的实现可以看到完整的两阶段流程第一轮在源文件锁内读取频道配置ChannelClusterConfig主记录与保留的原始 Slot 配置命令通过ReadAuthorityCommands捕获命令原始字节及 Slot/索引/任期见 internal/infra/migrationv2/authority_evidence.go第二轮再次加锁读取只为限定频道保存消息字段摘要到磁盘排序区逐序号比较工作空间只存摘要而非 payload 副本差异流式写出两轮都必须核对扫描前后文件摘要且两轮文件摘要也必须相同。任一节点两轮DataDigest不一致会以source changed between authority audit passes失败authority.go且失败节点不参与任何判定。报告只记录配置命令的原始版本original_encoded_payload及按当前应用规则解释的版本slot_log_index不回放命令。JSON 摘要列出全局扫描、源文件绑定及频道分类JSONLdetails_file保留全部配置日志证据、不同序号的摘要和每频道结论。报告不输出凭据、原始消息内容或频道名称涉及错误的错误文本也以 SHA-256 形式出现避免泄露内部信息。四类频道判定规则操作手册与源码共同定义了四类频道结论分类逻辑见 internal/usecase/migration/authority_compare.go类别判定条件consistent_formal_replicas配置证据满足核验规则正式副本完全一致迁移形态为补充副本、无标记或已验证的历史自指 Leaderlearner_lag_only满足相同配置证据正式副本一致差异仅为学习者连续前缀落后conflict配置互相矛盾、同序号内容不同或存在不能解释的额外消息insufficient_evidence缺少配置日志、来源节点、连续历史或明确转换依据等一个频道被判为consistent_formal_replicas需要同时满足len(c.Reasons) 0、正式副本完全一致formalEqual且迁移形态属于add_replica/none/historical_self_leader_noop。任何领导者或副本替换需要转换证明的情况如真正的leader_transfer、replace_follower都会被拒绝authority_compare.go。candidate_node只表示满足本规则的消息快照候选来源。它不写入selected/、不生成PREPARED或转换完成标记prepare对迁移标记的现有拒绝条件保持不变。退出码语义退出码 1 仍会输出完成但未解决的报告unresolved扫描失败为incomplete退出码 0 只说明本次限定范围的检查通过。报告版本 3 的版本规则与历史自指证明报告版本 3AuthorityReport.Version 3见 authority.go对每份配置副本输出version_rule严格区分两种版本来源slot_log_index落库版本等于最新已应用命令的日志索引且配置字段摘要一致——对应 cluster2 的现行写入规则original_encoded_payload命令原始携带的编码版本与落库版本完全一致——对应 2024 年 clusterstore 的旧写入规则。originalConfigVersionRuleauthority_compare.go要求所有原字段精确匹配不用时间戳大小猜测版本。historical_self_leader_noop仅在每个所属 Slot 正式副本均满足以下条件时成立provesHistoricalSelfLeaderMarkerauthority_compare.go最新已应用命令原始配置与落库完整字段一致且没有待应用的配置变化UnappliedChanges 0保留的前一条相关命令无迁移标记三副本的前后命令摘要CommandSHA256一致除迁移来源、目的地和版本外其他原始字段NonMigrationSHA256均一致正式成员齐全副本数与ReplicaMax相等、无学习者迁移来源和目的地均是当前 LeaderMigrateFrom MigrateTo Leader所有配置、源拓扑、完整消息字段、序号连续性和持久化尾部核验仍通过。该证明的 17 个正反用例集中在 internal/usecase/migration/authority_history_test.go缺前序日志、前序命令改动其他字段、命令摘要漂移、前序未完成迁移、前序删除、稳定摘要缺失、编码版本错误、普通索引版本伪装、follower 自指标记、成员不完整、消息冲突、正式副本落后、配置冲突、源变化与待应用命令——任一情况均不产生候选CandidateNode保持零值。另行记录的异常12 个配置解码异常与 Slot 0 边界真实备份核验发现 12 个配置解码异常其构成是每节点 1 条空频道身份配置共 3 条物理行每节点 Slot 0 的日志索引 1637、1638、1654 中各一条空频道身份命令共 9 条物理日志记录。注意这不是 12 个额外的冲突频道也不能用归档或忽略来替代业务兼容核验。这些 Slot 0 日志异常会阻止该 Slot 的候选判定好在本次 71 个标记频道均不属于 Slot 0因此不影响频道分类。源码层面配置日志解码失败会累加ConfigDecodeFailures并把对应 Slot 标记进badSlotsauthority.go随后该 Slot 上的频道被加上config_log_decode_failure_in_owner_slot原因报告版本 2 之后的核验authority-23/24确认这 12 条异常仍在且状态始终为unresolved、退出码 1。真实执行、可复现验证与二进制身份authority-19 → authority-24 的执行轨迹执行报告版本结果关键指标authority-192unresolved退出码 1耗时 81.081 s峰值 RSS 218.1 MiB最少可用磁盘 7.07 GiBauthority-233unresolved退出码 1耗时 87.087 s峰值 RSS 214.21 MiB最少可用磁盘 5.29 GiBauthority-24接入 prepare/归档重建后3unresolved退出码 1完整 JSONL 与 authority-23 逐字节一致共性事实源目录共601 个文件执行前后大小、mtime、inode、模式不变两轮完整文件摘要一致三个现有 v3 容器在结束检查时均健康未创建目标节点数据目录或执行导入对全部 JSONL 验证 SHA256独立重算分类、消息数量、正式副本摘要及缺失区间。版本与摘要身份源格式提交原版 v2a888f89533d0e7d1b2030e06504ca97f1ad891d4即v2.2.5-20260422开发工作树基线f886aab91ea9308bb854a84b6cb9ff02c1fac867含未提交变更实际源码和二进制已单独冻结禁止用基线提交号冒充二进制的完整源码身份authority-19 二进制 SHA2563917bab76cebb514fbd82b16716459c5be8abbcd43c3d884c149d58c2754c3d2最终 JSONL SHA2563b9862cb8a71a5176d97b6066e8e3829c3f0530ba41293ff7dd4ab96a5392236authority-24 最终二进制 SHA2568ef310bac494383e3c87e5db01c37e5dfc3bf20212f6890c3fcbaacea29017dd。单元测试与流程检查直接相关的完整单元测试通过GOWORKoff go test ./internal/access/migratecli ./internal/app/migration \ ./internal/usecase/migration ./internal/infra/migrationv2 \ ./internal/infra/migrationv3 ./cmd/wkmigrate -count1测试覆盖原版 fixture 的配置日志与落库字段对应、正式副本和学习者不同步、同序号冲突、额外尾部、配置矛盾、未应用命令、缺失日志/节点、两轮源变化、学习者中间缺口、领导者转移与同节点正式副本标记的拒绝、CLI 可重复运行、源文件不变及工作空间不能用于 prepare。FLOW 检查 79/79 通过git diff --check通过。历史配置专项新增测试覆盖 18 种历史配置及消息条件并验证摘要只排除 ConfVersion / MigrateFrom / MigrateTo 三个字段——其他时间字段或未知字段的变化都会改变摘要。从诊断到放行prepare 的捕获重建边界authority报告是诊断输出不能作为批准文件。从报告版本 3 起迁移主流程在prepare阶段新增了原始命令捕获接口在同一组源库锁内捕获 Slot 配置命令的原始字节及 Slot/索引/任期节点、原分片数、命令数量和有序摘要进入Capture.Digest命令随source/原始记录完整归档实现见 internal/usecase/migration/authority_capture.go。SelectSources先验证命令完整性对带标记频道从捕获记录重新执行配置和消息历史证明再执行原有 Slot 元数据比较及正式 Channel 副本选择证明绑定在selection.authority_digest中既不读取外部候选报告也不改写原始配置。默认 v2 解码器仍拒绝带标记配置只有本轮完成证明的内部选择路径可以读取其正式副本。旧归档缺少原始命令证据时不能证明带标记状态必须使用新的 prepare 工作目录。补充报告记录的四组合验证原版 fixture 的私有合成副本覆盖补充副本与历史自指 Leader 两类状态各验证三节点来源迁往单节点集群及三节点集群均完成 prepare、完整归档、移走全部源目录后重建、原生 v3 离线安装和独立核验删除命令、改动命令内容、错放命令索引、缺少捕获证据四种情况都在选择业务行之前失败。核验边界与未覆盖范围authority专项核验有明确的边界理解这些边界是正确使用报告的前提不证明历史客户端 ACK原 v2 频道GetState用末条消息序号初始化 AppliedIndexApply不落独立提交位置因此末尾序号不是独立的历史提交证据不覆盖未标记频道、用户/凭据、会话、插件、消息事件投影、协议转换或 v3 恢复验收旧 Stream/StreamMeta 的既有排除范围未扩大本次不删除或转换任何消息迁移标记本身不能证明业务副本存在冲突所有节点无消息也不代表可删除频道元数据100 GiB 源业务数据、停写至完成校验且可切换 ≤4 小时的性能验收尚未执行本机小样本测试不构成吞吐或停机时长承诺。最终状态始终为unresolved、退出码 1、cutover_readyfalse——没有自动放行也没有批准切换。后续工作聚焦于解决空身份数据及重复设备凭据、会话的原版读取语义消息协议/插件兼容、原生冷历史恢复、客户端切换和大规模验收仍是独立的未完成项。证据文件与进一步阅读工作树内证据目录tmp/server-rehearsal-20260907/authority-19/及 authority-23/24 对应目录包含report.json、details.jsonl、channels.csv、missing-ranges.csv、unresolved-channel.json、verification.json、execution.json、manifest.json、candidate.patch、untracked-source.tar.gz、unit-tests.log、flow-check.log、run.py。远端私有目录为/root/wkmigrate-rehearsal-f886aab91-20260906-01/authority-19。建议按以下路径继续深入操作手册docs/superpowers/runbooks/v2-to-v3-migration.md带迁移标记频道的专项核验一节给出完整命令与分类语义CLI 说明cmd/wkcli/internal/migrate/README.md核心判定源码internal/usecase/migration/authority_compare.go、internal/usecase/migration/authority.go配置/命令解码与证据生成internal/infra/migrationv2/authority_evidence.go历史自指标记测试internal/usecase/migration/authority_history_test.go历史配置专项补充报告2026-09-07-v2-migration-authority-history.md历史探针说明与 fixture 校验和internal/infra/migrationv2/testdata/README.mdHistorical configuration authority probes一节。赞分享即时通讯后端【免费下载链接】WuKongIMMore than just IM 不只是即时通讯(IM)项目地址https://gitcode.com/gh_mirrors/wu/WuKongIM点击查看免费下载相关推荐Hugo 模板函数Template Functions完全解析概念、调用语法与源码实现Hugo 模板函数Template Functions完全解析概念、调用语法与源码实现 本指南以 Hugo 官方词汇表中 function 条目为核心即时通讯后端WuKongIM v2 → v3 离线迁移全指南从 wkcli migrate 命令到生产级数据搬迁实践WuKongIM v2 → v3 离线迁移全指南从 wkcli migrate 命令到生产级数据搬迁实践 WuKongIM 的 v2 与 v3 之间不存在在线即时通讯后端WuKongIM v2→v3 迁移后历史分页修复与 Chat Demo 验收实战WuKongIM v2→v3 迁移后历史分页修复与 Chat Demo 验收实战 本文以 WuKongIM 仓库内《迁移后历史分页与 Chat Demo 验收》即时通讯后端上一篇共享的内容存不下来这款免费开源嗅探工具两点击完成资源下载下一篇radix-vue PinInputInput 深度指南从 Props 到源码级交互实现创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考