diff --git a/conductor/tracks/mma_formalization_20260225/plan.md b/conductor/tracks/mma_formalization_20260225/plan.md
index 3f9006d..006bc06 100644
--- a/conductor/tracks/mma_formalization_20260225/plan.md
+++ b/conductor/tracks/mma_formalization_20260225/plan.md
@@ -21,7 +21,7 @@
 - [x] Task: Conductor - User Manual Verification 'Phase 3: Advanced Context Features' (Protocol in workflow.md) [eb64e52]
 
 ## Phase 4: Workflow & Conductor Integration
-- [~] Task: Update `conductor/workflow.md` with new MMA role definitions and `mma-exec` commands
-- [ ] Task: Create a Conductor helper/alias in `scripts/` to simplify manual role triggering
+- [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
 - [ ] Task: Conductor - User Manual Verification 'Phase 4: Workflow & Conductor Integration' (Protocol in workflow.md)