t:1i:17o:ga{q,p,f}:TODO,[src],0u{tok,rec,ms}:256,64,30000t:3i:17s:0p[1]{i,v}:1,src/lib.rsd[2]{p,l,c,t}:1,42,7,"TODO item"1,87,3,"FIXME item"z:0r:~开源 · RUST · CODING AGENT 优先
AI Native Shell.
用类型化请求完成仓库探索、进程执行、事务修改、DAG 并行、快照与可取回证据。
$
ash run < .ash/task.asonash run < .ash/07-project.ason完整数据留在 @7，只取 p/l/t 三列
规范请求
o:| a:[@7,d,0,64,p,l,t]
✓o:g搜索命中完成
✓o:r读取行窗完成
✓o:b并行批处理完成
✓o:p摘要保护补丁完成
✓o:x运行回归测试完成
●o:|投影最终证据运行
任务完成6 个操作 · 1 个紧凑证据包
s:001ASH/1 · 15 个类型化操作02并行执行 · 稳定归并03ASON · 按需投影04Linux · macOS · Windows
命令漫游
看 ASH 完成一次代码任务
向下滚动，终端会跟随当前步骤切换。每一步都展示真实命令、规范请求、紧凑结果和字段注释。
滚动选择步骤，也可以点击任一步直接查看。
t:1i:19o:ra{p,m,o,n}:[src/lib.rs],1,1,80u{tok,rec,ms}:512,64,30000t:3i:19s:0p[1]{i,v}:1,src/lib.rsd[1]{p,o,n,h,t,r}:1,1,15,aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,"pub mod engine;",~z:0r:~t:1i:80o:ba[2]{i,d,o,a}:1,[],g,"a{q,p,f}:\nTODO,[src],0\n"2,[1],r,"a{p,m,o,n}:\n[Cargo.toml],0,0,32\n"u{tok,rec,ms}:64,16,30000t:3i:80s:0d[2]{i,o,s,c,r}:1,g,0,0,@42,r,0,0,@5z:8r:~t:1i:23o:pa{p,h,i,o,n,v,f}:[src/lib.rs],[aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa],[0],[4],[3],[pub],0u{tok,rec,ms}:512,64,30000t:3i:23s:0p[1]{i,v}:1,src/lib.rsd[1]{p,s,h}:1,0,bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbz:0r:~t:1i:18o:xa{x,v,c,e,in,f}:cargo,[test,--locked],.,["RUST_BACKTRACE=1",-SECRET],~,0u{tok,rec,ms}:512,64,120000t:3i:18s:5d{k,c,ms,o,e,ro,re}:0,101,842,~,"cargo test --locked\nrunning 200 tests\n⋯18\nerror[E0609]: no field `missing`\n --> src/lib.rs:42:9\ncompile crate-a\nlink crate-a\n×64#2\ndetail: field unavailable\nhelp: inspect schema\n⋯24\ntest result: FAILED\nfinished",~,@12e{c,q,p,x,a}:401,0,4,~,~z:11r:~t:1i:24o:sa{p,d,m,r,f}:[.],64,0,~,0u{tok,rec,ms}:512,64,30000t:3i:24s:0p[2]{i,v}:1,Cargo.toml2,src/lib.rsd[2]{p,c,k,z,h}:1,0,0,912,bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb2,0,0,244,ccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccz:8r:@9t:1i:44o:|a:[@7,d,0,64,p,l,t]u{tok,rec,ms}:256,64,30000t:3i:44s:0d[2]{p,t}:src/a.rs,TODOsrc/b.rs,FIXMEz:10r:@7公式语法
符号就是操作
悬停或聚焦符号查看批注；触屏设备点击打开。每个符号都有固定参数和唯一规范编码。
运行时
Tokio 与 Rayon，共用一套预算
Tokio 处理进程、管道、RPC、超时与取消；Rayon 处理搜索、哈希、Diff 和归约。Governor 限制全局、会话和请求并发。
ASH/1 REQUEST
HIERARCHICAL GOVERNOR
IOTOKIO I/O PLANErpc · process · pipe · cancel
CPURAYON CPU PLANEsearch · hash · diff · reduce
STABLE MERGECANONICAL ASON
HOST BUDGETSESSION BUDGETREQUEST BUDGETACTION PERMIT
输出格式
ASON：紧凑、稳定、可取回
同构记录按列编码，路径进入字典，大值保留为引用。稳定归并让相同输入得到相同输出。
s:0
a:search
d{p}:
0:"src/runtime.rs"
r{p,l,c}:
0,42,governor
0,88,stable_merge
z{shown,total}:
2,17CL100K / O200K0.62×compact row-object JSON查看 ASON 格式
高风险操作需要一次性 Permit
Permit 绑定会话、动作、策略和过期时间。文件事务带摘要校验、日志与回滚。
SECURITYLinux、macOS 与 Windows
x86-64 与 ARM64 使用同一协议。发布流程校验签名、SBOM、来源证明、安装、更新和回滚。
linuxmacoswindowsx86-64 + arm64
curl --proto '=https' --tlsv1.2 -LsSf https://raw.githubusercontent.com/A3S-Lab/ash/d8756614ad6a54128336f50a6a52fcb6f92d1305/install.sh | sh签名二进制尚未发布；安装器会在下载前退出。