From a844de3f7a5cca47490474efd3e288d57fb1ede8 Mon Sep 17 00:00:00 2001 From: Brummel Date: Thu, 28 May 2026 18:45:38 +0200 Subject: [PATCH] =?UTF-8?q?test:=20workspace=5Fpin=20module=20count=203?= =?UTF-8?q?=E2=86=924=20(kernel=5Fstub=20auto-injection)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Follow-up to 9339279 — the implement-orchestrator caught the e2e.rs module-count assertion but missed this in-source pin in workspace_pin.rs. The loader now injects two built-in kernel- tier modules (`prelude` and `kernel_stub`); the user's ws_main + ws_lib bring the total to 4. Also asserts both built-ins are present by name so a future retirement of `kernel_stub` (planned for when the raw-buf milestone lands a real second kernel-tier consumer) trips this pin in lockstep, not as a silent off-by-one. --- crates/ailang-core/tests/workspace_pin.rs | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/crates/ailang-core/tests/workspace_pin.rs b/crates/ailang-core/tests/workspace_pin.rs index cff7c62..5be74f6 100644 --- a/crates/ailang-core/tests/workspace_pin.rs +++ b/crates/ailang-core/tests/workspace_pin.rs @@ -49,9 +49,13 @@ fn loads_example_workspace_happy_path() { assert_eq!(ws.entry, "ws_main"); assert!(ws.modules.contains_key("ws_main")); assert!(ws.modules.contains_key("ws_lib")); - // the loader auto-injects the `prelude` module, - // so the count is the user's two modules plus prelude. - assert_eq!(ws.modules.len(), 3); + // the loader auto-injects two built-in kernel-tier modules + // (`prelude` and `kernel_stub` — see prep.3 of the + // kernel-extension-mechanics milestone), so the count is the + // user's two modules plus those two. + assert_eq!(ws.modules.len(), 4); + assert!(ws.modules.contains_key("prelude")); + assert!(ws.modules.contains_key("kernel_stub")); } #[test]