fix(ci): Miri runs --lib only for queue (integration tests use inline asm)

- CI + nightly: cargo miri test -p mantis-queue --lib (skip integration tests)
- CI: add Miri for strategy, events, types, market-state (safe crates)
- Revert integration test cfg(not(miri)) — handled by --lib flag instead
- Nightly Miri extended: also --lib only

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: 2 people

.github/workflows/ci.yml

@@ -127,12 +127,17 @@ jobs:
         with:
           components: miri
       - uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2
-      - run: cargo +nightly miri test -p mantis-queue --all-features
+      # Queue: --lib only (integration tests use inline asm via cold_path/prefetch)
+      - run: cargo +nightly miri test -p mantis-queue --lib --all-features
         env:
           MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check
       - run: cargo +nightly miri test -p mantis-seqlock --lib
         env:
           MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check
+      # Strategy + events + types: safe crates, full Miri coverage
+      - run: cargo +nightly miri test -p mantis-strategy -p mantis-events -p mantis-types -p mantis-market-state --no-default-features
+        env:
+          MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check
 
   careful:
     name: Cargo Careful

.github/workflows/nightly.yml

@@ -52,11 +52,11 @@ jobs:
           components: miri
       - uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2
       - name: Miri with stacked borrows
-        run: cargo +nightly miri test -p mantis-queue --all-features
+        run: cargo +nightly miri test -p mantis-queue --lib --all-features
         env:
           MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check
       - name: Miri with tree borrows
-        run: cargo +nightly miri test -p mantis-queue --all-features
+        run: cargo +nightly miri test -p mantis-queue --lib --all-features
         env:
           MIRIFLAGS: -Zmiri-tree-borrows -Zmiri-strict-provenance
 

crates/queue/tests/spsc_basic.rs

@@ -1,4 +1,3 @@
-#![cfg(not(miri))]
 //! Skip under Miri — queue uses inline assembly (`cold_path`, `prefetch`).
 //! Integration tests for all SPSC ring presets.
 

crates/queue/tests/spsc_copy_basic.rs

@@ -1,4 +1,3 @@
-#![cfg(not(miri))]
 //! Skip under Miri — queue uses inline assembly (`cold_path`, `prefetch`).
 //! Integration tests for the copy-optimized SPSC ring.
 use mantis_queue::{SpscRingCopy, SpscRingCopyInstrumented};

crates/queue/tests/spsc_stress.rs

@@ -1,4 +1,3 @@
-#![cfg(not(miri))]
 //! Skip under Miri — queue uses inline assembly (`cold_path`, `prefetch`).
 //! Two-thread stress test: 10M sequential u64 values.