feat(aiur): Accurate whole-env sharding based on execution measurements - #537

Draft

samuelburnham wants to merge 20 commits into

mainfrom

sb/aiur-planner

Commits on Aug 7, 2026

shard: measured-ingress Aiur planner — touch graph, cost model, RAM packing

samuelburnham
authored and
Ubuntu
committed
776cc63
prove: batched, resumable all-shards mode with composed verdict

samuelburnham
authored and
Ubuntu
committed
3d481b4
bench: aiur-shard backend, Init env, shard-pipeline E2E test

samuelburnham
authored and
Ubuntu
committed
19ad8aa
shard: per-shard rebudget — surgical split of one shard, cached proofs preserved

samuelburnham
authored and
Ubuntu
committed
f782071
shard: recalibrate the Aiur cost model as a two-stage counters->FFT->resources fit

samuelburnham
authored and
Ubuntu
committed
9427ae7
aiur: lazy witness fault-in — IOBuffer faults env bytes on demand

samuelburnham
authored and
Ubuntu
committed
600ab7f
shard scan: measured scan-and-cut sharding for Aiur

samuelburnham
authored and
Ubuntu
committed
1de5c72
shard scan: batched measurement claims — one CheckEnv per 128 blocks

samuelburnham
authored and
Ubuntu
committed
f5bab27
aiur: drop in-execution RAM tracking; ix check --execute whole-env mode

samuelburnham
authored and
Ubuntu
committed
2705c4a
aiur: analytic peak-prove-RAM model from circuit shapes

samuelburnham
authored and
Ubuntu
committed
05e8b8b
scan: analytic RAM cut, cgroup process pool, width-first fast planning

samuelburnham
authored and
Ubuntu
committed
e82f047
scan: systemd-run worker caps, order-file startup, retuned pool plan

samuelburnham
authored and
Ubuntu
committed
806e9bc
scan: bound the big lane by remaining headroom, not the pool

samuelburnham
authored and
Ubuntu
committed
f0ee2a4
scan: drop the cold retry; size caps for a cold first batch

samuelburnham
authored and
Ubuntu
committed
1b177e0
scan: exact record accounting; slice-derived sizing; continue-on-death

samuelburnham
authored and
Ubuntu
committed
93df5fc
name-of: batch --addrs-file resolution over one env decode
Ubuntu
committed
a06a5c1
scan: growth-derived claims, worker recycling, --defer-infeasible naming, opt-in cold re-price, exec-only workers
Ubuntu
committed
19fea11
bench: whole-env aiur execute rows via envRows; drop aiur-shard backend; addr-of owning-shard lookup
Ubuntu
committed
181dbaa
scan: union pricing — per-circuit membership sketches replace the cold re-price
Ubuntu
committed
e1a6f27

Commits on Aug 8, 2026

prove: closure-shard pipeline for heavy constants — per-shard RAM at zero compute cost
Ubuntu
committed
2d59e12

Navigation Menu

Uh oh!

feat(aiur): Accurate whole-env sharding based on execution measurements - #537

feat(aiur): Accurate whole-env sharding based on execution measurements#537
samuelburnham wants to merge 20 commits into
mainfrom
sb/aiur-planner

Commits on Aug 7, 2026

shard: measured-ingress Aiur planner — touch graph, cost model, RAM packing

prove: batched, resumable all-shards mode with composed verdict

bench: aiur-shard backend, Init env, shard-pipeline E2E test

shard: per-shard rebudget — surgical split of one shard, cached proofs preserved

shard: recalibrate the Aiur cost model as a two-stage counters->FFT->resources fit

aiur: lazy witness fault-in — IOBuffer faults env bytes on demand

shard scan: measured scan-and-cut sharding for Aiur

shard scan: batched measurement claims — one CheckEnv per 128 blocks

aiur: drop in-execution RAM tracking; ix check --execute whole-env mode

aiur: analytic peak-prove-RAM model from circuit shapes

scan: analytic RAM cut, cgroup process pool, width-first fast planning

scan: systemd-run worker caps, order-file startup, retuned pool plan

scan: bound the big lane by remaining headroom, not the pool

scan: drop the cold retry; size caps for a cold first batch

scan: exact record accounting; slice-derived sizing; continue-on-death

name-of: batch --addrs-file resolution over one env decode

scan: growth-derived claims, worker recycling, --defer-infeasible naming, opt-in cold re-price, exec-only workers

bench: whole-env aiur execute rows via envRows; drop aiur-shard backend; addr-of owning-shard lookup

scan: union pricing — per-circuit membership sketches replace the cold re-price

Commits on Aug 8, 2026

prove: closure-shard pipeline for heavy constants — per-shard RAM at zero compute cost