nextclaw 0.46.0 → 0.47.0

package/resources/apps/nextclaw-github-issue-watcher/panels/nextclaw-github-issue-watcher-panel.panel/assets/app.js

@@ -0,0 +1,148 @@
+const actions = {
+  sync: "nextclaw-github-issue-watcher-service.issues_sync",
+  list: "nextclaw-github-issue-watcher-service.issues_list",
+};
+
+const elements = {
+  form: document.querySelector("[data-sync-form]"),
+  repository: document.querySelector("[data-repository]"),
+  sync: document.querySelector("[data-sync]"),
+  refresh: document.querySelector("[data-refresh]"),
+  state: document.querySelector("[data-state]"),
+  notice: document.querySelector("[data-notice]"),
+  repositorySummary: document.querySelector("[data-repository-summary]"),
+  syncTime: document.querySelector("[data-sync-time]"),
+  count: document.querySelector("[data-count]"),
+  issues: document.querySelector("[data-issues]"),
+};
+
+function serviceActions() {
+  const bridge = window.nextclaw?.serviceActions;
+  if (!bridge) throw new Error("应用还没有连接到 NextClaw，请刷新后重试。");
+  return bridge;
+}
+
+async function invoke(action, input = {}) {
+  return await serviceActions().invoke(action, input);
+}
+
+function setNotice(message = "", tone = "") {
+  elements.notice.textContent = message;
+  elements.notice.dataset.tone = tone;
+}
+
+function setBusy(busy) {
+  elements.sync.disabled = busy;
+  elements.refresh.disabled = busy;
+  elements.repository.disabled = busy;
+  elements.state.disabled = busy;
+}
+
+function formatTime(epochMs) {
+  if (!Number.isFinite(Number(epochMs))) return "";
+  return `上次同步：${new Date(Number(epochMs)).toLocaleString("zh-CN")}`;
+}
+
+function issueRow(issue) {
+  const row = document.createElement("li");
+  row.className = "issue";
+  const link = document.createElement("a");
+  link.href = typeof issue.url === "string" ? issue.url : "#";
+  link.target = "_blank";
+  link.rel = "noreferrer";
+  link.textContent = `#${issue.number ?? "—"} ${issue.title || "未命名 Issue"}`;
+  const meta = document.createElement("div");
+  meta.className = "meta";
+  for (const text of [
+    issue.state === "closed" ? "已关闭" : "打开",
+    issue.author ? `@${issue.author}` : "",
+    issue.updatedAt
+      ? `更新于 ${new Date(issue.updatedAt).toLocaleString("zh-CN")}`
+      : "",
+  ].filter(Boolean)) {
+    const item = document.createElement("span");
+    item.textContent = text;
+    meta.append(item);
+  }
+  for (const label of Array.isArray(issue.labels) ? issue.labels : []) {
+    const chip = document.createElement("span");
+    chip.className = "label";
+    chip.textContent = label;
+    meta.append(chip);
+  }
+  row.append(link, meta);
+  return row;
+}
+
+function render(snapshot) {
+  const issues = Array.isArray(snapshot?.issues) ? snapshot.issues : [];
+  if (snapshot?.repository && !elements.repository.value.trim())
+    elements.repository.value = snapshot.repository;
+  elements.repositorySummary.textContent = snapshot?.repository
+    ? `${snapshot.repository} · ${snapshot.filter || elements.state.value}`
+    : "还没有同步仓库";
+  elements.syncTime.textContent = formatTime(snapshot?.syncedAtEpochMs);
+  elements.count.textContent = `${issues.length} 条 Issue`;
+  elements.issues.replaceChildren();
+  if (issues.length === 0) {
+    const empty = document.createElement("li");
+    empty.className = "empty";
+    empty.textContent = snapshot?.message || "这个筛选条件下暂时没有 Issue。";
+    elements.issues.append(empty);
+    return;
+  }
+  for (const issue of issues) elements.issues.append(issueRow(issue));
+}
+
+async function refresh() {
+  const snapshot = await invoke(actions.list, { state: elements.state.value });
+  render(snapshot);
+  return snapshot;
+}
+
+elements.form.addEventListener("submit", (event) => {
+  event.preventDefault();
+  const repository = elements.repository.value.trim();
+  if (!repository) {
+    setNotice("先输入 GitHub 仓库，例如 owner/repository。", "error");
+    elements.repository.focus();
+    return;
+  }
+  setBusy(true);
+  setNotice("正在从 GitHub 同步…");
+  void invoke(actions.sync, { repository })
+    .then(async (result) => {
+      await refresh();
+      setNotice(`已同步 ${result.issueCount ?? 0} 条 Issue。`, "success");
+    })
+    .catch((error) =>
+      setNotice(
+        error instanceof Error ? error.message : String(error),
+        "error",
+      ),
+    )
+    .finally(() => setBusy(false));
+});
+
+elements.refresh.addEventListener("click", () => {
+  setBusy(true);
+  void refresh()
+    .then(() => setNotice("列表已刷新。", "success"))
+    .catch((error) =>
+      setNotice(
+        error instanceof Error ? error.message : String(error),
+        "error",
+      ),
+    )
+    .finally(() => setBusy(false));
+});
+
+elements.state.addEventListener("change", () => {
+  void refresh().catch((error) =>
+    setNotice(error instanceof Error ? error.message : String(error), "error"),
+  );
+});
+
+void refresh().catch((error) =>
+  setNotice(error instanceof Error ? error.message : String(error), "error"),
+);

package/resources/apps/nextclaw-github-issue-watcher/panels/nextclaw-github-issue-watcher-panel.panel/index.html

@@ -0,0 +1,190 @@
+<!doctype html>
+<html lang="zh-CN">
+  <head>
+    <meta charset="utf-8" />
+    <meta name="viewport" content="width=device-width, initial-scale=1" />
+    <title>GitHub Issue Watcher</title>
+    <style>
+      :root {
+        color: #20242b;
+        font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
+      }
+      body {
+        margin: 0;
+        background: #f7f8fa;
+      }
+      main {
+        max-width: 880px;
+        margin: 0 auto;
+        padding: 28px 22px 48px;
+      }
+      h1 {
+        margin: 0;
+        font-size: 26px;
+      }
+      .intro {
+        color: #606875;
+        margin: 8px 0 24px;
+      }
+      .controls,
+      .filters {
+        display: flex;
+        flex-wrap: wrap;
+        gap: 10px;
+        align-items: center;
+      }
+      .controls {
+        padding: 16px;
+        background: #fff;
+        border: 1px solid #e4e7ec;
+        border-radius: 12px;
+      }
+      input,
+      select,
+      button {
+        font: inherit;
+        border-radius: 8px;
+      }
+      input,
+      select {
+        min-height: 38px;
+        box-sizing: border-box;
+        border: 1px solid #cbd1d9;
+        padding: 0 10px;
+        background: #fff;
+      }
+      input {
+        flex: 1 1 220px;
+      }
+      button {
+        min-height: 38px;
+        padding: 0 14px;
+        border: 0;
+        background: #2463d4;
+        color: #fff;
+        cursor: pointer;
+      }
+      button.secondary {
+        background: #e8edf7;
+        color: #22324f;
+      }
+      button:disabled {
+        cursor: wait;
+        opacity: 0.62;
+      }
+      .summary {
+        display: flex;
+        justify-content: space-between;
+        gap: 16px;
+        margin: 20px 0 12px;
+        color: #56606d;
+        font-size: 14px;
+      }
+      [data-notice] {
+        min-height: 22px;
+        margin: 12px 0;
+        color: #46515f;
+      }
+      [data-notice][data-tone="error"] {
+        color: #ba1a1a;
+      }
+      [data-notice][data-tone="success"] {
+        color: #167443;
+      }
+      ul {
+        list-style: none;
+        padding: 0;
+        margin: 0;
+        display: grid;
+        gap: 10px;
+      }
+      .issue {
+        background: #fff;
+        border: 1px solid #e4e7ec;
+        border-radius: 12px;
+        padding: 14px 16px;
+      }
+      .issue a {
+        color: #153d88;
+        text-decoration: none;
+        font-weight: 650;
+      }
+      .issue a:hover {
+        text-decoration: underline;
+      }
+      .meta {
+        display: flex;
+        flex-wrap: wrap;
+        gap: 8px 12px;
+        color: #687280;
+        font-size: 13px;
+        margin-top: 7px;
+      }
+      .label {
+        padding: 2px 7px;
+        border-radius: 999px;
+        background: #edf1f7;
+      }
+      .empty {
+        padding: 30px 18px;
+        border: 1px dashed #cbd1d9;
+        border-radius: 12px;
+        background: #fff;
+        color: #687280;
+        text-align: center;
+      }
+      @media (max-width: 560px) {
+        main {
+          padding: 20px 14px 36px;
+        }
+        .summary {
+          display: block;
+        }
+        .summary > * + * {
+          display: block;
+          margin-top: 6px;
+        }
+      }
+    </style>
+  </head>
+  <body>
+    <main>
+      <h1>GitHub Issue Watcher</h1>
+      <p class="intro">
+        把一个仓库的最近 Issue 保存到 NextClaw，之后可离线筛选查看。可选 GitHub
+        Token 仅用于请求，不会出现在这里。
+      </p>
+
+      <form class="controls" data-sync-form>
+        <input
+          data-repository
+          name="repository"
+          autocomplete="off"
+          placeholder="owner/repository，例如 Peiiii/nextclaw"
+          aria-label="GitHub 仓库"
+        />
+        <button type="submit" data-sync>同步 Issue</button>
+        <button class="secondary" type="button" data-refresh>刷新列表</button>
+      </form>
+      <p data-notice aria-live="polite"></p>
+
+      <div class="summary">
+        <span data-repository-summary>还没有同步仓库</span>
+        <span data-sync-time></span>
+      </div>
+      <div class="filters" aria-label="Issue 状态筛选">
+        <label
+          >显示
+          <select data-state>
+            <option value="open">打开的 Issue</option>
+            <option value="closed">已关闭的 Issue</option>
+            <option value="all">全部 Issue</option>
+          </select>
+        </label>
+        <span data-count></span>
+      </div>
+      <ul data-issues aria-live="polite"></ul>
+    </main>
+    <script src="assets/app.js"></script>
+  </body>
+</html>

package/resources/apps/nextclaw-github-issue-watcher/panels/nextclaw-github-issue-watcher-panel.panel/panel-app.json

@@ -0,0 +1,11 @@
+{
+  "id": "nextclaw-github-issue-watcher-panel",
+  "title": "GitHub Issue Watcher",
+  "description": "配置仓库、同步并筛选最近 Issue。",
+  "icon": "🔎",
+  "entry": "index.html",
+  "actions": [
+    "nextclaw-github-issue-watcher-service.issues_sync",
+    "nextclaw-github-issue-watcher-service.issues_list"
+  ]
+}

package/resources/apps/nextclaw-github-issue-watcher/service-components/nextclaw-github-issue-watcher-service/service-app.json

@@ -0,0 +1,36 @@
+{
+  "id": "nextclaw-github-issue-watcher-service",
+  "title": "GitHub Issue Watcher",
+  "description": "同步并读取仓库 Issue；数据保存在此应用自己的存储空间。",
+  "protocol": "wasi-component",
+  "component": { "entry": "service.wasm" },
+  "actions": {
+    "issues_sync": {
+      "risk": "external",
+      "title": "同步 GitHub Issue",
+      "inputSchema": {
+        "type": "object",
+        "required": ["repository"],
+        "properties": {
+          "repository": { "type": "string", "pattern": "^[^/]+/[^/]+$" }
+        },
+        "additionalProperties": false
+      }
+    },
+    "issues_list": {
+      "risk": "read",
+      "title": "查看已同步 Issue",
+      "inputSchema": {
+        "type": "object",
+        "properties": {
+          "state": {
+            "type": "string",
+            "enum": ["open", "closed", "all"],
+            "default": "open"
+          }
+        },
+        "additionalProperties": false
+      }
+    }
+  }
+}

package/resources/apps/nextclaw-github-issue-watcher/tests/public-github-runner-smoke.tools.mjs

@@ -0,0 +1,150 @@
+import { spawn } from "node:child_process";
+import { randomUUID } from "node:crypto";
+import { mkdtemp, rm, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+
+const args = new Map();
+for (let index = 2; index < process.argv.length; index += 2) {
+  args.set(process.argv[index], process.argv[index + 1]);
+}
+
+const runnerPath =
+  args.get("--runner") ?? process.env.NEXTCLAW_WASMTIME_RUNNER_PATH;
+const outputPath = args.get("--output");
+if (!runnerPath) {
+  throw new Error("Pass --runner <path> or set NEXTCLAW_WASMTIME_RUNNER_PATH.");
+}
+
+const repository = args.get("--repository") ?? "Peiiii/nextclaw";
+if (!/^[A-Za-z0-9_.-]+\/[A-Za-z0-9_.-]+$/.test(repository)) {
+  throw new Error("--repository must be owner/repository.");
+}
+
+const appDirectory = path.resolve(
+  path.dirname(fileURLToPath(import.meta.url)),
+  "..",
+);
+const componentPath = path.join(
+  appDirectory,
+  "service-components",
+  "nextclaw-github-issue-watcher-service",
+  "service.wasm",
+);
+const dataDirectory = await mkdtemp(
+  path.join(tmpdir(), "nextclaw-github-issue-watcher-"),
+);
+const runner = spawn(runnerPath, [], { stdio: ["pipe", "pipe", "pipe"] });
+const pendingResponses = new Map();
+const pendingJobs = new Map();
+let outputBuffer = "";
+let stderr = "";
+
+runner.stderr.on("data", (chunk) => {
+  stderr += chunk;
+});
+runner.stdout.on("data", (chunk) => {
+  outputBuffer += chunk;
+  while (true) {
+    const newline = outputBuffer.indexOf("\n");
+    if (newline < 0) break;
+    const line = outputBuffer.slice(0, newline);
+    outputBuffer = outputBuffer.slice(newline + 1);
+    const message = JSON.parse(line);
+    if (message.kind === "response") {
+      pendingResponses.get(message.requestId)?.(message);
+    } else if (message.kind === "job-terminal") {
+      pendingJobs.get(message.jobId)?.(message);
+    }
+  }
+});
+
+function runAction(actionName, input) {
+  return new Promise((resolve, reject) => {
+    const requestId = randomUUID();
+    const jobId = randomUUID();
+    const timeout = setTimeout(() => {
+      pendingResponses.delete(requestId);
+      pendingJobs.delete(jobId);
+      reject(new Error(`Timed out waiting for ${actionName}. ${stderr}`));
+    }, 30_000);
+    pendingResponses.set(requestId, (response) => {
+      pendingResponses.delete(requestId);
+      if (!response.ok) {
+        clearTimeout(timeout);
+        reject(new Error(JSON.stringify(response.error)));
+        return;
+      }
+      pendingJobs.set(jobId, (terminal) => {
+        pendingJobs.delete(jobId);
+        clearTimeout(timeout);
+        if (terminal.status === "succeeded") resolve(terminal.result);
+        else reject(new Error(`${JSON.stringify(terminal.error)}${stderr ? `\nrunner stderr:\n${stderr}` : ""}`));
+      });
+    });
+    runner.stdin.write(
+      `${JSON.stringify({
+        requestId,
+        jobId,
+        operation: "start-job",
+        actionName,
+        input,
+        timeoutMs: 20_000,
+        app: {
+          id: "nextclaw.github-issue-watcher.public-smoke",
+          componentPath,
+          dataDirectory,
+          storageEnabled: true,
+          allowedDomains: ["api.github.com"],
+        },
+      })}\n`,
+    );
+  });
+}
+
+try {
+  const before = await runAction("issues_list", { state: "all" });
+  const sync = await runAction("issues_sync", { repository });
+  const after = await runAction("issues_list", { state: "all" });
+  const firstIssue = after.issues?.[0];
+  const validIssue =
+    Number.isInteger(firstIssue?.number) &&
+    typeof firstIssue.title === "string" &&
+    firstIssue.title.length > 0 &&
+    typeof firstIssue.url === "string" &&
+    firstIssue.url.startsWith("https://github.com/");
+  if (
+    before.persistedBy !== "wasi:keyvalue/store" ||
+    sync.persistedBy !== "wasi:keyvalue/store" ||
+    sync.requestedVia !== "wasi:http/outgoing-handler" ||
+    after.persistedBy !== "wasi:keyvalue/store" ||
+    after.repository !== repository ||
+    !Array.isArray(after.issues) ||
+    after.issues.length === 0 ||
+    !validIssue
+  ) {
+    throw new Error(JSON.stringify({ before, sync, after }));
+  }
+  const summary = {
+    schemaVersion: 1,
+    kind: "nextclaw.portable-runtime.reference-app",
+    ok: true,
+    checks: ["github-sync", "persisted-list", "standard-wasi-kv", "public-issue-shape"],
+    repository,
+    issueCount: after.issues.length,
+    firstIssue: {
+      number: firstIssue.number,
+      title: firstIssue.title,
+      url: firstIssue.url,
+    },
+    persistedBy: after.persistedBy,
+    requestedVia: sync.requestedVia,
+  };
+  const serialized = `${JSON.stringify(summary, null, 2)}\n`;
+  if (outputPath) await writeFile(path.resolve(outputPath), serialized, "utf8");
+  process.stdout.write(serialized);
+} finally {
+  runner.kill("SIGTERM");
+  await rm(dataDirectory, { recursive: true, force: true });
+}

package/resources/apps/nextclaw-github-issue-watcher/tests/service-smoke.json

@@ -0,0 +1,12 @@
+{
+  "schemaVersion": 1,
+  "component": "nextclaw-github-issue-watcher-service",
+  "resetData": true,
+  "steps": [
+    {
+      "action": "issues_list",
+      "input": { "state": "open" },
+      "expect": { "issues": [], "persistedBy": "wasi:keyvalue/store" }
+    }
+  ]
+}

package/resources/apps/nextclaw-portable-runtime-lab/README.md

@@ -11,7 +11,9 @@
 | 专注小钟 | 开始一轮专注、记录完成点，关掉页面后仍计时 | Resident Component、宿主事件投递、持久恢复 |
 | 联系人整理 | 清理姓名空格、邮箱大小写和重复标签 | Consumer 经宿主调用独立 Provider Component |
 
-应用列表还保留一个「开发者验证台」。它不是普通用户的主入口，只用于查看共享 runner、受控网络、越权拒绝、超时恢复和运行时指标等底层证据。
+运行时包还包含一个仅用于验收的标准 Spin SQLite Component：它使用 `fermyon:spin@2.0.0/sqlite` 完成建表、写入和查询；每个 App 实例的数据目录独立，重启后仍从同一私有数据库读取，未授予存储时由标准接口返回拒绝。
+
+应用列表还保留一个「运行时验收与证据」。它不是普通用户的主入口，用来查看已安装实例真实产生的 PRT 验收记录、最近环境、运行时间和脱敏证据。没有记录的项目会显示“未验证”，不会把静态说明当成通过；当前尚未注册检查器的项目会标明“等待对应检查器”。
 
 ## Agent 也能使用
 
@@ -24,11 +26,11 @@
   → Service Action 授权
   → ServiceAppManager
   → wasi-component runtime
-  → 共享 Rust/Wasmtime runner
+  → 共享 Rust/Spin runner（底层使用 Wasmtime）
   → Host capability / component-call
   → Rust/WASM Component
 ```
 
 ## 当前边界
 
-这是单平台技术 MVP：官方 Guest 只覆盖 Rust，不承诺 Python/FastAPI 等现有框架直接编译，也不代表跨平台 runner 分发、签名、升级和生产级资源治理已经完成。
+官方 Guest 开发链路目前以 Rust 为主，不承诺 Python/FastAPI 等现有框架可以直接编译成 Component。具体能力是否完成、在哪个平台通过，以「运行时验收与证据」中当前安装实例的编号记录为准；没有当前证据就不会显示为通过。

package/resources/apps/nextclaw-portable-runtime-lab/manifest.json

@@ -2,11 +2,11 @@
   "schemaVersion": 2,
   "id": "nextclaw.portable-runtime-lab",
   "name": "日常小工具箱",
-  "version": "0.5.2",
+  "version": "0.6.0",
   "description": "清单、便签、专注计时和联系人整理，四个能直接使用的日常小应用。",
   "icon": "assets/icon.svg",
   "engines": {
-    "nextclaw": ">=0.43.0"
+    "nextclaw": ">=0.46.0"
   },
   "presentation": {
     "primaryPanel": "nextclaw-portable-runtime-lab-todos"
@@ -27,6 +27,14 @@
     },
     "allowedDomains": [
       "httpbin.org"
+    ],
+    "secrets": [
+      {
+        "id": "api-token",
+        "title": "验证用 API Token",
+        "description": "仅用于 Portable Capability Lab 的标准 WASI Secret 验证。",
+        "required": false
+      }
     ]
   },
   "components": [
@@ -58,6 +66,10 @@
       "kind": "service",
       "path": "service-components/nextclaw-portable-runtime-lab-capabilities"
     },
+    {
+      "kind": "service",
+      "path": "service-components/nextclaw-portable-runtime-lab-sqlite"
+    },
     {
       "kind": "service",
       "path": "service-components/nextclaw-portable-runtime-lab-resident"

package/resources/apps/nextclaw-portable-runtime-lab/panels/nextclaw-portable-runtime-lab-contacts.panel/assets/app.js

@@ -27,6 +27,12 @@ function serviceActions() {
   return bridge;
 }
 
+function verificationRecords() {
+  const bridge = window.nextclaw?.verificationRecords;
+  if (!bridge) throw new Error("验收记录桥尚未就绪。");
+  return bridge;
+}
+
 async function invoke(actionId, input = {}) {
   return await serviceActions().invoke(actionId, input);
 }
@@ -90,3 +96,18 @@ elements.copy.addEventListener("click", () => {
 void invoke(actionIds.providerStatus).then((status) => {
   elements.count.textContent = `${status.providerCallCount ?? 0} 次`;
 }).catch(() => undefined);
+async function refreshVerificationStatus() {
+  const element = document.querySelector("[data-verification-status]");
+  if (!element) return;
+  try {
+    const payload = await verificationRecords().list({ appId: "nextclaw.portable-runtime-lab", limit: 500 });
+    const entry = (payload?.entries || []).find((candidate) => candidate.acceptanceId === "PRT-COMP-001");
+    element.textContent = entry
+      ? `${entry.status === "passed" ? "已有局部证据" : entry.status} · ${new Date(entry.finishedAt).toLocaleString()}`
+      : "未验证（暂无 PRT-COMP-001 记录）";
+  } catch {
+    element.textContent = "暂时无法读取验收记录";
+  }
+}
+
+void refreshVerificationStatus();

package/resources/apps/nextclaw-portable-runtime-lab/panels/nextclaw-portable-runtime-lab-contacts.panel/index.html

@@ -35,6 +35,7 @@
       <details class="behind-scenes">
         <summary>这和普通表单有什么不同？</summary>
         <p>这个 Panel 只负责收集和展示。真正的规范化逻辑由独立 Provider Component 提供，Consumer 通过宿主受控调用进行组合。以后替换联系人规则，页面不用复制一份实现。</p>
+        <p><strong>已验证能力</strong>：<span data-verification-status>读取中…</span></p>
         <dl><div><dt>组合方式</dt><dd>Host mediated component call</dd></div><div><dt>Provider 已处理</dt><dd data-proof-count>等待执行</dd></div></dl>
       </details>
     </main>

package/resources/apps/nextclaw-portable-runtime-lab/panels/nextclaw-portable-runtime-lab-focus.panel/assets/app.js

@@ -21,6 +21,12 @@ function serviceActions() {
   return bridge;
 }
 
+function verificationRecords() {
+  const bridge = window.nextclaw?.verificationRecords;
+  if (!bridge) throw new Error("验收记录桥尚未就绪。");
+  return bridge;
+}
+
 async function invoke(actionId, input = {}) {
   return await serviceActions().invoke(actionId, input);
 }
@@ -130,3 +136,18 @@ const poll = window.setInterval(() => {
   if (document.visibilityState === "visible") void refresh();
 }, 1000);
 window.addEventListener("pagehide", () => window.clearInterval(poll), { once: true });
+async function refreshVerificationStatus() {
+  const element = document.querySelector("[data-verification-status]");
+  if (!element) return;
+  try {
+    const payload = await verificationRecords().list({ appId: "nextclaw.portable-runtime-lab", limit: 500 });
+    const entry = (payload?.entries || []).find((candidate) => candidate.acceptanceId === "PRT-RES-001");
+    element.textContent = entry
+      ? `${entry.status === "passed" ? "已有局部证据" : entry.status} · ${new Date(entry.finishedAt).toLocaleString()}`
+      : "未验证（暂无 PRT-RES-001 记录）";
+  } catch {
+    element.textContent = "暂时无法读取验收记录";
+  }
+}
+
+void refreshVerificationStatus();