@archsight/aios 1.0.1 → 1.1.0

package/skills/README.md

@@ -6,7 +6,7 @@
 
 AIOS Skill 的差异化目标是让通用 AI Coding 工具在建筑行业平台研发中获得更专业的默认判断。所有 `aios-*` Skill 都继承这个行业取向；Skill 名称只表示任务分工，不表示只有某一个 Skill 才面向建筑行业。
 
-当项目涉及 BIM / IFC、建筑规范、智能审图、图纸 / 模型处理、RAG / GraphRAG、任务编排、审计证据链或长期平台演进时，`aios-ceo`、`aios-design`、`aios-plan`、`aios-exec`、`aios-review`、`aios-arch`、`aios-knowledge` 和 `aios-runtime` 都应把这些行业约束纳入判断。区别只是：`aios-ceo` 做建筑行业软件 / 系统的一把手深度评价，把产品定位、行业专业性、工程可信度、证据链和商业验证放到同一决策框架里；`aios-design` 判断界面方案能否支撑审查、定位、复核、追溯和交付，`aios-arch` 判断边界，`aios-knowledge` 判断行业语义，`aios-runtime` 判断 AI / RAG 运行时，`aios-plan` 拆交付，`aios-review` 查风险，`aios-exec` 做受控实现。
+当项目涉及 BIM / IFC、建筑规范、智能审图、图纸 / 模型处理、RAG / GraphRAG、任务编排、审计证据链、结构力学或长期平台演进时，`aios-ceo`、`aios-design`、`aios-plan`、`aios-exec`、`aios-review`、`aios-arch`、`aios-knowledge`、`aios-structural` 和 `aios-runtime` 都应把这些行业约束纳入判断。区别只是：`aios-ceo` 做建筑行业软件 / 系统的一把手深度评价，把产品定位、行业专业性、工程可信度、证据链和商业验证放到同一决策框架里；`aios-design` 判断界面方案能否支撑审查、定位、复核、追溯和交付，`aios-arch` 判断边界，`aios-knowledge` 判断行业语义，`aios-structural` 判断结构力学输入、求解链路和人工签审边界，`aios-runtime` 判断 AI / RAG 运行时，`aios-plan` 拆交付，`aios-review` 查风险，`aios-exec` 做受控实现。
 
 ## 适用性门槛
 
@@ -29,7 +29,7 @@ AIOS 是建筑行业增强层，不是通用任务替代器。装了 AIOS 后，
 - 如果不确定，先读 README、`.ai/project-context.md`、AGENTS / CLAUDE / GEMINI 入口和用户任务，再决定是否启用行业增强。
 - AIOS 的价值来自更准确的证据、边界、验证和行业判断，不来自更长的模板化输出。
 
-当前采用兼容 Codex 和 Gemini 的最小标准结构：
+当前采用兼容 Codex 和 Gemini 的最小标准结构：
 
 ```text
 skills/
@@ -37,9 +37,11 @@ skills/
     ├── SKILL.md
     └── agents/
         └── openai.yaml
-```
-
-使用方式：
+```
+
+Skill 可以继续用 `SKILL.md` 表达操作方法，但涉及确定性工具、规范查询、结构求解、安全扫描或测试门禁时，必须同时引用 `runtime/capability-registry.json` 中的 Capability，并按 `governance/arbitration-protocol.md` 输出证据。
+
+使用方式：
 
 - Codex：通过 `SKILL.md` frontmatter 的 `name` 和 `description` 自动识别触发。
 - Gemini：读取对应 `SKILL.md`，按其中的输入、工作流、输出格式和约束执行。
@@ -53,7 +55,8 @@ skills/
 | `aios-design` | 建筑行业平台界面方案、工作台体验、证据定位、复核追溯和前端实现交接评审。 |
 | `aios-plan` | 交付计划、任务拆解、依赖和验证顺序。 |
 | `aios-exec` | 有边界地改代码、修 bug、更新文档、运行验证。 |
-| `aios-review` | PR、diff、AI 生成代码、安全、证据链和测试缺口审查。 |
-| `aios-arch` | 架构边界、技术选型、长期复杂度和方案评审。 |
-| `aios-knowledge` | BIM、IFC、建筑规范、审图规则和知识结构化。 |
-| `aios-runtime` | Prompt、Context、Memory、MCP/Tool、RAG/GraphRAG 和多 Agent Runtime 设计。 |
+| `aios-review` | PR、diff、AI 生成代码、安全、证据链和测试缺口审查。 |
+| `aios-arch` | 架构边界、技术选型、长期复杂度和方案评审。 |
+| `aios-knowledge` | BIM、IFC、建筑规范、审图规则和知识结构化。 |
+| `aios-structural` | 结构力学、荷载、边界条件、FEM 和确定性求解链路评审。 |
+| `aios-runtime` | Prompt、Context、Memory、MCP/Tool、RAG/GraphRAG 和多 Agent Runtime 设计。 |

package/skills/aios-arch/SKILL.md

@@ -34,9 +34,10 @@ AIOS Arch 的目标是补足通用架构评审：在 AIOS 行业增强启用时
 - 需求背景和当前问题。
 - 相关目录、模块、接口或数据结构。
 - 现有代码、配置、契约、测试、脚本、部署入口和运行方式。
-- 已有设计方案或候选方案。
-- 约束条件：时间、成本、团队、技术栈、数据、权限、运行环境。
-- 已知风险、测试结果或失败记录。
+- 已有设计方案或候选方案。
+- 约束条件：时间、成本、团队、技术栈、数据、权限、运行环境。
+- 已知风险、测试结果或失败记录。
+- 可用 Capability、工具返回值、规范查询、结构求解、测试 / 构建 / 安全扫描证据。
 
 信息不足时，先列出缺口和可推进的最小判断，不要编造背景。
 
@@ -49,10 +50,12 @@ AIOS Arch 的目标是补足通用架构评审：在 AIOS 行业增强启用时
 5. 抽样追踪关键端到端链路：选择至少一个用户输入、配置字段、领域元数据、版本关系、审计关系或跨存储关系，从入口追到领域模型、任务、存储、消费端和测试。
 6. 按工程评审维度逐项审查：架构、实现质量、测试 / eval、性能 / 可运维性。
 7. 判断现有方案是否最小、稳定、可验证。
-8. 识别耦合点、复杂度来源、技术债、生产失效方式和后续迁移成本。
-9. 用 P0/P1/P2 或同等级别标注风险优先级；不要把所有问题写成平级 TODO。
-10. 给出推荐方案，并说明被拒绝方案和原因。
-11. 给 Mason、Daedalus、Argus 或 Hephaestus 标注后续交接点；工程拆解细节交给 Mason，不在 Atlas 报告里替代交付计划。
+8. 识别耦合点、复杂度来源、技术债、生产失效方式和后续迁移成本。
+9. 用 P0/P1/P2 或同等级别标注风险优先级；不要把所有问题写成平级 TODO。
+10. 做交付审查增强：输出事实刷新、历史结论 diff、领域风险 / 工程风险分类、任务化落点和第一步建议。
+11. 给出推荐方案，并说明被拒绝方案和原因。
+12. 对多 Agent 冲突输出 `Claim / Evidence / Tool Result / Decision`，按 `governance/arbitration-protocol.md` 仲裁。
+13. 给 Mason、Daedalus、Argus、Vitruvius、Euclid 或 Hephaestus 标注后续交接点；工程拆解细节交给 Mason，不在 Atlas 报告里替代交付计划。
 
 ## Step 0 范围挑战
 
@@ -68,7 +71,7 @@ AIOS Arch 的目标是补足通用架构评审：在 AIOS 行业增强启用时
 
 发现范围过大或方向不稳时，先给出 Reduce / Hold / Expand / Stop 的判断，再继续后续评审。
 
-## AIOS 默认检查项
+## AIOS 默认检查项
 
 当项目涉及智能审图、BIM / IFC、规范知识库、工程数据平台或相关后端服务时，至少检查：
 
@@ -77,11 +80,37 @@ AIOS Arch 的目标是补足通用架构评审：在 AIOS 行业增强启用时
 - 后端可靠性：长任务、文件处理、索引构建、缓存 key、任务状态、重试、幂等、多实例和恢复路径是否闭合。
 - 知识工程：规范原文、结构化规则、GraphRAG schema、向量索引、图谱关系、评估集和适用地区 / 版本是否分层。
 - 人机边界：哪些结论可自动化，哪些必须人工确认；不要把模型推断包装成工程安全结论。
-- 平台演进：一次性项目代码是否正在变成平台能力；若是，必须评估迁移成本、租户 / 项目隔离和治理入口。
-
-## 工程评审维度
-
-参考工程计划评审方法，架构评审至少覆盖四类问题：
+- 平台演进：一次性项目代码是否正在变成平台能力；若是，必须评估迁移成本、租户 / 项目隔离和治理入口。
+
+## 交付审查增强
+
+当评审对象是实现计划、架构报告、历史评审、待交付 feature 或当前代码健康度时，`aios-arch` 必须像工程交付审查器一样收口结果，避免只停留在领域治理判断。
+
+强制输出这些内容：
+
+1. 本次事实刷新：列出从当前代码、配置、契约、测试或部署入口新确认的事实。
+2. 已过期判断：列出历史报告、旧计划或用户假设中已经被当前代码事实替代的判断；没有发现也要写“未发现明显过期判断”。
+3. 与既有报告 diff：说明哪些结论继承、哪些修正、哪些新增；如果没有既有报告，写“无既有报告输入”。
+4. 风险分类：每个 P0/P1/P2 发现必须标注为 `领域风险`、`工程风险` 或 `混合风险`。
+5. 可执行落点：每个 P0/P1/P2 发现必须写到文件 / 模块、最小改动范围和验证命令或测试路径；无法定位时标为 `Need verify`，不要编造路径。
+6. 第一小步：最后给出“现在最该做的一件小事”，必须是低风险、可验证、能推进主风险收敛的动作。
+
+发现格式：
+
+```text
+编号：
+分级：P0 / P1 / P2
+类型：领域风险 / 工程风险 / 混合风险
+事实依据：<文件、接口、配置、测试或报告位置>
+影响：<静默失败、错误结论、生产不可恢复、审计缺口等>
+最小改动：<文件 / 模块 + 改动范围>
+验证：<命令、测试文件或人工验收路径>
+置信度：1-10
+```
+
+## 工程评审维度
+
+参考工程计划评审方法，架构评审至少覆盖四类问题：
 
 1. Architecture：组件边界、依赖图、数据流、单点故障、安全边界、分发 / 发布架构。
 2. Implementation Quality：模块组织、错误处理、状态管理、过度抽象、重复建设、图示或注释是否会过期。
@@ -104,15 +133,22 @@ AIOS Arch 的目标是补足通用架构评审：在 AIOS 行业增强启用时
 
 - 范围挑战：当前范围是否被接受，哪些事项不在本轮范围内。
 - 已有能力：项目中应复用的模块、契约、测试、脚本或治理资产。
-- What Already Exists：已有能力是否被复用，是否存在重复建设。
-- NOT in scope：明确不做的事项和理由。
-- 风险分级：P0/P1/P2 或等效优先级，说明影响和验证方式。
-- Failure Modes：关键路径的生产失败方式、当前覆盖和用户可见性。
-- Coverage Map：代码路径、用户路径、异常路径和 eval 覆盖情况。
-- Parallel Lanes：可并行 workstream、依赖、冲突点和合并顺序。
-- `Rejected:` 被拒绝的备选方案及原因。
-- `Assumption:` 当前判断依赖的假设。
-- `Need verify:` 必须继续验证的点。
+- What Already Exists：已有能力是否被复用，是否存在重复建设。
+- 本次事实刷新：本轮从代码、契约、测试或部署入口确认的新事实。
+- 已过期判断：历史报告或旧假设中被当前事实替代的内容。
+- 与既有报告 diff：继承、修正和新增的结论。
+- NOT in scope：明确不做的事项和理由。
+- 风险分级：P0/P1/P2 或等效优先级，说明影响和验证方式。
+- 风险分类：领域风险、工程风险或混合风险。
+- Failure Modes：关键路径的生产失败方式、当前覆盖和用户可见性。
+- Coverage Map：代码路径、用户路径、异常路径和 eval 覆盖情况。
+- Parallel Lanes：可并行 workstream、依赖、冲突点和合并顺序。
+- Implementation Tasks：由发现直接生成的任务清单，包含文件、验证和优先级。
+- Claim / Evidence / Tool Result / Decision：Agent 冲突、工具返回值和仲裁结论。
+- 第一小步：当前最该做的一件小事。
+- `Rejected:` 被拒绝的备选方案及原因。
+- `Assumption:` 当前判断依赖的假设。
+- `Need verify:` 必须继续验证的点。
 
 ## 代码事实与补充检查规则
 
@@ -126,8 +162,10 @@ AIOS Arch 的目标是补足通用架构评审：在 AIOS 行业增强启用时
 - 严格区分 `Assumption` 和 `Need verify`；不要把“2 个假设 + 3 个待验证项”写成“3 个假设”。
 - 如果已有评审已经触及多实例、缓存、单例或进程内状态风险，但没有展开完整策略，应表述为“已触及但未系统展开”，不要写成完全未覆盖。
 - 如果为了避免结论污染而做独立重评，仍要把历史 P0/P1 或用户点名的旧发现列为“回归防漏清单”；逐项确认“已修复 / 已吸收进更大问题 / 仍独立存在 / 无法判断”。
-- 不要把“字段存在”误判为“链路贯通”。凡是字段、关系或元数据跨越 UI、API、后台任务、领域模型、图谱/数据库、检索和报告展示，必须至少追踪一个完整路径。
-- 抽象发现不能吞掉具体断链。若某个断链被归入“元数据不足”“审计边界不足”等更大主题，输出中仍需保留独立的断点、影响、验收项或 `Need verify`。
+- 不要把“字段存在”误判为“链路贯通”。凡是字段、关系或元数据跨越 UI、API、后台任务、领域模型、图谱/数据库、检索和报告展示，必须至少追踪一个完整路径。
+- 抽象发现不能吞掉具体断链。若某个断链被归入“元数据不足”“审计边界不足”等更大主题，输出中仍需保留独立的断点、影响、验收项或 `Need verify`。
+- 每个高优先级结论必须说明“是领域风险还是工程风险”：例如规范版本关系缺失属于领域风险或混合风险，后台任务进程内状态属于工程风险。
+- 报告最后必须给出可直接进入 `aios-plan` 的任务清单；每个任务来源必须能回溯到一个具体发现，不为凑数生成任务。
 
 ## 端到端链路抽样
 

package/skills/aios-ceo/SKILL.md

@@ -41,7 +41,8 @@ description: 一把手深度评审工作流。用于在 AIOS 建筑行业增强
 - 当前代码、目录、接口契约、schema、配置、部署入口、测试和自动化门禁。
 - 项目规则：README、`.ai/`、架构文档、ADR、路线图、验收标准和历史计划。
 - 行业语义资产：BIM / IFC / CAD 数据模型、规范条文、审图规则、知识库、评估集、人工复核口径。
-- 生产可信度证据：真实数据库、对象存储、图谱、向量库、模型服务、IAM、审计、监控、备份恢复和回滚验证。
+- 生产可信度证据：真实数据库、对象存储、图谱、向量库、模型服务、IAM、审计、监控、备份恢复和回滚验证。
+- 仲裁证据：关键 Claim、Capability 返回值、阻断规则、人工升级项和已拒绝方案。
 
 信息不足时，先列出缺口和可推进的最小判断，不要编造客户、收入、市场、规范结论或工程验证事实。
 
@@ -80,9 +81,10 @@ description: 一把手深度评审工作流。用于在 AIOS 建筑行业增强
    - Hold：范围合适，应提高验证和执行严谨度。
    - Reduce：范围过大，应收缩到最小可验证版本。
    - Stop：缺少真实需求或证据，应暂停立项。
-9. 区分三类成熟度：工程进展、生产可信度、商业验证。三者不能互相替代。
-10. 给出阶段路线：验证阶段、MVP 阶段、产品化阶段、平台化阶段。
-11. 标注交接点：商业和定位交给 Janus；架构专项交给 Atlas；交付计划交给 Mason；行业语义专项交给 Vitruvius；Runtime 专项交给 Daedalus；实现和验证交给 Hephaestus。
+9. 区分三类成熟度：工程进展、生产可信度、商业验证。三者不能互相替代。
+10. 给出阶段路线：验证阶段、MVP 阶段、产品化阶段、平台化阶段。
+11. 对技术、规范、结构计算或安全冲突引用仲裁证据，不替代专项 Agent 和 Capability 结论。
+12. 标注交接点：商业和定位交给 Janus；架构专项交给 Atlas；交付计划交给 Mason；行业语义专项交给 Vitruvius；结构求解链路交给 Euclid；Runtime 专项交给 Daedalus；实现和验证交给 Hephaestus。
 
 ## 建筑行业深评维度
 
@@ -165,10 +167,11 @@ AIOS 行业增强启用后，评审建筑行业软件或系统时，至少从这
 
 ## 约束
 
-- 可以引用架构、交付、Runtime、行业语义和工程事实作为 CEO 判断依据，但不替代专项 Skill 给出最终设计。
-- 不替代 Atlas 做详细技术架构设计。
-- 不替代 Mason 拆详细工程排期。
-- 不替代 Vitruvius 给出规范条文或工程专业最终结论。
+- 可以引用架构、交付、Runtime、行业语义和工程事实作为 CEO 判断依据，但不替代专项 Skill 给出最终设计。
+- 不替代 Atlas 做详细技术架构设计。
+- 不替代 Mason 拆详细工程排期。
+- 不替代 Vitruvius 给出规范条文或工程专业最终结论。
+- 不替代 Euclid、求解器或注册工程师给出结构安全最终结论。
 - 不把愿景包装成已验证商业事实。
 - 不把工程门禁通过包装成生产可信度或商业验证。
 - 不把模型推断、演示样例或样板数据包装成真实行业结论。

package/skills/aios-exec/SKILL.md

@@ -26,8 +26,9 @@ description: 受控执行工作流。用于在明确范围内改代码、修 bug
 - 明确任务和完成标准。
 - 改动范围和禁止触碰范围。
 - 相关文件、错误日志、测试失败或审查意见。
-- 项目入口文档、Makefile、scripts、测试命令。
-- Atlas、Mason、Argus 或 Daedalus 的约束。
+- 项目入口文档、Makefile、scripts、测试命令。
+- Atlas、Mason、Argus 或 Daedalus 的约束。
+- Capability 阻断项、`repo.test_runner` 等验证能力和仲裁 Decision，如存在。
 
 ## 工作流
 
@@ -35,9 +36,10 @@ description: 受控执行工作流。用于在明确范围内改代码、修 bug
 2. 明确验收标准：功能、测试、构建、文档或人工验证。
 3. 定位相关文件；不要无差别重构。
 4. 做最小改动；复用现有工具和模式。
-5. 运行合适验证：lint、typecheck、test、build、脚本或人工检查。
-6. 验证失败时继续迭代；无法继续时说明阻塞和证据。
-7. 汇报修改文件、验证结果和剩余风险。
+5. 运行合适验证：lint、typecheck、test、build、脚本或人工检查。
+6. 将验证命令、退出码和摘要作为 `Tool Result` 证据；失败时继续迭代或按仲裁协议停止。
+7. 验证失败时继续迭代；无法继续时说明阻塞和证据。
+8. 汇报修改文件、验证结果和剩余风险。
 
 ## 输出格式
 
@@ -45,9 +47,10 @@ description: 受控执行工作流。用于在明确范围内改代码、修 bug
 
 1. 变更摘要
 2. 修改文件
-3. 验证结果
-4. 剩余风险
-5. 后续动作
+3. 验证结果
+4. Tool Result / Decision
+5. 剩余风险
+6. 后续动作
 
 执行记录建议格式：
 

package/skills/aios-knowledge/SKILL.md

@@ -23,18 +23,20 @@ description: 建筑知识结构化工作流。用于整理 BIM、IFC、建筑规
 
 - 规范条文、标准文档或业务规则。
 - BIM / IFC 数据结构、字段、实体和关系。
-- 业务流程：设计、招采、施工、交付、审图。
-- 目标输出：知识库、GraphRAG、知识图谱、审查规则、产品功能。
-- 版本、适用范围、地区、项目类型等约束。
+- 业务流程：设计、招采、施工、交付、审图。
+- 目标输出：知识库、GraphRAG、知识图谱、审查规则、产品功能。
+- 版本、适用范围、地区、项目类型等约束。
+- 可用 Capability，例如 `knowledge.norm_lookup`，以及规范来源、版本、地区、专业和页码证据。
 
 ## 工作流
 
 1. 明确领域对象：构件、空间、专业、阶段、规范条文、审查项、交付物。
 2. 区分规范原文、工程经验、业务假设和模型推断。
 3. 拆解条文：适用范围、检查对象、触发条件、判定逻辑、例外情况。
-4. 设计结构化表达：实体、属性、关系、标签、版本和来源。
-5. 标注冲突、歧义、缺失上下文和待核验项。
-6. 将可自动化部分交给 Daedalus / Hephaestus，将行业判断风险交给人工确认。
+4. 设计结构化表达：实体、属性、关系、标签、版本和来源。
+5. 标注冲突、歧义、缺失上下文和待核验项。
+6. 能调用或要求 Capability 时，输出 `Tool Result`；不能调用时标注 `Need tool implementation`。
+7. 将可自动化部分交给 Daedalus / Hephaestus，将结构求解链路交给 Euclid，将行业判断风险交给人工确认。
 
 ## 输出格式
 
@@ -43,9 +45,10 @@ description: 建筑知识结构化工作流。用于整理 BIM、IFC、建筑规
 1. 结论
 2. 行业语义判断
 3. 适用条件
-4. 结构化建议
-5. 风险与待核验项
-6. 后续动作
+4. 结构化建议
+5. 风险与待核验项
+6. Capability 证据 / Tool Result
+7. 后续动作
 
 规则条目建议格式：
 

package/skills/aios-plan/SKILL.md

@@ -23,24 +23,29 @@ description: 工程交付规划工作流。用于把功能、bug 修复、架构
 
 优先收集：
 
-- 需求目标或问题描述。
-- Atlas 的架构约束，如存在。
-- 当前项目结构、模块边界、脚本入口和测试方式。
-- 影响范围、交付时间、发布约束。
-- 已知风险和必须保留的行为。
+- 需求目标或问题描述。
+- Atlas 的架构约束，如存在。
+- 架构评审中的本次事实刷新、已过期判断、P0/P1/P2 发现、领域风险 / 工程风险分类和第一小步建议，如存在。
+- 仲裁协议中的阻断项、Capability 证据和待人工升级事项，如存在。
+- 当前项目结构、模块边界、脚本入口和测试方式。
+- 影响范围、交付时间、发布约束。
+- 已知风险和必须保留的行为。
 
 ## 工作流
 
 1. 确认完成标准：什么状态算完成，如何验证。
-2. 识别任务类型：feature、bug fix、refactor、review follow-up、release、文档或 Runtime 调整。
-3. 盘点已有能力：确认哪些模块、脚本、契约和测试应复用，避免把架构评审发现误拆成重建任务。
-4. 拆分任务：前端、后端、数据、知识、Runtime、测试、文档、交付。
-5. 标注依赖关系：哪些任务必须先完成，哪些可并行。
-6. 识别 workstream：给每条并行线标注触达模块、依赖、冲突点和合并顺序。
-7. 建立 Failure Modes：列出关键路径的生产失败方式、现有覆盖、错误处理、用户可见性和风险级别。
-8. 定义每个任务的输入、输出、改动范围和验收方式。
-9. 指定交接对象：Hephaestus 执行、Argus 审查、Daedalus 处理 Runtime、Vitruvius 判断行业语义。
-10. 明确发布、回滚、人工确认点。
+2. 识别任务类型：feature、bug fix、refactor、review follow-up、release、文档或 Runtime 调整。
+3. 盘点已有能力：确认哪些模块、脚本、契约和测试应复用，避免把架构评审发现误拆成重建任务。
+4. 先处理事实刷新：把已过期判断从计划中移除或降级，不让旧报告继续驱动任务排序。
+5. 拆分任务：前端、后端、数据、知识、Runtime、测试、文档、交付。
+6. 标注依赖关系：哪些任务必须先完成，哪些可并行。
+7. 识别 workstream：给每条并行线标注触达模块、依赖、冲突点和合并顺序。
+8. 建立 Failure Modes：列出关键路径的生产失败方式、现有覆盖、错误处理、用户可见性和风险级别。
+9. 定义每个任务的输入、输出、改动范围和验收方式；每个 P0/P1/P2 任务必须包含文件 / 模块、预计改动范围和验证命令。
+10. 对 Capability 阻断项标注 `blocked_by`，不把未通过工具或证据门禁的任务交给执行 Agent。
+11. 指定交接对象：Hephaestus 执行、Argus 审查、Daedalus 处理 Runtime、Vitruvius 判断行业语义、Euclid 判断结构求解链路。
+12. 明确发布、回滚、人工确认点。
+13. 最后给出第一小步：当前最该做、最小、可验证的一个任务。
 
 ## 输出格式
 
@@ -55,20 +60,25 @@ description: 工程交付规划工作流。用于把功能、bug 修复、架构
 
 必要时补充：
 
-- What Already Exists：已有能力和复用判断。
-- Failure Modes：关键路径、失败方式、测试覆盖、错误处理、用户可见性、级别。
-- Parallel Lanes：并行 workstream、触达模块、依赖、冲突标记、后置任务。
-- Test Gaps：用具体数据流或命令描述测试缺口，不只写“补测试”。
-
-任务条目建议格式：
-
-```text
-任务：
-范围：
-输入：
-输出：
-依赖：
-验证：
+- What Already Exists：已有能力和复用判断。
+- Fact Refresh：本轮计划依据的当前代码事实，以及被剔除或降级的旧判断。
+- Failure Modes：关键路径、失败方式、测试覆盖、错误处理、用户可见性、级别。
+- Parallel Lanes：并行 workstream、触达模块、依赖、冲突标记、后置任务。
+- Test Gaps：用具体数据流或命令描述测试缺口，不只写“补测试”。
+- Arbitration：阻断 Claim、Capability 证据、人工升级点和当前 Decision。
+- First Step：当前最该执行的一件小事，说明为什么优先。
+
+任务条目建议格式：
+
+```text
+任务：
+分级：P0 / P1 / P2
+类型：领域风险 / 工程风险 / 混合风险
+范围：
+输入：
+输出：
+依赖：
+验证：
 风险：
 ```
 

package/skills/aios-review/SKILL.md

@@ -25,18 +25,20 @@ description: 代码审查和风险评审工作流。用于审查 diff、PR、AI
 
 - diff、PR、提交或相关代码片段。
 - 需求背景和预期行为。
-- 测试、lint、typecheck、构建或安全扫描结果。
-- 相关架构约束、权限约束、Runtime 配置。
-- AI 生成代码的来源和改动范围。
+- 测试、lint、typecheck、构建或安全扫描结果。
+- 相关架构约束、权限约束、Runtime 配置。
+- Capability 工具返回值、仲裁 Claim 和阻断规则，如存在。
+- AI 生成代码的来源和改动范围。
 
 ## 工作流
 
 1. 先理解需求和预期行为，再看 diff。
 2. 按风险顺序审查：正确性、安全、权限、数据、性能、可维护性、测试。
 3. 检查是否扩大需求范围、修改无关文件或引入不必要抽象。
-4. 对 Prompt、Tool Calling、MCP、Memory、RAG 相关改动检查注入、越权和数据污染风险。
-5. 区分阻断问题、非阻断建议和风格偏好。
-6. 没有问题时明确说明剩余未验证项。
+4. 对 Prompt、Tool Calling、MCP、Memory、RAG 相关改动检查注入、越权和数据污染风险。
+5. 对测试、规范、结构求解、安全扫描等 Capability 结果检查输入、版本、适用条件和执行状态。
+6. 区分阻断问题、非阻断建议和风格偏好。
+7. 没有问题时明确说明剩余未验证项。
 
 ## 输出格式
 
@@ -44,9 +46,10 @@ description: 代码审查和风险评审工作流。用于审查 diff、PR、AI
 
 1. 阻断问题
 2. 非阻断建议
-3. 测试缺口
-4. 剩余风险
-5. 结论
+3. 测试缺口
+4. Tool Result / Arbitration
+5. 剩余风险
+6. 结论
 
 单个发现格式：
 

package/skills/aios-runtime/SKILL.md

@@ -24,9 +24,10 @@ description: 高级 Runtime 和知识管线设计入口。用于设计 Prompt、
 优先收集：
 
 - Agent 角色资产、system prompt 或 workflow。
-- 目标运行时约束，例如本地 Agent、Hermes、OpenClaw、飞书机器人或其他协作入口。
-- 工具清单、权限、输入输出 schema。
-- RAG / GraphRAG 数据源、索引、评估需求。
+- 目标运行时约束，例如本地 Agent、Hermes、OpenClaw、飞书机器人或其他协作入口。
+- 工具清单、权限、输入输出 schema。
+- Capability 注册表、工具权限、输入输出 schema、证据契约和仲裁阻断规则。
+- RAG / GraphRAG 数据源、索引、评估需求。
 - 当前上下文、记忆、检索或工具调用失败案例。
 
 ## 工作流
@@ -34,10 +35,11 @@ description: 高级 Runtime 和知识管线设计入口。用于设计 Prompt、
 1. 明确 Runtime 边界：Source、Runtime、Instance 分别是什么。
 2. 压缩上下文：只保留任务必要信息，避免完整仓库或完整角色文件夹直接进入运行时。
 3. 设计 Prompt：角色、职责、边界、输入、输出、风格、升级路径。
-4. 设计 Memory：写入条件、读取策略、过期和清理机制。
-5. 设计 Tool Calling：权限最小化、schema、审计、人工确认点。
-6. 设计 RAG / GraphRAG：chunk、实体、关系、索引、检索、引用、评估。
-7. 指定安全审查和验证：交给 Argus 复核注入、越权和数据污染风险。
+4. 设计 Memory：写入条件、读取策略、过期和清理机制。
+5. 设计 Tool Calling / Capability：权限最小化、schema、证据契约、审计、人工确认点。
+6. 设计 RAG / GraphRAG：chunk、实体、关系、索引、检索、引用、评估。
+7. 对工具失败、权限扩大、证据缺失和 Agent 冲突输出 `Claim / Evidence / Tool Result / Decision`。
+8. 指定安全审查和验证：交给 Argus 复核注入、越权和数据污染风险。
 
 ## 输出格式
 
@@ -45,10 +47,11 @@ description: 高级 Runtime 和知识管线设计入口。用于设计 Prompt、
 
 1. 结论
 2. Runtime 设计
-3. Context / Memory 策略
-4. Tool 权限边界
-5. 评估与风险
-6. 后续动作
+3. Context / Memory 策略
+4. Tool 权限边界
+5. Capability Registry / 仲裁门禁
+6. 评估与风险
+7. 后续动作
 
 Runtime 条目建议格式：
 

package/skills/aios-structural/SKILL.md

@@ -0,0 +1,67 @@
+---
+name: aios-structural
+description: 结构力学与数值求解评审工作流。用于评估梁、桁架、荷载、边界条件、FEM 输入输出和结构计算工具链；必须优先调用或要求确定性求解器证据，不用 LLM 直接口算工程结论。
+---
+
+# AIOS Structural
+
+## 目标
+
+以 Euclid（结构力学专家）的方式评审结构力学、荷载、边界条件和数值求解链路。
+
+本 Skill 的目标不是让大模型替代结构工程师或求解器，而是把结构问题拆成可验证输入、可调用工具、可复核输出和人工签审边界。
+
+## 输入
+
+- 构件类型、几何尺寸、材料属性、荷载、边界条件和单位。
+- 适用规范、地区、专业、版本和项目工况。
+- 现有计算书、测试数据、求解器接口或脚本。
+- 需要回答的问题：建模评审、工具调用准备、结果解释或风险识别。
+
+信息不足时，先列缺口，不得补猜单位、荷载组合或约束条件。
+
+## Capability
+
+优先使用或要求以下能力证据：
+
+| Capability | 用途 | 证据等级 |
+| --- | --- | --- |
+| `solver.beam_deflection` | 梁挠度确定性计算接口示例 | L1 |
+| `solver.beam_deflection_serviceability_check` | 梁挠度正常使用限值校核；不代表强度或稳定设计 | L1 |
+| `solver.frame_displacement` | 二维平面框架位移和控制节点求解 | L1 |
+| `solver.truss_member_force` | 二维平面桁架杆件轴力求解 | L1 |
+| `knowledge.norm_lookup` | 规范条文、版本和适用条件查询 | L3 |
+
+如果项目没有实现对应 Adapter，输出必须标注 `Need tool implementation`，并只给建模和验证建议，不输出确定数值结论。
+
+## 工作流
+
+1. 明确问题类型：参数提取、建模边界、求解器调用、结果解释、规范适用性或签审风险。
+2. 校验输入完整性：单位、荷载组合、边界条件、材料属性、截面参数、适用规范和工况。
+3. 将自然语言问题转换为结构化工具输入；缺字段时停止在 `Need verify`。
+4. 调用或要求确定性求解器证据；不得由 LLM 自行完成关键数值计算。
+5. 将工具结果转成工程说明，保留输入、公式 / 求解器版本、单位和警告。
+6. 判断是否需要 Vitruvius 做规范语义核验，或升级给人工结构工程师。
+
+## 输出格式
+
+1. 结论
+2. 已知条件
+3. 缺失输入 / Need verify
+4. Capability 调用计划或工具结果
+5. 建模 / 计算建议
+6. 风险和人工升级点
+
+必要时补充：
+
+- `Claim:` 结构判断。
+- `Tool Result:` 求解器或规范查询返回值摘要。
+- `Rejected:` 被拒绝的建模或计算路径及原因。
+- `Need tool implementation:` 当前项目缺少的 Adapter。
+
+## 约束
+
+- 不替代注册结构工程师、工程签章或法规合规最终判定。
+- 不在缺少单位、荷载组合、边界条件或材料参数时输出确定结论。
+- 不把 LLM 推理、样例公式或常识估算包装成求解器结果。
+- 不绕过测试、规范核验或人工复核发布结构安全结论。

package/skills/aios-structural/agents/openai.yaml

@@ -0,0 +1,4 @@
+interface:
+  display_name: "AIOS Structural"
+  short_description: "结构力学、荷载、边界条件和确定性求解链路评审"
+  default_prompt: "当任务涉及梁、桁架、FEM、荷载、边界条件、结构计算工具或结构工程证据链时，使用该高级技能。必须优先要求确定性求解器和规范查询证据，不用 LLM 直接口算工程结论。"

package/templates/project-ai/.ai/ARCHSIGHT_AIOS_RULES.md

@@ -9,10 +9,11 @@
 
 - Agent 路由。
 - Skill 选择。
-- Workflow 编排。
-- 交付验证。
-- BIM / IFC / 建筑行业语义（仅在项目启用相关 profile 或任务明确涉及时）。
-- AI Runtime / RAG / GraphRAG / MCP。
+- Workflow 编排。
+- 交付验证。
+- Capability 工具证据和冲突仲裁。
+- BIM / IFC / 建筑行业语义（仅在项目启用相关 profile 或任务明确涉及时）。
+- AI Runtime / RAG / GraphRAG / MCP。
 - AI 生成代码审查。
 
 ## 必读文件
@@ -21,11 +22,11 @@
 
 - `.ai/project-context.md`
 - `.ai/agent-routing.md`
-- `.ai/skills.md`
-- `.ai/workflows.md`
-- `.ai/profiles/*.md`（如当前项目启用了 profile）
-
-## 边界
+- `.ai/skills.md`
+- `.ai/workflows.md`
+- `.ai/profiles/*.md`（如当前项目启用了 profile）
+
+## 边界
 
 - AIOS 只补充项目级路由和工作流，不替代当前项目代码、测试、构建和发布事实。
 - 当前项目事实优先于 AIOS 通用模板。
@@ -34,4 +35,6 @@
 - AIOS 是建筑行业增强层，不是通用任务替代器；普通非建筑任务优先使用宿主工具的通用能力。
 - 建筑行业能力通过 profile 和任务上下文启用；未启用时，不得把 BIM、IFC、GraphRAG 或审图场景当作项目默认事实，也不得把规范或工程证据链当作项目默认事实。
 - 如果是否属于建筑行业任务不明确，先读取 `.ai/project-context.md`、README 和用户任务事实；仍不明确时按通用工程任务处理，并说明未启用行业增强。
-- 未经验证不得声称代码、测试、构建、部署或审查已完成。
+- 未经验证不得声称代码、测试、构建、部署或审查已完成。
+- 多 Agent 结论冲突时，优先采纳确定性工具、项目事实和结构化知识证据；自然语言推理只能作为假设或建议。
+- 涉及法规合规最终结论、结构安全结论、生产授权、权限扩大或商业范围取舍时，必须升级给人类负责人。

package/templates/project-ai/.ai/agent-routing.md

@@ -15,16 +15,18 @@
 | 类型 | 含义 |
 | --- | --- |
 | Agent | 谁来做 |
-| Skill | 怎么做 |
-| Workflow | 什么时候做、按什么顺序做 |
-| Runtime | 在哪里运行 |
+| Skill | 怎么做 |
+| Workflow | 什么时候做、按什么顺序做 |
+| Runtime | 在哪里运行 |
+| Capability | 用什么确定性工具或结构化知识提供证据 |
 
 ## 泛化边界
 
 - 当前项目事实优先于 AIOS 通用角色说明。
 - Hermes、飞书、OpenClaw、Codex、Claude、Gemini 等都是可选运行入口；未启用时不得写入项目假设。
-- 建筑、BIM、IFC、规范、审图和 RAG / GraphRAG 知识工程能力通过 profile 或明确任务触发；普通项目不默认启用这些语义。
-- AIOS 是建筑行业增强层；普通非建筑任务优先使用宿主工具的通用能力，不因为安装了 AIOS 就强制套用 `aios-*` Skill。
+- 建筑、BIM、IFC、规范、审图和 RAG / GraphRAG 知识工程能力通过 profile 或明确任务触发；普通项目不默认启用这些语义。
+- AIOS 是建筑行业增强层；普通非建筑任务优先使用宿主工具的通用能力，不因为安装了 AIOS 就强制套用 `aios-*` Skill。
+- 冲突仲裁按证据等级处理：人类硬约束、确定性工具、项目事实、结构化知识优先于 Agent 自然语言判断。
 
 ## 默认任务路由
 
@@ -34,10 +36,11 @@
 | 建筑行业平台 UI / UX 设计方案、工作台体验、前端实现交接 | Janus | 产品策略官 |
 | 建筑行业项目架构评审、技术选型、服务边界 | Atlas | 总架构师 |
 | 建筑行业项目任务拆解、交付顺序、CI/CD | Mason | 工程总工 |
-| 建筑行业项目 Code Review、安全、性能、技术债 | Argus | 代码审查官 |
-| BIM、IFC、建筑规范、审图逻辑 | Vitruvius | 建筑数字化专家 |
-| 建筑行业 RAG、GraphRAG、MCP、Memory、Tool Calling | Daedalus | AI 研发工程师 |
-| 建筑行业项目代码修改、脚本执行、测试、文档生成 | Hephaestus | 受控执行官 |
+| 建筑行业项目 Code Review、安全、性能、技术债 | Argus | 代码审查官 |
+| BIM、IFC、建筑规范、审图逻辑 | Vitruvius | 建筑数字化专家 |
+| 结构力学、荷载、FEM、结构计算工具链 | Euclid | 结构力学专家 |
+| 建筑行业 RAG、GraphRAG、MCP、Memory、Tool Calling | Daedalus | AI 研发工程师 |
+| 建筑行业项目代码修改、脚本执行、测试、文档生成 | Hephaestus | 受控执行官 |
 
 ## 升级规则
 
@@ -46,6 +49,8 @@
 - 涉及页面方案、工作台体验、交互状态和前端实现交接：升级给 Janus，并使用 `aios-design`。
 - 涉及多模块交付、任务依赖、发布顺序：升级给 Mason。
 - 涉及权限、安全、生产发布、AI 生成代码：升级给 Argus。
-- 涉及行业规范、BIM / IFC、审图语义：升级给 Vitruvius。
-- 涉及 RAG、GraphRAG、MCP、Memory、Tool：升级给 Daedalus。
-- 具体实现和验证：交给 Hephaestus。
+- 涉及行业规范、BIM / IFC、审图语义：升级给 Vitruvius。
+- 涉及结构力学、荷载、边界条件、FEM 或结构计算工具链：升级给 Euclid。
+- 涉及 RAG、GraphRAG、MCP、Memory、Tool：升级给 Daedalus。
+- 具体实现和验证：交给 Hephaestus。
+- Capability 返回阻断结果、证据缺失或工具不可用：停止执行并输出 `Claim / Evidence / Tool Result / Decision`。