fix(docs): Resolve contradictions across docs and broken anchors.

Author: dylan-sutton-chavez

docs/pages/getting-started/what-it-is.md

@@ -43,7 +43,7 @@ Multi-paradigm sandboxed compiler:
 
 - **Small binary**, compiler + VM in one WebAssembly release.
 - **Faster interpreter**, no method-resolution overhead; hot opcodes promote to type-specialised fast paths via IC.
-- **Aggressive memoisation**, pure functions auto-cached after two hits ([Functions](/language/functions#generators)); most functional code is pure by construction.
+- **Aggressive memoisation**, pure functions auto-cached after two hits ([Functions](/language/functions#recursion)); most functional code is pure by construction.
 - **Easier sandboxing**, no protocol dispatch, no stdlib; attack surface is the fixed built-in set.
 
 ## Sandbox guarantees

docs/pages/language/async.md

@@ -8,7 +8,7 @@ Cooperative concurrency via `async def` coroutines and `await` / `yield`. No pre
 No `asyncio` module. Primitives: `run`, `sleep`, `frame`, `gather`, `with_timeout`, `cancel`, `receive` — are top-level builtins.
 
 ```python
-import asyncio # ModuleNotFoundError: It was decided not to use asyncio and introduce the asynchrony within the virtual machine.
+import asyncio # compile-time error: module 'asyncio' not found — concurrency lives in the VM, not a module.
 ```
 
 ```python

docs/pages/language/syntax.md

@@ -125,7 +125,7 @@ hello world
 
 ### Escape sequences
 
-Supported: `\n`, `\t`, `\r`, `\\`, `\'`, `\"`, `\0`, `\xHH`, `\uHHHH`, `\UHHHHHHHH`, `\NNN` (1–3 octal digits). Named-char escapes (`\N{GREEK SMALL LETTER ALPHA}`) not supported — use `\u`.
+Supported: `\n`, `\t`, `\r`, `\a`, `\b`, `\f`, `\v`, `\\`, `\'`, `\"`, `\0`, `\xHH`, `\uHHHH`, `\UHHHHHHHH`, `\NNN` (1–3 octal digits). Named-char escapes (`\N{GREEK SMALL LETTER ALPHA}`) not supported — use `\u`.
 
 ```python
 print('\n line break')

docs/pages/reference/builtins.md

@@ -610,7 +610,7 @@ False
 
 ### callable
 
-True for user functions, lambdas, bound methods, type objects, native builtins. False for everything else, including instances, no `__call__` dispatch.
+True for user functions, lambdas, bound methods, type objects, native builtins, and instances whose class defines `__call__` (see [Callable](/language/dunders#callable)). False for everything else.
 
 ```python
 print(callable(print))

docs/pages/reference/cli.md

@@ -134,17 +134,17 @@ Point a package at a custom URL with `edge add foo=https://example.com/foo.wasm`
 
 ## `edge build` — portable bundle
 
-Bundles your app into a self-contained `dist/` for offline use or self-hosting: the runtime, the `compiler.wasm`, your scripts, and every package vendored locally so nothing is fetched at runtime.
+Bundles your app into a self-contained `dist/` for offline use or self-hosting: the runtime, the `compiler_lib.wasm`, your scripts, and every package vendored locally so nothing is fetched at runtime.
 
 ```text
 $ edge build
   (successful) vendored runtime
-  (successful) fetched compiler.wasm
+  (successful) fetched compiler_lib.wasm
   (successful) vendored packages
 
   bundled to dist/
 
-  13 runtime files + compiler.wasm
+  13 runtime files + compiler_lib.wasm
   2 packages
   3 scripts
 

docs/pages/reference/limits-and-errors.md

@@ -5,13 +5,13 @@ description: "Sandbox limits, error types, and runtime guarantees."
 
 ## Sandbox limits
 
-Two profiles via `VM::with_limits`: the same `compiler.wasm` runs unsandboxed in trusted contexts, clamped in untrusted.
+Two profiles via `VM::with_limits`: the same `compiler_lib.wasm` runs unsandboxed in trusted contexts, clamped in untrusted.
 
 | Limit | `none()` (default) | `sandbox()` | What hitting it raises |
 |----------------|--------------------|---------------|------------------------|
 | Max call depth | 1,000 | 256 | `RecursionError` |
 | Max operations | unbounded | 100,000,000 | `RuntimeError` |
-| Max heap bytes | 10,000,000 | 100,000 | `MemoryError` |
+| Max live objects | 10,000,000 | 100,000 | `MemoryError` |
 
 ## Integer width
 
@@ -223,18 +223,9 @@ Failures surfaced before the source reaches the compiler: no line/column preview
 
 Handle at the embedder layer (path validation, encoding, size check) before invoking the compiler.
 
-## Unsupported features at runtime
+## Unavailable modules
 
-Parse but raise `RuntimeError` when executed:
-
-```python
-try:
-  import os
-except RuntimeError as e:
-  print("import:", e)
-```
-
-Exist for syntactic compatibility. For code reuse, use higher-order functions.
+Unavailable modules (`os`, `sys`, `asyncio`, …) parse for syntactic compatibility but have no resolver entry, so they are rejected at **compile time** before any code runs — a parse-time diagnostic, not a catchable runtime exception. See [Imports, Errors](/reference/imports#errors). For code reuse, use higher-order functions.
 
 ## Determinism
 

docs/pages/reference/packages.md

@@ -92,7 +92,7 @@ Unlike the other standard packages, `test` ships as **pure Edge Python source**
 
 ## Host libraries
 
-Plain-JS capabilities that run on the browser's main thread, registered declaratively via the `host` field of [`packages.json`](/reference/imports#packages-json) (with the `<edge-python>` element), programmatically via `createWorker({ hostModules })`, or resolved by default with no config at all (see [Defaults](#defaults)). No `.wasm`, no Rust, no build step. Each call defers to the main thread over `postMessage` (around 0.1 to 0.4 ms); Python sees a synchronous call. The ESM loads lazily, the first time a run imports it.
+Plain-JS capabilities that run on the browser's main thread, registered declaratively via the `host` field of [`packages.json`](/reference/imports#packagesjson) (with the `<edge-python>` element), programmatically via `createWorker({ hostModules })`, or resolved by default with no config at all (see [Defaults](#defaults)). No `.wasm`, no Rust, no build step. Each call defers to the main thread over `postMessage` (around 0.1 to 0.4 ms); Python sees a synchronous call. The ESM loads lazily, the first time a run imports it.
 
 ### `dom`