Docs: Add resource DAG operational semantics, tool reachability, cross-mechanism coordination, container, and LSP resource type ADRs (036-040)

- ADR-036: Resource DAG Operational Semantics (10 purposes, sandbox boundary algebra)
- ADR-037: Tool Reachability and Access Projection (transitive reach, read/write routing)
- ADR-038: Cross-Mechanism Sandbox Coordination (coherence, write-then-sync, lazy materialization)
- ADR-039: Container and Execution Environment Resource Types (9 engine-agnostic types)
- ADR-040: Language Server Protocol Resource Types (lsp-server, lsp-workspace, lsp-document)
- Updated specification.md with 7 new subsections for operational semantics
- Updated resource_dag.md reference doc with operational semantics section
- Updated ADR-008, ADR-011, ADR-015, ADR-027 with cross-references
- Resolved merge conflicts from cherry-pick renumbering (033-037 -> 036-040)
- Fixed all stale display-text references across all files

docs/gen_ref_pages.py

@@ -102,6 +102,20 @@ nav[("skills_protocol",)] = "skills_protocol.md"
 nav[("tool_bindings",)] = "tool_bindings.md"
 nav[("tool_cli",)] = "tool_cli.md"
 nav[("tool_model",)] = "tool_model.md"
+nav[("actors_examples",)] = "actors_examples.md"
+nav[("actors_loading",)] = "actors_loading.md"
+nav[("change_tracking",)] = "change_tracking.md"
+nav[("config_cli",)] = "config_cli.md"
+nav[("output_rendering",)] = "output_rendering.md"
+nav[("plan_apply",)] = "plan_apply.md"
+nav[("plan_execute",)] = "plan_execute.md"
+nav[("security_eval",)] = "security_eval.md"
+nav[("session_cli",)] = "session_cli.md"
+nav[("skill_registry",)] = "skill_registry.md"
+nav[("skills_file",)] = "skills_file.md"
+nav[("skills_git",)] = "skills_git.md"
+nav[("skills_search",)] = "skills_search.md"
+nav[("tool_router",)] = "tool_router.md"
 
 # Write the literate-nav summary file for the Reference section
 with mkdocs_gen_files.open("reference/SUMMARY.md", "w") as nav_file: