@x12i/graphenix-trace-format 1.0.0

package/dist/validators/validate-execution-trace.js

@@ -0,0 +1,31 @@
+import { EXECUTION_TRACE_FORMAT } from "@x12i/graphenix-executable-contracts";
+import { EXECUTION_TRACE_FORMAT_V2 } from "@x12i/graphenix-executable-contracts";
+import { isRecord } from "@x12i/graphenix-executable-contracts";
+import { validateExecutionTraceV1 } from "./validate-execution-trace-v1.js";
+import { validateExecutionTraceV2 } from "./validate-execution-trace-v2.js";
+export function validateExecutionTrace(trace, planOrNodePlans) {
+    if (isRecord(trace) && trace.format === EXECUTION_TRACE_FORMAT_V2) {
+        if (planOrNodePlans && isV2Plan(planOrNodePlans)) {
+            return validateExecutionTraceV2(trace, planOrNodePlans);
+        }
+        return validateExecutionTraceV2(trace);
+    }
+    if (isRecord(trace) && trace.format === EXECUTION_TRACE_FORMAT) {
+        const nodePlans = planOrNodePlans && !isV2Plan(planOrNodePlans)
+            ? planOrNodePlans
+            : undefined;
+        return validateExecutionTraceV1(trace, nodePlans);
+    }
+    return validateExecutionTraceV1(trace);
+}
+function isV2Plan(value) {
+    return isRecord(value) && "nodePlans" in value && "finalizerPlans" in value;
+}
+export function assertExecutionTrace(trace, plan) {
+    const result = validateExecutionTraceV2(trace, plan);
+    if (!result.valid) {
+        const summary = result.errors.map((e) => `${e.path}: ${e.message}`).join("; ");
+        throw new Error(`Invalid execution trace: ${summary}`);
+    }
+}
+//# sourceMappingURL=validate-execution-trace.js.map

package/dist/validators/validate-execution-trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-execution-trace.js","sourceRoot":"","sources":["../../src/validators/validate-execution-trace.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,EAAE,QAAQ,EAAE,MAAM,sCAAsC,CAAC;AAChE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,MAAM,UAAU,sBAAsB,CACpC,KAAc,EACd,eAAmF;IAEnF,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,yBAAyB,EAAE,CAAC;QAClE,IAAI,eAAe,IAAI,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YACjD,OAAO,wBAAwB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,sBAAsB,EAAE,CAAC;QAC/D,MAAM,SAAS,GAAG,eAAe,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;YAC7D,CAAC,CAAC,eAAe;YACjB,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,wBAAwB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IAED,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,QAAQ,CACf,KAAwE;IAExE,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,WAAW,IAAI,KAAK,IAAI,gBAAgB,IAAI,KAAK,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAc,EACd,IAA2B;IAE3B,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/E,MAAM,IAAI,KAAK,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC;AACH,CAAC"}

package/dist/validators/validate-trace-against-plan.d.ts

@@ -0,0 +1,4 @@
+import type { ExecutableGraphPlanV2 } from "@x12i/graphenix-executable-contracts";
+import type { TraceValidationResult } from "@x12i/graphenix-executable-contracts";
+export declare function validateTraceAgainstPlan(trace: unknown, plan: ExecutableGraphPlanV2): TraceValidationResult;
+//# sourceMappingURL=validate-trace-against-plan.d.ts.map

package/dist/validators/validate-trace-against-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-trace-against-plan.d.ts","sourceRoot":"","sources":["../../src/validators/validate-trace-against-plan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AA6FlF,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,qBAAqB,GAC1B,qBAAqB,CA8TvB"}

package/dist/validators/validate-trace-against-plan.js

@@ -0,0 +1,200 @@
+import { execError, isRecord } from "@x12i/graphenix-executable-contracts";
+import { collectDeferredGateIds, isAiBackedUnit, isTerminalNodeStatus, isTerminalUnitStatus } from "../internal/trace-v2-utils.js";
+import { deriveGraphStatus } from "../trace/derive-graph-status.js";
+import { summarizeExecutionTrace } from "../trace/summarize-execution-trace.js";
+const AI_SLOTS = new Set([
+    "preActionModel",
+    "skillModel",
+    "postActionModel",
+    "finalizerModel"
+]);
+function validateFallbackTrace(unitId, fallback, plan, errors) {
+    if (fallback.applied !== true)
+        return;
+    const owner = fallback.owner;
+    if (owner !== "executor" && owner !== "invocationLayer") {
+        errors.push(execError("EXECUTION_TRACE_V2_FALLBACK_OWNER_MISSING", `Unit ${unitId} fallback must declare owner.`, `/unitExecutions/${unitId}/fallback/owner`));
+    }
+    const planOwner = plan.policies.fallbackPolicy.owner;
+    if (owner !== planOwner) {
+        errors.push(execError("EXECUTION_TRACE_V2_FALLBACK_NOT_ALLOWED", `Unit ${unitId} fallback owner does not match plan policy owner.`, `/unitExecutions/${unitId}/fallback/owner`));
+    }
+    if (fallback.allowedByPolicy === false) {
+        errors.push(execError("EXECUTION_TRACE_V2_FALLBACK_NOT_ALLOWED", `Unit ${unitId} fallback was not allowed by plan policy.`, `/unitExecutions/${unitId}/fallback/allowedByPolicy`));
+    }
+    const from = fallback.from;
+    const to = fallback.to;
+    if (isRecord(from) && isRecord(to)) {
+        const fromSlot = inferSlotFromSelection(from);
+        const toSlot = inferSlotFromSelection(to);
+        if (fromSlot && toSlot && fromSlot !== toSlot) {
+            errors.push(execError("EXECUTION_TRACE_V2_FALLBACK_CROSS_SLOT", `Unit ${unitId} fallback crosses model slots.`, `/unitExecutions/${unitId}/fallback`));
+        }
+    }
+    if (typeof fallback.sourceGraphCaseId === "string") {
+        const graphCase = plan.caseSelection.graphModelCase.caseId;
+        if (fallback.sourceGraphCaseId !== graphCase) {
+            errors.push(execError("EXECUTION_TRACE_V2_FALLBACK_GRAPH_CASE", `Unit ${unitId} fallback must not switch graph case.`, `/unitExecutions/${unitId}/fallback/sourceGraphCaseId`));
+        }
+    }
+}
+function inferSlotFromSelection(selection) {
+    void selection;
+    return undefined;
+}
+export function validateTraceAgainstPlan(trace, plan) {
+    const errors = [];
+    if (!isRecord(trace)) {
+        return {
+            valid: false,
+            errors: [
+                execError("EXECUTION_TRACE_V2_INVALID", "Execution trace must be an object.", "")
+            ]
+        };
+    }
+    const traceRecord = trace;
+    if (isRecord(traceRecord.source) &&
+        traceRecord.source.graphHash !== plan.source.graphHash) {
+        errors.push(execError("EXECUTION_TRACE_V2_SOURCE_MISMATCH", "trace.source.graphHash must match plan source graph hash.", "/source/graphHash"));
+    }
+    if (isRecord(traceRecord.plan) &&
+        traceRecord.plan.planId !== plan.planId) {
+        errors.push(execError("EXECUTION_TRACE_V2_PLAN_MISMATCH", "trace.plan.planId must match executable plan.", "/plan/planId"));
+    }
+    if (isRecord(traceRecord.runtime) &&
+        traceRecord.runtime.jobId !== plan.runtimeBinding.jobId) {
+        errors.push(execError("EXECUTION_TRACE_V2_RUNTIME_MISMATCH", "trace.runtime.jobId must match plan runtime binding.", "/runtime/jobId"));
+    }
+    const isExecutionComplete = ["completed", "failed", "partial", "cancelled"].includes(String(traceRecord.status ?? ""));
+    for (const nodeRef of plan.topology.nodes) {
+        const nodeId = nodeRef.nodeId;
+        const nodeTrace = isRecord(traceRecord.nodeExecutions)
+            ? traceRecord.nodeExecutions[nodeId]
+            : undefined;
+        if (!isRecord(nodeTrace)) {
+            if (isExecutionComplete) {
+                errors.push(execError("EXECUTION_TRACE_V2_NODE_OUTCOME_MISSING", `Plan node ${nodeId} has no node execution trace.`, `/nodeExecutions/${nodeId}`));
+            }
+            continue;
+        }
+        if (isExecutionComplete &&
+            !isTerminalNodeStatus(String(nodeTrace.status ?? ""))) {
+            errors.push(execError("EXECUTION_TRACE_V2_NODE_OUTCOME_MISSING", `Plan node ${nodeId} must have terminal status after execution.`, `/nodeExecutions/${nodeId}/status`));
+        }
+    }
+    const allUnits = [
+        ...Object.values(plan.nodePlans).flatMap((n) => n.executionUnits),
+        ...Object.values(plan.finalizerPlans).flatMap((f) => f.executionUnits)
+    ];
+    const unitExecutions = isRecord(traceRecord.unitExecutions)
+        ? traceRecord.unitExecutions
+        : {};
+    const modelInvocations = isRecord(traceRecord.modelInvocations)
+        ? traceRecord.modelInvocations
+        : {};
+    for (const plannedUnit of allUnits) {
+        const unitTrace = unitExecutions[plannedUnit.unitId];
+        if (!isRecord(unitTrace)) {
+            if (isExecutionComplete) {
+                errors.push(execError("EXECUTION_TRACE_V2_UNIT_OUTCOME_MISSING", `Plan unit ${plannedUnit.unitId} has no unit execution trace.`, `/unitExecutions/${plannedUnit.unitId}`));
+            }
+            continue;
+        }
+        if (isExecutionComplete &&
+            !isTerminalUnitStatus(String(unitTrace.status ?? ""))) {
+            errors.push(execError("EXECUTION_TRACE_V2_UNIT_OUTCOME_MISSING", `Plan unit ${plannedUnit.unitId} must have terminal status after execution.`, `/unitExecutions/${plannedUnit.unitId}/status`));
+        }
+        const nodePlan = plan.nodePlans[plannedUnit.nodeId];
+        const executionClass = nodePlan?.executionClass ?? "aiTask";
+        if (executionClass === "localTask") {
+            const invocationIds = unitTrace.modelInvocationIds;
+            if (Array.isArray(invocationIds) && invocationIds.length > 0) {
+                errors.push(execError("EXECUTION_TRACE_V2_LOCAL_TASK_REQUIRES_NO_MODEL", `Local task unit ${plannedUnit.unitId} must not have model invocations.`, `/unitExecutions/${plannedUnit.unitId}/modelInvocationIds`));
+            }
+        }
+        else if (isAiBackedUnit(String(plannedUnit.unitKind), executionClass) &&
+            Array.isArray(unitTrace.modelInvocationIds)) {
+            for (const invocationId of unitTrace.modelInvocationIds) {
+                if (!modelInvocations[String(invocationId)]) {
+                    errors.push(execError("EXECUTION_TRACE_V2_UNKNOWN_INVOCATION", `Unit ${plannedUnit.unitId} references unknown invocation ${invocationId}.`, `/unitExecutions/${plannedUnit.unitId}/modelInvocationIds`));
+                }
+            }
+        }
+        if (isRecord(unitTrace.fallback)) {
+            validateFallbackTrace(plannedUnit.unitId, unitTrace.fallback, plan, errors);
+        }
+        if (isRecord(unitTrace.retry) && isRecord(unitTrace.fallback)) {
+            const retry = unitTrace.retry;
+            const fallback = unitTrace.fallback;
+            if (retry.attempted === true && fallback.applied === true) {
+                const retryInvocations = Array.isArray(retry.invocationIds)
+                    ? retry.invocationIds
+                    : [];
+                const fallbackInvocations = Array.isArray(fallback.invocationIds)
+                    ? fallback.invocationIds
+                    : [];
+                if (retryInvocations.some((id) => fallbackInvocations.includes(String(id)))) {
+                    errors.push(execError("EXECUTION_TRACE_V2_FALLBACK_NOT_ALLOWED", `Unit ${plannedUnit.unitId} must not represent retry and fallback on same invocation.`, `/unitExecutions/${plannedUnit.unitId}/retry`));
+                }
+            }
+        }
+    }
+    const gateEvaluations = isRecord(traceRecord.gateEvaluations)
+        ? traceRecord.gateEvaluations
+        : {};
+    for (const gateId of collectDeferredGateIds(plan)) {
+        const gateTrace = gateEvaluations[gateId];
+        if (!isRecord(gateTrace) && isExecutionComplete) {
+            errors.push(execError("EXECUTION_TRACE_V2_GATE_EVALUATION_MISSING", `Deferred gate ${gateId} has no evaluation trace.`, `/gateEvaluations/${gateId}`));
+        }
+    }
+    for (const [invocationId, invocation] of Object.entries(modelInvocations)) {
+        if (!isRecord(invocation))
+            continue;
+        const unitId = invocation.unitId;
+        if (typeof unitId === "string" && !unitExecutions[unitId]) {
+            errors.push(execError("EXECUTION_TRACE_V2_UNKNOWN_INVOCATION", `Model invocation ${invocationId} references unknown unit ${unitId}.`, `/modelInvocations/${invocationId}/unitId`));
+        }
+        const resolved = invocation.resolvedInvocation;
+        if (isRecord(resolved) && isRecord(invocation.plannedSelection)) {
+            const planned = invocation.plannedSelection;
+            if (planned.kind === "profileChoice" &&
+                typeof resolved.profileChoiceKey !== "string") {
+                errors.push(execError("EXECUTION_TRACE_V2_INVALID", `Invocation ${invocationId} must record profileChoiceKey.`, `/modelInvocations/${invocationId}/resolvedInvocation/profileChoiceKey`));
+            }
+            if (planned.kind === "model" &&
+                plan.policies.directModelPolicy === "forbidden" &&
+                resolved.resolutionSource !== "directModel" &&
+                !invocation.directModelPolicyResult) {
+                errors.push(execError("EXECUTION_TRACE_V2_DATA_POLICY_VIOLATION", `Direct model invocation ${invocationId} must record policy result.`, `/modelInvocations/${invocationId}/directModelPolicyResult`));
+            }
+        }
+        const slot = invocation.slot;
+        if (typeof slot === "string" && !AI_SLOTS.has(slot)) {
+            errors.push(execError("EXECUTION_TRACE_V2_INVALID", `Invocation ${invocationId} has invalid slot.`, `/modelInvocations/${invocationId}/slot`));
+        }
+    }
+    if (traceRecord.status === "completed" && !traceRecord.finalOutput) {
+        const hasFinalizer = plan.topology.finalizerNodeIds.length > 0;
+        if (hasFinalizer) {
+            errors.push(execError("EXECUTION_TRACE_V2_FINAL_OUTPUT_MISSING", "Completed trace must record finalOutput when plan declares response contract.", "/finalOutput"));
+        }
+    }
+    if (isRecord(traceRecord.totals)) {
+        const derived = summarizeExecutionTrace(traceRecord);
+        const totals = traceRecord.totals;
+        if (typeof totals.inputTokens === "number" &&
+            typeof derived.inputTokens === "number" &&
+            totals.inputTokens !== derived.inputTokens) {
+            errors.push(execError("EXECUTION_TRACE_V2_TOTALS_MISMATCH", "totals.inputTokens does not match derived usage.", "/totals/inputTokens"));
+        }
+    }
+    const derivedStatus = deriveGraphStatus(traceRecord);
+    if (isExecutionComplete &&
+        traceRecord.status !== derivedStatus &&
+        traceRecord.status !== "cancelled") {
+        errors.push(execError("EXECUTION_TRACE_V2_STATUS_MISMATCH", `trace.status ${traceRecord.status} is inconsistent with derived status ${derivedStatus}.`, "/status"));
+    }
+    return { valid: errors.length === 0, errors };
+}
+//# sourceMappingURL=validate-trace-against-plan.js.map

package/dist/validators/validate-trace-against-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-trace-against-plan.js","sourceRoot":"","sources":["../../src/validators/validate-trace-against-plan.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EACL,sBAAsB,EACtB,cAAc,EACd,oBAAoB,EACpB,oBAAoB,EACrB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,gBAAgB;IAChB,YAAY;IACZ,iBAAiB;IACjB,gBAAgB;CACjB,CAAC,CAAC;AAEH,SAAS,qBAAqB,CAC5B,MAAc,EACd,QAAiC,EACjC,IAA2B,EAC3B,MAAuC;IAEvC,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO;IAEtC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,iBAAiB,EAAE,CAAC;QACxD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,2CAA2C,EAC3C,QAAQ,MAAM,+BAA+B,EAC7C,mBAAmB,MAAM,iBAAiB,CAC3C,CACF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC;IACrD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CACT,SAAS,CACP,yCAAyC,EACzC,QAAQ,MAAM,mDAAmD,EACjE,mBAAmB,MAAM,iBAAiB,CAC3C,CACF,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,eAAe,KAAK,KAAK,EAAE,CAAC;QACvC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,yCAAyC,EACzC,QAAQ,MAAM,2CAA2C,EACzD,mBAAmB,MAAM,2BAA2B,CACrD,CACF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;IACvB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAI,QAAQ,IAAI,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;YAC9C,MAAM,CAAC,IAAI,CACT,SAAS,CACP,wCAAwC,EACxC,QAAQ,MAAM,gCAAgC,EAC9C,mBAAmB,MAAM,WAAW,CACrC,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,OAAO,QAAQ,CAAC,iBAAiB,KAAK,QAAQ,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,MAAM,CAAC;QAC3D,IAAI,QAAQ,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CACT,SAAS,CACP,wCAAwC,EACxC,QAAQ,MAAM,uCAAuC,EACrD,mBAAmB,MAAM,6BAA6B,CACvD,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,SAAkC;IAChE,KAAK,SAAS,CAAC;IACf,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAc,EACd,IAA2B;IAE3B,MAAM,MAAM,GAAoC,EAAE,CAAC;IAEnD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE;gBACN,SAAS,CACP,4BAA4B,EAC5B,oCAAoC,EACpC,EAAE,CACH;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,KAAK,CAAC;IAE1B,IACE,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC;QAC5B,WAAW,CAAC,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC,SAAS,EACtD,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,oCAAoC,EACpC,2DAA2D,EAC3D,mBAAmB,CACpB,CACF,CAAC;IACJ,CAAC;IAED,IACE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EACvC,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,kCAAkC,EAClC,+CAA+C,EAC/C,cAAc,CACf,CACF,CAAC;IACJ,CAAC;IAED,IACE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;QAC7B,WAAW,CAAC,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,cAAc,CAAC,KAAK,EACvD,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,qCAAqC,EACrC,sDAAsD,EACtD,gBAAgB,CACjB,CACF,CAAC;IACJ,CAAC;IAED,MAAM,mBAAmB,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAClF,MAAM,CAAC,WAAW,CAAC,MAAM,IAAI,EAAE,CAAC,CACjC,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,cAAc,CAAC;YACpD,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC,MAAM,CAAC;YACpC,CAAC,CAAC,SAAS,CAAC;QAEd,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,IAAI,mBAAmB,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CACT,SAAS,CACP,yCAAyC,EACzC,aAAa,MAAM,+BAA+B,EAClD,mBAAmB,MAAM,EAAE,CAC5B,CACF,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QAED,IACE,mBAAmB;YACnB,CAAC,oBAAoB,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,EACrD,CAAC;YACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,yCAAyC,EACzC,aAAa,MAAM,6CAA6C,EAChE,mBAAmB,MAAM,SAAS,CACnC,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG;QACf,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC;QACjE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC;KACvE,CAAC;IAEF,MAAM,cAAc,GAAG,QAAQ,CAAC,WAAW,CAAC,cAAc,CAAC;QACzD,CAAC,CAAC,WAAW,CAAC,cAAc;QAC5B,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,gBAAgB,GAAG,QAAQ,CAAC,WAAW,CAAC,gBAAgB,CAAC;QAC7D,CAAC,CAAC,WAAW,CAAC,gBAAgB;QAC9B,CAAC,CAAC,EAAE,CAAC;IAEP,KAAK,MAAM,WAAW,IAAI,QAAQ,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,IAAI,mBAAmB,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CACT,SAAS,CACP,yCAAyC,EACzC,aAAa,WAAW,CAAC,MAAM,+BAA+B,EAC9D,mBAAmB,WAAW,CAAC,MAAM,EAAE,CACxC,CACF,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QAED,IACE,mBAAmB;YACnB,CAAC,oBAAoB,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,EACrD,CAAC;YACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,yCAAyC,EACzC,aAAa,WAAW,CAAC,MAAM,6CAA6C,EAC5E,mBAAmB,WAAW,CAAC,MAAM,SAAS,CAC/C,CACF,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,cAAc,GAAG,QAAQ,EAAE,cAAc,IAAI,QAAQ,CAAC;QAE5D,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;YACnC,MAAM,aAAa,GAAG,SAAS,CAAC,kBAAkB,CAAC;YACnD,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7D,MAAM,CAAC,IAAI,CACT,SAAS,CACP,iDAAiD,EACjD,mBAAmB,WAAW,CAAC,MAAM,mCAAmC,EACxE,mBAAmB,WAAW,CAAC,MAAM,qBAAqB,CAC3D,CACF,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IACL,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC;YAC5D,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAC3C,CAAC;YACD,KAAK,MAAM,YAAY,IAAI,SAAS,CAAC,kBAAkB,EAAE,CAAC;gBACxD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;oBAC5C,MAAM,CAAC,IAAI,CACT,SAAS,CACP,uCAAuC,EACvC,QAAQ,WAAW,CAAC,MAAM,kCAAkC,YAAY,GAAG,EAC3E,mBAAmB,WAAW,CAAC,MAAM,qBAAqB,CAC3D,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,qBAAqB,CACnB,WAAW,CAAC,MAAM,EAClB,SAAS,CAAC,QAAQ,EAClB,IAAI,EACJ,MAAM,CACP,CAAC;QACJ,CAAC;QAED,IAAI,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9D,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;YAC9B,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;YACpC,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC1D,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC;oBACzD,CAAC,CAAC,KAAK,CAAC,aAAa;oBACrB,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,mBAAmB,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC;oBAC/D,CAAC,CAAC,QAAQ,CAAC,aAAa;oBACxB,CAAC,CAAC,EAAE,CAAC;gBACP,IACE,gBAAgB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EACvE,CAAC;oBACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,yCAAyC,EACzC,QAAQ,WAAW,CAAC,MAAM,4DAA4D,EACtF,mBAAmB,WAAW,CAAC,MAAM,QAAQ,CAC9C,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,QAAQ,CAAC,WAAW,CAAC,eAAe,CAAC;QAC3D,CAAC,CAAC,WAAW,CAAC,eAAe;QAC7B,CAAC,CAAC,EAAE,CAAC;IACP,KAAK,MAAM,MAAM,IAAI,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,mBAAmB,EAAE,CAAC;YAChD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,4CAA4C,EAC5C,iBAAiB,MAAM,2BAA2B,EAClD,oBAAoB,MAAM,EAAE,CAC7B,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC1E,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,SAAS;QACpC,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;QACjC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1D,MAAM,CAAC,IAAI,CACT,SAAS,CACP,uCAAuC,EACvC,oBAAoB,YAAY,4BAA4B,MAAM,GAAG,EACrE,qBAAqB,YAAY,SAAS,CAC3C,CACF,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,UAAU,CAAC,kBAAkB,CAAC;QAC/C,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAChE,MAAM,OAAO,GAAG,UAAU,CAAC,gBAAgB,CAAC;YAC5C,IACE,OAAO,CAAC,IAAI,KAAK,eAAe;gBAChC,OAAO,QAAQ,CAAC,gBAAgB,KAAK,QAAQ,EAC7C,CAAC;gBACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,4BAA4B,EAC5B,cAAc,YAAY,gCAAgC,EAC1D,qBAAqB,YAAY,sCAAsC,CACxE,CACF,CAAC;YACJ,CAAC;YACD,IACE,OAAO,CAAC,IAAI,KAAK,OAAO;gBACxB,IAAI,CAAC,QAAQ,CAAC,iBAAiB,KAAK,WAAW;gBAC/C,QAAQ,CAAC,gBAAgB,KAAK,aAAa;gBAC3C,CAAC,UAAU,CAAC,uBAAuB,EACnC,CAAC;gBACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,0CAA0C,EAC1C,2BAA2B,YAAY,6BAA6B,EACpE,qBAAqB,YAAY,0BAA0B,CAC5D,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;QAC7B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,4BAA4B,EAC5B,cAAc,YAAY,oBAAoB,EAC9C,qBAAqB,YAAY,OAAO,CACzC,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACnE,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;QAC/D,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CACT,SAAS,CACP,yCAAyC,EACzC,+EAA+E,EAC/E,cAAc,CACf,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,uBAAuB,CAAC,WAAoB,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;QAClC,IACE,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ;YACtC,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ;YACvC,MAAM,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,EAC1C,CAAC;YACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,oCAAoC,EACpC,kDAAkD,EAClD,qBAAqB,CACtB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,iBAAiB,CAAC,WAAoB,CAAC,CAAC;IAC9D,IACE,mBAAmB;QACnB,WAAW,CAAC,MAAM,KAAK,aAAa;QACpC,WAAW,CAAC,MAAM,KAAK,WAAW,EAClC,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,oCAAoC,EACpC,gBAAgB,WAAW,CAAC,MAAM,wCAAwC,aAAa,GAAG,EAC1F,SAAS,CACV,CACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC"}

package/package.json

@@ -0,0 +1,51 @@
+{
+  "name": "@x12i/graphenix-trace-format",
+  "version": "1.0.0",
+  "description": "GraphExecutionTrace format: append-only events, validation, and trace helpers.",
+  "license": "MIT",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    }
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "clean": "rimraf dist"
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "keywords": [
+    "graph",
+    "graphenix",
+    "trace",
+    "execution"
+  ],
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/x12i/graphenix-format.git",
+    "directory": "packages/trace-format"
+  },
+  "bugs": {
+    "url": "https://github.com/x12i/graphenix-format/issues"
+  },
+  "homepage": "https://github.com/x12i/graphenix-format/tree/master/packages/trace-format#readme",
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org/"
+  },
+  "dependencies": {
+    "@x12i/graphenix-executable-contracts": "^1.0.0"
+  },
+  "devDependencies": {
+    "@types/node": "^22.10.1",
+    "rimraf": "^6.0.1",
+    "typescript": "^5.6.3"
+  }
+}