Expand README IDE docs and align stdlib discovery wording across specs.

Also updates CONTRIBUTING CI notes, project tree entries, bug-hunt bisect builds, and LSP import-config descriptions.

Author: Cod-e-Codes

.cursor/skills/finding-ion-bugs/SKILL.md

@@ -84,7 +84,7 @@ git bisect start
 git bisect bad HEAD
 git bisect good <known-good-commit>
 # rebuild + repro each step
-cargo build --release --bin ion-compiler && cd tests && ./test_runner.sh test_foo.ion
+cargo build --release --bin ion-compiler --bin ion-build && cd tests && ./test_runner.sh test_foo.ion
 ```
 
 ## Change review for bugs

.cursor/skills/finding-ion-bugs/references/bug-hotspots.md

@@ -21,7 +21,7 @@ CLI errors use `TypeCheckError` Debug form (`UseAfterMove { ... }`). LSP reforma
 
 - `register_imports` (LSP) vs full `parse_module` (CLI) import resolution
 - Import cycles and duplicate symbol registration
-- Keyword additions: lexer + parser + LSP keyword list + TextMate grammar
+- Keyword additions: lexer + parser + `src/lsp/util.rs` `KEYWORDS` + TextMate grammar
 
 ## Integration harness
 

.cursor/skills/ion-lsp-vscode/SKILL.md

@@ -64,7 +64,7 @@ Adjust path for OS (no `.exe` on Linux/macOS).
 `src/lsp/server.rs` implements `tower_lsp::LanguageServer`. In `check_file`:
 
 1. On `did_open` / `did_change` - **lexer → parser** on the in-memory buffer (unsaved edits included; does not re-read the file from disk)
-2. **`Compiler::load_imports`** - per-import `parse_module` on disk with `build::discover_import_config` (same stdlib paths as `ion-build` when `ion.toml` or `ION_STDLIB` is set); failed imports publish diagnostics at the `import` span while successful imports still register exports
+2. **`Compiler::load_imports`** - per-import `parse_module` on disk with `build::discover_import_config` (same stdlib search order as `ion-build`, including walk-up `stdlib/` and install-relative paths); failed imports publish diagnostics at the `import` span while successful imports still register exports
 3. **Type-check** - `tc::TypeChecker::check_program_collecting_with_source` on merged program, symbols seeded from buffer AST (`check_program_collecting` for unit tests)
 4. Publish diagnostics from lexer, parser, import resolution, or type-check errors
 5. **Hover** - expression types, symbol docs, builtin signatures

CONTRIBUTING.md

@@ -20,6 +20,8 @@ cargo install --path . --bin ion-compiler --bin ion-build
 
 `ion-lsp` is built with the release command above; point the editor extension at `target/release/ion-lsp` (see README IDE Support).
 
+CI (`.github/workflows/ci.yml`) builds all three binaries on Linux; the Windows job builds `ion-compiler` and `ion-build` only. Build `ion-lsp` locally for IDE work.
+
 ## Test
 
 Unit tests:

ION_SPEC.md

@@ -1219,7 +1219,7 @@ Manifest discovery walks upward from the current directory for a file named `ion
 3. `{project_root}/stdlib`
 4. Install-relative `stdlib/` next to the compiler executable (walking up)
 
-File-relative imports (`./`, `../`) and same-directory modules are resolved first. The CLI (`ion-compiler`, `ion-build`) and LSP use the same rules when `ion.toml` or `ION_STDLIB` is present.
+File-relative imports (`./`, `../`) and same-directory modules are resolved first. The CLI (`ion-compiler`, `ion-build`) and LSP share `build::discover_import_config` and the stdlib search order above (from `ion.toml` when present, otherwise by walking up for `stdlib/` and install-relative paths next to the executable).
 
 On Windows with MinGW, linking adds `-lws2_32` automatically (channels, spawn, sockets). Honor `CC` for the C compiler (same as `tests/test_runner.sh`).
 

README.md

@@ -17,7 +17,7 @@ Brief summary; see [ION_SPEC.md](ION_SPEC.md) for the full language reference.
 - **Ownership**: move by default; single owner per value; use-after-move is a compile error
 - **Borrowing**: `&T` and `&mut T` are stack-local; references cannot escape the function (no return, no struct fields, no channels, no `spawn`)
 - **Types**: primitives, structs, enums (tuple and struct variants), generics, `[T; N]`, `[]T`, `Box<T>`, `Vec<T>`, `String`
-- **Control flow**: `if`/`while` (bool conditions), `loop { }`, `for x in expr` over `Vec<T>`, `[T; N]`, or `String` (bytes as `u8`), `match` with guards, `defer`
+- **Control flow**: `if`/`while` (bool conditions), `loop { }`, `break`/`continue`, `for x in expr` over `Vec<T>`, `[T; N]`, or `String` (bytes as `u8`), `match` with guards, `defer`
 - **Concurrency**: `channel<T>()` returns `(Sender<T>, Receiver<T>)`; `send(&tx, v)` and `recv(&mut rx)`; `spawn { ... }` with structural `Send`
 - **FFI**: `extern "C"` blocks, raw pointers `*T`, calls require `unsafe`
 - **Stdlib**: `stdlib/io.ion`, `stdlib/fmt.ion`, `stdlib/fs.ion`, and `stdlib/result.ion`
@@ -30,6 +30,7 @@ Known limitations: [ION_SPEC.md section 10.3](ION_SPEC.md#103-known-limitations)
 |----------|----------|
 | [ION_SPEC.md](ION_SPEC.md) | Language semantics, grammar, stdlib contracts |
 | [CONTRIBUTING.md](CONTRIBUTING.md) | Build, test, lint, and PR expectations |
+| [CHANGELOG.md](CHANGELOG.md) | Release notes by month |
 | [tests/README.md](tests/README.md) | Integration test catalog |
 | [examples/](examples/) | Runnable example programs |
 
@@ -61,10 +62,14 @@ Binaries: `target/release/ion-compiler`, `target/release/ion-build`, `target/rel
 
 Ion has a VS Code / Cursor extension that provides:
 - Syntax highlighting
-- Real-time diagnostics (syntax and type errors)
+- Real-time diagnostics (syntax, import, and type errors; multiple independent type errors per file)
 - Hover: variable types at use sites and `let` binding identifiers; symbol signatures and attached `//` doc prose at definitions and qualified imports
 - Completion: prefix-filtered keywords, builtins, and file symbols
 - Go to definition: variables, function calls, and user-defined methods; imported `mod::func` opens the module file
+- Find references, document outline, signature help, semantic tokens
+- Workspace refresh when watched `.ion` dependencies change on disk
+
+Full LSP feature list: [ION_SPEC.md section 10.2](ION_SPEC.md#102-language-server-lsp).
 
 Limitations: built-in methods (`Vec::push`, etc.) and type names in annotations do not go to definition. Full list in [ION_SPEC.md section 10.3](ION_SPEC.md#103-known-limitations).
 
@@ -200,6 +205,8 @@ On Linux or macOS, use `./target/release/ion-build` and drop `.exe`. Windows cha
 
 ```
 .
+├── .cursor/skills/ # Cursor agent skills
+├── .github/        # CI workflows
 ├── src/
 │   ├── bin/        # ion-build, ion-lsp
 │   ├── lexer/      # Tokenizer