@nimiplatform/nimi-coding 0.2.8 → 0.3.0

package/cli/index.mjs

@@ -1,56 +1,31 @@
 import { runBlueprintAudit } from "./commands/blueprint-audit.mjs";
+import { runClassifySpecTree } from "./commands/classify-spec-tree.mjs";
 import { runClear } from "./commands/clear.mjs";
-import { runCloseout } from "./commands/closeout.mjs";
-import { runAdmitHighRiskDecision } from "./commands/admit-high-risk-decision.mjs";
-import { runSweep } from "./commands/sweep.mjs";
-import { runDecideHighRiskExecution } from "./commands/decide-high-risk-execution.mjs";
 import { runDoctor } from "./commands/doctor.mjs";
-import { runHandoff } from "./commands/handoff.mjs";
-import { runIngestHighRiskExecution } from "./commands/ingest-high-risk-execution.mjs";
-import { runReviewHighRiskExecution } from "./commands/review-high-risk-execution.mjs";
-import { runStart } from "./commands/start.mjs";
-import { runSync } from "./commands/sync.mjs";
-import { runTopic } from "./commands/topic.mjs";
-import { runTopicRunnerCommand } from "./commands/topic-runner.mjs";
-import { runValidateAcceptance } from "./commands/validate-acceptance.mjs";
 import { runGenerateSpecDerivedDocs } from "./commands/generate-spec-derived-docs.mjs";
 import { runGenerateSpecMigrationPlan } from "./commands/generate-spec-migration-plan.mjs";
-import { runClassifySpecTree } from "./commands/classify-spec-tree.mjs";
+import { runStart } from "./commands/start.mjs";
+import { runSync } from "./commands/sync.mjs";
 import { runValidateAiGovernance } from "./commands/validate-ai-governance.mjs";
 import { runValidateDomainAdmission } from "./commands/validate-domain-admission.mjs";
-import { runValidateExecutionPacket } from "./commands/validate-execution-packet.mjs";
 import { runValidateGuidanceBodies } from "./commands/validate-guidance-bodies.mjs";
-import { runValidateOrchestrationState } from "./commands/validate-orchestration-state.mjs";
 import { runValidatePlacement } from "./commands/validate-placement.mjs";
 import { runValidateProjectionEdges } from "./commands/validate-projection-edges.mjs";
-import { runValidateSpecGovernance } from "./commands/validate-spec-governance.mjs";
 import { runValidateSpecAudit } from "./commands/validate-spec-audit.mjs";
+import { runValidateSpecGovernance } from "./commands/validate-spec-governance.mjs";
 import { runValidateSpecTree } from "./commands/validate-spec-tree.mjs";
 import { runValidateTableFamily } from "./commands/validate-table-family.mjs";
 import { runValidateTrackedOutputAdmission } from "./commands/validate-tracked-output-admission.mjs";
-import { runValidatePrompt } from "./commands/validate-prompt.mjs";
-import { runValidateWorkerOutput } from "./commands/validate-worker-output.mjs";
 import { helpText } from "./help.mjs";
-import { configureCliUi, localize, parseGlobalUiOptions } from "./lib/ui.mjs";
 import { VERSION } from "./constants.mjs";
+import { configureCliUi, localize, parseGlobalUiOptions } from "./lib/ui.mjs";
 
 const COMMANDS = {
   start: runStart,
   sync: runSync,
-  topic: runTopic,
-  "topic-runner": runTopicRunnerCommand,
   clear: runClear,
   doctor: runDoctor,
   "blueprint-audit": runBlueprintAudit,
-  handoff: runHandoff,
-  closeout: runCloseout,
-  sweep: runSweep,
-  "admit-high-risk-decision": runAdmitHighRiskDecision,
-  "decide-high-risk-execution": runDecideHighRiskExecution,
-  "ingest-high-risk-execution": runIngestHighRiskExecution,
-  "review-high-risk-execution": runReviewHighRiskExecution,
-  "validate-execution-packet": runValidateExecutionPacket,
-  "validate-orchestration-state": runValidateOrchestrationState,
   "validate-spec-governance": runValidateSpecGovernance,
   "validate-spec-audit": runValidateSpecAudit,
   "validate-spec-tree": runValidateSpecTree,
@@ -64,9 +39,6 @@ const COMMANDS = {
   "generate-spec-derived-docs": runGenerateSpecDerivedDocs,
   "generate-spec-migration-plan": runGenerateSpecMigrationPlan,
   "validate-ai-governance": runValidateAiGovernance,
-  "validate-prompt": runValidatePrompt,
-  "validate-worker-output": runValidateWorkerOutput,
-  "validate-acceptance": runValidateAcceptance,
 };
 
 export async function runCli(args) {

package/cli/lib/blueprint-audit.mjs

@@ -2,7 +2,7 @@ import { mkdir, readFile, readdir, writeFile } from "node:fs/promises";
 import path from "node:path";
 import YAML from "yaml";
 
-import { loadBlueprintReference, loadSpecGenerationInputsConfig, loadSpecTreeModelContract } from "./contracts.mjs";
+import { loadBlueprintReference, loadSpecGenerationInputsConfig } from "./contracts.mjs";
 import { pathExists } from "./fs-helpers.mjs";
 import {
   localize,
@@ -11,8 +11,8 @@ import {
   styleStatus,
 } from "./ui.mjs";
 
-const BLUEPRINT_AUDIT_CONTRACT_VERSION = "nimicoding.blueprint-audit.v1";
-const DEFAULT_REPORT_PATH = ".nimi/local/report/blueprint-equivalence-audit.json";
+const BLUEPRINT_AUDIT_CONTRACT_VERSION = "nimicoding.blueprint-audit.v2";
+const DEFAULT_REPORT_PATH = ".nimi/local/state/spec-generation/blueprint-equivalence-audit.json";
 
 async function collectFiles(rootPath, relativePrefix = "") {
   const info = await pathExists(rootPath);
@@ -186,12 +186,11 @@ async function compareRuleIds(blueprintAbsoluteRoot, canonicalAbsoluteRoot, pres
 }
 
 export async function buildBlueprintAuditPayload(projectRoot, options = {}) {
-  const specTreeModel = await loadSpecTreeModelContract(projectRoot);
   const blueprintReference = await loadBlueprintReference(projectRoot);
   const specGenerationInputs = await loadSpecGenerationInputsConfig(projectRoot);
 
   const canonicalRoot = options.canonicalRoot
-    ?? specTreeModel.canonicalRoot
+    ?? specGenerationInputs.canonicalTargetRoot
     ?? ".nimi/spec";
   const blueprintRoot = options.blueprintRoot
     ?? blueprintReference.root
@@ -246,7 +245,7 @@ export async function buildBlueprintAuditPayload(projectRoot, options = {}) {
   const reportPath = path.join(projectRoot, DEFAULT_REPORT_PATH);
   const nextSteps = [];
   if (missingDomains.length > 0 || kernelMarkdown.missing.length > 0 || kernelTables.missing.length > 0 || !indexPresent) {
-    nextSteps.push("Copy the missing blueprint structure into `/.nimi/spec/**` before attempting authority cutover.");
+    nextSteps.push("Resolve the missing blueprint structure under `/.nimi/spec/**` before claiming equivalence.");
   }
   if (domainGuides.missing.length > 0) {
     nextSteps.push("Thin and map domain guides only after kernel coverage is in place.");
@@ -263,12 +262,6 @@ export async function buildBlueprintAuditPayload(projectRoot, options = {}) {
     blueprintRoot,
     canonicalRoot,
     blueprintReference,
-    specTreeModel: {
-      ok: specTreeModel.ok,
-      profile: specTreeModel.profile,
-      canonicalRoot: specTreeModel.canonicalRoot,
-      authorityMode: specTreeModel.authorityMode,
-    },
     specGenerationInputs: {
       ok: specGenerationInputs.ok,
       mode: specGenerationInputs.mode,

package/cli/lib/bootstrap.mjs

@@ -189,15 +189,6 @@ export async function inspectBootstrapCompatibility(projectRoot) {
   const contractId = readYamlScalar(bootstrapConfigText, "bootstrap_contract");
   const contractVersion = readYamlScalar(bootstrapConfigText, "bootstrap_contract_version");
 
-  if (!contractId && !contractVersion) {
-    return {
-      status: initializedBy === PACKAGE_NAME ? "legacy" : "unsupported",
-      initializedBy,
-      contractId,
-      contractVersion,
-    };
-  }
-
   if (initializedBy !== PACKAGE_NAME) {
     return {
       status: "unsupported",

package/cli/lib/contracts.mjs

@@ -1,52 +1,13 @@
-import path from "node:path";
-import { fileURLToPath } from "node:url";
-
 import {
   loadBlueprintReference as loadBlueprintReferenceInternal,
-  loadCommandGatingMatrix as loadCommandGatingMatrixInternal,
-  loadAuditSweepContract as loadAuditSweepContractInternal,
-  loadDocSpecAuditContract as loadDocSpecAuditContractInternal,
-  loadExternalHostCompatibilityContract as loadExternalHostCompatibilityContractInternal,
-  loadHighRiskAdmissionContract as loadHighRiskAdmissionContractInternal,
-  loadHighRiskExecutionContract as loadHighRiskExecutionContractInternal,
-  loadHighRiskSchemaContracts as loadHighRiskSchemaContractsInternal,
   loadSpecGenerationAuditContract as loadSpecGenerationAuditContractInternal,
   loadSpecGenerationInputsConfig as loadSpecGenerationInputsConfigInternal,
   loadSpecGenerationInputsContract as loadSpecGenerationInputsContractInternal,
-  loadSpecReconstructionContract as loadSpecReconstructionContractInternal,
-  loadSpecTreeModelContract as loadSpecTreeModelContractInternal,
 } from "./internal/contracts-loaders.mjs";
-import { readTextIfFile } from "./fs-helpers.mjs";
-import { parseYamlText } from "./yaml-helpers.mjs";
-import { matchCommandGatingRule } from "./internal/contracts-parse.mjs";
-import {
-  validateAuditSweepSummary as validateAuditSweepSummaryInternal,
-  validateDocSpecAuditSummary as validateDocSpecAuditSummaryInternal,
-  validateHighRiskAdmissionRecord as validateHighRiskAdmissionRecordInternal,
-  validateHighRiskAdmissionsSpec as validateHighRiskAdmissionsSpecInternal,
-  validateHighRiskExecutionSummary as validateHighRiskExecutionSummaryInternal,
-  validateSpecReconstructionSummary as validateSpecReconstructionSummaryInternal,
-} from "./internal/contracts-validators.mjs";
-
-const PACKAGE_REF_PREFIX = "package://@nimiplatform/nimi-coding/";
-const PACKAGE_ROOT = path.resolve(path.dirname(fileURLToPath(import.meta.url)), "..", "..");
-
-export function findCommandGatingRule(commandGatingMatrix, command, skillId = null) {
-  return matchCommandGatingRule(commandGatingMatrix, command, skillId);
-}
-
-export function loadSpecReconstructionContract(projectRoot) {
-  return loadSpecReconstructionContractInternal(projectRoot);
-}
-
-export function loadSpecTreeModelContract(projectRoot) {
-  return loadSpecTreeModelContractInternal(projectRoot);
-}
 
 export function loadSpecGenerationInputsContract(projectRoot) {
   return loadSpecGenerationInputsContractInternal(projectRoot);
 }
-
 export function loadSpecGenerationAuditContract(projectRoot) {
   return loadSpecGenerationAuditContractInternal(projectRoot);
 }
@@ -55,130 +16,6 @@ export function loadSpecGenerationInputsConfig(projectRoot) {
   return loadSpecGenerationInputsConfigInternal(projectRoot);
 }
 
-export function loadCommandGatingMatrix(projectRoot) {
-  return loadCommandGatingMatrixInternal(projectRoot);
-}
-
 export function loadBlueprintReference(projectRoot) {
   return loadBlueprintReferenceInternal(projectRoot);
 }
-
-export function loadDocSpecAuditContract(projectRoot) {
-  return loadDocSpecAuditContractInternal(projectRoot);
-}
-
-export function loadAuditSweepContract(projectRoot) {
-  return loadAuditSweepContractInternal(projectRoot);
-}
-
-export function loadHighRiskExecutionContract(projectRoot) {
-  return loadHighRiskExecutionContractInternal(projectRoot);
-}
-
-export function loadHighRiskAdmissionContract(projectRoot) {
-  return loadHighRiskAdmissionContractInternal(projectRoot);
-}
-
-export function loadExternalHostCompatibilityContract(projectRoot) {
-  return loadExternalHostCompatibilityContractInternal(projectRoot);
-}
-
-export function loadHighRiskSchemaContracts(projectRoot) {
-  return loadHighRiskSchemaContractsInternal(projectRoot);
-}
-
-export function validateSpecReconstructionSummary(summary, contract, verifiedAt) {
-  return validateSpecReconstructionSummaryInternal(summary, contract, verifiedAt);
-}
-
-export function validateDocSpecAuditSummary(summary, contract, verifiedAt) {
-  return validateDocSpecAuditSummaryInternal(summary, contract, verifiedAt);
-}
-
-export function validateAuditSweepSummary(summary, contract, verifiedAt) {
-  return validateAuditSweepSummaryInternal(summary, contract, verifiedAt);
-}
-
-export function validateHighRiskExecutionSummary(summary, contract, verifiedAt) {
-  return validateHighRiskExecutionSummaryInternal(summary, contract, verifiedAt);
-}
-
-export function validateHighRiskAdmissionRecord(record, contract) {
-  return validateHighRiskAdmissionRecordInternal(record, contract);
-}
-
-export function validateHighRiskAdmissionsSpec(spec, contract) {
-  return validateHighRiskAdmissionsSpecInternal(spec, contract);
-}
-
-async function loadYamlWithFallback(projectRoot, primaryRef, fallbackRef) {
-  const primaryText = await readTextIfFile(path.join(projectRoot, primaryRef));
-  if (primaryText !== null) {
-    return {
-      path: primaryRef,
-      text: primaryText,
-      data: parseYamlText(primaryText),
-    };
-  }
-
-  const fallbackText = await readTextIfFile(path.join(PACKAGE_ROOT, fallbackRef));
-  return {
-    path: `${PACKAGE_REF_PREFIX}${fallbackRef}`,
-    text: fallbackText,
-    data: parseYamlText(fallbackText),
-  };
-}
-
-export async function loadTopicRuntimeContracts(projectRoot) {
-  const [
-    topicSchema,
-    waveSchema,
-    packetSchema,
-    resultSchema,
-    closeoutSchema,
-    remediationSchema,
-    decisionReviewSchema,
-    pendingNoteSchema,
-    topicStepDecisionSchema,
-    topicRunLedgerSchema,
-    forbiddenShortcutsCatalog,
-    lifecycleReport,
-    fourClosurePolicy,
-    validationPolicy,
-    authorityConvergencePolicy,
-  ] = await Promise.all([
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/topic.schema.yaml", "contracts/topic.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/wave.schema.yaml", "contracts/wave.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/packet.schema.yaml", "contracts/packet.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/result.schema.yaml", "contracts/result.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/closeout.schema.yaml", "contracts/closeout.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/remediation.schema.yaml", "contracts/remediation.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/decision-review.schema.yaml", "contracts/decision-review.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/pending-note.schema.yaml", "contracts/pending-note.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/topic-step-decision.schema.yaml", "contracts/topic-step-decision.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/topic-run-ledger.schema.yaml", "contracts/topic-run-ledger.schema.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/contracts/forbidden-shortcuts.catalog.yaml", "contracts/forbidden-shortcuts.catalog.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/methodology/topic-lifecycle-report.yaml", "methodology/topic-lifecycle-report.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/methodology/four-closure-policy.yaml", "methodology/four-closure-policy.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/methodology/topic-validation-policy.yaml", "methodology/topic-validation-policy.yaml"),
-    loadYamlWithFallback(projectRoot, ".nimi/methodology/authority-convergence-policy.yaml", "methodology/authority-convergence-policy.yaml"),
-  ]);
-
-  return {
-    topicSchema,
-    waveSchema,
-    packetSchema,
-    resultSchema,
-    closeoutSchema,
-    remediationSchema,
-    decisionReviewSchema,
-    pendingNoteSchema,
-    topicStepDecisionSchema,
-    topicRunLedgerSchema,
-    forbiddenShortcutsCatalog,
-    lifecycleReport,
-    fourClosurePolicy,
-    validationPolicy,
-    authorityConvergencePolicy,
-  };
-}

package/cli/lib/doctor.mjs

@@ -1,18 +1,163 @@
-import { inspectDoctorBootstrapSurface } from "./internal/doctor-bootstrap-surface.mjs";
-import { inspectDoctorDelegatedSurface } from "./internal/doctor-delegated-surface.mjs";
-import { finalizeDoctorState } from "./internal/doctor-finalize.mjs";
-import { formatDoctorResult as formatDoctorResultInternal } from "./internal/doctor-format.mjs";
+import { readdir } from "node:fs/promises";
+import path from "node:path";
+
+import { SPEC_GENERATION_AUDIT_REF } from "../constants.mjs";
+import { getBootstrapSeedEntries } from "../seeds/bootstrap.mjs";
+import { inspectBootstrapCompatibility } from "./bootstrap.mjs";
+import { loadSpecGenerationInputsConfig } from "./contracts.mjs";
+import { pathExists, readTextIfFile } from "./fs-helpers.mjs";
+import { runSeedSync, SYNC_MODE } from "./sync.mjs";
+import { localize, styleHeading, styleLabel, styleStatus } from "./ui.mjs";
+
+function check(id, ok, severity, detail) {
+  return { id, ok, severity: ok ? "ok" : severity, detail };
+}
+
+async function directoryHasFiles(root) {
+  const info = await pathExists(root);
+  if (!info || !info.isDirectory()) return false;
+  const entries = await readdir(root, { withFileTypes: true });
+  return entries.length > 0;
+}
+
+async function managedEntrypoints(projectRoot) {
+  const refs = [];
+  for (const ref of ["AGENTS.md", "CLAUDE.md"]) {
+    const text = await readTextIfFile(path.join(projectRoot, ref));
+    if (text?.includes("nimicoding:managed:")) refs.push(ref);
+  }
+  return refs;
+}
 
 export async function inspectDoctorState(projectRoot) {
-  const bootstrapSurface = await inspectDoctorBootstrapSurface(projectRoot);
-  if (bootstrapSurface.done) {
-    return bootstrapSurface.result;
+  const checks = [];
+  const bootstrap = await inspectBootstrapCompatibility(projectRoot);
+  checks.push(check(
+    "bootstrap_contract",
+    bootstrap.status === "supported",
+    "error",
+    bootstrap.status === "supported"
+      ? "bootstrap contract is supported"
+      : "bootstrap contract is missing or unsupported",
+  ));
+
+  let seedSync = null;
+  if (bootstrap.status === "supported") {
+    seedSync = await runSeedSync(projectRoot, SYNC_MODE.CHECK);
+    checks.push(check(
+      "managed_projection",
+      seedSync.ok,
+      "error",
+      seedSync.ok
+        ? `all ${seedSync.summary.total} package-managed files are aligned`
+        : `${seedSync.checkFailures.length} package-managed files are missing or drifted`,
+    ));
   }
 
-  const delegatedSurface = await inspectDoctorDelegatedSurface(projectRoot, bootstrapSurface);
-  return finalizeDoctorState(projectRoot, bootstrapSurface, delegatedSurface);
+  const generationInputs = await loadSpecGenerationInputsConfig(projectRoot);
+  checks.push(check(
+    "spec_generation_inputs",
+    generationInputs.ok && generationInputs.mode === "class_filtered",
+    "error",
+    generationInputs.ok && generationInputs.mode === "class_filtered"
+      ? "spec generation inputs use class-filtered authority"
+      : "spec generation inputs are missing or invalid",
+  ));
+
+  const specRoot = path.join(projectRoot, ".nimi", "spec");
+  const specPresent = await directoryHasFiles(specRoot);
+  checks.push(check(
+    "spec_tree",
+    true,
+    "info",
+    specPresent
+      ? "canonical spec tree is present; conformance is checked by validate-spec-tree or project-specific validators"
+      : "canonical spec tree has not been constructed yet",
+  ));
+
+  const auditPath = path.join(projectRoot, SPEC_GENERATION_AUDIT_REF);
+  const auditPresent = Boolean(await pathExists(auditPath));
+  checks.push(check(
+    "spec_generation_audit",
+    true,
+    "info",
+    auditPresent
+      ? "spec generation audit is present; conformance is checked by validate-spec-audit"
+      : "spec generation audit is not present",
+  ));
+
+  const entrypoints = await managedEntrypoints(projectRoot);
+  checks.push(check(
+    "entrypoint_integration",
+    true,
+    "info",
+    entrypoints.length > 0
+      ? `managed methodology guidance is present in ${entrypoints.join(", ")}`
+      : "managed methodology guidance is not installed",
+  ));
+
+  const seedEntries = await getBootstrapSeedEntries();
+  const ok = checks.every((entry) => entry.severity !== "error");
+
+  return {
+    ok,
+    projectRoot,
+    bootstrap,
+    managedProjection: seedSync,
+    generationInputs: {
+      ok: generationInputs.ok,
+      mode: generationInputs.mode ?? null,
+      canonicalTargetRoot: generationInputs.canonicalTargetRoot ?? null,
+    },
+    spec: {
+      present: specPresent,
+      ok: null,
+      summary: null,
+    },
+    generationAudit: {
+      present: auditPresent,
+      ok: null,
+      summary: null,
+    },
+    entrypoints,
+    managedFileCount: seedEntries.length,
+    checks,
+  };
 }
 
 export function formatDoctorResult(result, options = {}) {
-  return formatDoctorResultInternal(result, options);
+  const lines = [
+    styleHeading(`nimicoding doctor: ${result.projectRoot}`),
+    "",
+    styleLabel(localize("Summary:", "摘要：")),
+    `  - ${localize("status", "状态")}: ${styleStatus(result.ok ? "ok" : "needs_attention")}`,
+    `  - bootstrap: ${result.bootstrap.status}`,
+    `  - managed_projection: ${result.managedProjection?.ok === true ? "aligned" : "invalid"}`,
+    `  - spec: ${!result.spec.present ? "not_constructed" : "present_not_validated"}`,
+    `  - generation_audit: ${!result.generationAudit.present ? "not_present" : "present_not_validated"}`,
+    "",
+    styleLabel(localize("Checks:", "检查项：")),
+  ];
+
+  const visibleChecks = options.verbose
+    ? result.checks
+    : result.checks.filter((entry) => entry.severity !== "ok" || !entry.ok);
+  if (visibleChecks.length === 0) {
+    lines.push(`  - ${localize("No blocking issues found.", "没有发现阻塞问题。")}`);
+  } else {
+    for (const entry of visibleChecks) {
+      const marker = entry.ok ? "info" : entry.severity;
+      lines.push(`  - [${marker}] ${entry.detail}`);
+    }
+  }
+
+  if (!result.spec.present) {
+    lines.push(
+      "",
+      styleLabel(localize("Next:", "下一步：")),
+      "  - Build canonical product authority under .nimi/spec, then run nimicoding validate-spec-tree.",
+    );
+  }
+
+  return `${lines.join("\n")}\n`;
 }