角色变了
工程内循环，规格、实现、测试、审查、观测、回写 SDD，整条交给智能体跑。它用的是真工具，动的是真仓库，过的是真门禁。
执行可以委托，判断不行
撑起本页的是三个主张，每一个都拿工件对账，不拿观点对账。
四百五十年前，王阳明把这条分界写成了两句话：
知是行之始，行是知之成。
知是行的开端，行是知的完成。
王阳明《传习录》
为什么是现在
因为智能体动手之前，真的会把契约读进来。AGENTS.md、活体
SDD、领域本体，不再是摆着看的文档，是运行时上下文。
FDE 仍然是门禁
现场纪律炼出了值得复用的契约，也留下了智能体永远不能代签的部分：PCB、台架、RF 安全、真实台站。
四环链条：只有前两环变便宜了
想象
想法 → 意图→尝试
意图 → 可运行代码→验证
代码 → 现场证据→裁决
证据 → 结论
想法 → 意图→尝试
意图 → 可运行代码→验证
代码 → 现场证据→裁决
证据 → 结论
想法从来不是死于糟糕，是死于等待。想到与做到之间的那条沟，如今塌了：尝试又多又便宜。可一次尝试算不算成立，查起来依然贵；算不算数，裁起来依然归人。智库开了，治库没开，这一半得靠手建，本页大半篇幅都在讲它。故事见《思接千载，行在须臾》。
可证伪形式：现场事故落成 SDD
裁决，裁决落成机器可读约束，约束拦住智能体重蹈覆辙。事故只有变成护栏才算修好。于是有了那条运行规则：仓库不能拒绝，就别交给智能体。本页的主张都得沿这条链查得到头，查不到的不写；这条链在《三板斧》里完整走过一遍。
智能体跑循环，人握住三样东西
这条分界线不按任务大小画，不按技能高低画，按「结果错了谁负责」画。
委托给智能体
规格→实现→测试→审查→观测→回写 SDD
智能体动手之前先读约束注册表；每条主张该用什么办法验，就验什么办法；验完把结论写回它出发时那份契约。
人保留的三样
意图：这件事为何存在，什么算成功，什么刻意不做。
边界：架构裁决、安全不变量，以及不许智能体为了跑绿就拿去换掉的约束。
裁决：现有证据够不够说一句「完成 / 已发布 /
安全」。
智能体扛执行，不扛问责。一次发射、一次发布、一句安全主张，责任始终在签字留证的那个具名的人。委托再深也不改这条。想看只有一个具名负责人、没有团队时的样子，见《孤路我独行》。
为什么裁决不可委托
契约从前沿部署工程里来
本体不是 FDE 的第四阶段，智能体工程也没让 FDE 退役。两个循环咬合在一起，各自都握着否决权。
FDE 交付循环
Echo
现场证据→Delta
高风险验证→Product
稳定交付
现场证据→Delta
高风险验证→Product
稳定交付
Echo 看真实台站和操作者。Delta 用可运行的垂直切片，去证风险最高的那条假设。Product 把结果固化成能运维的边界、契约、可复用组件，这才是日后交得给智能体的东西。
本体工程循环
范围→术语→关系→约束→验证
产品证据让词汇稳定下来，把不变量逼出水面。下一轮工作，不管人做还是智能体做，都能拿到更干净的问题、更清楚的边界、更少的偶然协议假设。
现场支持回路——FDE 实践 4
上报→分诊→分类→答复→实施→合入
支持链拿自己当迭代对象。迭代的单元不是 commit，是没人解答的用户症状。每条 🐞
上报都带着分类（bug / feature / noise）落进
公开看板。分类就是决策：noise 关掉，bug 自动排期，feature
留给操作员。无人值守的实施者只产出带护栏的 unified diff
补丁，落在隔离的 fde/<id>
分支上，全套测试绿了才提交。main
机器不许碰，合入是人的动作。回路的终点，从一条已答复工单，挪到了一处已审查分支。
实践 4 延续这条前史：上面那些 FDE
回路，炼出了智能体今天加载的契约；现场支持回路，是同一套「判断 /
执行 / 证据」分工搬到用户跟前再用一遍。完整机制见机制分册的现场回路。
智能体不能压缩的部分
硬件
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
设计意图顺流进实现，代码、测试、部署、现场证据逆流回来，校准这份活的双向契约。
跨五个产品族：同一套工程体系，适配不同电台、协议、客户端、工作流、硬件门禁与证据边界。
循环的验收标准是安静的。节日夜里不敢无人值守的循环，不是循环，是带 cron
表达式的杂务。自动化的成色，不看它在你盯着时做了多少，看那个夜晚还在不在：两端是仪器，裁决归人，操作员坐在饭桌前，不坐在控制台前。演示见《月闭环》。
方法才是收成。七十亿 token 的账本，最后只留下一条不对称：模型能力定天花板，方法定你从天花板底下收上来多少；两个变量里，只有一个在你手里。模型每季度换代，契约每天变厚。前者是天气，后者是气候。账本见《七十亿 token 的全程拆解》。
三条轨道，而不是一条人为流水线
硬件与运行目标不同，架构也不同；共享的基础是控制权、媒体流、安全、可观测性与证据。
电台控制
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-12。 - 人保留裁决
- 真实台站上的 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-12。 - 人保留裁决
-
真机 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-12。 - 人保留裁决
-
所有靠观察而非数据手册得出的协议推断；非自家设计硬件上的
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-12。 - 人保留裁决
-
解码保真度对真实波段条件；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-12。 - 人保留裁决
- 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
证据影响后续设计，但不暗示代码或契约继承。
稀缺的是链接，不是节点
一百万个部件随机连线，连不出一颗大脑；一百个智能体互相对话，也谈不出集体理性。网络值多少，数节点数边数不出来：一套只能解释成功网络、解释不了噪声、失败、偏见和治理的连接理论，是不完整的。把复利式网络和噪声放大器分开的，是六个工程属性。本页的全部机制，就是给每条链接配齐这六个属性。完整论证见《链接为王》。
清晰语义
收发双方对含义有契约。本站的做法：双语本体加活体
SDD。CommandIntent
对智能体、约束注册表、人工审查，说的是同一句话。
可追溯来源
结论能顺藤摸瓜回到数据、模型版本、运行上下文。本站的做法：每项主张都带版本、环境、方法、日期；harness/index.json
不存内容，引用因此永不过时。
闭环反馈
系统要看动作生效没有，不把命令当成既成事实。本站的做法：CommandIntent ≠ StateReport，poll-stale-guard
这条约束，外加一条老老实实标成「发了就不回头」的发射路径。
有界权限
读、写、动作的权限都写明边界。本站的做法：控制租约、唯一串口所有者、PTT
权限、vendor-readonly，再加一个在落盘前就拦下编辑的
pre-edit hook。
故障隔离
一个点坏了，不能自动拖垮全网。本站的做法：超时回 RX、失效安全的行程限位、隔离的
fde/<id> 分支。main
机器不许碰。
可审查目标
「系统在优化什么」，人得能看懂、能质疑、能改。本站的做法：分类结果公开在
FDE 看板上，每条约束都带一个能拿来辩论的
sdd_ref，合入始终归人。
能力图旁边必须放一张责任图。凡让某物得以行动的链接，五个问题都得有具名答案：谁供的数据，谁选的目标，谁授权了行动，谁观察了后果，谁能喊停。能力链接与责任链接同步增长，递归式改进才可持续。所以本页追问的从来不是「最聪明的节点」，是「最可靠的网络」。
智能体动手之前，本体先加载
这不是文档习惯。同一套术语、边界、公理，三个地方都在用：智能体拿它当上下文，编辑前门禁拿它拦违规，人拿它做审查。它仍是一份靠产品证据撑着的轻量双语契约，不是 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
十七条，mrrc_modern 二十一条，mrrc_ft8 十四条（普查日期
2026-09-12）。每条规则带严重级别（
block /
warn / info），带指回架构裁决或真实事故的
sdd_ref，带 scope 通配与
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 的十一种机型 | 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
级主张抬级；约束再多，也省不掉一次台架验证。
证据只能快照，不能累积。没有截止时间的数字不是测量，是带小数点的传闻。所以本页每次普查都带日期；所以
token 账本诚实重跑之后，7,404,583,808（快照于
2026-09-12T02:40:59Z）换掉了那个同时在三个方向上出错的旧数字。两本账，互不为对方背书。完整解剖见《七十亿 token 的全程拆解》。
这条链的端到端复现（2026-09-12）
$ 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.25.5
Profile：十一种——FT-710、FTDX10、FTDX101D、FTDX101MP、FTX-1F、FT-891、IC-7300、IC-7300MK2、IC-705、IC-7610、IC-7760
自动化测试：1897 项
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.25.5 | 十一个机型 Profile；1897 项测试 | 自动化测试 | IC 真机验收单独记录。1897 项于 2026-10-11 在 macOS 上、用仓库自己的虚拟环境（Python 3.13）运行，无收集错误，取代 2026-09-12 快照（v1.14.3，724 项）。用系统 Python 3.9 跑同一套测试会在收集期因 X | None 注解失败，环境局限，非产品缺陷。 |
| 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——设备、功能、量与单位。