IxVM kernel: RBTreeMap-backed ingress + aligned `ix prove`/`ix check` CLI#430

Closed

arthurpaulino wants to merge 3 commits into

mainfrom

Commits on May 28, 2026

Add ix claim/prove/verify pipeline; ix check becomes the Aiur kernel runner
arthurpaulino
committed
RBTreeMap-backed ingress + `--claim` flag for `ix check`/`lake exe check`
arthurpaulino
committed
Align `ix prove` CLI with `ix check`; share driver
arthurpaulino
committed