@danceiny/gotry 0.0.1-rc.9 → 0.2.0-rc.28

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

@@ -1,3 +1,8 @@
+/**
+ * 崩溃注入探针(ledger-tests 的子进程):创建 durable 工单 → 求解(step done 落账)
+ * → 在 settle 之前 kill 自身(exit 9)——模拟「一小时后」回收进程中途崩溃。
+ * 用法:npx tsx scripts/ledger-workflow-crash.ts <stateRoot> <ticketId> <countFile>
+ */
 import { appendFileSync } from 'node:fs';
 import { collectDeepPlanning, makeJournaledSolvePort, persistAsyncTicket } from '../src/loop.js';
 import { openLedgerIfExists } from '../src/state-ledger.js';
@@ -10,33 +15,18 @@ const ticket = {
     id,
     objective: '崩溃注入:已求解未交付(settle 前被杀)',
     requestedAt: new Date().toISOString(),
-    etaLabel: '秒级'
+    etaLabel: '秒级',
 };
 const state = {
-    calendar: {
-        year: 2026,
-        assertedWeekdays: {}
-    },
+    calendar: { year: 2026, assertedWeekdays: {} },
     profile: {},
     gates: [],
     wishes: [],
-    spec: {
-        segments: []
-    }
+    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')
-});
+const solve = makeJournaledSolvePort(ledger, id, async () => ({ feasible: false, unsat_core: ['crash-probe'], suggestions: [] }), { onRealSolve: () => appendFileSync(countFile, 'solve\n') });
 await collectDeepPlanning(state, ticket, solve);
+// solve 步骤已 done 落账,交付未落——此刻崩掉
 process.exit(9);
-
-
-//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/ledger-workflow-crash.ts