arkgate 4.8.11 → 4.8.13

package/CHANGELOG.md

@@ -3,6 +3,48 @@
 All notable changes to ArkGate (`arkgate`; formerly `ark-runtime-kernel`) are documented here or
 in the immutable pre-2.0 archive linked below.
 
+## Unreleased
+
+## 4.8.13 — 2026-09-06
+
+**Patch** over **4.8.12**. Publish gate: remaining ArkOrder doctor/deny branches so
+`test:confidence` / `release:npm` clears the 81% floor. Tag `v4.8.12` stands;
+this is the ship. **Write. Check. Ship.** **No required config migration.** No
+`schemaVersion` bump. Does not close `K01` / `Z09`. No new skill names. This
+mother `ark.config.json` still does **not** turn `arkOrder` on.
+
+**Status: prepared** (tree candidate; npm `latest` remains **4.8.11** until the
+signed-tag provenance workflow succeeds).
+
+### Fixed
+- Confidence coverage: remaining ArkOrder doctor/deny `Next:` and HTML/doctor
+  residual paths so the publish job is not blocked by a 0.03-point branch miss.
+
+## 4.8.12 — 2026-09-05
+
+**Patch** over **4.8.11**. First-contact honesty for the optional ArkOrder extra.
+Sensors, valve, and `arkgate/order` already shipped on 4.8.11; this projects
+them through doctor / start / status / the check label, in plain words.
+**Write. Check. Ship.** **No required config migration.** No `schemaVersion` bump.
+Does not close `K01` / `Z09`. No new skill names. This mother `ark.config.json`
+still does **not** turn `arkOrder` on.
+
+**Status: prepared** (tree candidate; npm `latest` remains **4.8.11** until the
+signed-tag provenance workflow succeeds).
+
+### Added
+- Doctor / HTML / status `arkOrder` section (`notAScore`), same envelope as
+  ArkRun. Absence is a silent row. When on: one-breath + named choices + leftover count.
+- Check prints `[ArkOrder]` on `ARKORDER_*` denies (and `[ArkRun]` on
+  `ARKRUN_*`) so rewriting `plan` like a seat count reads as clearly as a bad import.
+- `ark start` preview says extras stay off — layers only, they stop bad imports.
+
+### Changed
+- Merge-planes honesty now names enforced ArkOrder skip findings. The stamp
+  already claimed this plane; `failMergeWhen` now matches.
+- First-contact copy (README, use, doctor, deny `Next:`, start, gallery) uses
+  the one-minute breath. No ξ / Haken / slaving on the first screen.
+
 ## 4.8.11 — 2026-09-02
 
 **Patch** over **4.8.10**. Nested `--config` with `--root` stays inside that
@@ -10,8 +52,7 @@ tree. Library Shape splits `adapterContract` and `agentProjection` so the AI
 edits one concern at a time. **Write. Check. Ship.** **No required config migration.**
 No `schemaVersion` bump. Does not close `K01` / `Z09`. No new skill names.
 
-**Status: prepared** (tree candidate; npm `latest` remains **4.8.10** until the
-signed-tag provenance workflow succeeds).
+**Status: published** (on npm `latest`; see `docs/releases/4.8.11.md`).
 
 ### Fixed
 - Nested `--config` is a file path: `ark-check --root examples/app --config

package/README.md

@@ -37,15 +37,15 @@ Works with Cursor, Claude, Codex, and Grok.
 
 </div>
 
-> **ArkGate 4.8.11** is prepared on this tree; npm `latest` remains **4.8.10**.
+> **ArkGate 4.8.13** is prepared on this tree; npm `latest` remains **4.8.11**.
 > Write. Check. Ship. Adopted = required GitHub
 > status running `arkgate-check --strict-merge`, or an explicit `advisory-only` stance.
 > Status is compact (`arkgate-check --doctor`; `--all` for Details). Optional **ArkRun**
 > (`arkgate/runtime`) is an in-memory runtime — not Postgres. Optional **ArkOrder**
-> (`arkgate/order`) stops the agent rewriting the few slow product decisions as CRUD;
-> later pattern change is `proposeRelease` then `apply`.
+> (`arkgate/order`) stops rewriting a big product choice — like the billing plan —
+> as if it were a seat count. Change those choices through a valve, not a generic update.
 > `@arkgate/runtime` is deprecated.
-> [4.8.11 prepared](docs/releases/4.8.11.md) · [4.8.10 published](docs/releases/4.8.10.md) · [4.8.9](docs/releases/4.8.9.md) · [4.8.8](docs/releases/4.8.8.md) · [4.8.7](docs/releases/4.8.7.md) · [4.8.6](docs/releases/4.8.6.md) · [4.8.5](docs/releases/4.8.5.md) · [4.8.4](docs/releases/4.8.4.md) · [4.8.3](docs/releases/4.8.3.md) · [4.8.2](docs/releases/4.8.2.md) · [4.8.1](docs/releases/4.8.1.md) · [4.8.0](docs/releases/4.8.0.md) · [Docs hub](docs/README.md) · [Voice](docs/product-voice.md)
+> [4.8.13 prepared](CHANGELOG.md) · [4.8.11 published](docs/releases/4.8.11.md) · [4.8.10](docs/releases/4.8.10.md) · [4.8.9](docs/releases/4.8.9.md) · [4.8.8](docs/releases/4.8.8.md) · [4.8.7](docs/releases/4.8.7.md) · [4.8.6](docs/releases/4.8.6.md) · [4.8.5](docs/releases/4.8.5.md) · [4.8.4](docs/releases/4.8.4.md) · [4.8.3](docs/releases/4.8.3.md) · [4.8.2](docs/releases/4.8.2.md) · [4.8.1](docs/releases/4.8.1.md) · [4.8.0](docs/releases/4.8.0.md) · [Docs hub](docs/README.md) · [Voice](docs/product-voice.md)
 
 ---
 
@@ -114,7 +114,7 @@ once you adopt. The other three are optional.
 | **Before merge** | `arkgate-check` as a **required** CI status | Always (ArkGate) |
 | **ArkRules** | Optional policies *inside* a layer | When you ask |
 | **ArkRun** | Optional experimental runtime (`arkgate/runtime`) | Off unless you turn it on |
-| **ArkOrder** | Stops the agent rewriting the few slow product decisions as CRUD (`arkgate/order`). Valve: first `release()`, later ξ is `proposeRelease` then `apply` | Off unless you turn it on |
+| **ArkOrder** | Stops rewriting a big product choice (like billing plan) as if it were a seat count. Change it through a valve, not a generic update (`arkgate/order`) | Off unless you turn it on |
 
 Layers (who may import whom) always run. ArkRules, ArkRun, and ArkOrder change no
 inter-layer verdict when absent. Label leftovers **`[Layer]`** vs **`[ArkRules]`** vs
@@ -231,7 +231,7 @@ expectation.
 | Placement + preflight for multi-file changes | ✅ | ❌ |
 | Honest governed % + dual plan (edges vs shape) | ✅ | ❌ |
 | Opt-in intra-layer ArkRules (structure + invariants) | ✅ | ❌ |
-| Stops agents rewriting slow product decisions as CRUD (ArkOrder) | ✅ | ❌ |
+| Stops rewriting a big product choice like billing plan (ArkOrder) | ✅ | ❌ |
 | Incomplete analysis cannot look green | ✅ | varies |
 
 ---
@@ -302,31 +302,20 @@ interfaces for production. Details: [docs/production-hardening.md](docs/producti
 
 ## Optional ArkOrder
 
-Layers stop a bad import. They do not stop a *legal* import that overwrites the
-billing plan.
-
-If the product can name a few slow decisions in an afternoon — plan, cycle,
-tenancy; a clinical protocol; match rules — an agent will still ship one PUT
-that changes them together with seats and invoices. The write gate stays green
-because “what may be the plan” was never a rule.
-
-**ArkOrder** (`arkgate/order`) is that rule. Off unless you add `arkOrder`.
-Name the slow keys (`xiKeys`: plan, protocol, cost-code bound — not `projectId`).
-A status you can recompute from data you already have is not a slow decision. Derive it. Do not freeze it.
-Posting an invoice is absorbed. Changing plan is `proposeRelease` then `apply`.
-`refreshSigma`; ingest residual `absorb | escalate_up | hold` + `reasonCode`;
-capacity pack as data; in-memory `ReleaseStore`; `ingestTravelAction`; ArkRun
-`decisionTape`. A generic `update` of the plan does not land. A use-case that
-PATCHes those keys through Prisma is named. Same npm package.
-In-memory. Not durable. Does not replace ArkRun.
-**ArkOrder freezes the pattern through a valve. ArkRun is how the residual travels.**
-
-The billing gallery (`plan` / `cycle` / `tenancy`) lives on GitHub, not in the
-npm tarball:
+Layers stop a bad import. ArkOrder stops rewriting a big product choice — like
+the billing plan — as if it were a seat count. Change those choices through a
+valve, not a generic update.
+
+Off unless you add `arkOrder`. Same npm package (`arkgate/order`). In-memory.
+Not a service. Does not replace ArkGate or ArkRun.
+
+Name the few choices (`xiKeys`: plan, cycle, tenancy — not seat counts). First
+freeze is `release()`. Later change is `proposeRelease` then `apply`. A generic
+`update` does not land.
+
+The billing gallery lives on GitHub, not in the npm tarball:
 [examples/arkorder-billing](https://github.com/pedroknigge/arkgate/tree/main/examples/arkorder-billing).
-Rename the three keys. Compact starters leave it off. Details:
-[ArkOrder](docs/arkorder.md) · [configuration](docs/configuration.md) ·
-[package surface](docs/package-surface.md).
+Compact starters leave it off. Details: [ArkOrder](docs/arkorder.md).
 
 ---
 
@@ -342,8 +331,9 @@ Rename the three keys. Compact starters leave it off. Details:
 | Config · package surface · TS | [configuration](docs/configuration.md) · [package-surface](docs/package-surface.md) · [typescript-support](docs/typescript-support.md) |
 | Brownfield | [docs/brownfield-adoption.md](docs/brownfield-adoption.md) |
 | Security | [SECURITY.md](SECURITY.md) |
-| Prepared (4.8.11; not published) | [docs/releases/4.8.11.md](docs/releases/4.8.11.md) · [CHANGELOG](CHANGELOG.md) |
-| Current published (4.8.10 on npm `latest`) | [docs/releases/4.8.10.md](docs/releases/4.8.10.md) · [CHANGELOG](CHANGELOG.md) |
+| Prepared (4.8.13; not published) | [CHANGELOG](CHANGELOG.md) |
+| Current published (4.8.11 on npm `latest`) | [docs/releases/4.8.11.md](docs/releases/4.8.11.md) · [CHANGELOG](CHANGELOG.md) |
+| Prior published (4.8.10) | [docs/releases/4.8.10.md](docs/releases/4.8.10.md) · [CHANGELOG](CHANGELOG.md) |
 | Prior published (4.8.9) | [docs/releases/4.8.9.md](docs/releases/4.8.9.md) · [CHANGELOG](CHANGELOG.md) |
 | Prior published (4.8.7) | [docs/releases/4.8.7.md](docs/releases/4.8.7.md) · [CHANGELOG](CHANGELOG.md) |
 | Prior published (4.8.6) | [docs/releases/4.8.6.md](docs/releases/4.8.6.md) |

package/bin/ark-check-runtime.mjs

@@ -1821,6 +1821,7 @@ async function main() {
         mode: fitness.mode,
         improvementCompass: reportCompass,
         arkRun: designDepth?.arkRun ?? null,
+        arkOrder: designDepth?.arkOrder ?? null,
       }),
       leftoverDesignWork: designDepth?.designFitness?.designWeak === true,
     };
@@ -1863,6 +1864,7 @@ async function main() {
           ? { deepModuleCoach: designDepth.deepModuleCoach }
           : {}),
         ...(designDepth?.arkRun ? { arkRun: designDepth.arkRun } : {}),
+        ...(designDepth?.arkOrder ? { arkOrder: designDepth.arkOrder } : {}),
       },
     };
     const html = args.beginner