跳到主要内容

Dex SDK

Dex SDK 是一个专用 sub-skill,用于通过 Dex 的公开 programming model 实现、调试、 测试和运维应用。它支持 Python、Go、Java、TypeScript 和 Rust。

独立 SDK 任务应显式调用:

$dex-sdk Diagnose why this Flow retries after the payment Step completes.

完整产品或业务流程请求应从 Dex App Builder 开始。进入 backend 设计与实现时,App Builder 会加载 Dex SDK。

何时使用​

以下范围明确的技术工作适合使用 Dex SDK:

  • Flow、Step、wait、transition 和 failure route;
  • Attribute、AttributeMap、Channel、ChannelMap 和 Stream;
  • typed RPC、Timer、SubFlow、Worker 和 Client;
  • retry、timeout、heartbeat、durability、lock 和 recovery;
  • SDK version compatibility、测试、troubleshooting 或 operations;
  • Dex Web、dexcli、Flow visualization 和 application observability。

该 skill 保持在 application boundary。除非用户明确要求开发 Dex 本身,否则不会把应用 任务扩展成 Dex Server 实现工作。

Version 与 Source Authority​

写代码前,该 skill 会确认应用语言、package manager、已安装 Dex SDK version、Worker 和 Client bootstrap,以及 repository 的测试命令。

repository source、lockfile、已安装 SDK 和 version-matched 官方示例是权威依据。除非 用户要求升级,否则保留应用当前 version。如果拿不到精确匹配版本的 source,该 skill 会停在 version-independent Flow model,而不会虚构 API。

只加载当前语言 handbook 和任务需要的 reference,不会同时加载五种语言实现。

实现前先建模​

对于非简单任务,Dex SDK 会先说明模型再编辑代码:

  • Flow identity、typed start input 和 completion output;
  • Step、transition 和有业务意义的 commit boundary;
  • Flow default 与 method-level retry、timeout、heartbeat、load 或 lock option;
  • durable state、message、RPC、Stream 和 timer;
  • failure recovery 和 SubFlow boundary;
  • Worker、Client、registry、serialization 和 application-boundary behavior。

模型使用准确的 domain name,并优先采用官方 Dex pattern,而不是临时 coordination loop。

实现与验证​

完整的应用变更包括 typed input、output 和 failure;Flow 和 Step definition;所有 persistence schema entry;注入的 dependency;registry wiring;需要时的 Worker 和 Client setup;application boundary;以及真实 Dex Server integration test。

交接前,该 skill 会验证相关 build 或 type-check、integration scenario、retry 和 timeout recovery、duplicate request、terminal behavior、primitive registration、heartbeat、 Stream semantics,以及兼容的 Worker 和 Client configuration。

已经打开的 execution 会限制 name 和 schema 变更。除非用户有明确 migration plan, 否则保留稳定的 Flow、Step、Attribute、Channel、Stream 和 RPC name。

诊断与运维​

诊断默认是只读的。该 skill 可以检查 Dex Web、dexcli、SDK error 和 application log, 但未经授权不会 stop、time travel、publish、invoke、delete、edit 或以其他方式修改 Flow。

typed Dex failure 会一直保留,直到 domain policy 能区分 business rejection、closed-Flow race、retryable service failure 和 local defect。retained Stream 只用于 best-effort observation,不作为 authoritative business state。

与其他 Skill 的关系​

  • Dex App Builder 在 backend 工作时加载 Dex SDK Core 和 Go guidance,然后应用更严格的平台约束。
  • Dex Connector Contributor 在实现官方 Connector 时 加载共享 Dex 语义和 Go guidance。
  • 显式调用 Dex SDK 时,任务保持为范围明确的技术工作,不会扩展成完整产品流程。

返回 Dex Skills 总览与安装。