@nimiplatform/nimi-coding 0.2.8 → 0.3.0

package/cli/lib/audit-sweep-runtime/inventory-spec-chunks.mjs

@@ -1,425 +0,0 @@
-import path from "node:path";
-
-import { specSurfaceForFile } from "./admissions.mjs";
-
-function evidenceRootsForSpecOwner(ownerDomain, targetRootRef) {
-  if (targetRootRef !== ".") {
-    return [targetRootRef];
-  }
-  const owner = String(ownerDomain ?? "").trim().replace(/\\/g, "/").replace(/^\/+|\/+$/g, "");
-  if (!owner || owner === "spec-meta" || owner === "spec-root") {
-    return [];
-  }
-  if (owner === "project") {
-    return ["src", "lib", "packages", "apps", "tools", "services"];
-  }
-  return [
-    owner,
-    `nimi-${owner}`,
-    `src/${owner}`,
-    `lib/${owner}`,
-    `packages/${owner}`,
-    `packages/nimi-${owner}`,
-    `apps/${owner}`,
-    `tools/${owner}`,
-    `services/${owner}`,
-  ];
-}
-
-const DECLARED_EVIDENCE_REF_PATTERN = /(?:^|[\s"'`([{:;,])((?:\.\/)?(?:[A-Za-z0-9_.@+-]+\/)+[A-Za-z0-9_@+.-]+\.(?:cjs|css|go|js|jsx|json|md|mjs|prisma|proto|py|rs|ts|tsx|yaml|yml))(?:[#:)\\\],;."'`]|\s|$)/gu;
-
-function looksLikeSpecAuthorityRelativeRef(normalized) {
-  const extension = path.posix.extname(normalized);
-  if (![".md", ".yaml", ".yml"].includes(extension)) {
-    return false;
-  }
-  const parts = normalized.split("/");
-  const firstSegment = parts[0];
-  if (["tables", "generated", "kernel"].includes(firstSegment)) {
-    return true;
-  }
-  if (parts[1] === "kernel") {
-    return true;
-  }
-  const specDomainLike = /^(backend|dashboard|realm|runtime|v[0-9]+|vision|workers)$/u.test(firstSegment);
-  return specDomainLike && parts.length <= 2;
-}
-
-function normalizeDeclaredEvidenceRef(value) {
-  const raw = String(value ?? "")
-    .trim()
-    .replace(/\\/g, "/")
-    .replace(/[),.;:]+$/u, "");
-  if (!raw || raw.startsWith("../") || raw.includes("/../") || raw.startsWith("http:") || raw.startsWith("https:")) {
-    return null;
-  }
-  if (raw.startsWith("@") || raw.startsWith("./")) {
-    return null;
-  }
-  const normalized = raw.replace(/^\.\//, "");
-  if (!normalized || normalized.startsWith("../") || normalized.includes("/../") || normalized.startsWith("http:") || normalized.startsWith("https:")) {
-    return null;
-  }
-  if (!normalized.includes("/")) {
-    return null;
-  }
-  const firstSegment = normalized.split("/")[0];
-  if (looksLikeSpecAuthorityRelativeRef(normalized)) {
-    return null;
-  }
-  if (
-    normalized.startsWith(".nimi/spec/")
-    || normalized.startsWith(".nimi/contracts/")
-    || normalized.startsWith(".nimi/methodology/")
-    || normalized.startsWith(".nimi/local/")
-    || normalized.startsWith(".agents/")
-    || normalized.startsWith(".claude/")
-    || normalized.startsWith(".openclaw/")
-    || normalized.includes("/.nimi/spec/")
-    || normalized.includes("/.nimi/contracts/")
-    || normalized.includes("/.nimi/methodology/")
-  ) {
-    return null;
-  }
-  const basename = path.posix.basename(normalized).toLowerCase();
-  if (basename === "agents.md" || basename === "readme.md") {
-    return null;
-  }
-  return normalized;
-}
-
-function candidateEvidenceRefsForDeclaredRef(declaredRef, evidenceRoots) {
-  const normalized = String(declaredRef ?? "").replace(/\\/g, "/").replace(/^\.\//, "").replace(/\/$/, "");
-  if (!normalized) {
-    return [];
-  }
-  const candidates = [normalized];
-  for (const rootRef of evidenceRoots ?? []) {
-    const root = String(rootRef ?? "").replace(/\\/g, "/").replace(/\/$/, "");
-    if (!root || root === "." || root.startsWith(".nimi/spec") || path.posix.extname(root)) {
-      continue;
-    }
-    if (normalized === root || normalized.startsWith(`${root}/`)) {
-      candidates.push(normalized);
-    } else {
-      candidates.push(`${root}/${normalized}`);
-    }
-  }
-  return [...new Set(candidates)].sort();
-}
-
-function normalizedRef(value) {
-  return String(value ?? "").replace(/\\/g, "/").replace(/\/$/, "");
-}
-
-function refInsideRoot(fileRef, rootRef) {
-  const root = normalizedRef(rootRef);
-  return Boolean(root) && (fileRef === root || fileRef.startsWith(`${root}/`));
-}
-
-function delegatedProjectionAdmissionForFile(fileRef, admissions = []) {
-  return admissions.find((admission) => {
-    if (!refInsideRoot(fileRef, admission.authority_root)) {
-      return false;
-    }
-    const relative = fileRef === admission.authority_root
-      ? ""
-      : fileRef.slice(admission.authority_root.length + 1);
-    return !(admission.host_owned_relative_paths ?? []).some((hostOwnedPath) => (
-      relative === hostOwnedPath || relative.startsWith(`${hostOwnedPath}/`)
-    ));
-  }) ?? null;
-}
-
-function declaredRefDelegated(ref, prefixes = []) {
-  const normalized = normalizedRef(ref);
-  return prefixes.some((prefix) => {
-    const normalizedPrefix = normalizedRef(prefix);
-    return normalizedPrefix && (normalized === normalizedPrefix || normalized.startsWith(`${normalizedPrefix}/`));
-  });
-}
-
-function extractDeclaredEvidenceRefs(text) {
-  const refs = [];
-  for (const match of String(text ?? "").matchAll(DECLARED_EVIDENCE_REF_PATTERN)) {
-    const normalized = normalizeDeclaredEvidenceRef(match[1]);
-    if (normalized) {
-      refs.push(normalized);
-    }
-  }
-  return [...new Set(refs)].sort();
-}
-
-function slugPart(value) {
-  return String(value)
-    .replace(/[^a-zA-Z0-9]+/g, "-")
-    .replace(/^-+|-+$/g, "")
-    .toLowerCase() || "spec";
-}
-
-function extractModuleMapRefs(markdownText) {
-  const lines = String(markdownText ?? "").split(/\r?\n/);
-  const refs = [];
-  let inModuleMap = false;
-  for (const line of lines) {
-    const heading = /^(#{1,6})\s+(.+?)\s*$/.exec(line);
-    if (heading) {
-      const headingText = heading[2].trim().toLowerCase();
-      if (headingText === "module map") {
-        inModuleMap = true;
-        continue;
-      }
-      if (inModuleMap && heading[1].length <= 2) {
-        break;
-      }
-    }
-    if (!inModuleMap) {
-      continue;
-    }
-    const match = /^\s*[-*]\s+`([^`]+)`/.exec(line);
-    if (match) {
-      refs.push(match[1].trim());
-    }
-  }
-  return [...new Set(refs)].sort();
-}
-
-function buildDelegatedProjectionChunk({
-  admission,
-  entries,
-  chunkIndex,
-  criteria,
-  authorityTextByRef,
-}) {
-  const authorityRefs = entries.map((entry) => entry.file_ref).sort();
-  const authorityText = authorityRefs
-    .map((authorityRef) => authorityTextByRef?.get(authorityRef) ?? "")
-    .join("\n");
-  const declaredEvidenceRefs = extractDeclaredEvidenceRefs(authorityText);
-  const delegatedDeclaredEvidenceRefs = declaredEvidenceRefs
-    .filter((ref) => declaredRefDelegated(ref, admission.delegated_declared_evidence_prefixes))
-    .sort();
-  const localDeclaredEvidenceRefs = declaredEvidenceRefs
-    .filter((ref) => !declaredRefDelegated(ref, admission.delegated_declared_evidence_prefixes))
-    .sort();
-  const evidenceRoots = [...new Set(admission.local_projection_evidence_roots ?? [])].sort();
-  const declaredEvidenceTargets = localDeclaredEvidenceRefs
-    .map((evidenceRef) => ({
-      source_path: evidenceRef,
-      candidates: candidateEvidenceRefsForDeclaredRef(evidenceRef, evidenceRoots),
-    }))
-    .filter((target) => target.candidates.length > 0);
-  return {
-    chunk_id: [
-      `chunk-${String(chunkIndex).padStart(3, "0")}`,
-      slugPart(admission.owner_domain),
-      "delegated-projection",
-      slugPart(admission.id),
-    ].join("-"),
-    state: "planned",
-    owner_domain: admission.owner_domain,
-    planning_basis: "spec_authority",
-    spec_surface: "delegated-projection",
-    criteria,
-    files: authorityRefs,
-    authority_refs: authorityRefs,
-    authority_kind: "delegated_projection",
-    delegated_projection_id: admission.id,
-    admission_ref: admission.admission_ref,
-    authority_root: admission.authority_root,
-    source_authority_root: admission.source_authority_root,
-    admitted_evidence_roots: evidenceRoots,
-    delegated_evidence_roots: admission.delegated_evidence_roots,
-    delegated_declared_evidence_prefixes: admission.delegated_declared_evidence_prefixes,
-    ...(delegatedDeclaredEvidenceRefs.length > 0 ? {
-      delegated_declared_evidence_refs: delegatedDeclaredEvidenceRefs,
-      declared_evidence_delegation: {
-        status: "delegated_to_source_authority",
-        delegated_ref_count: delegatedDeclaredEvidenceRefs.length,
-        source_authority_root: admission.source_authority_root,
-        delegated_evidence_roots: admission.delegated_evidence_roots,
-      },
-    } : {}),
-    ...(admission.required_verification_commands?.length > 0 ? {
-      required_verification_commands: admission.required_verification_commands,
-    } : {}),
-    ...(declaredEvidenceTargets.length > 0 ? {
-      declared_evidence_targets: declaredEvidenceTargets,
-    } : {}),
-    evidence_roots: evidenceRoots,
-    file_count: authorityRefs.length,
-    finding_count: 0,
-  };
-}
-
-function candidateEvidenceRefsForModuleMapPath(modulePath, evidenceRoots) {
-  const normalized = String(modulePath ?? "").replace(/\\/g, "/").replace(/^\.\//, "").replace(/\/$/, "");
-  if (!normalized || normalized.startsWith("http:") || normalized.startsWith("https:")) {
-    return [];
-  }
-  const firstSegment = normalized.split("/")[0];
-  const genericDirectRoots = new Set([".github", ".nimi", "apps", "config", "lib", "packages", "scripts", "services", "src", "tools"]);
-  const directRoot = genericDirectRoots.has(firstSegment)
-    || (evidenceRoots ?? []).some((rootRef) => {
-      const root = String(rootRef ?? "").replace(/\\/g, "/").replace(/\/$/, "");
-      return root !== "." && (normalized === root || normalized.startsWith(`${root}/`));
-    });
-  const candidates = [];
-  if (directRoot) {
-    candidates.push(normalized);
-  }
-  for (const rootRef of evidenceRoots ?? []) {
-    const root = String(rootRef ?? "").replace(/\\/g, "/").replace(/\/$/, "");
-    if (!root || root.startsWith(".nimi/spec")) {
-      continue;
-    }
-    candidates.push(`${root}/${normalized}`);
-    if (root.startsWith("apps/")) {
-      candidates.push(`${root}/src/${normalized}`);
-      candidates.push(`${root}/src/shell/renderer/${normalized}`);
-      candidates.push(`${root}/src-tauri/src/${normalized}`);
-    }
-  }
-  return [...new Set(candidates)].sort();
-}
-
-export function buildSpecChunks(includedInventory, options) {
-  const sortedEntries = [...includedInventory].sort((left, right) => left.file_ref.localeCompare(right.file_ref));
-  const includedRefs = new Set(sortedEntries.map((entry) => entry.file_ref));
-  const delegatedEntriesByAdmissionRef = new Map();
-  for (const entry of sortedEntries) {
-    const admission = delegatedProjectionAdmissionForFile(entry.file_ref, options.delegatedProjectionAdmissions);
-    if (!admission) {
-      continue;
-    }
-    const entries = delegatedEntriesByAdmissionRef.get(admission.admission_ref) ?? [];
-    entries.push(entry);
-    delegatedEntriesByAdmissionRef.set(admission.admission_ref, entries);
-  }
-  const hostProjectionByHostRef = new Map();
-  const hostProjectionsByPackageRef = new Map();
-  for (const admission of options.packageAuthorityAdmissions ?? []) {
-    for (const projection of admission.host_authority_projection_refs ?? []) {
-      if (!includedRefs.has(projection.package_ref)) {
-        continue;
-      }
-      const enrichedProjection = {
-        host_ref: projection.host_ref,
-        package_ref: projection.package_ref,
-        package_authority_id: admission.id,
-        admission_ref: admission.admission_ref,
-      };
-      hostProjectionByHostRef.set(projection.host_ref, enrichedProjection);
-      const projections = hostProjectionsByPackageRef.get(projection.package_ref) ?? [];
-      projections.push(enrichedProjection);
-      hostProjectionsByPackageRef.set(projection.package_ref, projections);
-    }
-  }
-  let chunkIndex = 0;
-  const chunks = [];
-  const emittedDelegatedAdmissions = new Set();
-  for (const entry of sortedEntries) {
-    const delegatedAdmission = delegatedProjectionAdmissionForFile(entry.file_ref, options.delegatedProjectionAdmissions);
-    if (delegatedAdmission) {
-      if (emittedDelegatedAdmissions.has(delegatedAdmission.admission_ref)) {
-        continue;
-      }
-      emittedDelegatedAdmissions.add(delegatedAdmission.admission_ref);
-      chunkIndex += 1;
-      chunks.push(buildDelegatedProjectionChunk({
-        admission: delegatedAdmission,
-        entries: delegatedEntriesByAdmissionRef.get(delegatedAdmission.admission_ref) ?? [entry],
-        chunkIndex,
-        criteria: options.criteria,
-        authorityTextByRef: options.authorityTextByRef,
-      }));
-      continue;
-    }
-    if (hostProjectionByHostRef.has(entry.file_ref)) {
-      continue;
-    }
-    const surface = specSurfaceForFile(entry.file_ref, options.appSliceAdmissions, options.packageAuthorityAdmissions);
-    const appAdmission = surface.appAdmission;
-    const packageAdmission = surface.packageAdmission;
-    const hostAuthorityProjectionRefs = (hostProjectionsByPackageRef.get(entry.file_ref) ?? [])
-      .sort((left, right) => left.host_ref.localeCompare(right.host_ref));
-    const authorityRefs = [
-      entry.file_ref,
-      ...hostAuthorityProjectionRefs.map((projection) => projection.host_ref),
-    ];
-    const rootAdmissions = (options.auditEvidenceRootAdmissions ?? [])
-      .filter((admission) => admission.owner_domain === surface.ownerDomain && admission.authority_refs.includes(entry.file_ref));
-    const admittedEvidenceRoots = rootAdmissions.flatMap((admission) => admission.evidence_roots);
-    const authorityText = authorityRefs
-      .map((authorityRef) => options.authorityTextByRef?.get(authorityRef) ?? "")
-      .join("\n");
-    const declaredEvidenceRefs = packageAdmission || appAdmission
-      ? []
-      : extractDeclaredEvidenceRefs(authorityText);
-    const evidenceRoots = packageAdmission
-      ? packageAdmission.evidence_roots
-      : appAdmission
-      ? appAdmission.evidence_roots
-      : [...new Set([
-        ...evidenceRootsForSpecOwner(surface.ownerDomain, options.targetRootRef),
-        ...declaredEvidenceRefs,
-        ...admittedEvidenceRoots,
-      ])].sort();
-    const moduleMapRefs = surface.surface === "domain-guides" || surface.surface === "app-domain-guides"
-      ? extractModuleMapRefs(options.authorityTextByRef?.get(entry.file_ref) ?? "")
-      : [];
-    const declaredEvidenceTargets = [
-      ...moduleMapRefs.map((moduleRef) => ({
-        source_path: moduleRef,
-        candidates: candidateEvidenceRefsForModuleMapPath(moduleRef, evidenceRoots),
-      })),
-      ...declaredEvidenceRefs.map((evidenceRef) => ({
-        source_path: evidenceRef,
-        candidates: candidateEvidenceRefsForDeclaredRef(evidenceRef, evidenceRoots),
-      })),
-    ]
-      .filter((target) => target.candidates.length > 0);
-    chunkIndex += 1;
-    const chunkId = [
-      `chunk-${String(chunkIndex).padStart(3, "0")}`,
-      slugPart(surface.ownerDomain),
-      slugPart(surface.surface),
-      slugPart(path.posix.basename(entry.file_ref, path.posix.extname(entry.file_ref))),
-    ].join("-");
-    chunks.push({
-      chunk_id: chunkId,
-      state: "planned",
-      owner_domain: surface.ownerDomain,
-      planning_basis: "spec_authority",
-      spec_surface: surface.surface,
-      criteria: options.criteria,
-      files: authorityRefs,
-      authority_refs: authorityRefs,
-      authority_kind: packageAdmission ? "admitted_package_authority" : (appAdmission ? "admitted_app_slice" : "nimi_spec"),
-      ...(packageAdmission ? {
-        package_authority_id: packageAdmission.id,
-        admission_ref: packageAdmission.admission_ref,
-        authority_root: packageAdmission.authority_root,
-      } : {}),
-      ...(appAdmission ? {
-        app_id: appAdmission.app_id,
-        admission_ref: appAdmission.admission_ref,
-        authority_root: appAdmission.authority_root,
-      } : {}),
-      ...(rootAdmissions.length > 0 ? {
-        evidence_root_admission_refs: rootAdmissions.map((admission) => admission.admission_ref),
-        admitted_evidence_roots: admittedEvidenceRoots,
-      } : {}),
-      ...(hostAuthorityProjectionRefs.length > 0 ? {
-        host_authority_projection_refs: hostAuthorityProjectionRefs,
-      } : {}),
-      ...(declaredEvidenceTargets.length > 0 ? {
-        declared_evidence_targets: declaredEvidenceTargets,
-      } : {}),
-      evidence_roots: evidenceRoots,
-      file_count: authorityRefs.length,
-      finding_count: 0,
-    });
-  }
-  return chunks;
-}