Skip to content

tools: 检索工具 typed 参数契约迁移(D-30)——23/23 工具五刀收官 - #124

Merged
Danceiny merged 5 commits into
feat/session-hotel-train-doctorfrom
stack/d30-112
Sep 4, 2026
Merged

tools: 检索工具 typed 参数契约迁移(D-30)——23/23 工具五刀收官#124
Danceiny merged 5 commits into
feat/session-hotel-train-doctorfrom
stack/d30-112

Conversation

@Danceiny

@Danceiny Danceiny commented Sep 4, 2026

Copy link
Copy Markdown
Owner

Closes #112

摘要(D-30,五刀)

  • 刀法总纲:有 required 字段的工具,宿主权在 execute 前拒畸形参数(ToolArgsError → guardToolExecute 兜 ADR-13 ToolFailure,形状不变);全可选工具保留 interpretArgs 容忍层(blob 归一后照走业务闸)。
  • 五刀:①flyai 七字段平铺(kind 枚举 required);②session 十字段/hotel(destination required)/weather;③七高频(session_login/doctor/artifacts_list/artifacts_read/fact_gate/agent_reach/turn_handoff_list);④query blob 清零(wish_pool/trip_log/flight_verify/anything/web/video/github——trip_log 的 evidence P0 红线进 schema);⑤feasibility/motivation/companion payload 形态收口(evidence 红线进嵌套 schema)。23/23 工具全 typed 契约化,模型可见逐字段 JSON Schema,普通模型对参数形状不再靠猜。
  • agent_reach 的 action 不设 enum(反射桥 D-4a' 开放面);fact_gate 的 itinerary 收紧归 facts: 事实闸覆盖面(D-26)——酒店 claim 入闸 + 产物渲染原语单向生成 #118。

验证

  • 迁移锁:smoke §1/§6/§12 + channel-registry-tests §8(legacy blob/枚举外值宿主权拒绝形状)
  • npx tsc --noEmit 绿;smoke 全绿(含 flyai live hit);./scripts/run-all-tests.sh ALL SUITES GREEN(5 连跑)
  • 六状态面同提交同步(arch §9/§10、roadmap 架构面增量、stage1 状态头)

余量

  • 普通模型 canary 一轮为证据(过闸才进发布面)记 D-30;PR 合入后 canary 在主干跑。

基线:feat/session-hotel-train-doctor(73af3ef)。合并顺序:本 PR → #113 栈 → #114 栈 → #115 栈。

huangzhen.0505 added 5 commits September 4, 2026 17:01
huangzhen.0505
feat(tools): flyai 检索工具 typed 参数契约第一刀(issue #112,D-30)——query json bl…
90ea845 
…ob 迁 dsh typed ParameterSchemaSpec 平铺七字段(kind 枚举 required+六可选),模型可见逐字段 JSON Schema+execute 前宿主权校验(ToolArgsError→guardToolExecute 兜 ADR-13 ToolFailure 形状不变);迁移锁 smoke §12+channel-registry-tests §8(legacy blob/枚举外值入口即结构化拒绝);普通模型对参数形状不再靠猜。余量工具迁移与 flyai 普通模型 canary 记 D-30;六状态面同提交同步(arch §9/§10、roadmap 架构面增量、stage1 状态头)。run-all 全栈回归 ALL SUITES GREEN
huangzhen.0505
feat(tools): D-30 第二刀——session/hotel/weather 三工具 typed 参数契约迁移(issue #112
90f5898 
)——平铺字段模型可见逐字段 schema;hotel(destination required)宿主权入口拒畸形参数,session 三意图无公共 required 保留 interpretArgs 容忍层(blob 归一照走业务闸,smoke 迁移锁钉死零 transport 短路路径);skills-contract 契约对齐(checkOut 字面量进参数描述);smoke/hbcli-e2e/channel-registry/skills-contract 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头);余量工具与普通模型 canary 记 D-30
huangzhen.0505
feat(tools): D-30 第三刀——七高频工具 typed 参数契约迁移(issue #112)——session_login/…
36e36a9 
…doctor/artifacts_list/fact_gate/agent_reach/turn_handoff_list/artifacts_read 平铺字段模型可见逐字段 schema;刀法总纲确立:有 required 字段的工具(artifacts_read path)宿主权入口拒 blob,全可选工具保留 interpretArgs 容忍层(doctor-tests blob 调用隐式锁);agent_reach 的 action 不设 enum——反射桥 D-4a' 透传上游新增渠道零改动;fact_gate 的 itinerary 保 object+additionalProperties:true,嵌套收紧归 #118 D-26;累计 11 工具迁移,tsc+smoke 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头)
huangzhen.0505
feat(tools): D-30 第四刀——query blob 清零,wish_pool/trip_log/flight_verify…
62a6da5 
…/anything/web/video/github 七工具 typed 参数契约迁移(issue #112)——trip_log 的 destination/start/evidence required 进 schema,evidence P0 溯源红线由宿主权闸;web_search 字符串 blob 形态退役(smoke §6 改锁宿主权拒绝);github_search 顶层 query 从对象形态变字符串字段;wish_pool 全可选保留容忍层;刀法总纲:required 具备宿主权即拒,全可选容忍层;累计 18 工具迁移,余 feasibility/motivation/companion 三个 payload 形态记 D-30;tsc+smoke 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头)
huangzhen.0505
feat(tools): D-30 第五刀收官——23/23 工具 typed 参数契约迁移完成(issue #112)——feasibi…
b032ab7 
…lity(payload 结构化对象,嵌套权威在 unified 引擎契约不越层强约束)/motivation(profile 闭合对象,evidence P0 反伪造红线进嵌套 schema 由宿主权闸,smoke §1 断言适配宿主权前置拒绝)/companion(闭合对象 label/evidence required,additionalProperties:false 与负面清单同向);刀法总纲:required 具备宿主权即拒,全可选容忍层;evidence 类红线全数进 schema;tsc+smoke 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头);余量仅普通模型 canary(过闸才进发布面)记 D-30
This was referenced Sep 4, 2026
Merged
Merged
Merged
Closed
Merged
@Danceiny
Danceiny merged commit 15e0c72 into feat/session-hotel-train-doctor Sep 4, 2026
0 of 3 checks passed
@Danceiny
Danceiny deleted the stack/d30-112 branch September 4, 2026 17:45
This was referenced Sep 4, 2026
Merged
Merged
Danceiny added a commit that referenced this pull request Sep 4, 2026
@Danceiny huangzhen.0505
tools: 检索工具 typed 参数契约迁移(D-30)——23/23 工具五刀收官 (#124)
bd2e128 
* feat(tools): flyai 检索工具 typed 参数契约第一刀(issue #112,D-30)——query json blob 迁 dsh typed ParameterSchemaSpec 平铺七字段(kind 枚举 required+六可选),模型可见逐字段 JSON Schema+execute 前宿主权校验(ToolArgsError→guardToolExecute 兜 ADR-13 ToolFailure 形状不变);迁移锁 smoke §12+channel-registry-tests §8(legacy blob/枚举外值入口即结构化拒绝);普通模型对参数形状不再靠猜。余量工具迁移与 flyai 普通模型 canary 记 D-30;六状态面同提交同步(arch §9/§10、roadmap 架构面增量、stage1 状态头)。run-all 全栈回归 ALL SUITES GREEN

* feat(tools): D-30 第二刀——session/hotel/weather 三工具 typed 参数契约迁移(issue #112)——平铺字段模型可见逐字段 schema;hotel(destination required)宿主权入口拒畸形参数,session 三意图无公共 required 保留 interpretArgs 容忍层(blob 归一照走业务闸,smoke 迁移锁钉死零 transport 短路路径);skills-contract 契约对齐(checkOut 字面量进参数描述);smoke/hbcli-e2e/channel-registry/skills-contract 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头);余量工具与普通模型 canary 记 D-30

* feat(tools): D-30 第三刀——七高频工具 typed 参数契约迁移(issue #112)——session_login/doctor/artifacts_list/fact_gate/agent_reach/turn_handoff_list/artifacts_read 平铺字段模型可见逐字段 schema;刀法总纲确立:有 required 字段的工具(artifacts_read path)宿主权入口拒 blob,全可选工具保留 interpretArgs 容忍层(doctor-tests blob 调用隐式锁);agent_reach 的 action 不设 enum——反射桥 D-4a' 透传上游新增渠道零改动;fact_gate 的 itinerary 保 object+additionalProperties:true,嵌套收紧归 #118 D-26;累计 11 工具迁移,tsc+smoke 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头)

* feat(tools): D-30 第四刀——query blob 清零,wish_pool/trip_log/flight_verify/anything/web/video/github 七工具 typed 参数契约迁移(issue #112)——trip_log 的 destination/start/evidence required 进 schema,evidence P0 溯源红线由宿主权闸;web_search 字符串 blob 形态退役(smoke §6 改锁宿主权拒绝);github_search 顶层 query 从对象形态变字符串字段;wish_pool 全可选保留容忍层;刀法总纲:required 具备宿主权即拒,全可选容忍层;累计 18 工具迁移,余 feasibility/motivation/companion 三个 payload 形态记 D-30;tsc+smoke 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头)

* feat(tools): D-30 第五刀收官——23/23 工具 typed 参数契约迁移完成(issue #112)——feasibility(payload 结构化对象,嵌套权威在 unified 引擎契约不越层强约束)/motivation(profile 闭合对象,evidence P0 反伪造红线进嵌套 schema 由宿主权闸,smoke §1 断言适配宿主权前置拒绝)/companion(闭合对象 label/evidence required,additionalProperties:false 与负面清单同向);刀法总纲:required 具备宿主权即拒,全可选容忍层;evidence 类红线全数进 schema;tsc+smoke 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头);余量仅普通模型 canary(过闸才进发布面)记 D-30

---------

Co-authored-by: huangzhen.0505 <[email protected]>
@Danceiny Danceiny mentioned this pull request Sep 4, 2026
Closed
Danceiny added a commit that referenced this pull request Sep 4, 2026
@Danceiny
tools: 检索工具 typed 参数契约迁移(D-30)——23/23 工具五刀收官 (#124)
7878827 
* feat(tools): flyai 检索工具 typed 参数契约第一刀(issue #112,D-30)——query json blob 迁 dsh typed ParameterSchemaSpec 平铺七字段(kind 枚举 required+六可选),模型可见逐字段 JSON Schema+execute 前宿主权校验(ToolArgsError→guardToolExecute 兜 ADR-13 ToolFailure 形状不变);迁移锁 smoke §12+channel-registry-tests §8(legacy blob/枚举外值入口即结构化拒绝);普通模型对参数形状不再靠猜。余量工具迁移与 flyai 普通模型 canary 记 D-30;六状态面同提交同步(arch §9/§10、roadmap 架构面增量、stage1 状态头)。run-all 全栈回归 ALL SUITES GREEN

* feat(tools): D-30 第二刀——session/hotel/weather 三工具 typed 参数契约迁移(issue #112)——平铺字段模型可见逐字段 schema;hotel(destination required)宿主权入口拒畸形参数,session 三意图无公共 required 保留 interpretArgs 容忍层(blob 归一照走业务闸,smoke 迁移锁钉死零 transport 短路路径);skills-contract 契约对齐(checkOut 字面量进参数描述);smoke/hbcli-e2e/channel-registry/skills-contract 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头);余量工具与普通模型 canary 记 D-30

* feat(tools): D-30 第三刀——七高频工具 typed 参数契约迁移(issue #112)——session_login/doctor/artifacts_list/fact_gate/agent_reach/turn_handoff_list/artifacts_read 平铺字段模型可见逐字段 schema;刀法总纲确立:有 required 字段的工具(artifacts_read path)宿主权入口拒 blob,全可选工具保留 interpretArgs 容忍层(doctor-tests blob 调用隐式锁);agent_reach 的 action 不设 enum——反射桥 D-4a' 透传上游新增渠道零改动;fact_gate 的 itinerary 保 object+additionalProperties:true,嵌套收紧归 #118 D-26;累计 11 工具迁移,tsc+smoke 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头)

* feat(tools): D-30 第四刀——query blob 清零,wish_pool/trip_log/flight_verify/anything/web/video/github 七工具 typed 参数契约迁移(issue #112)——trip_log 的 destination/start/evidence required 进 schema,evidence P0 溯源红线由宿主权闸;web_search 字符串 blob 形态退役(smoke §6 改锁宿主权拒绝);github_search 顶层 query 从对象形态变字符串字段;wish_pool 全可选保留容忍层;刀法总纲:required 具备宿主权即拒,全可选容忍层;累计 18 工具迁移,余 feasibility/motivation/companion 三个 payload 形态记 D-30;tsc+smoke 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头)

* feat(tools): D-30 第五刀收官——23/23 工具 typed 参数契约迁移完成(issue #112)——feasibility(payload 结构化对象,嵌套权威在 unified 引擎契约不越层强约束)/motivation(profile 闭合对象,evidence P0 反伪造红线进嵌套 schema 由宿主权闸,smoke §1 断言适配宿主权前置拒绝)/companion(闭合对象 label/evidence required,additionalProperties:false 与负面清单同向);刀法总纲:required 具备宿主权即拒,全可选容忍层;evidence 类红线全数进 schema;tsc+smoke 全绿,run-all ALL SUITES GREEN;六状态面同提交同步(arch §9/§10、roadmap 增量、stage1 状态头);余量仅普通模型 canary(过闸才进发布面)记 D-30

---------

Co-authored-by: Danceiny <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@Danceiny