diff --git a/TODO.md b/TODO.md
index a8ae87d5..92bdcfc8 100644
--- a/TODO.md
+++ b/TODO.md
@@ -2,17 +2,6 @@
 
 ## Active tickets
 
-- [ ] [`ticket-085`](project/ticket-085/README.md) — scope documentation
-  acceptance criteria to their governed source ticket and keep participant
-  Markdown in the communication lane only. Current state:
-  `IN_PROGRESS / PUBLICATION`.
-- [ ] [`ticket-083`](project/ticket-083/README.md) — keep workspace comparison
-  artifacts bounded and outside analysed repository state; live `PLF-8091`
-  showed a generated Platform graph above the generic JSON ceiling. Current
-  state: `IN_PROGRESS / PUBLICATION`.
-- [ ] [`ticket-084`](project/ticket-084/README.md) — honor explicit
-  deterministic NL mode in compare-workspace CLI. Current state:
-  `IN_PROGRESS / PUBLICATION`.
 - [ ] [`ticket-054`](project/ticket-054/README.md) — restore skills-agent
   discovery, prove a todo2code → Repair PR → independent Validator hand-off,
   then add three bounded todo2code-grounded skills. Current state:
@@ -32,6 +21,20 @@
   Current state: `PLAN / WAIT_FOR_APPROVAL`.
 
 ## Completed tickets
+- [x] [`ticket-087`](project/ticket-087/README.md) — reconciled protected merge
+  evidence and released stale reservations for tickets 077, 083, 084 and 085.
+  Current state: `DONE / DONE`.
+- [x] [`ticket-085`](project/ticket-085/README.md) — scoped documentation to
+  its source ticket and isolated participant Markdown; protected PRs #99 and
+  #101 are merged. Current state: `DONE / DONE`.
+- [x] [`ticket-084`](project/ticket-084/README.md) — honored deterministic NL
+  mode in workspace comparison; protected PR #97 is merged. Current state:
+  `DONE / DONE`.
+- [x] [`ticket-083`](project/ticket-083/README.md) — isolated and bounded
+  workspace comparison evidence; protected PRs #98 and #100 are merged.
+  Current state: `DONE / DONE`.
+- [x] [`ticket-077`](project/ticket-077/README.md) — reconciled the governed DSL
+  manifest projection to current protected main. Current state: `DONE / DONE`.
 - [x] [`ticket-076`](project/ticket-076/README.md) — publishes independently
   callable `code2dsl`, `docs2dsl` and `config2dsl` facades that emit strictly
   validated, source-limited `t2c.intent/v1` records. Full host/Docker checks,
diff --git a/project/TICKETS.md b/project/TICKETS.md
index 5e61551e..ab6d7096 100644
--- a/project/TICKETS.md
+++ b/project/TICKETS.md
@@ -60,4 +60,5 @@ of `project/README.md`, which remains a generated technical-analysis artifact.
 | **ticket-077** | [`README.md`](./ticket-077/README.md) | [`preprompt.md`](./ticket-077/preprompt.md) | - |  [`ai-devin.md`](./ticket-077/ai-devin.md) |  [`ai-devin-logs.txt`](./ticket-077/ai-devin-logs.txt) | [`changelog.md`](./ticket-077/changelog.md) |
 | **ticket-083** | [`README.md`](./ticket-083/README.md) | [`preprompt.md`](./ticket-083/preprompt.md) | - |  [`ai-codex.md`](./ticket-083/ai-codex.md) |  [`ai-codex-logs.txt`](./ticket-083/ai-codex-logs.txt) | [`changelog.md`](./ticket-083/changelog.md) |
 | **ticket-084** | [`README.md`](./ticket-084/README.md) | [`preprompt.md`](./ticket-084/preprompt.md) | - |  [`ai-codex.md`](./ticket-084/ai-codex.md) |  [`ai-codex-logs.txt`](./ticket-084/ai-codex-logs.txt) | [`changelog.md`](./ticket-084/changelog.md) |
+| **ticket-085** | [`README.md`](./ticket-085/README.md) | [`preprompt.md`](./ticket-085/preprompt.md) | - |  [`ai-codex.md`](./ticket-085/ai-codex.md) |  [`ai-codex-logs.txt`](./ticket-085/ai-codex-logs.txt) | [`changelog.md`](./ticket-085/changelog.md) |
 <!-- AUTO:TICKET_INDEX:END -->
diff --git a/project/ticket-077/README.md b/project/ticket-077/README.md
index 7822997e..c73a2443 100644
--- a/project/ticket-077/README.md
+++ b/project/ticket-077/README.md
@@ -2,8 +2,8 @@
 
 - **ID**: ticket-077
 - **Owner**: unresolved:human
-- **Status**: IN_PROGRESS
-- **Workflow state**: EDIT
+- **Status**: DONE
+- **Workflow state**: DONE
 - **Created**: 2026-08-15
 
 ## Goal and scope
@@ -42,3 +42,10 @@ moves to EDIT without a second confirmation, staying inside `intent.json`
 
 - Human participant: unresolved; no user-* file was created by this script.
 - Agent participant: [ai-devin.md](ai-devin.md)
+
+## Closure evidence
+
+The declared `dsl-manifest.json` and its governed manifest binding are present
+on protected `main@a93944f51d47fbf8fe1f3aaea03f17f4fb472d80`; every recorded
+acceptance criterion is complete. This stale active projection is closed before
+allocating the bounded governance reconciliation ticket.
diff --git a/project/ticket-077/changelog.md b/project/ticket-077/changelog.md
index fb0de1b8..9259772a 100644
--- a/project/ticket-077/changelog.md
+++ b/project/ticket-077/changelog.md
@@ -4,3 +4,8 @@
 
 - Initial governance scaffold created.
 - No human participant identity or content was generated.
+
+## [0.2.0] - 2026-08-26
+
+- Reconciled the stale active projection to `DONE / DONE` after confirming the
+  governed DSL manifest remains present on protected main.
diff --git a/project/ticket-083/README.md b/project/ticket-083/README.md
index 1c7a1693..25f6fff1 100644
--- a/project/ticket-083/README.md
+++ b/project/ticket-083/README.md
@@ -2,8 +2,8 @@
 
 - **ID**: ticket-083
 - **Owner**: agent:codex
-- **Status**: IN_PROGRESS
-- **Workflow state**: PUBLICATION
+- **Status**: DONE
+- **Workflow state**: DONE
 - **Created**: 2026-08-21
 
 ## Goal and scope
@@ -68,3 +68,8 @@ graph at the generic 128 MiB read ceiling.
   semantic delta (`blocking +2`) instead of a file-size stack trace.
 - Current verification passes 426 tests (425 pass, one JDK-only skip), focused
   workspace 4/4, governance with zero findings and Docker smoke.
+
+## Closure evidence
+
+Protected PRs #98 and #100 merged the isolated-output and bounded large-graph
+repairs; both are ancestors of `main@a93944f51d47fbf8fe1f3aaea03f17f4fb472d80`.
diff --git a/project/ticket-083/changelog.md b/project/ticket-083/changelog.md
index bfba2fe6..e6a49e4b 100644
--- a/project/ticket-083/changelog.md
+++ b/project/ticket-083/changelog.md
@@ -15,3 +15,7 @@
   retained the generic 128 MiB JSON ceiling for all other consumers.
 - Added regression evidence bound to the observed 142,557,246-byte Platform
   graph that previously failed after both pipelines completed.
+
+## [0.3.0] - 2026-08-26
+
+- Reconciled the lifecycle to `DONE / DONE` after protected merges #98 and #100.
diff --git a/project/ticket-084/README.md b/project/ticket-084/README.md
index 8211744f..94a0a3ed 100644
--- a/project/ticket-084/README.md
+++ b/project/ticket-084/README.md
@@ -2,8 +2,8 @@
 
 - **ID**: ticket-084
 - **Owner**: unresolved:human
-- **Status**: IN_PROGRESS
-- **Workflow state**: PUBLICATION
+- **Status**: DONE
+- **Workflow state**: DONE
 - **Created**: 2026-08-21
 
 ## Goal and scope
@@ -51,3 +51,9 @@ Protected exact-head Validator evidence remains the separate merge boundary.
   exposed the file's pre-existing `handleExtract` CC=22. The handler is now a
   small dispatcher over behavior-preserving command functions; Lizard reports
   no threshold violations and the focused CLI suite still passes.
+
+## Closure evidence
+
+Protected PR #97 merged the deterministic NL-mode repair as
+`72a6bd1e194ef3ac6c586b329688fb2faa86be92`, which is an ancestor of current
+protected main.
diff --git a/project/ticket-084/changelog.md b/project/ticket-084/changelog.md
index d0843030..cb827dc0 100644
--- a/project/ticket-084/changelog.md
+++ b/project/ticket-084/changelog.md
@@ -8,3 +8,7 @@
 - Made compare-workspace honor the explicit NL mode and documented the flag.
 - Split the pre-existing high-complexity extraction dispatcher into bounded
   command functions so the complete changed CLI artifact passes review.
+
+## [0.2.0] - 2026-08-26
+
+- Reconciled the lifecycle to `DONE / DONE` after protected merge #97.
diff --git a/project/ticket-085/README.md b/project/ticket-085/README.md
index fd8a2588..96fe6ff5 100644
--- a/project/ticket-085/README.md
+++ b/project/ticket-085/README.md
@@ -2,8 +2,8 @@
 
 - **ID**: ticket-085
 - **Owner**: agent:codex
-- **Status**: IN_PROGRESS
-- **Workflow state**: PUBLICATION
+- **Status**: DONE
+- **Workflow state**: DONE
 - **Created**: 2026-08-25
 
 ## Goal and scope
@@ -65,3 +65,8 @@ rewrite the Platform ticket to appease the observer.
 - Exact `PLF-8091` replay with the graph-ceiling repair loaded the 142,557,246
   byte graph and changed the blocking diagnostic count from 13 to 12
   (`blocking -1`), with no stderr and the pinned base/head SHA preserved.
+
+## Closure evidence
+
+Protected PRs #99 and #101 merged source-ticket scoping and participant-channel
+isolation; both are ancestors of `main@a93944f51d47fbf8fe1f3aaea03f17f4fb472d80`.
diff --git a/project/ticket-085/changelog.md b/project/ticket-085/changelog.md
index 5ccd38b6..b7101733 100644
--- a/project/ticket-085/changelog.md
+++ b/project/ticket-085/changelog.md
@@ -19,3 +19,7 @@
   governance, Docker smoke and the exact `PLF-8091` large-graph replay.
 - The live replay reduced blocking diagnostics from 13 to 12 instead of adding
   the prior participant self-conflicts.
+
+## [0.3.0] - 2026-08-26
+
+- Reconciled the lifecycle to `DONE / DONE` after protected merges #99 and #101.
diff --git a/project/ticket-087/README.md b/project/ticket-087/README.md
new file mode 100644
index 00000000..df7d1092
--- /dev/null
+++ b/project/ticket-087/README.md
@@ -0,0 +1,29 @@
+# Ticket 087: Close integrated comparison tickets
+
+- **ID**: ticket-087
+- **Owner**: Founder session request (user:tom)
+- **Status**: DONE
+- **Workflow state**: DONE
+- **Created**: 2026-08-26
+
+## Goal and scope
+
+Reconcile stale active projections after their protected implementation merges
+so governance can allocate the next bounded defect to the correct workstream.
+This ticket closes only documentation state for tickets 077, 083, 084 and 085;
+it does not alter todo2code runtime behavior.
+
+## Acceptance criteria
+
+- [x] AC-01: The active Founder request authorizes continued autonomy repair,
+      protected publication and deployment.
+- [x] AC-02: Tickets 077, 083, 084 and 085 name their exact protected merge
+      evidence and become `DONE / DONE`.
+- [x] AC-03: No source, schema, dependency or generated runtime artifact changes.
+- [x] AC-04: Governance and repository verification pass on the exact diff.
+
+## Participants
+
+- Human participant: user:tom through the active session request; no user-* file
+  was created by this script.
+- Agent participant: [ai-codex.md](ai-codex.md)
diff --git a/project/ticket-087/ai-codex-logs.txt b/project/ticket-087/ai-codex-logs.txt
new file mode 100644
index 00000000..75d59bff
--- /dev/null
+++ b/project/ticket-087/ai-codex-logs.txt
@@ -0,0 +1,3 @@
+2026-08-26 SESSION_EXECUTION_AUTHORIZATION Founder requested continued autonomy repair, publication and deployment
+2026-08-26 OBSERVATION protected main a93944f contains merged work for tickets 077, 083, 084 and 085 while their governance projections still reserve workstreams
+2026-08-26 VALIDATION npm run verify passed 426/426 with one expected JDK-only skip; governance GOV-PASS; git diff --check passed
diff --git a/project/ticket-087/ai-codex.md b/project/ticket-087/ai-codex.md
new file mode 100644
index 00000000..8f9bdc83
--- /dev/null
+++ b/project/ticket-087/ai-codex.md
@@ -0,0 +1,31 @@
+---
+participant-id: agent:codex
+participant: codex
+role: agent
+ticket: ticket-087
+---
+# Participant: codex (AI agent)
+
+## Understanding
+
+Tickets 077, 083, 084 and 085 remain active in governance although their
+acceptance criteria and protected implementation merges are already present on
+main. Those stale reservations block allocation of the observed PLF-8307
+same-source contradiction defect.
+
+## Execution plan
+
+1. Commit this bounded documentation-only plan.
+2. Bind each stale projection to its existing protected merge evidence and
+   close it without touching implementation.
+3. Run repository and governance checks, then publish through Validator.
+
+## Actual changes
+
+- Plan prepared; the active Founder request supplies execution authorization.
+- Closed only the four stale lifecycle projections and bound each to protected
+  main evidence; executable source remained byte-for-byte unchanged.
+
+## Blockers
+
+- None inside the recorded documentation-only scope.
diff --git a/project/ticket-087/changelog.md b/project/ticket-087/changelog.md
new file mode 100644
index 00000000..4b23ea09
--- /dev/null
+++ b/project/ticket-087/changelog.md
@@ -0,0 +1,16 @@
+# Ticket Changelog (ticket-087)
+
+## [0.1.0] - 2026-08-26
+
+- Initial governance scaffold created.
+- No human participant identity or content was generated.
+
+## [0.2.0] - 2026-08-26
+
+- Bound the documentation-only reconciliation to exact protected merge
+  evidence and the active Founder execution authorization.
+
+## [0.3.0] - 2026-08-26
+
+- Closed tickets 077, 083, 084 and 085 against their existing protected merge
+  evidence and released their stale workstream reservations.
diff --git a/project/ticket-087/intent.json b/project/ticket-087/intent.json
new file mode 100644
index 00000000..28c66252
--- /dev/null
+++ b/project/ticket-087/intent.json
@@ -0,0 +1,50 @@
+{
+  "schema": "new-project.intent/v3",
+  "ticket": "ticket-087",
+  "summary": "Close integrated comparison and manifest ticket projections",
+  "workstream": "governance",
+  "classification": {
+    "kind": "BUG",
+    "priority": "P1",
+    "origin": "health"
+  },
+  "allowedPaths": [
+    "project/ticket-077/README.md",
+    "project/ticket-077/changelog.md",
+    "project/ticket-083/README.md",
+    "project/ticket-083/changelog.md",
+    "project/ticket-084/README.md",
+    "project/ticket-084/changelog.md",
+    "project/ticket-085/README.md",
+    "project/ticket-085/changelog.md",
+    "project/ticket-087/**",
+    "TODO.md",
+    "project/TICKETS.md"
+  ],
+  "forbiddenPaths": ["project/ticket-*/user-*.md"],
+  "stacks": [],
+  "dependsOn": [],
+  "conflictsWith": [],
+  "integrationTicket": null,
+  "delivery": {
+    "acceptedBaseSha": "a93944f51d47fbf8fe1f3aaea03f17f4fb472d80",
+    "targetBranch": "main",
+    "outcome": "Protected main exposes no stale active workstream reservation for already merged tickets 077, 083, 084 and 085.",
+    "nonGoals": ["No runtime behavior change", "No dependency or schema change", "No direct merge"],
+    "complexity": "XS",
+    "estimatedMinutes": 10,
+    "budgets": {"maxImplementationFiles": 0, "maxAffectedComponents": 0, "maxPublicInterfaceChanges": 0, "maxRuntimeDependencies": 0},
+    "architecture": {
+      "status": "accepted",
+      "decision": "Reconcile documentation lifecycle with existing protected merge evidence before allocating new work.",
+      "components": [],
+      "responsibilityChanges": false,
+      "interfaceChanges": [],
+      "dataChanges": [],
+      "ui": {"impact": "none", "states": [], "evidence": []},
+      "rollback": "Revert the documentation-only closure merge."
+    },
+    "runtimeDependencies": [],
+    "validation": [{"criterion": "AC-04", "commands": ["npm run verify", "./project/governance-check.sh", "git diff --check"], "evidence": "project/ticket-087/ai-codex-logs.txt"}]
+  }
+}
diff --git a/project/ticket-087/preprompt.md b/project/ticket-087/preprompt.md
new file mode 100644
index 00000000..a2b951a5
--- /dev/null
+++ b/project/ticket-087/preprompt.md
@@ -0,0 +1,8 @@
+# Ticket preprompt
+
+- **Task ID**: ticket-087
+- **Task title**: Close integrated comparison tickets
+- **Created**: 2026-08-26T00:44:53Z
+
+Keep executable implementation outside this governance/evidence directory.
+Read a human-owned user-*.md file only when one exists.