arkgate 3.0.1 → 3.0.2

package/CHANGELOG.md

@@ -4,7 +4,15 @@ All notable changes to ArkGate (`arkgate`; formerly `ark-runtime-kernel`) are do
 
 ## Unreleased
 
-No changes are scheduled after 3.0.1.
+No changes are scheduled after 3.0.2.
+
+## 3.0.2 — 2026-07-13
+
+### Documentation
+
+- Sync consumer-facing agent docs with 3.0.1 design-depth skills: `designFitness` /
+  `patternBets`, extraction cards, dual-plan B honesty in agent-guide, AI gates, and the
+  autopilot demo. Release note status for 3.0.1 marked published.
 
 ## 3.0.1 — 2026-07-13
 

package/dist/index.cjs

@@ -50,7 +50,7 @@ __export(gate_exports, {
 module.exports = __toCommonJS(gate_exports);
 
 // src/version.ts
-var version = "3.0.1";
+var version = "3.0.2";
 
 // src/domain/adapterContract.ts
 var ARK_ANALYSIS_RESULT_SCHEMA_VERSION = "1.0";

package/dist/index.d.cts

@@ -2,7 +2,7 @@ import { a as ArkConfigRule, b as ArkConfigLayer, A as ArkConfig, c as ArkConfig
 export { d as ARK_CONFIG_SCHEMA, e as ARK_CONFIG_SCHEMA_VERSION, l as loadArkConfigContract, p as parseArkConfigJson } from './configContract-BxSIwVRo.cjs';
 
 /** ArkGate library version — single source of truth. */
-declare const version = "3.0.1";
+declare const version = "3.0.2";
 
 /** Versioned public result contract shared by every ArkGate enforcement adapter. */
 declare const ARK_ANALYSIS_RESULT_SCHEMA_VERSION: "1.0";

package/dist/index.d.ts

@@ -2,7 +2,7 @@ import { a as ArkConfigRule, b as ArkConfigLayer, A as ArkConfig, c as ArkConfig
 export { d as ARK_CONFIG_SCHEMA, e as ARK_CONFIG_SCHEMA_VERSION, l as loadArkConfigContract, p as parseArkConfigJson } from './configContract-BxSIwVRo.js';
 
 /** ArkGate library version — single source of truth. */
-declare const version = "3.0.1";
+declare const version = "3.0.2";
 
 /** Versioned public result contract shared by every ArkGate enforcement adapter. */
 declare const ARK_ANALYSIS_RESULT_SCHEMA_VERSION: "1.0";

package/dist/index.js

@@ -1,5 +1,5 @@
 // src/version.ts
-var version = "3.0.1";
+var version = "3.0.2";
 
 // src/domain/adapterContract.ts
 var ARK_ANALYSIS_RESULT_SCHEMA_VERSION = "1.0";

package/docs/agent-guide.md

@@ -79,12 +79,27 @@ as unresolved decisions, and restores the integration with `ark start --tools <h
 (no apply). `/ark-coverage` = Ark **fitness** only (governed/gates). `/ark-think` = one decision
 (2–3 options). `/ark-adopt` = brownfield Align/Stabilize + seed Shape B. `/ark-autopilot` =
 explore then apply A + propose/apply-with-ok B. `/ark-loop` = plan A only. Empty plan A is not
-“architecture healthy” if design-weak residual remains.
+“architecture healthy” if design-weak residual remains. Full routing table: full-install
+`AGENTS.md` / [README skill table](../README.md#other-skills-only-when-you-need-them).
+
+**Design fitness (3.0.1+):** after edges are clean, doctor can still report **ENFORCE · design-weak**.
+
+```bash
+npx ark-check --doctor --json   # doctor.designFitness + doctor.designSmells[]
+npx ark-check --plan --json     # plan.goal.designWeak + plan.patternBets[] (never mechanical-safe)
+```
+
+Smell ids (stable): `io-under-application`, `handler-in-persistence`, `god-module`,
+`domain-logic-in-ui`, `facade-sql-in-routes`, `mixed-pattern-cluster`, `soft-contract`.
+Each has `evidence[]` paths. Plan **B** bets include `pilot`, `successSignal`, `killSwitch`,
+and **`neverMechanicalSafe: true`** — loop/autoPatch must ignore them. For judgment I/O moves
+use **extraction cards** ([brownfield-adoption.md](brownfield-adoption.md) §6). Multi-PR residual
+may optionally be persisted as a short Shape plan under the repo; not a gate requirement.
 
 **Full-skill agent co-pilot:** after explicitly installing the `/ark-*` pack, use
 `/ark-autopilot` (explore-first, dual plan A remediation + B pattern bets). Recon without
 applying: `/ark-explore`. The default compact router uses MCP/CLI directly. Never treat empty
-`--plan` as “architecture healthy” without the explore pass.
+`--plan` steps as “architecture healthy” when `designWeak` / non-empty `patternBets` remain.
 
 `ark init --archetype <id>` maps playbook ids to named presets (`hexagonal`, `layered`,
 `feature-sliced`, `monorepo`). With `--yes` and no archetype, Ark auto-selects from

package/docs/ai-gates.md

@@ -50,6 +50,13 @@ you pass `--force`, so review and commit only the templates that match your proj
 `autoPatch` flags), the supported profile for the active host, and the evidence actually found.
 Supported capability and installed guarantee are deliberately separate.
 
+**Design fitness (3.0.1+):** the same doctor JSON may include `doctor.designFitness` and
+`doctor.designSmells[]` (path evidence). Edge-clean `operatingMode: enforce` can still set
+`designFitness.designWeak: true` (**ENFORCE · design-weak**). That is Shape residual, not a
+write-path failure. Companion plan JSON: `plan.patternBets[]` with `neverMechanicalSafe: true`
+— never treat as write-boundary `autoPatch` / mechanical-safe. See
+[package-surface.md](package-surface.md) and [brownfield-adoption.md](brownfield-adoption.md) §6.
+
 If your project uses Codex or Grok, treat MCP registration as part of the default
 setup, not an optional extra. Ark works best when the agent can read `ark://manifest`
 before it writes code; that is the fast path to avoiding architecture drift during

package/docs/demos/03-copilot-autopilot.md

@@ -35,17 +35,22 @@ the layer globs so day-one **governed%** is real (not a false-green empty contra
 ### 2. See the plan yourself (optional)
 
 ```bash
-npx ark-check --plan            # human view (includes Governed: N%)
-npx ark-check --plan --json     # { ok, plan: { goal, counts, steps } }
+npx ark-check --plan            # human view (includes Governed: N%; pattern bets when design-weak)
+npx ark-check --plan --json     # { ok, plan: { goal, counts, steps, patternBets?, designSmells? } }
+npx ark-check --doctor --json   # designFitness / designSmells when residual is design-weak
 ```
 
-Each step is tagged `mechanical-safe` / `judgment` / `deferred` with a `confidence`,
+Each **A** step is tagged `mechanical-safe` / `judgment` / `deferred` with a `confidence`,
 `rationale`, and often `remediationKind`. Auto-safe kinds: type-only type move, pure-type **file**
 relocate, `import type` of pure-type modules, and named type-export imports from mixed modules
 (`import-type-of-type-exports`). `goal.met` is true only when
 there are no active violations **and** governed coverage is meaningful — so a clean plan that
 checks almost nothing is not "done."
 
+When edges are clean but design residual remains, JSON also sets `goal.designWeak` and
+`patternBets[]` (each with `neverMechanicalSafe: true`). Those are **B** (Shape) bets — not
+auto-applied. Extraction cards: [brownfield-adoption.md](../brownfield-adoption.md) §6.
+
 ### 3. Carry the plan out — the autopilot
 
 In your agent, run:
@@ -54,10 +59,12 @@ In your agent, run:
 /ark-autopilot
 ```
 
-It runs the whole flow (newbie tier): confirms the plan, hands off to `/ark-loop` to apply the
-`mechanical-safe` steps one at a time — **validating each with `ark-check` and rolling back any
-regression** — proposes each `judgment` step for a yes/no, loops until `goal.met`, and reports
-what was auto-applied vs proposed vs deferred. Nothing lands until you review the diff.
+It runs the whole flow (newbie tier): **explore first** (map + dual plan), hands off to
+`/ark-loop` for plan **A** `mechanical-safe` steps one at a time — **validating each with
+`ark-check` and rolling back any regression** — proposes each A `judgment` and each B
+pattern/Shape bet for a yes/no, and reports what was auto-applied vs proposed vs deferred.
+Nothing lands until you review the diff. Empty A with open B is **not** “architecture healthy
+finished.”
 
 Expert entry: skip the autopilot and use the pieces — `ark init` / `/ark-contract` to shape the
 contract, `ark-check --plan` for the work, `/ark-fix` for targeted fixes, `ark-check

package/docs/package-surface.md

@@ -21,7 +21,7 @@ This document is the consumer contract for **what is stable** vs **what is exper
 | **`ark.config.json`** | Layer globs, rules, include/exclude, forbiddenGlobals, intent prefixes, `peerIsolation`, `dynamicImportAllowlist`, `safety` thresholds | Versioned by `schemaVersion`; unknown fields fail closed and migrations preserve the previous supported major. |
 | **`arkgate/schema/analysis-result`** | Public CLI/MCP/hook diagnostic envelope (`schemaVersion`, `valid`, `diagnostics`) | Versioned JSON Schema; committed v1 compatibility fixture protects rule, severity, location, and evidence fields. |
 | **Config JSON Schema** | `arkgate/schema` or `arkgate/schema/ark.config.schema.json` | Stable package resource subpaths for editor completion and contract tooling. |
-| **Agent skills** | `/ark-*` templates installed by `--install-agent-gates` | Skill *names* and “default flow” are stable; internal skill prose may evolve (e.g. explore dual-plan seed, day-zero origin order). |
+| **Agent skills** | `/ark-*` templates installed by `--install-agent-gates` | Skill *names* and “default flow” are stable; internal skill prose may evolve (e.g. When/not when, explore Shape dual-plan seed, extraction cards, day-zero origin order). |
 | **ESLint subpath** | `arkgate/eslint` | Config-driven layer/import rules; loads consumer `ark.config.json`. |
 | **GitHub Action** | `pedroknigge/arkgate` (see `action.yml`) | The `uses:` tag/SHA selects the checker source; `version` remains an optional exact npm compatibility override. |
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "arkgate",
-  "version": "3.0.1",
+  "version": "3.0.2",
   "description": "ArkGate — architecture co-pilot for AI TypeScript (write gate, CI gate, plan/loop)",
   "type": "module",
   "main": "./dist/index.cjs",

package/server.json

@@ -6,12 +6,12 @@
     "url": "https://github.com/pedroknigge/arkgate",
     "source": "github"
   },
-  "version": "3.0.1",
+  "version": "3.0.2",
   "packages": [
     {
       "registryType": "npm",
       "identifier": "arkgate",
-      "version": "3.0.1",
+      "version": "3.0.2",
       "runtimeHint": "npx",
       "transport": {
         "type": "stdio"