feat(aiur): Measured-ingress sharding - #524

Draft

samuelburnham wants to merge 30 commits into

mainfrom

sb/measured-ingress

Commits on Jul 30, 2026

profile: per-metric block leaderboards (--top N, default 10)
samuelburnham
committed
profile: record memo-unique substitutions (.ixprof v2)
samuelburnham
committed
shard: calibrated Aiur cost model, profile/shard --backend aiur
samuelburnham
committed
profile: env-wide closure cost sweep (ix profile sweep)
samuelburnham
committed
shard: closure-union byte accounting for Aiur packing
samuelburnham
committed
shard: price Aiur ingress as frontier-trusted, not full-closure
samuelburnham
committed
tests: pin the const/blob classification of a non-ingressed ref
samuelburnham
committed
IxVM kernel: classify refs from the discriminator, poison the unresolved
samuelburnham
committed
IxVM kernel: ingress frontier constants as type-only axioms
samuelburnham
committed
claim: separate "not checked here" from "ingressed as a type-only stub"
samuelburnham
committed
diagnostics: name the missing IO key, count constants touched per check
samuelburnham
committed
docs: Step 1 must be atomic — dual-field migration breaks node identity
samuelburnham
committed
IxVM kernel: synthesize mutual-block member addresses
samuelburnham
committed
profile: record the measured touch graph, seed it FULL in Aiur packing
samuelburnham
committed
shard witnesses: measured ingress sets, wired end to end
samuelburnham
committed
shard: per-shard stub-promotion rounds, price the emitted sets
samuelburnham
committed
aiur: assert forensics in the interpreter, witness-set diagnosis probe
samuelburnham
committed
repair driver: escalate divergent shards to a green partition
samuelburnham
committed
kernel: report every wanted stub, making escalation fully targeted
samuelburnham
committed
prove: batched, resumable all-shards mode with composed verdict
samuelburnham
committed
witness: ghost stubs — position-only entries, no bytes, no hashing
samuelburnham
committed
shard: persist whnf/def_eq/nat_arith per shard
samuelburnham
committed
merge prep: ghost-classification cache, shard-pipeline E2E test, pins
samuelburnham
committed
caches: digest-keyed ~/.ix/cache replaces CSV sidecars; ghost -> address-only
samuelburnham
committed
fmt: rustfmt ix-ffi
samuelburnham
committed
rebase reconcile: regen codegen against main's kernel, refresh FFT pins
samuelburnham
committed
bench: aiur-shard backend — planner metrics + heavy-shard execution
samuelburnham
committed
bench: register Init as a benchmark env
samuelburnham
committed
fmt: rustfmt aiur execute + kernel shard
samuelburnham
committed
remove diag_duplicate_wrappers forensics probe
samuelburnham
committed