fix(lsp): resolve standalone sibling module imports

Author: a19q3

docs/CELLSCRIPT_0_15_RELEASE_NOTES_DRAFT.md

@@ -1,11 +1,18 @@
-# CellScript 0.15 Release Notes Draft
+# CellScript 0.15 Release Notes
 
-**Status**: Release gate passed on the `nightly-0.15` implementation branch.
+**Status**: Released as `v0.15.0`.
 
-**Updated**: 2026-05-20.
+**Release date**: 2026-05-26.
+
+**Release tag**: `v0.15.0`.
+
+**GitHub release**:
+<https://github.com/a19q3/CellScript/releases/tag/v0.15.0>.
+
+**Updated**: 2026-05-26.
 
 CellScript 0.15 is the scoped-invariant, Covenant ProofPlan, and verifier
-soundness hardening preview. It closes the known fail-open and
+soundness hardening release. It closes the known fail-open and
 semantic-boundary bugs found during the hardening audit, makes verifier
 triggers, scope, coverage, builder assumptions, and enforcement gaps explicit
 in source and metadata, and promotes cell identity into a first-class primitive
@@ -467,23 +474,28 @@ Full release gate:
 ./scripts/cellscript_gate.sh release
 ```
 
-Latest recorded release evidence, generated on 2026-05-20:
+Latest recorded release evidence, generated on 2026-05-26 for the `v0.15.0`
+release line:
 
 - Release gate status: passed.
 - Production evidence status: `status: "passed"`, `production_ready: true`.
-- CKB production scope: 7 bundled examples, 43/43 scoped action runs, 17/17
-  scoped lock entries, 17 valid-spend and 17 invalid-spend lock cases.
-- Stateful evidence: 27 local CKB stateful scenario runs.
+- CKB production scope: 7 bundled example deployments, 43 scoped action runs,
+  17 scoped lock entries, 17 valid-spend and 17 invalid-spend lock cases.
+- Action coverage: 4 token actions, 9 NFT actions, 10 timelock actions,
+  8 multisig actions, 4 vesting actions, 6 AMM actions, and 2 launch actions.
+- Stateful evidence: 27 local CKB stateful scenario runs covering 46 steps.
 - Final production hardening gate: `status: "passed"`, `ready: true`.
 - Strict backend CI audit: passed; the CI audit covers compiler-layer IR,
   codegen, RISC-V, syntax-combination, and regression contracts, while the
   full release acceptance covers the stateful CKB evidence boundary.
+- VS Code extension validation and dry-run packaging passed; the release VSIX
+  is attached to the GitHub release as `cellscript-vscode-0.15.0.vsix`.
 
 Report paths:
 
 ```text
-target/ckb-cellscript-acceptance/20260520-215759-25169/ckb-cellscript-acceptance-report.json
-target/cellscript-strict-backend-audit/strict-backend-audit-ci-20260520-215735.json
+target/ckb-cellscript-acceptance/20260526-191436-8309/ckb-cellscript-acceptance-report.json
+target/cellscript-strict-backend-audit/strict-backend-audit-ci-20260526-191416.json
 target/cellscript-backend-shape/backend-shape-report-release.json
 target/cellscript-schema-manifest/schema-manifest-report-release.json
 ```

src/lsp/mod.rs

@@ -2338,7 +2338,16 @@ fn lsp_workspace_cell_files(path: &Utf8Path) -> Result<Vec<Utf8PathBuf>> {
     }
     let path = lsp_canonical_utf8_path(path)?;
     let Some(package_root) = lsp_find_package_root(&path)? else {
-        return Ok(vec![path]);
+        let mut files = Vec::new();
+        let mut seen_files = HashSet::new();
+        if let Some(parent) = path.parent() {
+            lsp_collect_cell_files_recursive(parent, &mut files, &mut seen_files)?;
+        }
+        if seen_files.insert(path.clone()) {
+            files.push(path);
+        }
+        files.sort();
+        return Ok(files);
     };
 
     let manifest = lsp_read_manifest_value(&package_root)?;
@@ -3196,6 +3205,20 @@ where
         );
     }
 
+    #[test]
+    fn lsp_loads_sibling_modules_for_standalone_example_imports() {
+        let root = Utf8PathBuf::from(env!("CARGO_MANIFEST_DIR"));
+        let launch_path = root.join("examples/launch.cell");
+        let launch_source = std::fs::read_to_string(&launch_path).expect("launch example source");
+        let launch_uri = utf8_path_to_file_uri(&launch_path);
+
+        let mut server = LspServer::new();
+        server.open_document(launch_uri.clone(), launch_source);
+
+        let diagnostics = server.get_diagnostics(&launch_uri);
+        assert!(diagnostics.is_empty(), "unexpected launch example diagnostics: {:?}", diagnostics);
+    }
+
     #[test]
     fn test_workspace_references_across_modules() {
         let temp = tempdir().unwrap();