diff --git a/project/TICKETS.md b/project/TICKETS.md
index d4ca1b0..06b8c4c 100644
--- a/project/TICKETS.md
+++ b/project/TICKETS.md
@@ -17,4 +17,5 @@ analysis artifacts.
 | **ticket-009** | [`README.md`](./ticket-009/README.md) | [`preprompt.md`](./ticket-009/preprompt.md) | - |  [`ai-codex.md`](./ticket-009/ai-codex.md) |  [`ai-codex-logs.txt`](./ticket-009/ai-codex-logs.txt) | [`changelog.md`](./ticket-009/changelog.md) |
 | **ticket-010** | [`README.md`](./ticket-010/README.md) | [`preprompt.md`](./ticket-010/preprompt.md) | - |  [`ai-codex.md`](./ticket-010/ai-codex.md) |  [`ai-codex-logs.txt`](./ticket-010/ai-codex-logs.txt) | [`changelog.md`](./ticket-010/changelog.md) |
 | **ticket-011** | [`README.md`](./ticket-011/README.md) | [`preprompt.md`](./ticket-011/preprompt.md) | - |  [`ai-codex.md`](./ticket-011/ai-codex.md) |  [`ai-codex-logs.txt`](./ticket-011/ai-codex-logs.txt) | [`changelog.md`](./ticket-011/changelog.md) |
+| **ticket-012** | [`README.md`](./ticket-012/README.md) | [`preprompt.md`](./ticket-012/preprompt.md) | - |  [`ai-codex.md`](./ticket-012/ai-codex.md) |  [`ai-codex-logs.txt`](./ticket-012/ai-codex-logs.txt) | [`changelog.md`](./ticket-012/changelog.md) |
 <!-- AUTO:TICKET_INDEX:END -->
diff --git a/project/ticket-012/README.md b/project/ticket-012/README.md
index 9ce8440..bb32412 100644
--- a/project/ticket-012/README.md
+++ b/project/ticket-012/README.md
@@ -2,8 +2,8 @@
 
 - **ID**: ticket-012
 - **Owner**: unresolved:human
-- **Status**: IN_PROGRESS
-- **Workflow state**: VALIDATION
+- **Status**: DONE
+- **Workflow state**: DONE
 - **Created**: 2026-08-30
 
 ## Goal and scope
@@ -19,7 +19,11 @@ revision identity from payload-bearing argv hashes.
 - [x] AC-02: The closed v2 schema accepts a bounded revision and still accepts
   existing v2 records without it.
 
-## Participants
-
 - Human participant: user:tom; no synthesized user file was created.
 - Agent participant: [ai-codex.md](ai-codex.md)
+
+## Closure evidence
+
+- Trusted implementation SHA: `c43e1eaac0a600c8a52d73a6639756353e00369c`.
+- Protected Validator approved and explicitly merged PR #9.
+- Main integration SHA: `4fbc1477fee93d72f14b13164b5f85a308a359b2`.
diff --git a/project/ticket-012/ai-codex-logs.txt b/project/ticket-012/ai-codex-logs.txt
index e69de29..cf4d0f3 100644
--- a/project/ticket-012/ai-codex-logs.txt
+++ b/project/ticket-012/ai-codex-logs.txt
@@ -0,0 +1,2 @@
+- Protected Validator approved and explicitly merged PR #9
+  at exact head `c43e1eaac0a600c8a52d73a6639756353e00369c`.
\ No newline at end of file