arkgate 4.8.20 → 4.8.21

package/templates/skills/ark-adopt.md

@@ -366,8 +366,9 @@ Ark protects the **boundary around** a framework, not its internals. Nest/DI pub
    `sliceFolders`: a bare name stays an unanchored one-segment match (`features` on
    `src/lib/features/projects/rfi/x.ts` is `features/projects`); a filename is never the
    child segment. A starred prefix (`lib/features/*/*`) is anchored like `sharedRoots`
-   (offset 0 or 1) and the slice id is the directories the stars bind
-   (`lib/features/projects/rfi`). Before trusting green, add one deliberate
+   (offset 0 or 1). The slice id includes the literal prefix plus the directories
+   the stars bind (`lib/features/projects/rfi`), so parallel trees get different ids
+   (tracked in #308). Before trusting green, add one deliberate
    feature-to-feature import and expect `cross-slice`.
    If one edge dominates residual debt: **STOP — do not continue this skill as complete.** **STOP — concentrated edge:** rewrite `ark.config.json` **in this turn** with source evidence (do not freeze a wrong config or grind N freezes).
    Empty Domain/Persistence + I/O under Application → false-green.
@@ -437,5 +438,7 @@ End with **exactly** these headings (markdown `###`):
 - **Handoff:** `/ark-…` / CLI / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
 
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.
+
 If a **STOP** handoff applies and you continued as if done, set **Incomplete?** to `yes`.
 **Skill incomplete if missing** any of the bullets above.

package/templates/skills/ark-architect.md

@@ -59,3 +59,5 @@ Skill incomplete if missing any field below.
 - **Compass:** top residual lenses | `n/a`
 - **Handoff:** `/ark-adopt` / `/ark-place` / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
+
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.

package/templates/skills/ark-autopilot.md

@@ -110,10 +110,10 @@ decision-grade explore pass **and** without opening violating files.
    layout — no pilot”; never reconstruct that dead card from `findings`. When the user accepts,
    defers, or rejects a live card, persist its exact `decisionTarget` with a non-empty reason and
    optional `reviewBy` in `.ark/reshape-decisions.json`; never infer a verdict from golden prose.
-   A cohesion residual starts one reshape judgment card, not the pattern-bet apply loop.
-   `pilotLoop` stays inactive (`not-design-weak`) unless the tree is design-weak.
-
-
+   A cohesion residual starts **one** reshape judgment card on `pilotLoop.nextPilot`
+   (one pilot, then re-doctor). The loop is active when a pilot candidate exists,
+   including that reshape card when the tree is not design-weak. It does not start
+   a pattern-bet batch.
 
 ## MCP workspace binding (mandatory)
 
@@ -308,5 +308,7 @@ End with **exactly** these headings (markdown `###`):
 - **Handoff:** `/ark-…` / CLI / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
 
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.
+
 If a **STOP** handoff applies and you continued as if done, set **Incomplete?** to `yes`.
 **Skill incomplete if missing** any of the bullets above.

package/templates/skills/ark-contract.md

@@ -64,3 +64,5 @@ Skill incomplete if missing any field below.
 - **Compass:** top residual lenses | `n/a`
 - **Handoff:** `/ark-adopt` / `/ark-autopilot` / `/ark-order` / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
+
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.

package/templates/skills/ark-coverage.md

@@ -200,5 +200,7 @@ End with **exactly** these headings (markdown `###`):
 - **Handoff:** `/ark-…` / CLI / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
 
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.
+
 If a **STOP** handoff applies and you continued as if done, set **Incomplete?** to `yes`.
 **Skill incomplete if missing** any of the bullets above.

package/templates/skills/ark-explain.md

@@ -244,6 +244,8 @@ End with **exactly** these headings (markdown `###`):
 - **Handoff:** `/ark-…` / CLI / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
 
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.
+
 Prefer **Incomplete?** `yes` if the showcase report was generated but the browser-open step was
 skipped without CI/headless/user-opt-out reason.
 

package/templates/skills/ark-explore.md

@@ -355,8 +355,8 @@ stays in the same layer and the same slice id. If no governed destination keeps
 `nextPilot` is null — do not invent a folder outside the contract. Success is a smaller
 cluster with the layer and slice id unchanged and the card still proposed; a green gate is
 not success. A cohesion residual (`physical-cohesion-residual`) starts that one reshape
-judgment card. It does not start the pattern-bet apply loop — `pilotLoop` stays inactive
-while design-weak is false.
+judgment card as `pilotLoop.nextPilot`. It does not start the pattern-bet apply
+loop. Apply that one card, then re-doctor.
 
 ### C. Coupling & debt (measure, don’t guess)
 Prefer evidence over aesthetics:
@@ -534,5 +534,7 @@ End with **exactly** these headings (markdown `###`):
 - **Handoff:** `/ark-…` / CLI / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
 
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.
+
 If a **STOP** handoff applies and you continued as if done, set **Incomplete?** to `yes`.
 **Skill incomplete if missing** any of the bullets above.

package/templates/skills/ark-fix.md

@@ -82,3 +82,5 @@ Skill incomplete if missing any field below.
 - **Compass:** top residual lenses | `n/a`
 - **Handoff:** `/ark-autopilot` / `/ark-adopt` / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
+
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.

package/templates/skills/ark-loop.md

@@ -77,3 +77,5 @@ Skill incomplete if missing any field below.
 - **Compass:** top residual lenses | `n/a`
 - **Handoff:** `/ark-autopilot` / `/ark-explore` / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
+
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.

package/templates/skills/ark-order.md

@@ -196,5 +196,7 @@ End with **exactly** these headings (markdown `###`):
 - **Handoff:** `/ark-…` / CLI / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
 
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.
+
 If a **STOP** handoff applies and you continued as if done, set **Incomplete?** to `yes`.
 **Skill incomplete if missing** any of the bullets above.

package/templates/skills/ark-place.md

@@ -317,5 +317,7 @@ End with **exactly** these headings (markdown `###`):
 - **Handoff:** `/ark-…` / CLI / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
 
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.
+
 If a **STOP** handoff applies and you continued as if done, set **Incomplete?** to `yes`.
 **Skill incomplete if missing** any of the bullets above.

package/templates/skills/ark-runtime.md

@@ -180,5 +180,7 @@ End with **exactly** these headings (markdown `###`):
 - **Handoff:** `/ark-…` / CLI / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
 
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.
+
 If a **STOP** handoff applies and you continued as if done, set **Incomplete?** to `yes`.
 **Skill incomplete if missing** any of the bullets above.

package/templates/skills/ark-think.md

@@ -66,3 +66,5 @@ Skill incomplete if missing any field below.
 - **Compass:** top residual lenses | `n/a`
 - **Handoff:** `/ark-explore` / `/ark-autopilot` / `none`
 - **Incomplete?** `no` | `yes — <what is missing>`
+
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.

package/templates/skills/ark-upgrade.md

@@ -40,6 +40,8 @@ Invoking this skill **is** the approval. Preview, then `--apply` **in this turn*
 Stopping at preview is incomplete unless the probe failed or a conflict needs
 `--accept-conflicts` / `--refresh-skills` consent.
 
+If post-upgrade verification is red: **STOP**. Do not edit tests, titles, or config in the upgrade turn. Report `failing[]` and `behaviorChanges[]` and hand off. Incomplete? yes.
+
 For session 0, start with `/ark-adopt` (or `ark-check --recommend`); brownfield
 honesty is `/ark-adopt` before this upgrade flow.
 
@@ -171,7 +173,11 @@ ArkGate has **always-on Layers** plus opt-in extras. The user chooses extras; yo
   `--plan-digest <sha256:…>` and applies only that exact candidate. A changed file
   or selection invalidates the digest instead of being overwritten.
 - Missing or conflicted assets previously recorded as managed require explicit
-  `--accept-conflicts`. Stop and obtain user consent before using it.
+  `--accept-conflicts`, unless the missing file is gitignored (`absent-local`,
+  for example a per-machine `.mcp.json` in a fresh worktree). That file is
+  recreated without consent. Stop and obtain user consent before using
+  `--accept-conflicts` on a real deletion or conflict. Every blocked asset
+  carries `reason` and `nextCommand`.
 - Customized files are preserved. Unrelated source files and similar filenames
   are never adopted. The command never writes a Codex home or another global
   directory implicitly.
@@ -184,7 +190,8 @@ ArkGate has **always-on Layers** plus opt-in extras. The user chooses extras; yo
 |---|---|---|
 | `current` | Content identity matches the candidate. | Record/adopt safely; metadata-only stamps may refresh. |
 | `stale` | Recorded managed content still matches its old identity. | Safe candidate replacement. |
-| `missing` | Candidate is absent. | Create if new; require consent if a recorded asset was deleted. |
+| `missing` | Candidate is absent and is not a gitignored local file. | Create if new; require consent if a recorded asset was deleted. Read `reason` and `nextCommand`. |
+| `absent-local` | Recorded file is missing and gitignored (per-machine file in a fresh worktree). | Recreate it. No consent. |
 | `customized` | User content diverged without a competing managed base. | Preserve it. Opt-in rewrite for **skills only**: `--refresh-skills`. |
 | `conflicted` | Both managed base and user content diverged. | Preserve and require explicit consent (`--accept-conflicts`). |
 | `retired` | A recorded asset is no longer selected by the candidate. | Preserve its file and manifest identity; take no action. |
@@ -285,16 +292,19 @@ ArkGate has **always-on Layers** plus opt-in extras. The user chooses extras; yo
    (unless more deliberate refreshes remain).
 
 5. **Verify enforcement and architecture (post-upgrade checks).** Read apply JSON
-   `postUpgradeChecks` when present. Also run:
+   `postUpgrade` (`verdict`, `failing`, `behaviorChanges`) and `postUpgradeChecks` when present.
+   Exit 3 means the files were applied and the architecture check is red. Also run:
    `npx arkgate-check --doctor --json` (or the project-local `ark-check`) and
    the same fail-closed architecture command used by managed apply (normally
    `npx arkgate-check --root . --config ark.config.json --strict-merge --json`).
-   Require `completeness: "complete"` and `ok: true`. Confirm `doctor.improvementCompass` and
+   Require `completeness: "complete"` and `ok: true` before calling the upgrade done.
+   If post-upgrade verification is red: **STOP**. Do not edit tests, titles, or config in the upgrade turn. Report `failing[]` and `behaviorChanges[]` and hand off. Incomplete? yes.
+   Handoff is `/ark-autopilot` after the report; do not regenerate a baseline without
+   explicit approval. Confirm `doctor.improvementCompass` and
    `doctor.deepModuleCoach` honesty. Run `npx arkgate agents-md --check` and
    `npx arkgate status --json`. If MCP was used, restart MCP after package bump and re-bind
    identity. Treat provider-unavailable CI required-check evidence as `unverified`, never as proof
-   that merges are blocked.    If new violations appear, hand off to `/ark-autopilot`; do not regenerate a baseline without
-   explicit approval.
+   that merges are blocked.
 
 ## Active host vs deferred hosts
 
@@ -332,5 +342,8 @@ End with exactly this structure:
 - **Handoff:** `/ark-…`, CLI action, or `none`
 - **Incomplete?** `no` or `yes — <missing work>`
 
+When `doctor.productHonesty.finished` is `false`, **Incomplete? no** is disallowed. Write `yes — <pilotLoop.extractionCard.move or residual>`.
+
 If a required verification did not run or a conflict remains blocked, report the
-task incomplete. Deferred hosts (including Codex when inactive) never make Incomplete? yes.
+task incomplete. If post-upgrade verification is red: **STOP**. Do not edit tests, titles, or config in the upgrade turn. Report `failing[]` and `behaviorChanges[]` and hand off. Incomplete? yes.
+Deferred hosts (including Codex when inactive) never make Incomplete? yes.