gateproof 0.2.4 → 0.5.0

package/dist/report.js

@@ -1,234 +0,0 @@
-/**
- * Stable, versioned report schemas for machine-readable gate outputs.
- * All types are fully JSON-serializable (no Error objects, no functions).
- */
-/**
- * Converts an Error (or Error-like object) into a SerializableError.
- * Preserves Effect-tagged errors (_tag) when present.
- */
-export function serializeError(error) {
-    if (error instanceof Error) {
-        const errorWithTag = error;
-        return {
-            tag: errorWithTag._tag,
-            name: error.name || "Error",
-            message: error.message || String(error),
-            stack: error.stack,
-        };
-    }
-    if (error && typeof error === "object" && "_tag" in error) {
-        const tagged = error;
-        return {
-            tag: tagged._tag,
-            name: tagged._tag,
-            message: tagged.message || String(error),
-        };
-    }
-    return {
-        name: "Error",
-        message: String(error),
-    };
-}
-/**
- * Sorts arrays deterministically (alphabetically) for stable output.
- */
-export function sortDeterministic(arr) {
-    return [...arr].sort();
-}
-/**
- * Converts a GateResult to a fully serializable GateResultV1.
- */
-export function toGateResultV1(result) {
-    return {
-        version: "1",
-        status: result.status,
-        durationMs: result.durationMs,
-        logs: result.logs,
-        evidence: result.evidence,
-        error: result.error ? serializeError(result.error) : undefined,
-    };
-}
-/**
- * Creates an LLM-friendly failure summary from a PRD report.
- *
- * This format is optimized for AI agents to understand:
- * - What failed (specific assertions)
- * - Why it failed (evidence from logs)
- * - What to fix (suggestions)
- *
- * @example
- * ```ts
- * const summary = createLLMFailureSummary(report, {
- *   diffSnippet: gitDiffOutput,
- * });
- * console.log(JSON.stringify(summary, null, 2));
- * ```
- */
-export function createLLMFailureSummary(report, options) {
-    const failedStory = report.failedStory;
-    const failedResult = report.stories.find((s) => s.id === failedStory?.id);
-    const failedAssertions = [];
-    const suggestions = [];
-    // Parse error to extract assertion details
-    if (failedResult?.error) {
-        const err = failedResult.error;
-        if (err.tag === "AssertionFailed" || err.name === "AssertionFailed") {
-            const match = err.message.match(/(\w+):\s*(.+)/);
-            if (match) {
-                failedAssertions.push({
-                    name: match[1],
-                    message: match[2],
-                });
-                // Add specific suggestions based on assertion type
-                if (match[1] === "HasAction") {
-                    suggestions.push(`Ensure the code logs an action named "${match[2].replace("missing ", "").replace(/'/g, "")}"`);
-                    suggestions.push("Check if the relevant code path is being executed");
-                }
-                else if (match[1] === "NoErrors") {
-                    suggestions.push("Fix the error indicated in the logs");
-                    suggestions.push("Check error handling in the relevant code");
-                }
-                else if (match[1] === "HasStage") {
-                    suggestions.push(`Ensure a stage named "${match[2].replace("missing ", "").replace(/'/g, "")}" is logged`);
-                }
-            }
-            else {
-                failedAssertions.push({
-                    name: err.name || "Unknown",
-                    message: err.message,
-                });
-            }
-        }
-        else if (err.tag === "NoPositiveSignal" || err.name === "NoPositiveSignal") {
-            failedAssertions.push({
-                name: "NoPositiveSignal",
-                message: "No actions or stages were observed in logs",
-            });
-            suggestions.push("Ensure the code is logging actions or stages");
-            suggestions.push("Check if the observe resource is configured correctly");
-        }
-        else if (err.tag === "ScopeViolation" || err.name === "ScopeViolation") {
-            failedAssertions.push({
-                name: "ScopeViolation",
-                message: err.message,
-            });
-            suggestions.push("Restrict changes to files within allowedPaths");
-            suggestions.push("Avoid modifying files in forbiddenPaths");
-        }
-        else {
-            failedAssertions.push({
-                name: err.name || "Error",
-                message: err.message,
-            });
-        }
-    }
-    // Build summary
-    let summary = "Gate failed";
-    if (failedStory) {
-        summary = `Gate "${failedStory.id}" failed`;
-    }
-    if (failedResult?.error) {
-        summary += `: ${failedResult.error.message}`;
-    }
-    // Extract evidence from logs if available
-    const logs = options?.logs ?? [];
-    const evidence = {
-        actionsSeen: [],
-        stagesSeen: [],
-        errorTags: [],
-        logCount: logs.length,
-    };
-    for (const log of logs) {
-        if (log && typeof log === "object") {
-            const l = log;
-            if (l.action && typeof l.action === "string") {
-                if (!evidence.actionsSeen.includes(l.action)) {
-                    evidence.actionsSeen.push(l.action);
-                }
-            }
-            if (l.stage && typeof l.stage === "string") {
-                if (!evidence.stagesSeen.includes(l.stage)) {
-                    evidence.stagesSeen.push(l.stage);
-                }
-            }
-            if (l.error && typeof l.error === "object") {
-                const err = l.error;
-                if (err.tag && typeof err.tag === "string") {
-                    if (!evidence.errorTags.includes(err.tag)) {
-                        evidence.errorTags.push(err.tag);
-                    }
-                }
-            }
-        }
-    }
-    // Add default suggestions if none
-    if (suggestions.length === 0) {
-        suggestions.push("Read the gate file to understand expected behavior");
-        suggestions.push("Check if all required actions are being logged");
-        suggestions.push("Verify the observe resource is receiving logs");
-    }
-    return {
-        summary,
-        failedAssertions,
-        prdRelevantSlice: options?.prdSlice ?? (failedStory ? {
-            storyId: failedStory.id,
-            storyTitle: failedStory.title,
-            gateFile: failedStory.gateFile,
-        } : undefined),
-        evidence,
-        diffSnippet: options?.diffSnippet,
-        suggestions,
-    };
-}
-/**
- * Formats an LLM failure summary as a string block.
- * Useful for including in prompts or console output.
- */
-export function formatLLMFailureSummary(summary) {
-    const lines = [
-        "=== GATEPROOF FAILURE SUMMARY (LLM-FRIENDLY) ===",
-        "",
-        `Summary: ${summary.summary}`,
-        "",
-    ];
-    if (summary.prdRelevantSlice) {
-        lines.push("PRD Context:");
-        lines.push(`  Story: ${summary.prdRelevantSlice.storyId}`);
-        lines.push(`  Title: ${summary.prdRelevantSlice.storyTitle}`);
-        lines.push(`  Gate: ${summary.prdRelevantSlice.gateFile}`);
-        if (summary.prdRelevantSlice.scope?.allowedPaths) {
-            lines.push(`  Allowed paths: ${summary.prdRelevantSlice.scope.allowedPaths.join(", ")}`);
-        }
-        lines.push("");
-    }
-    if (summary.failedAssertions.length > 0) {
-        lines.push("Failed Assertions:");
-        for (const assertion of summary.failedAssertions) {
-            lines.push(`  - ${assertion.name}: ${assertion.message}`);
-            if (assertion.expected)
-                lines.push(`    Expected: ${assertion.expected}`);
-            if (assertion.actual)
-                lines.push(`    Actual: ${assertion.actual}`);
-        }
-        lines.push("");
-    }
-    lines.push("Evidence:");
-    lines.push(`  Actions seen: ${summary.evidence.actionsSeen.join(", ") || "(none)"}`);
-    lines.push(`  Stages seen: ${summary.evidence.stagesSeen.join(", ") || "(none)"}`);
-    lines.push(`  Error tags: ${summary.evidence.errorTags.join(", ") || "(none)"}`);
-    lines.push(`  Log count: ${summary.evidence.logCount}`);
-    lines.push("");
-    if (summary.diffSnippet) {
-        lines.push("Recent Diff:");
-        lines.push(summary.diffSnippet.split("\n").slice(0, 20).join("\n"));
-        lines.push("");
-    }
-    lines.push("Suggestions:");
-    for (const suggestion of summary.suggestions) {
-        lines.push(`  - ${suggestion}`);
-    }
-    lines.push("");
-    lines.push("=== END FAILURE SUMMARY ===");
-    return lines.join("\n");
-}
-//# sourceMappingURL=report.js.map

package/dist/report.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA4CH;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;QAC3B,MAAM,YAAY,GAAG,KAAkC,CAAC;QACxD,OAAO;YACL,GAAG,EAAE,YAAY,CAAC,IAAI;YACtB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,OAAO;YAC3B,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC;YACvC,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,KAAiE,CAAC;QACjF,OAAO;YACL,GAAG,EAAE,MAAM,CAAC,IAAI;YAChB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC;SACzC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;KACvB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAI,GAAQ;IAC3C,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,MAW9B;IACC,OAAO;QACL,OAAO,EAAE,GAAG;QACZ,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;KAC/D,CAAC;AACJ,CAAC;AAuCD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAmB,EACnB,OASC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;IACvC,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,EAAE,EAAE,CAAC,CAAC;IAE1E,MAAM,gBAAgB,GAA0C,EAAE,CAAC;IACnE,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,2CAA2C;IAC3C,IAAI,YAAY,EAAE,KAAK,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC;QAE/B,IAAI,GAAG,CAAC,GAAG,KAAK,iBAAiB,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACpE,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YACjD,IAAI,KAAK,EAAE,CAAC;gBACV,gBAAgB,CAAC,IAAI,CAAC;oBACpB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;oBACd,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;iBAClB,CAAC,CAAC;gBAEH,mDAAmD;gBACnD,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,WAAW,EAAE,CAAC;oBAC7B,WAAW,CAAC,IAAI,CAAC,yCAAyC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;oBACjH,WAAW,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;gBACxE,CAAC;qBAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;oBACnC,WAAW,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;oBACxD,WAAW,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;gBAChE,CAAC;qBAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;oBACnC,WAAW,CAAC,IAAI,CAAC,yBAAyB,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC;gBAC7G,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,gBAAgB,CAAC,IAAI,CAAC;oBACpB,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,SAAS;oBAC3B,OAAO,EAAE,GAAG,CAAC,OAAO;iBACrB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,IAAI,GAAG,CAAC,GAAG,KAAK,kBAAkB,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC7E,gBAAgB,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,4CAA4C;aACtD,CAAC,CAAC;YACH,WAAW,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;YACjE,WAAW,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;QAC5E,CAAC;aAAM,IAAI,GAAG,CAAC,GAAG,KAAK,gBAAgB,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACzE,gBAAgB,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,GAAG,CAAC,OAAO;aACrB,CAAC,CAAC;YACH,WAAW,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;YAClE,WAAW,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,OAAO;gBACzB,OAAO,EAAE,GAAG,CAAC,OAAO;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,IAAI,OAAO,GAAG,aAAa,CAAC;IAC5B,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,GAAG,SAAS,WAAW,CAAC,EAAE,UAAU,CAAC;IAC9C,CAAC;IACD,IAAI,YAAY,EAAE,KAAK,EAAE,CAAC;QACxB,OAAO,IAAI,KAAK,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;IAC/C,CAAC;IAED,0CAA0C;IAC1C,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAG;QACf,WAAW,EAAE,EAAc;QAC3B,UAAU,EAAE,EAAc;QAC1B,SAAS,EAAE,EAAc;QACzB,QAAQ,EAAE,IAAI,CAAC,MAAM;KACtB,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,GAA8B,CAAC;YACzC,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC7C,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC7C,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3C,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC3C,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,KAAgC,CAAC;gBAC/C,IAAI,GAAG,CAAC,GAAG,IAAI,OAAO,GAAG,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;oBAC3C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC1C,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACnC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,WAAW,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;QACvE,WAAW,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;QACnE,WAAW,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IACpE,CAAC;IAED,OAAO;QACL,OAAO;QACP,gBAAgB;QAChB,gBAAgB,EAAE,OAAO,EAAE,QAAQ,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;YACpD,OAAO,EAAE,WAAW,CAAC,EAAE;YACvB,UAAU,EAAE,WAAW,CAAC,KAAK;YAC7B,QAAQ,EAAE,WAAW,CAAC,QAAQ;SAC/B,CAAC,CAAC,CAAC,SAAS,CAAC;QACd,QAAQ;QACR,WAAW,EAAE,OAAO,EAAE,WAAW;QACjC,WAAW;KACZ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAA0B;IAChE,MAAM,KAAK,GAAa;QACtB,kDAAkD;QAClD,EAAE;QACF,YAAY,OAAO,CAAC,OAAO,EAAE;QAC7B,EAAE;KACH,CAAC;IAEF,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,oBAAoB,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3F,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,OAAO,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;YAC1D,IAAI,SAAS,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC1E,IAAI,SAAS,CAAC,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACtE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,mBAAmB,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;IACrF,KAAK,CAAC,IAAI,CAAC,kBAAkB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3B,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,OAAO,UAAU,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAE1C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/test-helpers.d.ts

@@ -1,12 +0,0 @@
-/**
- * Test utilities for gateproof
- * Shared helpers used across test files
- */
-import { Queue } from "effect";
-import type { Log } from "./types";
-/**
- * Creates a test observe resource from a queue
- * Used in test files to simulate log streams
- */
-export declare function createTestObserveResource(queue: Queue.Queue<Log>): import("./observe").ObserveResource;
-//# sourceMappingURL=test-helpers.d.ts.map

package/dist/test-helpers.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"test-helpers.d.ts","sourceRoot":"","sources":["../src/test-helpers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAU,KAAK,EAAW,MAAM,QAAQ,CAAC;AAChD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAGnC;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,uCAwBhE"}

package/dist/test-helpers.js

@@ -1,33 +0,0 @@
-/**
- * Test utilities for gateproof
- * Shared helpers used across test files
- */
-import { Effect, Queue, Runtime } from "effect";
-import { createObserveResource } from "./observe";
-/**
- * Creates a test observe resource from a queue
- * Used in test files to simulate log streams
- */
-export function createTestObserveResource(queue) {
-    const backend = {
-        start: () => Effect.succeed({
-            async *[Symbol.asyncIterator]() {
-                const runtime = Runtime.defaultRuntime;
-                while (true) {
-                    try {
-                        const log = await Runtime.runPromise(runtime)(Queue.take(queue).pipe(Effect.timeout("100 millis"), Effect.catchAll(() => Effect.succeed(null))));
-                        if (log === null)
-                            break;
-                        yield log;
-                    }
-                    catch {
-                        break;
-                    }
-                }
-            }
-        }),
-        stop: () => Effect.void
-    };
-    return createObserveResource(backend);
-}
-//# sourceMappingURL=test-helpers.js.map

package/dist/test-helpers.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"test-helpers.js","sourceRoot":"","sources":["../src/test-helpers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAEhD,OAAO,EAAE,qBAAqB,EAAgB,MAAM,WAAW,CAAC;AAEhE;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAuB;IAC/D,MAAM,OAAO,GAAY;QACvB,KAAK,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAqB;YAC9C,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;gBAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC;gBACvC,OAAO,IAAI,EAAE,CAAC;oBACZ,IAAI,CAAC;wBACH,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAC3C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CACpB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAC5B,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAkB,CAAC,CAAC,CAC1D,CACF,CAAC;wBACF,IAAI,GAAG,KAAK,IAAI;4BAAE,MAAM;wBACxB,MAAM,GAAG,CAAC;oBACZ,CAAC;oBAAC,MAAM,CAAC;wBACP,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC;QACF,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI;KACxB,CAAC;IACF,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;AACxC,CAAC"}

package/dist/types.d.ts

@@ -1,41 +0,0 @@
-export interface Log {
-    requestId?: string;
-    timestamp?: string;
-    stage?: string;
-    action?: string;
-    status?: "start" | "success" | "error" | "info";
-    error?: {
-        tag: string;
-        message: string;
-        stack?: string;
-    };
-    data?: Record<string, unknown>;
-    durationMs?: number;
-    [k: string]: unknown;
-}
-export interface LogFilter {
-    requestId?: string;
-    stage?: string;
-    action?: string;
-    status?: "start" | "success" | "error" | "info";
-    since?: Date;
-    until?: Date;
-}
-export type LogStream = AsyncIterable<Log>;
-export interface GateResult {
-    status: "success" | "failed" | "timeout";
-    durationMs: number;
-    logs: Log[];
-    evidence: {
-        requestIds: string[];
-        stagesSeen: string[];
-        actionsSeen: string[];
-        errorTags: string[];
-    };
-    error?: Error;
-}
-export interface ObserveConfig {
-    backend: string;
-    [k: string]: unknown;
-}
-//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,GAAG;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,MAAM,CAAC;IAChD,KAAK,CAAC,EAAE;QACN,GAAG,EAAE,MAAM,CAAC;QACZ,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACtB;AAED,MAAM,WAAW,SAAS;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,MAAM,CAAC;IAChD,KAAK,CAAC,EAAE,IAAI,CAAC;IACb,KAAK,CAAC,EAAE,IAAI,CAAC;CACd;AAED,MAAM,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;AAE3C,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,QAAQ,EAAE;QACR,UAAU,EAAE,MAAM,EAAE,CAAC;QACrB,UAAU,EAAE,MAAM,EAAE,CAAC;QACrB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,SAAS,EAAE,MAAM,EAAE,CAAC;KACrB,CAAC;IACF,KAAK,CAAC,EAAE,KAAK,CAAC;CACf;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACtB"}

package/dist/types.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/dist/utils.d.ts

@@ -1,22 +0,0 @@
-/**
- * Shared utilities for gateproof gates
- * These utilities reduce boilerplate and standardize common patterns
- */
-import { type GateSpec, type GateResult } from "./index";
-import { type Backend } from "./observe";
-/**
- * Creates an empty backend that yields no logs
- * Useful for gates that validate HTTP endpoints without log observation
- */
-export declare function createEmptyBackend(): Backend;
-/**
- * Creates an observe resource from an empty backend
- * Convenience wrapper for the common pattern
- */
-export declare function createEmptyObserveResource(): import("./observe").ObserveResource;
-/**
- * Runs a gate with standardized error handling
- * Returns a result object with consistent structure even on errors
- */
-export declare function runGateWithErrorHandling(gate: GateSpec, name: string): Promise<GateResult>;
-//# sourceMappingURL=utils.d.ts.map

package/dist/utils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAQ,KAAK,QAAQ,EAAE,KAAK,UAAU,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAyB,KAAK,OAAO,EAAE,MAAM,WAAW,CAAC;AAGhE;;;GAGG;AACH,wBAAgB,kBAAkB,IAAI,OAAO,CAU5C;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,wCAEzC;AAED;;;GAGG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,QAAQ,EACd,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,UAAU,CAAC,CAcrB"}

package/dist/utils.js

@@ -1,49 +0,0 @@
-/**
- * Shared utilities for gateproof gates
- * These utilities reduce boilerplate and standardize common patterns
- */
-import { Effect } from "effect";
-import { Gate } from "./index";
-import { createObserveResource } from "./observe";
-/**
- * Creates an empty backend that yields no logs
- * Useful for gates that validate HTTP endpoints without log observation
- */
-export function createEmptyBackend() {
-    return {
-        start: () => Effect.succeed({
-            async *[Symbol.asyncIterator]() {
-                return;
-            },
-        }),
-        stop: () => Effect.void,
-    };
-}
-/**
- * Creates an observe resource from an empty backend
- * Convenience wrapper for the common pattern
- */
-export function createEmptyObserveResource() {
-    return createObserveResource(createEmptyBackend());
-}
-/**
- * Runs a gate with standardized error handling
- * Returns a result object with consistent structure even on errors
- */
-export async function runGateWithErrorHandling(gate, name) {
-    try {
-        return await Gate.run(gate);
-    }
-    catch (unknownError) {
-        const error = unknownError instanceof Error ? unknownError : new Error(String(unknownError));
-        console.error(`   ❌ Error: ${error.message}`);
-        return {
-            status: "failed",
-            durationMs: 0,
-            logs: [],
-            evidence: { actionsSeen: [], errorTags: [], requestIds: [], stagesSeen: [] },
-            error: error instanceof Error ? error : new Error(String(error)),
-        };
-    }
-}
-//# sourceMappingURL=utils.js.map

package/dist/utils.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,IAAI,EAAkC,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAgB,MAAM,WAAW,CAAC;AAGhE;;;GAGG;AACH,MAAM,UAAU,kBAAkB;IAChC,OAAO;QACL,KAAK,EAAE,GAAG,EAAE,CACV,MAAM,CAAC,OAAO,CAAqB;YACnC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;gBAC3B,OAAO;YACT,CAAC;SACF,CAAC;QACF,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI;KACxB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,0BAA0B;IACxC,OAAO,qBAAqB,CAAC,kBAAkB,EAAE,CAAC,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAc,EACd,IAAY;IAEZ,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,YAAY,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,YAAY,YAAY,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;QAC7F,OAAO,CAAC,KAAK,CAAC,eAAe,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9C,OAAO;YACL,MAAM,EAAE,QAAiB;YACzB,UAAU,EAAE,CAAC;YACb,IAAI,EAAE,EAAE;YACR,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;YAC5E,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;SACjE,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/validation.d.ts

@@ -1,6 +0,0 @@
-import { Effect } from "effect";
-import { GateError } from "./index";
-export declare function validateWorkerName(name: string): Effect.Effect<string, GateError>;
-export declare function validateUrl(url: string): Effect.Effect<string, GateError>;
-export declare function validateCommand(command: string): Effect.Effect<string, GateError>;
-//# sourceMappingURL=validation.d.ts.map

package/dist/validation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAEpC,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAQjF;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAUzE;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAgBjF"}

package/dist/validation.js

@@ -1,38 +0,0 @@
-import { Effect } from "effect";
-import { GateError } from "./index";
-export function validateWorkerName(name) {
-    if (!name || typeof name !== "string") {
-        return Effect.fail(new GateError({ cause: new Error("Worker name must be a non-empty string") }));
-    }
-    if (!/^[a-z0-9_-]+$/i.test(name)) {
-        return Effect.fail(new GateError({ cause: new Error("Worker name contains invalid characters") }));
-    }
-    return Effect.succeed(name);
-}
-export function validateUrl(url) {
-    try {
-        const parsed = new URL(url);
-        if (!["http:", "https:"].includes(parsed.protocol)) {
-            return Effect.fail(new GateError({ cause: new Error("URL must use http or https protocol") }));
-        }
-        return Effect.succeed(url);
-    }
-    catch {
-        return Effect.fail(new GateError({ cause: new Error("Invalid URL format") }));
-    }
-}
-export function validateCommand(command) {
-    if (!command || typeof command !== "string") {
-        return Effect.fail(new GateError({ cause: new Error("Command must be a non-empty string") }));
-    }
-    // Extremely strict shell safety: block common shell metacharacters and expansion patterns
-    const dangerous = /[;&|`$(){}[\]<>\\'"\n\r\t]/;
-    const envExpansion = /\$\w+|\$\{[^}]+\}/;
-    if (dangerous.test(command) || envExpansion.test(command)) {
-        return Effect.fail(new GateError({
-            cause: new Error("Command contains potentially dangerous shell characters")
-        }));
-    }
-    return Effect.succeed(command);
-}
-//# sourceMappingURL=validation.js.map

package/dist/validation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"validation.js","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAEpC,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,wCAAwC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,yCAAyC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrG,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,qCAAqC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjG,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,oCAAoC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,0FAA0F;IAC1F,MAAM,SAAS,GACb,4BAA4B,CAAC;IAC/B,MAAM,YAAY,GAAG,mBAAmB,CAAC;IACzC,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,SAAS,CAAC;YACZ,KAAK,EAAE,IAAI,KAAK,CAAC,yDAAyD,CAAC;SAC5E,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC"}