@antprofuse/saddle-skill 0.2.0 → 0.3.0-alpha.2

package/assets/registry-consumer/src/lib.rs

@@ -1,12 +0,0 @@
-#![forbid(unsafe_code)]
-
-#[path = "generated_artifact.rs"]
-mod __saddle_generated;
-
-saddle::application! {
-    schema "saddle-application/1";
-    application GeneratedProbe;
-}
-
-// The marker is the only public business handle. Its generated `run`
-// implementation lives in the private module and consumes the private owner.

package/assets/registry-consumer/tests/provider_consumer.rs

@@ -1,20 +0,0 @@
-use saddle::{ApprovedExternalBundle, SaddleConfig};
-use saddle_skill_registry_consumer_template::GeneratedProbe;
-
-fn external_control_plane_call<B: ApprovedExternalBundle>(
-    bundle: B,
-    config: SaddleConfig,
-) -> saddle::Result<()> {
-    GeneratedProbe::run(bundle, config)
-}
-
-#[test]
-fn provider_generic_consumer_is_public_to_an_external_crate() {
-    fn typechecks<B: ApprovedExternalBundle>() {
-        let _: fn(B, SaddleConfig) -> saddle::Result<()> = external_control_plane_call::<B>;
-    }
-    assert!(
-        true,
-        "the generic function body is type-checked without forging a provider"
-    );
-}

package/package-files.txt

@@ -1,25 +0,0 @@
-SKILL.md
-agents/openai.yaml
-assets/registry-consumer/Cargo.lock
-assets/registry-consumer/Cargo.toml
-assets/registry-consumer/src/generated_artifact.rs
-assets/registry-consumer/src/lib.rs
-assets/registry-consumer/tests/provider_consumer.rs
-package-files.txt
-package-manifest.json
-package.json
-references/api-boundary.md
-references/declaration-schema.md
-references/identity-closure.json
-references/machine-schema.md
-references/migration.md
-references/public-api.snapshot
-scripts/parameterized-capacity-facts.py
-scripts/validate-contract.sh
-scripts/validate-generated-project.sh
-scripts/validate-generated-preflight.sh
-scripts/validate-identity-closure.py
-scripts/validate-managed-objects-peak.py
-scripts/validate-machine-input.sh
-scripts/validation-cache-key.py
-scripts/sync-identity-closure.py

package/package-manifest.json

@@ -1,112 +0,0 @@
-{
-  "manifest_version": 2,
-  "status": "immutable-candidate-unpublished",
-  "release_approval": false,
-  "publish": false,
-  "npm": {
-    "name": "@antprofuse/saddle-skill",
-    "version": "0.2.0"
-  },
-  "rust": {
-    "facade": "saddle-framework",
-    "requirement": "=0.2.0",
-    "source_commit": "96cd4ec8da55b0770c5d3e8275c74e65241a4759",
-    "msrv": "1.85.0",
-    "abi_frozen": false,
-    "compatibility": "source-and-public-api",
-    "skill_mapping": "exact-manifest-identity-not-version-number-equality",
-    "public_api_snapshot": "references/public-api.snapshot",
-    "public_api_snapshot_sha256": "da87e0b63c3fdf511daac30581cbf415f49541df2034d1e7bc713a9833179a51"
-  },
-  "skill": {
-    "name": "saddle-service-0-2",
-    "declaration_schema": "saddle-application/1",
-    "machine_schema": "saddle-approved-build/2",
-    "generated_static_schema": "saddle-generated-static-facts/2"
-  },
-  "installation": {
-    "kind": "npm-tgz",
-    "command": "npm install --ignore-scripts --no-audit --no-fund <exact-tgz>",
-    "skill_root": "node_modules/@antprofuse/saddle-skill",
-    "entry": "SKILL.md",
-    "lifecycle_scripts": false
-  },
-  "gate_identity": {
-    "d1_source_candidate": "c5ce82687390e9865527540b41fa664b4c0b7bad",
-    "gate_entry_sha256": "6459a15fd83378f78bdabc80f37fe80caee20db1c3f527f18b923172af76d85e",
-    "production_fact_contract_sha256": "8ab24a226322085677ce1aa3241a1fff07365fc9e90d3506bf21e886c3c0d63e",
-    "canonical_machine_input_sha256": "f7e73baa824f607a83a275e20681da46e4eab6f250fba8129bf959a1b7f263e6",
-    "semantic_fact_whole_sha256": "a3ccc16cd94daec6c3bd4b93d7f8095b4eef68d3e9dbb686c8942c341acda5b2"
-  },
-  "consumer_evidence": {
-    "unified_application": "assets/registry-consumer/src/lib.rs",
-    "unified_owner": "assets/registry-consumer/src/generated_artifact.rs",
-    "unified_application_sha256": "a85bf6a5665f3516fafddbe2b3c9460dadb7e341ce0336a79c4ecca4a4fd55d9",
-    "unified_owner_sha256": "af15a8dab10c1ac35d1c7bcbf2174d80c056e8200bd8b7f6fe2ceb60c1f9e0ea",
-    "approved_locks": {
-      "registry_consumer": "8896ba07b7a868b6914fa4cf5e85358e0c201bd717083c1822d0456d547a87ed"
-    },
-    "registry_consumer_template": {
-      "cargo_lock": "8896ba07b7a868b6914fa4cf5e85358e0c201bd717083c1822d0456d547a87ed",
-      "cargo_manifest": "561cef428037910a846ff06936b1c71a7d41d386fd8341abb0e5e979a2ea83d1",
-      "library": "a85bf6a5665f3516fafddbe2b3c9460dadb7e341ce0336a79c4ecca4a4fd55d9",
-      "generated_owner": "af15a8dab10c1ac35d1c7bcbf2174d80c056e8200bd8b7f6fe2ceb60c1f9e0ea",
-      "external_consumer_test": "18cb018e87a251255457861058537fc1b07b0226c002d170de4e2c5512f2ae45",
-      "output_validator": "d20d3ecf89e81c0797340bd6779e8e58265e4cfe4c38b7519e78a9064a817415",
-      "preflight_validator": "925c0205387dd458cd60e029179f978aa72dcc1eb3bcde6b32ad4756363b81e4",
-      "cache_key_builder": "7b464d2bfd6444f03c9ebc6bc58c49e03904223dc1a55bee8bfba8dabf56e90b"
-    }
-  },
-  "generated_static_facts": {
-    "route_count": 6,
-    "query_routes": 3,
-    "c1_routes": 3,
-    "fingerprint_toolchain": "rustc-1.85.0",
-    "application_machine_fingerprint": "NOT_GENERATED_SK_02",
-    "template_identity_sha256": "04f64225450bd190706464f806d8ce6604a70774b112311908ece3f448eeb261",
-    "service_capacity": "whole-bundle-facade-owned",
-    "termination": "component-opaque",
-    "continuation": "component-opaque",
-    "http": "route-framing-db-work-static-layout-only",
-    "runtime_profile": "paired-startup-plan-verified-layout-private",
-    "forbidden_generated_fields": [
-      "capacity_intent",
-      "capacity_domain",
-      "internal_deadline_ms",
-      "task_storage_bytes",
-      "raw_deployment_calibration"
-    ]
-  },
-  "deployment_time_inputs": [
-    "signed production bundle",
-    "deployment calibration and service attestations",
-    "production trust root, clock, nonce store and listener authority"
-  ],
-  "release_stop": "Immutable candidate only; compatibility combination, reference generation, independent acceptance and publish authorization remain separate tasks",
-  "build_internal": [
-    "generated module and symbol names",
-    "service ordinals",
-    "registry/proof/token/permit/adapter types",
-    "anonymous Future and Rust type layouts",
-    "machine fingerprint value"
-  ],
-  "identity_closure": {
-    "path": "references/identity-closure.json",
-    "sha256": "620df144ab00eee84a5826bf4f53ae2f1f04b564c97f499ec9dd9a0e78b0aaea",
-    "registry_artifact_source_commit": "96cd4ec8da55b0770c5d3e8275c74e65241a4759",
-    "rust_candidate_manifest_sha256": "2b0af0e6dd396b32fcbefb4236565136319c0d33c69effc1852913acb5290b17",
-    "registry_packages_sha256": {
-      "saddle-admission": "86c6a3787d1612faa49558f5a104ba78415ff604344112c150b6b69446937065",
-      "saddle-core": "bf4e1cd2343cc239a0bb8288fe0947e73775d9cb3438b85ee1c15026a6369aa0",
-      "saddle-db": "e3cac62b288d0e7cf775138793e2d8afb8923b4bbb4d72afb2deb8c18d9b7030",
-      "saddle-framework": "6f819954a32f042aa43a55c1fddb8e1a8c6de389f5f3b6cd006bba532a1aca0b",
-      "saddle-macros": "e46b63cda97e643f41a86ac817306081b88c1af186c635e9451946b51c59dbeb",
-      "saddle-observability": "5e6f5d2228e8a02dd6bf65cbbd2e982129696976a104c4caf773c12016e1ecd3",
-      "saddle-runtime": "0c8925b3871f95f58cde8cf7de6938116d4fbb35000ea31699c7603d658deee2",
-      "saddle-service": "6d148466da57be9be7b2e4df9dcd68f0a253a418db247438ad0be1e886c8ff1b"
-    },
-    "framework_crate_sha256": "6f819954a32f042aa43a55c1fddb8e1a8c6de389f5f3b6cd006bba532a1aca0b",
-    "fresh_registry_cargo_lock_sha256": "542bb990a3e176f3cc987b34df23061c6fdaac321d3433aaa08cf5f47151631a",
-    "registry_consumer_cargo_lock_sha256": "8896ba07b7a868b6914fa4cf5e85358e0c201bd717083c1822d0456d547a87ed"
-  }
-}

package/references/api-boundary.md

@@ -1,71 +0,0 @@
-# 公开 API 与 build-internal 边界
-
-## 稳定源码/API 候选
-
-`saddle-framework 0.2.x` 对业务只承诺：
-
-- `saddle::application!` 及 `saddle-application/1` 声明；
-- `saddle::managed::{U64, Bool, Pair, Optional, WriteResult}`；
-- 声明中列出的 DB operation kind；
-- handler 的 DB-kind-specific async 源码签名和稳定错误分类；
-- startup 诊断的稳定 code，不承诺完整英文/中文文本；
-- 同一 `0.2.x` 支持范围内的源码级 SemVer 兼容。
-
-公开 facade 不暴露 builder、registry、ordinal、proof、token、permit、dispatcher、
-adapter、Runtime 或 DB connection owner。generator 可以消费这些 sealed handoff，
-业务代码不能命名、构造、Clone、提取或重放。
-
-## 不承诺 Rust ABI
-
-Saddle 0.2 不承诺跨 compiler、target、profile 或 patch build 的 Rust 二进制 ABI。
-以下只属于正式 build identity，并且只在组件内部签发和消费：
-
-- `repr(Rust)` layout、enum discriminant、alignment；
-- 匿名 Future、handler/dispatcher Future 和 task storage size；
-- 私有 generated symbol、module 和 ordinal；
-- proof/token/permit/adapter 的具体 Rust 类型；
-- capacity、termination 与 fingerprint 的具体数值。
-
-正式 build 必须重新测量这些值并写入 machine fingerprint。API snapshot 只覆盖公开
-路径、签名、trait/宏语法和稳定诊断 code。
-
-## facade handoff
-
-宏只生成一个私有 owner。owner 线性消费 facade 签发的 token，并在一次 startup
-assembly 中冻结 registry、routes、call graph、DB operations、dispatcher 与 classified
-adapter。Service 同次 freeze 的整包直接进入 Facade；generated crate 不声明 proof
-associated type、不实现 proof/continuation trait，也不能拆出 capacity leaf。业务入口只能
-把生成 owner 交给 facade，不能取得中间 capability。
-
-生成的 application marker 公开且只公开以下 consuming 入口（marker 名可变，签名
-语义不可变）：
-
-```rust
-pub fn run<B>(bundle: B, config: saddle::SaddleConfig) -> saddle::Result<()>
-where
-    B: saddle::ApprovedExternalBundle;
-```
-
-函数实现位于私有 generated module，必须直接执行
-`saddle::ProductionLauncher::verify(bundle)?.run(config, GeneratedOwner)`。`GeneratedOwner`
-为 private、non-Clone 且仅移动一次。bundle 与 config 由 Test/部署控制面提供；Skill 不生成
-provider、credential、calibration 或 raw owner constructor。
-
-Facade source `96cd4ec8da55b0770c5d3e8275c74e65241a4759` 已真实导出本候选宏和
-managed API，并物理收口 V1 路径。该 source checkpoint 仍不等于已发布的
-`saddle-framework 0.2.0`；正式使用必须按 package manifest 精确匹配该候选制品。
-旧 rc.3/rc.4 与外部 proof associated types 不兼容，禁止回退或混用。
-
-## 稳定诊断 code 候选
-
-完整诊断文本可改善，不进入 SemVer。以下 code 在 schema major 1 内稳定：
-
-- `skill.schema.unsupported`
-- `skill.declaration.duplicate`
-- `skill.route.duplicate`
-- `skill.operation.unknown`
-- `skill.operation.dynamic_sql`
-- `skill.transaction.unsupported_shape`
-- `skill.call.unknown`
-- `skill.public_api.unavailable`
-- `skill.identity.mismatch`

package/references/declaration-schema.md

@@ -1,115 +0,0 @@
-# `saddle-application/1` 声明语法
-
-只允许一个顶层声明：
-
-```rust
-saddle::application! {
-    schema "saddle-application/1";
-    application UserOrder;
-
-    service LookupUser {
-        route post "/users/lookup";
-        request managed_u64;
-        response managed_pair<managed_u64, managed_bool>;
-        handler lookup_user;
-        db query_optional FindUser;
-    }
-
-    service LinkUserToOrder {
-        route post "/users/link-order";
-        request managed_pair<managed_u64, managed_u64>;
-        response managed_write_result;
-        handler link_user_to_order;
-        db write LinkUserOrder;
-    }
-
-    service TransferOrderOwnerCommit {
-        route post "/orders/transfer-owner/commit";
-        request managed_pair<managed_u64, managed_u64>;
-        response managed_write_result;
-        handler transfer_order_owner;
-        db transaction TransferOrderOwner decision commit;
-    }
-
-    service TransferOrderOwnerRollback {
-        route post "/orders/transfer-owner/rollback";
-        request managed_pair<managed_u64, managed_u64>;
-        response managed_write_result;
-        handler transfer_order_owner;
-        db transaction TransferOrderOwner decision business_rollback;
-    }
-
-    call CreateOrder -> LookupUser;
-
-    query_optional FindUser {
-        operation "users.find_optional";
-        sql "SELECT id, active FROM users WHERE id = ?";
-        parameters managed_u64;
-        row managed_pair<managed_u64, managed_bool>;
-    }
-
-    write LinkUserOrder {
-        operation "user.link_order";
-        sql "UPDATE users SET order_id = ? WHERE id = ?";
-        parameters managed_pair<managed_u64, managed_u64>;
-    }
-
-    transaction TransferOrderOwner {
-        operation "order.transfer_owner";
-        sql "UPDATE orders SET user_id = ? WHERE id = ?";
-        parameters managed_pair<managed_u64, managed_u64>;
-        steps 1;
-    }
-}
-```
-
-## 稳定语法
-
-schema 1 稳定以下 token：
-
-- `application`、`service`、`route post`、`request`、`response`、`handler`；
-- `call A -> B`；
-- `query_optional`、`write`、`transaction`；
-- `operation`、静态 `sql`、`parameters`、`row`、`steps 1`；
-- `decision commit|business_rollback`；
-- `managed_u64`、`managed_bool`、`managed_pair`、`managed_write_result`。
-
-顺序、空白和注释不影响语义。名称必须是 Rust identifier；route、operation 和 SQL
-必须是字符串字面量。一个 service 只绑定一个 DB operation 或显式 no-DB。
-
-schema 1 不支持动态 method/route/SQL、运行期 operation graph、多 step/嵌套事务、
-savepoint、用户容量或期限字段。新增必填 token 或改变既有 token 语义必须升级
-declaration schema major。
-
-## Handler 源码签名
-
-声明 token 映射到 facade 稳定路径：
-
-- `managed_u64` → `saddle::managed::U64`；
-- `managed_bool` → `saddle::managed::Bool`；
-- `managed_pair<A, B>` → `saddle::managed::Pair<A, B>`；
-- `managed_write_result` → `saddle::managed::WriteResult`；
-- query optional row → `saddle::managed::Optional<Row>`。
-
-handler 必须是普通 `async fn`，不允许手写返回 Future 类型：
-
-```rust
-// no-DB
-async fn health(request: Request) -> saddle::Result<Response>;
-
-// query_optional
-async fn lookup_user(
-    request: Request,
-    row: saddle::managed::Optional<Row>,
-) -> saddle::Result<Response>;
-
-// standalone write 或 transaction commit
-async fn write_response(
-    request: Request,
-    result: saddle::managed::WriteResult,
-) -> saddle::Result<Response>;
-```
-
-`decision business_rollback` 由 Database typed result 映射为 classified 业务错误，
-不调用成功 handler。handler 不能接收 context、proof、permit、connection、builder、
-Runtime handle 或裸 bytes owner。

package/references/identity-closure.json

@@ -1,49 +0,0 @@
-{
-  "schema": "saddle-skill-identity-closure/2",
-  "skill_release": "0.2.0",
-  "rust_release": "0.2.0",
-  "artifact_source_commit": "96cd4ec8da55b0770c5d3e8275c74e65241a4759",
-  "registry_artifact_source_commit": "96cd4ec8da55b0770c5d3e8275c74e65241a4759",
-  "rust_candidate_manifest_sha256": "2b0af0e6dd396b32fcbefb4236565136319c0d33c69effc1852913acb5290b17",
-  "registry_packages_sha256": {
-    "saddle-admission": "86c6a3787d1612faa49558f5a104ba78415ff604344112c150b6b69446937065",
-    "saddle-core": "bf4e1cd2343cc239a0bb8288fe0947e73775d9cb3438b85ee1c15026a6369aa0",
-    "saddle-db": "e3cac62b288d0e7cf775138793e2d8afb8923b4bbb4d72afb2deb8c18d9b7030",
-    "saddle-framework": "6f819954a32f042aa43a55c1fddb8e1a8c6de389f5f3b6cd006bba532a1aca0b",
-    "saddle-macros": "e46b63cda97e643f41a86ac817306081b88c1af186c635e9451946b51c59dbeb",
-    "saddle-observability": "5e6f5d2228e8a02dd6bf65cbbd2e982129696976a104c4caf773c12016e1ecd3",
-    "saddle-runtime": "0c8925b3871f95f58cde8cf7de6938116d4fbb35000ea31699c7603d658deee2",
-    "saddle-service": "6d148466da57be9be7b2e4df9dcd68f0a253a418db247438ad0be1e886c8ff1b"
-  },
-  "framework_crate_sha256": "6f819954a32f042aa43a55c1fddb8e1a8c6de389f5f3b6cd006bba532a1aca0b",
-  "fresh_registry_cargo_lock_sha256": "542bb990a3e176f3cc987b34df23061c6fdaac321d3433aaa08cf5f47151631a",
-  "registry_consumer_cargo_lock_sha256": "8896ba07b7a868b6914fa4cf5e85358e0c201bd717083c1822d0456d547a87ed",
-  "declaration_schema": "saddle-application/1",
-  "machine_schema": "saddle-approved-build/2",
-  "generated_static_schema": "saddle-generated-static-facts/2",
-  "gate_identity": {
-    "d1_source_candidate": "c5ce82687390e9865527540b41fa664b4c0b7bad",
-    "gate_entry_sha256": "6459a15fd83378f78bdabc80f37fe80caee20db1c3f527f18b923172af76d85e",
-    "production_fact_contract_sha256": "8ab24a226322085677ce1aa3241a1fff07365fc9e90d3506bf21e886c3c0d63e",
-    "canonical_machine_input_sha256": "f7e73baa824f607a83a275e20681da46e4eab6f250fba8129bf959a1b7f263e6",
-    "semantic_fact_whole_sha256": "a3ccc16cd94daec6c3bd4b93d7f8095b4eef68d3e9dbb686c8942c341acda5b2"
-  },
-  "public_api_snapshot_sha256": "da87e0b63c3fdf511daac30581cbf415f49541df2034d1e7bc713a9833179a51",
-  "machine_schema_document_sha256": "353ee7fbf4dc8219595c44a1871f699952d0f2b116ed5ec615242c3f5521285d",
-  "approved_locks": {
-    "registry_consumer": "8896ba07b7a868b6914fa4cf5e85358e0c201bd717083c1822d0456d547a87ed"
-  },
-  "unified_application_sha256": "a85bf6a5665f3516fafddbe2b3c9460dadb7e341ce0336a79c4ecca4a4fd55d9",
-  "unified_owner_sha256": "af15a8dab10c1ac35d1c7bcbf2174d80c056e8200bd8b7f6fe2ceb60c1f9e0ea",
-  "template_identity_sha256": "04f64225450bd190706464f806d8ce6604a70774b112311908ece3f448eeb261",
-  "registry_consumer_template": {
-    "cargo_lock": "8896ba07b7a868b6914fa4cf5e85358e0c201bd717083c1822d0456d547a87ed",
-    "cargo_manifest": "561cef428037910a846ff06936b1c71a7d41d386fd8341abb0e5e979a2ea83d1",
-    "library": "a85bf6a5665f3516fafddbe2b3c9460dadb7e341ce0336a79c4ecca4a4fd55d9",
-    "generated_owner": "af15a8dab10c1ac35d1c7bcbf2174d80c056e8200bd8b7f6fe2ceb60c1f9e0ea",
-    "external_consumer_test": "18cb018e87a251255457861058537fc1b07b0226c002d170de4e2c5512f2ae45",
-    "output_validator": "d20d3ecf89e81c0797340bd6779e8e58265e4cfe4c38b7519e78a9064a817415",
-    "preflight_validator": "925c0205387dd458cd60e029179f978aa72dcc1eb3bcde6b32ad4756363b81e4",
-    "cache_key_builder": "7b464d2bfd6444f03c9ebc6bc58c49e03904223dc1a55bee8bfba8dabf56e90b"
-  }
-}

package/references/machine-schema.md

@@ -1,47 +0,0 @@
-# Machine schema 版本策略
-
-## 两个独立 schema
-
-- declaration：`saddle-application/1`，面向用户源码与 Skill；
-- machine：`saddle-approved-build/2`，面向 generator、Gate 与 release identity。
-
-二者独立升级。声明不变但增加新的 build identity 字段时，只升级 machine schema。
-
-## 兼容规则
-
-- schema ID 使用 `<name>/<major>`；major 改变表示不兼容。
-- 同一 major 内只允许新增可选字段；删除、重命名、改变类型或语义必须升 major。
-- 正式 Gate 对当前 release 的 canonical field set 拒绝未知、重复和缺失字段。
-- reader 可以显式支持多个 schema major，但不得猜测、fallback 或忽略未知字段。
-- Skill package manifest 固定支持的 declaration/machine major。
-- Rust facade minor、Skill npm minor 与 schema major 的支持矩阵必须进入 release
-  manifest；不要求三个版本号机械相等。
-
-每个正式 Skill package 必须记录一个精确 Rust facade 版本、源码 commit 与公开 API
-snapshot digest。Skill patch 若只修正文档，可以继续映射同一个 Rust patch；若公开
-API snapshot 改变，必须发布新的 Skill package 并重新生成兼容矩阵。禁止仅比较
-`0.2` 前缀后自动接受。
-
-## fingerprint
-
-canonical machine document 使用 UTF-8、LF、按 schema 规定顺序的
-`key=value`，字符串不做环境展开。fingerprint 覆盖：
-
-- declaration digest、generator digest、Rust package/source identity；
-- compiler、target、profile、features、Cargo.lock；
-- 公开 API snapshot digest；
-- build-internal layout、proof、route/call graph 与 Gate results；
-- generated static facts 与 opaque Runtime profile 来源（具体部署值不得进入 generated input）。
-
-fingerprint 值不是公共 API，也不跨 build 稳定。任何输入变化都必须重签并重跑受
-影响的独立证据。
-
-generated static facts 使用 `saddle-generated-static-facts/2`：从同一次 Service freeze
-取得 route set 与每 route commitment、managed-object peak、DB credit，再绑定静态
-framing/layout、DB/writer/Runtime work identity 和 artifact identity。route 缺失、重复、
-实例 identity 漂移、generation 不同或 checked arithmetic 溢出均失败。
-
-machine input 不得包含 `T/N/W/DB/E` 容量域、capacity intent、deadline 毫秒、task
-bytes 或 planner 派生量。它们由 Gate/Runtime 使用 verified resource envelope 和
-calibration 产出 opaque StartupPlan/transport runtime profile；Skill 只记录该事实的
-来源边界，不观察具体值。

package/references/migration.md

@@ -1,24 +0,0 @@
-# 0.1 → 0.2 迁移
-
-0.2 是显式迁移，不提供生产 fallback。
-
-| 0.1 源码 | 0.2 候选 |
-|---|---|
-| `ServiceHandler` / boxed `ServiceFuture` | 声明中的 `service` + async handler 名称 |
-| serde request/response | `managed_*` 固定 shape |
-| `ServiceRegistryBuilder` | generator-owned 唯一 assembly |
-| `Statement` / `DbValue` | 静态 `query_optional` / `write` 声明 |
-| closure transaction | 单层 `transaction` + `steps 1` + 显式 decision |
-| 用户 route/预算数值 | 声明 route；预算由 generator proof 派生 |
-
-迁移步骤：
-
-1. 保留 0.1 分支和精确 lock，禁止原地静默切换。
-2. 新建 0.2 application declaration；逐个映射 Service、route 和内部调用边。
-3. 把 DB 操作改成静态 operation/SQL/fixed shape。
-4. 把事务收敛为一个 write step，并区分 commit 与 business rollback。
-5. 删除业务直接 registry、Runtime、Web、DB driver、普通容器和 serde 依赖。
-6. 使用正式 0.2 generator 与 Gate；不得用本候选脚本生成生产 artifact。
-
-若业务依赖动态 SQL、多 step transaction、普通容器或第三方 I/O，迁移必须 STOP，
-不能回退到 V1 production path。

package/references/public-api.snapshot

@@ -1,16 +0,0 @@
-format=saddle-public-api-snapshot/1
-facade=saddle-framework
-source_commit=96cd4ec8da55b0770c5d3e8275c74e65241a4759
-declaration_schema=saddle-application/1
-macro=saddle::application!
-managed_type=saddle::managed::U64
-managed_type=saddle::managed::Bool
-managed_type=saddle::managed::Pair
-managed_type=saddle::managed::Optional
-managed_type=saddle::managed::WriteResult
-startup_config=saddle::SaddleConfig::new
-generated_application_entry=pub fn <Application>::run<B: saddle::ApprovedExternalBundle>(bundle:B,config:saddle::SaddleConfig)->saddle::Result<()>
-generated_application_body=saddle::ProductionLauncher::verify(bundle)?.run(config,private_generated_owner)
-diagnostic=skill.schema.unsupported
-compatibility=source-and-public-api
-rust_abi_frozen=false