perf(rust-kernel): Intern-assigned uids, symbolic Nat offsets, environment-machine WHNF reducer - #442

Merged

samuelburnham merged 26 commits into

mainfrom

Jul 30, 2026

Commits on Jul 28, 2026

kernel: uid identity, env-machine WHNF, and reduction-loop perf
samuelburnham
committed
9667709
kernel: native perf/shard examples (out-of-circuit tooling)
samuelburnham
committed
a69b552
zisk+sp1: prover batch scripts and logs; bench-compile-init
samuelburnham
committed
2d5d348
zisk: close aggregation soundness gaps (failures word, transitive vk pinning)
samuelburnham
committed
d392646
ixon: memoize deferred address verification (one hash per constant per load)
johnchandlerburnham
committed
fcecdc1
verify: make the pinned trust-frontier statements dischargeable
samuelburnham
committed
d7eb569
tc: mirror the kernel's Nat-offset machinery in the Lean spec
samuelburnham
committed
8d0bb6e
tests: drop the tc-node-addr bit-parity harness
samuelburnham
committed
1628c4d
kernel: allocate intern uids in thread-local blocks
samuelburnham
committed
63e4cd9

Commits on Jul 29, 2026

Commits on Jul 30, 2026