refactor(contractiles): move k9 to svc/ per ADR-001 (2026-04-18)

Spot-fix: K9 templates + validators were sitting under
`.machine_readable/contractiles/k9/` despite ADR-001 (2026-04-18)
stating contractiles/ is reserved for the pure six-verb set (intend,
trust, must, bust, adjust, dust) and K9 belongs at
`.machine_readable/svc/k9/`.

Changes:
- `git mv` the entire k9/ subtree from contractiles/ to svc/
- Update MUST.contractile's validator pointer (contractiles/k9 → svc/k9)
- Contractile README now points to svc/k9/ for K9 templates
- New svc/README.adoc explains the ADR-001 split

Scope: this is the drift I flagged before task #11; lands as its own
commit for a clean diff. No behavioural change — MUST.contractile's
pre-existing reference to `must-check.k9.ncl` was already stale
(that file has never existed here); only the directory path is fixed.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/MUST.contractile

@@ -26,7 +26,7 @@
 ;     remain active until the feature is fully removed.
 ;
 ; Enforcement:
-;   K9 validators in contractiles/k9/ machine-check MUST constraints.
+;   K9 validators in svc/k9/ machine-check MUST constraints.
 ;   CI runs these on every PR. Violations block merge.
 ;
 ; ── End Definitions ──────────────────────────────────────────────
@@ -85,7 +85,7 @@
   ; (must "# Add project-specific invariants here")
 
   (enforcement
-    (k9-validator "contractiles/k9/must-check.k9.ncl")
+    (k9-validator "svc/k9/must-check.k9.ncl")
     (ci "quality.yml runs must-check on every PR")
   )
 )

.machine_readable/contractiles/README.adoc

@@ -15,9 +15,10 @@ one lowercase `<verb>.ncl` runner.
   lifecycle hook declarations.
 * `adjust/` — allowed drift corrections (work in progress).
 * (planned) `bust/Bustfile.a2ml` — what breaks and how to react.
-* `k9/` — K9 self-validating contractile templates. Per ADR-001
-  (2026-04-18) the K9 *service* belongs at `.machine_readable/svc/k9/`
-  and this directory should only hold pure templates + examples.
+
+K9 templates and validators live at `.machine_readable/svc/k9/` per
+ADR-001 (2026-04-18). `contractiles/` is reserved for the pure verb
+set.
 
 == Session lifecycle
 

.machine_readable/svc/README.adoc

@@ -0,0 +1,19 @@
+= `.machine_readable/svc/` — Service components for 007-lang
+:toc:
+
+Service-layer components that sit alongside the contractile trident
+but are not themselves verbs. Per **ADR-001 (2026-04-18)**, K9 lives
+here rather than under `contractiles/` so the contractile directory
+stays a pure six-verb set (intend, trust, must, bust, adjust, dust).
+
+== Contents
+
+* `k9/` — K9 self-validating templates (Kennel / Yard / Hunt tiers) +
+  validators (methodology-guard, harvard-guard) + examples.
+
+== Pointer
+
+For the verb contractiles themselves, see
+`.machine_readable/contractiles/`. The K9 components here are imported
+by the verb runners (`contractiles/<verb>/<verb>.ncl`) when they need
+capability / authority declarations or pre-built templates.