thoth-agents 0.2.10 → 0.3.0

package/skills/thoth-sdd/references/phases/tasks.md

@@ -0,0 +1,20 @@
+# Tasks contract
+
+**Owner**: root<br>
+**Output**: `openspec/changes/<feature>/tasks.md`
+
+Every executable line uses exactly:
+
+```text
+- [ ] T### [P?] [US#?] description with FR-###/SC-### coverage in `exact/path` | Verify: observable outcome
+```
+
+IDs are unique and sequential. `[US#]` links story work; omit it only for shared
+setup or closeout. Cover every FR and **buildable** SC. Outcome SCs remain
+verification targets but do not justify artificial implementation tasks.
+
+Order test-first work before its implementation, group tasks by independently
+deliverable story, identify the MVP, and state dependencies. `[P]` is permitted
+only when mutable paths provably do not overlap and the Parallel execution
+section names a concrete pairing. If there is no safe parallel work, use
+`- None: <evidence-backed reason>` instead. Avoid ceremonial tasks.

package/skills/thoth-sdd/references/phases/verify.md

@@ -0,0 +1,22 @@
+# Verify contract
+
+**Owner**: oracle, always read-only and independent
+
+Oracle verifies Direct, Accelerated, and Full work. The root or writer that
+implemented the change cannot substitute for oracle. Inspect changed code and
+run or validate the smallest sufficient checks.
+
+Judge three dimensions separately: **completeness** of accepted scope and
+coverage, **correctness** against behavioral contracts and executed evidence,
+and **coherence** across artifacts, code, tests, and documentation. Map every FR
+and buildable SC to implementation evidence and an executed check. Record
+each outcome SC as PASS with concrete observed evidence or as RISK with an
+explicit ID-matched residual-risk entry, never as an invented implementation
+task.
+
+Return `pass` or `fail`, compliance matrix, commands/results, stable findings,
+critical issues, warnings, and remediation anchors. For Direct, return the
+verdict in-session. For Accelerated and Full, root persists oracle's exact result
+using `templates/verify-report.md`. Fail routes to converge (straight back to
+implement for Direct); PASS permits closeout and archive for artifact-backed
+routes.