miri subtree update

src/tools/miri/.github/workflows/ci.yml

@@ -171,6 +171,9 @@ jobs:
       - name: build Priroda
         working-directory: priroda
         run: cargo build --locked
+      - name: clippy Priroda
+        working-directory: priroda
+        run: cargo clippy --all-targets --locked -- -D warnings
       - name: test Priroda
         working-directory: priroda
         run: |

src/tools/miri/priroda/Cargo.lock

@@ -351,6 +351,17 @@ version = "0.6.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "edd0f118536f44f5ccd48bcb8b111bdc3de888b58c74639dfb034a357d0f206d"
 
+[[package]]
+name = "emmy_dap_types"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2310ff06ab812a0332ffa037bbda9d994b3721a7f8a308ff38c28bdb20c37f56"
+dependencies = [
+ "serde",
+ "serde_json",
+ "thiserror 1.0.69",
+]
+
 [[package]]
 name = "encode_unicode"
 version = "1.0.0"
@@ -891,6 +902,7 @@ dependencies = [
 name = "priroda"
 version = "0.1.0"
 dependencies = [
+ "emmy_dap_types",
  "miri",
  "regex",
  "ui_test",

src/tools/miri/priroda/Cargo.toml

@@ -18,6 +18,7 @@ name = "cli"
 harness = false
 
 [dependencies]
+emmy_dap_types = "0.2.0"
 miri = { path = ".." }
 
 [package.metadata.rust-analyzer]

src/tools/miri/priroda/README.md

@@ -38,6 +38,18 @@ from `miri/priroda/`:
 cargo run -- ../tests/pass/empty_main.rs
 ```
 
+## DAP Prototype
+
+Priroda's `--dap` mode speaks a bounded Debug Adapter Protocol prototype over
+stdio. It currently supports the startup handshake, stops at the first
+user-relevant source location after `configurationDone`, reports one current
+stack frame, exposes one flat Locals scope, and maps `list_locals()` into DAP
+variables with no child expansion.
+
+The `next` and `stepIn` requests are wired to Priroda's existing source-line
+step so VS Code can drive one visible step. They are not true DAP step-over or
+step-in semantics yet.
+
 ## Test
 
 Priroda's CLI tests also need `MIRI_SYSROOT`. Run them from `miri/priroda/`: