@archsight/aios 1.0.1 → 1.1.0

package/runtime/capability-registry.json

@@ -0,0 +1,458 @@
+{
+  "schema": 1,
+  "description": "ArchSight AIOS 最小 Capability 注册表。注册表定义接口、权限边界和证据契约；本地工具适配器由 runtime/capability-adapters.json 声明。",
+  "capabilities": [
+    {
+      "id": "repo.test_runner",
+      "type": "verification",
+      "ownerAgents": ["hephaestus", "argus", "mason"],
+      "allowedSkills": ["aios-exec", "aios-review", "aios-plan"],
+      "authorityLevel": "L1",
+      "description": "运行项目声明的测试、构建、lint、typecheck 或 smoke 命令，并把退出码和摘要作为交付仲裁证据。",
+      "status": "adapter-required",
+      "inputSchema": {
+        "type": "object",
+        "required": ["cwd", "command"],
+        "properties": {
+          "cwd": {
+            "type": "string"
+          },
+          "command": {
+            "type": "string"
+          },
+          "timeoutSeconds": {
+            "type": "integer",
+            "minimum": 1
+          }
+        }
+      },
+      "outputSchema": {
+        "type": "object",
+        "required": ["status", "exitCode", "command", "stdoutSummary", "stderrSummary"],
+        "properties": {
+          "status": {
+            "type": "string",
+            "enum": ["pass", "fail", "error"]
+          },
+          "exitCode": {
+            "type": "integer"
+          },
+          "command": {
+            "type": "string"
+          },
+          "stdoutSummary": {
+            "type": "string"
+          },
+          "stderrSummary": {
+            "type": "string"
+          },
+          "artifacts": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          }
+        }
+      },
+      "evidenceContract": {
+        "requiredFields": ["command", "exitCode", "status"],
+        "invalidWhenMissing": ["command", "exitCode", "status"]
+      },
+      "blockingRules": [
+        {
+          "when": "status == fail",
+          "severity": "P0",
+          "action": "block"
+        },
+        {
+          "when": "status == error",
+          "severity": "P1",
+          "action": "hold"
+        }
+      ],
+      "humanEscalation": ["skip_required_tests", "production_release_after_failed_check"]
+    },
+    {
+      "id": "knowledge.norm_lookup",
+      "type": "compliance_lookup",
+      "ownerAgents": ["vitruvius", "athena"],
+      "allowedSkills": ["aios-knowledge", "aios-arch", "aios-ceo"],
+      "authorityLevel": "L3",
+      "description": "按地区、专业、版本、条文和适用条件检索规范知识，返回可追溯引用和适用性判断。",
+      "status": "declared-interface",
+      "inputSchema": {
+        "type": "object",
+        "required": ["query"],
+        "properties": {
+          "query": {
+            "type": "string"
+          },
+          "region": {
+            "type": "string"
+          },
+          "discipline": {
+            "type": "string"
+          },
+          "sourceVersion": {
+            "type": "string"
+          },
+          "projectCondition": {
+            "type": "string"
+          }
+        }
+      },
+      "outputSchema": {
+        "type": "object",
+        "required": ["status", "citations", "applicability"],
+        "properties": {
+          "status": {
+            "type": "string",
+            "enum": ["found", "not_found", "conflict", "inapplicable", "error"]
+          },
+          "citations": {
+            "type": "array",
+            "items": {
+              "type": "object"
+            }
+          },
+          "applicability": {
+            "type": "string",
+            "enum": ["applicable", "not_applicable", "need_context"]
+          },
+          "sourceVersion": {
+            "type": "string"
+          },
+          "notes": {
+            "type": "string"
+          }
+        }
+      },
+      "evidenceContract": {
+        "requiredFields": ["status", "citations", "applicability", "sourceVersion"],
+        "invalidWhenMissing": ["citations", "applicability", "sourceVersion"]
+      },
+      "blockingRules": [
+        {
+          "when": "status == conflict",
+          "severity": "P0",
+          "action": "hold"
+        },
+        {
+          "when": "applicability == need_context",
+          "severity": "P1",
+          "action": "hold"
+        }
+      ],
+      "humanEscalation": ["legal_compliance_final_claim", "formal_drawing_review"]
+    },
+    {
+      "id": "solver.beam_deflection",
+      "type": "deterministic_solver",
+      "ownerAgents": ["euclid"],
+      "allowedSkills": ["aios-structural"],
+      "authorityLevel": "L1",
+      "description": "梁挠度计算接口示例。LLM 只负责参数提取和结果解释，数值计算必须由外部求解器完成。",
+      "status": "implemented",
+      "inputSchema": {
+        "type": "object",
+        "required": ["span", "elasticModulus", "secondMomentOfArea", "load"],
+        "properties": {
+          "span": {
+            "type": "object",
+            "required": ["value", "unit"]
+          },
+          "elasticModulus": {
+            "type": "object",
+            "required": ["value", "unit"]
+          },
+          "secondMomentOfArea": {
+            "type": "object",
+            "required": ["value", "unit"]
+          },
+          "load": {
+            "type": "object",
+            "required": ["value", "unit", "case"]
+          },
+          "boundaryCondition": {
+            "type": "string"
+          }
+        }
+      },
+      "outputSchema": {
+        "type": "object",
+        "required": ["status", "deflection", "inputValidated", "formulaRef"],
+        "properties": {
+          "status": {
+            "type": "string",
+            "enum": ["pass", "fail", "invalid_input", "error"]
+          },
+          "deflection": {
+            "type": "object",
+            "required": ["value", "unit"]
+          },
+          "inputValidated": {
+            "type": "boolean"
+          },
+          "formulaRef": {
+            "type": "string"
+          },
+          "warnings": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          }
+        }
+      },
+      "evidenceContract": {
+        "requiredFields": ["status", "deflection", "inputValidated", "formulaRef"],
+        "invalidWhenMissing": ["inputValidated", "formulaRef"]
+      },
+      "blockingRules": [
+        {
+          "when": "status == invalid_input",
+          "severity": "P0",
+          "action": "block"
+        },
+        {
+          "when": "inputValidated == false",
+          "severity": "P0",
+          "action": "block"
+        },
+        {
+          "when": "status == error",
+          "severity": "P1",
+          "action": "hold"
+        }
+      ],
+      "humanEscalation": ["structural_safety_final_claim", "production_structural_design"]
+    },
+    {
+      "id": "solver.beam_deflection_serviceability_check",
+      "type": "deterministic_solver",
+      "ownerAgents": ["euclid"],
+      "allowedSkills": ["aios-structural"],
+      "authorityLevel": "L1",
+      "description": "梁挠度正常使用限值校核接口。当前用于挠度服务性校核，不代表材料强度、稳定或规范承载力设计。",
+      "status": "implemented",
+      "inputSchema": {
+        "type": "object",
+        "required": ["span", "elasticModulus", "secondMomentOfArea", "load"],
+        "properties": {
+          "span": {
+            "type": "object",
+            "required": ["value", "unit"]
+          },
+          "elasticModulus": {
+            "type": "object",
+            "required": ["value", "unit"]
+          },
+          "secondMomentOfArea": {
+            "type": "object",
+            "required": ["value", "unit"]
+          },
+          "load": {
+            "type": "object",
+            "required": ["value", "unit", "case"]
+          },
+          "boundaryCondition": {
+            "type": "string"
+          },
+          "deflectionLimitRatio": {
+            "type": "number"
+          }
+        }
+      },
+      "outputSchema": {
+        "type": "object",
+        "required": ["status", "checkType", "deflection", "allowable", "inputValidated"],
+        "properties": {
+          "status": {
+            "type": "string",
+            "enum": ["pass", "fail", "invalid_input", "error"]
+          },
+          "checkType": {
+            "type": "string"
+          },
+          "deflection": {
+            "type": "object"
+          },
+          "allowable": {
+            "type": "object"
+          },
+          "inputValidated": {
+            "type": "boolean"
+          },
+          "warnings": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          }
+        }
+      },
+      "evidenceContract": {
+        "requiredFields": ["status", "checkType", "deflection", "allowable", "inputValidated"],
+        "invalidWhenMissing": ["inputValidated", "deflection", "allowable"]
+      },
+      "blockingRules": [
+        {
+          "when": "status == fail",
+          "severity": "P1",
+          "action": "hold"
+        },
+        {
+          "when": "status == invalid_input",
+          "severity": "P0",
+          "action": "block"
+        },
+        {
+          "when": "status == error",
+          "severity": "P1",
+          "action": "hold"
+        }
+      ],
+      "humanEscalation": ["structural_capacity_final_claim", "production_structural_design"]
+    },
+    {
+      "id": "solver.frame_displacement",
+      "type": "deterministic_solver",
+      "ownerAgents": ["euclid"],
+      "allowedSkills": ["aios-structural", "aios-arch"],
+      "authorityLevel": "L1",
+      "description": "二维平面框架位移求解接口，返回最大位移、控制节点、目标节点和内力控制摘要。",
+      "status": "implemented",
+      "inputSchema": {
+        "type": "object",
+        "properties": {
+          "payload": {
+            "type": "object"
+          },
+          "structure": {
+            "type": "object"
+          },
+          "targetNodeId": {
+            "type": "string"
+          }
+        }
+      },
+      "outputSchema": {
+        "type": "object",
+        "required": ["status", "maxDisplacement", "inputValidated"],
+        "properties": {
+          "status": {
+            "type": "string",
+            "enum": ["pass", "fail", "invalid_input", "error"]
+          },
+          "maxDisplacement": {
+            "type": "object"
+          },
+          "targetNode": {
+            "type": "object"
+          },
+          "inputValidated": {
+            "type": "boolean"
+          },
+          "warnings": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          }
+        }
+      },
+      "evidenceContract": {
+        "requiredFields": ["status", "maxDisplacement", "inputValidated"],
+        "invalidWhenMissing": ["inputValidated", "maxDisplacement"]
+      },
+      "blockingRules": [
+        {
+          "when": "status == fail",
+          "severity": "P1",
+          "action": "hold"
+        },
+        {
+          "when": "status == invalid_input",
+          "severity": "P0",
+          "action": "block"
+        },
+        {
+          "when": "status == error",
+          "severity": "P1",
+          "action": "hold"
+        }
+      ],
+      "humanEscalation": ["structural_safety_final_claim", "production_structural_design"]
+    },
+    {
+      "id": "solver.truss_member_force",
+      "type": "deterministic_solver",
+      "ownerAgents": ["euclid"],
+      "allowedSkills": ["aios-structural", "aios-arch"],
+      "authorityLevel": "L1",
+      "description": "二维平面桁架杆件轴力求解接口，返回最大轴力、控制杆件和指定杆件结果。",
+      "status": "implemented",
+      "inputSchema": {
+        "type": "object",
+        "properties": {
+          "payload": {
+            "type": "object"
+          },
+          "structure": {
+            "type": "object"
+          },
+          "targetMemberId": {
+            "type": "string"
+          }
+        }
+      },
+      "outputSchema": {
+        "type": "object",
+        "required": ["status", "maxAxialForce", "inputValidated"],
+        "properties": {
+          "status": {
+            "type": "string",
+            "enum": ["pass", "fail", "invalid_input", "error"]
+          },
+          "maxAxialForce": {
+            "type": "object"
+          },
+          "targetMember": {
+            "type": "object"
+          },
+          "inputValidated": {
+            "type": "boolean"
+          },
+          "warnings": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            }
+          }
+        }
+      },
+      "evidenceContract": {
+        "requiredFields": ["status", "maxAxialForce", "inputValidated"],
+        "invalidWhenMissing": ["inputValidated", "maxAxialForce"]
+      },
+      "blockingRules": [
+        {
+          "when": "status == fail",
+          "severity": "P1",
+          "action": "hold"
+        },
+        {
+          "when": "status == invalid_input",
+          "severity": "P0",
+          "action": "block"
+        },
+        {
+          "when": "status == error",
+          "severity": "P1",
+          "action": "hold"
+        }
+      ],
+      "humanEscalation": ["structural_safety_final_claim", "production_structural_design"]
+    }
+  ]
+}

package/runtime/capability-registry.schema.json

@@ -0,0 +1,135 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://archsightlabs.github.io/aios/schemas/capability-registry.schema.json",
+  "title": "ArchSight AIOS Capability Registry",
+  "type": "object",
+  "required": ["schema", "capabilities"],
+  "additionalProperties": false,
+  "properties": {
+    "schema": {
+      "type": "integer",
+      "const": 1
+    },
+    "description": {
+      "type": "string"
+    },
+    "capabilities": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "required": [
+          "id",
+          "type",
+          "ownerAgents",
+          "authorityLevel",
+          "description",
+          "status",
+          "inputSchema",
+          "outputSchema",
+          "evidenceContract",
+          "blockingRules"
+        ],
+        "additionalProperties": false,
+        "properties": {
+          "id": {
+            "type": "string",
+            "pattern": "^[a-z][a-z0-9_]*(\\.[a-z][a-z0-9_]*)+$"
+          },
+          "type": {
+            "type": "string",
+            "enum": [
+              "verification",
+              "deterministic_solver",
+              "compliance_lookup",
+              "security_scanner",
+              "repository_fact",
+              "runtime_adapter"
+            ]
+          },
+          "ownerAgents": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "string"
+            },
+            "uniqueItems": true
+          },
+          "allowedSkills": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            },
+            "uniqueItems": true
+          },
+          "authorityLevel": {
+            "type": "string",
+            "enum": ["L1", "L2", "L3"]
+          },
+          "description": {
+            "type": "string"
+          },
+          "status": {
+            "type": "string",
+            "enum": ["declared-interface", "adapter-required", "implemented"]
+          },
+          "inputSchema": {
+            "type": "object"
+          },
+          "outputSchema": {
+            "type": "object"
+          },
+          "evidenceContract": {
+            "type": "object",
+            "required": ["requiredFields", "invalidWhenMissing"],
+            "additionalProperties": false,
+            "properties": {
+              "requiredFields": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                },
+                "uniqueItems": true
+              },
+              "invalidWhenMissing": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                },
+                "uniqueItems": true
+              }
+            }
+          },
+          "blockingRules": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "required": ["when", "severity", "action"],
+              "additionalProperties": false,
+              "properties": {
+                "when": {
+                  "type": "string"
+                },
+                "severity": {
+                  "type": "string",
+                  "enum": ["P0", "P1", "P2"]
+                },
+                "action": {
+                  "type": "string",
+                  "enum": ["block", "hold", "revise", "human_escalation"]
+                }
+              }
+            }
+          },
+          "humanEscalation": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            },
+            "uniqueItems": true
+          }
+        }
+      }
+    }
+  }
+}

package/runtime/skill-routing.md

@@ -21,12 +21,13 @@
 | 建筑行业平台界面方案、工作台体验、复核追溯和前端实现交接 | `aios-design` | Janus | `design-review` |
 | 建筑行业项目中的架构评审、技术选型、服务边界 | `aios-arch` | Atlas | `architecture-review` |
 | 建筑行业项目中的 Feature 拆解、交付计划、任务依赖 | `aios-plan` | Mason | `feature-development` |
-| 建筑行业项目中的 PR / diff / AI 生成代码审查 | `aios-review` | Argus | `code-review` |
-| 建筑行业项目中的 Bug 修复、测试失败、构建失败 | `aios-exec` | Hephaestus | `bug-fixing` |
-| BIM / IFC / 建筑规范 / 审图规则 | `aios-knowledge` | Vitruvius | `rag-pipeline` |
-| 建筑行业项目中的 Prompt / Context / Memory / MCP / Tool | `aios-runtime` | Daedalus | `architecture-review` |
-| 建筑行业知识库 / 工程知识 RAG / GraphRAG Pipeline | `aios-runtime` | Daedalus | `rag-pipeline` |
-| 建筑行业项目中的受控代码修改、文档、脚本、测试 | `aios-exec` | Hephaestus | `feature-development` |
+| 建筑行业项目中的 PR / diff / AI 生成代码审查 | `aios-review` | Argus | `code-review` |
+| 建筑行业项目中的 Bug 修复、测试失败、构建失败 | `aios-exec` | Hephaestus | `bug-fixing` |
+| BIM / IFC / 建筑规范 / 审图规则 | `aios-knowledge` | Vitruvius | `rag-pipeline` |
+| 结构力学 / 荷载 / FEM / 确定性求解链路 | `aios-structural` | Euclid | `architecture-review` |
+| 建筑行业项目中的 Prompt / Context / Memory / MCP / Tool | `aios-runtime` | Daedalus | `architecture-review` |
+| 建筑行业知识库 / 工程知识 RAG / GraphRAG Pipeline | `aios-runtime` | Daedalus | `rag-pipeline` |
+| 建筑行业项目中的受控代码修改、文档、脚本、测试 | `aios-exec` | Hephaestus | `feature-development` |
 
 ## 路由原则
 
@@ -37,10 +38,12 @@
 - 是否启用行业增强，先看项目 profile、`.ai/project-context.md`、README 和当前任务；不确定时先核验上下文，不凭 Skill 名称硬套。
 - `aios-ceo` 用于一把手视角的建筑行业软件 / 系统深度评价，把产品定位、行业专业性、工程可信度、证据链、商业验证和范围取舍放到同一决策框架里；它可以引用架构和行业语义事实作为 CEO 判断依据，但不替代 `aios-arch` 或 `aios-knowledge` 的专项设计与专业结论。
 - `aios-design` 用于实现前判断界面方案是否支撑建筑行业审查、定位、复核、追溯和交付；不替代 `frontend-generation` 的 UI 实现、布局验证和交互验证，也不替代通用 `frontend-design` 的视觉风格和前端代码美化评审。
-- `aios-arch` 应补足通用架构评审缺失的建筑行业平台视角，包括 BIM / IFC、规范知识链路、审图证据链、RAG / GraphRAG、任务编排、审计和后端运行可靠性。
-- Agent 可以调用多个 Skill；Skill 也可以被多个 Agent 复用。
-- 项目工作目录中的事实优先于 AIOS 的通用模板。
-- Hermes / 飞书只是可选入口和调度适配器，不替代本地验证，也不是 AIOS 的必要前提。
+- `aios-arch` 应补足通用架构评审缺失的建筑行业平台视角，包括 BIM / IFC、规范知识链路、审图证据链、RAG / GraphRAG、任务编排、审计和后端运行可靠性。
+- `aios-structural` 用于结构力学、荷载、边界条件、FEM 和求解器接口评审；它不能替代结构工程师签审，关键数值必须来自 Capability 或项目已有求解器证据。
+- Agent 可以调用多个 Skill；Skill 也可以被多个 Agent 复用。
+- 项目工作目录中的事实优先于 AIOS 的通用模板。
+- Hermes / 飞书只是可选入口和调度适配器，不替代本地验证，也不是 AIOS 的必要前提。
+- 多 Agent 冲突时，按 `governance/arbitration-protocol.md` 仲裁；Capability 返回值、项目事实和结构化知识优先于 Agent 自然语言判断。
 
 ## 升级规则
 
@@ -49,9 +52,10 @@
 - 涉及页面方案、工作台体验、证据定位、复核追溯、交互状态和前端实现交接：升级给 Janus，并使用 `aios-design`。
 - 涉及任务依赖、交付顺序、CI/CD：升级给 Mason。
 - 涉及安全、权限、Prompt 注入、生产发布：升级给 Argus。
-- 涉及 BIM、IFC、规范条文和审图语义：升级给 Vitruvius。
-- 涉及 RAG、GraphRAG、MCP、Tool Calling、Memory：升级给 Daedalus。
-- 涉及具体代码、脚本、测试、文档执行：交给 Hephaestus。
+- 涉及 BIM、IFC、规范条文和审图语义：升级给 Vitruvius。
+- 涉及结构力学、荷载、边界条件、FEM 或结构计算工具链：升级给 Euclid，并优先使用 `aios-structural`。
+- 涉及 RAG、GraphRAG、MCP、Tool Calling、Memory：升级给 Daedalus。
+- 涉及具体代码、脚本、测试、文档执行：交给 Hephaestus。
 
 ## 项目接入