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

engineering

implement_plan_micro is a Claude Code skill that executes technical plans from thoughts/shared/plans with formal, multi-phase verification guarantees. It integrates five modal logics: Justification Logic for evidence-backed task completion, Inferential Erotetic Logic for blocker resolution, Temporal Epistemic Logic for strict phase sequencing, Standard Deontic Logic for obligations and prohibitions, and Dynamic Epistemic Logic for action modelling. Mode selection is automatic — direct execution for up to three tasks, orchestration mode for four or more (or when context is critical), with one dedicated agent per task and handoff files persisted to thoughts/handoffs/ to survive context compaction. Verification is two-tiered: automated checks must pass before a mandatory manual verification pause. The skill is designed for engineering workflows that require reproducibility, sequential task ordering, and resilience against context loss.