fix(machine-readable): repoint k9 to canonical svc/k9, drop phantom contractiles/k9 (#292)

## Estate naming resolution — point k9 at the single canonical home

Part of the estate-wide `svc/k9` naming resolution (full rationale:
`RSR-SPEC-v2-ALTSPEC.adoc` §4.1, now `[CANON]`). This repo had the
**right name** (`svc/k9/`) but the **wrong path**: the verb tridents
imported a phantom duplicate.

> Scope note: this is a `.machine_readable/contractiles/`
machine-readable hygiene fix only. It does not touch `formal/` or any
proof artefact.

### The bug

- The verb `.k9.ncl` files imported `../k9/template-hunt.k9.ncl` — which
resolves to `contractiles/k9/`, **not** `svc/k9/`.
- A phantom `contractiles/k9/` directory carried a duplicate of all
three templates (the "ended up with both" drift spec §4 warns about).
- The INDEX `file_pair` registered the phantom paths too.

### The fix

- Repointed both verb `.k9.ncl` imports `../k9/` → `../../svc/k9/`
(canonical depth, matching verisimdb).
- Repointed the INDEX `file_pair` `k9/template-*` →
`../svc/k9/template-*`, with a notes update.
- **Deleted the phantom `contractiles/k9/`** (here it was byte-identical
to the canonical `svc/k9/` copies — pure duplication).

### Validation

- All 7 pure `.ncl` runners pass `nickel typecheck`.
- Both verb `.k9.ncl` imports now resolve into
`svc/k9/template-hunt.k9.ncl`.
- No `../k9/` or `contractiles/k9` references remain.

Companion PRs: verisimdb (directory rename revert) + gossamer (same
phantom fix).

https://claude.ai/code/session_01PhqGcxCqkMdJtR6NWq56Hx

---
_Generated by [Claude
Code](https://claude.ai/code/session_01PhqGcxCqkMdJtR6NWq56Hx)_

Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/contractiles/INDEX.a2ml

@@ -86,13 +86,13 @@ notes = "First trident instance in the estate (2026-04-18). Reports progress tow
 name = "k9"
 semantics = "trust-tier templates (EXCEPTION to one-verbfile rule)"
 file_pair = [
-  "k9/template-hunt.k9.ncl",
-  "k9/template-kennel.k9.ncl",
-  "k9/template-yard.k9.ncl",
+  "../svc/k9/template-hunt.k9.ncl",
+  "../svc/k9/template-kennel.k9.ncl",
+  "../svc/k9/template-yard.k9.ncl",
 ]
 status = "exception"
 gating = "not applicable"
-notes = "k9 is service-automation meta-infrastructure, not a verb contractile. Three trust-tier templates (Kennel/Yard/Hunt). Does not have a Verbfile.a2ml. See CONTRACTILE-SPEC §k9-exception."
+notes = "k9 is service-automation meta-infrastructure, not a verb contractile. Three trust-tier templates (Kennel/Yard/Hunt). Does not have a Verbfile.a2ml. Templates live under .machine_readable/svc/k9/ (the single k9 home, per ADR-001 2026-04-18); the verb tridents (intend/adjust .k9.ncl) import them via ../../svc/k9/. The former phantom contractiles/k9/ duplicate was removed. See CONTRACTILE-SPEC §k9-exception."
 
 # [[verbs]] lust REMOVED 2026-04-18 — name had unwanted associations;
 # the horizon/aspiration semantics were always meant to live inside `intend`

.machine_readable/contractiles/adjust/adjust.k9.ncl

@@ -21,7 +21,7 @@
 # erosion causing gradual parameter drift). Where must flags "broken
 # now", adjust flags "drifting toward broken".
 
-let base_k9 = import "../k9/template-hunt.k9.ncl" in
+let base_k9 = import "../../svc/k9/template-hunt.k9.ncl" in
 let base    = import "../_base.ncl" in
 
 {

.machine_readable/contractiles/intend/intend.k9.ncl

@@ -26,7 +26,7 @@
 # * Evidence sinks: VeriSimDB (queryable) + 6a2/DRIFT.a2ml (repo-local).
 # * Failure-mode defenses cross-referenced to the AI failure catalog.
 
-let base_k9 = import "../k9/template-hunt.k9.ncl" in
+let base_k9 = import "../../svc/k9/template-hunt.k9.ncl" in
 let base    = import "../_base.ncl" in
 
 {