diff --git a/conductor/tracks/mma_formalization_20260225/plan.md b/conductor/tracks/mma_formalization_20260225/plan.md
index 006bc06..743ddbe 100644
--- a/conductor/tracks/mma_formalization_20260225/plan.md
+++ b/conductor/tracks/mma_formalization_20260225/plan.md
@@ -22,6 +22,6 @@
 
 ## Phase 4: Workflow & Conductor Integration
 - [x] Task: Update `conductor/workflow.md` with new MMA role definitions and `mma-exec` commands [5e256d1]
-- [~] Task: Create a Conductor helper/alias in `scripts/` to simplify manual role triggering
-- [ ] Task: Final end-to-end verification using a sample feature implementation
+- [x] Task: Create a Conductor helper/alias in `scripts/` to simplify manual role triggering [df1c429]
+- [~] Task: Final end-to-end verification using a sample feature implementation
 - [ ] Task: Conductor - User Manual Verification 'Phase 4: Workflow & Conductor Integration' (Protocol in workflow.md)