@nimiplatform/nimi-coding 0.2.7 → 0.3.0

package/cli/lib/internal/doctor-bootstrap-surface.mjs

@@ -1,406 +0,0 @@
-import path from "node:path";
-
-import {
-  BLUEPRINT_REFERENCE_REF,
-  COMMAND_GATING_MATRIX_REF,
-  LOCAL_GITIGNORE_ENTRIES,
-  PACKAGE_NAME,
-  REQUIRED_LOCAL_DIRS,
-  SPEC_GENERATION_AUDIT_CONTRACT_REF,
-  SPEC_GENERATION_AUDIT_REF,
-  SPEC_GENERATION_INPUTS_CONTRACT_REF,
-  SPEC_GENERATION_INPUTS_REF,
-  SPEC_TREE_MODEL_REF,
-} from "../../constants.mjs";
-import { getBootstrapSeedEntries } from "../../seeds/bootstrap.mjs";
-import { inspectBootstrapCompatibility } from "../bootstrap.mjs";
-import {
-  findCommandGatingRule,
-  loadBlueprintReference,
-  loadCommandGatingMatrix,
-  loadSpecGenerationAuditContract,
-  loadSpecGenerationInputsConfig,
-  loadSpecGenerationInputsContract,
-  loadSpecTreeModelContract,
-} from "../contracts.mjs";
-import { pathExists, readTextIfFile } from "../fs-helpers.mjs";
-import { validateSpecAudit } from "../validators.mjs";
-import {
-  readYamlScalar,
-} from "../yaml-helpers.mjs";
-import {
-  buildCheck,
-  createDoctorMissingRootResult,
-  emptySpecGenerationAudit,
-} from "./doctor-state.mjs";
-import {
-  inspectBootstrapStateContract,
-  inspectCanonicalTree,
-  inspectStandaloneCompletionTruth,
-} from "./doctor-inspectors.mjs";
-
-export async function inspectDoctorBootstrapSurface(projectRoot) {
-  const nimiRoot = path.join(projectRoot, ".nimi");
-  const checks = [];
-
-  const nimiInfo = await pathExists(nimiRoot);
-  if (!nimiInfo) {
-    return {
-      done: true,
-      result: createDoctorMissingRootResult(
-        projectRoot,
-        ".nimi directory is missing",
-        "Run `nimicoding start` to seed the project-local .nimi bootstrap truth.",
-      ),
-    };
-  }
-
-  if (!nimiInfo.isDirectory()) {
-    return {
-      done: true,
-      result: createDoctorMissingRootResult(
-        projectRoot,
-        ".nimi exists but is not a directory",
-        "Replace the non-directory `.nimi` path, then rerun `nimicoding start`.",
-      ),
-    };
-  }
-
-  checks.push(buildCheck("nimi_root", true, ".nimi directory exists"));
-
-  const seedEntries = await getBootstrapSeedEntries();
-  const missingBootstrapFiles = [];
-  const driftedPackageCanonicalFiles = [];
-  for (const entry of seedEntries) {
-    const absolutePath = path.join(projectRoot, entry.outputRelativePath);
-    const info = await pathExists(absolutePath);
-    if (!info || !info.isFile()) {
-      missingBootstrapFiles.push(entry.outputRelativePath);
-      continue;
-    }
-    if (entry.ownership !== "package_canonical") {
-      continue;
-    }
-    const actual = await readTextIfFile(absolutePath);
-    if (actual !== entry.content) {
-      driftedPackageCanonicalFiles.push(entry.outputRelativePath);
-    }
-  }
-  checks.push(
-    buildCheck(
-      "bootstrap_seed_files",
-      missingBootstrapFiles.length === 0,
-      missingBootstrapFiles.length === 0
-        ? `All bootstrap seed files declared by the seed projection policy are present (${seedEntries.length}/${seedEntries.length})`
-        : `Missing bootstrap seed files declared by the seed projection policy: ${missingBootstrapFiles.join(", ")}`,
-    ),
-  );
-  checks.push({
-    id: "bootstrap_seed_package_canonical_in_sync",
-    ok: true,
-    severity: driftedPackageCanonicalFiles.length === 0 ? "ok" : "warn",
-    detail: driftedPackageCanonicalFiles.length === 0
-      ? "All package_canonical seed files match package source byte-for-byte"
-      : `package_canonical seed files diverge from package source; run \`nimicoding sync --apply\` to refresh, or \`nimicoding sync --check\` for the authoritative gate: ${driftedPackageCanonicalFiles.join(", ")}`,
-  });
-
-  const missingLocalDirs = [];
-  for (const relativePath of REQUIRED_LOCAL_DIRS) {
-    const info = await pathExists(path.join(projectRoot, relativePath));
-    if (!info || !info.isDirectory()) {
-      missingLocalDirs.push(relativePath);
-    }
-  }
-  checks.push({
-    id: "local_state_dirs",
-    ok: true,
-    severity: missingLocalDirs.length === 0 ? "ok" : "warn",
-    detail: missingLocalDirs.length === 0
-      ? "Local state directories are present"
-      : `Local state directories are absent and can be recreated on demand: ${missingLocalDirs.join(", ")}`,
-  });
-
-  const gitignoreText = await readTextIfFile(path.join(projectRoot, ".gitignore"));
-  const missingGitignoreEntries = gitignoreText === null
-    ? LOCAL_GITIGNORE_ENTRIES.slice()
-    : LOCAL_GITIGNORE_ENTRIES.filter((entry) => !gitignoreText.includes(entry));
-  checks.push(
-    buildCheck(
-      "gitignore_local_state",
-      missingGitignoreEntries.length === 0,
-      missingGitignoreEntries.length === 0
-        ? "Local nimicoding state is ignored by .gitignore"
-        : `.gitignore is missing local-state entries: ${missingGitignoreEntries.join(", ")}`,
-    ),
-  );
-
-  const bootstrapConfigText = await readTextIfFile(path.join(projectRoot, ".nimi", "config", "bootstrap.yaml"));
-  const bootstrapIdentityOk = Boolean(bootstrapConfigText)
-    && readYamlScalar(bootstrapConfigText, "initialized_by") === PACKAGE_NAME
-    && Boolean(readYamlScalar(bootstrapConfigText, "cli_version"));
-  checks.push(
-    buildCheck(
-      "bootstrap_config_contract",
-      bootstrapIdentityOk,
-      bootstrapIdentityOk
-        ? "bootstrap.yaml declares the package bootstrap identity"
-        : "bootstrap.yaml is missing or does not match the package bootstrap identity",
-    ),
-  );
-
-  const bootstrapCompatibility = await inspectBootstrapCompatibility(projectRoot);
-  checks.push({
-    id: "bootstrap_contract_version",
-    ok: bootstrapCompatibility.status !== "unsupported",
-    severity: bootstrapCompatibility.status === "supported"
-      ? "ok"
-      : bootstrapCompatibility.status === "legacy"
-        ? "warn"
-        : bootstrapCompatibility.status === "missing"
-          ? "warn"
-          : "error",
-    detail: bootstrapCompatibility.status === "supported"
-      ? `bootstrap contract ${bootstrapCompatibility.contractId} version ${bootstrapCompatibility.contractVersion} is supported`
-      : bootstrapCompatibility.status === "legacy"
-        ? "bootstrap.yaml was created by nimicoding but is missing bootstrap contract metadata"
-        : bootstrapCompatibility.status === "missing"
-          ? "bootstrap.yaml is missing and bootstrap contract compatibility could not be checked"
-          : "bootstrap.yaml declares an unsupported bootstrap contract id or version",
-  });
-
-  const specGenerationInputsContract = await loadSpecGenerationInputsContract(projectRoot);
-  const specGenerationAuditContract = await loadSpecGenerationAuditContract(projectRoot);
-  const specGenerationInputs = await loadSpecGenerationInputsConfig(projectRoot);
-  const usesV2SurfaceModel = specGenerationInputs.ok && specGenerationInputs.mode === "class_filtered";
-
-  const bootstrapStateText = await readTextIfFile(path.join(projectRoot, ".nimi", "spec", "bootstrap-state.yaml"));
-  const bootstrapStateContract = inspectBootstrapStateContract(bootstrapStateText);
-  checks.push(
-    buildCheck(
-      "bootstrap_state_contract",
-      usesV2SurfaceModel || bootstrapStateContract.ok,
-      usesV2SurfaceModel
-        ? "v2 host-local surface model does not require .nimi/spec/bootstrap-state.yaml"
-        : bootstrapStateContract.ok
-        ? `bootstrap-state.yaml matches the ${bootstrapStateContract.treeState} tree-state contract`
-        : "bootstrap-state.yaml is missing required lifecycle fields or declares an unsupported lifecycle state",
-      usesV2SurfaceModel ? "info" : undefined,
-    ),
-  );
-
-  const productScopeText = await readTextIfFile(path.join(projectRoot, ".nimi", "spec", "product-scope.yaml"));
-  const completionTruth = inspectStandaloneCompletionTruth(productScopeText);
-  checks.push(
-    buildCheck(
-      "standalone_completion_truth",
-      usesV2SurfaceModel || completionTruth.ok,
-      usesV2SurfaceModel
-        ? "v2 host-local surface model does not require .nimi/spec/product-scope.yaml"
-        : completionTruth.ok
-        ? `Product scope declares standalone completion profile ${completionTruth.completionProfile}`
-        : "product-scope.yaml is missing or drifted from the package-owned standalone completion truth",
-      usesV2SurfaceModel ? "info" : undefined,
-    ),
-  );
-
-  const specTreeModel = await loadSpecTreeModelContract(projectRoot);
-  checks.push(
-    buildCheck(
-      "spec_tree_model_contract",
-      usesV2SurfaceModel || specTreeModel.ok,
-      usesV2SurfaceModel
-        ? ".nimi/contracts/surface-taxonomy.schema.yaml supplies the v2 spec surface profile"
-        : specTreeModel.ok
-        ? `${SPEC_TREE_MODEL_REF} declares canonical root ${specTreeModel.canonicalRoot} with profile ${specTreeModel.profile}`
-        : `${SPEC_TREE_MODEL_REF} is missing or malformed`,
-      usesV2SurfaceModel ? "ok" : undefined,
-    ),
-  );
-
-  checks.push(
-    buildCheck(
-      "spec_generation_inputs_contract",
-      specGenerationInputsContract.ok,
-      specGenerationInputsContract.ok
-        ? `${SPEC_GENERATION_INPUTS_CONTRACT_REF} is present and structurally valid`
-        : `${SPEC_GENERATION_INPUTS_CONTRACT_REF} is missing or malformed`,
-    ),
-  );
-
-  checks.push(
-    buildCheck(
-      "spec_generation_audit_contract",
-      specGenerationAuditContract.ok,
-      specGenerationAuditContract.ok
-        ? `${SPEC_GENERATION_AUDIT_CONTRACT_REF} is present and structurally valid`
-        : `${SPEC_GENERATION_AUDIT_CONTRACT_REF} is missing or malformed`,
-    ),
-  );
-
-  checks.push(
-    buildCheck(
-      "spec_generation_inputs_config",
-      specGenerationInputs.ok,
-      specGenerationInputs.ok
-        ? `${SPEC_GENERATION_INPUTS_REF} declares ${specGenerationInputs.mode} canonical spec generation inputs`
-        : `${SPEC_GENERATION_INPUTS_REF} is missing or malformed`,
-    ),
-  );
-
-  const commandGatingMatrix = await loadCommandGatingMatrix(projectRoot);
-  checks.push(
-    buildCheck(
-      "command_gating_matrix_contract",
-      usesV2SurfaceModel || commandGatingMatrix.ok,
-      usesV2SurfaceModel
-        ? "v2 workflow gates are provided by project-local .nimi/contracts and .nimi/methodology"
-        : commandGatingMatrix.ok
-        ? `${COMMAND_GATING_MATRIX_REF} declares ${commandGatingMatrix.entries.length} command gating rules`
-        : `${COMMAND_GATING_MATRIX_REF} is missing or malformed`,
-      usesV2SurfaceModel ? "ok" : undefined,
-    ),
-  );
-
-  const blueprintReference = await loadBlueprintReference(projectRoot);
-  const blueprintReferenceExpected = usesV2SurfaceModel
-    ? specGenerationInputs.benchmarkMode !== "none" || typeof specGenerationInputs.benchmarkBlueprintRoot === "string"
-    : bootstrapStateContract.blueprintMode !== "none";
-  const expectedBlueprintCanonicalRoot = usesV2SurfaceModel
-    ? specGenerationInputs.canonicalTargetRoot
-    : specTreeModel.canonicalRoot;
-  const blueprintReferenceAligned = !blueprintReferenceExpected
-    ? !blueprintReference.present
-    : blueprintReference.present
-      && blueprintReference.ok
-      && (usesV2SurfaceModel || blueprintReference.mode === bootstrapStateContract.blueprintMode)
-      && blueprintReference.canonicalTargetRoot === expectedBlueprintCanonicalRoot;
-  checks.push(
-    buildCheck(
-      "blueprint_reference_contract",
-      blueprintReferenceAligned,
-      blueprintReferenceExpected
-        ? blueprintReferenceAligned
-          ? `${BLUEPRINT_REFERENCE_REF} matches blueprint mode ${bootstrapStateContract.blueprintMode}`
-          : `${BLUEPRINT_REFERENCE_REF} is required and must match the declared blueprint mode`
-        : "No explicit project-local blueprint reference is declared",
-      blueprintReferenceExpected
-        ? (blueprintReferenceAligned ? "ok" : "error")
-        : "info",
-    ),
-  );
-
-  const benchmarkRoot = specGenerationInputs.benchmarkBlueprintRoot ?? blueprintReference.root ?? null;
-  const benchmarkAvailable = typeof benchmarkRoot === "string" && benchmarkRoot.length > 0;
-  const benchmarkAuditReadiness = {
-    available: benchmarkAvailable,
-    ready: benchmarkAvailable && Boolean(
-      specGenerationInputs.ok
-      && (usesV2SurfaceModel || specTreeModel.ok)
-      && (
-        specGenerationInputs.benchmarkMode === "none"
-          ? !blueprintReference.present
-          : blueprintReference.present
-            && blueprintReference.ok
-            && blueprintReference.root === benchmarkRoot
-      ),
-    ),
-    benchmarkRoot,
-    acceptanceMode: specGenerationInputs.acceptanceMode ?? null,
-    reason: typeof benchmarkRoot === "string" && benchmarkRoot.length > 0
-      ? "Benchmark audit can compare the declared blueprint root against the candidate canonical tree"
-      : "No benchmark blueprint is declared for this project.",
-  };
-  checks.push({
-    id: "benchmark_audit_readiness",
-    ok: !benchmarkAuditReadiness.available || benchmarkAuditReadiness.ready,
-    severity: benchmarkAuditReadiness.available
-      ? benchmarkAuditReadiness.ready ? "ok" : "warn"
-      : "info",
-    detail: benchmarkAuditReadiness.reason,
-  });
-
-  const canonicalTree = await inspectCanonicalTree(projectRoot, specTreeModel);
-  checks.push({
-    id: "canonical_tree_progress",
-    ok: true,
-    severity: canonicalTree.requiredFilesValid
-      ? "ok"
-      : bootstrapStateContract.treeState === "bootstrap_only"
-        ? "info"
-        : "warn",
-    detail: canonicalTree.requiredFilesValid
-      ? "Declared canonical tree required files are present"
-      : `Canonical tree required files are still missing: ${canonicalTree.missing.join(", ")}`,
-  });
-
-  const specGenerationAuditRef = usesV2SurfaceModel
-    ? ".nimi/local/state/spec-generation/spec-generation-audit.yaml"
-    : SPEC_GENERATION_AUDIT_REF;
-  const specGenerationAuditInfo = await pathExists(path.join(projectRoot, specGenerationAuditRef));
-  let specGenerationAudit = emptySpecGenerationAudit();
-  specGenerationAudit.auditPath = specGenerationAuditRef;
-  if (specGenerationAuditInfo?.isFile()) {
-    const specGenerationAuditReport = await validateSpecAudit(
-      path.join(projectRoot, specGenerationAuditRef),
-      { projectRoot },
-    );
-    specGenerationAudit = {
-      present: true,
-      ok: specGenerationAuditReport.ok,
-      auditPath: specGenerationAuditRef,
-      validator: "validate-spec-audit",
-      summary: specGenerationAuditReport.summary ?? null,
-      reason: specGenerationAuditReport.ok
-        ? "Spec generation audit is present and structurally valid"
-        : specGenerationAuditReport.errors.join("; "),
-    };
-  }
-  const specGenerationAuditCheckSeverity = !specGenerationAudit.present
-    ? canonicalTree.requiredFilesValid ? "warn" : "info"
-    : specGenerationAudit.ok ? "ok" : canonicalTree.requiredFilesValid ? "error" : "warn";
-  checks.push({
-    id: "spec_generation_audit",
-    ok: !specGenerationAudit.present ? true : specGenerationAudit.ok,
-    severity: specGenerationAuditCheckSeverity,
-    detail: !specGenerationAudit.present
-      ? canonicalTree.requiredFilesValid
-        ? "Canonical tree is ready and spec generation audit is missing; run the audit workflow when file-level generation evidence is required"
-        : specGenerationAudit.reason
-      : specGenerationAudit.ok
-        ? specGenerationAudit.reason
-        : `Canonical tree is ready but spec generation audit is still missing or invalid: ${specGenerationAudit.reason}`,
-  });
-
-  const highRiskCloseoutGate = findCommandGatingRule(commandGatingMatrix, "closeout", "high_risk_execution");
-  checks.push(
-    buildCheck(
-      "high_risk_closeout_gate",
-      usesV2SurfaceModel || Boolean(highRiskCloseoutGate?.completedRequires?.tree_state === "canonical_tree_ready"),
-      usesV2SurfaceModel
-        ? "v2 high-risk closeout gates are contract-driven by project-local .nimi/contracts"
-        : highRiskCloseoutGate
-        ? "Command gating matrix includes high_risk_execution closeout readiness"
-        : "command gating matrix is missing closeout gating for high_risk_execution",
-      usesV2SurfaceModel ? "ok" : undefined,
-    ),
-  );
-
-  return {
-    done: false,
-    projectRoot,
-    checks,
-    bootstrapCompatibility,
-    bootstrapStateContract,
-    completionTruth,
-    specTreeModel,
-    specGenerationInputsContract,
-    specGenerationAuditContract,
-    specGenerationInputs,
-    commandGatingMatrix,
-    blueprintReference,
-    blueprintReferenceAligned,
-    canonicalTree,
-    benchmarkAuditReadiness,
-    specGenerationAudit,
-  };
-}

package/cli/lib/internal/doctor-delegated-surface.mjs

@@ -1,256 +0,0 @@
-import path from "node:path";
-
-import {
-  AUDIT_SWEEP_RESULT_CONTRACT_REF,
-  DOC_SPEC_AUDIT_RESULT_CONTRACT_REF,
-  EXTERNAL_EXECUTION_ARTIFACTS_CONFIG_REF,
-  EXTERNAL_HOST_COMPATIBILITY_CONTRACT_REF,
-  HIGH_RISK_EXECUTION_RESULT_CONTRACT_REF,
-  HOST_ADAPTER_CONFIG_REF,
-  SPEC_RECONSTRUCTION_RESULT_CONTRACT_REF,
-} from "../../constants.mjs";
-import { readTextIfFile, pathExists } from "../fs-helpers.mjs";
-import { arraysEqual } from "../value-helpers.mjs";
-import {
-  parseSkillSection,
-  readYamlList,
-  readYamlScalar,
-} from "../yaml-helpers.mjs";
-import { buildCheck } from "./doctor-state.mjs";
-
-export async function inspectDoctorDelegatedSurface(projectRoot) {
-  const checks = [];
-
-  const skillsConfigText = await readTextIfFile(path.join(projectRoot, ".nimi", "config", "skills.yaml"));
-  const skillsConfigOk = Boolean(skillsConfigText)
-    && skillsConfigText.includes("runtime_installed: false")
-    && skillsConfigText.includes("runtime_owner: external_ai_host")
-    && skillsConfigText.includes("handoff_contract: .nimi/methodology/skill-handoff.yaml")
-    && skillsConfigText.includes(`canonical_host_adapter: ${HOST_ADAPTER_CONFIG_REF}`);
-  checks.push(
-    buildCheck(
-      "skills_contract",
-      skillsConfigOk,
-      skillsConfigOk
-        ? "skills.yaml keeps runtime delegated and handoff-driven"
-        : "skills.yaml is missing delegated runtime contract fields",
-    ),
-  );
-
-  const handoffText = await readTextIfFile(path.join(projectRoot, ".nimi", "methodology", "skill-handoff.yaml"));
-  const manifestText = await readTextIfFile(path.join(projectRoot, ".nimi", "config", "skill-manifest.yaml"));
-  const hostProfileText = await readTextIfFile(path.join(projectRoot, ".nimi", "config", "host-profile.yaml"));
-  const hostAdapterText = await readTextIfFile(path.join(projectRoot, HOST_ADAPTER_CONFIG_REF));
-  const runtimeContractText = await readTextIfFile(path.join(projectRoot, ".nimi", "methodology", "skill-runtime.yaml"));
-  const installerText = await readTextIfFile(path.join(projectRoot, ".nimi", "config", "skill-installer.yaml"));
-  const installerResultText = await readTextIfFile(path.join(projectRoot, ".nimi", "methodology", "skill-installer-result.yaml"));
-
-  const contractRuntimeOwnerValues = [
-    readYamlScalar(skillsConfigText, "runtime_owner"),
-    readYamlScalar(manifestText, "runtime_owner"),
-    readYamlScalar(handoffText, "runtime_owner"),
-    readYamlScalar(runtimeContractText, "runtime_owner"),
-    readYamlScalar(hostProfileText, "id"),
-    readYamlScalar(installerText, "installer_owner"),
-  ];
-  const contractRuntimeOwnersAligned = contractRuntimeOwnerValues.every((value) => value === "external_ai_host");
-
-  const delegatedModeAligned = [
-    readYamlScalar(manifestText, "execution_mode"),
-    readYamlScalar(hostProfileText, "execution_mode"),
-    readYamlScalar(runtimeContractText, "runtime_mode"),
-    readYamlScalar(installerText, "installer_mode"),
-  ].every((value) => value === "delegated");
-
-  const selfHostedAligned = [
-    readYamlScalar(handoffText, "self_hosted_runtime"),
-    readYamlScalar(hostProfileText, "self_hosted"),
-    readYamlScalar(runtimeContractText, "self_hosted"),
-    readYamlScalar(installerText, "self_hosted"),
-  ].every((value) => value === "false");
-
-  checks.push(
-    buildCheck(
-      "delegated_contract_posture",
-      contractRuntimeOwnersAligned && delegatedModeAligned && selfHostedAligned,
-      contractRuntimeOwnersAligned && delegatedModeAligned && selfHostedAligned
-        ? "Delegated runtime ownership and non-self-hosted posture are consistent across contracts"
-        : "Delegated runtime ownership, execution mode, or self-hosted posture drifted across contracts",
-    ),
-  );
-
-  const referenceChecks = [
-    readYamlScalar(manifestText, "runtime_contract_ref") === ".nimi/methodology/skill-runtime.yaml",
-    readYamlScalar(manifestText, "host_profile_ref") === ".nimi/config/host-profile.yaml",
-    readYamlScalar(manifestText, "installer_ref") === ".nimi/config/skill-installer.yaml",
-    readYamlScalar(manifestText, "installer_result_contract_ref") === ".nimi/methodology/skill-installer-result.yaml",
-    readYamlScalar(hostProfileText, "runtime_contract_ref") === ".nimi/methodology/skill-runtime.yaml",
-    readYamlScalar(hostProfileText, "compatibility_contract_ref") === EXTERNAL_HOST_COMPATIBILITY_CONTRACT_REF,
-    readYamlScalar(hostProfileText, "installer_ref") === ".nimi/config/skill-installer.yaml",
-    readYamlScalar(hostProfileText, "installer_result_contract_ref") === ".nimi/methodology/skill-installer-result.yaml",
-    readYamlScalar(hostAdapterText, "runtime_owner") === "external_ai_host",
-    readYamlScalar(hostAdapterText, "host_profile_ref") === ".nimi/config/host-profile.yaml",
-    readYamlScalar(hostAdapterText, "manifest_ref") === ".nimi/config/skill-manifest.yaml",
-    readYamlScalar(hostAdapterText, "artifact_contract_ref") === EXTERNAL_EXECUTION_ARTIFACTS_CONFIG_REF,
-    readYamlScalar(hostAdapterText, "handoff_ref") === ".nimi/methodology/skill-handoff.yaml",
-    readYamlScalar(runtimeContractText, "manifest_ref") === ".nimi/config/skill-manifest.yaml",
-    readYamlScalar(runtimeContractText, "host_profile_ref") === ".nimi/config/host-profile.yaml",
-    readYamlScalar(runtimeContractText, "installer_ref") === ".nimi/config/skill-installer.yaml",
-    readYamlScalar(runtimeContractText, "installer_result_contract_ref") === ".nimi/methodology/skill-installer-result.yaml",
-    readYamlScalar(runtimeContractText, "handoff_ref") === ".nimi/methodology/skill-handoff.yaml",
-    readYamlScalar(installerText, "manifest_ref") === ".nimi/config/skill-manifest.yaml",
-    readYamlScalar(installerText, "runtime_contract_ref") === ".nimi/methodology/skill-runtime.yaml",
-    readYamlScalar(installerText, "host_profile_ref") === ".nimi/config/host-profile.yaml",
-    readYamlScalar(installerText, "result_contract_ref") === ".nimi/methodology/skill-installer-result.yaml",
-    readYamlScalar(installerResultText, "installer_ref") === ".nimi/config/skill-installer.yaml",
-    readYamlScalar(handoffText, "runtime_contract_ref") === ".nimi/methodology/skill-runtime.yaml",
-    readYamlScalar(handoffText, "host_profile_ref") === ".nimi/config/host-profile.yaml",
-    readYamlScalar(handoffText, "host_compatibility_contract_ref") === EXTERNAL_HOST_COMPATIBILITY_CONTRACT_REF,
-    readYamlScalar(handoffText, "installer_ref") === ".nimi/config/skill-installer.yaml",
-    readYamlScalar(handoffText, "installer_result_contract_ref") === ".nimi/methodology/skill-installer-result.yaml",
-    readYamlScalar(handoffText, "exchange_projection_contract_ref") === ".nimi/methodology/skill-exchange-projection.yaml",
-  ];
-  checks.push(
-    buildCheck(
-      "contract_reference_alignment",
-      referenceChecks.every(Boolean),
-      referenceChecks.every(Boolean)
-        ? "Manifest, runtime, installer, host-profile, host-adapter, and handoff references are aligned"
-        : "Cross-contract reference drift detected between manifest/runtime/installer/host-profile/host-adapter/handoff truth",
-    ),
-  );
-
-  const manifestSkills = parseSkillSection(manifestText, "skills");
-  const expectedSkills = parseSkillSection(skillsConfigText, "expected_skill_surfaces");
-
-  const reconstructionSkill = manifestSkills.find((skill) => skill.id === "spec_reconstruction") ?? null;
-  const docAuditSkill = manifestSkills.find((skill) => skill.id === "doc_spec_audit") ?? null;
-  const auditSweepSkill = manifestSkills.find((skill) => skill.id === "audit_sweep") ?? null;
-  const highRiskSkill = manifestSkills.find((skill) => skill.id === "high_risk_execution") ?? null;
-  const resultContractAlignment = reconstructionSkill?.result_contract_ref === SPEC_RECONSTRUCTION_RESULT_CONTRACT_REF
-    && docAuditSkill?.result_contract_ref === DOC_SPEC_AUDIT_RESULT_CONTRACT_REF
-    && auditSweepSkill?.result_contract_ref === AUDIT_SWEEP_RESULT_CONTRACT_REF
-    && highRiskSkill?.result_contract_ref === HIGH_RISK_EXECUTION_RESULT_CONTRACT_REF;
-  checks.push(
-    buildCheck(
-      "skill_result_contract_alignment",
-      resultContractAlignment,
-      resultContractAlignment
-        ? "Skill manifest result contract refs align with the declared machine contracts"
-        : "Skill manifest result contract refs drifted away from the declared machine contracts",
-    ),
-  );
-
-  const hostRequiredContext = readYamlList(hostProfileText, "required_context");
-  const handoffRequiredContext = readYamlList(handoffText, "required_context_order");
-  const missingHandoffContextEntries = hostRequiredContext.filter((entry) => !handoffRequiredContext.includes(entry));
-  const missingHandoffPaths = [];
-  for (const relativePath of handoffRequiredContext) {
-    const info = await pathExists(path.join(projectRoot, relativePath));
-    if (!info && relativePath !== ".nimi/spec") {
-      missingHandoffPaths.push(relativePath);
-    }
-  }
-  const handoffContextOk = missingHandoffContextEntries.length === 0 && missingHandoffPaths.length === 0;
-  checks.push(
-    buildCheck(
-      "handoff_context_contract",
-      handoffContextOk,
-      handoffContextOk
-        ? "Handoff context order contains the declared host context and all listed paths exist"
-        : [
-          missingHandoffContextEntries.length > 0
-            ? `handoff context is missing host-required entries: ${missingHandoffContextEntries.join(", ")}`
-            : null,
-          missingHandoffPaths.length > 0
-            ? `handoff context paths are missing on disk: ${missingHandoffPaths.join(", ")}`
-            : null,
-        ].filter(Boolean).join("; "),
-    ),
-  );
-
-  const manifestSkillIds = manifestSkills.map((skill) => skill.id);
-  const expectedSkillIds = expectedSkills.map((skill) => skill.id);
-  const skillSurfaceAligned = arraysEqual(manifestSkillIds, expectedSkillIds);
-  checks.push(
-    buildCheck(
-      "skill_surface_alignment",
-      skillSurfaceAligned,
-      skillSurfaceAligned
-        ? "Manifest skills align with the expected skill surfaces declared in skills.yaml"
-        : "Manifest skills and expected skill surfaces drifted out of alignment",
-    ),
-  );
-
-  const admittedAdapterIds = readYamlList(hostAdapterText, "admitted_adapter_ids");
-  const selectedAdapterId = readYamlScalar(hostAdapterText, "selected_adapter_id");
-  const adapterSelected = selectedAdapterId !== null && selectedAdapterId !== "none";
-  const adapterSelectionValid = selectedAdapterId !== null
-    && (!adapterSelected || admittedAdapterIds.includes(selectedAdapterId));
-  checks.push(
-    buildCheck(
-      "host_adapter_contract",
-      adapterSelectionValid,
-      adapterSelectionValid
-        ? adapterSelected
-          ? `Host adapter ${selectedAdapterId} is selected and admitted`
-          : "No host adapter selected; vendor-neutral delegated host posture remains active"
-        : "host-adapter selected_adapter_id must be none or one of admitted_adapter_ids",
-    ),
-  );
-
-  const adapterBoundaryAligned = readYamlScalar(hostAdapterText, "semantic_review_owner") === "nimicoding_manager"
-    && readYamlScalar(hostAdapterText, "handoff_mode") === "prompt_output_evidence_handoff"
-    && readYamlScalar(hostAdapterText, "evidence_mode") === "candidate_only";
-  checks.push(
-    buildCheck(
-      "host_adapter_boundary",
-      adapterBoundaryAligned,
-      adapterBoundaryAligned
-        ? "Host adapter boundary keeps semantic review in nimicoding and limits handoff to prompt/output/evidence"
-        : "host-adapter boundary drifted away from prompt/output/evidence-only handoff with nimicoding semantic review ownership",
-    ),
-  );
-
-  const delegatedContracts = {
-    runtimeOwner: readYamlScalar(handoffText, "runtime_owner"),
-    executionMode: readYamlScalar(runtimeContractText, "runtime_mode"),
-    installerMode: readYamlScalar(installerText, "installer_mode"),
-    selfHostedRuntime: readYamlScalar(handoffText, "self_hosted_runtime") === "true",
-    triggerMode: readYamlScalar(handoffText, "trigger_mode"),
-    expectedSkillIds: manifestSkillIds,
-    selectedAdapterId,
-    admittedAdapterIds,
-    adapterHandoffMode: readYamlScalar(hostAdapterText, "handoff_mode"),
-    semanticReviewOwner: readYamlScalar(hostAdapterText, "semantic_review_owner"),
-  };
-
-  return {
-    checks,
-    skillsConfigText,
-    runtimeInstalled: Boolean(skillsConfigText) && skillsConfigText.includes("runtime_installed: true"),
-    handoffText,
-    manifestText,
-    hostProfileText,
-    hostAdapterText,
-    runtimeContractText,
-    installerText,
-    installerResultText,
-    contractRuntimeOwnersAligned,
-    delegatedModeAligned,
-    selfHostedAligned,
-    referenceChecks,
-    resultContractAlignment,
-    handoffContextOk,
-    handoffRequiredContext,
-    missingHandoffContextEntries,
-    missingHandoffPaths,
-    manifestSkillIds,
-    selectedAdapterId,
-    admittedAdapterIds,
-    adapterSelected,
-    adapterSelectionValid,
-    adapterBoundaryAligned,
-    delegatedContracts,
-  };
-}