taskflow-core 0.1.8 → 0.2.0

package/dist/exec/driver.js

@@ -0,0 +1,397 @@
+/**
+ * exec/driver — event-sourced schedule loop for all phase kinds (S2).
+ *
+ * **Default OFF.** Engaged when `deps.eventKernel === true` or
+ * `PI_TASKFLOW_EVENT_KERNEL=1`, and only when {@link canUseEventKernel} admits
+ * the def (no unsupported advanced features).
+ */
+import { dependenciesOf, resolveArgs, topoLayers } from "../schema.js";
+import { aggregateUsage, emptyUsage } from "../usage.js";
+import { overBudget as overBudgetCheck } from "../deterministic.js";
+import { safeParse } from "../interpolate.js";
+import { EVENT_KERNEL_PHASE_TYPES, stepPhase, } from "./step.js";
+import { foldEvents } from "./fold.js";
+import { EVENT_SCHEMA_VERSION } from "./events.js";
+import { clampSubFlowBudget, containsInterpolationPlaceholder, depsSatisfied, kernelUnsupportedReason, } from "./kernel-policy.js";
+export { EVENT_KERNEL_PHASE_TYPES, kernelUnsupportedReason };
+/** True when types are known AND no advanced features force imperative fall-back. */
+export function canUseEventKernel(def, loadFlow, seen = new Set(), inheritedBudget) {
+    if (seen.has(def.name))
+        return false;
+    const nextSeen = new Set(seen).add(def.name);
+    const typesOk = (def.phases ?? []).every((p) => {
+        const t = p.type ?? "agent";
+        return EVENT_KERNEL_PHASE_TYPES.includes(t);
+    });
+    if (!typesOk)
+        return false;
+    // A parent run-wide budget also governs every nested call. Admission must
+    // evaluate the child with that inherited ceiling; otherwise a parent whose
+    // only phase is `flow` can smuggle a budgeted map/parallel/loop/tournament
+    // into the kernel and fail only after execution has already started.
+    const effectiveBudget = def.budget ?? inheritedBudget;
+    const effectiveDef = effectiveBudget === def.budget ? def : { ...def, budget: effectiveBudget };
+    if (kernelUnsupportedReason(effectiveDef) !== undefined)
+        return false;
+    for (const phase of def.phases ?? []) {
+        if ((phase.type ?? "agent") !== "flow")
+            continue;
+        let child;
+        const raw = phase.def;
+        if (raw !== undefined) {
+            if (typeof raw === "string") {
+                // Interpolated/runtime-generated definitions cannot be admitted statically.
+                if (containsInterpolationPlaceholder(raw))
+                    return false;
+                try {
+                    const parsed = JSON.parse(raw);
+                    if (Array.isArray(parsed))
+                        child = { name: `${phase.id}-inline`, phases: parsed };
+                    else if (parsed && typeof parsed === "object" && Array.isArray(parsed.phases))
+                        child = parsed;
+                }
+                catch {
+                    return false;
+                }
+            }
+            else if (Array.isArray(raw)) {
+                child = { name: `${phase.id}-inline`, phases: raw };
+            }
+            else if (raw && typeof raw === "object" && Array.isArray(raw.phases)) {
+                child = raw;
+            }
+        }
+        else if (phase.use && loadFlow) {
+            child = loadFlow(phase.use);
+        }
+        if (!child || !canUseEventKernel(child, loadFlow, nextSeen, effectiveBudget))
+            return false;
+    }
+    return true;
+}
+export function eventKernelEnabled(deps) {
+    if (deps.eventKernel === true)
+        return true;
+    if (deps.eventKernel === false)
+        return false;
+    return process.env.PI_TASKFLOW_EVENT_KERNEL === "1" || process.env.PI_TASKFLOW_EVENT_KERNEL === "true";
+}
+function safeTraceEmit(deps, event) {
+    try {
+        deps.trace?.emit(event);
+    }
+    catch {
+        /* fail-open */
+    }
+}
+function safeTraceFlush(deps, phaseId) {
+    try {
+        deps.trace?.flush(phaseId);
+    }
+    catch {
+        /* fail-open */
+    }
+}
+function runOverBudget(state) {
+    const budget = state.def.budget;
+    if (!budget)
+        return { over: false, reason: "" };
+    return overBudgetCheck({
+        maxUSD: budget.maxUSD,
+        maxTokens: budget.maxTokens,
+        usages: Object.values(state.phases).map((p) => p.usage ?? emptyUsage()),
+    });
+}
+function emitLifecycle(deps, allEvents, runId, phase, status, error) {
+    const start = {
+        v: EVENT_SCHEMA_VERSION,
+        ts: Date.now(),
+        runId,
+        phaseId: phase.id,
+        kind: "phase-start",
+        dependencies: dependenciesOf(phase),
+        optional: phase.optional === true,
+    };
+    const end = {
+        v: EVENT_SCHEMA_VERSION,
+        ts: Date.now(),
+        runId,
+        phaseId: phase.id,
+        kind: "phase-end",
+        status,
+        error,
+    };
+    allEvents.push(start, end);
+    safeTraceEmit(deps, start);
+    safeTraceEmit(deps, end);
+    safeTraceFlush(deps, phase.id);
+}
+/**
+ * Run a Taskflow on the event kernel.
+ * Caller must have checked {@link canUseEventKernel}.
+ */
+export async function runEventKernel(state, deps) {
+    const def = state.def;
+    const layers = topoLayers(def.phases);
+    const steps = {};
+    const args = resolveArgs(def, state.args);
+    const byId = new Map(def.phases.map((p) => [p.id, p]));
+    state.status = "running";
+    const allEvents = [];
+    let gateBlocked = false;
+    let gateReason = "";
+    let budgetBlocked = false;
+    let budgetReason = "";
+    const runNested = async (opts) => {
+        if (deps.usageAccounting === "unavailable" && (opts.def.budget || def.budget)) {
+            return {
+                finalOutput: `Usage accounting is unavailable; refusing budgeted nested flow '${opts.def.name}'`,
+                ok: false,
+                usage: emptyUsage(),
+                events: [],
+                blocked: false,
+            };
+        }
+        const effectiveBudget = opts.def.budget ?? def.budget;
+        if (deps.usageAccounting === "tokens-only" && effectiveBudget?.maxUSD !== undefined) {
+            throw new Error("This host reports tokens but not cost, so budget.maxUSD cannot be enforced. " +
+                "Use budget.maxTokens or a host with cost accounting.");
+        }
+        const parentSpent = aggregateUsage(Object.values(state.phases).map((p) => p.usage ?? emptyUsage()));
+        const effectiveDef = clampSubFlowBudget(opts.def, def.budget, parentSpent);
+        // Re-admit nested defs — parent admission must not smuggle race/expand
+        // or score/retry/… into the kernel path (silent semantic drift).
+        if (!canUseEventKernel(effectiveDef, deps.loadFlow)) {
+            const reason = kernelUnsupportedReason(effectiveDef) ??
+                "nested flow contains phase kinds or features the event kernel cannot execute";
+            return {
+                finalOutput: `Nested flow rejected by event kernel: ${reason}`,
+                ok: false,
+                usage: emptyUsage(),
+                events: [],
+                blocked: false,
+            };
+        }
+        const childState = {
+            // No `/` — validateRunId rejects path separators if ever persisted.
+            runId: `${state.runId}-n-${effectiveDef.name.replace(/[^a-zA-Z0-9._-]/g, "_").slice(0, 40)}`,
+            flowName: effectiveDef.name,
+            def: effectiveDef,
+            args: opts.args,
+            status: "running",
+            phases: {},
+            createdAt: Date.now(),
+            updatedAt: Date.now(),
+            cwd: deps.cwd,
+        };
+        const child = await runEventKernel(childState, {
+            ...deps,
+            // A trace file belongs to exactly one runId. Nested flow events are
+            // intentionally isolated; the parent flow phase is marked unreplayable
+            // by the imperative path rather than polluting the parent's event log.
+            trace: undefined,
+            _stack: opts.stack,
+        });
+        const childErr = Object.values(child.state.phases)
+            .map((p) => p.error)
+            .find((e) => !!e);
+        return {
+            finalOutput: child.ok ? child.finalOutput : childErr || child.finalOutput || "sub-flow failed",
+            ok: child.ok,
+            usage: child.totalUsage,
+            events: [],
+            blocked: child.state.status === "blocked",
+        };
+    };
+    const stepDeps = {
+        cwd: deps.cwd,
+        agents: deps.agents,
+        runTask: deps.runTask,
+        signal: deps.signal,
+        globalThinking: deps.globalThinking,
+        requestApproval: deps.requestApproval,
+        loadFlow: deps.loadFlow,
+        stack: deps._stack ?? [],
+        runNested,
+    };
+    for (const layer of layers) {
+        if (deps.signal?.aborted)
+            break;
+        for (const phase of layer) {
+            if (deps.signal?.aborted)
+                break;
+            let skipReason;
+            if (gateBlocked)
+                skipReason = `Gate blocked${gateReason ? `: ${gateReason}` : ""}`;
+            else if (budgetBlocked)
+                skipReason = `Budget exceeded${budgetReason ? `: ${budgetReason}` : ""}`;
+            else {
+                const dep = depsSatisfied(phase, state.phases, byId);
+                if (!dep.ok)
+                    skipReason = dep.skipReason;
+            }
+            if (skipReason) {
+                if (skipReason.startsWith("Budget exceeded")) {
+                    budgetBlocked = true;
+                    const be = {
+                        v: EVENT_SCHEMA_VERSION,
+                        ts: Date.now(),
+                        runId: state.runId,
+                        phaseId: phase.id,
+                        kind: "decision",
+                        decision: { type: "budget-hit", value: budgetReason || "budget", reason: skipReason },
+                    };
+                    allEvents.push(be);
+                    safeTraceEmit(deps, be);
+                }
+                const startedAt = Date.now();
+                emitLifecycle(deps, allEvents, state.runId, phase, "skipped", skipReason);
+                state.phases[phase.id] = {
+                    id: phase.id,
+                    status: "skipped",
+                    error: skipReason,
+                    startedAt,
+                    endedAt: Date.now(),
+                    usage: emptyUsage(),
+                };
+                continue;
+            }
+            const startedAt = Date.now();
+            state.phases[phase.id] = { id: phase.id, status: "running", startedAt };
+            const ctx = { state, deps: stepDeps, steps, args };
+            const result = await stepPhase(phase, ctx);
+            if (!result) {
+                state.phases[phase.id] = {
+                    id: phase.id,
+                    status: "failed",
+                    error: `event kernel cannot handle type ${phase.type}`,
+                    endedAt: Date.now(),
+                    usage: emptyUsage(),
+                };
+                continue;
+            }
+            for (const e of result.events) {
+                allEvents.push(e);
+                safeTraceEmit(deps, e);
+            }
+            safeTraceFlush(deps, phase.id);
+            const st = result.status === "skipped"
+                ? "skipped"
+                : result.status === "failed" || result.status === "timedOut"
+                    ? "failed"
+                    : "done";
+            const phaseJson = phase.output === "json" ? safeParse(result.output ?? "") : undefined;
+            state.phases[phase.id] = {
+                id: phase.id,
+                status: st,
+                output: result.output,
+                json: phaseJson,
+                error: result.error,
+                startedAt,
+                endedAt: Date.now(),
+                usage: result.usage ?? emptyUsage(),
+                attempts: result.attempts,
+                gate: result.gate,
+                approval: result.approval,
+                warnings: result.warnings,
+                // Match the imperative audit marker: an idempotent:false phase
+                // records that its side effect may have fired, unless its guard skipped
+                // all execution.
+                ...(phase.idempotent === false && result.status !== "skipped" ? { sideEffect: true } : {}),
+                ...(result.status === "timedOut" ? { timedOut: true } : {}),
+            };
+            if (result.status === "done" && result.output !== undefined) {
+                steps[phase.id] = {
+                    output: result.output,
+                    // Always best-effort parse so {steps.X.json.field} works for JSON agents
+                    json: phaseJson ?? safeParse(result.output),
+                };
+            }
+            if (result.gate?.verdict === "block") {
+                gateBlocked = true;
+                gateReason = result.gate.reason || "Gate blocked";
+            }
+            const ob = runOverBudget(state);
+            if (ob.over) {
+                budgetBlocked = true;
+                budgetReason = ob.reason;
+                const be = {
+                    v: EVENT_SCHEMA_VERSION,
+                    ts: Date.now(),
+                    runId: state.runId,
+                    phaseId: phase.id,
+                    kind: "decision",
+                    decision: { type: "budget-hit", value: "budget", reason: ob.reason },
+                };
+                allEvents.push(be);
+                safeTraceEmit(deps, be);
+                // stepPhase already flushed this phase's lifecycle batch.
+                safeTraceFlush(deps, phase.id);
+            }
+            try {
+                deps.persist?.(state);
+            }
+            catch {
+                /* fail-open */
+            }
+            try {
+                deps.onProgress?.(state);
+            }
+            catch {
+                /* fail-open */
+            }
+        }
+    }
+    // Soft fold drift check
+    const folded = foldEvents(allEvents);
+    for (const [id, ps] of Object.entries(state.phases)) {
+        const f = folded.phases[id];
+        if (!f || f.status === "pending" || f.status === "running")
+            continue;
+        if (ps.timedOut && f.status === "timedOut")
+            continue;
+        if (String(ps.status) === String(f.status))
+            continue;
+        if (ps.status === "done" && f.status === "blocked")
+            continue; // fold gate intermediate
+        console.warn(`[taskflow] event-kernel fold status drift phase=${id} state=${ps.status} fold=${f.status}`);
+    }
+    const anyFailed = Object.entries(state.phases).some(([id, p]) => p.status === "failed" && !byId.get(id)?.optional);
+    const finals = def.phases.filter((p) => p.final);
+    const finalPhase = finals[finals.length - 1] ?? def.phases[def.phases.length - 1];
+    let finalState = finalPhase ? state.phases[finalPhase.id] : undefined;
+    if (!finalState || finalState.status !== "done") {
+        const doneInOrder = def.phases.map((p) => state.phases[p.id]).filter((p) => p?.status === "done");
+        if (doneInOrder.length)
+            finalState = doneInOrder[doneInOrder.length - 1];
+    }
+    let finalOutput = finalState?.output ?? "";
+    if (gateBlocked) {
+        finalOutput = `Gate blocked the workflow.${gateReason ? `\nReason: ${gateReason}` : ""}${finalOutput ? `\n\n${finalOutput}` : ""}`;
+    }
+    else if (budgetBlocked) {
+        finalOutput = `Budget exceeded — run halted.${budgetReason ? `\nReason: ${budgetReason}` : ""}${finalOutput ? `\n\n${finalOutput}` : ""}`;
+    }
+    // Match imperative priority: aborted → gate/budget blocked → failed → completed
+    state.status = deps.signal?.aborted
+        ? "paused"
+        : gateBlocked || budgetBlocked
+            ? "blocked"
+            : anyFailed
+                ? "failed"
+                : "completed";
+    const totalUsage = aggregateUsage(Object.values(state.phases).map((p) => p.usage ?? emptyUsage()));
+    try {
+        deps.persist?.(state);
+    }
+    catch {
+        /* ignore */
+    }
+    return {
+        state,
+        finalOutput,
+        ok: state.status === "completed",
+        totalUsage,
+    };
+}
+//# sourceMappingURL=driver.js.map

package/dist/exec/driver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"driver.js","sourceRoot":"","sources":["../../src/exec/driver.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAA0C,MAAM,cAAc,CAAC;AAC/G,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzD,OAAO,EAAE,UAAU,IAAI,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EACN,wBAAwB,EACxB,SAAS,GAOT,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,oBAAoB,EAAc,MAAM,aAAa,CAAC;AAG/D,OAAO,EACN,kBAAkB,EAClB,gCAAgC,EAChC,aAAa,EACb,uBAAuB,GACvB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,CAAC;AAyB7D,qFAAqF;AACrF,MAAM,UAAU,iBAAiB,CAChC,GAAa,EACb,QAAiD,EACjD,IAAI,GAAgB,IAAI,GAAG,EAAE,EAC7B,eAAwB;IAExB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC;QAC5B,OAAQ,wBAA8C,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,0EAA0E;IAC1E,2EAA2E;IAC3E,2EAA2E;IAC3E,qEAAqE;IACrE,MAAM,eAAe,GAAG,GAAG,CAAC,MAAM,IAAI,eAAe,CAAC;IACtD,MAAM,YAAY,GAAG,eAAe,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAChG,IAAI,uBAAuB,CAAC,YAAY,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,OAAO,CAAC,KAAK,MAAM;YAAE,SAAS;QACjD,IAAI,KAA2B,CAAC;QAChC,MAAM,GAAG,GAAI,KAA2B,CAAC,GAAG,CAAC;QAC7C,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC7B,4EAA4E;gBAC5E,IAAI,gCAAgC,CAAC,GAAG,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACxD,IAAI,CAAC;oBACJ,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;oBAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;wBAAE,KAAK,GAAG,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAA4B,EAAE,CAAC;yBACnG,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAE,MAAmB,CAAC,MAAM,CAAC;wBAAE,KAAK,GAAG,MAAkB,CAAC;gBACzH,CAAC;gBAAC,MAAM,CAAC;oBACR,OAAO,KAAK,CAAC;gBACd,CAAC;YACF,CAAC;iBAAM,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/B,KAAK,GAAG,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,GAAyB,EAAE,CAAC;YAC3E,CAAC;iBAAM,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAE,GAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtF,KAAK,GAAG,GAAe,CAAC;YACzB,CAAC;QACF,CAAC;aAAM,IAAI,KAAK,CAAC,GAAG,IAAI,QAAQ,EAAE,CAAC;YAClC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5F,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAA+B;IACjE,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,OAAO,CAAC,GAAG,CAAC,wBAAwB,KAAK,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,wBAAwB,KAAK,MAAM,CAAC;AACxG,CAAC;AAED,SAAS,aAAa,CAAC,IAAqB,EAAE,KAAY;IACzD,IAAI,CAAC;QACJ,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAA8B,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACR,eAAe;IAChB,CAAC;AACF,CAAC;AAED,SAAS,cAAc,CAAC,IAAqB,EAAE,OAAe;IAC7D,IAAI,CAAC;QACJ,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACR,eAAe;IAChB,CAAC;AACF,CAAC;AAED,SAAS,aAAa,CAAC,KAAe;IACrC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAChD,OAAO,eAAe,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,UAAU,EAAE,CAAC;KACvE,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACrB,IAAqB,EACrB,SAAkB,EAClB,KAAa,EACb,KAAY,EACZ,MAAuB,EACvB,KAAc;IAEd,MAAM,KAAK,GAAU;QACpB,CAAC,EAAE,oBAAoB;QACvB,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;QACd,KAAK;QACL,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,IAAI,EAAE,aAAa;QACnB,YAAY,EAAE,cAAc,CAAC,KAAK,CAAC;QACnC,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,IAAI;KACjC,CAAC;IACF,MAAM,GAAG,GAAU;QAClB,CAAC,EAAE,oBAAoB;QACvB,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;QACd,KAAK;QACL,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,IAAI,EAAE,WAAW;QACjB,MAAM;QACN,KAAK;KACL,CAAC;IACF,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC3B,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3B,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzB,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAAe,EAAE,IAAqB;IAC1E,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,KAAK,GAAyB,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvD,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC;IACzB,MAAM,SAAS,GAAY,EAAE,CAAC;IAC9B,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,YAAY,GAAG,EAAE,CAAC;IAEtB,MAAM,SAAS,GAAG,KAAK,EAAE,IAIxB,EAA6B,EAAE;QAC/B,IAAI,IAAI,CAAC,eAAe,KAAK,aAAa,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/E,OAAO;gBACN,WAAW,EAAE,mEAAmE,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG;gBAChG,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,UAAU,EAAE;gBACnB,MAAM,EAAE,EAAE;gBACV,OAAO,EAAE,KAAK;aACd,CAAC;QACH,CAAC;QACD,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC;QACtD,IAAI,IAAI,CAAC,eAAe,KAAK,aAAa,IAAI,eAAe,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;YACrF,MAAM,IAAI,KAAK,CACd,8EAA8E;gBAC7E,sDAAsD,CACvD,CAAC;QACH,CAAC;QACD,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;QACpG,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAC3E,uEAAuE;QACvE,iEAAiE;QACjE,IAAI,CAAC,iBAAiB,CAAC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrD,MAAM,MAAM,GACX,uBAAuB,CAAC,YAAY,CAAC;gBACrC,8EAA8E,CAAC;YAChF,OAAO;gBACN,WAAW,EAAE,yCAAyC,MAAM,EAAE;gBAC9D,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,UAAU,EAAE;gBACnB,MAAM,EAAE,EAAE;gBACV,OAAO,EAAE,KAAK;aACd,CAAC;QACH,CAAC;QACD,MAAM,UAAU,GAAa;YAC5B,oEAAoE;YACpE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,MAAM,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;YAC5F,QAAQ,EAAE,YAAY,CAAC,IAAI;YAC3B,GAAG,EAAE,YAAY;YACjB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,EAAE;YACV,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,GAAG,EAAE,IAAI,CAAC,GAAG;SACb,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE;YAC9C,GAAG,IAAI;YACP,oEAAoE;YACpE,uEAAuE;YACvE,uEAAuE;YACvE,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;aAChD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;aACnB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,OAAO;YACN,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,WAAW,IAAI,iBAAiB;YAC9F,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,KAAK,EAAE,KAAK,CAAC,UAAU;YACvB,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS;SACzC,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAa;QAC1B,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,KAAK,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE;QACxB,SAAS;KACT,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO;YAAE,MAAM;QAChC,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO;gBAAE,MAAM;YAChC,IAAI,UAA8B,CAAC;YACnC,IAAI,WAAW;gBAAE,UAAU,GAAG,eAAe,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;iBAC9E,IAAI,aAAa;gBAAE,UAAU,GAAG,kBAAkB,YAAY,CAAC,CAAC,CAAC,KAAK,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;iBAC5F,CAAC;gBACL,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACrD,IAAI,CAAC,GAAG,CAAC,EAAE;oBAAE,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;YAC1C,CAAC;YAED,IAAI,UAAU,EAAE,CAAC;gBAChB,IAAI,UAAU,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC9C,aAAa,GAAG,IAAI,CAAC;oBACrB,MAAM,EAAE,GAAU;wBACjB,CAAC,EAAE,oBAAoB;wBACvB,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;wBACd,KAAK,EAAE,KAAK,CAAC,KAAK;wBAClB,OAAO,EAAE,KAAK,CAAC,EAAE;wBACjB,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,IAAI,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE;qBACrF,CAAC;oBACF,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACnB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzB,CAAC;gBACD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC7B,aAAa,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBAC1E,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG;oBACxB,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,MAAM,EAAE,SAAS;oBACjB,KAAK,EAAE,UAAU;oBACjB,SAAS;oBACT,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE;oBACnB,KAAK,EAAE,UAAU,EAAE;iBACnB,CAAC;gBACF,SAAS;YACV,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;YACxE,MAAM,GAAG,GAAgB,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAChE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACb,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG;oBACxB,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,mCAAmC,KAAK,CAAC,IAAI,EAAE;oBACtD,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE;oBACnB,KAAK,EAAE,UAAU,EAAE;iBACnB,CAAC;gBACF,SAAS;YACV,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC/B,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACxB,CAAC;YACD,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;YAE/B,MAAM,EAAE,GACP,MAAM,CAAC,MAAM,KAAK,SAAS;gBAC1B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;oBAC3D,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,MAAM,CAAC;YACZ,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAEvF,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG;gBACxB,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,MAAM,EAAE,EAAE;gBACV,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,SAAS;gBACT,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE;gBACnB,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,UAAU,EAAE;gBACnC,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,+DAA+D;gBAC/D,wEAAwE;gBACxE,iBAAiB;gBACjB,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnG,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACpE,CAAC;YACF,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC7D,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG;oBACjB,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,yEAAyE;oBACzE,IAAI,EAAE,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;iBAC3C,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,EAAE,CAAC;gBACtC,WAAW,GAAG,IAAI,CAAC;gBACnB,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,cAAc,CAAC;YACnD,CAAC;YACD,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;gBACb,aAAa,GAAG,IAAI,CAAC;gBACrB,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC;gBACzB,MAAM,EAAE,GAAU;oBACjB,CAAC,EAAE,oBAAoB;oBACvB,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;oBACd,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE;iBACpE,CAAC;gBACF,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACxB,0DAA0D;gBAC1D,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,CAAC;gBACJ,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;YAAC,MAAM,CAAC;gBACR,eAAe;YAChB,CAAC;YACD,IAAI,CAAC;gBACJ,IAAI,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;YAAC,MAAM,CAAC;gBACR,eAAe;YAChB,CAAC;QACF,CAAC;IACF,CAAC;IAED,wBAAwB;IACxB,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QACrE,IAAI,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QACrD,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,SAAS;QACrD,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS,CAAC,yBAAyB;QACvF,OAAO,CAAC,IAAI,CAAC,mDAAmD,EAAE,UAAU,EAAE,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3G,CAAC;IAEA,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,QAAQ,CAC7D,CAAC;IACF,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClF,IAAI,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACjD,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC;QAClG,IAAI,WAAW,CAAC,MAAM;YAAE,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,WAAW,GAAG,UAAU,EAAE,MAAM,IAAI,EAAE,CAAC;IAC5C,IAAI,WAAW,EAAE,CAAC;QACjB,WAAW,GAAG,6BAA6B,UAAU,CAAC,CAAC,CAAC,aAAa,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACpI,CAAC;SAAM,IAAI,aAAa,EAAE,CAAC;QAC1B,WAAW,GAAG,gCAAgC,YAAY,CAAC,CAAC,CAAC,aAAa,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAC3I,CAAC;IAED,gFAAgF;IAChF,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO;QAClC,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,WAAW,IAAI,aAAa;YAC7B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,SAAS;gBACV,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,WAAW,CAAC;IAEjB,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;IACnG,IAAI,CAAC;QACJ,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IAAC,MAAM,CAAC;QACR,YAAY;IACb,CAAC;IACD,OAAO;QACN,KAAK;QACL,WAAW;QACX,EAAE,EAAE,KAAK,CAAC,MAAM,KAAK,WAAW;QAChC,UAAU;KACV,CAAC;AACH,CAAC"}

package/dist/exec/events.d.ts

@@ -0,0 +1,76 @@
+/**
+ * Event Log Schema — the future event-sourced kernel.
+ *
+ * This module defines the **append-only event log** schema that the batch-2
+ * event-sourced driver (Q8) will write to. It is a **versioned extension** of
+ * the current `TraceEvent` shape (`../trace.ts`): `Event = TraceEvent & { v }`.
+ *
+ * **Why this exists**: The batch-2 event-sourced kernel needs an explicit,
+ * versioned event schema that (a) can subsume trace.ts, (b) carries a `v`
+ * field so future schema migrations are unambiguous on disk, and (c) provides
+ * a back-compat reader that upgrades legacy trace.jsonl lines on the fly.
+ *
+ * **Single source of truth**: `Event` / `EventDecision` / `EventKind` are
+ * type aliases over `TraceEvent` / `TraceDecision` — never a parallel copy —
+ * so adding a decision variant or field in `trace.ts` automatically lands
+ * here (no dual-schema drift).
+ *
+ * **F3 dissolution**: the 5 currently-unemitted trace decisions
+ * (gate-score, budget-hit, cache-hit, when-guard, unreplayable) dissolve here:
+ * the event-sourced driver (batch 2) will emit *every* decision by
+ * construction — this module is the log schema + version + back-compat.
+ * Once batch 2 lands, this module subsumes trace.ts entirely (see §0.2.0 Roadmap).
+ *
+ * Pure types + parser: no IO, no randomness. Missing `ts` on upgrade uses `0`
+ * (not `Date.now()`) so upgrade is deterministic for replay.
+ */
+import type { TraceEvent, TraceDecision } from "../trace.ts";
+/** Current event log schema version. Incremented on breaking changes. */
+export declare const EVENT_SCHEMA_VERSION = 1;
+/**
+ * Discriminated event kind — identical to TraceEvent's `kind` union.
+ * A versioned Event carries a `v` field so a consumer can detect schema
+ * drift without inspecting fields.
+ */
+export type EventKind = TraceEvent["kind"];
+/** Discriminated record of a runtime decision — alias of TraceDecision. */
+export type EventDecision = TraceDecision;
+/**
+ * A single event in the append-only event log. Structurally identical to
+ * {@link TraceEvent} with an explicit `v` field for schema versioning.
+ *
+ * The batch-2 event-sourced driver (Q8) will emit these directly; legacy
+ * trace.jsonl lines are upgraded via {@link upgradeTraceEvent}.
+ */
+export type Event = TraceEvent & {
+    /** Schema version (see {@link EVENT_SCHEMA_VERSION}). */
+    v: number;
+};
+/**
+ * Accept any object shape that overlaps with the legacy TraceEvent fields
+ * and stamp `v=` {@link EVENT_SCHEMA_VERSION} onto it. This is deliberately
+ * lenient — a legacy trace.jsonl line may have extra / missing fields.
+ *
+ * **Design note (§8 back-compat)**: old trace.jsonl files have no `v` field.
+ * This shim stamps the current schema version onto any missing event so that
+ * the batch-2 event-sourced consumer can read both old and new records
+ * through the same `Event` interface. When the schema version bumps, this
+ * function is where the migration logic lives.
+ *
+ * **Determinism**: missing `ts` becomes `0`, never `Date.now()` — the same
+ * corrupt line upgrades to the same bytes every time (replay-safe).
+ */
+export declare function upgradeTraceEvent(old: Record<string, unknown>): Event;
+/**
+ * Parse an event log JSONL text into an array of {@link Event}s.
+ *
+ * **Partial-line tolerance**: any line that fails JSON.parse is silently
+ * skipped (fail-open), matching trace.ts's `readTrace` behaviour. This
+ * handles crash-truncated final records gracefully.
+ *
+ * **Versionless line upgrade**: any line whose parsed object lacks a `v`
+ * field is routed through {@link upgradeTraceEvent} to stamp the current
+ * schema version — so old trace.jsonl data is readable without migration.
+ */
+export declare function readEvents(text: string): Event[];
+//# sourceMappingURL=events.d.ts.map

package/dist/exec/events.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"events.d.ts","sourceRoot":"","sources":["../../src/exec/events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAM7D,yEAAyE;AACzE,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAMtC;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAE3C,2EAA2E;AAC3E,MAAM,MAAM,aAAa,GAAG,aAAa,CAAC;AAE1C;;;;;;GAMG;AACH,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG;IAChC,yDAAyD;IACzD,CAAC,EAAE,MAAM,CAAC;CACV,CAAC;AAMF;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,KAAK,CAqBrE;AAMD;;;;;;;;;;GAUG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,EAAE,CAqBhD"}

package/dist/exec/events.js

@@ -0,0 +1,108 @@
+/**
+ * Event Log Schema — the future event-sourced kernel.
+ *
+ * This module defines the **append-only event log** schema that the batch-2
+ * event-sourced driver (Q8) will write to. It is a **versioned extension** of
+ * the current `TraceEvent` shape (`../trace.ts`): `Event = TraceEvent & { v }`.
+ *
+ * **Why this exists**: The batch-2 event-sourced kernel needs an explicit,
+ * versioned event schema that (a) can subsume trace.ts, (b) carries a `v`
+ * field so future schema migrations are unambiguous on disk, and (c) provides
+ * a back-compat reader that upgrades legacy trace.jsonl lines on the fly.
+ *
+ * **Single source of truth**: `Event` / `EventDecision` / `EventKind` are
+ * type aliases over `TraceEvent` / `TraceDecision` — never a parallel copy —
+ * so adding a decision variant or field in `trace.ts` automatically lands
+ * here (no dual-schema drift).
+ *
+ * **F3 dissolution**: the 5 currently-unemitted trace decisions
+ * (gate-score, budget-hit, cache-hit, when-guard, unreplayable) dissolve here:
+ * the event-sourced driver (batch 2) will emit *every* decision by
+ * construction — this module is the log schema + version + back-compat.
+ * Once batch 2 lands, this module subsumes trace.ts entirely (see §0.2.0 Roadmap).
+ *
+ * Pure types + parser: no IO, no randomness. Missing `ts` on upgrade uses `0`
+ * (not `Date.now()`) so upgrade is deterministic for replay.
+ */
+// ─────────────────────────────────────────────────────────────────────────────
+// Schema version
+// ─────────────────────────────────────────────────────────────────────────────
+/** Current event log schema version. Incremented on breaking changes. */
+export const EVENT_SCHEMA_VERSION = 1;
+// ─────────────────────────────────────────────────────────────────────────────
+// Back-compat: upgrading legacy TraceEvent → Event
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Accept any object shape that overlaps with the legacy TraceEvent fields
+ * and stamp `v=` {@link EVENT_SCHEMA_VERSION} onto it. This is deliberately
+ * lenient — a legacy trace.jsonl line may have extra / missing fields.
+ *
+ * **Design note (§8 back-compat)**: old trace.jsonl files have no `v` field.
+ * This shim stamps the current schema version onto any missing event so that
+ * the batch-2 event-sourced consumer can read both old and new records
+ * through the same `Event` interface. When the schema version bumps, this
+ * function is where the migration logic lives.
+ *
+ * **Determinism**: missing `ts` becomes `0`, never `Date.now()` — the same
+ * corrupt line upgrades to the same bytes every time (replay-safe).
+ */
+export function upgradeTraceEvent(old) {
+    return {
+        v: EVENT_SCHEMA_VERSION,
+        ts: typeof old.ts === "number" ? old.ts : 0,
+        runId: typeof old.runId === "string" ? old.runId : "",
+        phaseId: typeof old.phaseId === "string" ? old.phaseId : "",
+        kind: ["phase-start", "phase-end", "subagent-call", "decision"].includes(old.kind)
+            ? old.kind
+            : "phase-start",
+        dependencies: Array.isArray(old.dependencies)
+            ? old.dependencies.filter((x) => typeof x === "string")
+            : undefined,
+        optional: old.optional === true,
+        input: old.input,
+        output: old.output,
+        decision: old.decision,
+        status: old.status,
+        error: typeof old.error === "string" ? old.error : undefined,
+    };
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// Reader (partial-line tolerant, upgrades versionless lines)
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Parse an event log JSONL text into an array of {@link Event}s.
+ *
+ * **Partial-line tolerance**: any line that fails JSON.parse is silently
+ * skipped (fail-open), matching trace.ts's `readTrace` behaviour. This
+ * handles crash-truncated final records gracefully.
+ *
+ * **Versionless line upgrade**: any line whose parsed object lacks a `v`
+ * field is routed through {@link upgradeTraceEvent} to stamp the current
+ * schema version — so old trace.jsonl data is readable without migration.
+ */
+export function readEvents(text) {
+    const out = [];
+    const lines = text.split("\n");
+    for (const line of lines) {
+        const trimmed = line.trim();
+        if (!trimmed)
+            continue;
+        try {
+            const parsed = JSON.parse(trimmed);
+            if (typeof parsed.v === "number") {
+                // Already versioned — trust schema (double-cast via `unknown` since a
+                // JSON-parsed record can't be proven to overlap with `Event`).
+                out.push(parsed);
+            }
+            else {
+                // Legacy line — upgrade via back-compat shim.
+                out.push(upgradeTraceEvent(parsed));
+            }
+        }
+        catch {
+            // Partial / corrupt line — skip (fail-open).
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=events.js.map

package/dist/exec/events.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"events.js","sourceRoot":"","sources":["../../src/exec/events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAEhF,yEAAyE;AACzE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AA4BtC,gFAAgF;AAChF,mDAAmD;AACnD,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAA4B;IAC7D,OAAO;QACN,CAAC,EAAE,oBAAoB;QACvB,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,KAAK,EAAE,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QACrD,OAAO,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QAC3D,IAAI,EAAG,CAAC,aAAa,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,CAAW,CAAC,QAAQ,CAClF,GAAG,CAAC,IAAiB,CACrB;YACA,CAAC,CAAE,GAAG,CAAC,IAAkB;YACzB,CAAC,CAAC,aAAa;QAChB,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;YAC5C,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YACpE,CAAC,CAAC,SAAS;QACZ,QAAQ,EAAE,GAAG,CAAC,QAAQ,KAAK,IAAI;QAC/B,KAAK,EAAE,GAAG,CAAC,KAAuB;QAClC,MAAM,EAAE,GAAG,CAAC,MAAyB;QACrC,QAAQ,EAAE,GAAG,CAAC,QAAqC;QACnD,MAAM,EAAE,GAAG,CAAC,MAAyB;QACrC,KAAK,EAAE,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;KAC5D,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,6DAA6D;AAC7D,gFAAgF;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACtC,MAAM,GAAG,GAAY,EAAE,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA4B,CAAC;YAC9D,IAAI,OAAO,MAAM,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAClC,sEAAsE;gBACtE,+DAA+D;gBAC/D,GAAG,CAAC,IAAI,CAAC,MAA0B,CAAC,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACP,8CAA8C;gBAC9C,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;YACrC,CAAC;QACF,CAAC;QAAC,MAAM,CAAC;YACR,6CAA6C;QAC9C,CAAC;IACF,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC"}

package/dist/exec/fold.d.ts

@@ -0,0 +1,45 @@
+/**
+ * fold(event log) → RunState-shaped phase snapshot (RFC §6.4, S1).
+ *
+ * Pure reduce over {@link Event} / legacy TraceEvent-compatible records.
+ * Does **not** spawn processes or touch disk. Used by:
+ *  - S1 differential: assert fold(log) matches phase statuses the imperative
+ *    runtime would have left in RunState
+ *  - S3 replay: re-fold under alternate knobs (thresholds/budget) without
+ *    re-entering the driver
+ *
+ * Never throws.
+ */
+import type { Event, EventDecision } from "./events.ts";
+import type { UsageStats } from "../usage.ts";
+/** Per-phase folded snapshot (subset of PhaseState the runtime persists). */
+export interface FoldedPhase {
+    phaseId: string;
+    status: "pending" | "running" | "done" | "failed" | "blocked" | "skipped" | "timedOut";
+    /** Last recorded text output (subagent or decision summary). */
+    output?: string;
+    error?: string;
+    /** Accumulated usage from subagent-call events. */
+    usage: UsageStats;
+    /** Last decision event for this phase (gate / when / cache / …). */
+    decision?: EventDecision;
+    /** Number of subagent-call events seen. */
+    subagentCalls: number;
+    startedAt?: number;
+    endedAt?: number;
+}
+/** Whole-run fold result. */
+export interface FoldedRun {
+    runId: string;
+    phases: Record<string, FoldedPhase>;
+    /** Events that could not be associated with a phaseId (malformed). */
+    orphans: number;
+    /** Total events folded. */
+    eventCount: number;
+}
+/**
+ * Reduce an ordered event list into a per-phase snapshot.
+ * Accepts {@link Event} (with `v`) or plain TraceEvent-shaped records.
+ */
+export declare function foldEvents(events: readonly Event[]): FoldedRun;
+//# sourceMappingURL=fold.d.ts.map