android2harmony 0.1.6 → 0.1.8

package/skills/a2h-app-req-gen/scripts/reqgen/src/generation/render.js

@@ -0,0 +1,353 @@
+import {
+  areaDescriptionMustMarkPending,
+  featureDescriptionMustMarkPending,
+} from "../validation/req-text.js";
+function oneLine(value) {
+  return value.trim().replace(/\s+/gu, " ");
+}
+function sentence(value) {
+  const text = oneLine(value);
+  if (text.length === 0) return text;
+  return /[。！？.!?]$/u.test(text) ? text : `${text}。`;
+}
+function withPendingMarker(value, required) {
+  const description = sentence(value);
+  if (!required || description.includes("待确认")) return description;
+  return `${description}相关信息待确认。`;
+}
+export function resolvedName(value, fallback) {
+  return value.status === "resolved" ? oneLine(value.value) : fallback;
+}
+function renderedValue(value) {
+  if (typeof value === "boolean") return value ? "开启" : "关闭";
+  if (value === null) return "空";
+  if (typeof value === "string") return oneLine(value);
+  if (typeof value === "number" || typeof value === "bigint") {
+    return String(value);
+  }
+  const serialized = JSON.stringify(value);
+  return serialized === undefined ? "值待确认" : oneLine(serialized);
+}
+function actionPhrase(action) {
+  switch (action) {
+    case "click":
+      return "点击";
+    case "long-press":
+      return "长按";
+    case "select":
+      return "选择";
+    case "toggle":
+      return "切换";
+    case "text-input":
+      return "输入";
+    case "text-submit":
+      return "提交";
+    case "back":
+      return "返回";
+    case "swipe":
+      return "滑动";
+    case "drag":
+      return "拖动";
+    default:
+      return oneLine(action);
+  }
+}
+function looksLikeCode(value) {
+  const text = value.trim();
+  return (
+    /(?:===?|!==?|>=|<=|&&|\|\||=>|\?\.|::)/u.test(text) ||
+    /\b(?:null|true|false)\b/iu.test(text) ||
+    /\b[A-Za-z_$][A-Za-z0-9_$]*(?:\.[A-Za-z_$][A-Za-z0-9_$]*)+\b/u.test(text) ||
+    /\b[A-Za-z_$][A-Za-z0-9_$]*\s*\(/u.test(text)
+  );
+}
+function conditionPhrase(conditions) {
+  if (conditions.length === 0) return "";
+  const values = [
+    ...new Set(
+      conditions.map((item) =>
+        looksLikeCode(item.text) ? "满足特定条件" : oneLine(item.text),
+      ),
+    ),
+  ];
+  return `在${values.join("，且")}时，`;
+}
+function targetNames(target) {
+  if ("status" in target) return ["目标待确认"];
+  if (target.kind === "history-back") return ["上一界面"];
+  if (target.kind === "alternative-target-set") {
+    const names = target.branches.map((branch) =>
+      "status" in branch.target
+        ? "目标待确认"
+        : resolvedName(branch.target.displayName, "目标待确认"),
+    );
+    return [...new Set(names)];
+  }
+  return [resolvedName(target.displayName, "目标待确认")];
+}
+function interactionDescription(interaction) {
+  const effects = [
+    ...new Set(
+      interaction.effects
+        .map((effect) => oneLine(effect.text))
+        .filter((text) => text.length > 0),
+    ),
+  ];
+  const targets =
+    interaction.target === undefined ? [] : targetNames(interaction.target);
+  const knownTargets = targets.filter((name) => name !== "目标待确认");
+  const effectText = effects.join("；");
+  const needsTarget = knownTargets.some((name) => !effectText.includes(name));
+  const details = [...effects];
+  if (needsTarget) details.push(`目标为“${knownTargets.join("”或“")}”`);
+  if (targets.includes("目标待确认") && !effectText.includes("待确认")) {
+    details.push("目标待确认");
+  }
+  if (details.length === 0) details.push("执行对应操作");
+  return sentence(
+    `${conditionPhrase(interaction.conditions)}` +
+      `${actionPhrase(interaction.trigger)}后，${details.join("；")}`,
+  );
+}
+function featureDescription(feature) {
+  const parts = [];
+  if (feature.enabled?.status === "resolved") {
+    parts.push(feature.enabled.value ? "该控件可用。" : "该控件不可用。");
+  }
+  if (feature.defaultValue?.status === "resolved") {
+    parts.push(`默认值为“${renderedValue(feature.defaultValue.value)}”。`);
+  }
+  if (feature.options.length > 0) {
+    parts.push(
+      `可选项包括${feature.options
+        .map((option) => `“${oneLine(option.value)}”`)
+        .join("、")}。`,
+    );
+  }
+  const interactions =
+    feature.interactions && feature.interactions.length > 0
+      ? feature.interactions
+      : [
+          {
+            id: `${feature.id}:legacy-interaction`,
+            actionRef: feature.id,
+            trigger: feature.trigger,
+            conditions: feature.conditions,
+            effects: feature.effects,
+            ...(feature.target === undefined ? {} : { target: feature.target }),
+            unresolvedRefs: feature.unresolvedRefs,
+            supportRefs: feature.supportRefs,
+          },
+        ];
+  parts.push(...new Set(interactions.map(interactionDescription)));
+  return withPendingMarker(
+    parts.join(""),
+    featureDescriptionMustMarkPending(feature),
+  );
+}
+function areaDescription(area) {
+  const technicalFallback =
+    /^.+?是一个\s+[A-Za-z][A-Za-z0-9-]*\s+类型的交互区域[。.]?$/u;
+  const descriptions = [
+    ...new Set(
+      area.descriptionItems
+        .map((item) => oneLine(item.text))
+        .filter((text) => text.length > 0 && !technicalFallback.test(text)),
+    ),
+  ];
+  const base =
+    descriptions.length > 0
+      ? descriptions.map(sentence).join("")
+      : area.features.length > 0
+        ? "该区域包含以下可交互功能。"
+        : "该区域用于展示相关内容。";
+  return withPendingMarker(base, areaDescriptionMustMarkPending(area));
+}
+function startupPrefix(area, graph) {
+  const canonicalPath = area.canonicalPath;
+  if (canonicalPath.status !== "resolved") return undefined;
+  const graphPath = graph.paths.find(
+    (path) => path.id === canonicalPath.pathRef,
+  );
+  const entry = graph.entryPoints.find(
+    (candidate) => candidate.id === graphPath?.rootEntryRef,
+  );
+  if (!entry) return undefined;
+  const launcher = entry.launcherAreaRef;
+  const visibleRoots = entry.rootAreaRefs.filter((ref) => ref !== launcher);
+  const visibleArea =
+    visibleRoots.length === 1
+      ? graph.areas.find((candidate) => candidate.id === visibleRoots[0])
+      : undefined;
+  const visibleName =
+    visibleArea === undefined
+      ? undefined
+      : resolvedName(visibleArea.name, "默认区域待确认");
+  if (entry.category === "normal" && entry.startupRole === "default") {
+    return visibleName === undefined
+      ? "打开应用 - 进入主界面"
+      : `打开应用 - 进入"${visibleName}"`;
+  }
+  if (entry.category === "normal" && entry.startupRole === "conditional") {
+    return visibleName === undefined
+      ? "满足启动条件后进入主界面"
+      : `满足启动条件后进入"${visibleName}"`;
+  }
+  if (entry.startupRole === "override") {
+    return visibleName === undefined
+      ? "通过替代启动入口进入应用"
+      : `通过替代启动入口进入"${visibleName}"`;
+  }
+  return undefined;
+}
+export function renderedPath(area, graph) {
+  const areaName = resolvedName(area.displayName, "Area 名称待确认");
+  const path = area.canonicalPath;
+  if (path.status === "unresolved") return `${areaName} 的访问路径待确认`;
+  if (path.status === "unreachable") {
+    return `从正常启动流程无法到达 ${areaName}`;
+  }
+  if (path.segments.length === 0) return `${areaName} 的访问路径待确认`;
+  const startup = startupPrefix(area, graph);
+  const firstArea = oneLine(path.segments[0].areaName);
+  const parts = [startup ?? `打开应用 - 进入"${firstArea}"`];
+  for (const segment of path.segments) {
+    const action =
+      segment.action === undefined ? undefined : actionPhrase(segment.action);
+    const control =
+      segment.controlName === undefined
+        ? undefined
+        : `"${oneLine(segment.controlName)}"`;
+    const target =
+      segment.targetAreaName === undefined
+        ? undefined
+        : `"${oneLine(segment.targetAreaName)}"`;
+    if (action !== undefined && control !== undefined) {
+      parts.push(`${action}${control}`);
+    }
+    if (action !== undefined && target !== undefined && control === undefined) {
+      parts.push(`${action}`);
+    }
+    if (target !== undefined) {
+      parts.push(`进入${target}`);
+    } else if (
+      action !== undefined &&
+      control === undefined &&
+      target === undefined
+    ) {
+      parts.push(`${action}`);
+    }
+  }
+  return parts.join(" - ");
+}
+function assertSameRun(reqModel, graph) {
+  if (
+    reqModel.caseId !== graph.caseId ||
+    JSON.stringify(reqModel.analysisContext) !==
+      JSON.stringify(graph.analysisContext)
+  ) {
+    throw new Error("REQ draft inputs do not describe the same analysis run");
+  }
+}
+/** The deterministic content of one Area: head lines (访问路径/前置条件/
+ * 区域说明) and its Features' {title, body}. Shared by renderReqDraft (flat
+ * text) and renderReqMarkdown (Area-blocked Markdown) so the two never
+ * diverge. */
+function buildAreaContent(area, graph) {
+  const areaName = resolvedName(area.displayName, "Area 名称待确认");
+  const headerLines = [`访问路径：${renderedPath(area, graph)}`];
+  if (area.preconditions.length > 0) {
+    headerLines.push(
+      `前置条件：${area.preconditions
+        .map((item) => oneLine(item.text))
+        .join("；")}`,
+    );
+  }
+  headerLines.push(`区域说明：${areaDescription(area)}`);
+  const features = area.features.map((feature) => ({
+    title: `${areaName} - ${resolvedName(feature.displayName, "控件名称待确认")}`,
+    body: featureDescription(feature),
+  }));
+  return { headerLines, features };
+}
+/** Render a complete, deterministic draft. No model or network is involved. */
+export function renderReqDraft(reqModel, graph) {
+  assertSameRun(reqModel, graph);
+  const lines = [];
+  reqModel.areas.forEach((area, areaIndex) => {
+    const content = buildAreaContent(area, graph);
+    lines.push(...content.headerLines);
+    for (const feature of content.features) {
+      lines.push("", feature.title, feature.body);
+    }
+    if (areaIndex < reqModel.areas.length - 1) lines.push("");
+  });
+  return `${lines.join("\n")}\n`;
+}
+/** Serializes per-Area {headerLines, features} content into the Area-blocked
+ * Markdown form: head lines stay as prose, Features are grouped into one
+ * fenced code block per Area. Operates on already-structured entries (never
+ * re-parses flattened text), so an Agent-rendered body may safely contain
+ * embedded blank lines or multiple lines (e.g. Law 4's 枚举行 per `options`
+ * entry in prompt.ts) without breaking block boundaries. */
+export function serializeReqMarkdown(areas) {
+  const outBlocks = areas.map(({ headerLines, features }) => {
+    if (features.length === 0) return headerLines.join("\n");
+    const featureEntries = features.map(
+      (feature) => `${feature.title}\n${feature.body}`,
+    );
+    return `${headerLines.join("\n")}\n\n\`\`\`\n${featureEntries.join("\n\n")}\n\`\`\``;
+  });
+  return `${outBlocks.join("\n\n")}\n`;
+}
+/** Render the complete, deterministic draft directly as Area-blocked
+ * Markdown — the req.md counterpart of renderReqDraft. */
+export function renderReqMarkdown(reqModel, graph) {
+  assertSameRun(reqModel, graph);
+  return serializeReqMarkdown(
+    reqModel.areas.map((area) => buildAreaContent(area, graph)),
+  );
+}
+// ============================================================================
+// Plain-text per-Area format (req-{idx}.txt)
+// ============================================================================
+/** Build per-Area content for plain-text output:
+ * - Access path inlined into each Feature's title
+ * - Area description discarded
+ * - Preconditions kept as a header line (no markdown syntax) */
+export function buildAreaContentTxt(area, graph) {
+  const areaName = resolvedName(area.displayName, "Area 名称待确认");
+  const accessPath = renderedPath(area, graph);
+  const headerLines = [];
+  if (area.preconditions.length > 0) {
+    headerLines.push(
+      `前置条件：${area.preconditions
+        .map((item) => oneLine(item.text))
+        .join("；")}`,
+    );
+  }
+  const features = area.features.map((feature) => ({
+    title: `${accessPath} - ${areaName} - ${resolvedName(feature.displayName, "控件名称待确认")}`,
+    body: featureDescription(feature),
+  }));
+  return { headerLines, features };
+}
+/** Serialize one Area's content as plain text (no markdown fences, no
+ * "访问路径：" prefix, no "区域说明：" line). */
+export function serializeReqTxtAreaContent(content) {
+  const lines = [...content.headerLines];
+  for (const feature of content.features) {
+    if (lines.length > 0) lines.push("");
+    lines.push(feature.title, feature.body);
+  }
+  return `${lines.join("\n")}\n`;
+}
+/** Render one Area as plain text. */
+export function renderReqTxtArea(area, graph) {
+  return serializeReqTxtAreaContent(buildAreaContentTxt(area, graph));
+}
+/** Render all Areas, returning one plain-text string per Area. */
+export function renderAllReqTxt(reqModel, graph) {
+  assertSameRun(reqModel, graph);
+  return reqModel.areas.map((area) => renderReqTxtArea(area, graph));
+}

package/skills/a2h-app-req-gen/scripts/reqgen/src/generation/types.js

@@ -0,0 +1,2 @@
+/** Contract for deterministic artifacts written under generation/. */
+export const GENERATION_CONTRACT_VERSION = "1.0.0";