fix(machine-readable): restore svc/k9 directory name (revert #114's self-validating rename)

PR #114 renamed svc/k9/ -> svc/self-validating/ but only the directory and
the verb import paths; svc/README.adoc, the contractile INDEX (name="k9"),
ADR-001 (2026-04-18), and the immovable .k9.ncl / K9! / base_k9 file format
all still said "k9". That left the repo internally inconsistent and the lone
divergence from five sibling repos that use svc/k9/.

Estate decision: svc/k9 is canonical (ADR-001). Reverted the directory name;
KEPT #114's ../../svc/ import depth (its one correct half). Updated INDEX
template paths + notes, both verb .k9.ncl imports, and the svc/k9 README +
setup example. All 7 pure .ncl runners pass nickel typecheck; verb .k9.ncl
imports resolve into svc/k9/.

Author: claude

.machine_readable/6a2/STATE.a2ml

@@ -95,12 +95,15 @@
 
   (critical-next-actions
     (immediate
-      ("Supersede #107 with honest STATE + k9->self-validating rename (this PR)")
+      ("Revert #114's svc/self-validating directory rename back to svc/k9 per ADR-001 (this PR); the #107 supersession + honest STATE already landed in #114")
       ("Normalise licences + install REUSE/k9 provable gate (#113)"))
     (this-week ())
     (this-month ()))
 
   (session-history
+    (entry
+      (date "2026-06-12")
+      (summary "Estate naming resolution: reverted #114's svc/self-validating directory rename back to svc/k9 per ADR-001 (2026-04-18). The rename was a partial divergence — svc/README.adoc, the contractile INDEX name=\"k9\", and the immovable .k9.ncl/K9!/base_k9 format all still said k9. Kept #114's correct ../../svc/ import depth (its one right half). Updated INDEX template paths + notes, both verb .k9.ncl imports, and the svc/k9 README + setup example. Five sibling repos already used svc/k9; this aligns the estate."))
     (entry
       (date "2026-06-05")
       (summary "Supersede #107: de-templatize 6a2 + migrate bot_directives to .a2ml + k9->self-validating rename + Dustfile. STATE proof claims calibrated to a machine-checked Coq Print-Assumptions audit (the '8/8 closed' overclaim removed); verisim-nif corrected to stub per #61"))

.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 = [
-  "../svc/self-validating/template-hunt.k9.ncl",
-  "../svc/self-validating/template-kennel.k9.ncl",
-  "../svc/self-validating/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. Templates live under .machine_readable/svc/self-validating/ (the single k9 home, per PR #114's svc/k9 -> svc/self-validating rename); the verb tridents (intend/adjust .k9.ncl) import them via ../../svc/self-validating/. 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, restored per ADR-001 2026-04-18 — PR #114's svc/k9 -> svc/self-validating directory rename was reverted estate-wide as a partial divergence that contradicted the svc/README.adoc, this registry's name=\"k9\", and the immovable .k9.ncl/K9!/base_k9 file format; #114's ../../svc/ import depth was kept, as it is the correct one). The verb tridents (intend/adjust .k9.ncl) import them via ../../svc/k9/. 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 "../../svc/self-validating/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 "../../svc/self-validating/template-hunt.k9.ncl" in
+let base_k9 = import "../../svc/k9/template-hunt.k9.ncl" in
 let base    = import "../_base.ncl" in
 
 {

…readable/svc/self-validating/README.adoc .machine_readable/svc/k9/README.adoc.machine_readable/svc/self-validating/README.adoc renamed to .machine_readable/svc/k9/README.adoc .machine_readable/svc/self-validating/README.adoc renamed to .machine_readable/svc/k9/README.adoc

@@ -71,13 +71,13 @@ Choose the appropriate security level for your use case:
 [source,bash]
 ----
 # Kennel: Pure configuration
-cp contractiles/self-validating/examples/project-metadata.k9.ncl config/metadata.k9.ncl
+cp .machine_readable/svc/k9/examples/project-metadata.k9.ncl config/metadata.k9.ncl
 
 # Yard: Validated configuration
-cp contractiles/self-validating/examples/ci-config.k9.ncl .github/ci.k9.ncl
+cp .machine_readable/svc/k9/examples/ci-config.k9.ncl .github/ci.k9.ncl
 
 # Hunt: Full automation
-cp contractiles/self-validating/examples/setup-repo.k9.ncl scripts/setup.k9.ncl
+cp .machine_readable/svc/k9/examples/setup-repo.k9.ncl scripts/setup.k9.ncl
 ----
 
 === 2. Validate Components

…elf-validating/examples/ci-config.k9.ncl …eadable/svc/k9/examples/ci-config.k9.ncl.machine_readable/svc/self-validating/examples/ci-config.k9.ncl renamed to .machine_readable/svc/k9/examples/ci-config.k9.ncl .machine_readable/svc/self-validating/examples/ci-config.k9.ncl renamed to .machine_readable/svc/k9/examples/ci-config.k9.ncl

@@ -95,7 +95,7 @@ K9!
       commands = [
         "mkdir -p src/ docs/ tests/ scripts/",
         "mkdir -p .github/workflows/",
-        "mkdir -p contractiles/self-validating/",
+        "mkdir -p .machine_readable/svc/k9/",
         "echo '✓ Directory structure created'",
       ],
     },