Migrate HomesFlow to SpecAssay + display-name normalizer (FR-HOME-04 / AC-HOME-15)

.github/pull_request_template.md

@@ -5,7 +5,7 @@
 ## Traceability
 
 - **Task ID(s):** T0xx
-- **Traces:** AC-… / FR-… / NFR-… (from `tasks.md` `**Traces**:` fields)
+- **Traces:** AC-… / FR-… / NFR-… (from `tasks.md` `**Carries**:` fields)
 - **PRD silent?** No / Yes — proposed PRD change: …
 
 ## Proof

.specify/extensions.yml

@@ -1,6 +1,6 @@
 installed:
 - agent-context
-- clewseau-gate
+- specassay-check
 settings:
   auto_execute_hooks: true
 hooks:
@@ -23,11 +23,11 @@ hooks:
     description: Refresh agent context after planning
     condition: null
   after_implement:
-  - extension: clewseau-gate
-    command: speckit.clewseau-gate.check
+  - extension: specassay-check
+    command: speckit.specassay.check
     enabled: true
     optional: true
     priority: 10
-    prompt: Run Clewseau Gate 2 traceability check?
-    description: Refuse silent gaps after implementation; refresh clew.json
+    prompt: Run SpecAssay Check (Gate 2 traceability)?
+    description: Refuse silent gaps after implementation; refresh trace-manifest.json
     condition: null

.specify/extensions/.registry

@@ -17,19 +17,19 @@
       ],
       "installed_at": "2026-06-26T14:27:06.775090+00:00"
     },
-    "clewseau-gate": {
+    "specassay-check": {
       "version": "0.2.0",
       "source": "local",
-      "manifest_hash": "sha256:3dc44c058e1bcfd5fb3f8d99ca3fc78ced48eb2a8dcb80a3d9fe1bb660c2fba4",
+      "manifest_hash": "sha256:899c9157055ff342d6785fc21d9cfc3e37fe753895e4413dafb51959cb5bad7f",
       "enabled": true,
       "priority": 10,
       "registered_commands": {
         "claude": [
-          "speckit.clewseau-gate.check"
+          "speckit.specassay.check"
         ]
       },
       "registered_skills": [],
       "installed_at": "2026-08-06T18:45:20.408692+00:00"
     }
   }
-}
+}

.specify/extensions/specassay-check/.specify-dev/agent-commands/claude/speckit-specassay-check/SKILL.md

@@ -0,0 +1,34 @@
+---
+name: speckit-specassay-check
+description: Run SpecAssay Check (Gate 2) — fail on silent gaps; emit trace-manifest.json
+compatibility: Requires spec-kit project structure with .specify/ directory
+metadata:
+  author: github-spec-kit
+  source: specassay-check:commands/speckit.specassay.check.md
+---
+
+# SpecAssay Check (Gate 2)
+
+Run the portable Gate 2 script shipped with this extension. It checks that:
+
+- registry IDs ≡ IDs in specs ≡ IDs in tasks (**exact-set** drift),
+- durable IDs are either verified (named proof) or tracked as debt (open task) for **ACs**,
+- coverage annotations / test-encoded IDs are not orphans,
+- checkbox tasks declare `Carries:`,
+
+and **always writes `trace-manifest.json`** (path configurable) — the SpecAssay matrix. The manifest is written even when the gate fails, so GAPs and `gate.failures` are visible.
+
+`trace-manifest.json` is portable and vendor-neutral (`format: "trace-manifest"`, schemaVersion 3). It is not ReqIF/OSLC. Loupe (the viewer) consumes this file; it does not re-scan the target.
+
+## Steps
+
+1. Confirm `.specify/extensions/specassay-check/specassay-check-config.yml` exists (copy from `config-template.yml` if missing) and points at this project's registry, specs, tasks, and source/test trees. Set `manifest_path` if you do not want `trace-manifest.json` at the project root.
+2. From the project root, run:
+
+```bash
+bash .specify/extensions/specassay-check/scripts/check-traceability.sh
+```
+
+3. Report the script's exit code, any `FAIL:` lines, and confirm `trace-manifest.json` (or configured `manifest_path`) was written.
+4. Do **not** weaken the gate. If something is unfinished, it belongs as tracked debt (unchecked task with `Carries:`), not as a silenced gap.
+5. Reminder: **verified** means a named proof exists — not that a full suite was asserted green by this script.

.specify/extensions/specassay-check/README.md

@@ -0,0 +1,15 @@
+# SpecAssay Check
+
+Every **wish** is on the **Golden Thread** with its **work** and its **proof**; this check stops the line at any loose end, then strikes a hallmark on what it found — the **trace-manifest**.
+
+Gate 2: compare the ID registry to specs, tasks, coverage annotations, and test names. **Exact-set** registry ≡ specs ≡ tasks. Silent AC gaps and untraced scope fail. **Always writes a trace-manifest** (default `trace-manifest.json`, configurable via `manifest_path`) for Loupe or any matrix consumer.
+
+**CI is the property line.** Run this script on every PR / protected-branch push and fail the build on non-zero exit. Local runs are hygiene; CI is what stops a cowboy (or any machine without SpecAssay) from merging unmarked work. Keep the emitted trace-manifest from the CI run as evidence.
+
+Install:
+
+```bash
+specify extension add --dev /path/to/specassay/extensions/specassay-check
+```
+
+Install scaffolds `specassay-check-config.yml` from `config-template.yml`. Edit `registry`, `manifest_path`, `specs`, `tasks`, `src_globs`, and `test_globs` for your repo.

.specify/extensions/specassay-check/commands/speckit.specassay.check.md

@@ -0,0 +1,29 @@
+---
+description: Run SpecAssay Check (Gate 2) — fail on silent gaps; emit trace-manifest.json
+---
+
+# SpecAssay Check (Gate 2)
+
+Run the portable Gate 2 script shipped with this extension. It checks that:
+
+- registry IDs ≡ IDs in specs ≡ IDs in tasks (**exact-set** drift),
+- durable IDs are either verified (named proof) or tracked as debt (open task) for **ACs**,
+- coverage annotations / test-encoded IDs are not orphans,
+- checkbox tasks declare `Carries:`,
+
+and **always writes a trace-manifest** (default `trace-manifest.json`, path configurable) — the SpecAssay matrix. The manifest is written even when the gate fails, so GAPs and `gate.failures` are visible.
+
+`trace-manifest.json` is a portable, vendor-neutral matrix (`format: "trace-manifest"`, schemaVersion 3). It is not ReqIF/OSLC. Loupe (the viewer) consumes this file; it does not re-scan the target.
+
+## Steps
+
+1. Confirm `.specify/extensions/specassay-check/specassay-check-config.yml` exists (copy from `config-template.yml` if missing) and points at this project's registry, specs, tasks, and source/test trees. Set `manifest_path` if you do not want `trace-manifest.json` at the project root.
+2. From the project root, run:
+
+```bash
+bash .specify/extensions/specassay-check/scripts/check-traceability.sh
+```
+
+3. Report the script's exit code, any `FAIL:` lines, and confirm `trace-manifest.json` (or configured `manifest_path`) was written.
+4. Do **not** weaken the gate. If something is unfinished, it belongs as tracked debt (unchecked task with `Carries:`), not as a silenced gap.
+5. Reminder: **verified** means a named proof exists — not that a full suite was asserted green by this script.

.specify/extensions/clewseau-gate/config-template.yml → .specify/extensions/specassay-check/config-template.yml

@@ -1,13 +1,13 @@
-# Clewseau Gate config (edit after install)
+# SpecAssay Check config (edit after install)
 
 # Authoritative ID registry (usually the PRD)
 registry: "PRD.md"
 
-# Optional display name in clew.json (defaults to project directory name)
+# Optional display name in the trace-manifest (defaults to project directory name)
 target_name: ""
 
-# Where Gate 2 writes the clew (Clewseau native matrix; format: clew)
-clew_path: "clew.json"
+# Where the check writes the trace-manifest (SpecAssay native matrix; format: trace-manifest)
+manifest_path: "trace-manifest.json"
 
 # Spec Kit feature artifacts (globs relative to project root)
 specs: "specs/**/spec.md"
@@ -27,5 +27,8 @@ id_regex: "(FR|NFR|AC|US)-[A-Z][A-Z0-9]{1,5}-[0-9]{2,}[a-z]?"
 # How coverage annotations appear in source
 covers_regex: "@covers[[:space:]]+.*"
 
+# The task-side mark. Accepts both **Carries**: (new) and **Traces**: (pre-rename) during transition.
+carries_regex: "\*\*(Carries|Traces)\*\*:"
+
 # How AC IDs appear inside test names (e.g. test_AC_SYNC_04_...)
 test_ac_regex: "AC_[A-Z][A-Z0-9]{1,5}_[0-9]{2,}[a-z]?"

.specify/extensions/specassay-check/extension.yml

@@ -0,0 +1,43 @@
+schema_version: "1.0"
+
+extension:
+  id: "specassay-check"
+  name: "SpecAssay Check"
+  version: "0.2.0"
+  description: "Gate 2 — refuse silent gaps and emit a trace-manifest (`trace-manifest.json`)."
+  category: "visibility"
+  effect: "read-write"
+  author: "Rik Dryfoos / Dryfoos Consulting"
+  license: "MIT"
+  homepage: "https://github.com/rdryfoos/specassay"
+  repository: "https://github.com/rdryfoos/specassay"
+
+requires:
+  speckit_version: ">=0.14.0"
+  tools: []
+
+provides:
+  commands:
+    - name: "speckit.specassay.check"
+      file: "commands/speckit.specassay.check.md"
+      description: "Run SpecAssay Check / Gate 2 (silent gaps fail; write trace-manifest.json)"
+
+  config:
+    - name: "specassay-check-config.yml"
+      template: "config-template.yml"
+      description: "Registry path, source/test globs, and ID grammar"
+      required: true
+
+hooks:
+  after_implement:
+    command: "speckit.specassay.check"
+    optional: true
+    prompt: "Run SpecAssay Check (Gate 2 traceability)?"
+    description: "Refuse silent gaps after implementation; refresh trace-manifest.json"
+
+tags:
+  - "traceability"
+  - "gate"
+  - "ci"
+  - "governance"
+  - "sdd"