Miri unit-test pass — dsfb-atlas v2.0.0
=========================================

Invocation:
    MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-tree-borrows" \
    cargo +nightly miri test -p dsfb-atlas --release

Pass criterion: process exits 0 with no `Undefined Behavior:` diagnostic.

The crate has 0 unsafe blocks, 0 FFI imports, 0 raw pointers, 0 manual
allocator calls. Miri's job here is regression protection: if a later
edit adds `unsafe` (e.g. to speed up YAML parsing), Miri catches the
inevitable mistake.

This file is regenerated by `audit/scripts/miri.sh`. To run Miri locally
you need rustup + nightly + the `miri` component:

    rustup install nightly
    rustup +nightly component add miri

Status (latest run): PASS — no UB diagnostics.
