Repository navigation
跟踪：Linux 与用户态 SparkLink 全部 issues 的联合实施和验收 #8
Description
当前范围与分类
长期跟踪，保持 OPEN。 跟踪：Linux 与用户态 SparkLink 全部 issues 的联合实施和验收。
已实现与已决策
本项只作联合范围与依赖索引；唯一架构、实施计划、资格记录与 goal 关联状态已有固定入口。现有源码已覆盖多批 Native、通道、SDK 和 SSAP 路径，不能再把早期未接通描述当当前事实。
源码入口：project/implementation-plan.md · project/current-capabilities.md · project/goal-execution-state.json。源码接通、离线检查和准确产物资格分别记录，不将文件存在或旧 PASS 当作当前整体资格。
剩余条件与依赖
完整 S0–S6、19WP、10FV、12DG 及原验收全部保留；按每个生产行为的小项独立收尾/关闭，父跟踪只维护范围映射。自然故障根因、非人工恢复、剩余数据/安全/SSAP/Profile、部署/发布继续开放；UserHost 低优先级且非当前前置。
只按本项自身验收判断关闭，不等待无关综合议题。接口、锁、权限、取消、原期限、有限预算、清理与真实完成语义仍须随实际改动验收。
当前计划与历史入口
旧固定厂商 Proxy 方向以 ADR0003 的可选独占 UserHost 为准，仍为低优先级且不是 Native 主线前置。UAPI 未发布，调用者迁移后删除旧接口，无长期兼容期，旧编号不复用。
本正文替代累计历史进展；原正文已完整保存本地维护快照，现有评论、原始提交、失败和反例保留原身份。公开 GitHub 仅维护获授权的源码／离线摘要；具体编译产物、实机结果和材料在有权限的本地证据索引核对，不在此重新发布。完整 S0–S6、19WP、10FV、12DG 和 VM-only 不变；自然故障根因、非人工恢复及其他未完成任务继续开放。
当前任务处置索引
已核对现有35项：2项按自身原条件关闭、18项有限收尾、3个已拆分父项、12项长期跟踪。完整逐项依据维护在唯一计划的处理表和版本化处置记录，本父项不复制逐轮日志或第二套状态矩阵。
| 项目 | 当前处置与分界 |
|---|---|
| U#1 | 按原六条事件循环条件关闭；Native retry 取消等待已修复并完成其范围审计，不再列为当前缺口。关闭不授予当前 HEAD 整体资格，其他业务失败保留。 |
| U#21 | READ SDK Provider 按原六项条件关闭；不代表完整 SSAP 或父项 U#3 完成。 |
| U#3 | 父项开放；U#21 负责 READ SDK，U#22 负责剩余 SSAP 操作/长值/更新事务，U#23 负责真实 Profile。 |
| K#17 | 父项开放；K#21 负责 credit/Ticket/撤权/复用组合，K#22 负责通道压力/公平性/多设备业务；原四条验收保留。 |
| K#19 | 父项开放；K#23 负责资格证据/判定器闭包，K#24 负责生产 fuzz/调试 VM；原五条验收保留。 |
| U#10 | 保留原发现/拔插条件及追加的自然根因和非人工恢复要求；不等待无关完整安全、SSAP 或发布，也不迁走恢复条件以制造关闭。 |
七个既有子项的原生父子关系保留，没有重复创建。各项只按自身完整条件关闭，原提交、失败和反例保持原身份；旧28项处理表和正文留在授权本地维护历史。此次维护已经收尾，继续原数据面、安全及 SSAP 主线；不成为控制面竞争全集或新的长期前置。完整 goal 保持 active。
Activity
fix(sparklink): isolate event receiver and blocking daemon work
docs(sparklink): record joint implementation and host reference bound…
sanchuanhehe commentedon Oct 9, 2026
WS73 发现方言准备（2026-10-10，部分成果）
已签名推送 cef9dc445968，纳入现有 Draft PR #20。北极星记录 与完整 S0–S6 已同步。
原生命令校验改由被引用保留的 driver ops 提供，core 在分配 pending/credit 前及传输前调用；WS73 Runtime 仍只接受四项元数据查询。raw DLI ioctl 的参数声明超过 240 字节现返回 EINVAL，消除原先静默截短。合成原生 gate 实际验证了校验错误、超长声明和正确编码但尚未开放的扫描命令均不改变 pending/credit。
新增独立生产
discovery.c/h，核对 libws73-usb@f4d85d0、完整 Host@f0872df 与 T/XS 10003-2025 8.2/8.3/9.1.19 的协议事实，不复制参考源码。明确 WS73 三字节完整数据头、49 字节参数框架、五字节广播使能、八字节单帧类型扫描参数、两字节扫描使能及厂商 0x180b 事件。多帧类型不静默选择第一个；查询回复共享格式仍未在本机独立实测。参数框架仅检查长度，完整 builder/能力确认待实现。发现报告 decoder 要求 23 字节头加精确声明数据（最大 278 字节参数），保留地址类型、定向地址、PHY、未解释 vendor byte 与有符号 RSSI；拒绝短包/尾随字节，不改失败输出、不截短。它尚未接入 Runtime RX 或用户事件 ABI；现有 slot 上限和旧缓冲不足以表示全部报告，完整事务/通路接齐前，原生发现命令继续 EOPNOTSUPP，设备只处于 SETUP。
冻结 image #43 无警告构建；三个独立 gate（生产 WS73 合成双实例查询/拔插、畸形 HCC 单实例隔离、标准 Runtime 生命周期）均 PASS，完整标准三控制器原 96 case / 0 FAIL / 0 SKIP strict PASS。旧 air-medium 的四条 WARN 与断言不足继续保留，不用它证明跨设备连接/数据或 RF。纯内存生产 codec 38,293 项、DLI 3,097 项、BSLE 3,198 项、codec ASan/UBSan/LSan 与 80 项 Python harness 均 PASS。16 个冻结源码 hash 与提交一致，三 gate 前后输入/源码未变。
证据：
.dev/ws73-discovery-profile-evidence.json、ws73-discovery-profile-source-snapshot/、ws73-discovery-profile/v2/、qemu-ws73-discovery-profile/、runtime-lifecycle-discovery-profile-{native,native-fault,standard}/manifest.json。首次测试编译的比较类型警告和 sandbox ptrace 导致 LSan 启动失败保留；修正比较类型及同一 sanitizer binary 在 sandbox 外通过。最新只读清点仍 WS73=[]，没有真实查询/Ready/广播扫描/空口/slkd/slctl、普通用户或 20 轮交换/拔插结果。第一北极星七项全部未验收，原 issues 全部保持开放，完整 S0–S6 不收缩。下一步继续完整广播参数与 SetParam → SetData → Enable 异步事务，再接完整发现事件及动态 adapter/slctl；硬件/板级资格核验仍待设备恢复。
sanchuanhehe commentedon Oct 9, 2026
完整原生事件通路（2026-10-10，部分成果）
已签名推送内核 ece59f703711，继续纳入 Draft PR #20；用户态 af265a7 同步 ABI、报告 view、独立同步 cursor/async receiver 和完整方案记录。
WS73 driver 校验 0x180b 报告后直接复制完整参数进每注册 32 条预分配 IRQ-safe 日志，完整保留 23 字节厂商头和最多 255 字节数据，不再套用管理 slot 的 260 字节限制。无 per-report 分配/借用指针遗留；管理回复仍走 Host 保留槽。新 version 1 CONTROLLER_EVENT_GET（0x87）是 360 字节 query / 336 字节 record，保留 index/generation/profile/code/boottime/独立 seq/完整 payload。C/Rust 布局一致，i386 C 断言也通过。
读者各自提供游标，不竞争出队；覆盖 loss 显式计数，输出尾部/flags/reserved 清零。错误版本/flags、未来游标、错代注册拒绝；copyout EFAULT 不确认记录。GET 含 EAGAIN 将该 fd poll 切到每设备原生流，RX 直接唤醒；移除后旧 fd HUP/ENODEV，重选清订阅、复用 index 不会重定向旧绑定。GET 只读，不触发 radio power 同步。旧事件结构不改。
库提供 Adapter::poll_controller_event、into_controller_event_receiver 和严格 ws73_discovery 借用 view，不发明 discovery level 或地址类型，保留 PHY、未知 vendor byte 与报告数据状态。新 async receiver 独立持有 fd，用内核 poll，不用旧 destructive/truncated fallback。尚未接 slkd 动态 adapter/slctl，日志目前只接已校验 WS73 discovery，不宣称完整 snoop/统一全部事件/重组/数据通路。
最终 image #45 无警告构建；四 gate（完整原生事件、原生 metadata Host、畸形 HCC 单实例撤销、标准生命周期）均 PASS，源码与输入前后未变，15 个冻结源码 hash 与提交匹配。事件 gate 两设备各注入40条最大报告：保留seq9..40、lost8、每条payload278，双独立fd内容相同，copyout重试/poll/错代/未来游标/旧HUP/新代序号通过。fixture 没有 RF/真实扫描，这只是生产 USB/HCC/driver/UAPI 支撑证据。
完整标准三控制器原96 case/0 FAIL/0 SKIP strict PASS，本轮3条旧air-medium WARN及弱断言保留，不认定跨设备连接/数据成功。#44中间full gate曾有5条WARN，包含旧data-loopback在断开未完成时读到EPIPE；现在等真实移除，错误结果为FAIL，native verifier也要求完整kernel log和早期记录。91项Python harness、137项用户态workspace、fmt及改动slk-protocol/libsparklink strict clippy PASS。全workspace strict clippy仍因未改动slkd的未使用项FAIL。
最终证据
.dev/native-event-stream-final-evidence.json、native-event-stream-final-source-snapshot/、qemu-native-event-stream-final/、runtime-lifecycle-native-event-final-{events,native,native-fault,standard}/manifest.json。初次内核编译、static libc路径、sandbox socketpair和缺失D-Bus daemon PATH的失败与#44中间记录均保留，修复构建/测试环境后通过；局部getter 0x448 frame不作整个调用链证明。最新主机级清点仍 WS73=[]；Runtime仍metadata-only SETUP，发现命令仍EOPNOTSUPP。没有真实Ready/广播扫描/20轮交换/拔插、空口或普通用户slctl验收。七项北极星与所有原issues保持开放，完整S0–S6不收缩。下一步完整广播参数与SetParam→SetData→Enable、扫描参数/使能的异步事务，再接动态adapter/slctl和真实双设备验收。
sanchuanhehe commentedon Oct 9, 2026
完整 WS73 参数编码与驱动回复规则（2026-10-10，部分成果）
已签名推送内核 b7b7708ffaa8 与用户态方案记录 b685a43，继续现有 Draft PR #20。完整 S0–S6 和原验收保留。
补齐生产 49 字节广播参数 encoder：全部数字字段先检查宽度，两个 24 位周期、两类地址/原始地址、功率、帧/PHY、请求通知/数量及七个 16 位持续时间/连接字段显式编码。零功率不替换成默认值，字节 33/34 不由角色推导厂商默认，地址类型不映射为标准枚举。序列化不等于能力或板级校准验证。毫秒转 125μs slots 拒绝溢出（扫描最大整毫秒 8191、广播 2097151），不静默截短。
成功 Complete 返回长度规则归 WS73 driver，在 native Host ingress 前验证；generic core 不再持有厂商 opcode 表。0C02 成功必须带一字节实际 TX power；0C03/04/05、1001/02 无额外返回数据，metadata 原精确长度保持。Status 接受不终结事务，失败 status 和 opaque data 保留，未知返回格式不增加命令支持。WS73 数据头仍三字节，标准完整 Host 的 selection 字节不能直接混入。测试 marker 只是 opaque bytes，不据此认定已完成内/外层公开信息封装。
冻结 image #47 无警告构建；六独立 gate PASS：metadata Host、畸形 HCC 隔离、完整事件、标准生命周期，加上有效 HCC/DLI 中短/多一字节成功地址 Complete 的两条负例。新负例均验证 EPROTO 只撤销出错实例，另一实例完成18次查询及后续地址查询，替换设备得到新 generation。完整标准三控制器原96 case/0 FAIL/0 SKIP strict PASS（1056 OK / 3 WARN）；旧 air-medium 警告及弱跨设备数据断言保留，不用来证明 RF。生产 codec 47,568 项、DLI 110,654 项、91 项 harness、ASan/UBSan/LSan PASS。最初 sandbox LSan 因 ptrace 限制失败的日志保留，主机 rerun 通过；本轮用户态代码未变未重跑 workspace，既有 slkd strict-clippy 未使用项仍未解决。
证据
.dev/ws73-params-final-evidence.json、ws73-params-source-snapshot/、ws73-params-full-qemu/、ws73-params-gate-*/manifest.json。12个冻结源码 hash 与提交相符，六 gate 前后输入/源码未变。参考 pin libws73-usb@f4d85d0、完整 Host@f0872df，仅独立实现协议事实，没有复制参考代码或固件/校准数据。仍未启用原生发现事务：Runtime metadata-only SETUP，广播/扫描命令仍拒绝；本机清点 WS73=[]，无真实 Ready/空口/20轮交换/拔插或普通用户 slctl 验收。七项北极星和全部原 issues 保持开放。下一步逐步匹配 Complete 的 SetParam → SetData（按需 ScanRsp）→ Enable、ScanParam → Enable，处理失败/超时/取消/新旧intent，再接动态 adapter/slctl 和真实两只设备闭环；随后四设备两组并行。
sanchuanhehe commentedon Oct 9, 2026
每设备 Host 分步事务基础（2026-10-10，部分成果）
已签名推送内核 fee81e705a03 与方案文档 b79864fae79c，继续 Draft PR #20，未合入 master。完整 S0–S6 和原验收保留。
每设备 Host 现有界分步事务、原子整组入队和整组 5 秒期限，逐步等待匹配 Complete；成功 Status 只表示受理，不释放在途槽位。失败取消后续步骤；新 start 保留旧 stop 屏障，只有当前 intent 完成才确认状态。队列仍直接在堆上初始化，无生产路径约 20KB 队列临时值。标准 USB typed 广播/扫描控制已接单步骤事务；多步骤进度和取消由直接包含生产模块的测试验证，尚无原生 WS73 多步骤在途证据。
冻结 image #50 无警告构建：14 项生产 Rust 队列/进度测试、100 项 harness 与七条独立 QEMU gate PASS（标准 recipe、标准生命周期、原生 metadata、HCC fault、短/长成功回复、完整事件）。recipe fixture 在 Status 后延迟 Complete，断言期间不得收到下一命令；相同 fixture/测试程序对旧 image #47 因提前发送命令触发断言而预期失败，完整负对照日志保留。完整标准三控制器原96 case/0 FAIL/0 SKIP strict PASS，1056 OK / 3 条旧 WARN；旧 air-medium 警告及跨设备数据弱断言保留，不证明真实 RF。
证据
.dev/host-recipe-final-evidence.json、host-recipe-source-snapshot/、host-recipe-final-full-qemu/、host-recipe-final-gate-*/manifest.json、host-recipe-negative-verdict.json；14 个冻结源码 hash 与提交相符，七 gate 输入/源码前后未变。初次静态链接缺少 libc 路径、中间 #48/#49 和预期旧内核负例失败均保留；修正环境后最终通过。QEMU 原有 unused helper 警告保留。选定局部栈帧最大312字节，不作为完整调用链证明。用户态仅文档变更未重跑 workspace，既有 slkd 全 workspace strict-clippy 未使用项失败仍保留。未启用原生 RF：WS73 Runtime 仍 metadata-only SETUP，发现命令仍拒绝；driver-owned typed 参数准备/发送校验、完整原生 SetParam → SetData（按需 ScanRsp）→ Enable、ScanParam → Enable、公开 operation cookie/result、停止失败状态与故障恢复仍待接。随后完成动态 adapter/slctl 和真实双设备验收，再扩展四设备两组。主机清点 WS73=[]，七项真实 Ready、随机标识/地址/RSSI、10秒、20轮交换、拔插/同一slkd、普通用户和空口证据均未验收，不关闭整项 issue，完整方案不收缩。
sanchuanhehe commentedon Oct 9, 2026
驱动拥有完整发现事务准备与发送边界（2026-10-10，部分成果）
已签名推送内核 edd8cf016f1d 与方案记录 ac809219ce3f，继续 Draft PR #20，未合入 master。完整 S0–S6 与全部原验收保留。
内部 typed 准备接口由驱动持有方言/布局。WS73 准备完整 SetParam → SetData →（显式可选 ScanRsp）→ Enable、ScanParam → Enable 或独立 stop。用一个255字节 scratch 先预检整组再写调用者 plan；晚步骤错误不改变任何输出，未使用字节/步骤清零。参数均来自显式 caller，不插入角色、功率、地址或板级默认；输入须不可变且与输出不重叠，callback 不进行 I/O/保留借用指针。接口为内核内部接口，非公开 UAPI。
TX worker 将 Host 私有 recipe tag 经 Backend 交给原生 driver，transfer 前按操作/步骤位置/数量/schema/enable方向再校验。可选 prepare/validate 回调成对注册，缺少支持拒绝；raw DLI 保持原 metadata 白名单。合法 RF 帧或准备成功都不授予 raw 权限，不加入 generic Host 厂商 opcode 表，也不证明能力、板级校准、Ready 或 RF。
冻结 image #51 无警告构建；生产 compiler/codec 450,104 次检查、ASan/UBSan/LSan、100 项 harness 和七独立 QEMU 支持 gate PASS。测试覆盖全部0..251数据长度、显式空/完整 response、原始参数保留、整组错误原子性、无关输入拒绝、步骤位置/数量、全部256 enable值；每个合法 RF 步骤同时验证 raw 拒绝。完整标准三控制器原96 case/0 FAIL/0 SKIP strict PASS，1057 OK / 3旧WARN，air-medium/跨设备数据弱断言边界保留。七 gate 没有执行新的原生多步骤 RF 事务。选定 build 局部栈分配272字节，不宣称完整调用链安全。用户态代码未改，不重复 workspace；既有 slkd strict-clippy 未使用项失败保留。
证据
.dev/typed-discovery-final-evidence.json、typed-discovery-source-snapshot/、typed-discovery-full-qemu/、typed-discovery-final-gate-*/manifest.json；13冻结源码 hash 与提交一致，七 gate 源码/输入前后不变。最初 standalone 全局 kernel include 路径污染 libc header，改为受限访问内部公共 header 后通过；首次 QEMU 因 sandbox QMP socket bind EPERM 在来宾启动前失败，确认终止后在新目录使用主机权限通过。失败/中间辅助脚本断言与最终日志保留。尚未接核心原生提交：prepare callback/完整 compiler 和 typed transfer 校验 plumbing 已实现，核心 API 尚未调用准备或排入 native recipe。下一步接版本化 typed 操作 submit、cookie/result、原生参数能力策略及停止失败/故障恢复，再接动态 adapter/slctl、真实两只设备闭环和四设备两组。主机清点 WS73=[]，Runtime metadata-only SETUP，RF仍拒绝。七项真实验收均未完成，不关闭整项 issue，不收缩完整 S0–S6。
sanchuanhehe commentedon Oct 9, 2026
已签名推送内核 6b927a4d07f4 与用户态 cc9d4684ab80，继续 Draft PR #20，未合入 master。
原生 typed 操作提交与结果（2026-10-10，部分成果）
内核 6b927a4d07f4 接通版本化
DISCOVERY_SUBMIT/RESULT（704/64字节，32/64位ABI一致）。显式选择fd，probe获取
profile/generation，再使用非零调用者request_id提交完整参数/数据。write-only
提交不在admission后copyout；结果独立重复读，64条保留，非终态不淘汰，最旧
终态可淘汰ENOENT。duplicate保留id返回EEXIST，wrong generation/旧fd不跟随重插。
核心现在实际调用driver prepare，将完整原生recipe排入同一owner Host，经TX
worker发送USB/HCC/DLI；不扩大raw metadata白名单。结果保留成功/失败步骤、
原始status、负host errno、取消和driver标注步骤的实际TX power（不取请求功率）。
两radio domain初始Unknown，先等两个stop完成再start；成功Status不终结操作，
stop提交不宣称Off，失败stop保留先前确认状态。取消在途enable成功后标为Unknown，
physical stop完成才Off；timeout锁存单owner故障并将radio标Unknown，不发后续使能。
这些字段是确认的命令状态，不代表PHY实时活动；自主终止事件仍待接。
用户态同步ABI、ioctl、Adapter probe/submit/non-destructive query/async wait，
deadline溢出返回错误且不执行ioctl；尚未接动态slkd adapter与slctl命令。冻结image
#55无警告构建；8独立QEMU gate PASS，包括实际虚拟WS73 USB完整typed事务：
3/4步广播、扫描、每步骤0xfd失败、stop失败重试、取消、selected power=-42、
结果EFAULT重试、独立request_id、timeout故障隔离及重插新generation/结果状态。
每owner五个控制循环为合成支持测试，绝不是20轮真实角色交换或空口证据。
模型检查参数、数据、地址与次序，延迟Complete并断言未提前发下一命令；reserved
模式显式触发合成故障，禁止用于真实设备。另7条原支持gate保持通过。
完整原96-case标准三控制器回归strict PASS，1056 OK/0 FAIL/0 SKIP/3旧WARN；
旧air-medium/跨设备数据弱断言保持。14项生产Host、7项生产result-store、450105
次codec检查与ASan/UBSan/LSan、110项harness、32/64位C ABI、139项workspace
和改动crates strict clippy PASS。此前全workspace slkd strict-clippy未使用项仍未解决。
证据
.dev/discovery-submit-final-evidence.json、discovery-submit-source-snapshot/、discovery-submit-full-qemu/、discovery-submit-v3-gate-*/manifest.json；19冻结内核源码hash与提交一致、8 gate输入/源码前后不变。初次sandbox socket EPERM、CLI
条件tuple错误、guest缩进-Werror以及未绑定fd错返ENODEV的#54失败全部保留；
修正后#55通过。#52/53/54是中间镜像，不作最终证据。选定submit/result/prepare
局部栈分配1416/104/88字节，不宣称完整调用链安全。
本机WS73=[]。Native仍SETUP；新typed接口可实验执行完整命令，legacy bare-enable
与raw RF仍拒绝。真正Ready/能力和板级校准策略、自主终止、动态adapter/slctl、
AD内外层封装、普通用户与全部七项真实验收待完成。下一步处理原生Ready/故障
可见性并把新接口与完整发现事件接入动态adapter/slctl，再做真实双设备闭环和
四设备两组；全部原issues和完整S0–S6保持开放，不能以virtual事务提前关闭整项。
sanchuanhehe commentedon Oct 10, 2026
Per-controller Ready 与动态 slkd/slctl（部分成果，2026-10-10）
已签名并推送内核 772a1b97f17e 与用户态 42a2139912ed。
CONTROLLER_SNAPSHOT：完整实际原生查询的五字节版本、80-bit features、地址、buffer capacities、当前 Host credits。Legacy projection 有单独 validity，不能冒称完整原生元数据。/org/sparklink/slk<ID>_g<GENERATION>。拔插移除/重建该代次的对象，不重启守护进程。Ready/fault/loss 属性会使 D-Bus 缓存失效。Native 不误注册旧 SSAP profiles。slctl list、select slk1_g2、show、reports与slctl --adapter <live-path> show|reports已接动态路径。旧代次不能自动跟随编号复用。原生报告保留完整 23-byte header、数据、地址、RSSI、sequence/generation、接收时间与显式 loss；最多 128 条历史，不冒充持久化 USB capture 或标准 SSAP/name 解码。验证：冻结 image #58，实际 slkd/slctl 以 guest uid 1000 在 synthetic WS73 上独立 Ready；拔出一只保留另一只的身份/可用性；旧选择被拒绝；重插是新 generation、同一 slkd PID；可复现
run_daemon_lifecycle.py保存源码/镜像/程序 hash、QMP 与完整 kernel log。8 项原生/标准回归 gate 全 PASS；原 96-case strict QEMU 1054 OK / 0 FAIL / 3 原有 WARN；8 个生产 Operations 测试、122 harness 测试、C32/C64 ABI、142 workspace 测试 PASS；libsparklink/slk-protocol/slctl strict clippy PASS。snapshot 局部栈帧 168 bytes，非完整调用链证明。slkd strict clippy 的原有 unused code/旧 test helper 告警仍是 FAIL，没有将其计作 PASS。尚未完成：主机本轮 WS73 inventory 仍为
[]；上述全部 USB/RF 输入是模型，不能勾选任何真实北极星验收。经过核对的原生广播/扫描策略与 D-Bus/slctl 控制、真实双设备随机标识/10 秒/连续 20 轮/阴性对照/固件校准来源证据仍待完成；nativescan on|off和 SSAP 后端明确未支持。随后四设备两组并行与完整 S0–S6 保留，所有原 issue 保持 OPEN；不以部分成果提前关闭整项 issue。下一步继续原生 radio policy 与 typed 用户态操作路径。sanchuanhehe commentedon Oct 10, 2026
原生 slctl 广播/扫描软件闭环已提交推送（2026-10-10，部分成果）：
run_daemon_lifecycle.py --radio-policy运行实际guest uid1000 slkd/slctl，经明确的synthetic USB/HCC/DLI跨设备介质完成20轮角色交换；同slkd PID拔插、新代次后再交换2轮；两个阶段分别TX-off观察2秒无新报告。22个新标识、88项完成结果、正确TX地址/RX代次/递增序号/内核时间/完整43字节数据均验证；本轮最长匹配69ms。模型不自我echo且只允许不同live设备同group互报，绝不是RF证据。.dev/radio-control-final-evidence.json、radio-control-source-snapshot/、radio-control-daemon-final-v2/manifest.json、radio-control-frozen-gate-*/manifest.json与radio-control-full-qemu/，包含source/image/program hash、QMP、完整kernel log及失败记录。一轮运行期间清理脚本空白被immutability guard拒绝，保留FAIL并冻结后重跑8gate全部PASS。本机当前WS73 inventory=[]。真实固件/板级配置、两只真实独立Ready、20轮真实空口交换、主机普通用户权限/拔插和原始接收USB/HCC/DLI+TX-off证据尚未验收。七项真实北极星全部保持未勾选；随后四设备两组并行、完整S0–S6和原issue全部条件保持。Native SSAP/profile/安全/vendor/PM等仍待完成，不以软件闭环提前关闭整项。
sanchuanhehe commentedon Oct 10, 2026
新增真实双设备验收工具（2026-10-10，部分成果，未运行实机）：
Linux 7a6185d827f9；用户态 616e79773628，均签名推送。
slctl daemon通过D-Bus返回真正的service unique owner/PID/UID；生命周期门禁核对guest uid1000的实际slkd PID，并要求拔插后仍是同一owner。tools/ws73_north_star.py run以普通用户运行：明确两个物理USB端口，核对原生驱动绑定/sysfs queried metadata与slctl Ready；连续20轮随机标识/角色交换、人工只拔一只时survivor扫描控制/旧选择拒绝、同PID/start_ticks/bus owner重插新代次后单列2轮及两阶段TX-off。控制完成仅记CONTROL_PASS_EVIDENCE_PENDING，失败和清理停止错误保留，不重启daemon、不用重跑补齐计数。拒绝root、setid及effective/permitted/ambient/file capability。验证：36项工具测试（明确合成fixture）、12000次与未改动生产C聚合解码器一致性、137harness、145workspace与protocol/library/slctl strict clippy PASS；实际uid1000 slkd/slctl合成USB20+重插2轮/TX-off/总线identity门禁PASS、输入/源码前后不变。原96-case完整QEMU strict PASS，1057 OK/0 FAIL/0 SKIP/3旧WARN；旧daemon strict-clippy问题继续保留。证据本地
.dev/physical-evidence-final-evidence.json、physical-evidence-source-snapshot/、physical-evidence-daemon-gate/manifest.json、physical-evidence-full-qemu/。主机WS73=[]，本轮无真实控制运行或真实抓包。七项实机北极星全部未勾选；四设备两组、完整S0–S6、SSAP/security/vendor/PM/兼容/发布及原issue全部条件继续保持OPEN，不因工具或合成测试提前关闭整项。
sanchuanhehe commentedon Oct 10, 2026
生产 D-Bus 观察/控制授权（2026-10-10，部分成果）：
Linux 65e9fcc10b9c；用户态 dbb8edbf9da5，均签名推送。
见 策略、安装与可复现命令 和 实机记录流程。本地冻结证据
.dev/bus-policy-final-evidence.json、bus-policy-source-snapshot/、bus-policy-production-gate-v3/manifest.json、bus-policy-session-gate/manifest.json、bus-policy-full-qemu-final/。这不实现内核Managed/Diagnostic唯一writer lease、raw DLI/其他入口授权隔离，也不证明Supported/Enabled产品状态、全接口per-controller路由或全部权限issue完成。实际主机只读复查WS73=[]；没有真实控制运行或抓包。七项真实北极星继续未勾选，四设备两组、完整S0–S6及全部原issues保持OPEN；不因部分策略/合成测试关闭整项。
sanchuanhehe commentedon Oct 10, 2026
内核实际调用者权限与无副作用观察（2026-10-10，部分成果）：
Linux bbf7c067723e；文档 ca759e59efbd，均签名推送。
.dev/kernel-auth-final-evidence.json、kernel-auth-source-snapshot/、kernel-auth-image/、kernel-auth-final-full-qemu/。见 权限与迁移、可复现命令 和 北极星验收记录。
当前只是capability边界，多个特权writer尚未被独占lease协调；Managed/Diagnostic/Proxy/PDU owner、raw与managed互斥、撤销/崩溃恢复及canonical接口迁移继续待做。主机完整USB拓扑确认四口hub存在但WS73未枚举，未做真实固件/控制/RF抓包；七项实机验收继续未勾选。四设备两组与完整S0–S6保留，全部原整项issues保持OPEN，不能以这些部分/合成成果关闭。
sanchuanhehe commentedon Oct 10, 2026
原生 WS73 的 Managed/Diagnostic 文件 ownership 与撤销（2026-10-10，部分成果）：
Linux 57f8f1403aae；用户态 6a9f2c63cae0，均签名推送。
见 ownership契约与可复现门禁、北极星记录。冻结证据
.dev/management-final-evidence.json、management-source-snapshot/、management-final-image/、management-qualified-gate-owners/、management-full-qemu-final/。这是原生路径的部分成果。profile0 Virtual/标准USB仍处旧迁移窗口，新lease API EOPNOTSUPP；跨全部Backend、Proxy/PDU/Security owner、自动原地恢复、其余canonical入口/工具绑定、32位实际conformance及完整原issue验收仍待做。实际主机完整USB拓扑WS73=[]，没有真实固件/控制/RF抓包；七项真实北极星保持未勾选，四设备两组和完整S0–S6保留，全部原整项issues保持OPEN。
282 remaining items
sanchuanhehe commentedon Oct 24, 2026
断链停止新提交整改进展：已在本地签名实现每 connection lifetime 的 Closing。成功接受类型化 Disconnect 后，与实际 USB Ticket 共用 Host 锁停止新提交；队列准入失败不关闭连接，取消、拒绝和超时不重新开放旧 lifetime。物理 Link、已提交债务和在途回复仍由原路径结清。
原严格断链用例和独立原期限用例已用新内核在专用 VM 内完成针对性真实设备回归，包含另一组应用实际校验回复及负对照；原失败证据保留。尚未完成新 artifact 的 release、最后 fd、dup、角色、长度与适用 SSAP 回归，不将历史资格转授本次变更。限定锁序模型也不等于实现 refinement 或硬件证明。
签名修复已发布：内核停止提交屏障、资格检查器链接身份修复。初次 Git 传输失败后通过严格主机密钥校验的 SSH 443 入口推送；这不是发布资格或 CI 完整闭包声明。完整 S0–S6 范围及本 issue 原始范围保留，整项继续开放；自然故障根因、非人工恢复、NOCP/复用和 drain 条件不因本次局部通过关闭。
sanchuanhehe commentedon Oct 24, 2026
R147：Native 管理 File 的限定实机回归，整项保持 OPEN。
公开实现／契约入口：Linux 52ae7f08、用户态 e21ddf80。本轮复用同一内核和封存的生产二进制，无新生产重编；执行工具与编译产物身份分别记录，不向其他 artifact 转授资格。
完整 S0–S6、19 WP、10 FV、12 DG、原始验收范围及 VM-only 不变，UserHost 仍为低优先级规划。本次局部结果不关闭任何整项 issue。
sanchuanhehe commentedon Oct 24, 2026
R148：同一 Closing 内核的普通业务／SSAP 保留回归已完成，整项保持 OPEN。
实现入口：Linux 52ae7f08。本轮执行工具为 2cbee124，复用 ELF 来源 1cc6f981／service snapshot 497f76d4；没有生产重编，不将文档或执行工具提交冒充编译身份。
下一批继续另一 victim 角色的 File／Grant 有限切片及地址部分初始化清理；数据、安全、唯一用户态 SSAP 并行，不以控制面竞争全集为前置。完整 S0–S6、19 WP、10 FV、12 DG、原始验收及 VM-only 不变；NOCP 真值、复用／drain、自然故障根因、非人工恢复和所有未完成整项继续开放。
sanchuanhehe commentedon Oct 24, 2026
同步已公开的测试工具变更：fix(sparklink): bind sibling gate roles to physical evidence。
现有 Native sibling gate 的角色选择已绑定到 owner、TxStatus、USB geometry、guest registration 和 host hold 证据，保留原 prefix、File、Down 和 deadline 断言。contract4 要求重新准备载体，contract3 历史保留；离线 fixture 检查不能授予新硬件运行资格。详情及调用入口见该公开提交中的代码、测试和文档。
整项继续 OPEN。完整 S0–S6、19 WP、10 FV、12 DG、VM-only、原始验收范围和现有分层保持不变；数据、安全和用户态 SSAP 继续并行。自然故障根因、非人工恢复、完整 drain/NOCP/复用条件及其他未完成事项仍需各自验收。局部工具修复不代表整项完成。
sanchuanhehe commentedon Oct 24, 2026
源码进展：SSAP 无响应写与原期限边界（保留本 issue 原始 scope）。
已签名并推送：
离线范围：固定锁定工具链的严格 Clippy、默认 SDK 测试、all-features 工作区测试（514 项）、实际 C 导出/头文件检查、Python 与相关工具测试、严格 HTML 构建通过。私有 D-Bus、合成 USB 材料及生产纯函数测试的边界均保留；这些结果不是内核并发、硬件或形式化证明。
下一门禁：准确新 artifact 下，普通应用经真实双设备发送随机命令值，由对端实际校验/读回，并核对双端包与角色交换；继而覆盖适用的零长、长度/分片、原期限、退出和既有路径保持。尚无本次新增实机或形式化资格，历史资格不转授新产物。
完整 S0–S6、19 WP、10 FV、12 DG、VM-only 及 UserHost 低优先级保留。本条仅同步公开源码和测试范围；实机详情留本地。部分成果不关闭整项；自然故障根因、非人工恢复、未知完成/排空和其余未决条件继续开放。
sanchuanhehe commentedon Oct 24, 2026
源码更新（仅公开源码与工具契约；实机详情保留本地）：
本更新只完成有限工具切片。完整 S0–S6、原工作包与验收要求不变；自然故障根因、非人工恢复及整项剩余条件继续开放，不关闭此 issue。
sanchuanhehe commentedon Oct 24, 2026
源码修复更新；实机详情继续仅保留本地。
这些是限定源码与离线检查结果，不是形式化证明、实机或发布资格。现有 VM 交付门禁继续要求真实后续 Read、原 Owned 值及双端证据，未放宽断言或更改协议期限。完整 S0–S6 与原验收范围保持，部分成果不关闭整项；自然故障根因、非人工恢复及其他剩余条件继续开放。
sanchuanhehe commentedon Oct 24, 2026
本批补充
WriteSsapCommand的拒绝边界与远端授权门禁源码，不改变现有分层或原验收范围。源码：
ssap-command-reject：启动屏障后，以完整、可读的 2043 字节输入实际调用 SDK，只接受原期限内返回的EINVAL（22）；参数解析拒绝、其他错误、超时或意外成功均不能通过。原ssap-command入口及其输出保持。门禁实现要求两种连接阶段、两个发送方向、C/Python 两种入口共八组：先验证 SDK 拒绝 2043 字节；再拒绝 32 字节命令，核对后续 Read 与 Owner 原值未变、线上没有伪响应；随后批准不同载荷，并由后续 Read、Owner 和完整双端数据核对实际交付。原有 24 组正向命令与 8 轮普通业务回归保留。每条 Read 沿用原期限，捕获逐条比较完整片段与顺序，遗漏、篡改或额外响应不能通过。这是已实现的测试契约，不是新实机通过声明。
离线检查：固定工具链的格式检查、默认 SDK 测试（包含实际 C/Python 客户端对私有 D-Bus fixture 的调用）、workspace/all-targets/all-features 严格 clippy、1528 项工具测试、严格文档构建及 diff 检查完成。前两次环境性失败保留；同源码复测与此前已通过检查分别记录，没有修改原断言。fixture 的错误映射、期限、输出及报告负对照不等于真实 daemon/控制器或空口验收，也不代表新 CI 或全系统资格。
本批新实机与形式化资格尚未取得，不能从历史结果转授新源码。下一步使用准确新 artifact 在 VM 内执行上述门禁；超时后的 actor/物理义务、撤权及生命周期条件单列审查，不能预设超时后同一 Engine 继续工作。实机细节保留本地。
对应现有任务：
以上 issues 保持开放。自然故障根因、非人工自动恢复及其他未完成条件不因本次源码或离线检查关闭；VM-only 与原资格边界保持。
sanchuanhehe commentedon Oct 24, 2026
源码进展（不授予新实机资格）
已提交原 Write Command 授权期限的生产函数回归，以及复用现有 Session/SDK/捕获设施的专项门禁：
源码：
e943b351bba4、9cee6c4b661b、c5ceb03ac4eb。离线：22 项 Engine 测试及严格 clippy；修正后的 1,544 项工具测试和严格 HTML 构建通过。原沙箱权限失败保留，不降低断言。以上不是完整并发证明或实机资格。
按维护者要求，实机执行身份和详细证据仅本地保留。本 issue 原 scope、剩余门禁、自然故障根因与非人工恢复条件保持开放，不因局部测试关闭。
sanchuanhehe commentedon Oct 25, 2026
源码与离线进展（不授予新实机资格）
此增量纳入现有计划，完整 S0–S6、19 WP、10 FV、12 DG 和既有验收范围不变；不以局部接口和离线通过关闭总范围。
新增最小 Owned 属性说明：type 0x01 公开、远端只读；本地设置要求原 Owner 和当前管理租约，1..244 UTF-8 字节、禁止 NUL，共用现有 8192 字节数据库预算。244 是本实现限定，不是标准上限或认证承诺。
远端读取复用唯一物理 Session/SSAP actor、现有请求 Grant、原始期限和通道数据路径；属性 type0 的权限与说明读取分别处理。Owner 失效后的新说明读取被拒绝；type1 说明写入和未知类型明确拒绝。Rust/C/Python、slctl、D-Bus 权限及相关使用文档同步接通。
离线：严格 Rust 检查、工具与绑定回归、跨语言契约及文档构建通过。私有 D-Bus 和虚拟 fixtures 检查所有权、预算/清理、原期限与错误；证据负对照拒绝缺失读回、错误端点/字节及窗口外分片。这些不是完整内核并发证明，也不能推出新实机资格。
工具入口另修正 prepared manifest 的加载与校验顺序；真实 CLI/runner 入口回归在旧源码复现错误，在新源码拒绝缺失或过期输入并保留失败状态，且不会启动进程。原门禁断言不变。
源码：
c76d72774495acae5fc8f1c38abc96b8006510e3。本项原 scope 与剩余门禁保持 OPEN。type1 说明写入、可配置授权/protected 说明、按远端请求返回值的动态 Provider、自然故障根因和非人工恢复仍缺失或未完成；本地替换属性值不等于动态 Provider。按维护者要求，仅发布源码与离线摘要，实机身份和详细证据留本地。
sanchuanhehe commentedon Oct 25, 2026
R156 源码与离线验证更新（不发布实机执行身份或详细材料）。
离线已通过：固定工具链 locked 构建、实际私有 D-Bus 与现有跨语言调用、CLI 回调与退出/期限负向、无警告 clippy、工具测试和严格 HTML 构建。这些不等于真实内核并发、形式化证明或新实机资格。
完整 C/Python Provider 收件箱、动态写入及完整服务/Profile 仍缺；应用错误、原期限、撤销/断链与已准入义务按后续准确产物分别验收。注销拒绝尚未编码候选，已编码快照仍受原 Native 发送约束，不能承诺撤回已接受回复。
保持完整 S0–S6/19WP/10FV/12DG、VM-only、既有分层和原验收；UserHost 仍低优先级。数据面/多通道/四设备与当前工作并行，原失败保留，自然故障根因及非人工恢复继续开放。未关闭本 issue 或任何整项范围。
联合目标仍活跃；本批是有限纵向交付，不替代全目标验收。
sanchuanhehe commentedon Oct 25, 2026
本批源码／离线摘要：继续唯一用户态 SSAP Engine 的动态只读 Provider 门禁，不新增 Engine 或业务发送旁路。
原 scope 与完整 S0–S6／19 WP／10 FV／12 DG 不变。本批之后继续 Owner 在途退出、原期限及其余 SSAP／数据面门禁，不把控制面竞争全集设为前置。C/Python Provider 收件箱、动态写入、完整服务和生命周期仍有缺项；自然故障根因与非人工恢复继续开放。本条不关闭任何整项 issue。
sanchuanhehe commentedon Oct 25, 2026
本批源码／离线摘要：为唯一用户态 SSAP Engine 的动态只读 Provider 补充在途 Owner 退出门禁，复用现有 Session、授权、credit、提交票据和普通通道测试。
本条仅发布源码及离线摘要；实际编译／执行身份、实机详情和证据材料依用户要求保留本地，不由此公开条目推断执行状态。完整 S0–S6／19 WP／10 FV／12 DG 不变。原期限到期与迟到 Provider 回复、C/Python Provider 收件箱及其余数据面／服务／安全工作继续按原计划推进，不等待控制面竞争全集。自然故障根因、非人工恢复和所有未完成原验收条件继续开放，本条不关闭整项 issue。
sanchuanhehe commentedon Oct 25, 2026
本批源码／离线摘要：Provider 原期限与迟到答复门禁 已接入现有工具链，复用唯一 SSAP Engine、Session、Grant、credit 和提交票据。
本条仅发布公开源码及离线摘要；实际编译／执行身份、实机结果和原始材料依用户要求保留本地，不由公开摘要推断是否执行或其结果。完整 S0–S6／19 WP／10 FV／12 DG、VM-only 和原验收范围保持；C/Python Provider 收件箱、完整服务／安全／数据面及自然故障根因、非人工恢复继续开放，不关闭整项 issue。
sanchuanhehe commentedon Oct 25, 2026
R160：共享 SDK 动态 READ Provider 接线（仅公开源码／离线摘要，整项保持开放）
签名源码：Rust／C／slctl 共享前端、Python 与接口文档。
联合计划：本批仅完成共享 Provider 源码和有限离线检查，继续准确 artifact 的应用调用者门禁；不把全部控制面竞争组合重新设为数据面前置。
后续源码／离线补充：