qfai 0.4.9 → 0.5.0

package/dist/cli/index.mjs

@@ -1261,8 +1261,8 @@ import { readFile as readFile4 } from "fs/promises";
 import path9 from "path";
 import { fileURLToPath as fileURLToPath2 } from "url";
 async function resolveToolVersion() {
-  if ("0.4.9".length > 0) {
-    return "0.4.9";
+  if ("0.5.0".length > 0) {
+    return "0.5.0";
   }
   try {
     const packagePath = resolvePackageJsonPath();
@@ -2605,8 +2605,11 @@ async function createReportData(root, validation, configResult) {
     db: dbFiles
   } = await collectContractFiles(uiRoot, apiRoot, dbRoot);
   const contractIndex = await buildContractIndex(root, config);
-  const specContractRefs = await collectSpecContractRefs(specFiles);
   const contractIdList = Array.from(contractIndex.ids);
+  const specContractRefs = await collectSpecContractRefs(
+    specFiles,
+    contractIdList
+  );
   const referencedContracts = /* @__PURE__ */ new Set();
   for (const ids of specContractRefs.specToContractIds.values()) {
     ids.forEach((id) => referencedContracts.add(id));
@@ -2687,6 +2690,7 @@ async function createReportData(root, validation, configResult) {
       },
       specs: {
         contractRefMissing: specContractRefs.missingRefSpecs.size,
+        missingRefSpecs: toSortedArray2(specContractRefs.missingRefSpecs),
         specToContractIds: specToContractIdsRecord
       }
     },
@@ -2769,6 +2773,16 @@ function formatReportMarkdown(data) {
     }
   }
   lines.push("");
+  lines.push("## Spec\u3067 contract-ref \u672A\u5BA3\u8A00");
+  const missingRefSpecs = data.traceability.specs.missingRefSpecs;
+  if (missingRefSpecs.length === 0) {
+    lines.push("- (none)");
+  } else {
+    for (const specId of missingRefSpecs) {
+      lines.push(`- ${specId}`);
+    }
+  }
+  lines.push("");
   lines.push("## SC\u30AB\u30D0\u30EC\u30C3\u30B8");
   lines.push(`- total: ${data.traceability.sc.total}`);
   lines.push(`- covered: ${data.traceability.sc.covered}`);
@@ -2872,10 +2886,13 @@ function formatReportMarkdown(data) {
 function formatReportJson(data) {
   return JSON.stringify(data, null, 2);
 }
-async function collectSpecContractRefs(specFiles) {
+async function collectSpecContractRefs(specFiles, contractIdList) {
   const specToContractIds = /* @__PURE__ */ new Map();
   const idToSpecs = /* @__PURE__ */ new Map();
   const missingRefSpecs = /* @__PURE__ */ new Set();
+  for (const contractId of contractIdList) {
+    idToSpecs.set(contractId, /* @__PURE__ */ new Set());
+  }
   for (const file of specFiles) {
     const text = await readFile11(file, "utf-8");
     const parsed = parseSpec(text, file);
@@ -2883,13 +2900,15 @@ async function collectSpecContractRefs(specFiles) {
     const refs = parsed.contractRefs;
     if (refs.lines.length === 0) {
       missingRefSpecs.add(specKey);
+      continue;
     }
     const currentContracts = specToContractIds.get(specKey) ?? /* @__PURE__ */ new Set();
     for (const id of refs.ids) {
       currentContracts.add(id);
-      const specs = idToSpecs.get(id) ?? /* @__PURE__ */ new Set();
-      specs.add(specKey);
-      idToSpecs.set(id, specs);
+      const specs = idToSpecs.get(id);
+      if (specs) {
+        specs.add(specKey);
+      }
     }
     specToContractIds.set(specKey, currentContracts);
   }