merge: dev → main for 0.11.1 release

- fix(unexpected_cfgs): suppress cfg warning spam across workspace
- feat: default features changed to [] for granular dep selection
- fix(elicitation): add graph to cli feature deps
- fix(ci): exclude nightly-only crates from stable clippy and doc check
- fix(lint): two-pass lint recipe for stable+nightly crates
- docs: release notes for 0.11.1

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: crumplecup

.github/workflows/ci.yml

@@ -57,12 +57,12 @@ jobs:
         run: cargo fmt --all -- --check
 
       - name: Clippy
-        run: cargo clippy --workspace --all-targets ${{ matrix.extra_exclude }} -- -D warnings
+        run: cargo clippy --workspace --all-targets --exclude elicitation_creusot --exclude elicitation_kani ${{ matrix.extra_exclude }} -- -D warnings
 
       - name: Doc check
         env:
           RUSTDOCFLAGS: "-D warnings"
-        run: cargo doc --workspace --no-deps ${{ matrix.extra_exclude }}
+        run: cargo doc --workspace --no-deps --exclude elicitation_creusot --exclude elicitation_kani ${{ matrix.extra_exclude }}
 
   # Ubuntu only: test elicitation_derive (fast, no heavy deps).
   test-derive: