9.3 原型与内核的同源

// file: web/verify_ne09.mjs
// tier: W
// verify: NODE_PATH=/opt/homebrew/lib/node_modules node web/verify_ne09.mjs
// 卷二 9.2 / 9.3：Playwright 无头打开单文件原型，断言 DOM 已绘制、按钮数 = 当前可用
// 选项数、点击推进节点；再走「总是选第一个可用选项」的确定性路径（25 事件），把终局
// canonical 与 FNV-1a 摘要与 Python 侧（out/ne_01_3_py.json 的 first 策略）逐位比对。
// NODE_PATH 对 ESM import 无效 → 必须 createRequire。

import { createRequire } from "node:module";
import { readFileSync, mkdirSync } from "node:fs";
import { join, dirname } from "node:path";
import { fileURLToPath, pathToFileURL } from "node:url";

const require = createRequire(import.meta.url);
const { chromium } = require("playwright");

const HERE = dirname(fileURLToPath(import.meta.url));
const ROOT = join(HERE, "..");
const SHOTS = join(ROOT, "out/shots");
mkdirSync(SHOTS, { recursive: true });

const py = JSON.parse(readFileSync(join(ROOT, "out/ne_01_3_py.json"), "utf8"));
const ref = py.find((r) => r.strategy === "first");
const url = pathToFileURL(join(HERE, "dist/ne09.html")).href;

const browser = await chromium.launch();
const ctx = await browser.newContext({ viewport: { width: 820, height: 900 } });
const page = await ctx.newPage();

// 冷启动预热页：首个 page 读像素恒为空白，先画一次 8x8 再丢弃
const warm = await ctx.newPage();
await warm.setContent('<canvas id="w" width="8" height="8"></canvas>');
await warm.evaluate(() => {
  const g = document.getElementById("w").getContext("2d");
  g.fillStyle = "#38bdf8";
  g.fillRect(0, 0, 8, 8);
});
await warm.close();

let fail = 0;
function check(name, got, want) {
  const ok = got === want;
  if (!ok) fail += 1;
  console.log(`${ok ? "OK  " : "FAIL"} ${name}: ${got}${ok ? "" : " != " + want}`);
}

await page.goto(url);
const start = await page.evaluate(() => ({
  node: window.__ne09.node, choices: window.__ne09.choices, available: window.__ne09.available,
}));
check("起始节点", start.node, "d_pier_1");
check("按钮数 = 当前可用选项数", start.choices, start.available);
const firstId = await page.getAttribute("[data-choice-id]", "data-choice-id");
await page.click(`[data-choice-id="${firstId}"]`);
check("点击后节点推进", await page.evaluate(() => window.__ne09.node) !== start.node, true);

const shot = await page.screenshot({ path: join(SHOTS, "ne09_playable.png"), fullPage: true });
console.log(`OK   截图 out/shots/ne09_playable.png ${shot.length} bytes`);
if (shot.length <= 0) { fail += 1; console.log("FAIL 截图为空"); }

await page.goto(url);
await page.evaluate(() => window.__ne09.reset());
let steps = 0;
for (let i = 0; i < 200; i += 1) {
  if ((await page.evaluate(() => window.__ne09.choices)) === 0) break;
  const cid = await page.getAttribute("[data-choice-id]", "data-choice-id");
  await page.click(`[data-choice-id="${cid}"]`);
  steps += 1;
}
const got = await page.evaluate(() => ({
  node: window.__ne09.node, ending: window.__ne09.ending,
  canonical: window.__ne09.canonical, digest: window.__ne09.digest,
}));
check("策略路径事件数", steps, ref.choices.length);
check("终局节点", got.node, ref.node);
check("结局", got.ending, ref.ending);
check("canonical（浏览器 vs Python）", got.canonical, ref.canonical);
check("FNV-1a 摘要（浏览器 vs Python）", got.digest, ref.digest);
check("摘要锚点 4162796975", got.digest, 4162796975);

await browser.close();
console.log(`== verify_ne09: 失败 ${fail}`);
process.exit(fail ? 1 : 0);

OK   策略路径事件数: 25
OK   终局节点: e_lit
OK   结局: 灯守
OK   canonical（浏览器 vs Python）: e_lit|hui=60,mu=65,shen=50,yan=65|cave_explored,found_yan_journal,knows_tide_rule,knows_yan_missing,met_hai,met_hui,met_mu,saw_lighthouse_light|journal,ledger_page,rope_knot,salt_letter|d_pier_1>d_pier_2>d_tavern_1>d_tavern_2>d_tavern_3>d_hub_a1>d_ch_1>d_ch_2>d_ch_3>d_hub_a2>d_lb_1>d_lb_2>d_lb_3>d_tc_1>d_tc_2>d_tc_3>d_ho_1>d_ho_2>d_ho_3>d_hub_b2>d_lt_1>d_lt_2>d_lt_3>d_dq_1>d_dq_2>e_lit
OK   FNV-1a 摘要（浏览器 vs Python）: 4162796975
OK   摘要锚点 4162796975: 4162796975
== verify_ne09: 失败 0

  for (const r of rows) {
    const s = replay(spec, r.choices);
    assert.equal(canonical(s), r.canonical, `${r.strategy} 规范串不一致`);
    assert.equal(digest(s), r.digest, `${r.strategy} 摘要不一致`);
    assert.equal(s.node, r.node, `${r.strategy} 终局节点不一致`);
  }

test("first 策略摘要 = 目录篇 ne_00 的 4162796975", () => {
  const first = rows.find((r) => r.strategy === "first");
  assert.ok(first);
  assert.equal(first.digest, 4162796975);
});

✔ 跨语言同源：Python 四条路径在 TS 侧重放，摘要逐位一致 (3.069209ms)
✔ 四条策略落在三个不同结局上，且四个摘要两两不同 (6.270167ms)
✔ first 策略摘要 = 目录篇 ne_00 的 4162796975 (0.91125ms)
ℹ tests 3
ℹ suites 0
ℹ pass 3
ℹ fail 0
ℹ cancelled 0
ℹ skipped 0
ℹ todo 0
ℹ duration_ms 311.137708