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

Closed

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
9b83f72
profile: record memo-unique substitutions (.ixprof v2)
samuelburnham
committed
41deee0
shard: calibrated Aiur cost model, profile/shard --backend aiur
samuelburnham
committed
ae4aab9
profile: env-wide closure cost sweep (ix profile sweep)
samuelburnham
committed
645707b
shard: closure-union byte accounting for Aiur packing
samuelburnham
committed
f475ee0
shard: price Aiur ingress as frontier-trusted, not full-closure
samuelburnham
committed
5244868
tests: pin the const/blob classification of a non-ingressed ref
samuelburnham
committed
bcfa8bc
IxVM kernel: classify refs from the discriminator, poison the unresolved
samuelburnham
committed
d2bf0fd
IxVM kernel: ingress frontier constants as type-only axioms
samuelburnham
committed
0b47e09
claim: separate "not checked here" from "ingressed as a type-only stub"
samuelburnham
committed
688f2c8
diagnostics: name the missing IO key, count constants touched per check
samuelburnham
committed
176930a
docs: Step 1 must be atomic — dual-field migration breaks node identity
samuelburnham
committed
9b26d2a
IxVM kernel: synthesize mutual-block member addresses
samuelburnham
committed
83450a4
profile: record the measured touch graph, seed it FULL in Aiur packing
samuelburnham
committed
0bae7db
shard witnesses: measured ingress sets, wired end to end
samuelburnham
committed
2f599ec
shard: per-shard stub-promotion rounds, price the emitted sets
samuelburnham
committed
be5cf4b
aiur: assert forensics in the interpreter, witness-set diagnosis probe
samuelburnham
committed
cfa47a6
repair driver: escalate divergent shards to a green partition
samuelburnham
committed
e16c108
kernel: report every wanted stub, making escalation fully targeted
samuelburnham
committed
c86c344
prove: batched, resumable all-shards mode with composed verdict
samuelburnham
committed
b1e6bce
witness: ghost stubs — position-only entries, no bytes, no hashing
samuelburnham
committed
826f179
shard: persist whnf/def_eq/nat_arith per shard
samuelburnham
committed
0bc3414
merge prep: ghost-classification cache, shard-pipeline E2E test, pins
samuelburnham
committed
3631500
caches: digest-keyed ~/.ix/cache replaces CSV sidecars; ghost -> address-only
samuelburnham
committed
c029f54
fmt: rustfmt ix-ffi
samuelburnham
committed
ca25fa5
rebase reconcile: regen codegen against main's kernel, refresh FFT pins
samuelburnham
committed
e1feae1
bench: aiur-shard backend — planner metrics + heavy-shard execution
samuelburnham
committed
f3c3583
bench: register Init as a benchmark env
samuelburnham
committed
08ef90c
fmt: rustfmt aiur execute + kernel shard
samuelburnham
committed
60b9457
remove diag_duplicate_wrappers forensics probe
samuelburnham
committed
cf0c47e