角色变了
工程内循环——规格、实现、测试、审查、观测、回写 SDD——由智能体携带真实工具、在真实仓库与真实门禁下执行。
执行可以委托，判断不行
撑起本页的是三个主张，每一个都对照工件校验，而非观点。
为什么是现在
因为智能体在行动前真的会加载契约。AGENTS.md、活体
SDD 与领域本体，从文档变成了运行时上下文。
FDE 仍然是门禁
现场纪律产出了值得复用的契约；它也保留了智能体永远不能代为签字的部分：PCB、台架、RF 安全、真实台站。
可证伪形式：一次现场事故变成一条 SDD
裁决，裁决变成一条机器可读约束，约束阻止智能体重新引入该事故。本页任何无法沿这条链回溯的主张，都不写。
智能体跑循环，人握住三样东西
这条分界线不按任务大小或技能划分，而按「结果出错时谁负责」划分。
委托给智能体
规格→实现→测试→审查→观测→回写 SDD
智能体在动手前先读取约束注册表，按每条主张的性质选择对应的验证手段，并把结论写回它出发时所用的同一份契约。
人保留的三样
意图——这件事为何存在、什么算成功、什么刻意不做。
边界——架构裁决、安全不变量，以及智能体不得为了跑绿而交易掉的约束。
裁决——现有证据是否足以说一句「完成 / 已发布 /
安全」。
智能体承担执行，不承担问责。一次发射、一次发布、一句安全主张的责任，始终属于签署证据的那个具名的人。任何委托都不改变这一点。
契约从前沿部署工程里来
本体不是 FDE 的第四个阶段，智能体工程也不使 FDE 退役。两个循环耦合，且各自握有否决权。
FDE 交付循环
Echo
现场证据→Delta
高风险验证→Product
稳定交付
现场证据→Delta
高风险验证→Product
稳定交付
Echo 观察真实台站与操作者；Delta 用可运行的垂直切片验证风险最高的假设；Product 把结果固化为可运维的边界、契约或可复用组件——而这正是日后能交给智能体的东西。
本体工程循环
范围→术语→关系→约束→验证
产品证据稳定词汇、暴露不变量；模型再为下一轮工作——无论人做还是智能体做——提供更干净的问题、更明确的边界，以及更少的偶然协议假设。
智能体不能压缩的部分
硬件
PCB 制板与台架 bring-up。EFHW V3.0 设计与固件已完成；在实物板子存在之前，它的主张停留在设计目标。
RF 安全
真实电台上的 PTT 路径与发射权限。服务端测试通过，不等于客户端签字放行。
真实台站
在操作者自己的天线、波段条件与邻居环境下的现场验证。
发布
发布决策，以及什么可以被标注为「已发布」——因为这个标签是对一个人的承诺。
双向反馈：产品为模型修订提供证据；模型为下一轮现场循环提供语言、边界与能力问题——而现在这份上下文是由智能体在编辑前加载的。
Harness × Loop × Living SDD
Engineering 是把现场意图转化为可重复执行、可审查增量、可追溯证据和可复用资产的完整体系。
Harness
业务、技术和产品约束包围着由 Agent、工具、测试、部署与现场遥测组成的工程护栏与执行环境。
Loop
外层 Echo → Delta → Product 包含内层 Specify → Implement → Test → Review → Observe → Update SDD 工程闭环。
Living SDD
设计意图流向实现；代码、测试、部署和现场证据反向校准活的双向契约。
跨五个产品族：同一工程体系适配不同电台、协议、客户端、工作流、硬件门禁与证据边界。
三条轨道，而不是一条人为流水线
硬件与运行目标不同，架构也不同；共享基础是控制权、媒体流、安全、可观测性与证据。
电台控制
MRRC Universal 提供基于 Hamlib
的广泛远控；MRRC FT-710 完成 Direct USB
垂直验证；MRRC Modern 通过
RadioBackend 与
RadioCapabilities 完成平台化。
Direct-IQ SDR
SunMRRC 负责 ExpertSDR 侧台站状态和 IQ/音频流；其客户端包括 Web 与原生 iOS 客户端 SunsdrMobile，后者不是独立产品族。
工作流 / RF 边缘
MRRC-FT8 协调时隙敏感的数字模式流程；EFHW 把执行活动推进到天线边缘，关注 RF 测量、舵机动作与限位安全。
由现场约束塑造的五个边界
每个产品族都沿相同证据路径分析。客户端归属于持有权威状态和安全契约的系统。
MRRC Universal
面向 Hamlib/rigctld 支持设备的通用远程操作。
- 现场问题
- 操作员需要统一远程台站界面，而不是为每款电台重写 CAT。
- Echo 证据
- 真实运行证明网络不稳、状态漂移、音频路由和 PTT 控制权是耦合问题。
- Delta 突破
- 把机型契约置于 rigctld 后，并以服务端状态而非浏览器控件为权威。
- 产品边界
- 服务端 CAT、音频、瀑布图、Web/PWA、认证与运行保护。
- 复用资产
- Hamlib 词汇、Web 控制模式、会话监督和重连纪律。
- 新增资产
- 通用设备适配边界与一体化台站控制平面。
- 本体贡献
- 设备适配器（DeviceAdapter）、能力发现、控制意图与报告状态分离。
- 成熟度 / 证据
- 现场验证 发布运行证据与架构主张分别记录。
- 智能体承担环节
-
仓库根
AGENTS.md：运行与验证、配置与端口约定、/CONFIG重启陷阱在行动前告知智能体。尚无机器可读约束注册表。普查 2026-09-02。 - 人保留裁决
- 真实台站上的 PTT 与 RF 安全；发布标注。· 沉淀契约： 被后续各族复用的运行与验证入口契约。
MRRC Direct USB
从单机型验证演化到能力驱动多机型平台的直接 CAT/音频路径。
MRRC FT-710
垂直验证
inspired-by →
垂直验证
MRRC Modern
平台化抽象
平台化抽象
- 现场问题
- 替代专有 LAN 配件，同时保留电台控制、音频、瀑布图和安全 PTT。
- Echo 证据
- FT-710 USB 串口与音频完成端到端验证，并暴露机型假设。
- Delta 突破
-
FT-710 垂直切片在 Modern 中提炼为
RadioBackend与RadioCapabilities。 - 产品边界
- 本地电台服务、Web/PWA 和基于显式控制/媒体契约的移动客户端。
- 复用资产
- CAT 事务、音频传输、重连、安全状态机和交互语法。
- 新增资产
- FT-710、IC-7300、IC-7300MK2 的多后端注册与能力协商。
- 本体贡献
- 协议绑定（Protocol Binding）与功能分离；客户端可用性与产品族身份分离。
- 成熟度 / 证据
- 自动化测试 FT-710 与 Modern 按版本和实机验收分别记录。
- 智能体承担环节
-
根
AGENTS.md+.agents/skills/sdd-guardian/：ft710 17 条、modern 21 条，带 severity、sdd_ref、scope glob 与 patterns。SessionStart → prime加载，PreToolUse(Edit|Write) → hook在落盘前阻断。普查 2026-09-02。 - 人保留裁决
-
真机 PTT 安全路径；PCB
与台架点亮；证据是否足以称「已发布」。·
沉淀契约：
约束注册表本身，加上把路由指向活体 SDD 切片的
harness/index.json。
Web / PWAFT710Mobile · iOSFT710Android · Android
客户端成熟度并不相同。FT710Mobile 存在未解决的 P0 PTT 安全问题；不能因服务端或另一客户端通过测试就标记为“安全完成”。
SunMRRC
面向 SunSDR2 DX 生态的台站侧控制与 Direct-IQ 媒体系统。
- 现场问题
- 远程客户端需要围绕 ExpertSDR 获得同步控制、IQ/音频与确定性发射安全。
- Echo 证据
- 台站集成暴露控制/媒体生命周期分离、设备状态和移动网络中断问题。
- Delta 突破
- 把服务端权威状态与客户端呈现分离，并显式定义协议和媒体适配器。
- 产品边界
- SunMRRC 是台站系统；Web 和 SunsdrMobile 是该系统的客户端。
- 复用资产
- 远程控制权、重连收敛、媒体封帧和安全监督模式。
- 新增资产
- ExpertSDR 集成、Direct-IQ 流契约、原生 iOS 交互和音频路径。
- 本体贡献
- 区分 RF 信号、采样流、帧、观测活动和 UI 投影。
- 成熟度 / 证据
- 现场验证 服务端、客户端与场景分别赋予证据。
- 智能体承担环节
-
sunsdr仓库根的AGENTS.md与CLAUDE.md，位于一份逆向协议文档与活体 SDD 之前。无约束注册表——因此本节不主张编辑前门禁。普查 2026-09-02。 - 人保留裁决
-
所有靠观察而非数据手册得出的协议推断；非自家设计硬件上的
PTT。· 沉淀契约：
PROTOCOL.md与被后续各族当作边界来源引用的 SDD 章节。
SunMRRC WebSunsdrMobile · iOS
MRRC-FT8
将时间、解码周期、操作意图和发射调度纳入同一安全边界的数字模式工作流。
- 现场问题
- FT8 需要同步 15 秒周期、解码选择、QSO 状态和受控发射时序。
- Echo 证据
- 现场演化表明“发送 CAT 命令”不足以表达操作流程和时隙。
- Delta 突破
- 把 QSO 建模为含定时活动、观测与恢复转换的显式工作流。
- 产品边界
- 解码到 QSO 的流程、电台/音频集成、交换状态与人工干预。
- 复用资产
- 台站控制词汇、音频封帧、状态所有权、事件日志和发布纪律。
- 新增资产
- 时隙工作流状态、解码证据、交换语义和时序约束。
- 本体贡献
- 时间区间、工作流状态、解码观测、发射活动和证据溯源。
- 成熟度 / 证据
- 现场演进 公开发布版本与 SDD V1.8 现场演进分开记录。
- 智能体承担环节
-
根
AGENTS.md+.agents/skills/sdd-guardian/：14 条约束，含vendor-readonly、no-direct-serial、ptt-authority，由同一套 prime / hook 执行。普查 2026-09-02。 - 人保留裁决
-
解码保真度对真实波段条件；UTC
时隙纪律（出错即是一次多余发射）。·
沉淀契约： 已购解码器只读规则——
wsjtx-3.0.2/只读，改动走dsp/patched/。
EFHW 自动调谐器 V3.0
把阻抗观测转化为受约束舵机执行的 RF 边缘控制器。
- 现场问题
- 便携 EFHW 台站需要可重复匹配，同时避免机械动作或 RF 应力被藏在远程按钮之后。
- Echo 证据
- 物理调谐器暴露回差、行程限制、测量不确定性和功率风险。
- Delta 突破
- 把调谐建模为测量与执行之间的有界搜索，而非无约束电机命令。
- 产品边界
- ESP32-S3 固件、RF 感知、舵机控制、位置记忆、限位与本地/远程操作。
- 复用资产
- 控制意图、观测活动、故障收敛、证据日志和能力 Profile。
- 新增资产
- 机械位置、阻抗/SWR 测量、有界调谐策略和天线网络实体。
- 本体贡献
- 把软件活动连接到物理执行与测得的 RF 结果。
- 成熟度 / 证据
- 台架待验证 V3.0 设计与固件已完成，PCB 和台架验证待完成。
- 智能体承担环节
-
站点与知识库工作在工作区
CLAUDE.md下进行；efhw-knowledge/是共享本体来源。无固件约束注册表。普查 2026-09-02。 - 人保留裁决
- PCB 制板与台架验证——在实物板子存在之前，本族主张停留在设计目标。· 沉淀契约： 调谐器状态模型与 49:1 vs LC 测试报告。
复用平面，而不是复用偶然实现
复用发生在显式架构平面，不意味着不同协议、设备或成熟度可以互换。
控制平面
控制意图、权威状态、控制租约（Control Lease）、能力发现和幂等协调。
媒体平面
音频、IQ、瀑布图、封帧、节奏、缓冲及传输丢失行为。
设备平面
电台后端、协议绑定、USB 端点、DSP 集成和 RF 执行器。
安全平面
PTT 联锁、超时回 RX、功率/行程限制、单所有者转换与故障隔离。
工作流平面
操作意图、定时 QSO、调谐搜索、重试、取消与恢复。
体验平面
Web/PWA/原生交互、反馈、控件、无障碍和移动端人体工学。
MRRC FT-710inspired-by →MRRC Modernimplements →RadioBackend
SunsdrMobileconsumes →SunMRRC servicesinherits →共享安全约束
inherits
特化项保留已声明约束或契约。
consumes
客户端消费服务，但不拥有服务的系统边界。
implements
组件实现接口、能力或协议绑定。
inspired-by
证据影响后续设计，但不暗示代码或契约继承。
本体在智能体动手之前被加载
不是文档习惯：同一套术语、边界与公理，被智能体上下文、编辑前门禁与人工审查三方消费。它仍然是一份由产品证据支撑的轻量双语契约——不是 RDF/OWL 部署、知识图数据库，也不是新增的运行框架。
| 本体概念 / 公理 | 消费方 | 真实锚点 |
|---|---|---|
Policy/Constraint：单一权威状态持有者、Serial
独占
|
Agent 运行时硬阻断 |
ft8 no-direct-serial——“rigctld is the sole
serial owner”[AD-008]；ft710 / modern
cat-direct-serial-io [AD-002]
|
Safety：TX 授权与 PTT 所有权 |
Agent 运行时硬阻断 |
ft8 ptt-authority——“PTT controlled only by rig
and safety components”[AD-007; NFR-050; Ch15]
|
CommandIntent ≠ Actuation |
Agent 侧 info 提示 |
ft710 ptt-release-no-verify——“TX0 is
fire-and-forget”[AD-007; Ch15; V1.2]
|
Observation：陈旧读不得污染状态 |
info 约束 + 单测 |
ft710 / modern poll-stale-guard [AD-009; §9.6;
V1.7 filter race fix]
|
Protocol Binding ≠ Capability |
代码事实 + 约束特化 |
Modern audio-pyaudio-rate：由 FT-710 固定 44.1k
改为“rate comes from backend capabilities”[AD-011 amended
V2.9/V2.14]
|
Evidence/Provenance：知识不得过时 |
路由索引不存内容 |
harness/index.json——“holds no content — refs
are sliced live from SDD/*.md, so it never goes stale”
|
Information Object：变更即文档同步 |
生命周期强制 |
SKILL.md Phase 0–6；docs-sync 规则
[§14]
|
三个仓库共 52 条机器可读约束——mrrc_ft710 17
条、mrrc_modern 21 条、mrrc_ft8 14 条（普查日期 2026-09-02）。
每条规则带严重级别（
block / warn /
info）、指回某条架构裁决或真实事故的
sdd_ref、scope glob 与
patterns。 harness/sdd_context.py 提供
prime / check / hook；
install_hooks.py 注册
SessionStart → prime 与
PreToolUse(Edit|Write) → hook。
同一套语义，三方消费：智能体上下文、运行时阻断、人工审查。
主体 Agent
拥有权限和责任的操作员、管理员、维护者或自动控制器。
物理实体 Physical Entity
电台、天线、调谐器、接口、传感器、执行器和台站环境。
软件系统 Software System
台站服务、客户端、后端、适配器、解码器、DSP 或持久化组件。
活动 / 过程 Activity
执行活动、观测活动、发射、接收、调谐、解码、同步与恢复。
信息对象 Information Object
控制意图、状态报告、帧、采样、事件、QSO、Profile 或证据记录。
能力 / 功能 Capability
调谐、PTT、模式、音频、IQ 流、解码、匹配和测量。
策略 / 约束 Policy
授权、租约、超时、联锁、功率限制、时间窗与安全状态规则。
证据 / 溯源 Evidence
支撑成熟度主张的来源、版本、环境、方法、结果、日期和限制。
核心语义链
控制意图 CommandIntentrequests →执行活动 Actuationchanges →设备状态 DeviceState
观测活动 Observationyields →状态报告 StateReport
RF 信号sampled-as →采样 / 流framed-as →帧
本体模块
身份 / 权限
主体、凭据、角色、许可、控制租约、所有者与委派。
台站 / 设备
台站、电台、收发机、天线、调谐器、传感器与执行器。
功能 / 服务
能力、服务、端点、依赖、可用性和降级。
命令 / 执行 / 观测
意图、请求变更、物理/软件活动、测量结果和状态报告。
协议 / 传输
协议绑定、设备适配器、CAT、rigctld、WebSocket、串口、USB 和数据包。
信号 / 媒体 / 测量
RF 信号、IQ 采样、音频流、帧、频谱、SWR、频率和电平。
时间 / 工作流
时刻、区间、时隙、截止时间、工作流状态、QSO、取消和重试。
安全 / 可靠性
联锁、安全状态、超时、故障、不确定性、限制、恢复和监督。
证据 / 溯源
主张、来源工件、版本、测试方法、环境、结果和限制。
跨产品族安全不变量
-
权威状态所有者唯一。
客户端可以投影或请求状态，但不能静默成为台站权威。 -
TX 必须具备授权和安全上下文。
发射请求需要有效权限路径、控制权/租约及适用联锁。 -
断线和超时收敛到 RX。
控制丢失必须让台站趋向非发射安全状态。 -
命令不等于确认状态。
请求的执行活动与观测到的状态报告始终分离。 -
不可检测故障不得声称已检测。
没有传感器、信号或可测试观测路径，就不能主张检测能力。 -
Profile 把概念绑定到产品。
每个产品 Profile 声明能力、协议、客户端、安全约束和证据。
维度可比较，实现各不同
能力描述产品族能做什么；证据成熟度描述主张被证明到什么程度。二者不能混为一谈。
| 维度 | MRRC Universal | MRRC Direct USB | SunMRRC | MRRC-FT8 | EFHW |
|---|---|---|---|---|---|
| 主要设备 | Hamlib 支持的电台 | FT-710；Modern 的 IC-7300 系列 | SunSDR2 DX / ExpertSDR | 电台与音频接口 | EFHW 匹配网络与 ESP32-S3 |
| 控制协议 | rigctld / Hamlib | USB 串口直连 CAT | ExpertSDR 侧控制服务 | 工作流与电台集成 | 本地固件 / 远程命令面 |
| 媒体 | 远程音频与瀑布图 | USB/远程音频与瀑布图 | IQ 与音频流 | 收发音频 | 测量遥测，不含操作音频 |
| 频谱源 | 配置的接收后端 | 按机型定义 USB/IQ 路径 | Direct-IQ 流 | 解码通带 | RF 检测器测量 |
| DSP | 依赖系统/后端 | 按 Profile 定义服务端/客户端管线 | IQ/音频处理链 | FT8 编解码 | 有界搜索与测量滤波 |
| 工作流 | 通用操作控制 | 通用操作控制 | SDR 操作 | 时隙 QSO 状态机 | 测量→移动→稳定→评估 |
| RF 执行 | 电台命令/PTT | 电台命令/PTT | 电台命令/PTT | 定时发射 | 舵机匹配 |
| 客户端 | Web / PWA | Web/PWA、FT710Mobile、FT710Android | Web、SunsdrMobile iOS | 工作流 UI | 本地与远程控制界面 |
| 安全模型 | 服务端权威与会话监督 | 后端权威、PTT 状态机、客户端分别验收 | 控制所有权与超时回 RX | 定时 TX 保护和操作状态 | 行程/功率限制与有界执行 |
每项主张都携带来源与边界
功能标签不是成熟度主张。每项结果必须标记方法、环境、版本和剩余不确定性。
设计目标模拟结果自动化测试台架验证现场验证已发布 / 运行延期 / 已知问题
B1 约束注册表条目
B2 规格·计划留痕
B3 会话内强制执行
B4 阻断被验证
两条阶梯不互推。下面这一行衡量工程过程是否被约束，上面那一行衡量产品行为是否为真。B4
徽章不提升任何 A
级主张；约束条数再多，也不能减少一次台架验证的必要性。
这条链的端到端复现（2026-09-02）
$ python3 .agents/skills/sdd-guardian/harness/sdd_context.py check probe_b4_tmp.py
SDD-GUARDIAN: blocking violations found:
[BLOCK] cat-no-dn (AD-014; SDD V1.2 freq-drift incident) probe_b4_tmp.py:2: return c.query("DN;")
→ On the FT-710, 'DN;' is NOT a DNR query — it steps the active VFO DOWN ~20 Hz per call. Polling it caused a live frequency-drift incident (V1.2). DNR level is intentionally not polled.
$ echo $?
2一次现场事故变成一条 SDD 裁决，裁决变成一条机器可读约束，而这条约束挡住了智能体把事故重新引入。这就是本页所做的主张，而且它可以被当场复现。
MRRC FT-710
源码：v1.8.1
Windows 安装包：v1.8.0
自动化测试：439 项
源码、发布包、测试执行和电台验收分别记录。 过程证据： B4 阻断被验证
MRRC Modern
版本：v1.12.0
Profile：FT-710、IC-7300、IC-7300MK2
自动化测试：633 项
IC 系列真机验收与自动化覆盖单列。 过程证据： B4 阻断被验证
MRRC-FT8
公开版本：发布记录
现场演进：SDD V1.8
公开软件包和后续现场设计不视为同一已部署工件。 过程证据： B4 阻断被验证
EFHW V3.0
设计：完成
固件：完成
PCB / 台架：待完成
物理验证前不声明台架或现场验证。 过程证据： B2 规格·计划留痕
已知安全问题：FT710Mobile 存在未解决的 P0 PTT
安全问题。服务端自动化测试或其他客户端结果都不能关闭该问题，也不能证明原生客户端已安全完成。
证据与知识附录
版本与证据账本
| 工件 | 主张 | 证据类别 | 边界 / 限制 |
|---|---|---|---|
| MRRC Universal | 通用远程电台产品族 | 已发布 / 运行 | 行为仍依赖 Hamlib 后端与台站配置。 |
| MRRC FT-710 v1.8.1 | FT-710 直连源码基线；439 项测试 | 自动化测试 | Windows 安装包为 v1.8.0；测试数不等于全部硬件验收。 |
| MRRC Modern v1.12.0 | 三个机型 Profile；633 项测试 | 自动化测试 | IC 真机验收单独记录。 |
| SunMRRC / SunsdrMobile | 台站服务与原生 iOS 客户端 | 按场景记录现场证据 | 服务端与客户端证据不可互换。 |
| MRRC-FT8 | 公开基线与 SDD V1.8 演进 | 发布 + 现场演进 | 两个版本明确分离。 |
| EFHW V3.0 | 设计与固件完成 | 设计目标 | PCB 和台架验证待完成。 |
中英核心术语表
Product Family
产品族
产品族
Domain Ontology
领域本体
领域本体
CommandIntent
控制意图
控制意图
Actuation
执行活动
执行活动
Observation
观测活动
观测活动
StateReport
状态报告
状态报告
DeviceAdapter
设备适配器
设备适配器
Protocol Binding
协议绑定
协议绑定
Control Lease
控制租约
控制租约
Field verified
现场验证
现场验证
Evidence provenance
证据溯源
证据溯源
Safe state
安全状态
安全状态
12 个能力问题（Competency Questions）
- 哪个软件系统拥有指定电台的权威状态？
- 哪个主体当前持有发射控制租约？
- 哪个控制意图请求了执行活动，哪次观测确认了结果？
- 哪个设备适配器为特定设备 Profile 实现某项能力？
- 哪个协议绑定承载控制、媒体或测量数据？
- 什么事件迫使系统收敛到 RX 或其他安全状态？
- 哪些客户端消费产品服务，但不构成独立产品族？
- 哪个 RF 信号形成了哪些采样、流和帧？
- 哪个时间区间或截止时间约束一次发射？
- 哪项安全主张具备真实传感器或观测路径？
- 哪个证据工件支撑某成熟度标签，适用于哪个版本和环境？
- 哪些资产属于继承、消费、实现或仅受前作启发？
有证据支撑的演化时间线
- 通用控制：基于 Hamlib 的运行建立广泛电台控制和台站状态模式。
- FT-710 垂直切片：Direct USB CAT/音频验证高风险端到端路径。
- Modern 平台：FT-710 假设被提炼为后端与能力抽象，并扩展到 IC Profile。
- Direct-IQ 轨道：SunMRRC 分离台站权威与媒体契约；SunsdrMobile 以原生客户端消费服务。
- 工作流与边缘：MRRC-FT8 加入定时运行语义；EFHW 将模型扩展到物理 RF 测量与执行。
- 领域本体：只有当概念和约束跨产品出现证据后，才进行归纳。
标准与建模参考
- Stanford — Ontology Development 101
- W3C OWL 2 Overview——概念参考，不是运行时要求。
- W3C SKOS——双语概念词汇。
- W3C SOSA/SSN——观测、传感器与执行。
- W3C PROV-O——证据溯源。
- W3C Time Ontology——时间区间与工作流。
- W3C Web of Things——能力与交互描述。
- ETSI SAREF 与 QUDT——设备、功能、量与单位。