docs: update cross-links from .html to directory-style paths

docs/development/index.md

@@ -4,8 +4,8 @@ title: Development
 
 # Development
 
-- [Design principles](./design-principles.html)
-- [Architecture](./architecture.html)
+- [Design principles](./design-principles/)
+- [Architecture](./architecture/)
 - v0.1.0 scope: [issue #4](https://github.com/priyanshujain/sanderling/issues/4)
 
 ## Building the docs site locally

docs/index.md

@@ -9,11 +9,11 @@ Autonomous property-based testing for mobile/web apps. Specs in TypeScript. Core
 Alpha: Scope of v0.1.0 is tracked in [issue #4](https://github.com/priyanshujain/sanderling/issues/4).
 
 
-- [Getting started](./manual/getting-started.html)
-- [Writing specs](./manual/writing-specs.html)
-- [Runs](./manual/runs.html)
-- [Inspect](./manual/inspect.html)
-- [CLI reference](./manual/cli.html)
+- [Getting started](./manual/getting-started/)
+- [Writing specs](./manual/writing-specs/)
+- [Runs](./manual/runs/)
+- [Inspect](./manual/inspect/)
+- [CLI reference](./manual/cli/)
 
 ---
 

docs/manual/cli.md

@@ -33,7 +33,7 @@ Serve a local web UI for browsing traces. The positional argument is optional an
 | `--no-open` | `false` | Skip opening the default browser on startup. |
 | `--dev` | `false` | Reverse-proxy non-API requests to the Vite dev server on `127.0.0.1:5173`. |
 
-See [the inspect UI page](inspect.md) for the panel reference and keyboard shortcuts.
+See [the inspect UI page](./inspect/) for the panel reference and keyboard shortcuts.
 
 ## `sanderling doctor`
 

docs/manual/getting-started.md

@@ -83,6 +83,6 @@ runs/2026-04-18T12-34-56/
 └── meta.json
 ```
 
-Browse it with `sanderling inspect` (see [inspect](./inspect.html)), or read `trace.jsonl` step by step.
+Browse it with `sanderling inspect` (see [inspect](./inspect/)), or read `trace.jsonl` step by step.
 
-Next: [writing specs](./writing-specs.html).
+Next: [writing specs](./writing-specs/).

docs/manual/index.md

@@ -4,7 +4,7 @@ title: Manual
 
 # Manual
 
-- [Getting started](./getting-started.html)
-- [Writing specs](./writing-specs.html)
-- [Runs](./runs.html)
-- [CLI reference](./cli.html)
+- [Getting started](./getting-started/)
+- [Writing specs](./writing-specs/)
+- [Runs](./runs/)
+- [CLI reference](./cli/)

docs/manual/runs.md

@@ -38,7 +38,7 @@ Long-linear trajectories find bugs that restart-based testing structurally canno
 
 ## Setup cost amortizes
 
-Preconditions (login, onboarding, consent dialogs) are written as weighted action generators gated on extractors. See [writing specs](./writing-specs.html#pattern-preconditions-login-onboarding). They fire only when applicable, so login happens once per run, not per step.
+Preconditions (login, onboarding, consent dialogs) are written as weighted action generators gated on extractors. See [writing specs](./writing-specs/#pattern-preconditions-login-onboarding). They fire only when applicable, so login happens once per run, not per step.
 
 | Run length | Login cost | % of run |
 |---|---|---|