@@ -8,7 +8,7 @@ pnpm lifecycle:model-check
 
 The check runs in the `compile` CI job after type checking. It fails if it finds an invariant violation, a modeled action becomes unreachable, a named semantic landmark disappears, or exploration exceeds its declared state budget. A violation includes the shortest breadth-first event trace, every intermediate state, and the active bounds so the sequence can be replayed as a focused regression test. The command generates no checked-in artifacts; its reports and counterexamples are written to standard output.
 
-`pnpm lifecycle:model-check` preserves the task lifecycle and shared-store checkers with their original state spaces, actions, invariants, landmarks, and reports, then appends the completion persistence explorer to the same command and output stream.
+`pnpm lifecycle:model-check` preserves the task lifecycle, shared-store, and cleanup-protocol checkers with their original state spaces, actions, invariants, landmarks, and reports, then appends the completion persistence explorer to the same command and output stream.
 
 ## Why an executable TypeScript model
 
 
@@ -431,7 +431,7 @@ describe("Task persistence", () => {
 			await getTaskPersistenceAccess(task).addToApiConversationHistory({ role: "assistant", content: "done" })
 
 			await expect(task.waitForCurrentAssistantMessagePersistence()).resolves.toBe(true)
-			task.dispose()
+			void task.dispose()
 			await expect(task.waitForCurrentAssistantMessagePersistence()).resolves.toBe(false)
 		})
 
@@ -717,7 +717,7 @@ describe("Task persistence", () => {
 			})
 
 			const waiting = task.waitForCurrentAssistantMessagePersistence()
-			task.dispose()
+			void task.dispose()
 
 			await expect(waiting).resolves.toBe(false)
 		})
@@ -740,7 +740,7 @@ describe("Task persistence", () => {
 				const waiting = task.waitForCurrentAssistantMessagePersistence()
 
 				await vi.advanceTimersByTimeAsync(50)
-				task.dispose()
+				void task.dispose()
 
 				await expect(waiting).resolves.toBe(false)
 				await Promise.resolve()
@@ -764,7 +764,7 @@ describe("Task persistence", () => {
 			getTaskPersistenceAccess(task).resetAssistantMessagePersistence()
 
 			await expect(waiting).resolves.toBe(false)
-			task.dispose()
+			void task.dispose()
 		})
 
 		it("does not retry when cancelled after the delay resolves but before persistence starts", async () => {
@@ -788,7 +788,7 @@ describe("Task persistence", () => {
 				// Resolve the delay without flushing its promise continuation, then cancel at the save boundary.
 				await Promise.resolve()
 				vi.advanceTimersByTime(100)
-				task.dispose()
+				void task.dispose()
 
 				await expect(waiting).resolves.toBe(false)
 				expect(task.assistantMessageSavedToHistory).toBe(false)
@@ -822,7 +822,7 @@ describe("Task persistence", () => {
 
 				await vi.advanceTimersByTimeAsync(100)
 				expect(mockSaveApiMessages).toHaveBeenCalledTimes(2)
-				task.dispose()
+				void task.dispose()
 				retrySave.resolve(undefined)
 
 				await expect(waiting).resolves.toBe(false)