@guyghost/swarm-dao-product 0.2.0

package/README.md

@@ -0,0 +1,29 @@
+# @guyghost/swarm-dao-product
+
+Swarm DAO product-loop run executor.
+
+Runs the frozen product-loop machine (in `@guyghost/swarm-dao-core`) as
+journal-replayed runs on disk. Every submitted signal is validated against the
+producer-bound authority table: a producer may only emit the event types its
+graph node declares, AI signals never carry owner-authority keys, and system
+evaluation events are emitted by the runner only.
+
+## Usage
+
+```ts
+import { createProductRunner } from "@guyghost/swarm-dao-product";
+
+const runner = await createProductRunner({ evidenceRoot: ".dao/product-loops", runId: "my-run" });
+const result = await runner.submit(signal);
+```
+
+Or through the CLI entry:
+
+```ts
+import { runProductCli } from "@guyghost/swarm-dao-product";
+const code = await runProductCli(["status", "--run-id", "my-run"]); // 0 | 1 | 2
+```
+
+The `swarm-dao` CLI exposes the same surface as `swarm-dao product
+<init|status|submit>`; exit codes are 0 (success), 2 (machine rejection),
+1 (usage or execution error).

package/dist/cli.d.ts

@@ -0,0 +1,10 @@
+export interface ProductCliDefaults {
+    /** Evidence root used when --evidence-root is absent (resolved from cwd). */
+    evidenceRoot?: string;
+}
+/**
+ * Entry point for the `product:*` repo scripts and the swarm-dao CLI.
+ * Exit codes: 0 success, 2 machine rejection, 1 usage or execution error.
+ */
+export declare const runProductCli: (argv: readonly string[], defaults?: ProductCliDefaults) => Promise<number>;
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAaA,MAAM,WAAW,kBAAkB;IACjC,6EAA6E;IAC7E,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAMD;;;GAGG;AACH,eAAO,MAAM,aAAa,GAAU,MAAM,SAAS,MAAM,EAAE,EAAE,WAAU,kBAAuB,KAAG,OAAO,CAAC,MAAM,CA6B9G,CAAC"}

package/dist/cli.js

@@ -0,0 +1,48 @@
+// Swarm DAO — Product loop run CLI.
+//
+// Thin host entry over ProductRunner: init/status/submit with the same
+// exit-code contract as the graph and improvement CLIs (0 success, 2 machine
+// rejection, 1 usage or execution error). Hosts stay free of transition
+// rules — every submitted signal passes through validateProductSignal and the
+// frozen product-loop machine.
+import { readFile } from "node:fs/promises";
+import { resolve } from "node:path";
+import { parseArgs } from "node:util";
+import { createProductRunner } from "./runner.js";
+const usage = `Usage:
+  product <init|status|submit> --run-id <id> [--evidence-root <path>]
+  product submit --run-id <id> --signal <file> [--evidence-root <path>]`;
+/**
+ * Entry point for the `product:*` repo scripts and the swarm-dao CLI.
+ * Exit codes: 0 success, 2 machine rejection, 1 usage or execution error.
+ */
+export const runProductCli = async (argv, defaults = {}) => {
+    const command = argv[0];
+    if (command !== "init" && command !== "status" && command !== "submit")
+        throw new Error(usage);
+    const { values } = parseArgs({
+        args: argv.slice(1),
+        strict: true,
+        options: {
+            "run-id": { type: "string" },
+            "evidence-root": { type: "string" },
+            signal: { type: "string" },
+        },
+    });
+    const runId = values["run-id"];
+    if (!runId)
+        throw new Error(`--run-id is required\n${usage}`);
+    const evidenceRoot = resolve(values["evidence-root"] ?? defaults.evidenceRoot ?? ".dao/product-loops");
+    if (command === "submit" && !values.signal)
+        throw new Error(`--signal is required\n${usage}`);
+    const runner = await createProductRunner({ evidenceRoot, runId });
+    if (command === "init" || command === "status") {
+        process.stdout.write(`${JSON.stringify(runner.snapshot(), null, 2)}\n`);
+        return 0;
+    }
+    const signal = JSON.parse(await readFile(resolve(values.signal), "utf8"));
+    const result = await runner.submit(signal);
+    process.stdout.write(`${JSON.stringify(result, null, 2)}\n`);
+    return result.accepted ? 0 : 2;
+};
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA,oCAAoC;AACpC,EAAE;AACF,uEAAuE;AACvE,6EAA6E;AAC7E,wEAAwE;AACxE,8EAA8E;AAC9E,+BAA+B;AAE/B,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAOlD,MAAM,KAAK,GAAG;;wEAE0D,CAAC;AAEzE;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,EAAE,IAAuB,EAAE,WAA+B,EAAE,EAAmB,EAAE;IACjH,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;IAE/F,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;QAC3B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE;YACP,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACnC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC3B;KACF,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/B,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,EAAE,CAAC,CAAC;IAE9D,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,QAAQ,CAAC,YAAY,IAAI,oBAAoB,CAAC,CAAC;IACvG,IAAI,OAAO,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,EAAE,CAAC,CAAC;IAC9F,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IAElE,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC/C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACxE,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAgB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7D,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./cli.js";
+export * from "./runner.js";
+export * from "./signal.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}

package/dist/index.js

@@ -0,0 +1,8 @@
+// @guyghost/swarm-dao-product — executor for Swarm DAO product-loop runs:
+// journal-replayed runs over the frozen machine in @guyghost/swarm-dao-core,
+// with strict signal validation (producer-bound authority; AI signals never
+// carry votes, approvals, retries, or cancellations).
+export * from "./cli.js";
+export * from "./runner.js";
+export * from "./signal.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,6EAA6E;AAC7E,4EAA4E;AAC5E,sDAAsD;AAEtD,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}

package/dist/runner.d.ts

@@ -0,0 +1,38 @@
+import { type ProductContext } from "@guyghost/swarm-dao-core";
+export type PersistedProductSnapshot = Readonly<{
+    runId: string;
+    state: string;
+    status: string;
+    context: ProductContext;
+}>;
+export type ProductSubmissionResult = Readonly<{
+    accepted: boolean;
+    issues: readonly string[];
+    snapshot: PersistedProductSnapshot;
+}>;
+type RunnerOptions = Readonly<{
+    evidenceRoot: string;
+    runId: string;
+}>;
+/**
+ * Journal-based runner for the product loop. A cycle's identity is its runId;
+ * unlike improvement-loop there is no caller-supplied reference hash, because
+ * the product loop does not supervise a single external model hash. Instead the
+ * frozen model is pinned at validation time (see contract.ts) and re-checked by
+ * the anchor-reality gate before any run reaches `ship`.
+ *
+ * System evaluation events (VOTE_EVALUATE / VERIFY_EVALUATE /
+ * OBSERVATION_EVALUATE) are emitted by this runner — never by an AI signal —
+ * after the tool producer has recorded its evidence. This keeps every
+ * transition deterministic and owned by the model, not by an LLM.
+ */
+export declare class ProductRunner {
+    #private;
+    private constructor();
+    static create(options: RunnerOptions): Promise<ProductRunner>;
+    snapshot(): PersistedProductSnapshot;
+    submit(input: unknown): Promise<ProductSubmissionResult>;
+}
+export declare const createProductRunner: (options: RunnerOptions) => Promise<ProductRunner>;
+export {};
+//# sourceMappingURL=runner.d.ts.map

package/dist/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAEA,OAAO,EAAyC,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAGtG,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,cAAc,CAAC;CACzB,CAAC,CAAC;AAEH,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,QAAQ,EAAE,wBAAwB,CAAC;CACpC,CAAC,CAAC;AAeH,KAAK,aAAa,GAAG,QAAQ,CAAC;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AAyBH;;;;;;;;;;;GAWG;AACH,qBAAa,aAAa;;IAQxB,OAAO;WAOM,MAAM,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;IAcnE,QAAQ,IAAI,wBAAwB;IAIpC,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,uBAAuB,CAAC;CA8FzD;AAED,eAAO,MAAM,mBAAmB,GAAI,SAAS,aAAa,KAAG,OAAO,CAAC,aAAa,CAAkC,CAAC"}

package/dist/runner.js

@@ -0,0 +1,155 @@
+import { appendFile, mkdir, readFile, writeFile } from "node:fs/promises";
+import { resolve, sep } from "node:path";
+import { createProductActor } from "@guyghost/swarm-dao-core";
+import { validateProductSignal } from "./signal.js";
+const validRunId = (runId) => /^[A-Za-z0-9][A-Za-z0-9._-]{0,127}$/.test(runId) && !runId.includes("..");
+const eventTypeFrom = (input) => {
+    if (typeof input !== "object" || input === null || !("type" in input))
+        return null;
+    return typeof input.type === "string" ? input.type : null;
+};
+const serializeSnapshot = (actor) => {
+    const snapshot = actor.getSnapshot();
+    return {
+        runId: snapshot.context.runId,
+        state: String(snapshot.value),
+        status: snapshot.status,
+        context: structuredClone(snapshot.context),
+    };
+};
+const snapshotChanged = (before, after) => before.state !== after.state ||
+    before.status !== after.status ||
+    JSON.stringify(before.context) !== JSON.stringify(after.context);
+/**
+ * Journal-based runner for the product loop. A cycle's identity is its runId;
+ * unlike improvement-loop there is no caller-supplied reference hash, because
+ * the product loop does not supervise a single external model hash. Instead the
+ * frozen model is pinned at validation time (see contract.ts) and re-checked by
+ * the anchor-reality gate before any run reaches `ship`.
+ *
+ * System evaluation events (VOTE_EVALUATE / VERIFY_EVALUATE /
+ * OBSERVATION_EVALUATE) are emitted by this runner — never by an AI signal —
+ * after the tool producer has recorded its evidence. This keeps every
+ * transition deterministic and owned by the model, not by an LLM.
+ */
+export class ProductRunner {
+    #runId;
+    #runDirectory;
+    #clock;
+    #actor;
+    #sequence = 0;
+    #tail = Promise.resolve();
+    constructor(options, runDirectory) {
+        this.#runId = options.runId;
+        this.#runDirectory = runDirectory;
+        this.#clock = () => new Date().toISOString();
+        this.#actor = createProductActor({ runId: options.runId });
+    }
+    static async create(options) {
+        if (!validRunId(options.runId))
+            throw new Error("runId must be a safe non-empty filesystem identifier");
+        const root = resolve(options.evidenceRoot);
+        const runDirectory = resolve(root, options.runId);
+        if (!runDirectory.startsWith(`${root}${sep}`))
+            throw new Error("runId resolves outside the evidence root");
+        await mkdir(runDirectory, { recursive: true });
+        const runner = new ProductRunner(options, runDirectory);
+        await runner.#restoreJournal();
+        await runner.#persistSnapshot(serializeSnapshot(runner.#actor));
+        return runner;
+    }
+    snapshot() {
+        return serializeSnapshot(this.#actor);
+    }
+    submit(input) {
+        const operation = this.#tail.then(() => this.#submitNow(input));
+        this.#tail = operation.then(() => undefined, () => undefined);
+        return operation;
+    }
+    async #submitNow(input) {
+        const before = serializeSnapshot(this.#actor);
+        const validation = validateProductSignal(input);
+        let accepted = false;
+        let issues = [];
+        let signal;
+        if (!validation.ok) {
+            issues = validation.issues;
+        }
+        else if (validation.signal.runId !== this.#runId) {
+            issues = [`signal runId must match ${this.#runId}`];
+            signal = validation.signal;
+        }
+        else {
+            signal = validation.signal;
+            this.#actor.send(validation.event);
+            accepted = snapshotChanged(before, serializeSnapshot(this.#actor));
+            if (!accepted)
+                issues = ["machine rejected event for the current state or guards"];
+        }
+        const after = serializeSnapshot(this.#actor);
+        const entry = {
+            sequence: ++this.#sequence,
+            runId: this.#runId,
+            receivedAt: this.#clock(),
+            eventType: eventTypeFrom(input),
+            producer: signal?.producer ?? null,
+            accepted,
+            issues,
+            beforeState: before.state,
+            afterState: after.state,
+            ...(signal ? { signal } : {}),
+        };
+        await appendFile(resolve(this.#runDirectory, "journal.ndjson"), `${JSON.stringify(entry)}\n`, "utf8");
+        await this.#persistSnapshot(after);
+        return { accepted, issues, snapshot: after };
+    }
+    async #persistSnapshot(snapshot) {
+        await writeFile(resolve(this.#runDirectory, "snapshot.json"), `${JSON.stringify(snapshot, null, 2)}\n`, "utf8");
+    }
+    async #restoreJournal() {
+        const journalPath = resolve(this.#runDirectory, "journal.ndjson");
+        let content;
+        try {
+            content = await readFile(journalPath, "utf8");
+        }
+        catch (error) {
+            if (typeof error === "object" && error !== null && "code" in error && error.code === "ENOENT")
+                return;
+            throw error;
+        }
+        const lines = content.split("\n").filter((line) => line.trim().length > 0);
+        for (const [index, line] of lines.entries()) {
+            let entry;
+            try {
+                entry = JSON.parse(line);
+            }
+            catch {
+                throw new Error(`journal line ${index + 1} is not valid JSON`);
+            }
+            if (typeof entry !== "object" ||
+                entry === null ||
+                !("sequence" in entry) ||
+                entry.sequence !== index + 1 ||
+                !("accepted" in entry) ||
+                typeof entry.accepted !== "boolean") {
+                throw new Error(`journal line ${index + 1} violates sequence contract`);
+            }
+            this.#sequence = entry.sequence;
+            if (!entry.accepted)
+                continue;
+            if (!("signal" in entry))
+                throw new Error(`accepted journal line ${index + 1} has no signal`);
+            const validation = validateProductSignal(entry.signal);
+            if (!validation.ok || validation.signal.runId !== this.#runId) {
+                throw new Error(`accepted journal line ${index + 1} has an invalid signal`);
+            }
+            const before = serializeSnapshot(this.#actor);
+            this.#actor.send(validation.event);
+            if (!snapshotChanged(before, serializeSnapshot(this.#actor))) {
+                throw new Error(`accepted journal line ${index + 1} cannot be replayed deterministically`);
+            }
+        }
+    }
+}
+export const createProductRunner = (options) => ProductRunner.create(options);
+//# sourceMappingURL=runner.js.map

package/dist/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAA0C,MAAM,0BAA0B,CAAC;AACtG,OAAO,EAAsB,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAiCxE,MAAM,UAAU,GAAG,CAAC,KAAa,EAAW,EAAE,CAC5C,oCAAoC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAE5E,MAAM,aAAa,GAAG,CAAC,KAAc,EAAiB,EAAE;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,OAAO,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,KAAmB,EAA4B,EAAE;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACrC,OAAO;QACL,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK;QAC7B,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC;KAC3C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAgC,EAAE,KAA+B,EAAW,EAAE,CACrG,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;IAC5B,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;IAC9B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAEnE;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,aAAa;IACf,MAAM,CAAS;IACf,aAAa,CAAS;IACtB,MAAM,CAAe;IACrB,MAAM,CAAe;IAC9B,SAAS,GAAG,CAAC,CAAC;IACd,KAAK,GAAkB,OAAO,CAAC,OAAO,EAAE,CAAC;IAEzC,YAAoB,OAAsB,EAAE,YAAoB;QAC9D,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAC5B,IAAI,CAAC,aAAa,GAAG,YAAY,CAAC;QAClC,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,GAAG,kBAAkB,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAsB;QACxC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAExG,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,GAAG,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAE3G,MAAM,KAAK,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,aAAa,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QACxD,MAAM,MAAM,CAAC,eAAe,EAAE,CAAC;QAC/B,MAAM,MAAM,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAChE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,QAAQ;QACN,OAAO,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,CAAC,KAAc;QACnB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC,IAAI,CACzB,GAAG,EAAE,CAAC,SAAS,EACf,GAAG,EAAE,CAAC,SAAS,CAChB,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,KAAc;QAC7B,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,MAAM,GAAsB,EAAE,CAAC;QACnC,IAAI,MAAiC,CAAC;QAEtC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACnB,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;QAC7B,CAAC;aAAM,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACnD,MAAM,GAAG,CAAC,2BAA2B,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACpD,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACnC,QAAQ,GAAG,eAAe,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,QAAQ;gBAAE,MAAM,GAAG,CAAC,wDAAwD,CAAC,CAAC;QACrF,CAAC;QAED,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAiB;YAC1B,QAAQ,EAAE,EAAE,IAAI,CAAC,SAAS;YAC1B,KAAK,EAAE,IAAI,CAAC,MAAM;YAClB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;YACzB,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC;YAC/B,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,IAAI;YAClC,QAAQ;YACR,MAAM;YACN,WAAW,EAAE,MAAM,CAAC,KAAK;YACzB,UAAU,EAAE,KAAK,CAAC,KAAK;YACvB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9B,CAAC;QAEF,MAAM,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,gBAAgB,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtG,MAAM,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC/C,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,QAAkC;QACvD,MAAM,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClH,CAAC;IAED,KAAK,CAAC,eAAe;QACnB,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC;QAClE,IAAI,OAAe,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO;YACtG,MAAM,KAAK,CAAC;QACd,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC3E,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,KAAc,CAAC;YACnB,IAAI,CAAC;gBACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,GAAG,CAAC,oBAAoB,CAAC,CAAC;YACjE,CAAC;YACD,IACE,OAAO,KAAK,KAAK,QAAQ;gBACzB,KAAK,KAAK,IAAI;gBACd,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC;gBACtB,KAAK,CAAC,QAAQ,KAAK,KAAK,GAAG,CAAC;gBAC5B,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC;gBACtB,OAAO,KAAK,CAAC,QAAQ,KAAK,SAAS,EACnC,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,GAAG,CAAC,6BAA6B,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,QAAQ;gBAAE,SAAS;YAC9B,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,GAAG,CAAC,gBAAgB,CAAC,CAAC;YAE9F,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACvD,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC9D,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,GAAG,CAAC,wBAAwB,CAAC,CAAC;YAC9E,CAAC;YACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC7D,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,GAAG,CAAC,uCAAuC,CAAC,CAAC;YAC7F,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAsB,EAA0B,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC"}

package/dist/signal.d.ts

@@ -0,0 +1,20 @@
+import { type ProductEvent, type ProductSignalSource } from "@guyghost/swarm-dao-core";
+export type ProductSignal = Readonly<{
+    runId: string;
+    type: string;
+    source: ProductSignalSource;
+    producer: string;
+    occurredAt: string;
+    payload: Readonly<Record<string, unknown>>;
+    evidence: readonly string[];
+}>;
+export type ProductSignalValidation = Readonly<{
+    ok: true;
+    signal: ProductSignal;
+    event: ProductEvent;
+}> | Readonly<{
+    ok: false;
+    issues: readonly string[];
+}>;
+export declare const validateProductSignal: (input: unknown) => ProductSignalValidation;
+//# sourceMappingURL=signal.d.ts.map

package/dist/signal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signal.d.ts","sourceRoot":"","sources":["../src/signal.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,YAAY,EACjB,KAAK,mBAAmB,EACzB,MAAM,0BAA0B,CAAC;AAElC,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,mBAAmB,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3C,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B,CAAC,CAAC;AAEH,MAAM,MAAM,uBAAuB,GAC/B,QAAQ,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAC,GAClE,QAAQ,CAAC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC,CAAC;AAqUvD,eAAO,MAAM,qBAAqB,GAAI,OAAO,OAAO,KAAG,uBAuEtD,CAAC"}

package/dist/signal.js

@@ -0,0 +1,376 @@
+import { isRequiredProductAnchor, PRODUCT_ALLOWED_CATEGORIES, } from "@guyghost/swarm-dao-core";
+// Event type -> the sole permitted source kind. Mirrors the authority table in
+// models/product-loop.md. A caller-supplied `source` label is rejected if it
+// disagrees with this table.
+const EVENT_SOURCES = {
+    AGENT_SIGNAL: "ai",
+    FEEDBACK_AGGREGATED: "ai",
+    PROPOSAL_DRAFTED: "ai",
+    OPEN_PROPOSITION: "tool",
+    QUALIFICATION_RUN: "tool",
+    VOTE_OPENED: "tool",
+    VOTE_CAST: "tool",
+    VOTE_EVALUATE: "system",
+    VOTE_EXPIRED: "tool",
+    BUDGET_CHARGE: "tool",
+    EXECUTION_DONE: "tool",
+    VERIFY_RUN: "tool",
+    VERIFY_EVALUATE: "system",
+    OBSERVATION_SAMPLE: "tool",
+    OBSERVATION_EVALUATE: "system",
+    ANCHOR_RECORDED: "tool",
+    CORRECTIVE_PROPOSITION_OPENED: "tool",
+    REVIEW_RESOLVED: "human",
+    RETRY_VERIFICATION_AUTHORIZED: "human",
+    CONTACT_VOTE_OPENED: "tool",
+    CONTACT_VOTE_QUORUM: "tool",
+    CONTACT_RELAY_AUTHORIZED: "human",
+    PERMISSION_DENIED: "tool",
+    CANCEL: "human",
+};
+// System-emitted evaluation events have no graph producer node (the runner emits
+// them after recording evidence). Every other event must come from a declared
+// producer node whose authority is bound in models/product-loop.graph.json.
+const SYSTEM_EVENTS = new Set(["VOTE_EVALUATE", "VERIFY_EVALUATE", "OBSERVATION_EVALUATE"]);
+// Producer node -> { declared source, emitted event types }. Mirrors the frozen
+// graph so a signal's authority is bound to its producer's declared node, not to
+// a caller-supplied `source` label. An AI producer ("explorer") therefore can
+// never emit a human-authority event (CANCEL / REVIEW_RESOLVED / CONTACT_RELAY).
+const PRODUCER_EMISSIONS = {
+    explorer: { source: "ai", emits: new Set(["AGENT_SIGNAL", "FEEDBACK_AGGREGATED", "PROPOSAL_DRAFTED"]) },
+    "feedback-aggregator": { source: "ai", emits: new Set(["FEEDBACK_AGGREGATED"]) },
+    proposer: { source: "ai", emits: new Set(["PROPOSAL_DRAFTED"]) },
+    "proposition-gate": { source: "tool", emits: new Set(["OPEN_PROPOSITION"]) },
+    qualifier: { source: "tool", emits: new Set(["QUALIFICATION_RUN", "PERMISSION_DENIED"]) },
+    "vote-tally": { source: "tool", emits: new Set(["VOTE_OPENED", "VOTE_CAST", "VOTE_EXPIRED"]) },
+    "budget-ledger": { source: "tool", emits: new Set(["BUDGET_CHARGE", "EXECUTION_DONE"]) },
+    verifier: { source: "tool", emits: new Set(["VERIFY_RUN", "ANCHOR_RECORDED", "PERMISSION_DENIED"]) },
+    "observation-gate": { source: "tool", emits: new Set(["OBSERVATION_SAMPLE"]) },
+    "rollback-opener": { source: "tool", emits: new Set(["CORRECTIVE_PROPOSITION_OPENED"]) },
+    "contact-relay": { source: "tool", emits: new Set(["CONTACT_VOTE_OPENED", "CONTACT_VOTE_QUORUM"]) },
+    "human-owner": {
+        source: "human",
+        emits: new Set(["REVIEW_RESOLVED", "RETRY_VERIFICATION_AUTHORIZED", "CONTACT_RELAY_AUTHORIZED", "CANCEL"]),
+    },
+};
+// No signal may carry a state-transition target. AI signals additionally may
+// not carry any owner-authority key — the LLM produces a signal, never a
+// decision. The model decides every transition.
+const FORBIDDEN_TRANSITION_KEYS = new Set(["nextState", "targetState", "transition", "target"]);
+const FORBIDDEN_AI_AUTHORITY_KEYS = new Set([
+    "approval",
+    "approve",
+    "expandedBudget",
+    "resolution",
+    "retry",
+    "cancel",
+    "permission",
+    "relay",
+    "quorum",
+    "vote",
+    "favorable",
+]);
+const isRecord = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+const nonEmptyString = (value) => typeof value === "string" && value.trim().length > 0;
+const findForbiddenKeys = (value, forbidden, path = "signal") => {
+    if (Array.isArray(value)) {
+        return value.flatMap((entry, index) => findForbiddenKeys(entry, forbidden, `${path}[${index}]`));
+    }
+    if (!isRecord(value))
+        return [];
+    return Object.entries(value).flatMap(([key, entry]) => [
+        ...(forbidden.has(key) ? [`${path}.${key} is forbidden`] : []),
+        ...findForbiddenKeys(entry, forbidden, `${path}.${key}`),
+    ]);
+};
+const requiredString = (payload, key, issues) => {
+    const value = payload[key];
+    if (!nonEmptyString(value)) {
+        issues.push(`payload.${key} must be a non-empty string`);
+        return "";
+    }
+    return value;
+};
+const firstEvidence = (evidence, issues) => {
+    const value = evidence.find(nonEmptyString);
+    if (!value) {
+        issues.push("evidence must contain at least one non-empty entry");
+        return "";
+    }
+    return value;
+};
+const asCategory = (value, issues, path) => {
+    if (typeof value !== "string" || !PRODUCT_ALLOWED_CATEGORIES.includes(value)) {
+        issues.push(`${path} must be one of the allowed product categories`);
+        return "performance";
+    }
+    return value;
+};
+const buildEvent = (type, source, payload, evidence, issues) => {
+    switch (type) {
+        case "AGENT_SIGNAL":
+            return { type, source, note: requiredString(payload, "note", issues) };
+        case "FEEDBACK_AGGREGATED":
+            return { type, source, summary: requiredString(payload, "summary", issues) };
+        case "PROPOSAL_DRAFTED": {
+            const draft = payload.draft;
+            if (!isRecord(draft)) {
+                issues.push("payload.draft must be a ProposalDraft object");
+                return { type, source, draft: emptyDraft() };
+            }
+            // touchesSensitive MUST be an explicit boolean. Defaulting silently to
+            // false would let a malformed sensitive draft bypass human deploy review.
+            const touchesSensitive = draft.touchesSensitive;
+            if (typeof touchesSensitive !== "boolean") {
+                issues.push("payload.draft.touchesSensitive must be an explicit boolean");
+            }
+            return {
+                type,
+                source,
+                draft: {
+                    scope: requiredString(draft, "scope", issues),
+                    category: asCategory(draft.category, issues, "payload.draft.category"),
+                    touchesSensitive: typeof touchesSensitive === "boolean" ? touchesSensitive : false,
+                    dependencies: Array.isArray(draft.dependencies)
+                        ? draft.dependencies.filter((d) => nonEmptyString(d))
+                        : [],
+                    budgetAllocation: typeof draft.budgetAllocation === "number" ? draft.budgetAllocation : 0,
+                    rollbackArtifact: requiredString(draft, "rollbackArtifact", issues),
+                    evidence: requiredString(draft, "evidence", issues),
+                },
+            };
+        }
+        case "OPEN_PROPOSITION":
+            return { type, source };
+        case "QUALIFICATION_RUN": {
+            // Qualification carries an affirmative, evidence-backed permission
+            // clearance. It never passes on the mere absence of a denial.
+            const permissionCleared = payload.permissionCleared;
+            const permissionEvidence = payload.permissionEvidence;
+            if (typeof permissionCleared !== "boolean") {
+                issues.push("payload.permissionCleared must be a boolean");
+            }
+            if (typeof permissionEvidence !== "string" || permissionEvidence.trim() === "") {
+                issues.push("payload.permissionEvidence must be a non-empty string");
+            }
+            return {
+                type,
+                source,
+                permissionCleared: permissionCleared === true,
+                permissionEvidence: typeof permissionEvidence === "string" ? permissionEvidence : "",
+            };
+        }
+        case "VOTE_OPENED": {
+            const config = payload.config;
+            if (!isRecord(config)) {
+                issues.push("payload.config must be a VoteConfig object");
+                return { type, source, config: { quorum: 1, kind: "standard", expiryHours: 72 } };
+            }
+            return {
+                type,
+                source,
+                config: {
+                    quorum: typeof config.quorum === "number" ? config.quorum : 1,
+                    kind: config.kind === "criticalSecurity" ? "criticalSecurity" : "standard",
+                    expiryHours: typeof config.expiryHours === "number" ? config.expiryHours : 72,
+                },
+            };
+        }
+        case "VOTE_CAST":
+            return { type, source, favorable: typeof payload.favorable === "number" ? payload.favorable : 0 };
+        case "VOTE_EVALUATE":
+            return { type, source };
+        case "VOTE_EXPIRED":
+            return { type, source };
+        case "BUDGET_CHARGE": {
+            const action = payload.action;
+            if (!isRecord(action)) {
+                issues.push("payload.action must be a BudgetAction object");
+                return { type, source, action: { amount: 0, description: "", evidence: "" } };
+            }
+            return {
+                type,
+                source,
+                action: {
+                    amount: typeof action.amount === "number" ? action.amount : 0,
+                    description: requiredString(action, "description", issues),
+                    evidence: requiredString(action, "evidence", issues),
+                },
+            };
+        }
+        case "EXECUTION_DONE":
+            return { type, source };
+        case "VERIFY_RUN": {
+            const control = payload.control;
+            if (!isRecord(control)) {
+                issues.push("payload.control must be a ControlResult object");
+                return { type, source, control: { name: "", status: "failed", evidence: "" } };
+            }
+            return {
+                type,
+                source,
+                control: {
+                    name: requiredString(control, "name", issues),
+                    status: control.status === "passed" ? "passed" : "failed",
+                    evidence: requiredString(control, "evidence", issues),
+                },
+            };
+        }
+        case "VERIFY_EVALUATE":
+            return { type, source };
+        case "OBSERVATION_SAMPLE": {
+            const sample = payload.sample;
+            if (!isRecord(sample)) {
+                issues.push("payload.sample must be an ObservationSample object");
+                return { type, source, sample: { metric: "errors", value: 0, threshold: 0, exceeded: false, evidence: "" } };
+            }
+            const metric = ["errors", "aiCost", "latency", "satisfaction"].includes(String(sample.metric))
+                ? String(sample.metric)
+                : "errors";
+            return {
+                type,
+                source,
+                sample: {
+                    metric,
+                    value: typeof sample.value === "number" ? sample.value : 0,
+                    threshold: typeof sample.threshold === "number" ? sample.threshold : 0,
+                    exceeded: typeof sample.exceeded === "boolean" ? sample.exceeded : false,
+                    evidence: requiredString(sample, "evidence", issues),
+                },
+            };
+        }
+        case "OBSERVATION_EVALUATE":
+            return { type, source, windowElapsed: payload.windowElapsed === true };
+        case "ANCHOR_RECORDED": {
+            const anchor = payload.anchor;
+            if (!isRequiredProductAnchor(anchor)) {
+                issues.push("payload.anchor must be a required product anchor");
+            }
+            const status = payload.status;
+            if (status !== "passed" && status !== "failed") {
+                issues.push('payload.status must be "passed" or "failed"');
+            }
+            return {
+                type,
+                source,
+                anchor: isRequiredProductAnchor(anchor) ? anchor : "regression",
+                status: status === "failed" ? "failed" : "passed",
+                evidence: firstEvidence(evidence, issues),
+            };
+        }
+        case "CORRECTIVE_PROPOSITION_OPENED":
+            return { type, source };
+        case "REVIEW_RESOLVED": {
+            const resolution = payload.resolution;
+            if (resolution !== "scope-reduced" && resolution !== "budget-expanded" && resolution !== "abandoned") {
+                issues.push("payload.resolution must be scope-reduced, budget-expanded, or abandoned");
+            }
+            return {
+                type,
+                source,
+                resolution: resolution === "budget-expanded"
+                    ? "budget-expanded"
+                    : resolution === "scope-reduced"
+                        ? "scope-reduced"
+                        : "abandoned",
+                expandedBudget: typeof payload.expandedBudget === "number" ? payload.expandedBudget : undefined,
+            };
+        }
+        case "RETRY_VERIFICATION_AUTHORIZED":
+            return { type, source };
+        case "CONTACT_VOTE_OPENED":
+            return { type, source };
+        case "CONTACT_VOTE_QUORUM":
+            return { type, source, reached: payload.reached === true };
+        case "CONTACT_RELAY_AUTHORIZED":
+            return { type, source };
+        case "PERMISSION_DENIED":
+            return { type, source, reason: requiredString(payload, "reason", issues) };
+        case "CANCEL":
+            return { type, source, reason: requiredString(payload, "reason", issues) };
+    }
+};
+const emptyDraft = () => ({
+    scope: "",
+    category: "performance",
+    touchesSensitive: false,
+    dependencies: [],
+    budgetAllocation: 0,
+    rollbackArtifact: "",
+    evidence: "",
+});
+export const validateProductSignal = (input) => {
+    const issues = [];
+    if (!isRecord(input))
+        return { ok: false, issues: ["signal must be an object"] };
+    if (!nonEmptyString(input.runId))
+        issues.push("runId must be a non-empty string");
+    if (!nonEmptyString(input.producer))
+        issues.push("producer must be a non-empty string");
+    if (!nonEmptyString(input.occurredAt) || Number.isNaN(Date.parse(input.occurredAt))) {
+        issues.push("occurredAt must be a valid ISO timestamp");
+    }
+    if (!isRecord(input.payload))
+        issues.push("payload must be an object");
+    if (!Array.isArray(input.evidence) || !input.evidence.every((entry) => typeof entry === "string")) {
+        issues.push("evidence must be an array of strings");
+    }
+    const type = input.type;
+    // Use an own-property lookup so an unknown event whose type collides with an
+    // inherited key (e.g. "toString", "__proto__") is never misclassified as known.
+    const knownType = typeof type === "string" && Object.hasOwn(EVENT_SOURCES, type) ? type : null;
+    if (!knownType)
+        issues.push("type must be a known product event");
+    const source = input.source;
+    const validSource = source === "ai" || source === "tool" || source === "human" || source === "system";
+    if (!validSource)
+        issues.push("source must be ai, tool, human, or system");
+    if (knownType && validSource && EVENT_SOURCES[knownType] !== source) {
+        issues.push(`source for ${knownType} must be ${EVENT_SOURCES[knownType]}`);
+    }
+    // Bind the event's authority to the producer's declared graph node. System
+    // evaluation events are emitted by the runner and have no producer node.
+    // Own-property lookup so a caller-supplied prototype key (e.g. "__proto__")
+    // can never resolve to a real producer declaration.
+    const producer = typeof input.producer === "string" ? input.producer : "";
+    if (knownType && !SYSTEM_EVENTS.has(knownType)) {
+        const declared = Object.hasOwn(PRODUCER_EMISSIONS, producer) ? PRODUCER_EMISSIONS[producer] : null;
+        if (!declared) {
+            issues.push(`producer ${producer || "?"} is not a declared graph producer for ${knownType}`);
+        }
+        else {
+            if (!declared.emits.has(knownType)) {
+                issues.push(`producer ${producer} is not declared to emit ${knownType}`);
+            }
+            if (validSource && declared.source !== source) {
+                issues.push(`producer ${producer} must use source ${declared.source}, not ${source}`);
+            }
+        }
+    }
+    // No signal may carry a state target. AI signals may not carry any
+    // owner-authority field. The model — never the signal — decides transitions.
+    issues.push(...findForbiddenKeys(input, FORBIDDEN_TRANSITION_KEYS));
+    if (source === "ai")
+        issues.push(...findForbiddenKeys(input, FORBIDDEN_AI_AUTHORITY_KEYS));
+    const payload = isRecord(input.payload) ? input.payload : {};
+    const evidence = Array.isArray(input.evidence)
+        ? input.evidence.filter((entry) => typeof entry === "string")
+        : [];
+    const event = knownType && validSource ? buildEvent(knownType, source, payload, evidence, issues) : null;
+    if (issues.length > 0 || !event || !knownType)
+        return { ok: false, issues };
+    return {
+        ok: true,
+        signal: {
+            runId: input.runId,
+            type: knownType,
+            source: source,
+            producer: input.producer,
+            occurredAt: input.occurredAt,
+            payload,
+            evidence,
+        },
+        event,
+    };
+};
+//# sourceMappingURL=signal.js.map

package/dist/signal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signal.js","sourceRoot":"","sources":["../src/signal.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,0BAA0B,GAI3B,MAAM,0BAA0B,CAAC;AAgBlC,+EAA+E;AAC/E,6EAA6E;AAC7E,6BAA6B;AAC7B,MAAM,aAAa,GAAG;IACpB,YAAY,EAAE,IAAI;IAClB,mBAAmB,EAAE,IAAI;IACzB,gBAAgB,EAAE,IAAI;IACtB,gBAAgB,EAAE,MAAM;IACxB,iBAAiB,EAAE,MAAM;IACzB,WAAW,EAAE,MAAM;IACnB,SAAS,EAAE,MAAM;IACjB,aAAa,EAAE,QAAQ;IACvB,YAAY,EAAE,MAAM;IACpB,aAAa,EAAE,MAAM;IACrB,cAAc,EAAE,MAAM;IACtB,UAAU,EAAE,MAAM;IAClB,eAAe,EAAE,QAAQ;IACzB,kBAAkB,EAAE,MAAM;IAC1B,oBAAoB,EAAE,QAAQ;IAC9B,eAAe,EAAE,MAAM;IACvB,6BAA6B,EAAE,MAAM;IACrC,eAAe,EAAE,OAAO;IACxB,6BAA6B,EAAE,OAAO;IACtC,mBAAmB,EAAE,MAAM;IAC3B,mBAAmB,EAAE,MAAM;IAC3B,wBAAwB,EAAE,OAAO;IACjC,iBAAiB,EAAE,MAAM;IACzB,MAAM,EAAE,OAAO;CACqD,CAAC;AAIvE,iFAAiF;AACjF,8EAA8E;AAC9E,4EAA4E;AAC5E,MAAM,aAAa,GAAG,IAAI,GAAG,CAAiB,CAAC,eAAe,EAAE,iBAAiB,EAAE,sBAAsB,CAAC,CAAC,CAAC;AAE5G,gFAAgF;AAChF,iFAAiF;AACjF,8EAA8E;AAC9E,iFAAiF;AACjF,MAAM,kBAAkB,GAEpB;IACF,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,qBAAqB,EAAE,kBAAkB,CAAC,CAAC,EAAE;IACvG,qBAAqB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC,EAAE;IAChF,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE;IAChE,kBAAkB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE;IAC5E,SAAS,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC,EAAE;IACzF,YAAY,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,EAAE;IAC9F,eAAe,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,EAAE;IACxF,QAAQ,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,iBAAiB,EAAE,mBAAmB,CAAC,CAAC,EAAE;IACpG,kBAAkB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,oBAAoB,CAAC,CAAC,EAAE;IAC9E,iBAAiB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,+BAA+B,CAAC,CAAC,EAAE;IACxF,eAAe,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,EAAE,qBAAqB,CAAC,CAAC,EAAE;IACnG,aAAa,EAAE;QACb,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,iBAAiB,EAAE,+BAA+B,EAAE,0BAA0B,EAAE,QAAQ,CAAC,CAAC;KAC3G;CACF,CAAC;AAEF,6EAA6E;AAC7E,yEAAyE;AACzE,gDAAgD;AAChD,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC;AAChG,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAC;IAC1C,UAAU;IACV,SAAS;IACT,gBAAgB;IAChB,YAAY;IACZ,OAAO;IACP,QAAQ;IACR,YAAY;IACZ,OAAO;IACP,QAAQ;IACR,MAAM;IACN,WAAW;CACZ,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAoC,EAAE,CACpE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAEvE,MAAM,cAAc,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAEjH,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAE,SAA8B,EAAE,IAAI,GAAG,QAAQ,EAAY,EAAE;IACtG,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QACrD,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,GAAG,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;KACzD,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,OAA0C,EAAE,GAAW,EAAE,MAAgB,EAAU,EAAE;IAC3G,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,WAAW,GAAG,6BAA6B,CAAC,CAAC;QACzD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,QAA2B,EAAE,MAAgB,EAAU,EAAE;IAC9E,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,KAAc,EAAE,MAAgB,EAAE,IAAY,EAAmB,EAAE;IACrF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAE,0BAAgD,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpG,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,gDAAgD,CAAC,CAAC;QACrE,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,KAAwB,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,IAAoB,EACpB,MAA2B,EAC3B,OAA0C,EAC1C,QAA2B,EAC3B,MAAgB,EACF,EAAE;IAChB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc;YACjB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACzE,KAAK,qBAAqB;YACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QAC/E,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;YAC5B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;gBAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC;YAC/C,CAAC;YACD,uEAAuE;YACvE,0EAA0E;YAC1E,MAAM,gBAAgB,GAAG,KAAK,CAAC,gBAAgB,CAAC;YAChD,IAAI,OAAO,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBAC1C,MAAM,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;YAC5E,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,MAAM;gBACN,KAAK,EAAE;oBACL,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC;oBAC7C,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,wBAAwB,CAAC;oBACtE,gBAAgB,EAAE,OAAO,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK;oBAClF,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC;wBAC7C,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;wBAClE,CAAC,CAAC,EAAE;oBACN,gBAAgB,EAAE,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;oBACzF,gBAAgB,EAAE,cAAc,CAAC,KAAK,EAAE,kBAAkB,EAAE,MAAM,CAAC;oBACnE,QAAQ,EAAE,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC;iBACpD;aACF,CAAC;QACJ,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,mEAAmE;YACnE,8DAA8D;YAC9D,MAAM,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,CAAC;YACpD,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC;YACtD,IAAI,OAAO,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBAC3C,MAAM,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;YAC7D,CAAC;YACD,IAAI,OAAO,kBAAkB,KAAK,QAAQ,IAAI,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC/E,MAAM,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;YACvE,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,MAAM;gBACN,iBAAiB,EAAE,iBAAiB,KAAK,IAAI;gBAC7C,kBAAkB,EAAE,OAAO,kBAAkB,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE;aACrF,CAAC;QACJ,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;gBAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC;YACpF,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,MAAM;gBACN,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC7D,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU;oBAC1E,WAAW,EAAE,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE;iBAC9E;aACF,CAAC;QACJ,CAAC;QACD,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpG,KAAK,eAAe;YAClB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,cAAc;YACjB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;gBAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC;YAChF,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,MAAM;gBACN,MAAM,EAAE;oBACN,MAAM,EAAE,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC7D,WAAW,EAAE,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC;oBAC1D,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC;iBACrD;aACF,CAAC;QACJ,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;gBAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC;YACjF,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,MAAM;gBACN,OAAO,EAAE;oBACP,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;oBAC7C,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;oBACzD,QAAQ,EAAE,cAAc,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC;iBACtD;aACF,CAAC;QACJ,CAAC;QACD,KAAK,iBAAiB;YACpB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;gBAClE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC;YAC/G,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC5F,CAAC,CAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAsD;gBAC7E,CAAC,CAAC,QAAQ,CAAC;YACb,OAAO;gBACL,IAAI;gBACJ,MAAM;gBACN,MAAM,EAAE;oBACN,MAAM;oBACN,KAAK,EAAE,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC1D,SAAS,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;oBACtE,QAAQ,EAAE,OAAO,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK;oBACxE,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC;iBACrD;aACF,CAAC;QACJ,CAAC;QACD,KAAK,sBAAsB;YACzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QACzE,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;YAClE,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/C,MAAM,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;YAC7D,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,MAAM;gBACN,MAAM,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY;gBAC/D,MAAM,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;gBACjD,QAAQ,EAAE,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC;aAC1C,CAAC;QACJ,CAAC;QACD,KAAK,+BAA+B;YAClC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;YACtC,IAAI,UAAU,KAAK,eAAe,IAAI,UAAU,KAAK,iBAAiB,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;gBACrG,MAAM,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;YACzF,CAAC;YACD,OAAO;gBACL,IAAI;gBACJ,MAAM;gBACN,UAAU,EACR,UAAU,KAAK,iBAAiB;oBAC9B,CAAC,CAAC,iBAAiB;oBACnB,CAAC,CAAC,UAAU,KAAK,eAAe;wBAC9B,CAAC,CAAC,eAAe;wBACjB,CAAC,CAAC,WAAW;gBACnB,cAAc,EAAE,OAAO,OAAO,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;aAChG,CAAC;QACJ,CAAC;QACD,KAAK,+BAA+B;YAClC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,qBAAqB;YACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,qBAAqB;YACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC7D,KAAK,0BAA0B;YAC7B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,mBAAmB;YACtB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QAC7E,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;IAC/E,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,GAAG,EAAE,CAAC,CAAC;IACxB,KAAK,EAAE,EAAE;IACT,QAAQ,EAAE,aAAgC;IAC1C,gBAAgB,EAAE,KAAK;IACvB,YAAY,EAAE,EAAuB;IACrC,gBAAgB,EAAE,CAAC;IACnB,gBAAgB,EAAE,EAAE;IACpB,QAAQ,EAAE,EAAE;CACb,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,KAAc,EAA2B,EAAE;IAC/E,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,0BAA0B,CAAC,EAAE,CAAC;IAEjF,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAClF,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACxF,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACpF,MAAM,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACvE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QAClG,MAAM,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,6EAA6E;IAC7E,gFAAgF;IAChF,MAAM,SAAS,GAAG,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,CAAE,IAAuB,CAAC,CAAC,CAAC,IAAI,CAAC;IACnH,IAAI,CAAC,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IAElE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,WAAW,GAAG,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,QAAQ,CAAC;IACtG,IAAI,CAAC,WAAW;QAAE,MAAM,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAC3E,IAAI,SAAS,IAAI,WAAW,IAAI,aAAa,CAAC,SAAS,CAAC,KAAK,MAAM,EAAE,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC,cAAc,SAAS,YAAY,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,2EAA2E;IAC3E,yEAAyE;IACzE,4EAA4E;IAC5E,oDAAoD;IACpD,MAAM,QAAQ,GAAG,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,IAAI,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnG,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,IAAI,GAAG,yCAAyC,SAAS,EAAE,CAAC,CAAC;QAC/F,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,4BAA4B,SAAS,EAAE,CAAC,CAAC;YAC3E,CAAC;YACD,IAAI,WAAW,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC9C,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,oBAAoB,QAAQ,CAAC,MAAM,SAAS,MAAM,EAAE,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,6EAA6E;IAC7E,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,yBAAyB,CAAC,CAAC,CAAC;IACpE,IAAI,MAAM,KAAK,IAAI;QAAE,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,2BAA2B,CAAC,CAAC,CAAC;IAE3F,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC5C,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;QAC9E,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,KAAK,GAAG,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEzG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC5E,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM,EAAE;YACN,KAAK,EAAE,KAAK,CAAC,KAAe;YAC5B,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,MAA6B;YACrC,QAAQ,EAAE,KAAK,CAAC,QAAkB;YAClC,UAAU,EAAE,KAAK,CAAC,UAAoB;YACtC,OAAO;YACP,QAAQ;SACT;QACD,KAAK;KACN,CAAC;AACJ,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,53 @@
+{
+  "name": "@guyghost/swarm-dao-product",
+  "version": "0.2.0",
+  "description": "Swarm DAO product-loop executor — journal-replayed product runs (proposition, qualification, vote, execution, verification, observation) with producer-bound signal validation",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "sideEffects": false,
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "scripts": {
+    "build": "tsc",
+    "test": "bun test",
+    "lint": "biome check .",
+    "typecheck": "tsc --noEmit",
+    "prepublishOnly": "bun run build"
+  },
+  "dependencies": {
+    "@guyghost/swarm-dao-core": "^0.10.2"
+  },
+  "devDependencies": {
+    "@types/bun": "1.3.14",
+    "@types/node": "^26.0.1"
+  },
+  "keywords": [
+    "swarm-dao",
+    "product-loop",
+    "dao",
+    "xstate"
+  ],
+  "author": "guyghost",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/guyghost/swarm-dao.git",
+    "directory": "packages/product-loop"
+  },
+  "bugs": {
+    "url": "https://github.com/guyghost/swarm-dao/issues"
+  },
+  "homepage": "https://github.com/guyghost/swarm-dao#readme",
+  "publishConfig": {
+    "access": "public"
+  }
+}