gateproof 0.2.2 → 0.2.4

package/dist/filepath-backend.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Filepath Backend — ObserveResource implementation for Filepath containers
+ *
+ * Creates an observe resource that reads NDJSON events from a Filepath
+ * agent container's stdout and maps them to Gateproof Log entries.
+ *
+ * This is the bridge: Filepath's agent protocol becomes observable
+ * evidence for gate assertions.
+ */
+import type { AgentActConfig } from "./act";
+import { type Backend, type ObserveResource } from "./observe";
+import { type AgentEvent } from "./filepath-protocol";
+/**
+ * Interface for a Filepath container connection.
+ * Implemented by real container runtimes or test mocks.
+ */
+export interface FilepathContainer {
+    /** NDJSON line stream from the container's stdout */
+    stdout: AsyncIterable<string>;
+    /** Send an NDJSON message to the container's stdin */
+    sendInput(line: string): Promise<void>;
+    /** Stop the container */
+    stop(): Promise<void>;
+}
+/**
+ * Interface for spawning Filepath containers.
+ * Swap implementations for real containers vs test mocks.
+ */
+export interface FilepathRuntime {
+    spawn(config: AgentActConfig): Promise<FilepathContainer>;
+}
+/**
+ * Creates a Backend that reads NDJSON events from a Filepath container
+ * and emits them as Gateproof Log entries.
+ */
+export declare function createFilepathBackend(container: FilepathContainer, agentName?: string): Backend;
+/**
+ * Creates an ObserveResource backed by a Filepath container.
+ *
+ * Usage:
+ * ```ts
+ * const container = await runtime.spawn(config);
+ * const observe = createFilepathObserveResource(container, "my-agent");
+ *
+ * const result = await Gate.run({
+ *   observe,
+ *   act: [Act.wait(1000)],
+ *   assert: [Assert.hasAction("commit")],
+ * });
+ * ```
+ */
+export declare function createFilepathObserveResource(container: FilepathContainer, agentName?: string): ObserveResource;
+/**
+ * Creates a mock Filepath container for testing.
+ *
+ * Feed it NDJSON events and it emits them as if they came from a real container.
+ * Use `container.emit(event)` to push events, `container.done()` to signal completion.
+ */
+export declare function createMockFilepathContainer(): FilepathContainer & {
+    emit(event: AgentEvent): void;
+    emitRaw(line: string): void;
+    done(): void;
+};
+//# sourceMappingURL=filepath-backend.d.ts.map

package/dist/filepath-backend.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filepath-backend.d.ts","sourceRoot":"","sources":["../src/filepath-backend.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,OAAO,CAAC;AAC5C,OAAO,EAAyB,KAAK,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACtF,OAAO,EAAoD,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAExG;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,qDAAqD;IACrD,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC9B,sDAAsD;IACtD,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC,yBAAyB;IACzB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;CAC3D;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,iBAAiB,EAC5B,SAAS,CAAC,EAAE,MAAM,GACjB,OAAO,CAwBT;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,6BAA6B,CAC3C,SAAS,EAAE,iBAAiB,EAC5B,SAAS,CAAC,EAAE,MAAM,GACjB,eAAe,CAEjB;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,IAAI,iBAAiB,GAAG;IACjE,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,IAAI,IAAI,IAAI,CAAC;CACd,CA4DA"}

package/dist/filepath-backend.js

@@ -0,0 +1,126 @@
+/**
+ * Filepath Backend — ObserveResource implementation for Filepath containers
+ *
+ * Creates an observe resource that reads NDJSON events from a Filepath
+ * agent container's stdout and maps them to Gateproof Log entries.
+ *
+ * This is the bridge: Filepath's agent protocol becomes observable
+ * evidence for gate assertions.
+ */
+import { Effect } from "effect";
+import { createObserveResource } from "./observe";
+import { agentEventToLog, parseAgentEvent } from "./filepath-protocol";
+/**
+ * Creates a Backend that reads NDJSON events from a Filepath container
+ * and emits them as Gateproof Log entries.
+ */
+export function createFilepathBackend(container, agentName) {
+    return {
+        start() {
+            return Effect.succeed({
+                async *[Symbol.asyncIterator]() {
+                    for await (const line of container.stdout) {
+                        const trimmed = line.trim();
+                        if (!trimmed)
+                            continue;
+                        const event = parseAgentEvent(trimmed);
+                        if (!event)
+                            continue;
+                        yield agentEventToLog(event, agentName);
+                    }
+                },
+            });
+        },
+        stop() {
+            return Effect.tryPromise({
+                try: () => container.stop(),
+                catch: () => undefined,
+            }).pipe(Effect.catchAll(() => Effect.void));
+        },
+    };
+}
+/**
+ * Creates an ObserveResource backed by a Filepath container.
+ *
+ * Usage:
+ * ```ts
+ * const container = await runtime.spawn(config);
+ * const observe = createFilepathObserveResource(container, "my-agent");
+ *
+ * const result = await Gate.run({
+ *   observe,
+ *   act: [Act.wait(1000)],
+ *   assert: [Assert.hasAction("commit")],
+ * });
+ * ```
+ */
+export function createFilepathObserveResource(container, agentName) {
+    return createObserveResource(createFilepathBackend(container, agentName));
+}
+/**
+ * Creates a mock Filepath container for testing.
+ *
+ * Feed it NDJSON events and it emits them as if they came from a real container.
+ * Use `container.emit(event)` to push events, `container.done()` to signal completion.
+ */
+export function createMockFilepathContainer() {
+    const lines = [];
+    let resolve = null;
+    let isDone = false;
+    const waitForLine = () => new Promise((r) => {
+        resolve = r;
+    });
+    return {
+        emit(event) {
+            lines.push(JSON.stringify(event));
+            if (resolve) {
+                const r = resolve;
+                resolve = null;
+                r();
+            }
+        },
+        emitRaw(line) {
+            lines.push(line);
+            if (resolve) {
+                const r = resolve;
+                resolve = null;
+                r();
+            }
+        },
+        done() {
+            isDone = true;
+            if (resolve) {
+                const r = resolve;
+                resolve = null;
+                r();
+            }
+        },
+        stdout: {
+            async *[Symbol.asyncIterator]() {
+                while (true) {
+                    if (lines.length > 0) {
+                        yield lines.shift();
+                    }
+                    else if (isDone) {
+                        return;
+                    }
+                    else {
+                        await waitForLine();
+                    }
+                }
+            },
+        },
+        async sendInput(line) {
+            // Mock: just collect input, no real stdin
+        },
+        async stop() {
+            isDone = true;
+            if (resolve) {
+                const r = resolve;
+                resolve = null;
+                r();
+            }
+        },
+    };
+}
+//# sourceMappingURL=filepath-backend.js.map

package/dist/filepath-backend.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filepath-backend.js","sourceRoot":"","sources":["../src/filepath-backend.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAkB,MAAM,QAAQ,CAAC;AAGhD,OAAO,EAAE,qBAAqB,EAAsC,MAAM,WAAW,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,eAAe,EAAmC,MAAM,qBAAqB,CAAC;AAuBxG;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,SAA4B,EAC5B,SAAkB;IAElB,OAAO;QACL,KAAK;YACH,OAAO,MAAM,CAAC,OAAO,CAAqB;gBACxC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;oBAC3B,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;wBAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;wBAC5B,IAAI,CAAC,OAAO;4BAAE,SAAS;wBAEvB,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;wBACvC,IAAI,CAAC,KAAK;4BAAE,SAAS;wBAErB,MAAM,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;oBAC1C,CAAC;gBACH,CAAC;aACF,CAAC,CAAC;QACL,CAAC;QACD,IAAI;YACF,OAAO,MAAM,CAAC,UAAU,CAAC;gBACvB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE;gBAC3B,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS;aACvB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,6BAA6B,CAC3C,SAA4B,EAC5B,SAAkB;IAElB,OAAO,qBAAqB,CAAC,qBAAqB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B;IAKzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,GAAwB,IAAI,CAAC;IACxC,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,MAAM,WAAW,GAAG,GAAG,EAAE,CACvB,IAAI,OAAO,CAAO,CAAC,CAAC,EAAE,EAAE;QACtB,OAAO,GAAG,CAAC,CAAC;IACd,CAAC,CAAC,CAAC;IAEL,OAAO;QACL,IAAI,CAAC,KAAiB;YACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;YAClC,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,CAAC,GAAG,OAAO,CAAC;gBAClB,OAAO,GAAG,IAAI,CAAC;gBACf,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;QACD,OAAO,CAAC,IAAY;YAClB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,CAAC,GAAG,OAAO,CAAC;gBAClB,OAAO,GAAG,IAAI,CAAC;gBACf,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;QACD,IAAI;YACF,MAAM,GAAG,IAAI,CAAC;YACd,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,CAAC,GAAG,OAAO,CAAC;gBAClB,OAAO,GAAG,IAAI,CAAC;gBACf,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;QACD,MAAM,EAAE;YACN,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;gBAC3B,OAAO,IAAI,EAAE,CAAC;oBACZ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACrB,MAAM,KAAK,CAAC,KAAK,EAAG,CAAC;oBACvB,CAAC;yBAAM,IAAI,MAAM,EAAE,CAAC;wBAClB,OAAO;oBACT,CAAC;yBAAM,CAAC;wBACN,MAAM,WAAW,EAAE,CAAC;oBACtB,CAAC;gBACH,CAAC;YACH,CAAC;SACF;QACD,KAAK,CAAC,SAAS,CAAC,IAAY;YAC1B,0CAA0C;QAC5C,CAAC;QACD,KAAK,CAAC,IAAI;YACR,MAAM,GAAG,IAAI,CAAC;YACd,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,CAAC,GAAG,OAAO,CAAC;gBAClB,OAAO,GAAG,IAAI,CAAC;gBACf,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/filepath-protocol.d.ts

@@ -0,0 +1,214 @@
+/**
+ * Filepath Agent Protocol (FAP) — Gateproof integration
+ *
+ * Zod schemas for the NDJSON event stream between Filepath containers
+ * and the Gateproof observe layer. Each agent emits structured events
+ * on stdout; we parse and map them to Log entries for gate assertions.
+ *
+ * Protocol source: https://github.com/ACoyfellow/filepath
+ */
+import { z } from "zod";
+import type { Log } from "./types";
+export declare const AgentStatus: z.ZodEnum<{
+    error: "error";
+    idle: "idle";
+    thinking: "thinking";
+    running: "running";
+    done: "done";
+}>;
+export type AgentStatus = z.infer<typeof AgentStatus>;
+export declare const TextEvent: z.ZodObject<{
+    type: z.ZodLiteral<"text">;
+    content: z.ZodString;
+}, z.core.$strip>;
+export type TextEvent = z.infer<typeof TextEvent>;
+export declare const ToolEvent: z.ZodObject<{
+    type: z.ZodLiteral<"tool">;
+    name: z.ZodString;
+    path: z.ZodOptional<z.ZodString>;
+    status: z.ZodEnum<{
+        start: "start";
+        error: "error";
+        done: "done";
+    }>;
+    output: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type ToolEvent = z.infer<typeof ToolEvent>;
+export declare const CommandEvent: z.ZodObject<{
+    type: z.ZodLiteral<"command">;
+    cmd: z.ZodString;
+    status: z.ZodEnum<{
+        start: "start";
+        error: "error";
+        done: "done";
+    }>;
+    exit: z.ZodOptional<z.ZodNumber>;
+    stdout: z.ZodOptional<z.ZodString>;
+    stderr: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type CommandEvent = z.infer<typeof CommandEvent>;
+export declare const CommitEvent: z.ZodObject<{
+    type: z.ZodLiteral<"commit">;
+    hash: z.ZodString;
+    message: z.ZodString;
+}, z.core.$strip>;
+export type CommitEvent = z.infer<typeof CommitEvent>;
+export declare const SpawnEvent: z.ZodObject<{
+    type: z.ZodLiteral<"spawn">;
+    name: z.ZodString;
+    agent: z.ZodString;
+    model: z.ZodString;
+    task: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type SpawnEvent = z.infer<typeof SpawnEvent>;
+export declare const WorkersEvent: z.ZodObject<{
+    type: z.ZodLiteral<"workers">;
+    workers: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        status: z.ZodEnum<{
+            error: "error";
+            idle: "idle";
+            thinking: "thinking";
+            running: "running";
+            done: "done";
+        }>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type WorkersEvent = z.infer<typeof WorkersEvent>;
+export declare const StatusEvent: z.ZodObject<{
+    type: z.ZodLiteral<"status">;
+    state: z.ZodEnum<{
+        error: "error";
+        idle: "idle";
+        thinking: "thinking";
+        running: "running";
+        done: "done";
+    }>;
+    context_pct: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export type StatusEvent = z.infer<typeof StatusEvent>;
+export declare const HandoffEvent: z.ZodObject<{
+    type: z.ZodLiteral<"handoff">;
+    summary: z.ZodString;
+}, z.core.$strip>;
+export type HandoffEvent = z.infer<typeof HandoffEvent>;
+export declare const DoneEvent: z.ZodObject<{
+    type: z.ZodLiteral<"done">;
+    summary: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type DoneEvent = z.infer<typeof DoneEvent>;
+export declare const AgentEvent: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"text">;
+    content: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"tool">;
+    name: z.ZodString;
+    path: z.ZodOptional<z.ZodString>;
+    status: z.ZodEnum<{
+        start: "start";
+        error: "error";
+        done: "done";
+    }>;
+    output: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"command">;
+    cmd: z.ZodString;
+    status: z.ZodEnum<{
+        start: "start";
+        error: "error";
+        done: "done";
+    }>;
+    exit: z.ZodOptional<z.ZodNumber>;
+    stdout: z.ZodOptional<z.ZodString>;
+    stderr: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"commit">;
+    hash: z.ZodString;
+    message: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"spawn">;
+    name: z.ZodString;
+    agent: z.ZodString;
+    model: z.ZodString;
+    task: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"workers">;
+    workers: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        status: z.ZodEnum<{
+            error: "error";
+            idle: "idle";
+            thinking: "thinking";
+            running: "running";
+            done: "done";
+        }>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"status">;
+    state: z.ZodEnum<{
+        error: "error";
+        idle: "idle";
+        thinking: "thinking";
+        running: "running";
+        done: "done";
+    }>;
+    context_pct: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"handoff">;
+    summary: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"done">;
+    summary: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>], "type">;
+export type AgentEvent = z.infer<typeof AgentEvent>;
+export declare const UserMessage: z.ZodObject<{
+    type: z.ZodLiteral<"message">;
+    from: z.ZodEnum<{
+        user: "user";
+        parent: "parent";
+        system: "system";
+    }>;
+    content: z.ZodString;
+}, z.core.$strip>;
+export type UserMessage = z.infer<typeof UserMessage>;
+export declare const SignalMessage: z.ZodObject<{
+    type: z.ZodLiteral<"signal">;
+    action: z.ZodEnum<{
+        stop: "stop";
+        pause: "pause";
+        resume: "resume";
+    }>;
+}, z.core.$strip>;
+export type SignalMessage = z.infer<typeof SignalMessage>;
+export declare const AgentInput: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"message">;
+    from: z.ZodEnum<{
+        user: "user";
+        parent: "parent";
+        system: "system";
+    }>;
+    content: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"signal">;
+    action: z.ZodEnum<{
+        stop: "stop";
+        pause: "pause";
+        resume: "resume";
+    }>;
+}, z.core.$strip>], "type">;
+export type AgentInput = z.infer<typeof AgentInput>;
+export declare function parseAgentEvent(line: string): AgentEvent | null;
+export declare function serializeInput(input: AgentInput): string;
+/**
+ * Maps a Filepath AgentEvent to a Gateproof Log entry.
+ *
+ * This is the bridge between the two systems: Filepath's NDJSON protocol
+ * becomes observable evidence for gate assertions.
+ */
+export declare function agentEventToLog(event: AgentEvent, agentName?: string): Log;
+/**
+ * Parses an NDJSON line and maps it to a Log entry.
+ * Returns null for unparseable lines (graceful degradation).
+ */
+export declare function ndjsonLineToLog(line: string, agentName?: string): Log | null;
+//# sourceMappingURL=filepath-protocol.d.ts.map

package/dist/filepath-protocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filepath-protocol.d.ts","sourceRoot":"","sources":["../src/filepath-protocol.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAInC,eAAO,MAAM,WAAW;;;;;;EAMtB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAItD,eAAO,MAAM,SAAS;;;iBAGpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD,eAAO,MAAM,SAAS;;;;;;;;;;iBAMpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD,eAAO,MAAM,YAAY;;;;;;;;;;;iBAOvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,eAAO,MAAM,WAAW;;;;iBAItB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,eAAO,MAAM,UAAU;;;;;;iBAMrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,eAAO,MAAM,YAAY;;;;;;;;;;;;iBAQvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,eAAO,MAAM,WAAW;;;;;;;;;;iBAItB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,eAAO,MAAM,YAAY;;;iBAGvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,eAAO,MAAM,SAAS;;;iBAGpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BAUrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAIpD,eAAO,MAAM,WAAW;;;;;;;;iBAItB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,eAAO,MAAM,aAAa;;;;;;;iBAGxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;2BAGrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAIpD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAQ/D;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAExD;AAsBD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,GAAG,CAwG1E;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,GAAG,GAAG,IAAI,CAI5E"}

package/dist/filepath-protocol.js

@@ -0,0 +1,239 @@
+/**
+ * Filepath Agent Protocol (FAP) — Gateproof integration
+ *
+ * Zod schemas for the NDJSON event stream between Filepath containers
+ * and the Gateproof observe layer. Each agent emits structured events
+ * on stdout; we parse and map them to Log entries for gate assertions.
+ *
+ * Protocol source: https://github.com/ACoyfellow/filepath
+ */
+import { z } from "zod";
+// ─── Agent Status ───
+export const AgentStatus = z.enum([
+    "idle",
+    "thinking",
+    "running",
+    "done",
+    "error",
+]);
+// ─── Output Events (agent stdout → gateproof) ───
+export const TextEvent = z.object({
+    type: z.literal("text"),
+    content: z.string(),
+});
+export const ToolEvent = z.object({
+    type: z.literal("tool"),
+    name: z.string(),
+    path: z.string().optional(),
+    status: z.enum(["start", "done", "error"]),
+    output: z.string().optional(),
+});
+export const CommandEvent = z.object({
+    type: z.literal("command"),
+    cmd: z.string(),
+    status: z.enum(["start", "done", "error"]),
+    exit: z.number().optional(),
+    stdout: z.string().optional(),
+    stderr: z.string().optional(),
+});
+export const CommitEvent = z.object({
+    type: z.literal("commit"),
+    hash: z.string(),
+    message: z.string(),
+});
+export const SpawnEvent = z.object({
+    type: z.literal("spawn"),
+    name: z.string(),
+    agent: z.string(),
+    model: z.string(),
+    task: z.string().optional(),
+});
+export const WorkersEvent = z.object({
+    type: z.literal("workers"),
+    workers: z.array(z.object({
+        name: z.string(),
+        status: AgentStatus,
+    })),
+});
+export const StatusEvent = z.object({
+    type: z.literal("status"),
+    state: AgentStatus,
+    context_pct: z.number().min(0).max(1).optional(),
+});
+export const HandoffEvent = z.object({
+    type: z.literal("handoff"),
+    summary: z.string(),
+});
+export const DoneEvent = z.object({
+    type: z.literal("done"),
+    summary: z.string().optional(),
+});
+export const AgentEvent = z.discriminatedUnion("type", [
+    TextEvent,
+    ToolEvent,
+    CommandEvent,
+    CommitEvent,
+    SpawnEvent,
+    WorkersEvent,
+    StatusEvent,
+    HandoffEvent,
+    DoneEvent,
+]);
+// ─── Input Messages (gateproof → agent stdin) ───
+export const UserMessage = z.object({
+    type: z.literal("message"),
+    from: z.enum(["user", "parent", "system"]),
+    content: z.string(),
+});
+export const SignalMessage = z.object({
+    type: z.literal("signal"),
+    action: z.enum(["stop", "pause", "resume"]),
+});
+export const AgentInput = z.discriminatedUnion("type", [
+    UserMessage,
+    SignalMessage,
+]);
+// ─── NDJSON Parsing ───
+export function parseAgentEvent(line) {
+    try {
+        const json = JSON.parse(line);
+        const result = AgentEvent.safeParse(json);
+        return result.success ? result.data : null;
+    }
+    catch {
+        return null;
+    }
+}
+export function serializeInput(input) {
+    return JSON.stringify(input);
+}
+// ─── Event → Log Mapping ───
+function statusToLogStatus(status) {
+    switch (status) {
+        case "start": return "start";
+        case "done": return "success";
+        case "error": return "error";
+    }
+}
+function agentStateToLogStatus(state) {
+    switch (state) {
+        case "idle": return "info";
+        case "thinking": return "start";
+        case "running": return "start";
+        case "done": return "success";
+        case "error": return "error";
+    }
+}
+/**
+ * Maps a Filepath AgentEvent to a Gateproof Log entry.
+ *
+ * This is the bridge between the two systems: Filepath's NDJSON protocol
+ * becomes observable evidence for gate assertions.
+ */
+export function agentEventToLog(event, agentName) {
+    const base = {
+        timestamp: new Date().toISOString(),
+        stage: agentName ?? "agent",
+    };
+    switch (event.type) {
+        case "text":
+            return {
+                ...base,
+                action: "text",
+                status: "info",
+                data: { content: event.content },
+            };
+        case "tool":
+            return {
+                ...base,
+                action: `tool:${event.name}`,
+                status: statusToLogStatus(event.status),
+                data: {
+                    name: event.name,
+                    ...(event.path && { path: event.path }),
+                    ...(event.output && { output: event.output }),
+                },
+            };
+        case "command":
+            return {
+                ...base,
+                action: `cmd:${event.cmd}`,
+                status: statusToLogStatus(event.status),
+                data: {
+                    cmd: event.cmd,
+                    ...(event.exit !== undefined && { exit: event.exit }),
+                    ...(event.stdout && { stdout: event.stdout }),
+                    ...(event.stderr && { stderr: event.stderr }),
+                },
+                ...(event.status === "error" && event.stderr && {
+                    error: {
+                        tag: "CommandError",
+                        message: event.stderr,
+                    },
+                }),
+            };
+        case "commit":
+            return {
+                ...base,
+                action: "commit",
+                status: "success",
+                data: { hash: event.hash, message: event.message },
+            };
+        case "spawn":
+            return {
+                ...base,
+                action: "spawn",
+                status: "start",
+                data: {
+                    name: event.name,
+                    agent: event.agent,
+                    model: event.model,
+                    ...(event.task && { task: event.task }),
+                },
+            };
+        case "workers":
+            return {
+                ...base,
+                action: "workers",
+                status: "info",
+                data: { workers: event.workers },
+            };
+        case "status":
+            return {
+                ...base,
+                action: "status",
+                status: agentStateToLogStatus(event.state),
+                data: {
+                    state: event.state,
+                    ...(event.context_pct !== undefined && { context_pct: event.context_pct }),
+                },
+            };
+        case "handoff":
+            return {
+                ...base,
+                action: "handoff",
+                status: "info",
+                data: { summary: event.summary },
+            };
+        case "done":
+            return {
+                ...base,
+                action: "done",
+                status: "success",
+                data: {
+                    ...(event.summary && { summary: event.summary }),
+                },
+            };
+    }
+}
+/**
+ * Parses an NDJSON line and maps it to a Log entry.
+ * Returns null for unparseable lines (graceful degradation).
+ */
+export function ndjsonLineToLog(line, agentName) {
+    const event = parseAgentEvent(line);
+    if (!event)
+        return null;
+    return agentEventToLog(event, agentName);
+}
+//# sourceMappingURL=filepath-protocol.js.map

package/dist/filepath-protocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filepath-protocol.js","sourceRoot":"","sources":["../src/filepath-protocol.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,uBAAuB;AAEvB,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC;IAChC,MAAM;IACN,UAAU;IACV,SAAS;IACT,MAAM;IACN,OAAO;CACR,CAAC,CAAC;AAGH,mDAAmD;AAEnD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;CACpB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;CACpB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,KAAK,CACd,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,MAAM,EAAE,WAAW;KACpB,CAAC,CACH;CACF,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,KAAK,EAAE,WAAW;IAClB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACjD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;CACpB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC/B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACrD,SAAS;IACT,SAAS;IACT,YAAY;IACZ,WAAW;IACX,UAAU;IACV,YAAY;IACZ,WAAW;IACX,YAAY;IACZ,SAAS;CACV,CAAC,CAAC;AAGH,mDAAmD;AAEnD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;CACpB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;CAC5C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACrD,WAAW;IACX,aAAa;CACd,CAAC,CAAC;AAGH,yBAAyB;AAEzB,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1C,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAiB;IAC9C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,8BAA8B;AAE9B,SAAS,iBAAiB,CAAC,MAAkC;IAC3D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,OAAO,CAAC,CAAC,OAAO,OAAO,CAAC;QAC7B,KAAK,MAAM,CAAC,CAAC,OAAO,SAAS,CAAC;QAC9B,KAAK,OAAO,CAAC,CAAC,OAAO,OAAO,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAkB;IAC/C,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;QAC3B,KAAK,UAAU,CAAC,CAAC,OAAO,OAAO,CAAC;QAChC,KAAK,SAAS,CAAC,CAAC,OAAO,OAAO,CAAC;QAC/B,KAAK,MAAM,CAAC,CAAC,OAAO,SAAS,CAAC;QAC9B,KAAK,OAAO,CAAC,CAAC,OAAO,OAAO,CAAC;IAC/B,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAAiB,EAAE,SAAkB;IACnE,MAAM,IAAI,GAAiB;QACzB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,KAAK,EAAE,SAAS,IAAI,OAAO;KAC5B,CAAC;IAEF,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,MAAM;gBACd,MAAM,EAAE,MAAM;gBACd,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;aACjC,CAAC;QAEJ,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,QAAQ,KAAK,CAAC,IAAI,EAAE;gBAC5B,MAAM,EAAE,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC;gBACvC,IAAI,EAAE;oBACJ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;oBACvC,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;iBAC9C;aACF,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,OAAO,KAAK,CAAC,GAAG,EAAE;gBAC1B,MAAM,EAAE,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC;gBACvC,IAAI,EAAE;oBACJ,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;oBACrD,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC7C,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;iBAC9C;gBACD,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,MAAM,IAAI;oBAC9C,KAAK,EAAE;wBACL,GAAG,EAAE,cAAc;wBACnB,OAAO,EAAE,KAAK,CAAC,MAAM;qBACtB;iBACF,CAAC;aACH,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,SAAS;gBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;aACnD,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,OAAO;gBACf,MAAM,EAAE,OAAO;gBACf,IAAI,EAAE;oBACJ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;iBACxC;aACF,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,MAAM;gBACd,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;aACjC,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC;gBAC1C,IAAI,EAAE;oBACJ,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;iBAC3E;aACF,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,MAAM;gBACd,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;aACjC,CAAC;QAEJ,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,MAAM;gBACd,MAAM,EAAE,SAAS;gBACjB,IAAI,EAAE;oBACJ,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;iBACjD;aACF,CAAC;IACN,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,SAAkB;IAC9D,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC3C,CAAC"}