perf: Tune `ix shard` counts and recalibrate for proving via `--ram-budget` - #601

Draft

samuelburnham wants to merge 7 commits into

mainfrom

ap/aiur-cost-dump

Commits on Aug 28, 2026

aiur: virtual-gas meter + QueryRecordHandle for per-constant cost profiling

arthurpaulino
authored and
samuelburnham
committed
66fb376
aiur: batch weights; budget-gated proves that split in place
samuelburnham
committed
1639996
aiur: model-driven splitting, exec-only audits, corrected-manifest emit
samuelburnham
committed
f529e09
aiur: quality pass, --ram-budget semantics, settled seed sizing
samuelburnham
committed
7de7a7b
bench: aiur-sharded-env exercises the split audit
samuelburnham
committed
20f5e62
aiur: scale static shard seeds by block profile
samuelburnham
committed
f43447c
fmt, clippy
samuelburnham
committed
319df80