Context: just miri exists but isn't in CI, and most crates aren't explicitly marked as
miri-compatible.
Scope:
- Add a
miri_compatibleparameter torust_libraryinbuild/rust.bzl, defaultTrue. - Set
Falseon crates with inline asm, MMIO, or hardware access (at minimum:riscv,trap,uart-16550,cpu-local,unwind,backtrace,panic-unwind,abort). - Add a
test-miriCI job that runsjust miriover the compatible set. - Start as
continue-on-error: truefor a week to collect failures; then make required.
Initial miri-compatible targets to verify: arrayvec, fastrand, ecma-119, fdt,
wavltree, range-tree, sharded-slab, util.
Acceptance: miri CI job runs; compatible crates pass.