arkgate 4.5.7 → 4.6.1

package/bin/lib/contract-smells.mjs

@@ -403,15 +403,15 @@ function messageFor(id, entries) {
 function fixFor(id) {
   switch (id) {
     case 'contract-bidirectional-allow':
-      return `Keep one direction (edit via /ark-contract), or record the deliberate loop in ${CONTRACT_SMELL_ACKS_PATH} with a reason.`;
+      return `Keep one direction (edit via /ark-adopt), or record the deliberate loop in ${CONTRACT_SMELL_ACKS_PATH} with a reason.`;
     case 'contract-peripheral-depends-core':
-      return `Invert the edge: core emits events/ports the peripheral layer consumes (/ark-contract), or acknowledge with a reason in ${CONTRACT_SMELL_ACKS_PATH}.`;
+      return `Invert the edge: core emits events/ports the peripheral layer consumes (/ark-adopt), or acknowledge with a reason in ${CONTRACT_SMELL_ACKS_PATH}.`;
     case 'contract-lateral-adapter-allow':
-      return `Move shared shapes into Domain/shared kernel and drop the lateral allow (/ark-contract), or acknowledge with a reason in ${CONTRACT_SMELL_ACKS_PATH}.`;
+      return `Move shared shapes into Domain/shared kernel and drop the lateral allow (/ark-adopt), or acknowledge with a reason in ${CONTRACT_SMELL_ACKS_PATH}.`;
     case 'contract-dead-rule':
-      return 'Fix the layer patterns so the layer matches real files, or delete the stale/self rule via /ark-contract.';
+      return 'Fix the layer patterns so the layer matches real files, or delete the stale/self rule via /ark-adopt.';
     default:
-      return 'Review the contract edge via /ark-contract; never weaken the gate to silence a smell.';
+      return 'Review the contract edge via /ark-adopt; never weaken the gate to silence a smell.';
   }
 }
 

package/bin/lib/design-smells.mjs

@@ -9,6 +9,7 @@ import fs from 'node:fs';
 import path from 'node:path';
 import { layerForFile } from '../ark-shared.mjs';
 import { detectContractFalseGreenRisk } from './field-install.mjs';
+import { operatingModeTitle, LEFTOVER_DESIGN_LABEL } from './product-copy.mjs';
 
 /** Stable smell ids (doctor JSON + plan B + skills). */
 export const DESIGN_SMELL_IDS = Object.freeze([
@@ -284,7 +285,7 @@ export function detectDesignSmells(root, config, files = [], coverage = null) {
         severity: 'warn',
         message: `Layers classify files but have no deny/allow rule edges: ${withoutRules.join(', ')}. Soft green — peer leaks may go unchecked.`,
         evidence: withoutRules.map((n) => `layer:${n}`),
-        fix: 'Add rules via /ark-contract (or a policy pack) so every populated layer participates in enforcement.',
+        fix: 'Add rules via /ark-adopt (or a policy pack) so every populated layer participates in enforcement.',
       })
     );
   }
@@ -476,20 +477,15 @@ export function isDesignWeak(smells, ctx = {}) {
  */
 export function summarizeDesignFitness(smells, ctx = {}) {
   const designWeak = isDesignWeak(smells, ctx);
-  const mode =
-    typeof ctx.operatingMode === 'string' &&
-    /^(?:suggest|adapt|enforce)$/.test(ctx.operatingMode)
-      ? ctx.operatingMode.toUpperCase()
-      : null;
   return {
     status: designWeak ? 'design-weak' : smells.length > 0 ? 'smells-with-open-edges' : 'ok',
     designWeak,
     smellCount: Array.isArray(smells) ? smells.length : 0,
     ids: (smells || []).map((s) => s.id),
     label: designWeak
-      ? `${mode ? `${mode} · ` : ''}design-weak — edges clean; Shape residual remains (see designSmells / plan B)`
+      ? `${operatingModeTitle(ctx.operatingMode, true)} — import rules check out; leftover design work remains (see designSmells / plan B)`
       : smells.length > 0
-        ? 'Design smells present alongside open edge debt'
+        ? 'Design smells present alongside open import-rule debt'
         : 'No deterministic design smells detected',
   };
 }

package/bin/lib/doctor-advisories.mjs

@@ -19,6 +19,7 @@ import {
 import { printParseHealthSection, summarizeParseHealth } from './parse-health.mjs';
 import { detectGraphBlindSpots, printGraphBlindSection } from './graph-blind.mjs';
 import { summarizeRulesUnderContract } from './rules-under-contract.mjs';
+import { collectStewardNudge } from './team-parliament-io.mjs';
 
 export function computeDoctorAdvisories(root, config, cov, rules, files, ts, parseHealth, facts) {
   const physicalCohesion = computePhysicalCohesion(root, files);
@@ -49,6 +50,7 @@ export function computeDoctorAdvisories(root, config, cov, rules, files, ts, par
     graphBlindSpots: detectGraphBlindSpots(ts, root, files),
     // AR12 — Rules under contract (honest counts; real test I/O, never empty-fileContents stub).
     // P1M: pass classification so extraMergeTeeth cannot arm at 0% governed.
+    stewardNudge: collectStewardNudge(root, config),
     rulesUnderContract: summarizeRulesUnderContract(root, config, factPaths, {
       governedPercent: cov?.governed?.percent ?? null,
       populatedLayerCount: Array.isArray(cov?.layers)
@@ -70,4 +72,11 @@ export function printDoctorAdvisories(advisories, io) {
   printReshapeDecisionsSection(advisories.physicalCohesion?.reshapeDecisions, io);
   printParseHealthSection(advisories.parseHealth, io);
   printGraphBlindSection(advisories.graphBlindSpots, io);
+  const nudge = advisories.stewardNudge;
+  if ((nudge?.needsStewards || nudge?.drift) && nudge.ask) {
+    console.log('');
+    console.log(io.color.bold('Stewards (advisory)'));
+    io.line(io.warn, nudge.ask);
+    if (nudge.nextAction) io.line(' ', io.color.dim(`Next: ${nudge.nextAction}`));
+  }
 }

package/bin/lib/doctor-plan.mjs

@@ -12,6 +12,12 @@ import {
 import * as arkShared from '../ark-shared.mjs';
 import { summarizeRulesUnderContract } from './rules-under-contract.mjs';
 import { describePackageVersionDualTruth } from './field-install.mjs';
+import {
+  detectAgentHomeGaps,
+  agentHomeConcernIsActive,
+  agentHomeRefreshCommand,
+} from './agent-homes.mjs';
+import { operatingModeTitle } from './product-copy.mjs';
 export { summarizeRulesUnderContract };
 
 /** Optional S3 dual-match classifier when ark-shared exports it (soft dep for S5 landing). */
@@ -202,7 +208,7 @@ export function runCoverage(root, config, files, rules, asJson) {
       }
     }
     console.log('');
-    console.log('Apply these via /ark-contract (adds the layer patterns to ark.config.json).');
+    console.log('Apply these via /ark-adopt (adds the layer patterns to ark.config.json).');
   }
   if (layersWithoutRules.length > 0) {
     console.log('');
@@ -340,7 +346,7 @@ export function buildRemediationPlan(
             : 'No active violations — the architecture already meets its contract.';
   if (designWeak) {
     statement =
-      'No active edge violations — contract edges are clean, but design smells remain (design-weak). Shape residual is plan B only; not healthy finished.';
+      'No active import-rule violations — imports check out, but design smells remain (leftover design work). Shape work is plan B only; not healthy finished.';
   }
   if (completeness !== ANALYSIS_COMPLETENESS.complete) statement = analysisIncompleteStatement(completeness);
 
@@ -523,6 +529,7 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
   }
   const gatesMissing = missingGates(root);
   const skillGaps = detectSkillGaps(root);
+  const agentHomeGaps = detectAgentHomeGaps(root);
   // Dual-truth: CLI version vs package.json pin (field residual after upgrade --no-install).
   const packageVersionTruth = describePackageVersionDualTruth(root);
   const staleRunners = staleRunnerGateFiles(root);
@@ -759,6 +766,7 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
             },
             gatesMissing,
             skillGaps,
+            ...(agentHomeGaps.length > 0 ? { agentHomeGaps } : {}),
             staleRunnerFiles: staleRunners,
             writePath: {
               activeHost: writePath.activeHost,
@@ -836,21 +844,18 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
   // modeTitle alone names the light — bodies must not re-prefix Suggest/Adapt/Enforce.
   const modeHelp = {
     suggest:
-      'thin or new tree; the contract is not yet the control plane. You do not pick this light. Next: ark start (preview), then ark start --apply; re-check with --doctor.',
+      'thin or new tree; architecture config is not yet in charge. You do not pick this light. Next: ark start (preview), then ark start --apply; re-check with --doctor.',
     adapt:
-      'contract and tree still disagree, or debt is open. Write path does not fully protect you yet. You do not pick this light. Next: do doctor top action #1 (often /ark-adopt, /ark-contract, or /ark-autopilot).',
+      'config and tree still disagree, or debt is open. The write path does not fully protect you yet. You do not pick this light. Next: do doctor top action #1 (often /ark-adopt or /ark-autopilot).',
     enforce:
-      'honest coverage and clean checked edges. You arrived here; you never turn Enforce on. Next: keep the host write path and CI check; only NEW violations should fail.',
+      'honest coverage and clean checked imports. You arrived here; you never turn Enforce on. Next: keep the host write path and CI check; only NEW violations should fail.',
   };
-  const modeTitle =
-    designFitness.designWeak
-      ? `${mode.toUpperCase()} · design-weak`
-      : mode.toUpperCase();
+  const modeTitle = operatingModeTitle(mode, designFitness.designWeak);
   line(
     modeMark,
     `${modeTitle} — ${
       designFitness.designWeak
-        ? 'checked edges are honest; design smells remain. Green is not elegant design. You do not pick this light. Next: one Shape door — /ark-explore shape-focus → dual-plan B; apply B only with /ark-autopilot and your OK. Empty plan A is not done.'
+        ? 'import rules check out; design smells remain. Green is not elegant design. You do not pick this light. Next: one Shape door — /ark-explore shape-focus → plan B; apply B only with /ark-autopilot and your OK. A clean import check is not done.'
         : modeHelp[mode]
     }`
   );
@@ -914,7 +919,7 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
         `Next pilot (one at a time): ${np.pilotTarget || np.pilot} [${np.smellId}] → re-doctor after change`
       );
       line(' ', color.dim(`success: ${np.successSignal}`));
-      line(' ', color.dim('never multi-pilot batch; patternBets never mechanical-safe'));
+      line(' ', color.dim('never multi-pilot batch; pattern bets are never auto-applied'));
     }
   }
 
@@ -933,7 +938,7 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
       ok,
       `"${goldenPattern.name}" — ${goldenPattern.norm}` +
         (goldenPattern.newCodeHome ? ` Prefer: ${goldenPattern.newCodeHome}.` : '') +
-        ' Advisory only — does not clear design-weak or replace the gate.'
+        ' Advisory only — does not clear leftover design work or replace the gate.'
     );
   } else if (goldenPattern.invalid) {
     console.log('');
@@ -968,7 +973,7 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
   }
   if (cov.suggestions.length > 0) {
     line(warn, `${cov.suggestions.length} ungoverned director(y/ies) — proposals: ${arkCommand(root, 'ark-check', '--coverage')}`);
-    actions.push('classify the ungoverned directories (/ark-contract)');
+    actions.push('classify the ungoverned directories (/ark-adopt)');
   }
   if (cov.emptyLayers.length > 0) line(warn, `Empty layers (pattern matches nothing): ${cov.emptyLayers.join(', ')}`);
   if (cov.layersWithoutRules.length > 0) line(warn, `Layers with no rule edge: ${cov.layersWithoutRules.join(', ')}`);
@@ -1038,7 +1043,7 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
         'No active violations — coverage is still thin, so green is not yet honest enforcement'
       );
     } else if (designFitness.designWeak) {
-      line(warn, `None on checked edges — edges match the contract; design residual remains (${modeTitle}). Not healthy finished.`);
+      line(warn, `None on checked imports — import rules match the config; leftover design work remains (${modeTitle}). Not healthy finished.`);
     } else {
       line(ok, 'None — the code matches the contract on checked edges');
     }
@@ -1055,7 +1060,7 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
     }
     if (activeCount > 0) {
       actions.push(
-        `resolve the non-baselined violations — see the classified plan (${arkCommand(root, 'ark-check', '--plan')}), then /ark-fix`
+        `resolve the non-baselined violations — see the classified plan (${arkCommand(root, 'ark-check', '--plan')}), then /ark-autopilot`
       );
     }
   }
@@ -1157,6 +1162,25 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
       actions.push(codexHomeGap.catalogMetadataInvalid ? 'repair invalid Codex home catalog metadata after verifying the newest installed version' : 'refresh Codex home skills (--install-agent-gates --skills-only --codex-home --force)');
     }
   }
+  for (const gap of agentHomeGaps) {
+    const parts = [
+      gap.missing > 0 ? `${gap.missing} missing` : null,
+      gap.stale > 0 ? `${gap.stale} content-behind-package` : null,
+      gap.catalogStateReason,
+    ].filter(Boolean);
+    const deferred = !agentHomeConcernIsActive(gap.host);
+    const summary = `${gap.label} shared agent skills ${parts.join(', ')}`;
+    if (deferred) {
+      line(color.dim('·'), color.dim(`${summary} (deferred — not this session)`));
+    } else {
+      line(warn, summary);
+      actions.push(
+        gap.catalogMetadataInvalid
+          ? `repair invalid ${gap.label} home catalog metadata after verifying the newest installed version`
+          : `refresh ${gap.label} shared agent skills (${agentHomeRefreshCommand(root, gap)})`
+      );
+    }
+  }
 
   console.log('');
   console.log(color.bold('Baseline'));

package/bin/lib/field-install.mjs

@@ -506,7 +506,7 @@ export function detectContractFalseGreenRisk(root, config, coverage) {
       `Contract may be a false green: empty core layer(s) [${emptyCores.join(', ')}] while ` +
       `Application-class globs still cover I/O paths (${ioPaths.slice(0, 5).join(', ')}` +
       `${ioPaths.length > 5 ? ', …' : ''}). A clean check can miss real coupling.`,
-    fix: 'Run /ark-adopt or /ark-contract — reclassify persistence/auth dirs out of Application before claiming ENFORCE.',
+    fix: 'Run /ark-adopt — reclassify persistence/auth dirs out of Application before claiming ENFORCE.',
   };
 }
 

package/bin/lib/golden-pattern.mjs

@@ -154,7 +154,7 @@ export function formatGoldenPatternNote(result) {
   let s = `Golden pattern (advisory for NEW code only): "${g.name}" — ${g.norm}`;
   if (g.newCodeHome) s += ` Prefer new files under ${g.newCodeHome}.`;
   if (g.examplePath) s += ` Example: ${g.examplePath}.`;
-  s += ' Does not clear design-weak or replace the gate.';
+  s += ' Does not clear leftover design work or replace the gate.';
   return s;
 }
 

package/bin/lib/host-support-matrix.mjs

@@ -224,18 +224,18 @@ export function doctorWritePathHonestyMessage(activeHost, hardWriteActive) {
   const mergeBoundary =
     'Required CI hard merge boundary = a required GitHub status context that runs arkgate-check --strict-merge (alias ark-check --strict-merge)';
   if (host === 'cursor' && !hardWriteActive) {
-    return `Cursor: hard preToolUse is supported for Write/StrReplace when .cursor/hooks.json is installed + trusted; without runtime-observed hook evidence, hard is unverified. ${mergeBoundary}.`;
+    return `Cursor: pre-write block is supported for Write/StrReplace when .cursor/hooks.json is installed + trusted; without runtime-observed hook evidence, the block is unverified. ${mergeBoundary}.`;
   }
   if (host === 'codex') {
-    return `Codex: write path is advisory / best-effort at write (not Claude/Grok/Cursor hard). ${mergeBoundary}.`;
+    return `Codex: edits are warning only (not blocked) at write time. ${mergeBoundary}.`;
   }
   if (host === 'opencode') {
-    return `OpenCode: write path is advisory / best-effort (MCP + optional plugin; not Claude/Grok/Antigravity/Cursor hard). ${mergeBoundary}.`;
+    return `OpenCode: edits are warning only (not blocked). ${mergeBoundary}.`;
   }
   if ((host === 'claude' || host === 'grok' || host === 'antigravity') && !hardWriteActive) {
     const label =
       host === 'claude' ? 'Claude' : host === 'grok' ? 'Grok' : 'Antigravity';
-    return `${label}: hard PreToolUse is supported for listed ops when installed + trusted; without runtime-observed hook evidence, hard is unverified. ${mergeBoundary}.`;
+    return `${label}: pre-write block is supported for listed ops when installed + trusted; without runtime-observed hook evidence, the block is unverified. ${mergeBoundary}.`;
   }
   return null;
 }

package/bin/lib/html-report-advisories.mjs

@@ -311,12 +311,32 @@ function deepModuleCoachHtml(coach) {
   </section>`;
 }
 
+function stewardNudgeHtml(nudge) {
+  if (!nudge || nudge.notAScore !== true) return '';
+  const ask =
+    (nudge.needsStewards || nudge.drift) && typeof nudge.ask === 'string' && nudge.ask
+      ? `<p>${esc(nudge.ask)}</p>`
+      : '<p class="muted">No steward list gap (advisory).</p>';
+  const next =
+    typeof nudge.nextAction === 'string' && nudge.nextAction
+      ? `<p class="muted">Next: ${esc(nudge.nextAction)}</p>`
+      : '';
+  return `
+  <section class="section card" data-advisory="stewardNudge">
+    <h2>Stewards <span class="muted">(advisory — never changes the verdict)</span></h2>
+    ${ask}
+    ${next}
+    <p class="muted">GitHub handle or email. Never invent names. Always <code>notAScore</code>.</p>
+  </section>`;
+}
+
 export function renderAdvisorySections(advisories, escape) {
   if (!advisories || typeof advisories !== 'object') return '';
   if (typeof escape === 'function') esc = escape;
   return [
     improvementCompassHtml(advisories.improvementCompass),
     deepModuleCoachHtml(advisories.deepModuleCoach),
+    stewardNudgeHtml(advisories.stewardNudge),
     contractHealthHtml(advisories.contractHealth),
     ambientStateHtml(advisories.ambientState),
     physicalCohesionHtml(advisories.physicalCohesion),

package/bin/lib/html-report-depth.mjs

@@ -24,6 +24,7 @@ import { describePackageVersionDualTruth } from './field-install.mjs';
 import { buildDoctorImprovementCompass } from './improvement-compass-doctor.mjs';
 import { buildDeepModuleCoachAdvisory } from './deep-module-coach.mjs';
 import { computePhysicalCohesion } from './physical-cohesion.mjs';
+import { POST_GREEN_LEDE, operatingModeTitle } from './product-copy.mjs';
 
 function esc(value) {
   return String(value)
@@ -383,13 +384,11 @@ export function renderDesignDepthStrip(depth = {}) {
 
   const mode = String(depth.mode || '').toLowerCase();
   const title = designWeak
-    ? mode === 'enforce'
-      ? 'ENFORCE · design-weak'
-      : `${(mode || 'edges').toUpperCase()} · design-weak`
-    : 'Design smells (edges still open)';
+    ? operatingModeTitle(mode || 'enforce', true)
+    : 'Design smells (imports still open)';
   const lede = designWeak
-    ? 'Contract edges are clean, but lived design residual remains. This does not fail PASS — it blocks “healthy finished” until Shape work lands.'
-    : 'Design smells exist alongside open edge debt. Fix edges first; treat smells as Shape residual after green.';
+    ? POST_GREEN_LEDE
+    : 'Design smells exist alongside open import-rule debt. Fix imports first; treat smells as leftover design work after green.';
 
   const smellItems = smells
     .slice(0, 6)
@@ -411,7 +410,7 @@ export function renderDesignDepthStrip(depth = {}) {
     ? `<div class="pilot-card">
         <h3 style="margin-top:.85rem">Next pilot (one at a time)</h3>
         <p class="dim" style="margin:.15rem 0 .4rem;font-size:.86rem">
-          Judgment only — never mechanical-safe · never multi-pilot batch
+          Judgment only — never auto-applied · never multi-pilot batch
         </p>
         <ul class="senior-list">
           <li><b>Smell</b> · <code>${esc(pilot.smellId || pilot.id || '—')}</code></li>
@@ -489,7 +488,7 @@ export function renderDesignCleanNote(depth = {}) {
   return `<div class="section card design-strip is-clean" id="design-depth">
       <div class="design-head">
         <span class="badge design-ok" title="No deterministic design smells with clean edges">Design depth · OK</span>
-        <span class="dim" style="font-size:.86rem">No design-weak residual detected</span>
+        <span class="dim" style="font-size:.86rem">No leftover design work detected</span>
       </div>
       <p class="dim" style="margin:.45rem 0 0;font-size:.88rem">
         Edges and deterministic design sensors agree. Keep placing new code on the golden path;

package/bin/lib/html-report.mjs

@@ -11,6 +11,7 @@ import {
   resolveOperatingMode,
 } from '../ark-shared.mjs';
 import { collectAdoptionGaps, arkCheckCommand } from './agent-gates.mjs';
+import { LEFTOVER_DESIGN_BADGE } from './product-copy.mjs';
 import { CORE_LAYER_NAMES } from './core-layers.mjs';
 import {
   renderBaselineSignalLegend,
@@ -525,7 +526,7 @@ export function renderHtmlReport({
   const designSmells = Array.isArray(depth.designSmells) ? depth.designSmells : [];
   const designWeakBadge =
     designFitness?.designWeak === true
-      ? ` <span class="badge design" title="Edges can be green while lived design residual remains (Shape). Not a FAIL.">design-weak</span>`
+      ? ` <span class="badge design" title="Import rules can be green while leftover design work remains. Not a FAIL.">${LEFTOVER_DESIGN_BADGE}</span>`
       : '';
   const designStripHtml =
     renderDesignDepthStrip({

package/bin/lib/improvement-compass-map.mjs

@@ -118,11 +118,11 @@ function mapDesignSmells(byId, smells) {
         const shapeAction = {
             kind: 'skill',
             ref: '/ark-explore',
-            summary: 'Map Shape residual (shape-focus), then one extraction pilot with user OK.',
+            summary: 'Map Shape residual (shape-focus), then apply one extraction pilot with /ark-autopilot.',
         };
         const dipAction = {
             kind: 'skill',
-            ref: '/ark-fix',
+            ref: '/ark-autopilot',
             summary: 'Inject a port/adapter for I/O; keep domain pure.',
         };
         switch (id) {
@@ -147,7 +147,7 @@ function mapDesignSmells(byId, smells) {
                 attach('srp', 'God modules own too many responsibilities — split by concern (one pilot).', {
                     kind: 'skill',
                     ref: '/ark-autopilot',
-                    summary: 'One Shape pilot with user OK — never multi-pilot batch.',
+                    summary: 'One Shape pilot this turn — never multi-pilot batch.',
                 });
                 break;
             case 'mixed-pattern-cluster':
@@ -161,12 +161,12 @@ function mapDesignSmells(byId, smells) {
             case 'soft-contract':
                 attach('maintainability', 'Soft contract walls (layers without deny rules) hide maintainability debt.', {
                     kind: 'skill',
-                    ref: '/ark-contract',
+                    ref: '/ark-adopt',
                     summary: 'Add real layer rules so the AI has hard walls.',
                 });
                 attach('coupling', 'Layers with files but almost no deny rules allow free peer coupling.', {
                     kind: 'skill',
-                    ref: '/ark-contract',
+                    ref: '/ark-adopt',
                     summary: 'Tighten inter-layer allows/denies without weakening enforcement.',
                 });
                 break;
@@ -213,7 +213,7 @@ function mapViolations(byId, violations) {
         }
         const edgeAction = {
             kind: 'skill',
-            ref: '/ark-fix',
+            ref: '/ark-autopilot',
             summary: 'Clear the active edge residual, then re-doctor.',
         };
         if (upper === 'LAYER_IMPORT_VIOLATION' ||
@@ -229,7 +229,7 @@ function mapViolations(byId, violations) {
         if (upper.includes('PEER_ISOLATION') || upper === 'PEER_ISOLATION_VIOLATION') {
             attach('coupling', 'Peer isolation residual — slices import each other freely.', {
                 kind: 'skill',
-                ref: '/ark-loop',
+                ref: '/ark-autopilot',
                 summary: 'Peer isolation fixes are judgment-class — one cluster at a time.',
             });
             continue;
@@ -237,12 +237,12 @@ function mapViolations(byId, violations) {
         if (upper === 'FORBIDDEN_GLOBAL' || upper.startsWith('FORBIDDEN_')) {
             attach('dip', 'Forbidden globals / effect surfaces break dependency inversion.', {
                 kind: 'skill',
-                ref: '/ark-fix',
+                ref: '/ark-autopilot',
                 summary: 'Inject a port instead of the forbidden global.',
             });
             attach('testability', 'Forbidden ambient effects reduce pure-domain testability.', {
                 kind: 'skill',
-                ref: '/ark-fix',
+                ref: '/ark-autopilot',
                 summary: 'Replace ambient effects with injectable ports.',
             });
             continue;
@@ -250,12 +250,12 @@ function mapViolations(byId, violations) {
         if (upper === 'CAPABILITY_VIOLATION') {
             attach('dip', 'Denied capability use — invert through an allowed adapter/port.', {
                 kind: 'skill',
-                ref: '/ark-fix',
+                ref: '/ark-autopilot',
                 summary: 'Capability walls require port injection (judgment, not mechanical-safe).',
             });
             attach('testability', 'Capability violations couple domain code to I/O — harder to unit-test.', {
                 kind: 'skill',
-                ref: '/ark-fix',
+                ref: '/ark-autopilot',
                 summary: 'Keep pure layers free of denied capabilities.',
             });
             continue;
@@ -263,7 +263,7 @@ function mapViolations(byId, violations) {
         if (upper.startsWith('ARKRULE_') || upper === 'INVARIANT_UNCOVERED') {
             attach('encapsulation', 'ArkRules structure / invariant residual inside a layer.', {
                 kind: 'skill',
-                ref: '/ark-fix',
+                ref: '/ark-autopilot',
                 summary: 'Label [ArkRules]; structure fixes are judgment — never invent mechanical-safe.',
             });
             attach('domain', 'Intra-layer domain structure or invariant coverage residual.', {
@@ -282,7 +282,7 @@ function mapCountsAndFlags(byId, facts) {
         pushEvidence(lens, 'cycles', `count:${cycleCount}`);
         markResidual(lens, 'Import cycles couple modules tightly.', {
             kind: 'skill',
-            ref: '/ark-fix',
+            ref: '/ark-autopilot',
             summary: 'Break cycles with a judgment extraction — one pilot.',
         });
     }
@@ -296,7 +296,7 @@ function mapCountsAndFlags(byId, facts) {
         pushEvidence(lens, 'peerIsolation', `count:${peer}`);
         markResidual(lens, 'Peer isolation residual remains.', {
             kind: 'skill',
-            ref: '/ark-loop',
+            ref: '/ark-autopilot',
             summary: 'Peer isolation is judgment-class residual.',
         });
     }
@@ -314,7 +314,7 @@ function mapCountsAndFlags(byId, facts) {
         markResidual(srp, 'Mirrored clusters suggest split-by-concern residual (architecture SRP).', {
             kind: 'skill',
             ref: '/ark-autopilot',
-            summary: 'One reshape/extraction pilot with user OK.',
+            summary: 'One reshape/extraction pilot this turn.',
         });
     }
     const pureN = Number(facts.pureOrCapabilityResidual) || 0;
@@ -327,7 +327,7 @@ function mapCountsAndFlags(byId, facts) {
             pushEvidence(dip, 'forbiddenGlobals', `residual:${fgN}`);
         markResidual(dip, 'Pure / capability / forbidden residual weakens dependency inversion.', {
             kind: 'skill',
-            ref: '/ark-fix',
+            ref: '/ark-autopilot',
             summary: 'Inject ports; keep pure layers free of effects.',
         });
         const test = byId.get('testability');
@@ -337,7 +337,7 @@ function mapCountsAndFlags(byId, facts) {
             pushEvidence(test, 'forbiddenGlobals', `residual:${fgN}`);
         markResidual(test, 'Impure domain or capability residual reduces testability.', {
             kind: 'skill',
-            ref: '/ark-fix',
+            ref: '/ark-autopilot',
             summary: 'Prefer ports over concrete I/O in pure/domain modules.',
         });
     }
@@ -347,7 +347,7 @@ function mapCountsAndFlags(byId, facts) {
         pushEvidence(enc, 'arkRules', `structureResidual:${arkN}`);
         markResidual(enc, 'ArkRules structure residual — encapsulation inside the layer.', {
             kind: 'skill',
-            ref: '/ark-fix',
+            ref: '/ark-autopilot',
             summary: 'Fix structure sensors under [ArkRules] without inventing mechanical-safe.',
         });
         const domain = byId.get('domain');
@@ -368,7 +368,7 @@ function mapCountsAndFlags(byId, facts) {
         markResidual(m, 'Design-weak: checked edges may be clean, but design residual remains — not finished.', {
             kind: 'skill',
             ref: '/ark-explore',
-            summary: 'Shape door: explore shape-focus → dual-plan B → one pilot with OK.',
+            summary: 'Shape door: explore shape-focus → dual-plan B → one /ark-autopilot pilot.',
         });
     }
     if (facts.dirtyBaselineRisk === true || (Number(facts.baselineStale) || 0) > 0) {
@@ -409,7 +409,7 @@ function mapCountsAndFlags(byId, facts) {
             pushEvidence(mod, 'coverage', `emptyLayers:${emptyL}`);
         markResidual(mod, 'Placement / modularity residual — ungoverned dirs or empty layer globs.', {
             kind: 'skill',
-            ref: '/ark-contract',
+            ref: '/ark-adopt',
             summary: 'Classify ungoverned paths; fix empty layer patterns.',
         });
     }

package/bin/lib/install-migrate.mjs

@@ -80,6 +80,7 @@ import {
   RUNNER_BEFORE_ARK,
 } from './mcp-adoption.mjs';
 import { inspectCodexInstallActivation, printCodexActivationHandoff, reportPartialInstall } from './install-activation.mjs';
+import { installRequestedAgentHomes } from './agent-homes.mjs';
 import {
   hasHardWriteHook,
   validateHardWriteRequest,
@@ -647,6 +648,17 @@ export function runInstallAgentGates(args) {
     }
   }
 
+  installRequestedAgentHomes({
+    root,
+    skills,
+    version,
+    force: args.force,
+    claudeHome: args.claudeHome,
+    grokHome: args.grokHome,
+    agentHomes: args.agentHomes,
+    json: args.json,
+  });
+
   // Optional legacy/home fallback. Normal Codex installs use the project-scoped
   // .codex/config.toml above, avoiding cross-project primary binding conflicts.
   //

package/bin/lib/pilot-loop.mjs

@@ -115,7 +115,7 @@ export function extractionCardFromBet(bet, preferredFiles) {
     reDoctor: 'ark-check --doctor --json',
     rePlan: 'ark-check --plan --json',
     next:
-      '/ark-fix (one cluster) | /ark-autopilot (user ok on B) | re-doctor after pilot',
+      '/ark-autopilot (one cluster / one B pilot) | re-doctor after pilot',
   };
 }
 

package/bin/lib/post-green-path.mjs

@@ -6,6 +6,8 @@
  * Plan B stays never mechanical-safe.
  */
 
+import { POST_GREEN_HUMAN } from './product-copy.mjs';
+
 /** Stable product id for JSON / tests. */
 export const POST_GREEN_PATH_ID = 'clarify-for-ai';
 
@@ -14,14 +16,13 @@ export const POST_GREEN_PRIMARY_SKILL = '/ark-explore';
 
 /**
  * Canonical human / agent next-action string (single door).
- * Chained: explore shape-focus then autopilot only to apply B with user OK.
+ * Chained: explore shape-focus then autopilot applies one B pilot.
  */
-export const POST_GREEN_PRIMARY_ACTION =
-  'Shape residual (design-weak): edges are clean, design is not finished. Map with /ark-explore shape-focus → dual-plan B; apply B only via /ark-autopilot with your OK. Empty plan A is not done; pattern bets are never mechanical-safe.';
+export const POST_GREEN_PRIMARY_ACTION = POST_GREEN_HUMAN;
 
 /** Short label for tables / metrics. */
 export const POST_GREEN_PRIMARY_SHORT =
-  '/ark-explore shape-focus → /ark-autopilot (apply B with OK)  # Shape residual';
+  '/ark-explore shape-focus → /ark-autopilot (apply one B pilot)  # Shape residual';
 
 /** Placement coaching while design residual remains (new code only). */
 export const POST_GREEN_PLACEMENT_COACHING =

package/bin/lib/prepare-change.mjs

@@ -13,6 +13,7 @@ import {
 } from './resolved-candidate-facts.mjs';
 import { effectiveAnalysisConfig } from './analysis-policy.mjs';
 import { isScanExcludedRelative } from '../ark-shared.mjs';
+import { classifyChangeSet, evaluateTeamGate } from './team-parliament.mjs';
 
 function candidatePath(value) {
   if (typeof value !== 'string' || value.trim() === '') {
@@ -102,6 +103,14 @@ export function prepareChangeFromRoot({
   const normalizedChanges = normalizeChangeSet(changes);
   const normalizedOverlayChanges =
     overlayChanges === undefined ? normalizedChanges : normalizeChangeSet(overlayChanges);
+  const lawGate = evaluateTeamGate({
+    changeSet: classifyChangeSet(normalizedChanges.map((change) => change.path)),
+    contractSession:
+      process.env.ARK_CONTRACT_SESSION === '1' || process.env.ARK_CONTRACT_SESSION === 'true',
+  });
+  if (lawGate.deny && lawGate.reasonId === 'mixed-law-and-product') {
+    throw new Error(lawGate.message);
+  }
   const effectiveConfig = effectiveAnalysisConfig(config, manifest);
   for (const change of normalizedChanges) {
     assertInsideProject(root, change.path);