arkgate 4.8.11 → 4.8.14

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (93) hide show
  1. package/CHANGELOG.md +125 -2
  2. package/README.md +39 -46
  3. package/SECURITY.md +5 -3
  4. package/bin/ark-check-runtime.mjs +11 -9
  5. package/bin/lib/agent-projection-formatters.mjs +2 -0
  6. package/bin/lib/agent-skills-package.mjs +63 -8
  7. package/bin/lib/analysis-engine.mjs +4 -4
  8. package/bin/lib/architecture-scan.mjs +8 -2
  9. package/bin/lib/ark-order-doctor.mjs +160 -0
  10. package/bin/lib/ark-order-report.mjs +65 -0
  11. package/bin/lib/ark-order-sensors.mjs +1 -1
  12. package/bin/lib/ci-and-commands.mjs +7 -2
  13. package/bin/lib/design-smells.mjs +21 -1
  14. package/bin/lib/diagnostic-catalog.mjs +4 -4
  15. package/bin/lib/doctor-advisories.mjs +99 -18
  16. package/bin/lib/doctor-human.mjs +4 -11
  17. package/bin/lib/doctor-plan.mjs +4 -3
  18. package/bin/lib/extra-merge-teeth.mjs +32 -4
  19. package/bin/lib/first-run-help.mjs +11 -2
  20. package/bin/lib/gate-files.mjs +40 -3
  21. package/bin/lib/html-report-advisories.mjs +2 -0
  22. package/bin/lib/html-report-depth.mjs +8 -18
  23. package/bin/lib/html-report.mjs +16 -0
  24. package/bin/lib/install-migrate.mjs +23 -0
  25. package/bin/lib/mcp-hook-payload.mjs +1 -1
  26. package/bin/lib/product-copy.mjs +4 -0
  27. package/bin/lib/remediation.mjs +7 -7
  28. package/bin/lib/resolved-candidate-facts.mjs +144 -36
  29. package/bin/lib/rules-under-contract.mjs +14 -0
  30. package/bin/lib/scan-files.mjs +39 -0
  31. package/bin/lib/start-preview.mjs +4 -0
  32. package/bin/lib/status-command.mjs +28 -0
  33. package/bin/lib/status-manifest.mjs +23 -0
  34. package/bin/lib/upgrade-whats-new.mjs +3 -3
  35. package/bin/lib/violations.mjs +40 -1
  36. package/dist/{diagnosticCatalog-DiflIock.d.ts → diagnosticCatalog-DVx_2RmF.d.ts} +1 -1
  37. package/dist/eslint/index.cjs +4 -4
  38. package/dist/eslint/index.js +4 -4
  39. package/dist/index.cjs +31 -31
  40. package/dist/index.d.ts +129 -15
  41. package/dist/index.js +31 -31
  42. package/dist/nestjs/index.cjs +1 -1
  43. package/dist/nestjs/index.js +1 -1
  44. package/dist/runtime/index.cjs +15 -15
  45. package/dist/runtime/index.d.ts +1 -1
  46. package/dist/runtime/index.js +15 -15
  47. package/docs/README.md +11 -8
  48. package/docs/agent-guide.md +30 -13
  49. package/docs/ai-gates.md +3 -1
  50. package/docs/arkorder.md +35 -10
  51. package/docs/configuration.md +7 -6
  52. package/docs/develop.md +3 -1
  53. package/docs/diagnostics.md +7 -7
  54. package/docs/enthusiast/README.md +6 -1
  55. package/docs/enthusiast/how-to-gallery-starter.md +2 -1
  56. package/docs/package-surface.md +8 -5
  57. package/docs/product-voice.md +40 -13
  58. package/docs/threat-model.md +2 -2
  59. package/docs/typescript-support.md +3 -3
  60. package/docs/use.md +18 -11
  61. package/package.json +1 -1
  62. package/schemas/ark.status-manifest.schema.json +47 -0
  63. package/server.json +2 -2
  64. package/templates/agent-skills/README.md +7 -4
  65. package/templates/agent-skills/ark-adopt/SKILL.md +9 -5
  66. package/templates/agent-skills/ark-architect/SKILL.md +5 -18
  67. package/templates/agent-skills/ark-autopilot/SKILL.md +8 -4
  68. package/templates/agent-skills/ark-contract/SKILL.md +9 -20
  69. package/templates/agent-skills/ark-coverage/SKILL.md +12 -8
  70. package/templates/agent-skills/ark-explain/SKILL.md +7 -3
  71. package/templates/agent-skills/ark-explore/SKILL.md +25 -4
  72. package/templates/agent-skills/ark-fix/SKILL.md +15 -20
  73. package/templates/agent-skills/ark-loop/SKILL.md +14 -20
  74. package/templates/agent-skills/ark-order/SKILL.md +200 -0
  75. package/templates/agent-skills/ark-place/SKILL.md +11 -8
  76. package/templates/agent-skills/ark-runtime/SKILL.md +17 -4
  77. package/templates/agent-skills/ark-think/SKILL.md +24 -126
  78. package/templates/agent-skills/ark-upgrade/SKILL.md +13 -2
  79. package/templates/skills/ark-adopt.md +9 -5
  80. package/templates/skills/ark-architect.md +5 -18
  81. package/templates/skills/ark-autopilot.md +8 -4
  82. package/templates/skills/ark-contract.md +9 -20
  83. package/templates/skills/ark-coverage.md +12 -8
  84. package/templates/skills/ark-explain.md +7 -3
  85. package/templates/skills/ark-explore.md +25 -4
  86. package/templates/skills/ark-fix.md +15 -20
  87. package/templates/skills/ark-loop.md +14 -20
  88. package/templates/skills/ark-order.md +200 -0
  89. package/templates/skills/ark-place.md +11 -8
  90. package/templates/skills/ark-runtime.md +17 -4
  91. package/templates/skills/ark-think.md +24 -126
  92. package/templates/skills/ark-upgrade.md +13 -2
  93. package/templates/tests/ark-adoption-gaps.test.ts +5 -4
@@ -5,28 +5,25 @@ description: Shortcut to /ark-autopilot for a small illegal-import cluster.
5
5
 
6
6
  # /ark-fix — Shortcut to /ark-autopilot
7
7
 
8
- **Not a first-run door.** This leftover name is a shortcut. Gate violations are
8
+ **Not a first-class door.** One-release redirect. Gate violations are
9
9
  **`/ark-autopilot`**. Do that job now. CLI only validates.
10
-
11
- ## Autonomy contract
12
-
13
- Invoking this leftover name **is** the approval to write the fix. Open importers,
14
- design the port/move, apply, `ark-check`. Never weaken the config. Never invent
15
- `mechanical-safe` kinds.
10
+ Contener · Guiar · Ordenar — this leftover name is not a star.
16
11
 
17
12
  ## When / not when
18
13
 
19
14
  | Use this leftover name when… | Prefer instead |
20
15
  |------------------------------|----------------|
21
16
  | One change / small cluster just failed the gate | **`/ark-autopilot`** |
22
- | Judgment design for a known violation | Session 0 / false-green **`/ark-adopt`** |
17
+ | Session 0 / false-green | **`/ark-adopt`** |
18
+ | One kernel candidate | **`/ark-runtime`** |
19
+ | One order-plane candidate | **`/ark-order`** |
23
20
 
24
21
  ## Plan B one-pilot checklist (when leftover design, not a single edge)
25
22
 
26
23
  Empty plan A + leftover design work is **not** architecture finished. One pilot only.
27
24
  Write an **extraction card** (`docs/brownfield-adoption.md` §6) — never mechanical-safe,
28
25
  never silent B apply. **Kill-switch** required. `multiPilotBatchForbidden` — never
29
- multi-pilot batch.
26
+ multi-pilot batch. Execute that work on **`/ark-autopilot`**.
30
27
 
31
28
  ## Dual engine (mandatory)
32
29
 
@@ -46,10 +43,6 @@ retain `projectIdentity.projectId`, then pass both `expectedRoot` and `expectedP
46
43
  uncertain, do not consume MCP analysis: use the workspace-local CLI and report that MCP
47
44
  restart/retargeting is required. `ark://manifest` never satisfies this preflight.
48
45
 
49
- ## Dual plane — layers + extras (mandatory, except /ark-runtime)
50
-
51
- Label findings **`[Layer]`** vs **`[ArkRules]`** vs **`[ArkRun]`** vs **`[ArkOrder]`**. Absence of extras is valid and silent. Extra skip clusters (`ARKRUN_*` / `ARKORDER_*`) are **`/ark-autopilot`**. When ArkOrder is on: later ξ is `proposeRelease` then `apply` (not a second `release()`); `refreshSigma`; ingest residual `absorb | escalate_up | hold`; capacity pack as data; in-memory `ReleaseStore`; ArkRun `decisionTape`. Do not invent `/ark-run` or `/ark-order`. Skills never enforce.
52
-
53
46
  ## Subagent fan-out (optional, host-dependent)
54
47
 
55
48
  If the host supports **parallel subagents**, fan out read-only scouts; otherwise
@@ -60,6 +53,15 @@ If the host supports **parallel subagents**, fan out read-only scouts; otherwise
60
53
  - **Greenfield:** `/ark-adopt` or `ark-check --recommend` / `ark start`.
61
54
  - **Brownfield:** `/ark-adopt`.
62
55
 
56
+ ## Mechanical-edit hygiene (outcome gate)
57
+
58
+ Leftover name, same edit bar as `/ark-autopilot` if you still land here.
59
+
60
+ - Header injection must **merge into the existing doc comment**; the kept result has one `/**`, not stacked headers.
61
+ - Route completion or movement must **preserve the original typed `defineRoute<…>(opts, handler)` call**; reconstruct that call instead of extracting untyped opts/handler constants that drop generics or contextual typing.
62
+ - A convention-only `*-data.ts` stub is not a fix: move the real code or **leave the placeholder file uncreated**; never write `import "server-only"; export {}` as an empty naming token.
63
+ - Keep the edit only when the **previously clean file stays typecheck-clean**. Otherwise roll it back and treat the change as judgment.
64
+
63
65
  ## Steps
64
66
 
65
67
  1. Sensor: `ark-check` / `--plan --json`.
@@ -68,13 +70,6 @@ If the host supports **parallel subagents**, fan out read-only scouts; otherwise
68
70
  3. Otherwise execute **`/ark-autopilot`** for the cluster (extraction card if Shape).
69
71
  4. Re-check.
70
72
 
71
- ## Mechanical-edit hygiene (outcome gate)
72
-
73
- - Header injection must **merge into the existing doc comment**; the kept result has one `/**`, not stacked headers.
74
- - Route completion or movement must **preserve the original typed `defineRoute<…>(opts, handler)` call**; reconstruct that call instead of extracting untyped opts/handler constants that drop generics or contextual typing.
75
- - A convention-only `*-data.ts` stub is not a fix: move the real code or **leave the placeholder file uncreated**; never write `import "server-only"; export {}` as an empty naming token.
76
- - Keep the edit only when the **previously clean file stays typecheck-clean**. Otherwise roll it back and treat the change as judgment.
77
-
78
73
  ## Completion contract (skill incomplete if missing)
79
74
 
80
75
  Skill incomplete if missing any field below.
@@ -5,21 +5,17 @@ description: Shortcut to /ark-autopilot for illegal-import fixes. CLI validates
5
5
 
6
6
  # /ark-loop — Shortcut to /ark-autopilot
7
7
 
8
- **Not a first-run door.** This leftover name is a shortcut. Driving `--plan` to `goal.met` is **`/ark-autopilot`**.
9
- Do that job now. Auto-apply only the four `mechanical-safe` kinds; judgment you write.
10
-
11
- ## Autonomy contract
12
-
13
- Invoking this leftover name **is** the approval to apply plan A. Open every step file.
14
- Write. Re-check. Empty plan A + leftover design → **`/ark-explore`** then **`/ark-autopilot`**
15
- for one extraction card (never mechanical-safe B).
8
+ **Not a first-class door.** One-release redirect. Driving `--plan` to `goal.met` is
9
+ **`/ark-autopilot`**. Do that job now.
10
+ Contener · Guiar · Ordenar — this leftover name is not a star.
16
11
 
17
12
  ## When / not when
18
13
 
19
14
  | Use this leftover name when… | Prefer instead |
20
15
  |------------------------------|----------------|
21
16
  | Plan A has steps; drive to `goal.met` | **`/ark-autopilot`** |
22
- | Mechanical-safe + judgment apply | Map only `/ark-explore`; session 0 → `/ark-adopt` |
17
+ | Map only | `/ark-explore` |
18
+ | Session 0 | `/ark-adopt` |
23
19
 
24
20
  ## Dual engine (mandatory)
25
21
 
@@ -41,10 +37,6 @@ restart/retargeting is required. `ark://manifest` never satisfies this preflight
41
37
 
42
38
  Atomic multi-file work uses **`ark_prepare_change`** with the same matched `project` envelope.
43
39
 
44
- ## Dual plane — layers + extras (mandatory, except /ark-runtime)
45
-
46
- Label findings **`[Layer]`** vs **`[ArkRules]`** vs **`[ArkRun]`** vs **`[ArkOrder]`**. Absence of extras is valid and silent. Extra skip clusters (`ARKRUN_*` / `ARKORDER_*`) are **`/ark-autopilot`**. When ArkOrder is on: later ξ is `proposeRelease` then `apply`; `refreshSigma`; ingest residual `absorb | escalate_up | hold`; capacity pack as data; in-memory `ReleaseStore`; ArkRun `decisionTape`. Never invent `mechanical-safe` kinds. Do not invent `/ark-run` or `/ark-order`. Skills never enforce.
47
-
48
40
  ## Subagent fan-out (optional, host-dependent)
49
41
 
50
42
  If the host supports **parallel subagents**, fan out read-only scouts; otherwise
@@ -55,6 +47,15 @@ If the host supports **parallel subagents**, fan out read-only scouts; otherwise
55
47
  - **Greenfield:** `/ark-adopt` or `ark-check --recommend` / `ark start`.
56
48
  - **Brownfield:** `/ark-adopt`.
57
49
 
50
+ ## Mechanical-edit hygiene (outcome gate)
51
+
52
+ Leftover name, same edit bar as `/ark-autopilot` if you still land here.
53
+
54
+ - Header injection must **merge into the existing doc comment**; the kept result has one `/**`, not stacked headers.
55
+ - Route completion or movement must **preserve the original typed `defineRoute<…>(opts, handler)` call**; reconstruct that call instead of extracting untyped opts/handler constants that drop generics or contextual typing.
56
+ - A convention-only `*-data.ts` stub is not a fix: move the real code or **leave the placeholder file uncreated**; never write `import "server-only"; export {}` as an empty naming token.
57
+ - Keep the edit only when the **previously clean file stays typecheck-clean**. Otherwise roll it back and treat the change as judgment.
58
+
58
59
  ## Steps
59
60
 
60
61
  1. `--plan --json`. Open every `steps[]` file.
@@ -64,13 +65,6 @@ If the host supports **parallel subagents**, fan out read-only scouts; otherwise
64
65
  **STOP — false-green:** execute **`/ark-adopt`**.
65
66
  4. Else execute **`/ark-autopilot`** (mechanical-safe + judgment). Extraction card for Shape B.
66
67
 
67
- ## Mechanical-edit hygiene (outcome gate)
68
-
69
- - Header injection must **merge into the existing doc comment**; the kept result has one `/**`, not stacked headers.
70
- - Route completion or movement must **preserve the original typed `defineRoute<…>(opts, handler)` call**; reconstruct that call instead of extracting untyped opts/handler constants that drop generics or contextual typing.
71
- - A convention-only `*-data.ts` stub is not a fix: move the real code or **leave the placeholder file uncreated**; never write `import "server-only"; export {}` as an empty naming token.
72
- - Keep the edit only when the **previously clean file stays typecheck-clean**. Otherwise roll it back and treat the change as judgment.
73
-
74
68
  ## Completion contract (skill incomplete if missing)
75
69
 
76
70
  Skill incomplete if missing any field below.
@@ -0,0 +1,200 @@
1
+ ---
2
+ name: ark-order
3
+ description: Wire the optional ArkOrder extra (arkgate/order). One candidate. Extra on via /ark-adopt.
4
+ ---
5
+
6
+ # /ark-order — Evaluate and wire ArkOrder (optional)
7
+
8
+ **Contener · Guiar · Ordenar.** In plain words: contain the write, guide the next
9
+ step, order leftover mess. This door is **Ordenar**: the extra for the few big product
10
+ choices (billing plan, not seat counts). Ordering leftover folders is `/ark-explore`
11
+ then `/ark-autopilot`. Skills never enforce — CLI / hooks / CI do.
12
+
13
+ Layers stop a bad import. ArkOrder stops rewriting a big product choice as if it
14
+ were a seat count. Change those choices through a valve, not a generic update.
15
+
16
+ The ArkOrder extra (`arkgate/order`) is **optional**. It is **not** required for
17
+ ArkGate enforcement and is **not** production durability. Use this skill when the
18
+ user wants to evaluate or wire the extra. **This skill never enforces.** Do **not**
19
+ invent `/ark-run`. `@arkgate/order` is not a package — import `arkgate/order` from
20
+ the same `arkgate` tarball.
21
+
22
+ **When:** evaluate a hand-rolled “PATCH the plan like a seat count” / generic update
23
+ of a slow product choice, or wire an extra that is already on (plane root, named
24
+ keys, valve).
25
+ **Not when:** session 0 / extra not chosen (`/ark-adopt`); one new file (`/ark-place`);
26
+ skip-violation grind (`/ark-autopilot`); wire the runtime kernel (`/ark-runtime`).
27
+
28
+ ## When / not when
29
+
30
+ | Use `/ark-order` when… | Do **not** use it when… |
31
+ |------------------------|-------------------------|
32
+ | Wire one ArkOrder candidate after the extra is on | Extra not chosen → `/ark-adopt` |
33
+ | Evaluate a generic update of a named product choice | New plane-root file only → `/ark-place` |
34
+ | Valve: first `release()`, later `proposeRelease` then `apply` | Skip cluster grind → `/ark-autopilot`; one kernel candidate → `/ark-runtime` |
35
+
36
+ ## Contener · Guiar · Ordenar
37
+
38
+ | Star | This door | Hand off |
39
+ |------|-----------|----------|
40
+ | **Contener** | `/ark-adopt` path · `/ark-place` new file · `/ark-upgrade` pin | Map → `/ark-explore` · apply → `/ark-autopilot` |
41
+ | **Guiar** | `/ark-explore` map · `/ark-autopilot` apply · `/ark-runtime` wire ArkRun · `/ark-explain` tour · `/ark-coverage` fitness | Session 0 → `/ark-adopt` · this door for the big-choice plane |
42
+ | **Ordenar** | **This skill** — wire ArkOrder | Extra off → `/ark-adopt` · new plane-root file → `/ark-place` · skip grind → `/ark-autopilot` |
43
+
44
+ **Handoff, do not invent a door.** Extra off → `/ark-adopt`. New file → `/ark-place`.
45
+ Skip cluster → `/ark-autopilot`. One kernel candidate → `/ark-runtime`.
46
+
47
+ ## Extra vs plane (mandatory)
48
+
49
+ | Piece | What it is | What it is not |
50
+ |-------|------------|----------------|
51
+ | **ArkOrder extra** (`arkOrder` on `ark.config.json`, schema `1.3+`) | Gate contract: plane usage + named slow keys | A score; Layers / ArkRules / ArkRun replacement; merge teeth while `advisory` |
52
+ | **Plane** `arkgate/order` | Library you construct with `createOrderPlane` (one instance per call) | A process-wide singleton; a second npm package; production durability |
53
+
54
+ Absence of the extra is **silent** — Layers and ArkRules verdicts stay identical. Doctor / status
55
+ `arkOrder` is always `notAScore`. Never invent 0–10 scores or pass/fail from this skill.
56
+
57
+ ## Improvement compass note
58
+
59
+ This skill is **optional order-plane** only. Do **not** treat ArkOrder adoption as residual on
60
+ the resilience lens unless the user explicitly opts into the extra. Prefer doctor compass
61
+ for static architecture residual; hand static residual to `/ark-explore` / `/ark-autopilot`.
62
+ Doctor `arkOrder` residual is a finding-id count (`ARKORDER_*`), never a compass score.
63
+
64
+ ## Dual engine (mandatory)
65
+
66
+ | Engine | Role |
67
+ |--------|------|
68
+ | **Deterministic** | CLI / MCP / contract sensors — exit codes, plan kinds, coverage numbers, install status |
69
+ | **Exploratory** | You open **this** repo's real files and product surface before concluding |
70
+
71
+ The CLI is a **sensor**, never the whole job. Claiming done without the exploratory bar for this skill is **incomplete**.
72
+
73
+ ## MCP workspace binding (mandatory)
74
+
75
+ Before any `ark_*` MCP tool, call `ark_identity` with `project.expectedRoot` set to the exact
76
+ workspace root. Continue only when `binding.status === "matched"` and `authoritative === true`;
77
+ retain `projectIdentity.projectId`, then pass both `expectedRoot` and `expectedProjectId` under
78
+ `project` on every later MCP call. If identity is missing, mismatched, unverified, or the root is
79
+ uncertain, do not consume MCP analysis: use the workspace-local CLI and report that MCP
80
+ restart/retargeting is required. `ark://manifest` never satisfies this preflight.
81
+
82
+ ## Out of scope for ArkRules and ArkRun
83
+
84
+ This skill is **order-plane only**. Do not mix ArkRules structure/invariants here; do **not**
85
+ turn this skill into an ArkRun skill. Hand off first extras to `/ark-adopt`, new files to
86
+ `/ark-place`, skip clusters to `/ark-autopilot`, one kernel candidate to `/ark-runtime`.
87
+ Label plane residual **`[ArkOrder]`** so it never blurs with **`[Layer]`**, **`[ArkRules]`**,
88
+ or **`[ArkRun]`**.
89
+
90
+ ## Subagent fan-out (optional, host-dependent)
91
+
92
+ If the host supports **parallel subagents** and the task splits cleanly (e.g. multiple
93
+ dirs to sample), fan out read-only scouts; otherwise **fall back to sequential**.
94
+ Parent merges and still emits the **### Completion** contract. Never parallel-write
95
+ the same files or weaken the gate.
96
+
97
+ ## Steps
98
+
99
+ 1. **Inventory** — grep the codebase for hand-rolled equivalents:
100
+ - a use-case that `update` / `patch` / `set` a slow product choice (plan, cycle, tenancy)
101
+ the same way it writes a seat count or invoice
102
+ - Prisma / pg / SQL writes of those names from Application / Features
103
+ - a second `release()` after the first freeze (should be `proposeRelease` then `apply`)
104
+ - membership ids (`projectId`, `orgId`) treated as slow keys
105
+ - recomputable statuses (`paid`, `overdue`, `atCapacity`, `approved`) stored as if they
106
+ were named choices
107
+ Also check whether the billing gallery pattern applies:
108
+ [examples/arkorder-billing](https://github.com/pedroknigge/arkgate/tree/main/examples/arkorder-billing)
109
+ (GitHub tree, not in the npm tarball). Copy billing, **rename the three keys**.
110
+ 2. **Read the extra** — open `ark.config.json`. If `arkOrder` is absent and the user wants the extra,
111
+ **STOP — do not continue this skill as complete.** Handoff **`/ark-adopt`** to write **advisory**
112
+ `arkOrder` (schema `1.3+`; real `planeRoots`, existing `managedLayers`, `maxXiKeys` default 7,
113
+ **`xiKeys`** the 3–5 slow names). Do not invent the extra here. If the extra is present, note
114
+ `mode`, `planeRoots`, managed layers, `maxXiKeys`, and `xiKeys`; doctor `arkOrder` is `notAScore`.
115
+ 3. **Pick ONE target** — the smallest, most self-contained candidate (fewest call sites).
116
+ Migrating everything at once is how adoptions die. List the rest as follow-ups in the report.
117
+ New files after the extra is on go through **`/ark-place`**.
118
+ 4. **Resolve availability** — `npm install arkgate` already ships `arkgate/order`.
119
+ Import `createOrderPlane` from `arkgate/order`. Same npm package. Not a second install.
120
+ 5. **Wire through the plane** — read
121
+ [ArkOrder](https://github.com/pedroknigge/arkgate/blob/main/docs/arkorder.md)
122
+ (first-contact breath first; valve tables below the fold).
123
+ - Call `createOrderPlane` **only** inside `arkOrder.planeRoots`. Each call is a new instance —
124
+ no process-wide singleton.
125
+ - Keep Domain-role layers plane-free (`ARKORDER_KERNEL_IN_DOMAIN`).
126
+ - First freeze: `release()`. Later change of a named choice is `proposeRelease` then `apply`
127
+ — not a second `release()` (`ARKORDER_UNVALVED_RELEASE`), not `update` / `patch` / `set`
128
+ (`ARKORDER_GENERIC_UPDATE`).
129
+ - Name **`xiKeys`** (3–5 slow product decisions). Membership ids and recomputable statuses
130
+ are not keys: derive a status on read or fold it from ingest. A use-case that persists
131
+ those keys is `ARKORDER_XI_FIELD_WRITE`. Invoices and seats still flow through `ingest`.
132
+ - Before writing a name, drop the candidate and ask: can current state reconstruct it
133
+ uniquely? If it is recomputable or ingest determines it, derive it. The check remains
134
+ silent on semantic entailment.
135
+ - `refreshSigma`; ingest residual `absorb | escalate_up | hold` + `reasonCode`; capacity
136
+ pack as data; in-memory `ReleaseStore` (`createMemoryReleaseStore`); `ingestTravelAction`.
137
+ ArkRun `decisionTape` is still **`[ArkRun]`** — do not turn the tape into this skill.
138
+ - In-memory stores lose state on restart — **not** production durability. Branding ArkOrder
139
+ is not a durability claim. Doctor / status `arkOrder` is `notAScore`.
140
+ 6. **Delete the hand-rolled generic update** once call sites are moved — the point is
141
+ less code, not a second parallel system. Deleting code is a destructive move:
142
+ confirm with the user before removing the old implementation, and never delete
143
+ something the inventory only *suspects* is dead.
144
+
145
+ ## Critical handoffs
146
+
147
+ - No static gates yet: **STOP — do not continue this skill as complete.** Run `/ark-adopt` first
148
+ (`ark-check --recommend`).
149
+ - Extra absent and the user wants it: **STOP — do not continue this skill as complete.**
150
+ **`/ark-adopt`** writes advisory `arkOrder`.
151
+ - Skip cluster (`ARKORDER_MISSING_PLANE` / `ARKORDER_KERNEL_IN_DOMAIN` / `ARKORDER_GENERIC_UPDATE`
152
+ / `ARKORDER_TOO_MANY_PARAMS` / `ARKORDER_INGEST_WRITES_XI` / `ARKORDER_XI_FIELD_WRITE`) after
153
+ the extra is on: **`/ark-autopilot`** — this skill still wires one candidate.
154
+ - New plane-root file after the extra is on: **`/ark-place`**.
155
+ - One kernel / bus candidate: **`/ark-runtime`** — do not mix planes.
156
+ - `arkgate` not installed and no local checkout: **STOP** and report the distribution boundary.
157
+ - Inventory finds nothing: stop; do not introduce the plane speculatively.
158
+
159
+ ## Operating rules
160
+
161
+ - If the inventory finds NO hand-rolled equivalents, say so and stop — do not
162
+ introduce ArkOrder speculatively. Static enforcement alone is a complete, valid use of Ark.
163
+ - Keep the migration diff reviewable: one feature per invocation.
164
+ - Skills never enforce; never weaken `ark.config.json` to skip `ARKORDER_*`.
165
+ - Never a process-wide plane singleton. Never a second npm package.
166
+ - Never claim in-memory stores are production-durable.
167
+ - Never force the extra on. Compact starter / `ark start` stays extras-off.
168
+ - Plain-language reporting: one sentence per concept ("the billing plan is a
169
+ named choice — change it through the valve, not a generic update").
170
+ - ξ / Haken / slaving stay **below the fold**. First contact uses the one-minute breath.
171
+
172
+ ## Related onboarding
173
+
174
+ - Adopt static gates and application shape **first** (`/ark-adopt` or `ark-check --recommend`).
175
+ Brownfield: same door — advisory extra only until the team promotes; absence is valid.
176
+ - ArkOrder is optional and separate from enthusiast onboarding. Do not put `arkOrder` on the
177
+ compact starter.
178
+
179
+ ## Verify and report
180
+
181
+ Run the project's tests plus `ark-check --root . --config ark.config.json
182
+ --strict-config`. Report: what was migrated, lines deleted vs added, remaining
183
+ candidates ranked, behavior differences, and **`[ArkOrder]`** residual
184
+ (`ARKORDER_*` / doctor `arkOrder`, `notAScore`) separately from Layers / ArkRules / ArkRun.
185
+
186
+ ## Completion contract (skill incomplete if missing)
187
+
188
+ End with **exactly** these headings (markdown `###`):
189
+
190
+ ### Completion
191
+ - **Sensor:** commands/tools run
192
+ - **Opened:** real paths read (or `n/a` only if pure install/upgrade with no source analysis)
193
+ - **Result:** one-line outcome
194
+ - **Planes:** **`[ArkOrder]`** residual (or `n/a` if extra absent) — do not mix with `[Layer]` / `[ArkRules]` / `[ArkRun]`
195
+ - **Compass:** `n/a` (order skill; static residual → explore/autopilot) | top residual if doctor was run
196
+ - **Handoff:** `/ark-…` / CLI / `none`
197
+ - **Incomplete?** `no` | `yes — <what is missing>`
198
+
199
+ If a **STOP** handoff applies and you continued as if done, set **Incomplete?** to `yes`.
200
+ **Skill incomplete if missing** any of the bullets above.
@@ -5,6 +5,10 @@ description: "Where does new code go? Names the folder from the rules file and w
5
5
 
6
6
  # /ark-place — Where does this code go?
7
7
 
8
+ **Contener · Guiar · Ordenar.** In plain words: contain the write, guide the next
9
+ step, order leftover mess. This door is **Contener**: write the new file in the
10
+ right house. Skills never enforce — CLI / hooks / CI do.
11
+
8
12
  **When:** you are adding a new file or artifact and need the layer, folder, and name.
9
13
  **Not when:** session 0 / config is missing or lying (`/ark-adopt`) or an existing violation cluster (`/ark-autopilot`).
10
14
 
@@ -78,7 +82,7 @@ a caption or `/ark-describe`.
78
82
  | New artifact: where + **write** under the config | Existing violation cluster → `/ark-autopilot` |
79
83
  | Naming / directory for a known kind | Session 0 / config missing or lying → `/ark-adopt` (then come back) |
80
84
  | Kernel-managed artifact when `arkRun` is already on | Extra not chosen yet → `/ark-adopt` (advisory `arkRun`); evaluate / migrate a hand-rolled bus → `/ark-runtime` |
81
- | Plane-root artifact when `arkOrder` is already on | Extra not chosen yet → `/ark-adopt` (advisory `arkOrder`); skip cluster grind → `/ark-autopilot` |
85
+ | Plane-root artifact when `arkOrder` is already on | Extra not chosen yet → `/ark-adopt` (advisory `arkOrder`); evaluate / wire one plane candidate → `/ark-order`; skip cluster grind → `/ark-autopilot` |
82
86
 
83
87
  The user describes something they need to build (a saga, a background job, an
84
88
  event handler, a repository, an HTTP client, a use case, a projection, …).
@@ -132,7 +136,7 @@ ArkGate has **always-on Layers** plus opt-in extras. The user chooses extras; yo
132
136
  4. Missing layer home: add it via **`/ark-adopt`** in this session if needed, then write the file; never invent `mechanical-safe`.
133
137
  5. CLI helpers: `ark-check --rules-inventory --json`, doctor JSON `rulesUnderContract`, sensors emit `ARKRULE_*` / `INVARIANT_UNCOVERED` with `evidence.arkruleId`.
134
138
  6. Absence of `arkRun` is **valid**. Do not introduce the kernel speculatively. Skills never enforce this extra.
135
- 7. Absence of `arkOrder` is **valid**. When on: Domain stays plane-free; first freeze ξ with `release()`; later ξ is `proposeRelease` then `apply`; never `update`/`patch`/`set` the pattern. Import `createOrderPlane` from `arkgate/order` (same npm package). No `/ark-order` skill.
139
+ 7. Absence of `arkOrder` is **valid**. When on: Domain stays plane-free; first freeze ξ with `release()`; later ξ is `proposeRelease` then `apply`; never `update`/`patch`/`set` the pattern. Import `createOrderPlane` from `arkgate/order` (same npm package). Evaluate / wire one candidate via **`/ark-order`**.
136
140
 
137
141
 
138
142
  ### Place + ArkRules
@@ -158,8 +162,8 @@ When `arkOrder` is present on the architecture config:
158
162
  - Call the factory only inside `arkOrder.planeRoots`. Empty roots in `enforced` mode is `ARKORDER_MISSING_PLANE`.
159
163
  - Named slow keys live in `arkOrder.xiKeys`. A managed-layer Prisma/pg write of those keys is `ARKORDER_XI_FIELD_WRITE` — absorb with `ingest` or change the pattern with `proposeRelease` then `apply`.
160
164
  - A recomputable status is not a new `xiKeys` entry or a `proposeRelease`: place it as a read projection or an ingest fold. If slow-key naming remains unresolved, return to `/ark-adopt` and run the elimination test before writing the config.
161
- - Skip clusters (`ARKORDER_MISSING_PLANE` / `ARKORDER_KERNEL_IN_DOMAIN` / `ARKORDER_GENERIC_UPDATE` / `ARKORDER_TOO_MANY_PARAMS` / `ARKORDER_INGEST_WRITES_XI` / `ARKORDER_XI_FIELD_WRITE`): place this artifact, then grind via `/ark-autopilot`. Extra not on → `/ark-adopt`. Do not invent `/ark-order`.
162
- - Absence of the extra is valid. Do not invent `/ark-order`. Skills never enforce.
165
+ - Skip clusters (`ARKORDER_MISSING_PLANE` / `ARKORDER_KERNEL_IN_DOMAIN` / `ARKORDER_GENERIC_UPDATE` / `ARKORDER_TOO_MANY_PARAMS` / `ARKORDER_INGEST_WRITES_XI` / `ARKORDER_XI_FIELD_WRITE`): place this artifact, then grind via `/ark-autopilot`. Extra not on → `/ark-adopt`. Evaluate / wire one candidate → `/ark-order`.
166
+ - Absence of the extra is valid. Skills never enforce.
163
167
 
164
168
  ## Subagent fan-out (optional, host-dependent)
165
169
 
@@ -229,11 +233,10 @@ the same files or weaken the gate.
229
233
  hand off **one** pilot via `pilotLoop.nextPilot` / `/ark-explore` shape-focus — never multi-pilot
230
234
  batch reshape from this skill.
231
235
  - If `arkRun` is on and the user is grinding skip violations (`new` of managed types, homemade
232
- bus) across many files: place this artifact through the kernel, then leftover `/ark-fix` /
233
- `/ark-autopilot`. Extra not on → `/ark-adopt` (advisory) or `/ark-runtime` (evaluate).
236
+ bus) across many files: place this artifact through the kernel, then `/ark-autopilot`. Extra not on → `/ark-adopt` (advisory) or `/ark-runtime` (evaluate).
234
237
  - If `arkOrder` is on and the user is grinding skip violations (`ARKORDER_*`) across many files:
235
- place this artifact on a plane root, then leftover `/ark-fix` / `/ark-autopilot`. Extra not on
236
- → `/ark-adopt` (advisory). Do not invent `/ark-order`.
238
+ place this artifact on a plane root, then `/ark-autopilot`. Extra not on
239
+ → `/ark-adopt` (advisory). Evaluate / wire one candidate → `/ark-order`.
237
240
 
238
241
  ## Operating rules
239
242
 
@@ -5,6 +5,10 @@ description: Wire the optional ArkRun extra (arkgate/runtime). One candidate. Ex
5
5
 
6
6
  # /ark-runtime — Evaluate and wire ArkRun (experimental opt-in)
7
7
 
8
+ **Contener · Guiar · Ordenar.** In plain words: contain the write, guide the next
9
+ step, order leftover mess. This door is **Guiar**: wire the optional runtime so work
10
+ keeps moving. Skills never enforce — CLI / hooks / CI do.
11
+
8
12
  The ArkRun kernel (`arkgate/runtime`) is currently **experimental**. It is **not** required
9
13
  for ArkGate enforcement and is **not** production durability. Use this skill when the user wants
10
14
  to evaluate or wire the kernel. **This skill never enforces** — the write / CI / ESLint plane
@@ -13,7 +17,15 @@ does when the `arkRun` extra is on. Do **not** invent `/ark-run`. `@arkgate/runt
13
17
  **When:** evaluate a hand-rolled bus / outbox / saga / projection / policy / Nest adapter against
14
18
  the kernel, or wire an extra that is already on (kernel root, declarations, transport).
15
19
  **Not when:** session 0 / extra not chosen (`/ark-adopt`); one new file (`/ark-place`); skip-violation
16
- grind (`/ark-autopilot` / leftover `/ark-fix`).
20
+ grind (`/ark-autopilot`); wire the order plane (`/ark-order`).
21
+
22
+ ## When / not when
23
+
24
+ | Use `/ark-runtime` when… | Do **not** use it when… |
25
+ |--------------------------|-------------------------|
26
+ | Wire one ArkRun candidate after the extra is on | Extra not chosen → `/ark-adopt` |
27
+ | Evaluate a hand-rolled bus / outbox / saga | New kernel-managed file only → `/ark-place` |
28
+ | Declarations / transport / Nest adapter | Skip cluster grind → `/ark-autopilot`; one order-plane candidate → `/ark-order` |
17
29
 
18
30
  ## Extra vs kernel (mandatory)
19
31
 
@@ -52,7 +64,7 @@ restart/retargeting is required. `ark://manifest` never satisfies this preflight
52
64
 
53
65
  ## Out of scope for ArkRules and ArkOrder
54
66
 
55
- This skill is **runtime-kernel only**. Do not mix ArkRules structure/invariants here; do **not** turn this skill into an ArkOrder skill. Hand off first extras to `/ark-adopt`, new files to `/ark-place`, skip clusters to `/ark-autopilot`. Label kernel-usage residual **`[ArkRun]`** so it never blurs with **`[Layer]`**, **`[ArkRules]`**, or **`[ArkOrder]`**.
67
+ This skill is **runtime-kernel only**. Do not mix ArkRules structure/invariants here; do **not** turn this skill into an ArkOrder skill. Hand off first extras to `/ark-adopt`, new files to `/ark-place`, skip clusters to `/ark-autopilot`, one order-plane candidate to `/ark-order`. Label kernel-usage residual **`[ArkRun]`** so it never blurs with **`[Layer]`**, **`[ArkRules]`**, or **`[ArkOrder]`**.
56
68
 
57
69
  ## Subagent fan-out (optional, host-dependent)
58
70
 
@@ -119,9 +131,10 @@ the same files or weaken the gate.
119
131
 
120
132
  ## Critical handoffs
121
133
 
122
- - No static gates yet: **STOP — do not continue this skill as complete.** Run `/ark-adopt` first (`ark-check --recommend` / leftover `/ark-architect`).
134
+ - No static gates yet: **STOP — do not continue this skill as complete.** Run `/ark-adopt` first (`ark-check --recommend`).
123
135
  - Extra absent and the user wants it: **STOP — do not continue this skill as complete.** **`/ark-adopt`** writes advisory `arkRun`.
124
- - Skip cluster (`new` of managed types, homemade bus, kernel in Domain) after the extra is on: leftover **`/ark-fix`** / **`/ark-loop`** or **`/ark-autopilot`** — this skill still wires one candidate.
136
+ - Skip cluster (`new` of managed types, homemade bus, kernel in Domain) after the extra is on: **`/ark-autopilot`** — this skill still wires one candidate.
137
+ - One order-plane candidate: **`/ark-order`** — do not mix planes.
125
138
  - `arkgate` not installed and no local checkout: **STOP** and report the distribution boundary.
126
139
  - Inventory finds nothing: stop; do not introduce kernel speculatively.
127
140