toyos-fat32-check moves to toyos-fat32/check, beside the one subject it judges

Cargo.toml

@@ -31,7 +31,7 @@ members = [
     "toyos-elf",
     "toyos-elide",
     "toyos-fat32",
-    "toyos-fat32-check",
+    "toyos-fat32/check",
     "toyos-gicv3",
     "toyos-gpt",
     "toyos-hda",
@@ -132,7 +132,7 @@ toyos-fat32 = { path = "toyos-fat32" }
 # The two readers `image::certify` judges every published image with. They are
 # dependencies of the build rather than of its tests because a flash target is
 # not published until they have both passed on it.
-toyos-fat32-check = { path = "toyos-fat32-check" }
+toyos-fat32-check = { path = "toyos-fat32/check" }
 toyos-gpt = { path = "toyos-gpt" }
 toyos-keymap = { path = "toyos-keymap" }
 # The form a program's line takes in a boot's log and the port `logd` serves it

issues/build/code-used-by-one-program-lives-in-that-program.md

@@ -59,11 +59,6 @@ and #631, of which #631 has landed, before the latency work
    tests, which it lists as escapes today.
    Check: `--ci host` runs every test each package lists today, and `--clippy`
    lints them.
-5. **`toyos-fat32-check` goes under `toyos-fat32/`.** The build and
-   `toyos-fat32`'s tests both use it, and it moves to `toyos-fat32/check/`,
-   beside the one subject it judges.
-   Check: `--ci host` runs every test the package lists today, and `--clippy`
-   lints them.
 
 **Exit:** no directory this file names as moved or merged still exists, and
 step 4's count finds no crate outside its one consumer.

toyos-fat32/Cargo.toml

@@ -28,7 +28,7 @@ toyos-wallclock = { path = "../toyos-wallclock" }
 # The volume checker this crate's tests are judged by. A dev-dependency and
 # never a dependency: it is the outside judge of what this crate writes, and it
 # must not be reachable from the driver it judges.
-toyos-fat32-check = { path = "../toyos-fat32-check" }
+toyos-fat32-check = { path = "check" }
 # Test scratch that is gone on every way out; `--ci host` reds on any left behind.
 toyos-tmpdir = { path = "../toyos-tmpdir" }
 # The reader this crate's output is read back by: a third party's FAT

toyos-fat32/tests/refused_writes.rs

@@ -19,7 +19,7 @@
 
 mod common;
 
-#[path = "../../toyos-fat32-check/tests/common/mod.rs"]
+#[path = "../check/tests/common/mod.rs"]
 mod spec_volume;
 
 use spec_volume::{fat_offset, Volume, BYTES_PER_SECTOR, CLUSTERS, FAT_SECTORS, NUM_FATS};

toyos-fat32/tests/replace_rename.rs

@@ -1,7 +1,7 @@
 //! Replacing rename's device-error window, exercised against the real writer
 //! and judged by the independent FAT checker.
 
-#[path = "../../toyos-fat32-check/tests/common/mod.rs"]
+#[path = "../check/tests/common/mod.rs"]
 mod spec_volume;
 
 use spec_volume::{cluster_offset, Volume, DIR_FST_CLUS_HI, DIR_FST_CLUS_LO, ROOT_CLUSTER};

userland/fsd/src/fat.rs

@@ -429,7 +429,7 @@ impl<D: Disk> Volume for FatVolume<D> {
 /// A FAT32 volume built from fatgen103 by the checker's tests, and not by the
 /// driver under test.
 #[cfg(test)]
-#[path = "../../../toyos-fat32-check/tests/common/mod.rs"]
+#[path = "../../../toyos-fat32/check/tests/common/mod.rs"]
 mod spec_volume;
 
 #[cfg(test)]