docs(contractile): add ADR-001 k9→svc relocation + migration log

- docs/ADR-001-k9-relocation-to-svc.adoc: formal decision record moving
  k9 out of .machine_readable/contractiles/ to .machine_readable/svc/k9/.
  Supersedes the 'k9-exception alongside verb dirs' language in
  CONTRACTILE-SPEC.adoc v1.1.0 (2026-04-17). Ratifies the 2026-04-18
  practice already adopted at the top-level monorepo.
- docs/CONTRACTILE-SPEC.adoc: pointer-update in the k9 definition +
  k9-exception section. Old-layout passages elsewhere remain for v1.1.0
  fidelity; ADR is now authoritative.
- .machine_readable/migrations/contractile-layout-2026-04-18.a2ml:
  machine-readable migration log — scope totals, outcomes (55 migrated,
  150 blocked by stale Lust.a2ml hook, 31 dirty-tree, 11 diverged),
  and next-wave plan.
- .machine_readable/migrations/contractile-layout-2026-04-18-DONE.tsv:
  per-repo list of successfully migrated repos (55 paths, one per line).

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

Author: hyperpolymath

.machine_readable/migrations/contractile-layout-2026-04-18-DONE.tsv

@@ -0,0 +1,55 @@
+./affinescript-vite
+./boj-server
+./developer-ecosystem/aspasia
+./developer-ecosystem/burble
+./developer-ecosystem/cookie-rebound
+./developer-ecosystem/gv-clade-index
+./developer-ecosystem/i-human
+./developer-ecosystem/katagoria
+./developer-ecosystem/kategoria
+./developer-ecosystem/krl
+./developer-ecosystem/nextgen-typing
+./developer-ecosystem/standards
+./developer-ecosystem/vscode-a2ml
+./developer-ecosystem/vscode-k9
+./fleet-ecosystem/cloudguard-server
+./fleet-ecosystem/game-server-admin
+./games-ecosystem/somethings-fishy
+./gossamer
+./InvestigativeJournalist.jl
+./JuliaKids.jl
+./JuliaPackage-Reuse-Audit.jl
+./natsci-studio
+./PostDisciplinary.jl
+./PRComms.jl
+./rsr-template-repo
+./snif
+./TradeUnionist.jl
+./verification-ecosystem/a2ml-deno
+./verification-ecosystem/a2ml-rs
+./verification-ecosystem/fraying-model-computational-testbed
+./verification-ecosystem/hypatia
+./verification-ecosystem/intsoc-transactor
+./verification-ecosystem/k9-deno
+./verification-ecosystem/k9-haskell
+./verification-ecosystem/k9iser
+./verification-ecosystem/k9-pre-commit
+./verification-ecosystem/k9-rs
+./verification-ecosystem/k9-validate-action
+./verification-ecosystem/methodologies
+./verification-ecosystem/mtpc-template-repo
+./verification-ecosystem/nesy-solver
+./verification-ecosystem/ochrance-framework
+./verification-ecosystem/pandoc-a2ml
+./verification-ecosystem/panll
+./verification-ecosystem/patch-bridge
+./verification-ecosystem/proven-servers
+./verification-ecosystem/session-sentinel
+./verification-ecosystem/squeakwell
+./verification-ecosystem/statistease
+./verification-ecosystem/the-nash-equilibrium
+./verification-ecosystem/typedqliser
+./verification-ecosystem/typell
+./verification-ecosystem/vcl-ut
+./verification-ecosystem/verisimdb-data
+./verification-ecosystem/verisimiser

.machine_readable/migrations/contractile-layout-2026-04-18.a2ml

@@ -0,0 +1,59 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
+// Machine-readable migration log for the 2026-04-18 contractile-layout sweep.
+// Applies: (3) bust/ addition + K9→svc/ relocation.
+// Paired with: docs/ADR-001-k9-relocation-to-svc.adoc
+
+Migration {
+    id: "contractile-layout-2026-04-18"
+    title: "Estate-wide contractile layout sweep: bust/ addition + K9→svc"
+    started-at: "2026-04-18"
+    driven-by: "ADR-001-k9-relocation-to-svc"
+    verb-set: ["intend", "trust", "must", "bust", "adjust", "dust"]
+    svc-entries: ["k9"]
+
+    what-applied: [
+        "Added .machine_readable/contractiles/bust/ (Bustfile.a2ml + bust.ncl) where missing",
+        "Moved .machine_readable/contractiles/k9/ to .machine_readable/svc/k9/ where present",
+        "Removed duplicate k9 in contractiles/ when svc/k9/ already existed"
+    ]
+
+    scope-totals {
+        canonical-home-contractiles: 230
+        root-home-contractiles: 287
+        missing-bust-at-audit: 510
+        k9-inside-contractiles-at-audit: 234
+    }
+
+    outcomes {
+        successfully-migrated-and-pushed: 55
+        blocked-by-stale-lust-hook: 150
+        blocked-by-uncommitted-work: 31
+        blocked-by-local-remote-divergence: 11
+        skipped-already-compliant: 2
+    }
+
+    stale-hook-pattern: {
+        error-message: "Missing contractile: Lust.a2ml"
+        retired-verb: "lust"
+        absorbed-into: "intend"
+        absorbed-on: "2026-04-18"
+        fix-path: "hook source uses 'lust' in iteration; must match 6-verb set (intend trust must bust adjust dust)"
+        repo-count: 150
+        feeds-into-task: "stale-hook repos cleanup (outside-workstream)"
+    }
+
+    next-waves: [
+        "wave-3: remaining ~100 canonical-home repos not yet attempted",
+        "home-consolidation: 287 root-home contractiles/ → .machine_readable/contractiles/",
+        "stale-hook sweep: 150 repos need pre-commit hook updated to 6-verb set",
+        "diverged-repos: 11 repos need manual ff-reconciliation before layout sweep retries them"
+    ]
+
+    successful-repos-commit-shas-listed-in: "migrations/contractile-layout-2026-04-18-DONE.tsv"
+
+    scripts-used: [
+        "/tmp/contractile-audit.sh — estate-wide audit, emits TSV of per-home state",
+        "/tmp/fix-contractile-layout.sh — single-repo fix (bust/ add + k9 relocate)",
+        "/tmp/wave[1|2|2b]-execute.sh — batch orchestrator with push-per-repo"
+    ]
+}

docs/ADR-001-k9-relocation-to-svc.adoc

@@ -0,0 +1,127 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
+// (MPL-2.0 is automatic legal fallback until PMPL is formally recognised)
+// Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+= ADR-001: K9 Relocation to .machine_readable/svc/
+:toc:
+:sectnums:
+:icons: font
+Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+v1.0.0, 2026-04-18
+
+== Status
+
+**Accepted** — 2026-04-18. Supersedes the `k9-exception` formulation in
+`CONTRACTILE-SPEC.adoc` v1.1.0 (2026-04-17).
+
+== Context
+
+`CONTRACTILE-SPEC.adoc` v1.1.0 (2026-04-17) placed k9 templates at
+`.machine_readable/contractiles/k9/` as an "exception alongside the verb
+directories". This was an uncomfortable compromise:
+
+* The `contractiles/` directory is conceptually "one concern per verb,
+  one verb per directory". k9 is not a verb and has no `K9file.a2ml`.
+* Contractile CLIs and audit tools that iterate over
+  `contractiles/*` had to carry a hard-coded exclusion for `k9/`.
+* The estate pre-commit hook iterates the six active verbs; k9 being
+  adjacent to them invited its own faulty verb-treatment drift.
+
+One day after the spec landed, the top-level repos-monorepo moved
+k9 out to `.machine_readable/svc/k9/` (2026-04-18). The hook comment
+captured the rule explicitly: "k9 is svc, not a contractile".
+
+This ADR ratifies that move and extends it estate-wide.
+
+== Decision
+
+k9 lives at `.machine_readable/svc/k9/` in every repo. The
+`contractiles/` directory contains only the six active verbs
+(`intend`, `trust`, `must`, `bust`, `adjust`, `dust`) — no exceptions.
+
+== Rationale
+
+* **Cleaner boundary.** `contractiles/` becomes a pure verb-set; `svc/`
+  becomes the graded-automation (kennel/yard/hunt) home.
+* **No more exception handling in verb iterators.** Every entry under
+  `contractiles/` is a verb directory, period.
+* **Matches actual role.** k9 is *trust-tier service automation
+  infrastructure*; `svc/` names what it is.
+* **Keeps `INDEX.a2ml` honest.** The registry lists six verbs; k9 no
+  longer needs a special "active vs exception" column.
+
+== Directory Layout (after ADR)
+
+----
+.machine_readable/
+├── contractiles/
+│   ├── _base.ncl
+│   ├── INDEX.a2ml
+│   ├── README.adoc
+│   ├── adjust/   ── Adjustfile.a2ml + adjust.ncl
+│   ├── bust/     ── Bustfile.a2ml   + bust.ncl
+│   ├── dust/     ── Dustfile.a2ml   + dust.ncl
+│   ├── intend/   ── Intentfile.a2ml + intend.ncl
+│   ├── must/     ── Mustfile.a2ml   + must.ncl
+│   └── trust/    ── Trustfile.a2ml  + trust.ncl
+│
+└── svc/
+    └── k9/
+        ├── README.adoc
+        ├── template-kennel.k9.ncl
+        ├── template-yard.k9.ncl
+        ├── template-hunt.k9.ncl
+        └── examples/
+            ├── ci-config.k9.ncl
+            ├── project-metadata.k9.ncl
+            └── setup-repo.k9.ncl
+----
+
+`svc/` is a **directory of named service-automation subsystems**. Today
+it holds only `k9/`. Future service-layer infrastructure (watchers,
+daemons, long-running automations) belongs here under its own name.
+
+== Migration Rules
+
+For each repo in the estate:
+
+. If `.machine_readable/contractiles/k9/` exists and `.machine_readable/svc/k9/`
+  does not: `git mv` the former to the latter.
+. If both exist, the `contractiles/` copy is the duplicate — remove it,
+  keep the one under `svc/`.
+. If neither exists: do nothing — the repo does not use k9.
+. Repos that still have a root-level `contractiles/k9/` need the same
+  move, paired with the root-home → canonical-home migration
+  (separate pass; see `CONTRACTILE-HOME-MIGRATION-2026-04-18.adoc`).
+
+== Consequences
+
+=== Positive
+
+* Cleanest verb/service boundary the estate has yet had.
+* Removes the need for k9 to keep claiming "I'm an exception" in the
+  spec.
+* Unblocks future graded-automation services to sit alongside k9.
+
+=== Negative — to be fixed
+
+* The top-level `.machine_readable/contractiles/README.adoc` still
+  mentions the retired `lust` verb and the old four-verb set
+  (`must/trust/dust/lust`). Requires a sweep.
+* Pre-commit hooks across ~150 repos still enforce `Lust.a2ml`
+  (retired 2026-04-18 — `intend` absorbed it). These hooks reject
+  contractile-layout changes, blocking the estate migration. Feeds
+  directly into the "stale-hook repos" cleanup work.
+
+=== Neutral
+
+* `CONTRACTILE-SPEC.adoc` §§ 82–83 and the `k9-exception` section
+  must be updated to point to this ADR and remove the "alongside verb
+  directories" language.
+
+== Related Work
+
+* `CONTRACTILE-HOME-MIGRATION-2026-04-18.adoc` — root-level
+  `contractiles/` → `.machine_readable/contractiles/` consolidation
+  (task 2 of the current migration wave).
+* `.machine_readable/migrations/contractile-layout-2026-04-18.a2ml` —
+  machine-readable migration log with per-repo outcomes.

docs/CONTRACTILE-SPEC.adoc

@@ -79,8 +79,10 @@ run-behaviour::
   report format, and runner-specific flags. Defaults factored into `_base.ncl`.
 
 k9::
-  Service-automation trust-tier infrastructure. Lives alongside the verb
-  directories but is NOT itself a contractile verb. See <<k9-exception>>.
+  Service-automation trust-tier infrastructure. Lives at
+  `.machine_readable/svc/k9/` — NOT inside `contractiles/`. See <<k9-exception>>.
+  Moved out of `contractiles/` per `ADR-001-k9-relocation-to-svc.adoc`
+  (2026-04-18); this spec's v1.1.0 language predates that ADR.
 
 == The Verb Set
 
@@ -433,7 +435,13 @@ Adopters writing new xfiles should prefer the structured form where possible.
 == K9 Exception
 
 `k9/` is **not a contractile verb**. It is trust-tier template infrastructure
-that sits alongside the verb directories.
+that lives at `.machine_readable/svc/k9/`, separate from the verb directories
+under `.machine_readable/contractiles/`.
+
+NOTE: Prior to 2026-04-18, k9 lived inside `contractiles/` as an "alongside
+exception". That placement was retired by ADR-001 (`docs/ADR-001-k9-relocation-to-svc.adoc`).
+Other sections of this spec still refer to the old layout in places; those are
+superseded by the ADR.
 
 === Why k9 is different