speckit-tasks

name	speckit-tasks
description	Break down implementation plans into actionable task lists.
compatibility	Requires spec-kit project structure with .specify/ directory
metadata	{"author":"github-spec-kit","source":"preset:fsharp-opinionated"}

Speckit Tasks Skill

/speckit.tasks

Pre-Execution Checks

Check for extension hooks (before tasks):

• Discover hooks across all extension files (multi-file discovery), not just the central file:
  • Read .specify/extensions.yml from the project root (if present) and collect entries under the hooks.before_tasks key.
  • Then enumerate every .specify/extensions/*/*.yml file in sorted order, parse each, and collect its hooks.before_tasks entries too — so a hook registered only in a per-extension file (e.g. the feedback extension at .specify/extensions/feedback/feedback.yml) is still discovered and runs.
  • Merge all collected entries and dedupe by (extension, command) (first occurrence wins, so a hook declared in both files runs once).
  • If a file is absent or its YAML cannot be parsed/is invalid, skip that file silently and continue.
• For every optional: true hook that is discovered but not executed this phase, emit one line so the skip is a visible decision: Note: optional hook {extension}:{command} is registered but was not run (skipped).
• Filter out hooks where enabled is explicitly false. Treat hooks without an enabled field as enabled.
• For each remaining hook, do not interpret or evaluate hook condition expressions:
  • If the hook has no condition field, or it is null/empty, treat the hook as executable
  • If the hook defines a non-empty condition, skip it and leave condition evaluation to the HookExecutor implementation
• For each executable hook, output the following based on its optional flag:
  • Optional hook (optional: true):

    ## Extension Hooks
    
    **Optional Pre-Hook**: {extension}
    Command: `/{command}`
    Description: {description}
    
    Prompt: {prompt}
    To execute: `/{command}`
    

  • Mandatory hook (optional: false):

    ## Extension Hooks
    
    **Automatic Pre-Hook**: {extension}
    Executing: `/{command}`
    EXECUTE_COMMAND: {command}
    
    Wait for the result of the hook command before proceeding to task generation.
    

• If no hooks are registered or .specify/extensions.yml does not exist, skip silently

Generate the feature's task breakdown from its spec and plan. This preset requires TWO files, both in specs/[FEATURE_ID]/:

1. tasks.md — the human checklist. Status legend:

   • [ ] pending / [X] done (real evidence) / [S] synthetic-only / [F] failed / [-] skipped.
   • Never write [S*] yourself. That marker is computed by the evidence audit from the DAG; writing it by hand will confuse the script.
   • [SEH] is an annotation, not a completion status. Use it only for design-approved synthetic error-handling tasks that will remain [S] when completed with malformed-input or explicit error-path synthetic evidence.

2. tasks.deps.yml — the dependency topology and task skill metadata. Sibling to tasks.md. It MUST begin with a schema_version scalar and a top-level tasks: mapping (the wrapper). Every Tnnn id in tasks.md MUST appear as a key under tasks: with deps and skillist fields, and MAY carry an optional owns: field. skillist is an ordered list of applicable capability skill identifiers, or [] when no capability skill applies.

   schema_version: "1.0"
   tasks:
     T001:
       deps: []
       skillist: []
       owns: []                       # owns nothing — most tasks
     T002:
       deps: [T001]
       skillist: ["fs-skia-layout-readability"]
       owns: []
     T033:
       deps: [T032]
       skillist: ["speckit-evidence-audit"]
       owns: ["evidence-audit"]        # this task owns the audit evidence
   

   The single structural fact that gates validation is the tasks: wrapper. If you write bare Tnnn: keys at the top level (no wrapper), validation stops with one directive error naming the missing tasks: mapping — fix that first.

Start from the preset's templates at the exact paths .specify/presets/fsharp-opinionated/templates/tasks-template.md and .specify/presets/fsharp-opinionated/templates/tasks-deps-template.yml, replacing the example task bodies with real work items from the spec and plan. Do not start from the generic .specify/templates/tasks-template.md — that copy is the non-preset Spec Kit fallback and points back here; for a fsharp-opinionated project the preset copy above is authoritative.

Discipline

• Lockstep emission. You MUST write both files in the same turn. Never emit tasks.md without tasks.deps.yml, and vice versa. If you only have partial information, write placeholder object metadata (deps: [], skillist: []) and note which ones need review in your summary.

• Compulsory skill evaluation. Immediately after drafting tasks, evaluate every task against available capability skills: .agents/skills/*/SKILL.md, src/*/skill/SKILL.md, template capability skill paths, and active generated product skill destinations when applicable. Choose the minimal ordered set that would materially help implementation. Capability skills are preferred over generic guidance when both match.

• What the assessment actually checks (be honest). The validator does not re-derive skills from your task titles. It trusts each declared skillist as-written, and only adds a structured requirement where a task declares gated evidence via its owns: field: each owns: value implies a required skill that MUST appear in that task's skillist. Everything else is reported as trusted-as-declared. Task titles are fully free-form and are never scanned for capability phrases.

• Visible skill mirror. Every task line in tasks.md MUST mirror the structured skillist value as [skillist: ...]. Use [skillist: []] for an empty list. Non-empty mirrors preserve the exact structured order, for example [skillist: speckit-tasks, speckit-evidence-graph].

• Task graph pitfall guidance. Task titles are free-form — write them in plain language. tasks.deps.yml MUST use one key per task id under the top-level tasks: wrapper; the required object shape is one entry per task id with indented deps, skillist, and optional owns fields. Inline maps such as T001: { deps: [], skillist: [] }, duplicate keys, bare task lists (no tasks: wrapper), malformed indentation, dangling dependency ids, and mismatched visible skillist mirrors are invalid.

• Structured evidence ownership (owns:). Whether a task owns gated graph/audit (or other) evidence is declared only by its owns: field, never inferred from the title. The closed vocabulary and the skill each value implies:

  owns: value	Task owns…	Required skill in skillist
  graph-validation	task-graph / readiness validation	speckit-evidence-graph
  evidence-audit	synthetic-propagation / diff-scan	speckit-evidence-audit
  task-generation	/speckit.tasks task-generation	speckit-tasks
  implementation-loading	/speckit.implement skill-loading	speckit-implement
  constitution	constitution authoring	speckit-constitution

  Most tasks own nothing — omit owns: or use owns: []. When a task declares an owns: value, its skillist MUST include the implied skill or validation fails with a directive error; an unknown owns: value is also a directive error naming the allowed set.

• Migration (from the removed title-trigger matcher). Earlier task files relied on a title-trigger matcher that scanned titles for capability phrases; that matcher is removed. Re-express any ownership by adding owns: [<value>] to the owning task, and drop any awkward title rewording (or the Complete readiness notes prefix) that only existed to satisfy or dodge the old matcher. No tasks.md title change is required for correctness anymore.

• Declared skill ids resolve from skill names. The authoritative registry is .agents/skills/*/SKILL.md, src/*/skill/SKILL.md, and template/fragments/*/skill/SKILL.md. Declare each skill file's name: value in skillist; do not assume the directory name is accepted when it differs.

• Advisory FS.Skia.UI capability hints. These hints are non-blocking, and every id resolves to a skill a generated consumer registers: rendering/scene -> fs-skia-scene; viewer/window host -> fs-skia-skiaviewer; Elmish workflow -> fs-skia-elmish; keyboard/input -> fs-skia-keyboard-input; layout readability -> fs-skia-layout-readability; controls/forms/charts/graphs/DataGrid -> fs-skia-ui-widgets; generated game HUD readability and public-scene host update -> fs-skia-layout-readability; deterministic evidence mode and host-warning classification -> fs-skia-evidence-mode.

• Phase-checkpoint edges are implicit. The graph compute script auto-injects an edge from every task in Phase N+1 to the last foundation task of Phase N. You do NOT repeat those edges in the yml — write only non-phase cross-edges (e.g., T015: [T011, T013] says US1 impl depends on US1 tests and US1 fixtures).

• Story grouping. Tasks belong to a phase (Phase 1..N) and optionally a user story ([US1], [US2], ...). Keep phases sequential; stories within a phase may run in parallel.

• Tier annotation. Mark each task [T1] or [T2] if the phase classification differs from the spec's overall tier. Omit when it matches.

• Parallel-safe marker. [P] means "no deps inside this phase" — the script can verify it; you SHOULD emit it as a hint.

• Elmish/MVU applicability. For any stateful or I/O-bearing story, emit explicit tasks for the .fsi contract (Model, Msg, Effect or Cmd<Msg>, init, update, interpreter boundary), pure transition tests, emitted-effect assertions, and real interpreter evidence where safe. For a simple pure feature, state that Principle IV is not applicable in the evidence-obligations task.

• Synthetic-evidence inventory. Include the empty Synthetic-Evidence Inventory table from the template. It will grow as /speckit.implement adds [S] tasks.

• Synthetic error-handling classification. Assign [SEH] plus synthetic-error-handling-approved only during design, planning, clarification, or task generation. Each approved row must include the design source, rationale, synthetic input class, expected error behavior, and acceptance status. Eligible examples: malformed parser input, corrupt file content, invalid command arguments, protocol violations, missing required data, hostile payloads, and forced error-result fixtures. Non-eligible examples: convenience mocks, incomplete integrations, unavailable product capability, missing host support, placeholder outputs, speed-only fixtures, and ordinary in-memory substitutes. implementation-time relabeling is forbidden; newly discovered cases return to design/task work.

• Risk-level evidence. Generated tasks should name small, medium, and broad governance risk levels, focused validation for the chosen level, when broad validation is required, and how non-authoritative aggregate results are recorded.

• Visual demo skill assignment. Assign scene rendering -> fs-skia-scene, screenshot capture -> fs-skia-skiaviewer, layout readability -> fs-skia-layout-readability, persistent viewer launch -> fs-skia-skiaviewer, deterministic evidence mode -> fs-skia-evidence-mode, generated-package validation -> fs-skia-template-update, graph validation -> speckit-evidence-graph, audit validation -> speckit-evidence-audit. Preserve implementation-before-evidence, graph-before-audit, and debug-before-broad-rerun ordering; the visible mirror [skillist: speckit-tasks, fs-skia-layout-readability] illustrates exact structured order.

• Visual demo readiness scaffolds. Enumerate readiness/visual-evidence-honesty.md, readiness/window-visibility.md, readiness/governance-risk-levels.md, readiness/aggregate-hang-diagnostics.md, readiness/runtime-limitations.md, readiness/generated-guidance-validation.md, and readiness/real-image-evidence.md before audit. Each readiness file names the authoritative command, artifact path, failure class, and next action.

Validation

Immediately after writing both files, validate the task graph with the canonical in-process target (this is the same entry point the speckit-evidence-graph skill documents — the two skills do not contradict each other, and there is no run-audit.sh or other shell/python runner):

./fake.sh build -t EvidenceGraph

The target resolves the feature to validate from .specify/feature.json. To validate a different feature, override with the SPECKIT_FEATURE_DIR environment variable:

SPECKIT_FEATURE_DIR="specs/<FEATURE_ID>" ./fake.sh build -t EvidenceGraph

Confirm the echoed feature-directory=… and tasks=<n> match your feature before trusting the verdict. If neither .specify/feature.json nor an override resolves a feature, the target fails loudly — it never falls back to a sample.

This validates:

• Every Tnnn in tasks.md has a matching key in tasks.deps.yml, and vice versa.
• Every dep reference resolves to a known Tnnn; the graph is acyclic.
• Every task has structured skillist metadata and a matching tasks.md mirror.
• Declared skill ids resolve to exactly one readable skill file.
• Each declared owns: value is in the closed vocabulary and carries its implied skill in the skillist.

Report any failures to the user immediately; refuse to declare the tasks phase complete until the DAG is clean. For the full merge-gate audit (synthetic-propagation + diff-scan), run ./fake.sh build -t EvidenceAudit.

Post-Execution Checks

Check for extension hooks (after tasks): After the task breakdown is generated, discover hooks across all extension files (multi-file discovery), not just the central file:

• Read .specify/extensions.yml from the project root (if present) and collect entries under the hooks.after_tasks key.
• Then enumerate every .specify/extensions/*/*.yml file in sorted order, parse each, and collect its hooks.after_tasks entries too — so a hook registered only in a per-extension file (e.g. the feedback extension at .specify/extensions/feedback/feedback.yml) is still discovered and runs on phase completion.
• Merge all collected entries and dedupe by (extension, command) (first occurrence wins, so a hook declared in both files runs once).
• Hook execution precedence (D1): when settings.auto_execute_hooks: true in .specify/extensions.yml, a mandatory hook (optional: false) auto-runs with no confirmation; an optional hook (optional: true) is always surfaced ("To execute: /{command}") and is never force-run by auto_execute_hooks; a hook with a non-empty condition is never evaluated by this skill — evaluation is left to the executor and the notice reports the resolved decision. When auto_execute_hooks: false, even mandatory hooks are surfaced for confirmation.
• Effective-hooks notice (D2): after the merge + dedup by (extension, command), emit one consolidated notice for the phase so the operator never hand-reconciles files — a promoted feedback hook (optional: false) appears as auto-run, never as a surfaced optional:

  ## Effective hooks for tasks
  - {extension}:{command} — auto-run        (mandatory; auto_execute_hooks=true)
  - {extension}:{command} — surfaced        (optional)
  - {extension}:{command} — skipped         (enabled: false)
  - {extension}:{command} — condition-deferred
  

• If a file is absent or its YAML cannot be parsed/is invalid, skip that file silently and continue.
• For every optional: true hook that is discovered but not executed this phase, emit one line so the skip is a visible decision: Note: optional hook {extension}:{command} is registered but was not run (skipped).
• Filter out hooks where enabled is explicitly false. Treat hooks without an enabled field as enabled.
• For each remaining hook, do not interpret or evaluate hook condition expressions:
  • If the hook has no condition field, or it is null/empty, treat the hook as executable
  • If the hook defines a non-empty condition, skip it and leave condition evaluation to the HookExecutor implementation
• For each executable hook, output the following based on its optional flag:
  • Optional hook (optional: true):

    ## Extension Hooks
    
    **Optional Hook**: {extension}
    Command: `/{command}`
    Description: {description}
    
    Prompt: {prompt}
    To execute: `/{command}`
    

  • Mandatory hook (optional: false):

    ## Extension Hooks
    
    **Automatic Hook**: {extension}
    Executing: `/{command}`
    EXECUTE_COMMAND: {command}
    

• If no hooks are registered or .specify/extensions.yml does not exist, skip silently