fix(plans): remove #type:ignore and unreachable code from correction engine

- Removed spurious # type: ignore[arg-type] at plan.py:792 — all argument types match (actor is str | None on both call and signature sides). Resolves PR review blocker #1.
- Removed dead/unreachable code in correction_service.py:execute_revert() — leftover append-mode implementation after early return statement. Fixes vulture security scan failure.

ISSUES CLOSED: #9562

src/cleveragents/application/services/correction_service.py

@@ -223,15 +223,6 @@ class CorrectionService:
             correction_id, request, result, attempt.attempt_id
         )
         return result
-        logger.info(
-            "correction.append_executed",
-            correction_id=correction_id,
-            status=result.status,
-        )
-        self._emit_correction_applied(
-            correction_id, request, result, attempt.attempt_id
-        )
-        return result
 
     def execute_correction(self, correction_id: str,
         decision_tree: dict[str, list[str]] | None = None,

src/cleveragents/cli/commands/plan.py

@@ -789,7 +789,7 @@ async def _tell_streaming(
                 description,
                 name,
                 actor=actor,
-            ):  # type: ignore[arg-type]
+            ):
                 # Extract node name from event
                 for key in event:
                     if key != "__end__" and key in node_names: