@archsight/aios 1.0.1 → 1.2.0

package/scripts/validate-skills.mjs

@@ -0,0 +1,134 @@
+#!/usr/bin/env node
+
+import fs from "node:fs";
+import path from "node:path";
+
+const root = fs.realpathSync(process.cwd());
+const errors = [];
+
+function repoPath(...parts) {
+  const target = path.join(root, ...parts);
+  const relative = path.relative(root, target);
+  if (relative.startsWith("..") || path.isAbsolute(relative)) {
+    throw new Error(`Path traversal detected: ${target}`);
+  }
+  return target;
+}
+
+function readJson(relativePath) {
+  const filePath = repoPath(relativePath);
+  try {
+    return JSON.parse(fs.readFileSync(filePath, "utf8"));
+  } catch (error) {
+    errors.push(`${relativePath}: invalid JSON (${error.message})`);
+    return undefined;
+  }
+}
+
+function readText(relativePath) {
+  try {
+    return fs.readFileSync(repoPath(relativePath), "utf8");
+  } catch (error) {
+    errors.push(`${relativePath}: ${error.message}`);
+    return "";
+  }
+}
+
+function exists(relativePath) {
+  return fs.existsSync(repoPath(relativePath));
+}
+
+function parseFrontmatter(raw, file) {
+  const match = raw.match(/^---\r?\n([\s\S]*?)\r?\n---/);
+  if (!match) {
+    errors.push(`${file}: missing frontmatter`);
+    return {};
+  }
+
+  const fields = {};
+  for (const line of match[1].split(/\r?\n/)) {
+    const field = line.match(/^([A-Za-z0-9_-]+):\s*(.*)$/);
+    if (field) fields[field[1]] = field[2].trim();
+  }
+  return fields;
+}
+
+function check(condition, message) {
+  if (!condition) errors.push(message);
+}
+
+const manifest = readJson("runtime/archsight-aios.manifest.json");
+const packageJson = readJson("package.json");
+const geminiExtension = readJson("gemini-extension.json");
+const claudePlugin = readJson(".claude-plugin/plugin.json");
+const claudeMarketplace = readJson(".claude-plugin/marketplace.json");
+
+if (manifest) {
+  const manifestSkillIds = new Set(manifest.skills.map((skill) => skill.id));
+  const skillDirs = fs
+    .readdirSync(repoPath("skills"), { withFileTypes: true })
+    .filter((entry) => entry.isDirectory() && entry.name.startsWith("aios-"))
+    .map((entry) => entry.name)
+    .sort();
+
+  check(
+    JSON.stringify([...manifestSkillIds].sort()) === JSON.stringify(skillDirs),
+    "runtime/archsight-aios.manifest.json: skills must cover repository skill directories"
+  );
+
+  for (const skill of manifest.skills) {
+    const skillFile = skill.path;
+    const configFile = skill.openaiConfigPath;
+    check(/^[a-z0-9]+(?:-[a-z0-9]+)*$/.test(skill.id), `${skillFile}: skill id must be kebab-case`);
+    check(exists(skillFile), `${skillFile}: missing`);
+    check(exists(configFile), `${configFile}: missing`);
+
+    const raw = readText(skillFile);
+    const frontmatter = parseFrontmatter(raw, skillFile);
+    check(frontmatter.name === skill.id, `${skillFile}: frontmatter name must be ${skill.id}`);
+    check(Boolean(frontmatter.description), `${skillFile}: missing frontmatter description`);
+  }
+}
+
+if (packageJson) {
+  const requiredFiles = ["skills/", "scripts/", ".claude-plugin/", "gemini-extension.json"];
+  for (const requiredFile of requiredFiles) {
+    check(packageJson.files?.includes(requiredFile), `package.json: files must include ${requiredFile}`);
+  }
+
+  const requiredKeywords = ["agent-skills", "skills-sh", "gemini-cli", "claude-code", "workbuddy", "construction-ai"];
+  for (const keyword of requiredKeywords) {
+    check(packageJson.keywords?.includes(keyword), `package.json: keywords must include ${keyword}`);
+  }
+
+  check(
+    packageJson.scripts?.["validate:skills"] === "node ./scripts/validate-skills.mjs",
+    "package.json: missing validate:skills script"
+  );
+}
+
+if (geminiExtension && packageJson) {
+  check(geminiExtension.name === "archsight-aios", "gemini-extension.json: name must be archsight-aios");
+  check(geminiExtension.version === packageJson.version, "gemini-extension.json: version must match package.json");
+  check(geminiExtension.contextFileName === "GEMINI.md", "gemini-extension.json: contextFileName must be GEMINI.md");
+}
+
+if (claudePlugin && packageJson) {
+  check(claudePlugin.name === "archsight-aios", ".claude-plugin/plugin.json: name must be archsight-aios");
+  check(claudePlugin.version === packageJson.version, ".claude-plugin/plugin.json: version must match package.json");
+  check(claudePlugin.skills === "./skills/", ".claude-plugin/plugin.json: skills must point to ./skills/");
+}
+
+if (claudeMarketplace) {
+  const plugin = claudeMarketplace.plugins?.find((item) => item.name === "archsight-aios");
+  check(Boolean(plugin), ".claude-plugin/marketplace.json: must include archsight-aios plugin");
+  check(plugin?.skills === "./skills/", ".claude-plugin/marketplace.json: skills must point to ./skills/");
+}
+
+if (errors.length > 0) {
+  console.error(`Skill validation failed with ${errors.length} error(s):`);
+  for (const error of errors) console.error(`- ${error}`);
+  process.exit(1);
+}
+
+console.log("Skill validation passed.");

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,21 @@ 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 设计。 |
+
+工程业务管理技能包 (Engineering Project Management)：
+
+| Skill | 用途 |
+| --- | --- |
+| `aios-commercial-tender` | 工程招投标响应证据链，用于提取评分点、资格条件、废标风险、资料缺口和人工复核事项。 |
+| `aios-commercial-contract` | 工程分包、采购和补充协议履约证据链，用于提取节点、责任边界、付款条件和合同资料缺口。 |
+| `aios-construction-daily` | 现场施工日报证据链，用于提取管理摘要、异常、问题台账、计划偏差和需补充确认事项。 |
+| `aios-construction-meeting` | 工程现场会议待办闭环，用于将会议讨论转化为责任人、期限、争议点和下次追踪清单。 |
+| `aios-commercial-variation` | 工程变更签证资料链审查，用于梳理联系单、纪要、图纸变更、合同流程和资料断点。 |
+| `aios-construction-scheme` | 专项施工方案证据链辅审，用于提取危险源、交底要点、规范核验点、计算书缺口和专家复核事项。 |
+
+工程业务管理 Skill 只处理建筑工程资料抽取、证据链整理、风险提示和人工复核分流，不替代法务、造价、监理、安全、项目经理、总工或专家签审。涉及规范、制度、结构计算、质量安全、金额、工期索赔或责任归属时，必须输出 `Claim / Evidence / Tool Result / Decision`；没有工具或人工证据时只能标注 `Need verify` 或 `Hold for human`。

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-commercial-contract/SKILL.md

@@ -0,0 +1,89 @@
+---
+name: aios-commercial-contract
+description: 工程合同履约证据链工作流。用于从工程分包、采购、租赁和补充协议中抽取履约节点、付款条件、责任边界、资料缺口和需人工复核的风险。
+---
+
+# AIOS Contract
+
+## 目标
+
+以 Argus（风险审查官）的方式审查工程合同资料，把合同文本转化为可追踪的履约节点、付款条件、责任边界和证据缺口。
+
+本 Skill 不输出最终法律意见、违约责任归属或商务结算结论；它只做工程管理证据链整理和风险提示，并把需法务、商务、项目经理或业主确认的事项显式标出。
+
+## AIOS 适用性
+
+本 Skill 仅用于建筑工程项目中的合同履约管理、采购/分包资料整理、补充协议复核和现场执行交接。
+
+- 工程项目合同、采购合同、分包合同、租赁协议、补充协议和履约台账，启用 AIOS 行业增强。
+- 普通非建筑合同、通用法务审查或 HR / 行政合同，不使用本 Skill。
+- 任务只需要普通文本摘要时，优先使用宿主工具的通用能力，不强行引入工程证据链。
+
+## 输入
+
+优先收集：
+
+- 合同、补充协议、招标/报价文件、会议纪要和往来函件。
+- 资料来源清单：文件名、版本、日期、页码、章节、行号或可定位段落。
+- 项目类型、合同类型、地区、标段、承包范围和关键里程碑。
+- 用户指定的重点问题，例如付款、工期、质量、验收、违约、争议解决或资料缺失。
+
+## Capability 与证据
+
+- 所有抽取结论必须带 `Evidence`，至少包括来源文件、页码/章节/行号或原文短摘。
+- 涉及法律、地方制度、招采规则、工程规范或合同示范文本适用性时，优先调用或要求 `knowledge.norm_lookup`；没有工具结果时标注 `Need verify`。
+- 多 Agent 冲突、工具结果缺失或资料互相矛盾时，按 `governance/arbitration-protocol.md` 输出 `Claim / Evidence / Tool Result / Decision`。
+
+## 工作流
+
+1. 建立 Source Map：列出输入文件、版本、日期和可引用定位方式。
+2. 识别合同事实：合同类型、双方主体、范围、金额、工期、质量目标、验收方式和争议解决条款。
+3. 抽取履约节点：把触发条件、期限、责任方、交付物和验收材料拆成表格。
+4. 抽取付款和结算条件：区分预付款、进度款、结算、质保金、发票、验收和资料前置条件。
+5. 建立责任边界：列出甲方、乙方、分包、供应商、监理、设计或总包的明确义务。
+6. 标注风险和缺口：只标“建议复核 / Need verify”，不得把缺失资料推断成违约事实。
+7. 对规范、制度或示范文本适用性发起 `knowledge.norm_lookup` 调用计划；没有 Tool Result 时保留为待核验。
+8. 输出人工复核分流：法务、商务、项目经理、技术负责人或业主代表。
+
+## 输出格式
+
+默认输出：
+
+1. 结论
+2. Source Map
+3. 合同基本事实
+4. 履约节点表
+5. 付款与结算条件
+6. 责任边界与风险提示
+7. 待补充资料
+8. Arbitration
+
+履约节点条目格式：
+
+```text
+节点：
+触发条件：
+期限：
+责任方：
+交付物：
+Evidence：
+需复核：
+```
+
+Arbitration 条目格式：
+
+```text
+Claim：
+Evidence：
+Tool Result：
+Decision：Proceed / Need verify / Hold for human
+人工复核岗位：
+```
+
+## 约束
+
+- 不输出最终法律意见、违约定性、索赔金额或结算金额。
+- 不把合同外事实写成合同义务。
+- 不在没有原文定位时给出确定结论。
+- 不替代法务、商务、造价、项目经理或业主代表签审。
+- 对金额、日期和期限保持原单位、原币种和原表达；换算必须标注来源和假设。

package/skills/aios-commercial-contract/agents/openai.yaml

@@ -0,0 +1,4 @@
+interface:
+  display_name: "AIOS Contract"
+  short_description: "整理工程合同履约节点、责任边界和证据链风险"
+  default_prompt: "当任务涉及建筑工程合同、分包、采购、租赁或补充协议履约资料时，使用该技能抽取履约节点、付款条件、责任边界、原文证据和人工复核事项；不得输出最终法律或结算结论。"

package/skills/aios-commercial-tender/SKILL.md

@@ -0,0 +1,89 @@
+---
+name: aios-commercial-tender
+description: 工程招投标响应证据链工作流。用于从招标文件、评分办法、资格条件和技术标要求中抽取废标风险、评分点、响应矩阵、资料清单和人工复核事项。
+---
+
+# AIOS Tender
+
+## 目标
+
+以 Mason（工程总工）的方式组织工程招投标资料解析，把招标文件转化为可执行的响应矩阵、废标风险清单、资格资料清单和技术标准备路径。
+
+本 Skill 不替代投标负责人、法务、商务、造价或招标代理复核；不输出中标概率、围标串标判断或最终投标决策。
+
+## AIOS 适用性
+
+本 Skill 仅用于建筑工程、设计咨询、施工总承包、专业分包、材料设备采购和运维改造等工程招投标场景。
+
+- 招标公告、招标文件、评分办法、技术标准、答疑澄清和投标文件目录，启用 AIOS 行业增强。
+- 普通商业采购、招聘、行政采购或非工程投标，不使用本 Skill。
+- 只需要普通文件摘要时，优先使用宿主工具通用能力。
+
+## 输入
+
+优先收集：
+
+- 招标文件、评分办法、资格预审文件、答疑澄清、图纸清单、技术标准和合同条款。
+- 文件版本、发出日期、页码、章节、条款编号和附件编号。
+- 企业已有资料：资质、业绩、人员证书、设备、财务、信用、类似项目案例。
+- 用户关注点：废标项、评分点、技术标目录、资料缺口、响应难点。
+
+## Capability 与证据
+
+- 每个废标风险、评分点和资格条件必须带原文定位。
+- 涉及法规、地方交易规则、规范标准或政策适用性时，调用或要求 `knowledge.norm_lookup`；没有 Tool Result 时标注 `Need verify`。
+- 评分预测只能基于明确评分办法和已提供资料；缺资料不得脑补。
+- 冲突、澄清版本不一致或关键证据缺失时输出 `Decision: Hold for human`。
+
+## 工作流
+
+1. 建立 Source Map：列出招标资料、答疑澄清、版本和定位方式。
+2. 抽取项目基本事实：招标范围、工期、质量目标、资质要求、投标截止、保证金和评标办法。
+3. 标出废标/否决项：原文条件、触发风险、所需证明材料和责任人。
+4. 抽取资格条件：资质、业绩、人员、证书、财务、信用、联合体和设备要求。
+5. 建立评分点响应矩阵：评分项、分值、响应材料、企业已有证据、缺口、负责人。
+6. 生成技术标目录建议：只基于招标文件要求和工程类型，不额外扩展无关章节。
+7. 标注澄清和人工复核事项：法务、商务、技术、造价、投标负责人。
+
+## 输出格式
+
+默认输出：
+
+1. 结论
+2. Source Map
+3. 项目和资料概览
+4. 废标 / 否决风险清单
+5. 资格条件和证明材料清单
+6. 评分点响应矩阵
+7. 技术标目录建议
+8. 人工复核与澄清问题
+9. Arbitration
+
+响应矩阵条目格式：
+
+```text
+评分项：
+分值：
+响应材料：
+已有证据：
+缺口：
+Evidence：
+Decision：
+```
+
+Arbitration 条目格式：
+
+```text
+Claim：
+Evidence：
+Tool Result：
+Decision：Proceed / Need verify / Hold for human
+```
+
+## 约束
+
+- 不输出中标概率、最终投标决策或违法合规结论。
+- 不把未提供的企业资质、业绩或证书当作已具备。
+- 不忽略答疑澄清版本；版本冲突必须标注。
+- 不替代投标负责人、法务、商务、造价或技术负责人审核。
+- 对废标项使用保守口径：缺证据时标 `Need verify`，不直接判定废标。

package/skills/aios-commercial-tender/agents/openai.yaml

@@ -0,0 +1,4 @@
+interface:
+  display_name: "AIOS Tender"
+  short_description: "解析工程招投标文件、评分点和响应矩阵"
+  default_prompt: "当任务涉及建筑工程招标文件、评分办法或投标响应准备时，使用该技能抽取废标风险、资格条件、评分点、资料缺口和人工复核事项；不得输出中标概率或最终投标决策。"

package/skills/aios-commercial-variation/SKILL.md

@@ -0,0 +1,88 @@
+---
+name: aios-commercial-variation
+description: 工程变更签证证据链审查工作流。用于整理联系单、会议纪要、图纸变更、现场记录和合同条款，检查变更签证资料链完整性和人工复核风险。
+---
+
+# AIOS Variation
+
+## 目标
+
+以 Argus（风险审查官）的方式审查工程变更和签证资料链，识别事实依据、合同/流程依据、资料断点、争议风险和人工复核岗位。
+
+本 Skill 不输出签证成立、索赔成立、责任归属、最终金额或结算结论；它只提供证据链完整性检查和风险分流。
+
+## AIOS 适用性
+
+本 Skill 仅用于建筑工程现场变更、签证、索赔线索、联系单、图纸变更、会议决议和现场条件变化资料。
+
+- 设计变更、现场签证、工程联系单、会议纪要、停工窝工、材料替代、施工条件变化和工程量变化，启用 AIOS 行业增强。
+- 普通办公流程、非工程合同变更或通用问题追踪，不使用本 Skill。
+- 只需要通用摘要时，优先使用宿主工具的通用能力。
+
+## 输入
+
+优先收集：
+
+- 变更/签证事项描述、工程联系单、会议纪要、图纸变更、现场照片说明、施工日志、监理通知和合同条款。
+- 资料版本、日期、签发主体、签收主体、页码、章节、图号、联系单编号和签认状态。
+- 用户关注点：资料是否闭合、是否需发函、是否有合同依据、是否存在时效风险。
+
+## Capability 与证据
+
+- 每个事实链节点必须带 `Evidence`：来源文件、日期、编号、页码/章节/行号和签认状态。
+- 涉及合同示范文本、地方签证流程、规范或政策适用性时，调用或要求 `knowledge.norm_lookup`；没有 Tool Result 时标注 `Need verify`。
+- 涉及工程量、造价、工期索赔和责任归属时必须 `Hold for human`，交给造价、法务、项目经理或业主代表复核。
+- 资料链冲突按 `Claim / Evidence / Tool Result / Decision` 仲裁。
+
+## 工作流
+
+1. 建立 Source Map：按时间顺序列出联系单、纪要、图纸、日志、照片、通知和合同条款。
+2. 定义变更事项：变更对象、发生原因、涉及范围、影响类型和当前状态。
+3. 建立事实链：事件发生、提出、确认、指令、实施、验收、计量和结算资料是否齐全。
+4. 建立合同/流程链：合同条款、通知时限、签认主体、审批路径和资料要求。
+5. 查找断点：缺签认、缺图号、缺工程量、缺照片、缺通知、超时、主体不一致、版本冲突。
+6. 输出风险分流：资料补正、发函、商务测算、法务判断、技术复核、业主确认。
+7. 标注不能判断的事项：金额、工期、责任和最终成立条件。
+
+## 输出格式
+
+默认输出：
+
+1. 结论
+2. Source Map
+3. 变更 / 签证事项摘要
+4. 资料链完整性清单
+5. 合同和流程依据对照
+6. 资料断点与合规风险
+7. 多岗位复核建议
+8. Arbitration
+
+资料链条目格式：
+
+```text
+节点：
+资料：
+签发 / 签收：
+状态：
+Evidence：
+缺口：
+Decision：
+```
+
+Arbitration 条目格式：
+
+```text
+Claim：
+Evidence：
+Tool Result：
+Decision：Proceed / Need verify / Hold for human
+人工复核岗位：
+```
+
+## 约束
+
+- 不输出签证成立、索赔成立、责任归属、最终金额或结算结论。
+- 不把未签认资料写成已确认事实。
+- 不忽略合同通知时限、签收主体和版本冲突。
+- 不用单一会议纪要替代完整资料链。
+- 缺少原始证据时必须标注 `Need verify`，不得补猜。

package/skills/aios-commercial-variation/agents/openai.yaml

@@ -0,0 +1,4 @@
+interface:
+  display_name: "AIOS Variation"
+  short_description: "审查工程变更签证资料链和风险断点"
+  default_prompt: "当任务涉及工程变更、签证、联系单、图纸变更或索赔线索时，使用该技能整理事实链、合同流程链、资料断点和人工复核岗位；不得输出成立、责任或金额终局结论。"