@danceiny/gotry 0.0.1-rc.21 → 0.0.1-rc.24

package/dist/scripts/dida-sw-probe.js

@@ -0,0 +1,114 @@
+/**
+ * Extension SW 内部探针 v2:/json 列 targets + 原生 WebSocket 附着 SW,
+ * Runtime.evaluate 现场验证 manifest 与 chrome.cookies 行为(只输出 cookie 名)。
+ */
+import { spawn } from 'node:child_process';
+import { mkdtempSync, rmSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { chromium } from 'playwright-core';
+const EXT_DIR = new URL('../../extension/', import.meta.url).pathname;
+const sleep = (ms) => new Promise((r) => setTimeout(r, ms));
+async function cdpEval(wsUrl, expression) {
+    return new Promise((resolve, reject) => {
+        const ws = new WebSocket(wsUrl);
+        const timer = setTimeout(() => { ws.close(); reject(new Error('ws timeout')); }, 15_000);
+        ws.onopen = () => {
+            ws.send(JSON.stringify({ id: 1, method: 'Runtime.evaluate', params: { expression, awaitPromise: true, returnByValue: true } }));
+        };
+        ws.onmessage = (ev) => {
+            const msg = JSON.parse(String(ev.data));
+            if (msg.id === 1) {
+                clearTimeout(timer);
+                ws.close();
+                resolve(msg.result?.result?.value ?? msg.result);
+            }
+        };
+        ws.onerror = () => { clearTimeout(timer); reject(new Error('ws error')); };
+    });
+}
+async function main() {
+    const user = process.env.DIDA_USERNAME ?? '';
+    const pass = process.env.DIDA_PASSWORD ?? '';
+    if (!user || !pass) {
+        console.error('env 必填');
+        process.exit(1);
+    }
+    const profileDir = mkdtempSync(join(tmpdir(), 'gotry-dida-swprobe-'));
+    const chromeBin = process.env.CHROME_BIN
+        ?? `${process.env.HOME}/Library/Caches/ms-playwright/chromium-1228/chrome-mac-arm64/Google Chrome for Testing.app/Contents/MacOS/Google Chrome for Testing`;
+    const chrome = spawn(chromeBin, [
+        '--remote-debugging-port=9235', `--user-data-dir=${profileDir}`, '--no-first-run',
+        `--disable-extensions-except=${EXT_DIR}`, `--load-extension=${EXT_DIR}`, 'about:blank',
+    ], { stdio: 'ignore' });
+    const cleanup = () => { try {
+        chrome.kill();
+    }
+    catch { } try {
+        rmSync(profileDir, { recursive: true, force: true });
+    }
+    catch { } };
+    process.on('exit', cleanup);
+    await sleep(10_000);
+    const browser = await chromium.connectOverCDP('http://127.0.0.1:9235');
+    const context = browser.contexts()[0];
+    // 登录 dida
+    const page = await context.newPage();
+    await page.goto('https://portal.dida.com/login', { waitUntil: 'networkidle', timeout: 45_000 });
+    await page.evaluate(`(() => {
+    document.querySelectorAll('#onetrust-consent-sdk, .nd-cookie-consent, .cdk-overlay-backdrop, .cdk-overlay-container').forEach(el => el.remove())
+  })()`).catch(() => { });
+    await page.waitForSelector('input[name="username"]', { timeout: 20_000 });
+    await page.evaluate(`(() => {
+    const u = document.querySelector('input[name="username"]')
+    const p = document.querySelector('input[name="password"]')
+    const setVal = Object.getOwnPropertyDescriptor(window.HTMLInputElement.prototype, 'value').set
+    setVal.call(u, ${JSON.stringify(user)}); u.dispatchEvent(new Event('input', { bubbles: true }))
+    setVal.call(p, ${JSON.stringify(pass)}); p.dispatchEvent(new Event('input', { bubbles: true }))
+    document.querySelectorAll('.ant-checkbox-wrapper, label[class*="checkbox"]').forEach(w => w.click())
+  })()`);
+    await sleep(500);
+    await page.evaluate(`(() => {
+    Array.from(document.querySelectorAll('button')).find(b => b.textContent.trim().toLowerCase() === 'login')?.click()
+  })()`);
+    try {
+        await page.waitForURL('**/hotel/**', { timeout: 60_000 });
+    }
+    catch {
+        console.log('等待人工验证码 60s…');
+        try {
+            await page.waitForURL('**/hotel/**', { timeout: 60_000 });
+        }
+        catch { }
+    }
+    await sleep(4_000);
+    console.log('final url:', page.url());
+    // 列 targets,找扩展 SW
+    const list = await (await fetch('http://127.0.0.1:9235/json')).json();
+    console.log('targets:', list.map((t) => `${t.type}:${t.url.slice(0, 70)}`).join('\n  '));
+    const sw = list.find((t) => t.type === 'service_worker' && t.url.endsWith('/background.js'));
+    if (!sw) {
+        console.log('未找到扩展 SW target');
+        process.exit(2);
+    }
+    const diag = await cdpEval(sw.webSocketDebuggerUrl, `(async () => {
+    const names = (cs) => cs.map(c => c.name + '@' + c.domain)
+    const m = chrome.runtime.getManifest()
+    const out = { id: chrome.runtime.id, version: m.version, hostPerms: m.host_permissions || [] }
+    try { const all = await chrome.cookies.getAll({}); out.allCount = all.length; out.allSample = names(all.slice(0, 15)) } catch (e) { out.allErr = String(e) }
+    for (const d of ['dida.com', '.dida.com']) {
+      try { out['q_' + d] = names(await chrome.cookies.getAll({ domain: d })) } catch (e) { out['qErr_' + d] = String(e) }
+    }
+    try { out.q_url = names(await chrome.cookies.getAll({ url: 'https://portal.dida.com/' })) } catch (e) { out.qErr_url = String(e) }
+    try { out.q_url_webapi = names(await chrome.cookies.getAll({ url: 'https://portal-webapi.dida.com/' })) } catch (e) { out.qErr_webapi = String(e) }
+    try {
+      const pk = await chrome.cookies.getAll({ domain: 'dida.com', partitionKey: {} })
+      out.q_pk_empty = names(pk)
+    } catch (e) { out.qErr_pk = String(e) }
+    return out
+  })()`);
+    console.log(JSON.stringify(diag, null, 2));
+    await browser.close();
+    process.exit(0);
+}
+main().catch((e) => { console.error('Fatal:', e); process.exit(1); });

package/dist/scripts/diff-test.js

@@ -1,3 +1,15 @@
+/**
+ * 双路径差分测试(v0.0.1-rc.2 起去 Python oracle):同一输入,统一求解器跑两次,
+ * 验证纯 TS 路径在重复调用/不同场景下的稳定性。
+ * 历史(v0.0.1-rc.1 之前):TS 生产 vs Python oracle;npm 一键分发后 Python 路径下线。
+ *
+ * 现在的口径:
+ *   路径 A: segmentsFromCandidate → solveChoiceSegment(枚举,不调 z3 WASM)
+ *   路径 B: 同上,独立模块加载(避开 V8 module cache)
+ *   两者都跑同一份 golden_erhai.json,断言 feasible/recommended/unsat_core 一致。
+ *
+ * 运行(在 ts/ 下,无需 Python 运行时):npx tsx scripts/diff-test.ts
+ */
 import assert from 'node:assert/strict';
 import { readFile } from 'node:fs/promises';
 import { join } from 'node:path';
@@ -6,22 +18,18 @@ import { parseCandidate, parseRequest } from '../src/model.js';
 const payload = JSON.parse(await readFile(join('..', 'data', 'golden_erhai.json'), 'utf-8'));
 const req = parseRequest(payload['request']);
 const candidates = payload['candidates'].map(parseCandidate);
+// 路径 A: 第一遍跑(冷启动)
 const specA = unifiedModule.segmentsFromCandidate(req, candidates);
 const tsA = unifiedModule.solveChoiceSegment(specA, req);
+// 路径 B: 第二遍跑(独立 spec 对象,验证 solveChoiceSegment 对 spec 输入幂等)
 const specB = JSON.parse(JSON.stringify(specA));
 const tsB = unifiedModule.solveChoiceSegment(specB, req);
 console.log(`pure-TS 双路径稳定性(同模块, 独立 spec 实例 — 验证幂等)\n`);
 assert.equal(tsA['recommended'], tsB['recommended'], 'recommended 一致');
-const tsV = Object.fromEntries(tsA['verdicts'].map((v)=>[
-        v['candidate_id'],
-        v
-    ]));
-const tsVc = Object.fromEntries(tsB['verdicts'].map((v)=>[
-        v['candidate_id'],
-        v
-    ]));
+const tsV = Object.fromEntries(tsA['verdicts'].map(v => [v['candidate_id'], v]));
+const tsVc = Object.fromEntries(tsB['verdicts'].map(v => [v['candidate_id'], v]));
 assert.deepEqual(Object.keys(tsV).sort(), Object.keys(tsVc).sort(), '候选集合一致');
-for (const id of Object.keys(tsV)){
+for (const id of Object.keys(tsV)) {
     assert.equal(tsV[id]['feasible'], tsVc[id]['feasible'], `${id} feasible 一致`);
     assert.deepEqual(tsV[id]['unsat_core'] ?? [], tsVc[id]['unsat_core'] ?? [], `${id} unsat_core 一致`);
     if (tsV[id]['wish_pool'] && tsVc[id]['wish_pool']) {
@@ -34,6 +42,3 @@ for (const id of Object.keys(tsV)){
     }
 }
 console.log('\nDIFF TEST OK: 双路径判定一致(纯 TS,无 Python 依赖)');
-
-
-//# sourceURL=ts/scripts/diff-test.ts