隔离Supervisor专属Prompt段

限制identity section仅用于Supervisor planning与chat
限制final-reply section仅用于Supervisor chat
拒绝公共runtime变体overlay与Provider fragment复用专属段
补齐五类失败关闭回归并同步架构文档
This commit is contained in:
2026-08-04 18:39:10 +08:00
parent 9c978f00cb
commit 68d202f4a4
4 changed files with 102 additions and 2 deletions
@@ -347,6 +347,7 @@ pub fn compile_manifest(manifest_path: &Path) -> Result<CompiledPromptBundle, St
return Err(format!("Provider fragment section 重复引用:{section_id}"));
}
}
validate_supervisor_chat_section_ownership(&manifest)?;
let mut used_sections = manifest
.compositions
@@ -402,6 +403,68 @@ pub fn compile_manifest(manifest_path: &Path) -> Result<CompiledPromptBundle, St
})
}
fn validate_supervisor_chat_section_ownership(
manifest: &PromptBundleManifest,
) -> Result<(), String> {
let identity = manifest.compositions.supervisor_chat.identity.as_str();
let final_reply = manifest.compositions.supervisor_chat.final_reply.as_str();
let reserved = BTreeSet::from([identity, final_reply]);
let reject_reserved = |owner: &str, section: &str| {
if reserved.contains(section) {
Err(format!(
"{owner} 不得复用 Supervisor chat 专属 section{section}"
))
} else {
Ok(())
}
};
for section in manifest
.compositions
.runtime
.iter()
.filter(|section| !section.starts_with('$'))
{
reject_reserved("composition runtime", section)?;
}
if manifest
.compositions
.supervisor
.iter()
.any(|section| section == final_reply)
{
return Err(format!(
"composition supervisor 不得复用 Supervisor chat 专属 section{final_reply}"
));
}
for (owner, section) in [
(
"variants.platform.default",
&manifest.variants.platform.default,
),
("variants.platform.linux", &manifest.variants.platform.linux),
(
"variants.visualContract.editorConfigured",
&manifest.variants.visual_contract.editor_configured,
),
(
"variants.visualContract.editorUnavailable",
&manifest.variants.visual_contract.editor_unavailable,
),
] {
reject_reserved(owner, section)?;
}
for overlay in &manifest.role_overlays {
for section in &overlay.sections {
reject_reserved(&format!("role overlay {}", overlay.agent_id), section)?;
}
}
for (owner, _, section) in provider_fragment_entries(&manifest.provider_fragments) {
reject_reserved(owner, section)?;
}
Ok(())
}
fn provider_fragment_entries(
fragments: &ProviderFragments,
) -> [(&'static str, &'static str, &String); 8] {
@@ -456,6 +456,15 @@ fn rejects_unknown_duplicate_and_missing_composition_items() {
},
"缺少 marker$header",
);
assert_compile_error(
|manifest| {
manifest["compositions"]["runtime"]
.as_array_mut()
.expect("runtime composition array")
.push(json!("supervisorIdentityContract"));
},
"composition runtime 不得复用 Supervisor chat 专属 section",
);
assert_compile_error(
|manifest| {
manifest["compositions"]["supervisorChat"]["identity"] = json!("missingSection");
@@ -482,6 +491,15 @@ fn rejects_unknown_duplicate_and_missing_composition_items() {
},
"supervisor 必须复用 supervisorChat.identity section",
);
assert_compile_error(
|manifest| {
manifest["compositions"]["supervisor"]
.as_array_mut()
.expect("supervisor composition array")
.push(json!("supervisorFinalReplyContract"));
},
"composition supervisor 不得复用 Supervisor chat 专属 section",
);
}
#[test]
@@ -503,6 +521,12 @@ fn rejects_invalid_variant_references() {
},
"visual contract 两个变体必须引用不同 section",
);
assert_compile_error(
|manifest| {
manifest["variants"]["platform"]["default"] = json!("supervisorIdentityContract");
},
"variants.platform.default 不得复用 Supervisor chat 专属 section",
);
}
#[test]
@@ -526,6 +550,13 @@ fn rejects_invalid_provider_fragment_registry() {
},
"unknown field `supervisorIdentityContract`",
);
assert_compile_error(
|manifest| {
manifest["providerFragments"]["delegatedPlaytestRepair"] =
json!("supervisorFinalReplyContract");
},
"providerFragments.delegatedPlaytestRepair 不得复用 Supervisor chat 专属 section",
);
assert_compile_error(
|manifest| {
let section = manifest["providerFragments"]["delegatedPlaytestRepair"].clone();
@@ -581,6 +612,12 @@ fn rejects_invalid_role_overlays() {
|manifest| manifest["roleOverlays"][0]["sections"] = json!(["missingSection"]),
"未知 section",
);
assert_compile_error(
|manifest| {
manifest["roleOverlays"][0]["sections"] = json!(["supervisorIdentityContract"]);
},
"role overlay code-prototype 不得复用 Supervisor chat 专属 section",
);
assert_compile_error(
|manifest| {
manifest["roleOverlays"][0]["sections"] =
@@ -5940,7 +5940,7 @@
- 决策:把 `prompt.rs` 中依赖长自然语言精确匹配的链式 `.replace()` 拆成仓库内版本化 Prompt Bundle`build.rs` 读取、校验并生成静态 Rust 定义编译进 Tauri 二进制,生产源码不再直接引用 `prompts/runtime` 的单个 Markdown。
- 边界:Supervisor 的角色选择、并行委派、all-join、视觉返工、claim gate 和 repair 自然语言合同,以及 Supervisor / 六组专业 Agent 的编译期静态节点目录进入 Bundle。Bundle 不是完整可执行 graph,也不是生产 Skill;正式 DAG 依赖边、权限、安全门和完成合同继续由 Rust、`shared-contracts` 与校验后的项目协作策略掌控。
- 一致性:manifest 是 section、组合顺序、平台 / Editor 变体、role overlay、Provider 协作 fragment 和静态节点目录的单一来源;role overlay 只接受 `rootSourceKind` 强类型语义 selector,构建期拒绝未知 kind,运行期再把权威 source 常量映射为生成的 kind,禁止在 manifest 中复制易漂移的 durable source 字符串。isolated / all-join、autonomous 首轮、首批协作修复、delivery 收敛、manifest wait、试玩后续委派,以及 Supervisor interaction / background planning / final-reply 身份合同不得在 Provider 或 `prompt.rs` 源码中复制。Supervisor 共享核心身份与最终回复专属规则拆成两个 sectionbackground planning 的 system composition 必须复用核心身份 sectioninteraction / final-reply 的 system prompt 按 manifest composition 组合核心身份与最终回复两段,所有 user context 都不重复注入 Supervisor 身份。构建脚本同时监听 Bundle 每一级目录、manifest 和已登记 section,保证任意嵌套目录新增孤立 Markdown 都会触发增量构建并失败关闭;同时拒绝未知字段、非法 / 重复 / symlink 路径、未知 / 重叠 selector、节点 / alias / 生成标识符冲突,并强制 Supervisor planning composition 复用 chat identity、专业节点 taskId / group / role 与正式 seed DAG 一致。原生工具目录仍从 `agent_runtime_native_executable_tools()` 生成,`mcp.call` 不混入静态原生目录;MCP 工具只从当前请求的动态 catalog 暴露。
- 一致性:manifest 是 section、组合顺序、平台 / Editor 变体、role overlay、Provider 协作 fragment 和静态节点目录的单一来源;role overlay 只接受 `rootSourceKind` 强类型语义 selector,构建期拒绝未知 kind,运行期再把权威 source 常量映射为生成的 kind,禁止在 manifest 中复制易漂移的 durable source 字符串。isolated / all-join、autonomous 首轮、首批协作修复、delivery 收敛、manifest wait、试玩后续委派,以及 Supervisor interaction / background planning / final-reply 身份合同不得在 Provider 或 `prompt.rs` 源码中复制。Supervisor 共享核心身份与最终回复专属规则拆成两个 sectionbackground planning 的 system composition 必须复用核心身份 sectioninteraction / final-reply 的 system prompt 按 manifest composition 组合核心身份与最终回复两段,所有 user context 都不重复注入 Supervisor 身份identity section 不得进入公共 runtime、变体、role overlay 或 Provider fragmentfinal-reply section 只能进入 `supervisorChat`。构建脚本同时监听 Bundle 每一级目录、manifest 和已登记 section,保证任意嵌套目录新增孤立 Markdown 都会触发增量构建并失败关闭;同时拒绝未知字段、非法 / 重复 / symlink 路径、未知 / 重叠 selector、节点 / alias / 生成标识符冲突,并强制 Supervisor planning composition 复用 chat identity、专业节点 taskId / group / role 与正式 seed DAG 一致。原生工具目录仍从 `agent_runtime_native_executable_tools()` 生成,`mcp.call` 不混入静态原生目录;MCP 工具只从当前请求的动态 catalog 暴露。
## 2026-08-03 AI 游戏生成泥点不足使用确定性中断说明
@@ -78,7 +78,7 @@
V1.11 的受保护仓库控制目录同时包含 `.git / .agent / .agents / .codex / .hermes`;其中 `.agent` 对项目命令隐藏,其余控制目录只读。
2026-08-04 起,Runtime 的公共工具规划指令、Supervisor 协作编排 playbook、条件 overlay 和编译期静态 Agent 节点目录统一由版本化 Prompt Bundle 驱动,位于 `apps/ai-game-creator-shell/src-tauri/prompts/runtime/``manifest.json` 是 section 路径、组合顺序、平台 / Editor 变体、role overlay、Provider 协作 fragment,以及 Supervisor 与六组专业 Agent 静态目录的单一来源;role overlay 只允许 `rootSourceKind` 强类型语义 selector,构建期拒绝未知 kind,运行期把权威 source 常量映射为生成 kind。`build.rs` 同时监听 Bundle 每一级目录、manifest 和已登记 section,保证任意嵌套目录新增孤立 Markdown 都会触发增量构建,并以失败关闭方式校验 schema、引用、路径 / symlink、孤立 Markdown、selector、节点身份、旧 alias 和生成标识符,再生成 `'static + Copy` Rust 定义并编译进发布二进制。生成的 Supervisor planning composition 必须复用 `supervisorChat.identity`,专业节点 taskId / group / role 还必须在构建期与 `shared-contracts::new_game_creation_app_seed_tasks()` 强一致,防止身份合同、静态目录和正式 seed DAG 漂移。Bundle 承载公共指令、隔离 Agent 合同、平台差异、角色选择、并行委派、all-join、视觉返工、claim gateSupervisor 共享核心身份、interaction / final-reply 专属合同及其组合,以及首批协作、delivery 收敛、manifest wait、试玩后续委派等 repair 自然语言合同;background planning 在 system composition 复用核心身份,所有 user context 都不再重复注入 Supervisor 身份。`agent_runtime_native_executable_tools()` 仍是原生可执行工具的权威源列表,同时供 Prompt 工具目录与 native capability registry 使用,MCP 工具只从当前请求的动态 catalog 暴露。最终 Provider 请求必须通过生成的 section、composition、overlay 与 provider fragment API 构建,禁止恢复直接 `include_str!("prompts/runtime/...")`、在 Provider 或 `prompt.rs` 源码中复制协作 graph 文案,或依赖自然语言精确 `.replace()` 注入工具合同、平台规则或角色规则。Bundle 不是完整可执行 graph:正式 DAG 依赖边、权限、沙箱、委派容量、持久 all-join 状态机、完成门和身份校验仍由 Rust、`shared-contracts` 与经校验的 `.agent/collaboration-policy.json` 强制执行,不允许通过 Skill、外部配置或任意运行时 Prompt 覆盖绕过。
2026-08-04 起,Runtime 的公共工具规划指令、Supervisor 协作编排 playbook、条件 overlay 和编译期静态 Agent 节点目录统一由版本化 Prompt Bundle 驱动,位于 `apps/ai-game-creator-shell/src-tauri/prompts/runtime/``manifest.json` 是 section 路径、组合顺序、平台 / Editor 变体、role overlay、Provider 协作 fragment,以及 Supervisor 与六组专业 Agent 静态目录的单一来源;role overlay 只允许 `rootSourceKind` 强类型语义 selector,构建期拒绝未知 kind,运行期把权威 source 常量映射为生成 kind。`build.rs` 同时监听 Bundle 每一级目录、manifest 和已登记 section,保证任意嵌套目录新增孤立 Markdown 都会触发增量构建,并以失败关闭方式校验 schema、引用、路径 / symlink、孤立 Markdown、selector、节点身份、旧 alias 和生成标识符,再生成 `'static + Copy` Rust 定义并编译进发布二进制。生成的 Supervisor planning composition 必须复用 `supervisorChat.identity`且 identity section 不得进入公共 runtime、变体、role overlay 或 Provider fragmentfinal-reply section 只能进入 `supervisorChat`专业节点 taskId / group / role 还必须在构建期与 `shared-contracts::new_game_creation_app_seed_tasks()` 强一致,防止身份合同、静态目录和正式 seed DAG 漂移。Bundle 承载公共指令、隔离 Agent 合同、平台差异、角色选择、并行委派、all-join、视觉返工、claim gateSupervisor 共享核心身份、interaction / final-reply 专属合同及其组合,以及首批协作、delivery 收敛、manifest wait、试玩后续委派等 repair 自然语言合同;background planning 在 system composition 复用核心身份,所有 user context 都不再重复注入 Supervisor 身份。`agent_runtime_native_executable_tools()` 仍是原生可执行工具的权威源列表,同时供 Prompt 工具目录与 native capability registry 使用,MCP 工具只从当前请求的动态 catalog 暴露。最终 Provider 请求必须通过生成的 section、composition、overlay 与 provider fragment API 构建,禁止恢复直接 `include_str!("prompts/runtime/...")`、在 Provider 或 `prompt.rs` 源码中复制协作 graph 文案,或依赖自然语言精确 `.replace()` 注入工具合同、平台规则或角色规则。Bundle 不是完整可执行 graph:正式 DAG 依赖边、权限、沙箱、委派容量、持久 all-join 状态机、完成门和身份校验仍由 Rust、`shared-contracts` 与经校验的 `.agent/collaboration-policy.json` 强制执行,不允许通过 Skill、外部配置或任意运行时 Prompt 覆盖绕过。
2026-07-12 起,通用开发能力的 Runtime V1.1 增量以 [`【技术方案】AI游戏创作Agent Runtime V1.1-2026-07-12.md`](./【技术方案】AI游戏创作Agent%20Runtime%20V1.1-2026-07-12.md) 为编码级事实源。它补充仓库启动上下文、同一发布二进制独立 Runner、受限本地预览浏览器验证、动态隔离子 Agent 和真实 Provider 全链路验收;本文件中“进程内 tokio task”“首轮不预加载项目内容”和“不创建动态执行实例”的旧口径由 V1.1 明确替代,未涉及能力继续沿用本文件。