用途：该技能用于把现有 Rust 项目的 Tokio/axum/hyper/tonic 异步栈迁移到 Asupersync——一个规范先行、取消正确、能力安全的异步运行时，也用于新项目按 Asupersync 原生方式设计。资料明确强调它不是 Tokio 的简单执行器替换，适配、Web、浏览器、协议与基准的完全对齐仍需核对官方文档与证明材料。
主要能力：以 RuntimeBuilder、Cx、Scope 为核心的引导与区域任务模型；请求/调用边界（web::request_region、grpc::CallContext::with_cx）与服务边界；原生 service/web/grpc、数据库、actor/监督面；Budget、Outcome、能力收窄等语义契约；LabRuntime、DPOR 与确定性测试；可观测性与故障诊断；以及仅在必要时使用的 asupersync-tokio-compat 兼容隔离层。
使用方式：典型顺序为——盘点 tokio、hyper、axum、tonic、reqwest、sqlx 等依赖并分类；先替换运行时引导；在自有异步 API 中优先放置 &Cx；用区域任务替换游离 spawn；逐域替换同步/时间/网络/IO/通道等；迁移过程中同步加入确定性测试。最小引导示例使用 RuntimeBuilder::current_thread().build() 与 block_on，任务内取 Cx::current()；对敏感启动使用 try_spawn 并处理 SpawnError。
限制与注意：资料要求不要在核心 src/ 中使用 tokio、hyper、axum、tower（除限定适配路径）等禁列 crate，兼容层应视为隔离边界并计划移除；反对把 Cx::for_request()、Cx::for_testing() 当作生产架构；讨论仓库内部证明与 ATP 基准时须按 proof_lane_manifest_v1.json、proof_status_snapshot_v1.json 分类证据，编译通过或单一有利数据不足以支撑“胜出”结论。仓库内部操作须遵循实时 AGENTS.md，不得擅自删除文件。具体价格、授权、支持平台等信息暂未提供。