@guyghost/swarm-dao-core 0.3.0 → 0.5.0

package/dist/models/graph-engineering.machine.js

@@ -0,0 +1,214 @@
+import { assign, createActor, setup } from "xstate";
+export const REQUIRED_GRAPH_ANCHORS = [
+    "model-contract",
+    "graph-tests",
+    "architecture-contract",
+    "repository-ci",
+    "runtime-scenario",
+    "regression",
+];
+export const GRAPH_MAX_RETRIES = 2;
+export const GRAPH_TERMINAL_STATES = ["succeeded", "failed", "blocked", "cancelled"];
+const isNonEmpty = (value) => typeof value === "string" && value.trim().length > 0;
+export const isRequiredGraphAnchor = (value) => typeof value === "string" && REQUIRED_GRAPH_ANCHORS.includes(value);
+const initialContext = (runId) => ({
+    runId,
+    modelHash: null,
+    approvedModelHash: null,
+    implementationHash: null,
+    anchors: {},
+    attempt: 0,
+    maxRetries: GRAPH_MAX_RETRIES,
+    terminalReason: null,
+});
+const graphEngineeringSetup = setup({
+    types: {
+        context: {},
+        events: {},
+        input: {},
+    },
+    guards: {
+        isAiModelDraft: ({ event }) => event.type === "MODEL_DRAFTED" && event.source === "ai" && isNonEmpty(event.modelHash),
+        isValidModelContract: ({ event }) => event.type === "MODEL_CONTRACT_VALID" && event.source === "tool" && isNonEmpty(event.evidence),
+        isInvalidModelContract: ({ event }) => event.type === "MODEL_CONTRACT_INVALID" && event.source === "tool" && isNonEmpty(event.reason),
+        isMatchingHumanApproval: ({ context, event }) => event.type === "MODEL_APPROVED" &&
+            event.source === "human" &&
+            isNonEmpty(event.modelHash) &&
+            event.modelHash === context.modelHash,
+        isHumanRejection: ({ event }) => event.type === "MODEL_REJECTED" && event.source === "human" && isNonEmpty(event.reason),
+        isSystemStart: ({ event }) => event.type === "START_IMPLEMENTATION" && event.source === "system",
+        isAiImplementationReady: ({ event }) => event.type === "IMPLEMENTATION_READY" && event.source === "ai" && isNonEmpty(event.implementationHash),
+        isAiImplementationFailure: ({ event }) => event.type === "IMPLEMENTATION_FAILED" && event.source === "ai" && isNonEmpty(event.reason),
+        isValidAnchor: ({ event }) => event.type === "ANCHOR_RECORDED" &&
+            event.source === "tool" &&
+            isRequiredGraphAnchor(event.anchor) &&
+            event.anchor !== "model-contract" &&
+            (event.status === "passed" || event.status === "failed") &&
+            isNonEmpty(event.evidence),
+        allAnchorsPassed: ({ context, event }) => event.type === "EVALUATE" &&
+            event.source === "system" &&
+            REQUIRED_GRAPH_ANCHORS.every((anchor) => {
+                const result = context.anchors[anchor];
+                return (result?.status === "passed" &&
+                    isNonEmpty(result.evidence) &&
+                    (anchor === "model-contract" || result.attempt === context.attempt));
+            }),
+        isSystemEvaluation: ({ event }) => event.type === "EVALUATE" && event.source === "system",
+        isHumanRetry: ({ context, event }) => event.type === "RETRY_AUTHORIZED" && event.source === "human" && context.attempt < context.maxRetries,
+        isToolPermissionDenial: ({ event }) => event.type === "PERMISSION_DENIED" && event.source === "tool" && isNonEmpty(event.reason),
+        isHumanCancellation: ({ event }) => event.type === "CANCEL" && event.source === "human" && isNonEmpty(event.reason),
+    },
+    actions: {
+        recordModel: assign(({ context, event }) => event.type === "MODEL_DRAFTED"
+            ? {
+                ...context,
+                modelHash: event.modelHash,
+                approvedModelHash: null,
+                implementationHash: null,
+                anchors: {},
+                attempt: 0,
+                terminalReason: null,
+            }
+            : context),
+        recordModelContract: assign(({ context, event }) => event.type === "MODEL_CONTRACT_VALID"
+            ? {
+                ...context,
+                anchors: {
+                    ...context.anchors,
+                    "model-contract": { status: "passed", evidence: event.evidence, attempt: 0 },
+                },
+            }
+            : context),
+        approveModel: assign(({ context, event }) => event.type === "MODEL_APPROVED" ? { ...context, approvedModelHash: event.modelHash } : context),
+        resetRejectedModel: assign(({ context }) => initialContext(context.runId)),
+        recordImplementation: assign(({ context, event }) => event.type === "IMPLEMENTATION_READY" ? { ...context, implementationHash: event.implementationHash } : context),
+        recordAnchorOnce: assign(({ context, event }) => {
+            if (event.type !== "ANCHOR_RECORDED" || context.anchors[event.anchor] !== undefined)
+                return context;
+            return {
+                ...context,
+                anchors: {
+                    ...context.anchors,
+                    [event.anchor]: { status: event.status, evidence: event.evidence, attempt: context.attempt },
+                },
+            };
+        }),
+        prepareRetry: assign(({ context }) => ({
+            ...context,
+            implementationHash: null,
+            anchors: context.anchors["model-contract"] ? { "model-contract": context.anchors["model-contract"] } : {},
+            attempt: context.attempt + 1,
+            terminalReason: null,
+        })),
+        recordEventReason: assign(({ context, event }) => ({
+            ...context,
+            terminalReason: "reason" in event && isNonEmpty(event.reason) ? event.reason : "graph run failed",
+        })),
+        recordVerificationFailure: assign(({ context }) => ({
+            ...context,
+            terminalReason: "required anchors did not all pass",
+        })),
+        recordSuccess: assign(({ context }) => ({
+            ...context,
+            terminalReason: "all required anchors passed",
+        })),
+    },
+});
+export const graphEngineeringMachine = graphEngineeringSetup.createMachine({
+    id: "swarm-dao-graph-engineering",
+    initial: "draft",
+    context: ({ input }) => initialContext(input.runId),
+    on: {
+        PERMISSION_DENIED: {
+            guard: "isToolPermissionDenial",
+            target: ".blocked",
+            actions: "recordEventReason",
+        },
+        CANCEL: {
+            guard: "isHumanCancellation",
+            target: ".cancelled",
+            actions: "recordEventReason",
+        },
+    },
+    states: {
+        draft: {
+            on: {
+                MODEL_DRAFTED: { guard: "isAiModelDraft", target: "modelReview", actions: "recordModel" },
+            },
+        },
+        modelReview: {
+            on: {
+                MODEL_CONTRACT_VALID: {
+                    guard: "isValidModelContract",
+                    target: "awaitingApproval",
+                    actions: "recordModelContract",
+                },
+                MODEL_CONTRACT_INVALID: {
+                    guard: "isInvalidModelContract",
+                    target: "failed",
+                    actions: "recordEventReason",
+                },
+            },
+        },
+        awaitingApproval: {
+            on: {
+                MODEL_APPROVED: { guard: "isMatchingHumanApproval", target: "ready", actions: "approveModel" },
+                MODEL_REJECTED: { guard: "isHumanRejection", target: "draft", actions: "resetRejectedModel" },
+            },
+        },
+        ready: {
+            on: {
+                START_IMPLEMENTATION: { guard: "isSystemStart", target: "implementing" },
+            },
+        },
+        implementing: {
+            on: {
+                IMPLEMENTATION_READY: {
+                    guard: "isAiImplementationReady",
+                    target: "verifying",
+                    actions: "recordImplementation",
+                },
+                IMPLEMENTATION_FAILED: [
+                    {
+                        guard: ({ context, event }) => event.type === "IMPLEMENTATION_FAILED" &&
+                            event.source === "ai" &&
+                            isNonEmpty(event.reason) &&
+                            context.attempt < context.maxRetries,
+                        target: "retrying",
+                        actions: "recordEventReason",
+                    },
+                    { guard: "isAiImplementationFailure", target: "failed", actions: "recordEventReason" },
+                ],
+            },
+        },
+        verifying: {
+            on: {
+                ANCHOR_RECORDED: { guard: "isValidAnchor", actions: "recordAnchorOnce" },
+                EVALUATE: [
+                    { guard: "allAnchorsPassed", target: "succeeded", actions: "recordSuccess" },
+                    {
+                        guard: ({ context, event }) => event.type === "EVALUATE" && event.source === "system" && context.attempt < context.maxRetries,
+                        target: "retrying",
+                        actions: "recordVerificationFailure",
+                    },
+                    { guard: "isSystemEvaluation", target: "failed", actions: "recordVerificationFailure" },
+                ],
+            },
+        },
+        retrying: {
+            on: {
+                RETRY_AUTHORIZED: { guard: "isHumanRetry", target: "implementing", actions: "prepareRetry" },
+            },
+        },
+        succeeded: { type: "final" },
+        failed: { type: "final" },
+        blocked: { type: "final" },
+        cancelled: { type: "final" },
+    },
+});
+export const createGraphEngineeringActor = (runId) => {
+    const actor = createActor(graphEngineeringMachine, { input: { runId } });
+    actor.start();
+    return actor;
+};
+//# sourceMappingURL=graph-engineering.machine.js.map

package/dist/models/graph-engineering.machine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-engineering.machine.js","sourceRoot":"","sources":["../../src/models/graph-engineering.machine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEvE,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,gBAAgB;IAChB,aAAa;IACb,uBAAuB;IACvB,eAAe;IACf,kBAAkB;IAClB,YAAY;CACJ,CAAC;AAEX,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AACnC,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAU,CAAC;AA4C9F,MAAM,UAAU,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAE7G,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,KAAc,EAA4B,EAAE,CAChF,OAAO,KAAK,KAAK,QAAQ,IAAI,sBAAsB,CAAC,QAAQ,CAAC,KAAwB,CAAC,CAAC;AAEzF,MAAM,cAAc,GAAG,CAAC,KAAa,EAA2B,EAAE,CAAC,CAAC;IAClE,KAAK;IACL,SAAS,EAAE,IAAI;IACf,iBAAiB,EAAE,IAAI;IACvB,kBAAkB,EAAE,IAAI;IACxB,OAAO,EAAE,EAAE;IACX,OAAO,EAAE,CAAC;IACV,UAAU,EAAE,iBAAiB;IAC7B,cAAc,EAAE,IAAI;CACrB,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,KAAK,CAAC;IAClC,KAAK,EAAE;QACL,OAAO,EAAE,EAA6B;QACtC,MAAM,EAAE,EAA2B;QACnC,KAAK,EAAE,EAAuB;KAC/B;IACD,MAAM,EAAE;QACN,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAC5B,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC;QACxF,oBAAoB,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAClC,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QAChG,sBAAsB,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CACpC,KAAK,CAAC,IAAI,KAAK,wBAAwB,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;QAChG,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAC9C,KAAK,CAAC,IAAI,KAAK,gBAAgB;YAC/B,KAAK,CAAC,MAAM,KAAK,OAAO;YACxB,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC;YAC3B,KAAK,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS;QACvC,gBAAgB,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAC9B,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;QACzF,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;QAChG,uBAAuB,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CACrC,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,kBAAkB,CAAC;QACxG,yBAAyB,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CACvC,KAAK,CAAC,IAAI,KAAK,uBAAuB,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;QAC7F,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAC3B,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAChC,KAAK,CAAC,MAAM,KAAK,MAAM;YACvB,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC;YACnC,KAAK,CAAC,MAAM,KAAK,gBAAgB;YACjC,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;YACxD,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC5B,gBAAgB,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CACvC,KAAK,CAAC,IAAI,KAAK,UAAU;YACzB,KAAK,CAAC,MAAM,KAAK,QAAQ;YACzB,sBAAsB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE;gBACtC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACvC,OAAO,CACL,MAAM,EAAE,MAAM,KAAK,QAAQ;oBAC3B,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;oBAC3B,CAAC,MAAM,KAAK,gBAAgB,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CACpE,CAAC;YACJ,CAAC,CAAC;QACJ,kBAAkB,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;QACzF,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CACnC,KAAK,CAAC,IAAI,KAAK,kBAAkB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,UAAU;QACvG,sBAAsB,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CACpC,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;QAC3F,mBAAmB,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;KACpH;IACD,OAAO,EAAE;QACP,WAAW,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CACzC,KAAK,CAAC,IAAI,KAAK,eAAe;YAC5B,CAAC,CAAC;gBACE,GAAG,OAAO;gBACV,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,iBAAiB,EAAE,IAAI;gBACvB,kBAAkB,EAAE,IAAI;gBACxB,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,CAAC;gBACV,cAAc,EAAE,IAAI;aACrB;YACH,CAAC,CAAC,OAAO,CACZ;QACD,mBAAmB,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CACjD,KAAK,CAAC,IAAI,KAAK,sBAAsB;YACnC,CAAC,CAAC;gBACE,GAAG,OAAO;gBACV,OAAO,EAAE;oBACP,GAAG,OAAO,CAAC,OAAO;oBAClB,gBAAgB,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE;iBAC7E;aACF;YACH,CAAC,CAAC,OAAO,CACZ;QACD,YAAY,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAC1C,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,iBAAiB,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,OAAO,CAC/F;QACD,kBAAkB,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1E,oBAAoB,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAClD,KAAK,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,OAAO,CAC/G;QACD,gBAAgB,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE;YAC9C,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;YACpG,OAAO;gBACL,GAAG,OAAO;gBACV,OAAO,EAAE;oBACP,GAAG,OAAO,CAAC,OAAO;oBAClB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;iBAC7F;aACF,CAAC;QACJ,CAAC,CAAC;QACF,YAAY,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACrC,GAAG,OAAO;YACV,kBAAkB,EAAE,IAAI;YACxB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YACzG,OAAO,EAAE,OAAO,CAAC,OAAO,GAAG,CAAC;YAC5B,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;QACH,iBAAiB,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YACjD,GAAG,OAAO;YACV,cAAc,EAAE,QAAQ,IAAI,KAAK,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB;SAClG,CAAC,CAAC;QACH,yBAAyB,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAClD,GAAG,OAAO;YACV,cAAc,EAAE,mCAAmC;SACpD,CAAC,CAAC;QACH,aAAa,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACtC,GAAG,OAAO;YACV,cAAc,EAAE,6BAA6B;SAC9C,CAAC,CAAC;KACJ;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,qBAAqB,CAAC,aAAa,CAAC;IACzE,EAAE,EAAE,6BAA6B;IACjC,OAAO,EAAE,OAAO;IAChB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC;IACnD,EAAE,EAAE;QACF,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,mBAAmB;SAC7B;QACD,MAAM,EAAE;YACN,KAAK,EAAE,qBAAqB;YAC5B,MAAM,EAAE,YAAY;YACpB,OAAO,EAAE,mBAAmB;SAC7B;KACF;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,EAAE,EAAE;gBACF,aAAa,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE;aAC1F;SACF;QACD,WAAW,EAAE;YACX,EAAE,EAAE;gBACF,oBAAoB,EAAE;oBACpB,KAAK,EAAE,sBAAsB;oBAC7B,MAAM,EAAE,kBAAkB;oBAC1B,OAAO,EAAE,qBAAqB;iBAC/B;gBACD,sBAAsB,EAAE;oBACtB,KAAK,EAAE,wBAAwB;oBAC/B,MAAM,EAAE,QAAQ;oBAChB,OAAO,EAAE,mBAAmB;iBAC7B;aACF;SACF;QACD,gBAAgB,EAAE;YAChB,EAAE,EAAE;gBACF,cAAc,EAAE,EAAE,KAAK,EAAE,yBAAyB,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE;gBAC9F,cAAc,EAAE,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,oBAAoB,EAAE;aAC9F;SACF;QACD,KAAK,EAAE;YACL,EAAE,EAAE;gBACF,oBAAoB,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,cAAc,EAAE;aACzE;SACF;QACD,YAAY,EAAE;YACZ,EAAE,EAAE;gBACF,oBAAoB,EAAE;oBACpB,KAAK,EAAE,yBAAyB;oBAChC,MAAM,EAAE,WAAW;oBACnB,OAAO,EAAE,sBAAsB;iBAChC;gBACD,qBAAqB,EAAE;oBACrB;wBACE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAC5B,KAAK,CAAC,IAAI,KAAK,uBAAuB;4BACtC,KAAK,CAAC,MAAM,KAAK,IAAI;4BACrB,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;4BACxB,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,UAAU;wBACtC,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,mBAAmB;qBAC7B;oBACD,EAAE,KAAK,EAAE,2BAA2B,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,mBAAmB,EAAE;iBACvF;aACF;SACF;QACD,SAAS,EAAE;YACT,EAAE,EAAE;gBACF,eAAe,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,kBAAkB,EAAE;gBACxE,QAAQ,EAAE;oBACR,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,eAAe,EAAE;oBAC5E;wBACE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAC5B,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,UAAU;wBAChG,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,2BAA2B;qBACrC;oBACD,EAAE,KAAK,EAAE,oBAAoB,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,2BAA2B,EAAE;iBACxF;aACF;SACF;QACD,QAAQ,EAAE;YACR,EAAE,EAAE;gBACF,gBAAgB,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,cAAc,EAAE;aAC7F;SACF;QACD,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QACzB,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QAC1B,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;KAC7B;CACF,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,KAAa,EAAyB,EAAE;IAClF,MAAM,KAAK,GAAG,WAAW,CAAC,uBAAuB,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IACzE,KAAK,CAAC,KAAK,EAAE,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/models/improvement-loop.machine.d.ts

@@ -0,0 +1,239 @@
+import { type ActorRefFrom } from "xstate";
+export declare const REQUIRED_IMPROVEMENT_ANCHORS: readonly ["counter-metric-paired", "drift-audit", "arbitration-policy", "anchor-reality", "frozen-set-intact", "regression"];
+export declare const IMPROVEMENT_MAX_RETRIES = 2;
+export declare const IMPROVEMENT_TERMINAL_STATES: readonly ["succeeded", "failed", "blocked", "cancelled"];
+export type ImprovementAnchorName = (typeof REQUIRED_IMPROVEMENT_ANCHORS)[number];
+export type ImprovementSignalSource = "ai" | "tool" | "human" | "system";
+export type AnchorStatus = "passed" | "failed";
+export type DriftClass = "none" | "partial" | "detached";
+export type Sample = Readonly<{
+    value: string;
+    evidence: string;
+}>;
+export type ImprovementAnchorResult = Readonly<{
+    status: AnchorStatus;
+    evidence: string;
+    attempt: number;
+}>;
+export type ImprovementContext = {
+    cycleId: string;
+    scope: string;
+    referenceHash: string | null;
+    approvedReferenceHash: string | null;
+    metric: Sample | null;
+    counterMetric: Sample | null;
+    driftClass: DriftClass | null;
+    arbitrationOutcome: string | null;
+    anchors: Partial<Record<ImprovementAnchorName, ImprovementAnchorResult>>;
+    attempt: number;
+    maxRetries: number;
+    terminalReason: string | null;
+};
+export type ImprovementEvent = {
+    type: "METRIC_SAMPLED";
+    source: ImprovementSignalSource;
+    sample: Sample;
+} | {
+    type: "COUNTER_SAMPLED";
+    source: ImprovementSignalSource;
+    sample: Sample;
+} | {
+    type: "SAMPLES_SEALED";
+    source: ImprovementSignalSource;
+} | {
+    type: "DRIFT_ESTIMATE";
+    source: ImprovementSignalSource;
+    driftClass: DriftClass;
+} | {
+    type: "ARBITRATION";
+    source: ImprovementSignalSource;
+    outcome: string;
+} | {
+    type: "ANCHOR_RECORDED";
+    source: ImprovementSignalSource;
+    anchor: ImprovementAnchorName;
+    status: AnchorStatus;
+    evidence: string;
+} | {
+    type: "EVALUATE";
+    source: ImprovementSignalSource;
+} | {
+    type: "REFERENCE_CHANGE_APPROVED";
+    source: ImprovementSignalSource;
+    referenceHash: string;
+} | {
+    type: "REFERENCE_CHANGE_REJECTED";
+    source: ImprovementSignalSource;
+    reason: string;
+} | {
+    type: "RETRY_AUTHORIZED";
+    source: ImprovementSignalSource;
+} | {
+    type: "PERMISSION_DENIED";
+    source: ImprovementSignalSource;
+    reason: string;
+} | {
+    type: "CANCEL";
+    source: ImprovementSignalSource;
+    reason: string;
+};
+export declare const isRequiredImprovementAnchor: (value: unknown) => value is ImprovementAnchorName;
+/** Deterministic arbitration over paired signals. Lives in the model; called by the tool adapter. */
+export declare const arbitratePairedSignals: (metric: Sample | null, counterMetric: Sample | null) => {
+    outcome: string;
+    arbitrationPolicyPassed: boolean;
+};
+/** Deterministic frozen-set integrity check. Lives in the model; called by the tool adapter. */
+export declare const assertFrozenSetIntact: (currentHash: string, expectedHash: string) => boolean;
+export interface ImprovementMachineInput {
+    cycleId: string;
+    scope: string;
+    referenceHash: string;
+}
+export declare const improvementMachine: import("xstate").StateMachine<ImprovementContext, {
+    type: "METRIC_SAMPLED";
+    source: ImprovementSignalSource;
+    sample: Sample;
+} | {
+    type: "COUNTER_SAMPLED";
+    source: ImprovementSignalSource;
+    sample: Sample;
+} | {
+    type: "SAMPLES_SEALED";
+    source: ImprovementSignalSource;
+} | {
+    type: "DRIFT_ESTIMATE";
+    source: ImprovementSignalSource;
+    driftClass: DriftClass;
+} | {
+    type: "ARBITRATION";
+    source: ImprovementSignalSource;
+    outcome: string;
+} | {
+    type: "ANCHOR_RECORDED";
+    source: ImprovementSignalSource;
+    anchor: ImprovementAnchorName;
+    status: AnchorStatus;
+    evidence: string;
+} | {
+    type: "EVALUATE";
+    source: ImprovementSignalSource;
+} | {
+    type: "REFERENCE_CHANGE_APPROVED";
+    source: ImprovementSignalSource;
+    referenceHash: string;
+} | {
+    type: "REFERENCE_CHANGE_REJECTED";
+    source: ImprovementSignalSource;
+    reason: string;
+} | {
+    type: "RETRY_AUTHORIZED";
+    source: ImprovementSignalSource;
+} | {
+    type: "PERMISSION_DENIED";
+    source: ImprovementSignalSource;
+    reason: string;
+} | {
+    type: "CANCEL";
+    source: ImprovementSignalSource;
+    reason: string;
+}, {}, never, {
+    type: "recordAnchorOnce";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "prepareRetry";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "recordEventReason";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "recordVerificationFailure";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "recordSuccess";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "recordMetric";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "recordCounter";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "recordCounterMetricPaired";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "recordDrift";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "recordArbitration";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "applyReferenceApproval";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "recordDetachedAdjustment";
+    params: import("xstate").NonReducibleUnknown;
+}, {
+    type: "isValidAnchor";
+    params: unknown;
+} | {
+    type: "allAnchorsPassed";
+    params: unknown;
+} | {
+    type: "isHumanRetry";
+    params: unknown;
+} | {
+    type: "isToolPermissionDenial";
+    params: unknown;
+} | {
+    type: "isHumanCancellation";
+    params: unknown;
+} | {
+    type: "isAiMetricSample";
+    params: unknown;
+} | {
+    type: "isAiCounterSample";
+    params: unknown;
+} | {
+    type: "isToolSamplesSealed";
+    params: unknown;
+} | {
+    type: "isAiDriftEstimate";
+    params: unknown;
+} | {
+    type: "isToolArbitration";
+    params: unknown;
+} | {
+    type: "isSystemEvaluate";
+    params: unknown;
+} | {
+    type: "isDetached";
+    params: unknown;
+} | {
+    type: "canRetry";
+    params: unknown;
+} | {
+    type: "isMatchingReferenceApproval";
+    params: unknown;
+} | {
+    type: "isHumanReferenceRejection";
+    params: unknown;
+}, never, "failed" | "retrying" | "adjusting" | "blocked" | "cancelled" | "succeeded" | "sampling" | "auditing" | "arbitrating" | "grounding" | "evaluating", string, ImprovementMachineInput, import("xstate").NonReducibleUnknown, import("xstate").EventObject, import("xstate").MetaObject, {
+    id: "swarm-dao-improvement-loop";
+    states: {
+        readonly sampling: {};
+        readonly auditing: {};
+        readonly arbitrating: {};
+        readonly grounding: {};
+        readonly evaluating: {};
+        readonly adjusting: {};
+        readonly retrying: {};
+        readonly succeeded: {};
+        readonly failed: {};
+        readonly blocked: {};
+        readonly cancelled: {};
+    };
+}>;
+export type ImprovementActor = ActorRefFrom<typeof improvementMachine>;
+export declare const createImprovementActor: (input: ImprovementMachineInput) => ImprovementActor;
+//# sourceMappingURL=improvement-loop.machine.d.ts.map

package/dist/models/improvement-loop.machine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"improvement-loop.machine.d.ts","sourceRoot":"","sources":["../../src/models/improvement-loop.machine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,EAA8B,MAAM,QAAQ,CAAC;AAEvE,eAAO,MAAM,4BAA4B,8HAO/B,CAAC;AAEX,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,eAAO,MAAM,2BAA2B,0DAA2D,CAAC;AAEpG,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC;AAClF,MAAM,MAAM,uBAAuB,GAAG,IAAI,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,CAAC;AACzE,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC/C,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;AAEzD,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEnE,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,MAAM,EAAE,YAAY,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,qBAAqB,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACzE,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC5E;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,GAC3D;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GACnF;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACzE;IACE,IAAI,EAAE,iBAAiB,CAAC;IACxB,MAAM,EAAE,uBAAuB,CAAC;IAChC,MAAM,EAAE,qBAAqB,CAAC;IAC9B,MAAM,EAAE,YAAY,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB,GACD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,GACrD;IAAE,IAAI,EAAE,2BAA2B,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC7F;IAAE,IAAI,EAAE,2BAA2B,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACtF;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC9E;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAgBxE,eAAO,MAAM,2BAA2B,GAAI,OAAO,OAAO,KAAG,KAAK,IAAI,qBAC8B,CAAC;AAErG,qGAAqG;AACrG,eAAO,MAAM,sBAAsB,GACjC,QAAQ,MAAM,GAAG,IAAI,EACrB,eAAe,MAAM,GAAG,IAAI,KAC3B;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,uBAAuB,EAAE,OAAO,CAAA;CAUrD,CAAC;AAEF,gGAAgG;AAChG,eAAO,MAAM,qBAAqB,GAAI,aAAa,MAAM,EAAE,cAAc,MAAM,KAAG,OACG,CAAC;AAiBtF,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;CACvB;AAkJD,eAAO,MAAM,kBAAkB;UA7NnB,gBAAgB;YAAU,uBAAuB;YAAU,MAAM;;UACjE,iBAAiB;YAAU,uBAAuB;YAAU,MAAM;;UAClE,gBAAgB;YAAU,uBAAuB;;UACjD,gBAAgB;YAAU,uBAAuB;gBAAc,UAAU;;UACzE,aAAa;YAAU,uBAAuB;aAAW,MAAM;;UAE/D,iBAAiB;YACf,uBAAuB;YACvB,qBAAqB;YACrB,YAAY;cACV,MAAM;;UAEV,UAAU;YAAU,uBAAuB;;UAC3C,2BAA2B;YAAU,uBAAuB;mBAAiB,MAAM;;UACnF,2BAA2B;YAAU,uBAAuB;YAAU,MAAM;;UAC5E,kBAAkB;YAAU,uBAAuB;;UACnD,mBAAmB;YAAU,uBAAuB;YAAU,MAAM;;UACpE,QAAQ;YAAU,uBAAuB;YAAU,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgRnE,CAAC;AAEH,MAAM,MAAM,gBAAgB,GAAG,YAAY,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEvE,eAAO,MAAM,sBAAsB,GAAI,OAAO,uBAAuB,KAAG,gBAIvE,CAAC"}