Верификация выполнения технического плана по фазам

engineering

implement_plan_micro — это скилл для Claude Code, который реализует технические планы из директории thoughts/shared/plans с формальными гарантиями верификации на каждом этапе. В основе — интеграция пяти модальных логик: Justification Logic (доказательства выполнения), Inferential Erotetic Logic (разрешение блокеров), Temporal Epistemic Logic (последовательность фаз), Standard Deontic Logic (обязательства и запреты), Dynamic Epistemic Logic (модели действий). Скилл автоматически выбирает между прямым режимом (до 3 задач) и режимом оркестрации (4+ задач или критичный контекст): в режиме оркестрации каждая задача получает отдельного агента, а handoff-файлы в thoughts/handoffs/ обеспечивают восстановление после компакции контекста. Верификация двухуровневая — автоматические проверки предшествуют обязательной ручной паузе. Предназначен для команд, выполняющих многофазные инженерные планы с требованием воспроизводимости и устойчивости к потере контекста.