探索工作区
按字节或行读取、稳定遍历路径，并执行有界的字面量或正则搜索。
read · rlist · lsearch · g
开源 · 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/1 将探索、执行、修改、并行、状态与结果取回拆成可预算、可取消、可审计的操作。
进程与取消
通过 argv 直接启动进程，同时捕获双管道，并在超时或取消后清理整个进程树。
exec · xcancel · ktimeout
安全修改
用 BLAKE3 前像保护补丁；文件创建、复制、移动与删除作为可恢复事务提交。
patch · pfs · fjournal
并行任务图
DAG 就绪节点并发运行，失败后代跳过，独立工作排空，错误按稳定索引选择。
batch · bTokioRayon
工作区状态
捕获限定范围的清单快照，并以相同作用域计算确定性的增量。
snapshot · sdeltaBLAKE3
可取回证据
大输出在固定内存上限后落盘；切片、搜索、投影、物化与释放都使用类型化公式。
/ · # · ?| · > · -spill
模型上下文
ASON 列编码、路径字典与显式归约减少令牌；完整源数据仍由引用保留。
ASON×N · ×N#K⋯N
信任与交付
能力协商、一次性 Permit、事务恢复与签名更新覆盖三个系统和六个原生目标。
capabilitiespermitsigned update
CODING AGENT SKILL
让 Coding Agent 正确使用 ash
仓库内置可复用的 Agent Skill，说明精确 ASON 信封、操作选择、安全修改、并行工作流和验证方式。
.agents/skills/use-ash/SKILL.md- 01发现与读取
- 02摘要保护的修改
- 03测试与证据取回
命令漫游
看 ASH 完成一次代码任务
向下滚动，终端会跟随当前步骤切换。每一步都展示真实命令、规范请求、紧凑结果和字段注释。
滚动选择步骤，也可以点击任一步直接查看。
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:~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/main/install.sh | sh签名二进制尚未发布；安装器会在下载前退出。