diff --git a/CHANGELOG.md b/CHANGELOG.md
index 89d67e2c3..230e91b6b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,22 @@ The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
 
 ### Added
 
+- **GitWorktreeSandbox Module Documentation** (#8051): Added MkDocs module
+  documentation for the `GitWorktreeSandbox` class. Covers lifecycle, branch
+  naming conventions, error handling, rollback behaviour, and integration with
+  the plan lifecycle service.
+
+- **ApplyValidationSummary Empty-Run Guard Documentation** (#7508): Added
+  reference documentation for the `ApplyValidationSummary` empty-run guard,
+  explaining that `all_required_passed` returns `False` when `is_empty` is
+  `True` and describing the corrected blocking behaviour for empty summaries
+  and no-attachment runs.
+
+- **v3.8.0 Server Implementation Milestone Plan**: Added
+  `### v3.8.0 — Server Implementation` section to the architecture spec.
+  Defines 20 verifiable deliverables covering the A2A endpoint, transport
+  layers, PostgreSQL persistence, auth/authz, and Docker/Helm packaging.
+
 - **Git Worktree Sandbox Apply** (#4454): The `plan apply` command now merges
   LLM-generated changes via `git merge` from an isolated worktree branch
   instead of flat `shutil.copy2`.  Displays spec-aligned Apply Summary
@@ -127,6 +143,12 @@ The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
 
 ### Fixed
 
+- **LockService Advisory Lock Wiring** (#7989): `LockService` is now wired
+  into `PlanLifecycleService` via the DI container. `execute_plan()` and
+  `apply_plan()` acquire plan-level advisory locks before their critical
+  sections, preventing race conditions when concurrent calls target the same
+  `plan_id`.
+
 - **Validation Gate Empty-Run Guard** (#7508): Fixed `ApplyValidationSummary.all_required_passed`
   returning `True` when zero validations were run, silently bypassing the apply gate. The property
   now returns `False` when the validation result set is empty (`is_empty` is `True`), ensuring
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
index 0b43e1538..62a76a4bc 100644
--- a/CONTRIBUTORS.md
+++ b/CONTRIBUTORS.md
@@ -14,4 +14,5 @@ Below are some of the specific details of various contributions.
 
 * Jeffrey Phillips Freeman has acted as Lead Developer, daily contributor, and Project Owner.
 * Brent E. Edwards has contributed quality assurance, test coverage, and CI pipeline improvements.
+* HAL 9000 has contributed automated implementation, bug fixes, and feature development as part of the CleverAgents automation pool.
 * This project was made possible thanks to considerable donation of time, money, and resources by CleverThis, Inc.