@danceiny/gotry 0.0.1-rc.7 → 0.0.1-rc.9

package/dist/scripts/agent-reach-wrapper-tests.js

@@ -17,7 +17,7 @@ import { reach, reachStatus } from '../capabilities/agent-reach.js';
     });
     assert.equal(r.verdict, 'found');
     assert.ok(r.evidence.includes('[agent-reach:web.read@'), '证据链 [agent-reach:web.read@ts]');
-    assert.ok(typeof r.data === 'string' && r.data.includes('Example Domain'), 'content 含 Example Domain');
+    assert.ok(typeof r.data === 'string' && r.data.length > 200, 'content 非空 markdown');
     console.log(`2. web.read example.com → found (${r.latencyMs}ms) OK`);
 }{
     const r = await reach({

package/dist/scripts/async-collect.js

@@ -1,18 +1,37 @@
-import { loadAsyncTicket, settleAsyncTicket, collectDeepPlanning } from '../src/loop.js';
+import { appendFileSync } from 'node:fs';
+import { collectDeepPlanning, loadAsyncTicket, makeJournaledSolvePort, settleAsyncTicket } from '../src/loop.js';
 import { solveUnified } from '../src/unified.js';
+import { openLedgerIfExists } from '../src/state-ledger.js';
 const ticketId = process.argv[2];
+const stateRoot = process.argv[3] ?? '.';
 if (!ticketId) {
-    console.error('用法:npx tsx scripts/async-collect.ts <ticketId>(工单在 gotry-state/async/)');
+    console.error('用法:npx tsx scripts/async-collect.ts <ticketId> [stateRoot](权威在账本 workflow_runs,视图在 gotry-state/async/)');
     process.exit(1);
 }
-const loaded = await loadAsyncTicket(ticketId);
+const loaded = await loadAsyncTicket(ticketId, stateRoot);
 if (!loaded) {
-    console.error(`工单 ${ticketId} 不存在(gotry-state/async/${ticketId}.json)`);
+    console.error(`工单 ${ticketId} 不存在(账本 workflow_runs / gotry-state/async/${ticketId}.json)`);
     process.exit(1);
 }
-const { reply } = await collectDeepPlanning(loaded.state, loaded.ticket, solveUnified);
-const out = await settleAsyncTicket(ticketId, reply);
-console.log(`交付物已落盘:ts/${out}\n\n${reply}`);
+const ledger = openLedgerIfExists(stateRoot);
+const run = ledger?.getWorkflowRun(ticketId);
+if (run?.status === 'settled' && run.deliverable) {
+    console.log(`工单 ${ticketId} 已交付(账本终态,复诵不重算):\n\n${run.deliverable}`);
+    process.exit(0);
+}
+if (!ledger) {
+    console.error(`工单 ${ticketId}:stateRoot(${stateRoot})无账本——持久化先于回收,不应发生`);
+    process.exit(1);
+}
+const solve = makeJournaledSolvePort(ledger, ticketId, solveUnified, {
+    onRealSolve: ()=>{
+        const f = process.env['GOTRY_SOLVE_COUNT_FILE'];
+        if (f) appendFileSync(f, 'solve\n');
+    }
+});
+const { reply } = await collectDeepPlanning(loaded.state, loaded.ticket, solve);
+const out = await settleAsyncTicket(ticketId, reply, stateRoot);
+console.log(`交付物已落盘:${out}\n\n${reply}`);
 
 
 //# sourceURL=/Users/bytedance/work/gotry/ts/scripts/async-collect.ts

package/dist/scripts/companion-tests.js

@@ -0,0 +1,112 @@
+import assert from 'node:assert/strict';
+import { companionId, sensitiveViolation, upsertCompanion } from '../src/companions.js';
+let n = 0;
+function pass(name, body) {
+    body();
+    console.log(`  ${++n}. ${name} OK`);
+}
+pass('负面清单守卫:证件号/手机号拒收入库(红线 6 工程形态)', ()=>{
+    assert.ok(sensitiveViolation('护照号 E12345678')?.includes('负面清单'), '证件拒');
+    assert.ok(sensitiveViolation('我电话 13812345678')?.includes('负面清单'), '手机号拒');
+    assert.equal(sensitiveViolation('爸爸65,轻度高血压,走不动山路'), null, '行为约束正常');
+    const r = upsertCompanion([], {
+        label: '爸爸',
+        constraints: {
+            health: [
+                '轻度高血压'
+            ]
+        },
+        evidence: '身份证号 110101199001011234,轻度高血压'
+    });
+    assert.equal(r.appended, false);
+    assert.ok(r.reason?.includes('负面清单'));
+});
+pass('新建:约束+证据落库,companion_id 语义派生', ()=>{
+    const r = upsertCompanion([], {
+        label: '爸 爸',
+        constraints: {
+            health: [
+                '轻度高血压'
+            ],
+            mobility: '步行≤4h'
+        },
+        evidence: '爸爸65有轻度高血压,别太累'
+    });
+    assert.equal(r.appended, true);
+    assert.equal(r.companionId, '爸爸');
+    const p = r.profiles[0];
+    assert.deepEqual(p.constraints.health, [
+        '轻度高血压'
+    ]);
+    assert.deepEqual(p.evidence, [
+        '爸爸65有轻度高血压,别太累'
+    ]);
+});
+pass('upsert 合并:数组追加不删史/覆盖取新/幂等', ()=>{
+    let ps = [];
+    ps = upsertCompanion(ps, {
+        label: '爸爸',
+        constraints: {
+            health: [
+                '轻度高血压'
+            ],
+            mobility: '步行≤4h'
+        },
+        evidence: '原话一'
+    }).profiles;
+    ps = upsertCompanion(ps, {
+        label: '爸爸',
+        constraints: {
+            health: [
+                '晕车'
+            ],
+            mobility: '步行≤3h'
+        },
+        evidence: '原话二:晕车'
+    }).profiles;
+    const p = ps.find((x)=>x.companion_id === '爸爸');
+    assert.deepEqual(p.constraints.health, [
+        '轻度高血压',
+        '晕车'
+    ], '数组追加不删史');
+    assert.equal(p.constraints.mobility, '步行≤3h', '标量取新值');
+    assert.equal(p.evidence.length, 2, '证据两条');
+    const r3 = upsertCompanion(ps, {
+        label: '爸爸',
+        constraints: {
+            health: [
+                '晕车'
+            ],
+            mobility: '步行≤3h'
+        },
+        evidence: '原话二:晕车'
+    });
+    assert.equal(r3.appended, false, '全量相同幂等 no-op');
+});
+pass('多人并存与 id 稳定性', ()=>{
+    let ps = [];
+    ps = upsertCompanion(ps, {
+        label: '爸爸',
+        constraints: {
+            health: [
+                '高血压'
+            ]
+        },
+        evidence: 'a'
+    }).profiles;
+    ps = upsertCompanion(ps, {
+        label: '女朋友',
+        constraints: {
+            prefs: [
+                '怕吵'
+            ]
+        },
+        evidence: 'b'
+    }).profiles;
+    assert.equal(ps.length, 2);
+    assert.equal(companionId('女 朋友'), '女朋友');
+});
+console.log(`\nCOMPANION TESTS: ${n}/4 OK(memory-design P2 守门面)`);
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/companion-tests.ts

package/dist/scripts/hbcli-tests.js

@@ -66,7 +66,23 @@ await writeFile(fallback, JSON.stringify({
         }
     ]
 }));
-const r4 = await searchHotels({
+{
+    const { writeFileSync, chmodSync } = await import('node:fs');
+    const echoBin = join(tmp, 'hbcli-echo');
+    writeFileSync(echoBin, '#!/bin/sh\necho "ARGS:$@"; echo \'{}\' ');
+    chmodSync(echoBin, 0o755);
+    const re = await searchHotels({
+        destination: '普吉',
+        adults: 2
+    }, {
+        hbcliBin: echoBin
+    });
+    const argLine = JSON.stringify(re);
+    if (!argLine.includes('destination-name') || !argLine.includes('room-occupancies')) {
+        throw new Error(`FAIL: v0.3.0 旗标未对齐,实际 ${argLine.slice(0, 200)}`);
+    }
+    console.log('5. v0.3.0 旗标(--destination-name/--room-occupancies)对齐 OK');
+}const r4 = await searchHotels({
     destination: '普吉'
 }, {
     hbcliBin: failBin2,
@@ -79,7 +95,7 @@ await rm(tmp, {
     recursive: true,
     force: true
 });
-console.log('HBCLI TESTS: 4/4 OK (happy path / error path / no-binary / fallback)');
+console.log('HBCLI TESTS: 5/5 OK (happy / error / no-binary / fallback / v0.3.0 旗标回归)');
 
 
 //# sourceURL=/Users/bytedance/work/gotry/ts/scripts/hbcli-tests.ts

package/dist/scripts/ledger-tests.js

@@ -0,0 +1,344 @@
+import Database from 'better-sqlite3';
+import { existsSync, mkdtempSync, readFileSync, rmSync, writeFileSync, mkdirSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { spawnSync } from 'node:child_process';
+import { ensureLedger, openLedgerIfExists } from '../src/state-ledger.js';
+let pass = 0;
+let fail = 0;
+function assert(cond, msg) {
+    if (cond) {
+        pass++;
+        console.log(`  ok - ${msg}`);
+    } else {
+        fail++;
+        console.error(`  FAIL - ${msg}`);
+    }
+}
+const root = mkdtempSync(join(tmpdir(), 'gotry-ledger-'));
+const ledger = ensureLedger(root);
+const r1 = ledger.appendMotivationPatch({
+    weights: {
+        escape_rest: 0.7
+    },
+    evidence: [
+        '用户原话:想去湖边什么都不干'
+    ],
+    hard: {
+        wake_not_before: '06:30'
+    }
+});
+assert(r1.saved === true, '画像补丁落账(saved)');
+const r2 = ledger.appendMotivationPatch({
+    evidence: [
+        '用户原话:想去湖边什么都不干'
+    ]
+});
+assert(r2.saved === false, '同 evidence 重放幂等(mergeProfile 守门 → 零事件)');
+const before = ledger.countEvents();
+let threw = false;
+try {
+    ledger.db.transaction(()=>{
+        ledger.insertEvent({
+            actor: 'test',
+            kind: 'probe',
+            payload: {
+                x: 1
+            }
+        });
+        throw new Error('boom');
+    })();
+} catch  {
+    threw = true;
+}
+assert(threw && ledger.countEvents() === before, '事务内异常 → 整体回滚,账本无痕(崩溃一致性的单事务证明)');
+threw = false;
+try {
+    ledger.appendWish({
+        name: '无条件憧憬',
+        reason: '',
+        conditions: undefined
+    });
+} catch  {
+    threw = true;
+}
+assert(threw && ledger.countEvents() === before, 'conditions 红线在事务内拒绝且零事件(红线进 schema 层)');
+const w1 = ledger.appendWish({
+    name: '大理·洱海',
+    reason: '',
+    conditions: {
+        days: 5,
+        budget_cny: 4950,
+        best_months: [
+            3,
+            4
+        ]
+    }
+});
+const w2 = ledger.appendWish({
+    name: '大理·洱海',
+    reason: '两周年想再去',
+    conditions: {
+        days: 6
+    }
+});
+assert(w1.added === true && w2.added === false && w1.wish_id === w2.wish_id, '同名愿望幂等更新,wish_id 语义派生稳定');
+assert(ledger.readWishPool().length === 1, '愿望池投影恰 1 条');
+const u1 = ledger.appendUtilityEvent({
+    wish_id: w1.wish_id,
+    kind: 'recalled',
+    ts: '2026-08-28T00:00:00Z',
+    ctx: 'test'
+});
+const u2 = ledger.appendUtilityEvent({
+    wish_id: w1.wish_id,
+    kind: 'recalled',
+    ts: '2026-08-28T00:00:00Z',
+    ctx: 'test'
+});
+assert(u1.appended === true && u2.appended === false, '效用事件语义键幂等(重放 no-op)');
+ledger.appendUtilityEvent({
+    wish_id: w1.wish_id,
+    kind: 'verified_outcome',
+    ts: '2026-08-28T00:00:00Z',
+    ctx: 'test-noattr'
+});
+assert(ledger.readUtilityEvents().at(-1)?.kind === 'applied', '无归因 verified 降级 applied(六件语义纪律随账本)');
+const t1 = ledger.appendTripEvent({
+    destination: '大理',
+    start: '2026-10-01',
+    source: 'user-verbatim',
+    evidence: '用户原话:国庆去了大理'
+});
+const t1dup = ledger.appendTripEvent({
+    destination: '大理',
+    start: '2026-10-01',
+    source: 'user-verbatim',
+    evidence: '用户原话:国庆去了大理'
+});
+assert(t1.appended === true && t1dup.appended === false, '行程 trip_id 幂等');
+const tOverlap = ledger.appendTripEvent({
+    destination: '大理',
+    start: '2026-10-03',
+    source: 'user-verbatim',
+    evidence: '重叠探针'
+});
+assert(tOverlap.appended === false && /重叠/.test(tOverlap.reason ?? ''), '同目的地日期重叠冲突即停(由人裁决)');
+const tBad = ledger.appendTripEvent({
+    destination: 'X地',
+    start: '十月一',
+    source: 'user-verbatim',
+    evidence: 'x'
+});
+assert(tBad.appended === false, '词表外日期拒收(不猜)');
+const cBad = ledger.appendCompanion({
+    label: '爸爸',
+    constraints: {
+        health: [
+            '手机号13800001111'
+        ]
+    },
+    evidence: '探针'
+});
+assert(cBad.appended === false && /负面清单/.test(cBad.reason ?? ''), '同行人负面清单拒收(证件/手机号不入库)');
+const cOk = ledger.appendCompanion({
+    label: '爸爸',
+    constraints: {
+        health: [
+            '轻度高血压'
+        ]
+    },
+    evidence: '用户原话:爸爸65轻度高血压'
+});
+assert(cOk.appended === true && ledger.readCompanions().length === 1, '同行人正常入账');
+const co = ledger.confirmOutcome({
+    wishId: w1.wish_id,
+    attribution: 'helpful',
+    detail: '成了',
+    trip: {
+        destination: '大理',
+        start: '2026-10-01',
+        source: 'wish-confirmed',
+        evidence: `wish ${w1.wish_id} confirm-outcome(helpful)`
+    }
+});
+assert(co.recorded === true, 'confirm-outcome:verified_outcome 效用事件落账');
+assert(co.trip?.appended === false && /重叠/.test(co.trip?.reason ?? ''), 'confirm-outcome 单事务:行程过守门(重叠拒收,与文件版语义一致)——两写同生或同拒');
+const poolBefore = JSON.stringify(ledger.readWishPool());
+const profileBefore = ledger.readMotivation();
+ledger.db.exec('DELETE FROM projection_docs; DELETE FROM projection_items');
+ledger.rebuildProjections();
+assert(JSON.stringify(ledger.readWishPool()) === poolBefore, 'fold 重建:愿望池与直读逐字节一致');
+assert(JSON.stringify(ledger.readMotivation()?.weights) === JSON.stringify(profileBefore?.weights) && (ledger.readMotivation()?.evidence?.length ?? 0) === (profileBefore?.evidence?.length ?? 0), 'fold 重建:画像与直读一致');
+assert(ledger.readCompanions().length === 1 && ledger.readTrips().length === 1, 'fold 重建:同行人投影与行程日志一致');
+const wishAddedSeqs = ledger.readEvents('wish.added', 10).map((e)=>e.seq);
+const firstWishSeq = Math.min(...wishAddedSeqs);
+ledger.appendWish({
+    name: '普吉',
+    reason: '',
+    conditions: {
+        days: 5
+    }
+});
+ledger.rebuildProjections(firstWishSeq);
+assert(ledger.readWishPool().length === 1, `rewind 至 seq ${firstWishSeq}:投影回到历史时点(LangGraph fork 同构)`);
+ledger.rebuildProjections();
+assert(ledger.readWishPool().length === 2, 'rebuild 无参回到最新(events 是唯一权威,投影随时可重建)');
+const mroot = mkdtempSync(join(tmpdir(), 'gotry-migrate-'));
+const mdir = join(mroot, 'gotry-state');
+mkdirSync(mdir, {
+    recursive: true
+});
+writeFileSync(join(mdir, 'motivation-profile.json'), JSON.stringify({
+    weights: {
+        curiosity: 0.6
+    },
+    evidence: [
+        '原话A'
+    ],
+    hard: {},
+    updated_at: '2026-08-01T00:00:00Z'
+}));
+writeFileSync(join(mdir, 'wish-pool.json'), JSON.stringify([
+    {
+        wish_id: 'wLEGACY1',
+        name: '京都',
+        conditions: {
+            days: 7
+        },
+        added_at: '2026-08-01T00:00:00Z'
+    }
+]));
+writeFileSync(join(mdir, 'memory-utility.jsonl'), JSON.stringify({
+    schema: 'memory_utility_observation.v0',
+    event_id: 'wLEGACY1|recalled||',
+    wish_id: 'wLEGACY1',
+    kind: 'recalled',
+    ts: '2026-08-02T00:00:00Z'
+}) + '\n');
+writeFileSync(join(mdir, 'trips.jsonl'), JSON.stringify({
+    schema: 'travel_timeline.v1',
+    trip_id: '京都|2026-04-01|user-verbatim',
+    destination: '京都',
+    start: '2026-04-01',
+    source: 'user-verbatim',
+    evidence: '原话',
+    ts: '2026-08-01T00:00:00Z'
+}) + '\n');
+writeFileSync(join(mdir, 'companions.json'), JSON.stringify([
+    {
+        schema: 'companion_profile.v1',
+        companion_id: '妈妈',
+        label: '妈妈',
+        constraints: {
+            mobility: '步行≤3h'
+        },
+        evidence: [
+            '原话'
+        ],
+        ts: '2026-08-01T00:00:00Z'
+    }
+]));
+const m1 = ensureLedger(mroot);
+assert(m1.readMotivation()?.weights?.['curiosity'] === 0.6, '迁移:画像整档入账');
+assert(String(m1.readWishPool()[0]?.wish_id) === 'wLEGACY1', '迁移:愿望保留原主键');
+assert(m1.readUtilityEvents().length === 1 && m1.readTrips().length === 1 && m1.readCompanions().length === 1, '迁移:效用/行程/同行人入账');
+assert(existsSync(join(mdir, 'pre-ledger-backup', 'wish-pool.json')), '迁移:导入前快照存在(pre-ledger-backup/)');
+const migratedCount = m1.countEvents();
+ensureLedger(mroot);
+assert(m1.countEvents() === migratedCount, '重复 ensure 不重复导入(kv 旗标 + 幂等键双保险)');
+const wroot = mkdtempSync(join(tmpdir(), 'gotry-wf-'));
+const countFile = join(wroot, 'solve-count.txt');
+writeFileSync(countFile, '');
+const crash = spawnSync('npx', [
+    'tsx',
+    'scripts/ledger-workflow-crash.ts',
+    wroot,
+    'dp-crash1',
+    countFile
+], {
+    encoding: 'utf-8'
+});
+assert(crash.status === 9, `崩溃探针按设计 exit 9(实际 ${crash.status}:${(crash.stderr ?? '').slice(0, 200)})`);
+const runRow = openLedgerIfExists(wroot)?.getWorkflowRun('dp-crash1');
+assert(runRow?.status === 'pending', '崩溃后工单仍 pending(账本权威未损)');
+const count1 = readFileSync(countFile, 'utf-8').split('\n').filter(Boolean).length;
+assert(count1 === 1, '崩溃前真实求解恰 1 次');
+const resume = spawnSync('npx', [
+    'tsx',
+    'scripts/async-collect.ts',
+    'dp-crash1',
+    wroot
+], {
+    encoding: 'utf-8',
+    env: {
+        ...process.env,
+        GOTRY_SOLVE_COUNT_FILE: countFile
+    }
+});
+assert(resume.status === 0, `恢复进程 exit 0(实际 ${resume.status}:${(resume.stderr ?? '').slice(0, 300)})`);
+const count2 = readFileSync(countFile, 'utf-8').split('\n').filter(Boolean).length;
+assert(count2 === 1, '恢复时 done 步骤零重算(exactly-once:求解计数仍 1,不重复花钱)');
+assert(existsSync(join(wroot, 'gotry-state', 'async', 'dp-crash1.deliverable.md')), '交付物视图已落盘(.deliverable.md)');
+assert(openLedgerIfExists(wroot)?.getWorkflowRun('dp-crash1')?.status === 'settled', '账本终态 settled');
+const replay = spawnSync('npx', [
+    'tsx',
+    'scripts/async-collect.ts',
+    'dp-crash1',
+    wroot
+], {
+    encoding: 'utf-8',
+    env: {
+        ...process.env,
+        GOTRY_SOLVE_COUNT_FILE: countFile
+    }
+});
+assert(replay.status === 0, '终态复诵 exit 0(幂等)');
+const count3 = readFileSync(countFile, 'utf-8').split('\n').filter(Boolean).length;
+assert(count3 === 1, '终态复诵零重算');
+const pw1 = ledger.requestPendingWrite({
+    idemKey: 'booking:demo-1',
+    seam: 'flight-order-confirm',
+    payload: {
+        flight: 'MU123'
+    }
+});
+const pw2 = ledger.requestPendingWrite({
+    idemKey: 'booking:demo-1',
+    seam: 'flight-order-confirm',
+    payload: {
+        flight: 'MU123'
+    }
+});
+assert(pw1.created === true && pw2.created === false, 'pending_writes 幂等键去重(同一确认不可能登记两次)');
+const cf1 = ledger.confirmPendingWrite('booking:demo-1', 'PNR-ABC');
+const cf2 = ledger.confirmPendingWrite('booking:demo-1', 'PNR-ABC2');
+assert(cf1.ok === true && cf2.ok === false && cf2.status === 'confirmed', 'L3 确认只能发生一次,二连击被拒');
+const cp1 = ledger.compensatePendingWrite('booking:demo-1', '用户改签退款');
+assert(cp1.ok === true && ledger.listPendingWrites()[0]?.status === 'compensated', 'saga 补偿可达(pending/confirmed → compensated)');
+const audit = ledger.readEvents(undefined, 100).filter((e)=>e.kind.startsWith('write.'));
+assert(audit.some((e)=>e.kind === 'write.pending') && audit.some((e)=>e.kind === 'write.confirmed') && audit.some((e)=>e.kind === 'write.compensated'), '写权审计事件链完整(append-only,WriteGate 的 receipt 落点)');
+const forkPath = join(root, 'whatif.db');
+ledger.forkWhatIf(forkPath);
+const forkDb = new Database(forkPath);
+forkDb.prepare("INSERT INTO events (ts, actor, kind, subject_id, payload) VALUES (?, 'test', 'probe', '', '{}')").run(new Date().toISOString());
+const forkCount = forkDb.prepare('SELECT COUNT(*) AS n FROM events').get().n;
+forkDb.close();
+assert(ledger.countEvents() === forkCount - 1, 'what-if 分叉:副本写入不触正本(VACUUM INTO 预演)');
+rmSync(root, {
+    recursive: true,
+    force: true
+});
+rmSync(mroot, {
+    recursive: true,
+    force: true
+});
+rmSync(wroot, {
+    recursive: true,
+    force: true
+});
+console.log(`\nLEDGER TESTS: ${pass} ok, ${fail} fail`);
+if (fail > 0) process.exit(1);
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/ledger-tests.ts

package/dist/scripts/ledger-workflow-crash.js

@@ -0,0 +1,42 @@
+import { appendFileSync } from 'node:fs';
+import { collectDeepPlanning, makeJournaledSolvePort, persistAsyncTicket } from '../src/loop.js';
+import { openLedgerIfExists } from '../src/state-ledger.js';
+const [root, id, countFile] = process.argv.slice(2);
+if (!root || !id || !countFile) {
+    console.error('用法:npx tsx scripts/ledger-workflow-crash.ts <stateRoot> <ticketId> <countFile>');
+    process.exit(1);
+}
+const ticket = {
+    id,
+    objective: '崩溃注入:已求解未交付(settle 前被杀)',
+    requestedAt: new Date().toISOString(),
+    etaLabel: '秒级'
+};
+const state = {
+    calendar: {
+        year: 2026,
+        assertedWeekdays: {}
+    },
+    profile: {},
+    gates: [],
+    wishes: [],
+    spec: {
+        segments: []
+    }
+};
+await persistAsyncTicket(ticket, state, root);
+const ledger = openLedgerIfExists(root);
+const solve = makeJournaledSolvePort(ledger, id, async ()=>({
+        feasible: false,
+        unsat_core: [
+            'crash-probe'
+        ],
+        suggestions: []
+    }), {
+    onRealSolve: ()=>appendFileSync(countFile, 'solve\n')
+});
+await collectDeepPlanning(state, ticket, solve);
+process.exit(9);
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/ledger-workflow-crash.ts

package/dist/scripts/memory-capture-tests.js

@@ -0,0 +1,77 @@
+import assert from 'node:assert/strict';
+import { mergeProfile } from '../src/memory-capture.js';
+const cur = {
+    weights: {
+        escape_rest: 1
+    },
+    evidence: [
+        '用户原话:「想去湖边什么都不干」'
+    ],
+    hard: {
+        wake_not_before: '07:00'
+    }
+};
+{
+    const m1 = mergeProfile(cur, {
+        evidence: [
+            '用户原话:「预算 5000 以内」',
+            '用户原话:「想去湖边什么都不干」'
+        ]
+    });
+    assert.equal(m1?.evidence.length, 2, `追加新+跳过重复,实际 ${m1?.evidence.length}`);
+    assert.ok(m1?.evidence[0].includes('湖边'), '既有 evidence 原位保留(P0)');
+    const m2 = mergeProfile(m1, {
+        evidence: [
+            '用户原话:「预算 5000 以内」'
+        ]
+    });
+    assert.equal(m2, null, '纯重复补丁应返 null(幂等)');
+    console.log('1. 追加不删史 + 幂等 OK');
+}{
+    const m = mergeProfile(cur, {
+        weights: {
+            escape_rest: 0.5,
+            curiosity: 0.5
+        },
+        evidence: [
+            '用户原话:「这次既要躺平也要探索」'
+        ]
+    });
+    const sum = Object.values(m?.weights ?? {}).reduce((a, b)=>a + b, 0);
+    assert.ok(Math.abs(sum - 1) < 0.01, `权重应归一,实际 sum=${sum}`);
+    const noEv = mergeProfile(cur, {
+        weights: {
+            escape_rest: 0.3,
+            curiosity: 0.7
+        }
+    });
+    assert.equal(noEv?.weights.escape_rest, 1, '权重变更无新 evidence 应被拒(P0)');
+    console.log('2. 权重归一 + P0 证据校验 OK');
+}{
+    const first = mergeProfile(null, {
+        weights: {
+            escape_rest: 1
+        },
+        evidence: [
+            '用户原话:「想去湖边」'
+        ]
+    });
+    assert.ok(first && first.evidence.length === 1 && Object.keys(first.weights).length === 1, '首存应生效');
+    assert.equal(mergeProfile(null, null), null, 'null 补丁仍守卫');
+    console.log('2.5 首存语义(current=null→空档案) OK');
+}{
+    assert.equal(mergeProfile(cur, null), null, 'null 补丁');
+    assert.equal(mergeProfile(cur, {}), null, '空补丁');
+    const m = mergeProfile(cur, {
+        hard: {
+            wake_not_before: '08:30',
+            budget_cny: 5000
+        }
+    });
+    assert.equal(m?.hard?.wake_not_before, '08:30', 'hard 后到优先');
+    assert.equal(m?.hard?.budget_cny, 5000, 'hard 新键并入');
+    console.log('3. 空守卫 + hard 覆盖后到优先 OK');
+}console.log('\nMEMORY-MERGE TESTS: 3/3 OK(T1 合并守门层)');
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/memory-capture-tests.ts