arkgate 4.6.5 → 4.6.7

package/bin/lib/doctor-plan.mjs

@@ -12,12 +12,10 @@ import {
 import * as arkShared from '../ark-shared.mjs';
 import { summarizeRulesUnderContract } from './rules-under-contract.mjs';
 import { describePackageVersionDualTruth } from './field-install.mjs';
-import {
-  detectAgentHomeGaps,
-  agentHomeConcernIsActive,
-} from './agent-homes.mjs';
-import { operatingModeTitle } from './product-copy.mjs';
+import { detectAgentHomeGaps } from './agent-homes.mjs';
 import { collectDoctorNextActions } from './doctor-next-actions.mjs';
+import { printDoctorCompactHuman, printDoctorDetailsHuman } from './doctor-human.mjs';
+export { printDoctorCompactHuman, printDoctorDetailsHuman };
 export { summarizeRulesUnderContract };
 
 /** Optional S3 dual-match classifier when ark-shared exports it (soft dep for S5 landing). */
@@ -28,7 +26,6 @@ const matchingLayersForRelativePath =
 import {
   collectAdoptionGaps,
   detectSkillGaps,
-  skillGapsForActiveHost,
   detectCodexHomeGap,
   codexConcernIsActive,
   detectWritePathCapabilities,
@@ -50,7 +47,6 @@ import {
 } from './design-smells.mjs';
 import {
   buildPostGreenNextAction,
-  isDoctorHealthyNothingToDo,
   DESIGN_WEAK_HONESTY_FLAGS,
 } from './post-green-path.mjs';
 import {
@@ -63,19 +59,17 @@ import {
   summarizeGoldenPattern,
 } from './golden-pattern.mjs';
 import { summarizePilotLoop } from './pilot-loop.mjs';
-import { computeDoctorAdvisories, printDoctorAdvisories } from './doctor-advisories.mjs';
+import { computeDoctorAdvisories } from './doctor-advisories.mjs';
 import { ANALYSIS_COMPLETENESS, analysisIncompleteStatement, normalizeAnalysisCompleteness } from './analysis-completeness.mjs';
-import { designDeltaDoctorLines } from './design-delta.mjs';
-import { enforcementDoctorLines } from './enforcement-state.mjs';
-import {
-  buildDoctorImprovementCompass,
-  printImprovementCompassSection,
-} from './improvement-compass-doctor.mjs';
-import {
-  buildDeepModuleCoachAdvisory,
-  printDeepModuleCoachSection,
-} from './deep-module-coach.mjs';
+import { buildDoctorImprovementCompass } from './improvement-compass-doctor.mjs';
+import { buildDeepModuleCoachAdvisory } from './deep-module-coach.mjs';
 import { writeCiMergeBoundary } from './ci-merge-boundary.mjs';
+import {
+  classifyAdopted,
+  githubEvidenceForCiMergeBoundary,
+  readAdoptionStance,
+  NOT_ADOPTED_NEXT_ACTION,
+} from './adoption-stance.mjs';
 
 const color = {
   green: (s) => `\x1b[32m${s}\x1b[0m`,
@@ -540,7 +534,7 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
   try {
     ciMergeBoundary = writeCiMergeBoundary(root, {
       writePath,
-      github: adoption.deployPath?.github ?? writePath.enforcementState?.ciMerge ?? {},
+      github: githubEvidenceForCiMergeBoundary(adoption, writePath),
     });
   } catch {
     ciMergeBoundary = null;
@@ -631,6 +625,13 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
       : packageVersionTruth?.code === 'PACKAGE_PIN_ABSENT'
         ? 'Add arkgate to package.json and install so CI/npx resolve this CLI (PACKAGE_PIN_ABSENT)'
         : null;
+  const stanceFile = readAdoptionStance(root);
+  const githubForBoundary = githubEvidenceForCiMergeBoundary(adoption, writePath);
+  const adopted = classifyAdopted({
+    stance: stanceFile,
+    github: githubForBoundary,
+    ci: ciMergeBoundary?.ci,
+  });
   const { coverageHonesty, baselineHonesty, writePathHonesty, productHonesty } =
     computeDoctorEnforcementHonesty({
       governedPercent: cov.governed.percent,
@@ -656,12 +657,18 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
         : rulesUnderContract?.active === true
           ? { active: true, extraMergeTeeth: false }
           : null,
-      primaryNextAction: postGreenPath?.action ?? dualTruthNext,
+      primaryNextAction:
+        adopted === 'not-adopted' ? NOT_ADOPTED_NEXT_ACTION : postGreenPath?.action ?? dualTruthNext,
       operatingMode,
       packageInstalled,
       selfHost:
         packageVersionTruth?.selfHost === true ||
         packageVersionTruth?.code === 'PACKAGE_PIN_SELF_HOST',
+      adopted,
+      ciMergeBoundary,
+      github: githubForBoundary,
+      adoptionStance: stanceFile,
+      stewardNudge: doctorAdvisories.stewardNudge,
     });
 
   // Improvement compass: projection only — never feeds ok/valid/goal.met.
@@ -687,6 +694,11 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
     improvementCompass,
     pilotLoop,
   });
+  const stewardUnfinished = Boolean(
+    doctorAdvisories.stewardNudge?.emptyStewardsPastGrace ||
+      (doctorAdvisories.stewardNudge?.needsStewards &&
+        (doctorAdvisories.stewardNudge?.stewardCount ?? 0) === 0)
+  );
 
   if (asJson) {
     (options.writeJson ?? console.log)(
@@ -711,11 +723,20 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
             ...(options.designDelta ? { designDelta: options.designDelta } : {}),
             // Q01: primary next action when Shape residual dominates (null if not design-weak).
             postGreenPath,
-            ...(postGreenPath
-              ? { primaryNextAction: postGreenPath.action, ...DESIGN_WEAK_HONESTY_FLAGS }
-              : productHonesty.primaryNextAction
-                ? { primaryNextAction: productHonesty.primaryNextAction }
-                : {}),
+            adoptionStance: adopted,
+            ...(adopted === 'not-adopted'
+              ? {
+                  primaryNextAction: NOT_ADOPTED_NEXT_ACTION,
+                  ...(postGreenPath ? DESIGN_WEAK_HONESTY_FLAGS : {}),
+                }
+              : postGreenPath
+                ? { primaryNextAction: postGreenPath.action, ...DESIGN_WEAK_HONESTY_FLAGS }
+                : productHonesty.primaryNextAction
+                  ? { primaryNextAction: productHonesty.primaryNextAction }
+                  : {}),
+            ...(stewardUnfinished
+              ? { healthyFinishedForbidden: true, stewardsUnfinished: true }
+              : {}),
             // Q03: advisory golden for new-code placement (absent = no claim).
             goldenPattern,
             // Y06: advisory pure-layer opt-in (null when not applicable).
@@ -834,48 +855,7 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
     return;
   }
 
-  const ok = color.green('✓');
-  const warn = color.yellow('!');
-  const bad = color.red('✗');
-  const line = (mark, text) => console.log(`  ${mark} ${text}`);
-  console.log(color.bold(`Ark doctor — ${path.basename(path.resolve(root)) || '.'}`));
-  if (!analysisComplete) line(warn, analysisIncompleteStatement(completeness));
-
   const emptyScope = emptyScopeEarly;
-  const mode = operatingMode;
-  console.log('');
-  console.log(color.bold('Operating mode'));
-  // Modes are detected states, not user-picked settings. Plain-language "what you do next".
-  // Never paint green (ok) under design residual — edges clean ≠ design done (product-voice).
-  const modeMark =
-    mode === 'enforce' && !designFitness.designWeak
-      ? ok
-      : warn;
-  // modeTitle alone names the light — bodies must not re-prefix Suggest/Adapt/Enforce.
-  const modeHelp = {
-    suggest:
-      '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:
-      '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 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 = operatingModeTitle(mode, designFitness.designWeak);
-  line(
-    modeMark,
-    `${modeTitle} — ${
-      designFitness.designWeak
-        ? '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]
-    }`
-  );
-  if (emptyScope) {
-    line(
-      bad,
-      'Empty scope: include paths match 0 source files — a green check is meaningless until include/layers match the tree (monorepo → apps/packages, or /ark-adopt).'
-    );
-  }
-
   const safetyHasEntries = Boolean(
     options.safety &&
       [
@@ -911,396 +891,46 @@ export function runDoctor(root, config, files, rules, violations, asJson, option
     showNewHere,
     designFitness,
     operatingMode,
+    adopted,
+    stewardNudge: doctorAdvisories.stewardNudge,
   });
-  console.log('');
-  if (isDoctorHealthyNothingToDo(designFitness, uniqueActions)) {
-    console.log(color.green('✔ Healthy — nothing to do.'));
-    console.log(color.dim('  Contract edges and design residual are clear. Keep write path + CI.'));
-  } else {
-    console.log(color.bold('Primary next action'));
-    console.log(`  1. ${uniqueActions[0]}`);
-    if (uniqueActions.length > 1) {
-      console.log(color.bold(`Also (${uniqueActions.length - 1}):`));
-      uniqueActions.slice(1).forEach((action, index) => console.log(`  ${index + 2}. ${action}`));
-    }
-    if (postGreenPath) {
-      console.log(
-        color.dim(
-          `  Shape residual is the primary door under ${modeTitle} — do not skill-shop explore vs coverage vs think.`
-        )
-      );
-    } else {
-      console.log(color.dim('  Doctor is the control plane: do #1 first, then re-run --doctor.'));
-    }
-  }
-
-  // P0-B — single honesty surface (never a score; never "all good" when residual remains).
-  if (productHonesty) {
-    console.log('');
-    console.log(color.bold('Product honesty'));
-    line(
-      productHonesty.unfinished ? warn : ok,
-      `${productHonesty.headline} — ${productHonesty.primaryMessage}`
-    );
-    if (Array.isArray(productHonesty.reasonIds) && productHonesty.reasonIds.length > 0) {
-      line(' ', color.dim(`signals: ${productHonesty.reasonIds.join(', ')} (notAScore)`));
-    }
-    if (rulesUnderContract?.mergePlanes?.failMergeWhen) {
-      line(
-        ' ',
-        color.dim(
-          `merge planes: ${rulesUnderContract.mergePlanes.failMergeWhen} · ${rulesUnderContract.mergePlanes.dualPlaneStamp}`
-        )
-      );
-    }
-  }
-
-  printImprovementCompassSection(improvementCompass, { line, warn, ok, color });
-  printDeepModuleCoachSection(deepModuleCoach, { line, warn, ok, color });
-
-  console.log('');
-  console.log(color.bold('Design fitness'));
-  if (designSmells.length === 0) {
-    line(analysisComplete ? ok : warn, designFitness.label);
-  } else {
-    line(designFitness.designWeak ? warn : warn, designFitness.label);
-    for (const smell of designSmells.slice(0, 5)) {
-      // Q02: outcome-first (plain language); technical message stays in JSON + dim detail.
-      const outcome = smell.outcome || smell.message;
-      line(' ', `[${smell.id}] ${outcome}`);
-      if (smell.outcome && smell.message && smell.message !== smell.outcome) {
-        line(' ', color.dim(`detail: ${smell.message}`));
-      }
-      if (smell.evidence?.length) {
-        line(' ', color.dim(`evidence: ${smell.evidence.slice(0, 4).join(', ')}`));
-      }
-    }
-    // Q04 — surface one next pilot under leftover design work.
-    if (pilotLoop?.active && pilotLoop.nextPilot) {
-      const np = pilotLoop.nextPilot;
-      line(
-        warn,
-        `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; pattern bets are never auto-applied'));
-    }
-  }
-
-  if (options.designDelta) {
-    console.log('');
-    console.log(color.bold('Design delta (opt-in)'));
-    for (const row of designDeltaDoctorLines(options.designDelta))
-      line(row.level === 'bad' ? bad : row.level === 'ok' ? ok : ' ', row.level === 'dim' ? color.dim(row.text) : row.text);
-  }
-
-  // Q03 — optional golden pattern note (advisory for new code only).
-  if (goldenPattern.present) {
-    console.log('');
-    console.log(color.bold('Golden pattern (new code)'));
-    line(
-      ok,
-      `"${goldenPattern.name}" — ${goldenPattern.norm}` +
-        (goldenPattern.newCodeHome ? ` Prefer: ${goldenPattern.newCodeHome}.` : '') +
-        ' Advisory only — does not clear leftover design work or replace the gate.'
-    );
-  } else if (goldenPattern.invalid) {
-    console.log('');
-    console.log(color.bold('Golden pattern (new code)'));
-    line(
-      warn,
-      `${goldenPattern.path} is present but invalid (${goldenPattern.error || 'invalid'}). ` +
-        'Fix or remove it — absence is fine; a bad file is not guidance.'
-    );
-  }
-  // Y06 — one-line pure-layer opt-in (U05 voice; never blocker).
-  if (pureLayerOptIn) {
-    line(' ', color.dim(pureLayerOptIn.message));
-  }
-
-  printDoctorAdvisories(doctorAdvisories, { line, warn, color }); // advisory sections
-
-  console.log('');
-  console.log(color.bold('Coverage'));
-  const govMark =
-    emptyScope || cov.governed.percent < 50
-      ? bad
-      : cov.governed.percent >= 80
-        ? ok
-        : warn;
-  line(govMark, `Governed: ${cov.governed.percent}% (${cov.governed.classifiedFiles}/${cov.governed.totalFiles} files)`);
-  if (coverageHonesty.greenIsNotEnforcement) {
-    line(coverageHonesty.worseThanNoGate ? bad : warn, coverageHonesty.message);
-  }
-  if (cov.suggestions.length > 0) {
-    line(warn, `${cov.suggestions.length} ungoverned director(y/ies) — proposals: ${arkCommand(root, 'ark-check', '--coverage')}`);
-  }
-  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(', ')}`);
-  if (cov.dualMembership?.count > 0) {
-    line(
-      warn,
-      `Dual-match: ${cov.dualMembership.count} file(s) match multiple layers — ${cov.dualMembership.note ?? 'review overlapping globs'}`
-    );
-  }
-  if (cov.suggestions.length === 0 && cov.emptyLayers.length === 0) line(ok, 'Every layer classifies files; no empty layers');
-
-  if (packageVersionTruth?.dualTruth) {
-    console.log('');
-    console.log(color.bold('Package pin (dual-truth)'));
-    line(warn, packageVersionTruth.note);
-  } else if (packageVersionTruth?.code === 'PACKAGE_PIN_ABSENT') {
-    console.log('');
-    console.log(color.bold('Package pin'));
-    line(warn, packageVersionTruth.note);
-  }
-  if (options.configWalkedUp && options.configRoot) {
-    line(
-      ok,
-      `Config walk-up: using monorepo root ${options.configRoot} (ark.config.json not in cwd package)`
-    );
-  }
-
-  if (showNewHere) {
-    console.log('');
-    console.log(color.bold('New here?'));
-    // Suggest residual: start → doctor only (not a competing recommend/architect curriculum).
-    line(ok, `Primary path: ${arkCommand(root, 'ark', 'start')} (preview) → ${arkCommand(root, 'ark', 'start --apply')} → re-run --doctor`);
-    if (recommendation) {
-      line(warn, `Sensor shape hint (not a second curriculum): ${recommendation.archetype} — ${recommendation.label} (preset ${recommendation.preset})`);
-      if (recommendation.galleryStarter) line(ok, `Gallery starter (optional): ${recommendation.galleryStarter}`);
-      if (recommendation.policyPack) {
-        line(ok, `Policy pack (optional expert): ${arkCommand(root, 'ark-check', `--apply-policy-pack ${recommendation.policyPack}`)}`);
-      }
-      if (recommendation.signals?.nestFramework) {
-        line(ok, 'Nest modular monolith → prefer hexagonal (or ddd-bounded-contexts if you have src/contexts/*)');
-      }
-      if (recommendation.signals?.monorepoTooling?.length) {
-        line(ok, `Monorepo tooling (${recommendation.signals.monorepoTooling.join(', ')}) → preset monorepo (apps/packages/libs)`);
-      }
-    } else {
-      line(warn, 'Low governed coverage or fresh config — finish start, then re-run doctor before adding layers of code.');
-    }
-    line(ok, `Optional sensor detail: ${arkCommand(root, 'ark-check', '--recommend')}`);
-  }
-
-  console.log('');
-  console.log(color.bold('Violations'));
-  if (violations.length === 0) {
-    if (!analysisComplete) line(warn, 'No reported violations — contract compliance is not verified until analysis is complete');
-    else if (emptyScope || cov.governed.percent < 50) {
-      line(
-        warn,
-        'No active violations — coverage is still thin, so green is not yet honest enforcement'
-      );
-    } else if (designFitness.designWeak) {
-      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');
-    }
-  } else {
-    const typeNote = summary.typeOnlyCount > 0 ? ` (${summary.valueCount} value · ${summary.typeOnlyCount} type-only)` : '';
-    const supNote = suppressed > 0 ? `, ${suppressed} frozen` : '';
-    line(
-      activeCount > 0 ? warn : ok,
-      `${violations.length} total${typeNote}${supNote}${activeCount > 0 ? ` — ${activeCount} NOT baselined` : ''}`
-    );
-    for (const edge of summary.edges.slice(0, 3)) line(' ', color.dim(`${edge.count}  ${edge.edge}`));
-    if (summary.concentrated) {
-      line(warn, color.dim(`${Math.round(summary.dominantShare * 100)}% on one edge (${summary.dominant}) — likely a contract fix, not debt`));
-    }
-  }
-
-  console.log('');
-  console.log(color.bold('Write path (agent)'));
-  const capabilities = writePath.capabilities;
-  const writePathLabels = {
-    repair: 'repair-capable — hard block + machine-readable autoPatch / ARK_REPAIR_JSON',
-    'reject-only': 'reject-only — hard block with prose; no repair payload',
-    'mcp-only': 'MCP tools only — prepare-write/autoPatch available; no PreToolUse hook',
-    none: 'no write gate hook and no Ark MCP',
+  const humanView = {
+    root,
+    analysisComplete,
+    completeness,
+    doctorAdvisories,
+    operatingMode,
+    designFitness,
+    adopted,
+    stewardUnfinished,
+    emptyScope,
+    options,
+    uniqueActions,
+    ciMergeBoundary,
+    cov,
+    writePath,
+    writePathHonesty,
+    gatesMissing,
+    violations,
+    coverageHonesty,
+    packageVersionTruth,
+    designSmells,
+    pilotLoop,
+    goldenPattern,
+    pureLayerOptIn,
+    summary,
+    suppressed,
+    activeCount,
+    skillGaps,
+    agentHomeGaps,
+    baseline,
+    baselineHonesty,
+    staleBaseline,
+    staleRunners,
+    adoption,
+    color,
   };
-  const wpMark =
-    capabilities['hard-write']
-      ? ok
-      : capabilities['advisory-write'] || capabilities['merge-gate']
-        ? warn
-        : bad;
-  line(' ', `Active host: ${writePath.activeHost}`);
-  line(' ', `Supported profile: ${writePath.supportSummary}`);
-  line(wpMark, `Mode: ${writePath.mode} — ${writePathLabels[writePath.mode] || writePath.mode}`);
-  if (writePathHonesty.message) line(warn, writePathHonesty.message);
-  if (writePath.sessionNote) {
-    line(warn, writePath.sessionNote);
-  }
-  const enforcement = writePath.enforcementState;
-  for (const row of enforcementDoctorLines(enforcement)) line(row.level === 'ok' ? ok : row.level === 'bad' ? bad : warn, row.text);
-  // EH07 Repair: use support/matrix caps (inventory omits envelope-emitted on Codex).
-  const supportCaps = writePath.support?.capabilities || {};
-  const repairReinjection = supportCaps['repair-reinjection-guaranteed'] === true;
-  const repairEnvelope = supportCaps['repair-envelope-emitted'] === true || supportCaps['repair-payload'] === true;
-  line(
-    repairReinjection ? ok : warn,
-    repairReinjection
-      ? 'Repair: envelope + reinjection guaranteed on hard path when installed + trusted'
-      : repairEnvelope
-        ? 'Repair: envelope may emit (`--hook-repair`); reinjection not guaranteed (advisory host)'
-        : 'Repair: no hard-boundary payload'
-  );
-  if (writePath.gap) {
-    line(writePath.gap.severity === 'warn' ? warn : warn, writePath.gap.message);
-    if (writePath.gap.fix) {
-      line(' ', color.dim(`Fix: ${writePath.gap.fix}`));
-    }
-  }
-
-  console.log('');
-  console.log(color.bold('Gates & skills'));
-  if (gatesMissing.length === 0) line(ok, 'Shared gate artifacts found on disk (AGENTS.md, .mcp.json, CI); runtime activation is reported separately');
-  else {
-    line(bad, `Missing gates: ${gatesMissing.join(', ')}`);
-  }
-  const humanSkillGaps = skillGapsForActiveHost(skillGaps);
-  const legacyCodex = humanSkillGaps.some((g) => g.tool === 'codex' && g.legacyPromptsOnly);
-  const codexLegacySafeDelete = humanSkillGaps.some(
-    (g) => g.tool === 'codex' && g.legacyAdvisory && g.catalogComplete
-  );
-  const remainingGaps = humanSkillGaps.filter(
-    (g) => !(g.tool === 'codex' && (g.legacyPromptsOnly || g.legacyAdvisory))
-  );
-  const remMiss = remainingGaps.reduce((s, g) => s + g.missing, 0);
-  const remStale = remainingGaps.reduce((s, g) => s + g.stale, 0);
-  if (remMiss + remStale === 0 && !legacyCodex) line(ok, '/ark-* skills current for detected tools');
-  if (legacyCodex) {
-    line(warn, 'Codex: legacy flat .codex/prompts only (not a loadable skill catalog)');
-  }
-  if (codexLegacySafeDelete) {
-    line(
-      ' ',
-      color.dim(
-        'Codex catalog complete — leftover .codex/prompts/ark-*.md are safe to delete (not loadable; not required).'
-      )
-    );
-  }
-  if (remMiss + remStale > 0) {
-    line(
-      warn,
-      `${remMiss} missing / ${remStale} content-behind-package /ark-* skill(s) for ${remainingGaps.map((g) => g.tool).join(', ')}`
-    );
-  }
-  const codexHomeGap = detectCodexHomeGap(root);
-  if (codexHomeGap) {
-    const parts = [
-      codexHomeGap.legacyPromptsOnly ? 'legacy-prompts-only' : null,
-      codexHomeGap.missing > 0 ? `${codexHomeGap.missing} missing` : null,
-      codexHomeGap.stale > 0 ? `${codexHomeGap.stale} content-behind-package` : null, codexHomeGap.catalogStateReason,
-    ].filter(Boolean);
-    const deferred = !codexConcernIsActive();
-    // Deferred home debt is dim/info (not warn) so non-Codex sessions are not "incomplete".
-    if (deferred) {
-      line(color.dim('·'), color.dim(`Codex home skills ${parts.join(', ')} (deferred — not on Codex session)`));
-    } else {
-      line(warn, `Codex home skills ${parts.join(', ')}`);
-    }
-  }
-  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);
-    }
-  }
-
-  console.log('');
-  console.log(color.bold('Baseline'));
-  if (!baseline.exists) {
-    line(!analysisComplete || violations.length > 0 ? warn : ok, !analysisComplete ? 'No baseline — current violations were not fully evaluated' : violations.length > 0 ? 'No baseline — adopting a dirty repo? freeze with --update-baseline' : 'No baseline (nothing to freeze)');
-  } else {
-    // Baseline keys are line-agnostic, so N keys can suppress ≥N violations — label as keys
-    // to avoid an apparent mismatch with the "frozen" violation count above.
-    const baseMark = !analysisComplete || baselineHonesty.dirtyBaselineRisk ? warn : ok;
-    line(baseMark, `${baseline.keys.size} frozen key(s)${analysisComplete ? '' : ' — stale comparison not verified'}`);
-    if (analysisComplete && baselineHonesty.dirtyBaselineRisk) {
-      line(warn, baselineHonesty.message);
-    }
-    if (analysisComplete && staleBaseline > 0) {
-      line(warn, `${staleBaseline} stale entr(y/ies) no longer occur — tighten with --update-baseline`);
-    }
-  }
-
-  console.log('');
-  console.log(color.bold('Command runners'));
-  if (staleRunners.length === 0) line(ok, 'Emitted commands match the package manager');
-  else {
-    line(warn, `Stale runner in ${staleRunners.join(', ')}`);
-  }
-
-  // Adoption completeness (hosts, MCP health, codex home, core optionality, origin, baseline policy)
-  console.log('');
-  console.log(color.bold('Adoption (separate from fitness score)'));
-  if (adoption.gaps.length === 0 && !adoption.layerBalance) {
-    line(
-      ok,
-      'Hosts, MCP argv, core optionality, origin report, baseline policy, and deploy-path lint/types look complete'
-    );
-  } else {
-    for (const gap of adoption.gaps) {
-      // Deferred Codex-home debt (non-temp) is annotated, not a top action, when the
-      // session host is not Codex — fix when that host is used.
-      const mark = gap.deferred
-        ? color.dim('·')
-        : gap.severity === 'warn'
-          ? warn
-          : gap.severity === 'info'
-            ? warn
-            : bad;
-      line(mark, gap.message);
-      if (gap.fix) {
-        line(' ', color.dim(gap.deferred ? `When using Codex: ${gap.fix}` : `Fix: ${gap.fix}`));
-      }
-    }
-    if (adoption.layerBalance) {
-      line(warn, color.dim(adoption.layerBalance.educational));
-    }
-  }
-  if (adoption.baseline) {
-    line(
-      ' ',
-      color.dim(
-        `Baseline policy: ${adoption.baseline.signal}` +
-          (adoption.baseline.primaryPathUsesBaseline
-            ? ' · primary path uses --baseline'
-            : ' · primary path does not use --baseline')
-      )
-    );
-  }
-  if (adoption.originReport.present) {
-    line(ok, 'Origin architecture snapshot present (.ark/reports/origin.json)');
-  }
-
-  console.log('');
-  console.log(color.bold('Safety / bypass resistance'));
-  const safety = options.safety;
-  if (!safety) {
-    line(warn, 'Safety diagnostics unavailable');
-  } else {
-    const rows = [
-      ['Non-literal dynamic dependencies', safety.nonLiteralDynamicImports],
-      ['@ts-ignore / @ts-nocheck', safety.tsSuppressions],
-      ['Explicit any casts', safety.anyCasts],
-      ['InMemory stores in production source', safety.inMemoryProductionStores],
-      ['Rules with peerIsolation: false', safety.disabledPeerIsolationRules],
-    ];
-    for (const [label, entries] of rows) {
-      line(entries.length === 0 ? ok : warn, `${label}: ${entries.length}`);
-    }
-  }
-
+  printDoctorCompactHuman(humanView);
+  if (options.all) printDoctorDetailsHuman(humanView);
 }
+