@xioflow/kernel 0.1.4 → 0.2.0

package/dist/recovery/engine.d.ts

@@ -15,5 +15,7 @@ export declare class RecoveryEngine {
      * 恢复协议：对未终结操作现场核查并安全推进至终态或保留隔离
      */
     recover(): Promise<RecoveryReport>;
+    /** 进程组是否仍存在（僵尸也算存在；具体是否"能工作"由驱动的 terminateGroup 判定）。 */
+    private isGroupAlive;
 }
 //# sourceMappingURL=engine.d.ts.map

package/dist/recovery/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/recovery/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGpD,MAAM,WAAW,cAAc;IAC7B,mBAAmB,EAAE;QACnB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,mBAAmB,GAAG,uBAAuB,GAAG,aAAa,GAAG,wBAAwB,CAAC;QACjG,iBAAiB,EAAE,OAAO,CAAC;KAC5B,EAAE,CAAC;CACL;AAED,qBAAa,cAAc;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAFzB,YACmB,MAAM,EAAE,eAAe,EACvB,MAAM,EAAE,cAAc,EACrC;IAEJ;;OAEG;IACU,OAAO,IAAI,OAAO,CAAC,cAAc,CAAC,CAqH9C;CACF"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/recovery/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGpD,MAAM,WAAW,cAAc;IAC7B,mBAAmB,EAAE;QACnB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,mBAAmB,GAAG,uBAAuB,GAAG,aAAa,GAAG,wBAAwB,CAAC;QACjG,iBAAiB,EAAE,OAAO,CAAC;KAC5B,EAAE,CAAC;CACL;AAED,qBAAa,cAAc;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAFzB,YACmB,MAAM,EAAE,eAAe,EACvB,MAAM,EAAE,cAAc,EAGxC;IAED;;OAEG;IACU,OAAO,IAAI,OAAO,CAAC,cAAc,CAAC,CAqO9C;IAED,wDAAwD;IACxD,OAAO,CAAC,YAAY;CAWrB"}

package/dist/recovery/engine.js

@@ -4,6 +4,7 @@ export class RecoveryEngine {
     constructor(domain, driver) {
         this.domain = domain;
         this.driver = driver;
+        this.domain.setDriver?.(driver);
     }
     /**
      * 恢复协议：对未终结操作现场核查并安全推进至终态或保留隔离
@@ -29,7 +30,7 @@ export class RecoveryEngine {
                     completedAt: new Date().toISOString(),
                 };
                 store.recordOperationResult(op.id, failResult, true);
-                this.domain.releaseResources(op.id, op.requiredResources);
+                this.domain.internalReleaseResources(op.id, op.requiredResources);
                 report.recoveredOperations.push({
                     opId: op.id,
                     action: 'cleaned_unspawned',
@@ -38,26 +39,31 @@ export class RecoveryEngine {
                 continue;
             }
             if (op.processIdentity) {
+                const spawnTimeMs = op.processIdentity.spawnTime
+                    ? new Date(op.processIdentity.spawnTime).getTime()
+                    : NaN;
+                const calcDurationMs = () => (!isNaN(spawnTimeMs) ? Math.max(0, Date.now() - spawnTimeMs) : 0);
                 // 场景 2-5：存在进程身份，现场向驱动核实身份
                 const verification = await this.driver.verifyIdentity(op.processIdentity);
                 if (verification === 'is_original_process') {
                     // 进程依然存活，发送停止确认流水线
                     const stopResult = await this.driver.terminate(op.processIdentity, 2000);
-                    if (stopResult.stopped) {
+                    if (stopResult.stopped === 'confirmed_stopped') {
                         const cancelResult = {
                             kind: 'process',
                             status: 'cancelled',
                             exitCode: null,
-                            signal: 'SIGKILL',
+                            signal: null,
                             stdout: '',
-                            stderr: 'Alive process safely terminated and recovered',
+                            stderr: '',
+                            evidence: 'unobserved',
                             isTruncated: false,
                             identityVerification: 'is_original_process',
-                            durationMs: 0,
+                            durationMs: calcDurationMs(),
                             completedAt: new Date().toISOString(),
                         };
                         store.recordOperationResult(op.id, cancelResult, true);
-                        this.domain.releaseResources(op.id, op.requiredResources);
+                        this.domain.internalReleaseResources(op.id, op.requiredResources);
                         report.recoveredOperations.push({
                             opId: op.id,
                             action: 'stopped_alive_process',
@@ -71,7 +77,7 @@ export class RecoveryEngine {
                             status: 'indeterminate',
                             reason: 'Alive process failed to stop during recovery',
                             recoveryGuidance: 'Residual PID detected. Check system processes manually.',
-                            durationMs: 0,
+                            durationMs: calcDurationMs(),
                             completedAt: new Date().toISOString(),
                         };
                         store.recordOperationResult(op.id, indetResult, false);
@@ -83,21 +89,107 @@ export class RecoveryEngine {
                     }
                 }
                 else if (verification === 'not_original_process') {
-                    // 进程已确定死亡，核定终态并结清资源
+                    // 进程已确定死亡。但"leader 死了"不等于"组空了"：被 SIGKILL 的 leader 会
+                    // 变成僵尸，它 fork 出来的后代可能还在运行，而这些进程已经没有 owner。
+                    // 先做 N2 证据核验（bootId + 成员启动时间），证据不足或异常时绝不盲目发信号，判 indeterminate 保留租约；
+                    // 证据齐全时才按 pgid 定向清场；清不掉如实隔离。
+                    const pgid = op.processIdentity.pgid;
+                    let reapedOrphans = false;
+                    if (pgid !== undefined && this.isGroupAlive(pgid)) {
+                        // N2 检查项 1：bootId 跨宿主重启核验
+                        if (op.processIdentity.bootId && this.driver.readBootId) {
+                            const currentBootId = await this.driver.readBootId();
+                            if (currentBootId && op.processIdentity.bootId !== currentBootId) {
+                                // 宿主在崩溃后已发生重启，当前同号 pgid 属于重启后的全新无关进程组，严禁发送信号
+                                const indetResult = {
+                                    kind: 'indeterminate',
+                                    status: 'indeterminate',
+                                    reason: `Host bootId changed (recorded: '${op.processIdentity.bootId}', current: '${currentBootId}'); process group ${pgid} belongs to a different boot session`,
+                                    recoveryGuidance: 'Host was rebooted after the crash. Do not terminate external process groups; manual inspection required.',
+                                    durationMs: calcDurationMs(),
+                                    completedAt: new Date().toISOString(),
+                                };
+                                store.recordOperationResult(op.id, indetResult, false);
+                                report.recoveredOperations.push({
+                                    opId: op.id,
+                                    action: 'isolated_indeterminate',
+                                    resourcesReleased: false,
+                                });
+                                continue;
+                            }
+                        }
+                        // N2 检查项 2：成员启动时间核验（防同一次 boot 下的 PGID 复用）
+                        if (this.driver.getGroupEvidence) {
+                            const members = await this.driver.getGroupEvidence(pgid);
+                            if (members.length > 0) {
+                                const opSpawnMs = Date.parse(op.processIdentity.spawnTime);
+                                if (!isNaN(opSpawnMs)) {
+                                    let hasEarlierProcess = false;
+                                    for (const m of members) {
+                                        if (m.startTimeMs !== null && m.startTimeMs < opSpawnMs - 1000) {
+                                            hasEarlierProcess = true;
+                                            break;
+                                        }
+                                    }
+                                    if (hasEarlierProcess) {
+                                        // 组成员启动时间早于该 op 启动时间，说明当前 pgid 属于外部更早创建的无关进程组
+                                        const indetResult = {
+                                            kind: 'indeterminate',
+                                            status: 'indeterminate',
+                                            reason: `Process group ${pgid} membership start time is earlier than operation spawn time; suspected PGID reuse`,
+                                            recoveryGuidance: 'External process group occupies the recorded PGID. Do not terminate; verify process ownership manually.',
+                                            durationMs: calcDurationMs(),
+                                            completedAt: new Date().toISOString(),
+                                        };
+                                        store.recordOperationResult(op.id, indetResult, false);
+                                        report.recoveredOperations.push({
+                                            opId: op.id,
+                                            action: 'isolated_indeterminate',
+                                            resourcesReleased: false,
+                                        });
+                                        continue;
+                                    }
+                                }
+                            }
+                        }
+                        const reaped = this.driver.terminateGroup
+                            ? await this.driver.terminateGroup(pgid, 2000)
+                            : { stopped: 'not_stopped', scope: 'unknown' };
+                        if (reaped.stopped !== 'confirmed_stopped') {
+                            const indetResult = {
+                                kind: 'indeterminate',
+                                status: 'indeterminate',
+                                reason: 'Owner is dead but its process group could not be confirmed stopped',
+                                recoveryGuidance: 'Residual processes from the crashed owner are still alive; inspect them before retrying.',
+                                durationMs: calcDurationMs(),
+                                completedAt: new Date().toISOString(),
+                            };
+                            store.recordOperationResult(op.id, indetResult, false);
+                            report.recoveredOperations.push({
+                                opId: op.id,
+                                action: 'isolated_indeterminate',
+                                resourcesReleased: false,
+                            });
+                            continue;
+                        }
+                        reapedOrphans = true;
+                    }
                     const deadResult = {
                         kind: 'process',
                         status: 'failed',
-                        exitCode: 137,
-                        signal: 'SIGKILL',
+                        exitCode: null,
+                        signal: null,
                         stdout: '',
-                        stderr: 'Process terminated due to system crash',
+                        stderr: reapedOrphans ? 'orphaned descendants were reaped during recovery' : '',
+                        evidence: 'unobserved',
+                        residualProcessesReaped: reapedOrphans,
                         isTruncated: false,
                         identityVerification: 'not_original_process',
-                        durationMs: 0,
+                        durationMs: calcDurationMs(),
                         completedAt: new Date().toISOString(),
                     };
                     store.recordOperationResult(op.id, deadResult, true);
-                    this.domain.releaseResources(op.id, op.requiredResources);
+                    this.domain.internalReleaseResources(op.id, op.requiredResources);
                     report.recoveredOperations.push({
                         opId: op.id,
                         action: 'marked_dead',
@@ -111,7 +203,7 @@ export class RecoveryEngine {
                         status: 'indeterminate',
                         reason: 'Cannot determine process identity after restart',
                         recoveryGuidance: 'Manual inspection required. Resource isolation remains active.',
-                        durationMs: 0,
+                        durationMs: calcDurationMs(),
                         completedAt: new Date().toISOString(),
                     };
                     store.recordOperationResult(op.id, indetResult, false);
@@ -123,7 +215,38 @@ export class RecoveryEngine {
                 }
             }
         }
+        // 5. [Run 状态收敛] (ARCHITECTURE §3.2 第 5 步)
+        //    本轮裁决后，所属 Run 若已无未终结操作：
+        //    存在 indeterminate ⇒ Run 置 indeterminate；
+        //    否则置 failed(terminationReason = crash_detected)。禁止让 Run 永久停留在 running
+        const activeRuns = store.getActiveRuns(this.domain.domainId);
+        for (const run of activeRuns) {
+            const runOps = store.getOperationsByRun(run.id);
+            const hasUnfinished = runOps.some((o) => o.status !== 'done');
+            if (!hasUnfinished) {
+                const hasIndeterminate = runOps.some((o) => o.result?.status === 'indeterminate');
+                if (hasIndeterminate) {
+                    store.updateRunStatus(run.id, 'indeterminate', undefined, new Date().toISOString());
+                }
+                else {
+                    store.updateRunStatus(run.id, 'failed', 'crash_detected', new Date().toISOString());
+                }
+            }
+        }
         return report;
     }
+    /** 进程组是否仍存在（僵尸也算存在；具体是否"能工作"由驱动的 terminateGroup 判定）。 */
+    isGroupAlive(pgid) {
+        if (typeof this.driver.isGroupAlive === 'function') {
+            return this.driver.isGroupAlive(pgid);
+        }
+        try {
+            process.kill(-pgid, 0);
+            return true;
+        }
+        catch (err) {
+            return err?.code === 'EPERM';
+        }
+    }
 }
 //# sourceMappingURL=engine.js.map

package/dist/recovery/engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/recovery/engine.ts"],"names":[],"mappings":"AAYA,MAAM,OAAO,cAAc;IAEN,MAAM;IACN,MAAM;IAFzB,YACmB,MAAuB,EACvB,MAAsB;sBADtB,MAAM;sBACN,MAAM;IACtB,CAAC;IAEJ;;OAEG;IACI,KAAK,CAAC,OAAO;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,KAAK,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAmB,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;QAE3D,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,MAAM,KAAK,mBAAmB,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC;gBAC7D,4BAA4B;gBAC5B,iBAAiB;gBACjB,MAAM,UAAU,GAA2B;oBACzC,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,QAAQ;oBAChB,QAAQ,EAAE,IAAI;oBACd,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,EAAE;oBACV,MAAM,EAAE,iDAAiD;oBACzD,WAAW,EAAE,KAAK;oBAClB,oBAAoB,EAAE,sBAAsB;oBAC5C,UAAU,EAAE,CAAC;oBACb,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACtC,CAAC;gBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBACrD,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;gBAC1D,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;oBAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;oBACX,MAAM,EAAE,mBAAmB;oBAC3B,iBAAiB,EAAE,IAAI;iBACxB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;gBACvB,0BAA0B;gBAC1B,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;gBAE1E,IAAI,YAAY,KAAK,qBAAqB,EAAE,CAAC;oBAC3C,mBAAmB;oBACnB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;oBACzE,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;wBACvB,MAAM,YAAY,GAA2B;4BAC3C,IAAI,EAAE,SAAS;4BACf,MAAM,EAAE,WAAW;4BACnB,QAAQ,EAAE,IAAI;4BACd,MAAM,EAAE,SAAS;4BACjB,MAAM,EAAE,EAAE;4BACV,MAAM,EAAE,+CAA+C;4BACvD,WAAW,EAAE,KAAK;4BAClB,oBAAoB,EAAE,qBAAqB;4BAC3C,UAAU,EAAE,CAAC;4BACb,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;yBACtC,CAAC;wBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;wBACvD,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;wBAC1D,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;4BAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;4BACX,MAAM,EAAE,uBAAuB;4BAC/B,iBAAiB,EAAE,IAAI;yBACxB,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,iCAAiC;wBACjC,MAAM,WAAW,GAAwB;4BACvC,IAAI,EAAE,eAAe;4BACrB,MAAM,EAAE,eAAe;4BACvB,MAAM,EAAE,8CAA8C;4BACtD,gBAAgB,EAAE,yDAAyD;4BAC3E,UAAU,EAAE,CAAC;4BACb,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;yBACtC,CAAC;wBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;wBACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;4BAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;4BACX,MAAM,EAAE,wBAAwB;4BAChC,iBAAiB,EAAE,KAAK;yBACzB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;qBAAM,IAAI,YAAY,KAAK,sBAAsB,EAAE,CAAC;oBACnD,oBAAoB;oBACpB,MAAM,UAAU,GAA2B;wBACzC,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,QAAQ;wBAChB,QAAQ,EAAE,GAAG;wBACb,MAAM,EAAE,SAAS;wBACjB,MAAM,EAAE,EAAE;wBACV,MAAM,EAAE,wCAAwC;wBAChD,WAAW,EAAE,KAAK;wBAClB,oBAAoB,EAAE,sBAAsB;wBAC5C,UAAU,EAAE,CAAC;wBACb,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;qBACtC,CAAC;oBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;oBACrD,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;oBAC1D,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;wBAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;wBACX,MAAM,EAAE,aAAa;wBACrB,iBAAiB,EAAE,IAAI;qBACxB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,sDAAsD;oBACtD,MAAM,WAAW,GAAwB;wBACvC,IAAI,EAAE,eAAe;wBACrB,MAAM,EAAE,eAAe;wBACvB,MAAM,EAAE,iDAAiD;wBACzD,gBAAgB,EAAE,gEAAgE;wBAClF,UAAU,EAAE,CAAC;wBACb,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;qBACtC,CAAC;oBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;oBACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;wBAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;wBACX,MAAM,EAAE,wBAAwB;wBAChC,iBAAiB,EAAE,KAAK;qBACzB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/recovery/engine.ts"],"names":[],"mappings":"AAYA,MAAM,OAAO,cAAc;IAEN,MAAM;IACN,MAAM;IAFzB,YACmB,MAAuB,EACvB,MAAsB;sBADtB,MAAM;sBACN,MAAM;QAEvB,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,OAAO;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,KAAK,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAmB,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;QAE3D,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,MAAM,KAAK,mBAAmB,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC;gBAC7D,4BAA4B;gBAC5B,iBAAiB;gBACjB,MAAM,UAAU,GAA2B;oBACzC,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,QAAQ;oBAChB,QAAQ,EAAE,IAAI;oBACd,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,EAAE;oBACV,MAAM,EAAE,iDAAiD;oBACzD,WAAW,EAAE,KAAK;oBAClB,oBAAoB,EAAE,sBAAsB;oBAC5C,UAAU,EAAE,CAAC;oBACb,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACtC,CAAC;gBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBACrD,IAAI,CAAC,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;gBAClE,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;oBAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;oBACX,MAAM,EAAE,mBAAmB;oBAC3B,iBAAiB,EAAE,IAAI;iBACxB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;gBACvB,MAAM,WAAW,GAAG,EAAE,CAAC,eAAe,CAAC,SAAS;oBAC9C,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE;oBAClD,CAAC,CAAC,GAAG,CAAC;gBACR,MAAM,cAAc,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAE/F,0BAA0B;gBAC1B,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;gBAE1E,IAAI,YAAY,KAAK,qBAAqB,EAAE,CAAC;oBAC3C,mBAAmB;oBACnB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;oBACzE,IAAI,UAAU,CAAC,OAAO,KAAK,mBAAmB,EAAE,CAAC;wBAC/C,MAAM,YAAY,GAA2B;4BAC3C,IAAI,EAAE,SAAS;4BACf,MAAM,EAAE,WAAW;4BACnB,QAAQ,EAAE,IAAI;4BACd,MAAM,EAAE,IAAI;4BACZ,MAAM,EAAE,EAAE;4BACV,MAAM,EAAE,EAAE;4BACV,QAAQ,EAAE,YAAY;4BACtB,WAAW,EAAE,KAAK;4BAClB,oBAAoB,EAAE,qBAAqB;4BAC3C,UAAU,EAAE,cAAc,EAAE;4BAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;yBACtC,CAAC;wBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;wBACvD,IAAI,CAAC,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;wBAClE,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;4BAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;4BACX,MAAM,EAAE,uBAAuB;4BAC/B,iBAAiB,EAAE,IAAI;yBACxB,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,iCAAiC;wBACjC,MAAM,WAAW,GAAwB;4BACvC,IAAI,EAAE,eAAe;4BACrB,MAAM,EAAE,eAAe;4BACvB,MAAM,EAAE,8CAA8C;4BACtD,gBAAgB,EAAE,yDAAyD;4BAC3E,UAAU,EAAE,cAAc,EAAE;4BAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;yBACtC,CAAC;wBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;wBACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;4BAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;4BACX,MAAM,EAAE,wBAAwB;4BAChC,iBAAiB,EAAE,KAAK;yBACzB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;qBAAM,IAAI,YAAY,KAAK,sBAAsB,EAAE,CAAC;oBACnD,oDAAoD;oBACpD,2CAA2C;oBAC3C,oEAAoE;oBACpE,6BAA6B;oBAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;oBACrC,IAAI,aAAa,GAAG,KAAK,CAAC;oBAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;wBAClD,0BAA0B;wBAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;4BACxD,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;4BACrD,IAAI,aAAa,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;gCACjE,6CAA6C;gCAC7C,MAAM,WAAW,GAAwB;oCACvC,IAAI,EAAE,eAAe;oCACrB,MAAM,EAAE,eAAe;oCACvB,MAAM,EAAE,mCAAmC,EAAE,CAAC,eAAe,CAAC,MAAM,gBAAgB,aAAa,qBAAqB,IAAI,sCAAsC;oCAChK,gBAAgB,EAAE,0GAA0G;oCAC5H,UAAU,EAAE,cAAc,EAAE;oCAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iCACtC,CAAC;gCACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;gCACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;oCAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;oCACX,MAAM,EAAE,wBAAwB;oCAChC,iBAAiB,EAAE,KAAK;iCACzB,CAAC,CAAC;gCACH,SAAS;4BACX,CAAC;wBACH,CAAC;wBAED,0CAA0C;wBAC1C,IAAI,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;4BACjC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;4BACzD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gCACvB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;gCAC3D,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;oCACtB,IAAI,iBAAiB,GAAG,KAAK,CAAC;oCAC9B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;wCACxB,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,CAAC,WAAW,GAAG,SAAS,GAAG,IAAI,EAAE,CAAC;4CAC/D,iBAAiB,GAAG,IAAI,CAAC;4CACzB,MAAM;wCACR,CAAC;oCACH,CAAC;oCACD,IAAI,iBAAiB,EAAE,CAAC;wCACtB,8CAA8C;wCAC9C,MAAM,WAAW,GAAwB;4CACvC,IAAI,EAAE,eAAe;4CACrB,MAAM,EAAE,eAAe;4CACvB,MAAM,EAAE,iBAAiB,IAAI,mFAAmF;4CAChH,gBAAgB,EAAE,yGAAyG;4CAC3H,UAAU,EAAE,cAAc,EAAE;4CAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;yCACtC,CAAC;wCACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;wCACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;4CAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;4CACX,MAAM,EAAE,wBAAwB;4CAChC,iBAAiB,EAAE,KAAK;yCACzB,CAAC,CAAC;wCACH,SAAS;oCACX,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;wBAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc;4BACvC,CAAC,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC;4BAC9C,CAAC,CAAC,EAAE,OAAO,EAAE,aAAsB,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC;wBACnE,IAAI,MAAM,CAAC,OAAO,KAAK,mBAAmB,EAAE,CAAC;4BAC3C,MAAM,WAAW,GAAwB;gCACvC,IAAI,EAAE,eAAe;gCACrB,MAAM,EAAE,eAAe;gCACvB,MAAM,EAAE,oEAAoE;gCAC5E,gBAAgB,EAAE,0FAA0F;gCAC5G,UAAU,EAAE,cAAc,EAAE;gCAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;6BACtC,CAAC;4BACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;4BACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;gCAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;gCACX,MAAM,EAAE,wBAAwB;gCAChC,iBAAiB,EAAE,KAAK;6BACzB,CAAC,CAAC;4BACH,SAAS;wBACX,CAAC;wBACD,aAAa,GAAG,IAAI,CAAC;oBACvB,CAAC;oBACD,MAAM,UAAU,GAA2B;wBACzC,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,QAAQ;wBAChB,QAAQ,EAAE,IAAI;wBACd,MAAM,EAAE,IAAI;wBACZ,MAAM,EAAE,EAAE;wBACV,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,kDAAkD,CAAC,CAAC,CAAC,EAAE;wBAC/E,QAAQ,EAAE,YAAY;wBACtB,uBAAuB,EAAE,aAAa;wBACtC,WAAW,EAAE,KAAK;wBAClB,oBAAoB,EAAE,sBAAsB;wBAC5C,UAAU,EAAE,cAAc,EAAE;wBAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;qBACtC,CAAC;oBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;oBACrD,IAAI,CAAC,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;oBAClE,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;wBAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;wBACX,MAAM,EAAE,aAAa;wBACrB,iBAAiB,EAAE,IAAI;qBACxB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,sDAAsD;oBACtD,MAAM,WAAW,GAAwB;wBACvC,IAAI,EAAE,eAAe;wBACrB,MAAM,EAAE,eAAe;wBACvB,MAAM,EAAE,iDAAiD;wBACzD,gBAAgB,EAAE,gEAAgE;wBAClF,UAAU,EAAE,cAAc,EAAE;wBAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;qBACtC,CAAC;oBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;oBACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;wBAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;wBACX,MAAM,EAAE,wBAAwB;wBAChC,iBAAiB,EAAE,KAAK;qBACzB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,0CAA0C;QAC1C,4BAA4B;QAC5B,6CAA6C;QAC7C,0EAA0E;QAC1E,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC7D,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChD,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;YAC9D,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,eAAe,CAAC,CAAC;gBAClF,IAAI,gBAAgB,EAAE,CAAC;oBACrB,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;gBACtF,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;gBACtF,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,wDAAwD;IAChD,YAAY,CAAC,IAAY;QAC/B,IAAI,OAAQ,IAAI,CAAC,MAAc,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;YAC5D,OAAQ,IAAI,CAAC,MAAc,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACvB,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,OAAO,GAAG,EAAE,IAAI,KAAK,OAAO,CAAC;QAC/B,CAAC;IACH,CAAC;CACF"}

package/dist/store/sqlite.d.ts

@@ -7,6 +7,10 @@ export declare class SqliteStore {
     private initSchema;
     private inTransaction;
     transaction<T>(fn: () => T): T;
+    /**
+     * 触发代际栅栏，永久阻断后续所有写操作 (P0-11)
+     */
+    fence(): void;
     /**
      * @internal 仅供测试套件模拟跨代/代际穿透场景，严禁在生产运行时直接调用
      */
@@ -30,8 +34,12 @@ export declare class SqliteStore {
      */
     reportRunSucceeded(runId: string): void;
     reportRunFailed(runId: string, reason?: TerminationReason): void;
+    reportRunCancelled(runId: string, reason?: TerminationReason): void;
+    getActiveRuns(domainId: string): Run[];
     registerOperationIntent(op: Operation, domainId: string): void;
+    recordPreIntentCancelledOperation(op: Operation, domainId: string, result: OperationResult): void;
     updateOperationStatus(opId: string, status: OperationStatus, processIdentity?: Operation['processIdentity'], outputRef?: string): void;
+    updateOperationResult(opId: string, result: OperationResult): void;
     recordOperationResult(opId: string, result: OperationResult, releaseResources?: boolean): void;
     getOperation(id: string): (Operation & {
         domainId: string;
@@ -42,12 +50,16 @@ export declare class SqliteStore {
     getUnfinishedOperations(domainId: string): (Operation & {
         domainId: string;
     })[];
+    getAllOperations(domainId: string): (Operation & {
+        domainId: string;
+    })[];
     getPersistedResourceLeases(domainId: string): (ResourceLease & {
         budget?: ResourceBudget;
     })[];
     releaseResourceLease(operationId: string, resourceId?: string): void;
     recordEventAndTransitionState(event: Omit<JournalEvent, 'seq'>): number;
     getJournalEvents(domainId: string, fromSeq?: number): JournalEvent[];
+    getEventsByRun(runId: string): JournalEvent[];
     close(): void;
 }
 //# sourceMappingURL=sqlite.d.ts.map

package/dist/store/sqlite.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/store/sqlite.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,IAAI,EACJ,GAAG,EACH,SAAS,EACT,eAAe,EACf,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EAIf,MAAM,aAAa,CAAC;AAErB,qBAAa,WAAW;IACtB,OAAO,CAAC,EAAE,CAAe;IACzB,OAAO,CAAC,YAAY,CAAuB;IAE3C,YAAY,MAAM,EAAE,MAAM,EAIzB;IAED,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,aAAa,CAAS;IAEvB,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAgBpC;IAED;;OAEG;IACI,+BAA+B,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEjE;IAED;;OAEG;IACI,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEjD;IAEM,eAAe,IAAI,MAAM,GAAG,IAAI,CAEtC;IAEM,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAYpD;IAEM,iBAAiB,CACtB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,KAAK,GAAE,MAAc,EACrB,KAAK,GAAE,OAAe,GACrB,WAAW,CA8Db;IAEM,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAOhE;IAEM,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAOhD;IAEM,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAgBhC;IAEM,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAWtC;IAEM,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAuB7B;IAEM,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,GAAG,GAAG,IAAI,CAepC;IAEM,eAAe,CACpB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,eAAe,EACvB,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,OAAO,CAAC,EAAE,MAAM,GACf,IAAI,CAuBN;IAED;;OAEG;IACI,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAsB7C;IAEM,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAE,iBAA+B,GAAG,IAAI,CAOnF;IAEM,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAgEpE;IAEM,qBAAqB,CAC1B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,eAAe,EACvB,eAAe,CAAC,EAAE,SAAS,CAAC,iBAAiB,CAAC,EAC9C,SAAS,CAAC,EAAE,MAAM,GACjB,IAAI,CAwBN;IAEM,qBAAqB,CAC1B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,eAAe,EACvB,gBAAgB,GAAE,OAAc,GAC/B,IAAI,CA+BN;IAEM,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAmBzE;IAEM,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAkB7E;IAEM,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAqBrF;IAEM,0BAA0B,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,aAAa,GAAG;QAAE,MAAM,CAAC,EAAE,cAAc,CAAA;KAAE,CAAC,EAAE,CAUnG;IAEM,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAQ1E;IAEM,6BAA6B,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,GAAG,MAAM,CAc7E;IAEM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU,GAAG,YAAY,EAAE,CAgB7E;IAEM,KAAK,IAAI,IAAI,CAEnB;CACF"}
+{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/store/sqlite.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,IAAI,EACJ,GAAG,EACH,SAAS,EACT,eAAe,EACf,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EAIf,MAAM,aAAa,CAAC;AAErB,qBAAa,WAAW;IACtB,OAAO,CAAC,EAAE,CAAe;IACzB,OAAO,CAAC,YAAY,CAAuB;IAE3C,YAAY,MAAM,EAAE,MAAM,EAIzB;IAED,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,aAAa,CAAS;IAEvB,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAgBpC;IAED;;OAEG;IACI,KAAK,IAAI,IAAI,CAEnB;IAED;;OAEG;IACI,+BAA+B,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEjE;IAED;;OAEG;IACI,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEjD;IAEM,eAAe,IAAI,MAAM,GAAG,IAAI,CAEtC;IAEM,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAYpD;IAEM,iBAAiB,CACtB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,KAAK,GAAE,MAAc,EACrB,KAAK,GAAE,OAAe,GACrB,WAAW,CA8Db;IAEM,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAOhE;IAEM,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAOhD;IAEM,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAgBhC;IAEM,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAWtC;IAEM,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CA+B7B;IAEM,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,GAAG,GAAG,IAAI,CAepC;IAEM,eAAe,CACpB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,eAAe,EACvB,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,OAAO,CAAC,EAAE,MAAM,GACf,IAAI,CA+BN;IAED;;OAEG;IACI,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CA8B7C;IAEM,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAE,iBAA+B,GAAG,IAAI,CAanF;IAEM,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAE,iBAAoC,GAAG,IAAI,CAY3F;IAEM,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,GAAG,EAAE,CAc5C;IAEM,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAuEpE;IAEM,iCAAiC,CACtC,EAAE,EAAE,SAAS,EACb,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,eAAe,GACtB,IAAI,CAsDN;IAEM,qBAAqB,CAC1B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,eAAe,EACvB,eAAe,CAAC,EAAE,SAAS,CAAC,iBAAiB,CAAC,EAC9C,SAAS,CAAC,EAAE,MAAM,GACjB,IAAI,CAwBN;IAEM,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,GAAG,IAAI,CAYxE;IAEM,qBAAqB,CAC1B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,eAAe,EACvB,gBAAgB,GAAE,OAAc,GAC/B,IAAI,CAqCN;IAEM,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAmBzE;IAEM,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAkB7E;IAEM,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAqBrF;IAEM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAqB9E;IAEM,0BAA0B,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,aAAa,GAAG;QAAE,MAAM,CAAC,EAAE,cAAc,CAAA;KAAE,CAAC,EAAE,CAUnG;IAEM,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAQ1E;IAEM,6BAA6B,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,GAAG,MAAM,CAe7E;IAEM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU,GAAG,YAAY,EAAE,CAgB7E;IAEM,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,EAAE,CAgBnD;IAEM,KAAK,IAAI,IAAI,CAEnB;CACF"}

package/dist/store/sqlite.js

@@ -38,6 +38,12 @@ export class SqliteStore {
             this.inTransaction = false;
         }
     }
+    /**
+     * 触发代际栅栏，永久阻断后续所有写操作 (P0-11)
+     */
+    fence() {
+        this.currentEpoch = -1;
+    }
     /**
      * @internal 仅供测试套件模拟跨代/代际穿透场景，严禁在生产运行时直接调用
      */
@@ -174,6 +180,12 @@ export class SqliteStore {
     }
     saveRun(run) {
         this.verifyEpochFencing(run.domainId);
+        const existing = this.getRun(run.id);
+        if (existing && (existing.status === 'succeeded' || existing.status === 'failed' || existing.status === 'cancelled' || existing.status === 'indeterminate')) {
+            if (existing.status !== run.status) {
+                throw new Error(`Cannot transition Run "${run.id}" from terminal status "${existing.status}" to "${run.status}".`);
+            }
+        }
         const sanitizedConfig = sanitizeConfigSnapshot(run.configSnapshotWhiteList);
         const stmt = this.db.prepare(`
       INSERT INTO runs (id, task_id, domain_id, owner, status, termination_reason, started_at, ended_at, config_snapshot)
@@ -208,6 +220,12 @@ export class SqliteStore {
             const run = this.getRun(runId);
             if (run) {
                 this.verifyEpochFencing(run.domainId);
+                if (run.status === 'succeeded' || run.status === 'failed' || run.status === 'cancelled' || run.status === 'indeterminate') {
+                    if (run.status === status) {
+                        return;
+                    }
+                    throw new Error(`Cannot transition Run "${runId}" from terminal status "${run.status}" to "${status}".`);
+                }
             }
             const stmt = this.db.prepare(`
         UPDATE runs
@@ -235,6 +253,11 @@ export class SqliteStore {
             if (!run)
                 throw new Error(`Run '${runId}' not found`);
             this.verifyEpochFencing(run.domainId);
+            if (run.status === 'succeeded')
+                return;
+            if (run.status === 'failed' || run.status === 'cancelled' || run.status === 'indeterminate') {
+                throw new Error(`Cannot report run '${runId}' succeeded: already finalized with status '${run.status}'`);
+            }
             const ops = this.getOperationsByRun(runId);
             const unfinished = ops.filter((op) => op.status !== 'done');
             if (unfinished.length > 0) {
@@ -242,7 +265,8 @@ export class SqliteStore {
             }
             const indeterminate = ops.filter((op) => op.result?.status === 'indeterminate');
             if (indeterminate.length > 0) {
-                this.updateRunStatus(runId, 'indeterminate', 'crash_detected', new Date().toISOString());
+                const indetReason = indeterminate[0].result?.terminationReason || undefined;
+                this.updateRunStatus(runId, 'indeterminate', indetReason, new Date().toISOString());
                 return;
             }
             this.updateRunStatus(runId, 'succeeded', 'completed', new Date().toISOString());
@@ -254,32 +278,68 @@ export class SqliteStore {
             if (!run)
                 throw new Error(`Run '${runId}' not found`);
             this.verifyEpochFencing(run.domainId);
+            if (run.status === 'failed')
+                return;
+            if (run.status === 'succeeded' || run.status === 'cancelled' || run.status === 'indeterminate') {
+                throw new Error(`Cannot report run '${runId}' failed: already finalized with status '${run.status}'`);
+            }
             this.updateRunStatus(runId, 'failed', reason, new Date().toISOString());
         });
     }
+    reportRunCancelled(runId, reason = 'user_cancelled') {
+        this.transaction(() => {
+            const run = this.getRun(runId);
+            if (!run)
+                throw new Error(`Run '${runId}' not found`);
+            this.verifyEpochFencing(run.domainId);
+            if (run.status === 'succeeded' || run.status === 'failed' || run.status === 'cancelled' || run.status === 'indeterminate') {
+                throw new Error(`Cannot report run '${runId}' cancelled: already finalized with status '${run.status}'`);
+            }
+            this.updateRunStatus(runId, 'cancelled', reason, new Date().toISOString());
+        });
+    }
+    getActiveRuns(domainId) {
+        const stmt = this.db.prepare('SELECT * FROM runs WHERE domain_id = ? AND status = ?');
+        const rows = stmt.all(domainId, 'running');
+        return rows.map((row) => ({
+            id: row.id,
+            taskId: row.task_id,
+            domainId: row.domain_id,
+            owner: row.owner,
+            status: row.status,
+            terminationReason: row.termination_reason,
+            startedAt: row.started_at,
+            endedAt: row.ended_at || undefined,
+            configSnapshotWhiteList: row.config_snapshot ? JSON.parse(row.config_snapshot) : undefined,
+        }));
+    }
     registerOperationIntent(op, domainId) {
-        // 边界校验：Operation 必须挂在已登记的 Run 上。这里提前抛出可执行的错误，
-        // 而不是把 SQLite 的 FOREIGN KEY constraint failed 直接丢给调用方。
-        if (!this.getRun(op.runId)) {
+        const run = this.getRun(op.runId);
+        if (!run) {
             throw new Error(`Run "${op.runId}" is not registered in domain "${domainId}". ` +
                 'Register the task and run first (store.saveTask() + store.saveRun()), then execute operations for that run.');
         }
+        if (run.status === 'succeeded' || run.status === 'failed' || run.status === 'cancelled' || run.status === 'indeterminate') {
+            throw new Error(`Cannot register operation "${op.id}" for Run "${op.runId}" because the Run is already finalized with status "${run.status}".`);
+        }
         this.transaction(() => {
             this.verifyEpochFencing(domainId);
+            const now = new Date().toISOString();
             // 1. 写入 operation 记录，初始状态 intent_registered
             const opStmt = this.db.prepare(`
         INSERT INTO operations (id, run_id, domain_id, kind, name, input_fingerprint, status, required_resources, timeout_ms, resource_budget, output_ref, process_identity, result)
         VALUES (?, ?, ?, ?, ?, ?, 'intent_registered', ?, ?, ?, ?, ?, ?)
       `);
-            opStmt.run(op.id, op.runId, domainId, op.kind, op.name, op.inputFingerprint, JSON.stringify(op.requiredResources), op.timeoutMs || null, op.resourceBudget ? JSON.stringify(op.resourceBudget) : null, op.outputRef || null, op.processIdentity ? JSON.stringify(op.processIdentity) : null, op.result ? JSON.stringify(op.result) : null);
+            opStmt.run(op.id, op.runId, domainId, op.kind, op.name, op.inputFingerprint, JSON.stringify(op.requiredResources || []), op.timeoutMs || null, op.resourceBudget ? JSON.stringify(op.resourceBudget) : null, op.outputRef || null, op.processIdentity ? JSON.stringify(op.processIdentity) : null, op.result ? JSON.stringify(op.result) : null);
             // 2. 写入 resource_leases 表记录排他资源占用
-            const leaseStmt = this.db.prepare(`
-        INSERT INTO resource_leases (resource_id, operation_id, domain_id, acquired_at, budget)
-        VALUES (?, ?, ?, ?, ?)
-      `);
-            const now = new Date().toISOString();
-            for (const res of op.requiredResources) {
-                leaseStmt.run(res, op.id, domainId, now, op.resourceBudget ? JSON.stringify(op.resourceBudget) : null);
+            if (op.requiredResources && op.requiredResources.length > 0) {
+                const leaseStmt = this.db.prepare(`
+          INSERT INTO resource_leases (resource_id, operation_id, domain_id, acquired_at, budget)
+          VALUES (?, ?, ?, ?, ?)
+        `);
+                for (const res of op.requiredResources) {
+                    leaseStmt.run(res, op.id, domainId, now, op.resourceBudget ? JSON.stringify(op.resourceBudget) : null);
+                }
             }
             // 3. 记录领域事件
             this.recordEventAndTransitionState({
@@ -298,6 +358,39 @@ export class SqliteStore {
             });
         });
     }
+    recordPreIntentCancelledOperation(op, domainId, result) {
+        const run = this.getRun(op.runId);
+        if (!run) {
+            throw new Error(`Run "${op.runId}" is not registered in domain "${domainId}". ` +
+                'Register the task and run first (store.saveTask() + store.saveRun()), then execute operations for that run.');
+        }
+        if (run.status === 'succeeded' ||
+            run.status === 'failed' ||
+            run.status === 'cancelled' ||
+            run.status === 'indeterminate') {
+            throw new Error(`Cannot register operation "${op.id}" for Run "${op.runId}" because the Run is already finalized with status "${run.status}".`);
+        }
+        this.transaction(() => {
+            this.verifyEpochFencing(domainId);
+            const existing = this.getOperation(op.id);
+            if (existing) {
+                throw new Error(`Operation "${op.id}" already exists`);
+            }
+            const opStmt = this.db.prepare(`
+        INSERT INTO operations (id, run_id, domain_id, kind, name, input_fingerprint, status, required_resources, timeout_ms, resource_budget, output_ref, process_identity, result)
+        VALUES (?, ?, ?, ?, ?, ?, 'done', ?, ?, ?, ?, ?, ?)
+      `);
+            opStmt.run(op.id, op.runId, domainId, op.kind, op.name, op.inputFingerprint, JSON.stringify(op.requiredResources || []), op.timeoutMs || null, op.resourceBudget ? JSON.stringify(op.resourceBudget) : null, op.outputRef || null, op.processIdentity ? JSON.stringify(op.processIdentity) : null, JSON.stringify(result));
+            this.recordEventAndTransitionState({
+                domainId,
+                runId: op.runId,
+                operationId: op.id,
+                type: 'OPERATION_RESULT_RECORDED',
+                payload: { result, releaseResources: false },
+                timestamp: result.completedAt || new Date().toISOString(),
+            });
+        });
+    }
     updateOperationStatus(opId, status, processIdentity, outputRef) {
         this.transaction(() => {
             const op = this.getOperation(opId);
@@ -322,6 +415,20 @@ export class SqliteStore {
             }
         });
     }
+    updateOperationResult(opId, result) {
+        this.transaction(() => {
+            const op = this.getOperation(opId);
+            if (!op)
+                throw new Error(`Operation ${opId} not found`);
+            this.verifyEpochFencing(op.domainId);
+            const stmt = this.db.prepare(`
+        UPDATE operations
+        SET result = ?
+        WHERE id = ?
+      `);
+            stmt.run(JSON.stringify(result), opId);
+        });
+    }
     recordOperationResult(opId, result, releaseResources = true) {
         this.transaction(() => {
             const op = this.getOperation(opId);
@@ -329,6 +436,9 @@ export class SqliteStore {
                 throw new Error(`Operation ${opId} not found`);
             }
             this.verifyEpochFencing(op.domainId);
+            if (op.status === 'done') {
+                throw new Error(`Cannot record result for operation "${opId}": operation is already finalized with status "done"`);
+            }
             const stmt = this.db.prepare(`
         UPDATE operations
         SET status = 'done', result = ?, output_ref = COALESCE(?, output_ref)
@@ -413,6 +523,28 @@ export class SqliteStore {
             result: row.result ? JSON.parse(row.result) : undefined,
         }));
     }
+    getAllOperations(domainId) {
+        const stmt = this.db.prepare(`
+      SELECT * FROM operations
+      WHERE domain_id = ?
+    `);
+        const rows = stmt.all(domainId);
+        return rows.map((row) => ({
+            id: row.id,
+            runId: row.run_id,
+            domainId: row.domain_id,
+            kind: row.kind,
+            name: row.name,
+            inputFingerprint: row.input_fingerprint,
+            requiredResources: JSON.parse(row.required_resources),
+            timeoutMs: row.timeout_ms || undefined,
+            resourceBudget: row.resource_budget ? JSON.parse(row.resource_budget) : undefined,
+            outputRef: row.output_ref || undefined,
+            status: row.status,
+            processIdentity: row.process_identity ? JSON.parse(row.process_identity) : undefined,
+            result: row.result ? JSON.parse(row.result) : undefined,
+        }));
+    }
     getPersistedResourceLeases(domainId) {
         const stmt = this.db.prepare('SELECT * FROM resource_leases WHERE domain_id = ?');
         const rows = stmt.all(domainId);
@@ -435,6 +567,7 @@ export class SqliteStore {
         }
     }
     recordEventAndTransitionState(event) {
+        this.verifyEpochFencing(event.domainId);
         const stmt = this.db.prepare(`
       INSERT INTO journal_events (domain_id, run_id, operation_id, type, payload, timestamp)
       VALUES (?, ?, ?, ?, ?, ?)
@@ -459,6 +592,23 @@ export class SqliteStore {
             timestamp: row.timestamp,
         }));
     }
+    getEventsByRun(runId) {
+        const stmt = this.db.prepare(`
+      SELECT * FROM journal_events
+      WHERE run_id = ?
+      ORDER BY seq ASC
+    `);
+        const rows = stmt.all(runId);
+        return rows.map((row) => ({
+            seq: row.seq,
+            domainId: row.domain_id,
+            runId: row.run_id || undefined,
+            operationId: row.operation_id || undefined,
+            type: row.type,
+            payload: JSON.parse(row.payload),
+            timestamp: row.timestamp,
+        }));
+    }
     close() {
         this.db.close();
     }