What problem does it solve? AL/Business Central development tasks often reach implementation with vague or stale proof plans, forcing developers to re-derive intent mid-TDD. This Skill regenerates a fresh, grounded Test Specification or Verification Plan for one ready task so implementation and verification proceed without ambiguity. ## Core Features & Use Cases - Test Specification generation: Rewrites the proof section of a kind: technical task with AAA cases, coverage IDs, decision matrices, and New/Modified object signatures, then flips status to ready-for-implementation. - Verification Plan generation: For kind: verify tasks, authors E2E journey examples, contract examples, and exploration charters tied to the event model, then flips status to ready-for-verification. - Grounding and gating: Verifies every BC symbol against workspace evidence, runs a document-integrity check, detects push-up tests, and routes unanswerable tasks to research, grilling, or replanning skills. - Use Case: After scoping a feature into tasks, run the refine step on task T-012 to produce a grounded Test Specification that the implementation skill drives red-to-green without re-deriving intent. ## Quick Start Refine task T-012 into a fresh Test Specification so it is ready for implementation.
