@guyghost/swarm-dao-core 0.4.0 → 0.5.0

package/dist/governance/edit-gate.js

@@ -0,0 +1,156 @@
+// ============================================================
+// Swarm DAO Core — Edit Gate (mode-based path governance)
+// ============================================================
+// Wires the `mode` and `criticalPaths` configuration into a deterministic
+// pre-edit decision agents can consult before touching the repository:
+//
+// - opt-in (default): everything is allowed; critical paths are flagged
+//   informationally.
+// - suggest: everything is allowed; uncovered critical paths produce a
+//   non-blocking nudge toward the proposal workflow.
+// - enforce: critical paths are only editable when an approved,
+//   controlled, or executed proposal declares them in affectedPaths.
+//
+// Pure: no I/O, no clock, no host SDK. The host handler feeds it the
+// project config and the approved proposals; the model decides.
+import { isCriticalPath } from "../config.js";
+const AUTHORITY_STATUSES = new Set(["approved", "controlled", "executed"]);
+/**
+ * Lexically normalize a repository-relative path so glob matching cannot be
+ * evaded by spelling variants (absolute paths, `./` prefixes, `a/../b`
+ * segments, duplicate slashes). Fail closed: anything that cannot be
+ * normalized to a deterministic in-repo path is refused, never allowed.
+ */
+export function normalizeEditPath(raw) {
+    if (raw.length === 0)
+        return { ok: false, reason: "empty path" };
+    if (raw.startsWith("/") || /^[A-Za-z]:[\\/]/.test(raw)) {
+        return { ok: false, reason: "absolute paths are not supported — pass repository-relative paths" };
+    }
+    if (raw.includes("\\")) {
+        return { ok: false, reason: "backslashes are not supported — use forward slashes" };
+    }
+    const segments = [];
+    for (const segment of raw.split("/")) {
+        if (segment.length === 0 || segment === ".")
+            continue;
+        if (segment === "..") {
+            if (segments.length === 0) {
+                return { ok: false, reason: "path escapes the repository root" };
+            }
+            segments.pop();
+            continue;
+        }
+        segments.push(segment);
+    }
+    if (segments.length === 0)
+        return { ok: false, reason: "path normalizes to the repository root" };
+    return { ok: true, path: segments.join("/") };
+}
+const isAuthority = (approval) => AUTHORITY_STATUSES.has(approval.status) && Boolean(approval.affectedPaths?.length);
+export function evaluateEditGate(input) {
+    // Fail open on unknown modes, consistent with canEditWithoutProposal():
+    // only an explicit "enforce" ever blocks. loadConfig merges unvalidated
+    // JSON, so a typo in .dao/config.json must not lock the repository.
+    const mode = input.mode === "enforce" || input.mode === "suggest" ? input.mode : "opt-in";
+    const authorities = input.approved.filter(isAuthority);
+    const seen = new Set();
+    const verdicts = [];
+    for (const raw of input.paths) {
+        const trimmed = raw.trim();
+        if (trimmed.length === 0)
+            continue;
+        // Unmatchable spellings are refused in every mode — a path the gate
+        // cannot normalize must never come back as allowed.
+        const normalized = normalizeEditPath(trimmed);
+        if (!normalized.ok) {
+            verdicts.push({
+                path: trimmed,
+                critical: false,
+                allowed: false,
+                reason: `unmatchable path: ${normalized.reason}`,
+            });
+            continue;
+        }
+        const path = normalized.path;
+        if (seen.has(path))
+            continue;
+        seen.add(path);
+        const critical = isCriticalPath(path, [...input.criticalPaths]);
+        const covering = critical
+            ? authorities.find((approval) => isCriticalPath(path, approval.affectedPaths ?? []))
+            : undefined;
+        if (!critical) {
+            verdicts.push({ path, critical, allowed: true, reason: "not a critical path" });
+            continue;
+        }
+        if (mode === "opt-in") {
+            verdicts.push({
+                path,
+                critical,
+                allowed: true,
+                reason: covering
+                    ? `critical path, covered by approved proposal #${covering.proposalId}`
+                    : "critical path (mode is opt-in: edits allowed, proposal optional)",
+            });
+            continue;
+        }
+        if (mode === "suggest") {
+            verdicts.push({
+                path,
+                critical,
+                allowed: true,
+                reason: covering
+                    ? `critical path, covered by approved proposal #${covering.proposalId}`
+                    : "critical path — consider governing this change with a proposal",
+                ...(covering ? { coveredByProposalId: covering.proposalId } : {}),
+            });
+            continue;
+        }
+        // enforce
+        if (covering) {
+            verdicts.push({
+                path,
+                critical,
+                allowed: true,
+                reason: `critical path covered by approved proposal #${covering.proposalId}`,
+                coveredByProposalId: covering.proposalId,
+            });
+        }
+        else {
+            verdicts.push({
+                path,
+                critical,
+                allowed: false,
+                reason: "enforce mode: critical path without an approved proposal",
+            });
+        }
+    }
+    const denied = verdicts.filter((verdict) => !verdict.allowed);
+    const uncoveredCritical = verdicts.filter((verdict) => verdict.critical && !verdict.coveredByProposalId);
+    let guidance = null;
+    if (mode === "suggest" && uncoveredCritical.length > 0) {
+        guidance =
+            "Suggestion: create a proposal (`dao_propose`) covering these critical paths and deliberate it before proceeding.";
+    }
+    else if (mode === "enforce" && denied.length > 0) {
+        guidance =
+            "Blocked by enforce mode: create a proposal (`dao_propose`) with these paths in affectedPaths, deliberate, and get it approved before editing.";
+    }
+    return { mode, allowed: denied.length === 0, verdicts, guidance };
+}
+/** Human-readable rendering; pure formatting. */
+export function formatEditGate(decision) {
+    const header = decision.allowed ? "# ✅ Edit Gate — Allowed" : `# 🛑 Edit Gate — Blocked (${decision.mode} mode)`;
+    const rows = decision.verdicts
+        .map((verdict) => {
+        const flag = verdict.allowed ? "✅" : "❌";
+        const critical = verdict.critical ? " [critical]" : "";
+        const covered = verdict.coveredByProposalId ? ` (covered by #${verdict.coveredByProposalId})` : "";
+        return `- ${flag} \`${verdict.path}\`${critical}${covered} — ${verdict.reason}`;
+    })
+        .join("\n");
+    const guidance = decision.guidance ? `\n\n${decision.guidance}` : "";
+    return `${header}\n\nMode: **${decision.mode}**\n\n${rows}${guidance}`;
+}
+//# sourceMappingURL=edit-gate.js.map

package/dist/governance/edit-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edit-gate.js","sourceRoot":"","sources":["../../src/governance/edit-gate.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,0DAA0D;AAC1D,+DAA+D;AAC/D,0EAA0E;AAC1E,uEAAuE;AACvE,EAAE;AACF,wEAAwE;AACxE,qBAAqB;AACrB,uEAAuE;AACvE,qDAAqD;AACrD,gEAAgE;AAChE,qEAAqE;AACrE,EAAE;AACF,qEAAqE;AACrE,gEAAgE;AAEhE,OAAO,EAAuB,cAAc,EAAE,MAAM,cAAc,CAAC;AA6BnE,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;AAE3E;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAW;IAC3C,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IACjE,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mEAAmE,EAAE,CAAC;IACpG,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qDAAqD,EAAE,CAAC;IACtF,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,GAAG;YAAE,SAAS;QACtD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;YACnE,CAAC;YACD,QAAQ,CAAC,GAAG,EAAE,CAAC;YACf,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wCAAwC,EAAE,CAAC;IAClG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,QAA0B,EAAW,EAAE,CAC1D,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;AAErF,MAAM,UAAU,gBAAgB,CAAC,KAKhC;IACC,wEAAwE;IACxE,wEAAwE;IACxE,oEAAoE;IACpE,MAAM,IAAI,GAAmB,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC1G,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEnC,oEAAoE;QACpE,oDAAoD;QACpD,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,qBAAqB,UAAU,CAAC,MAAM,EAAE;aACjD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;QAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEf,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,QAAQ;YACvB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;YACpF,CAAC,CAAC,SAAS,CAAC;QAEd,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;YAChF,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,QAAQ;gBACR,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,QAAQ;oBACd,CAAC,CAAC,gDAAgD,QAAQ,CAAC,UAAU,EAAE;oBACvE,CAAC,CAAC,kEAAkE;aACvE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,QAAQ;gBACR,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,QAAQ;oBACd,CAAC,CAAC,gDAAgD,QAAQ,CAAC,UAAU,EAAE;oBACvE,CAAC,CAAC,gEAAgE;gBACpE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAClE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,UAAU;QACV,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,QAAQ;gBACR,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,+CAA+C,QAAQ,CAAC,UAAU,EAAE;gBAC5E,mBAAmB,EAAE,QAAQ,CAAC,UAAU;aACzC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,QAAQ;gBACR,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,0DAA0D;aACnE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9D,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAEzG,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvD,QAAQ;YACN,kHAAkH,CAAC;IACvH,CAAC;SAAM,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,QAAQ;YACN,+IAA+I,CAAC;IACpJ,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AACpE,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,cAAc,CAAC,QAA0B;IACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,6BAA6B,QAAQ,CAAC,IAAI,QAAQ,CAAC;IACjH,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ;SAC3B,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,MAAM,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,iBAAiB,OAAO,CAAC,mBAAmB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACnG,OAAO,KAAK,IAAI,MAAM,OAAO,CAAC,IAAI,KAAK,QAAQ,GAAG,OAAO,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;IAClF,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrE,OAAO,GAAG,MAAM,eAAe,QAAQ,CAAC,IAAI,SAAS,IAAI,GAAG,QAAQ,EAAE,CAAC;AACzE,CAAC"}

package/dist/governance/index.d.ts

@@ -2,6 +2,7 @@ export * from "./agents.js";
 export * from "./amendments.js";
 export * from "./delegation.machine.js";
 export * from "./delegation.utils.js";
+export * from "./edit-gate.js";
 export * from "./lifecycle.js";
 export * from "./proposal.machine.js";
 export * from "./proposal.utils.js";

package/dist/governance/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/governance/index.ts"],"names":[],"mappings":"AACA,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,yBAAyB,CAAC;AACxC,cAAc,uBAAuB,CAAC;AACtC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/governance/index.ts"],"names":[],"mappings":"AACA,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,yBAAyB,CAAC;AACxC,cAAc,uBAAuB,CAAC;AACtC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC"}

package/dist/governance/index.js

@@ -3,6 +3,7 @@ export * from "./agents.js";
 export * from "./amendments.js";
 export * from "./delegation.machine.js";
 export * from "./delegation.utils.js";
+export * from "./edit-gate.js";
 export * from "./lifecycle.js";
 export * from "./proposal.machine.js";
 export * from "./proposal.utils.js";

package/dist/governance/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/governance/index.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,yBAAyB,CAAC;AACxC,cAAc,uBAAuB,CAAC;AACtC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/governance/index.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,yBAAyB,CAAC;AACxC,cAAc,uBAAuB,CAAC;AACtC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC"}

package/dist/governance/proposal.machine.d.ts

@@ -1,115 +1,3 @@
-import type { ControlCheckResult, Proposal, ProposalStatus, TallyResult } from "../types/index.js";
-export interface ProposalContext {
-    proposal: Proposal;
-    errorMessage?: string;
-    lastTransitionTime: string;
-}
-export interface ProposalMachineInput {
-    proposal: Proposal;
-    lastTransitionTime?: string;
-}
-export type ProposalEvent = {
-    type: "DELIBERATE";
-} | {
-    type: "APPROVE";
-    tally: TallyResult;
-} | {
-    type: "REJECT";
-} | {
-    type: "CONTROL_PASS";
-    result: ControlCheckResult;
-} | {
-    type: "CONTROL_FAIL";
-} | {
-    type: "EXECUTE_SUCCESS";
-} | {
-    type: "FAIL";
-} | {
-    type: "DISCARD";
-} | {
-    type: "ERROR";
-    message: string;
-};
-export declare const PROPOSAL_FINAL_STATUSES: ReadonlySet<ProposalStatus>;
-export declare function isProposalFinal(status: ProposalStatus): boolean;
-declare function buildProposalMachine(initial: ProposalStatus): import("xstate").StateMachine<ProposalContext, {
-    type: "DELIBERATE";
-} | {
-    type: "APPROVE";
-    tally: TallyResult;
-} | {
-    type: "REJECT";
-} | {
-    type: "CONTROL_PASS";
-    result: ControlCheckResult;
-} | {
-    type: "CONTROL_FAIL";
-} | {
-    type: "EXECUTE_SUCCESS";
-} | {
-    type: "FAIL";
-} | {
-    type: "DISCARD";
-} | {
-    type: "ERROR";
-    message: string;
-}, {}, never, never, {
-    type: "tallyApproved";
-    params: unknown;
-} | {
-    type: "gatesPassed";
-    params: unknown;
-}, never, "open" | "deliberating" | "approved" | "controlled" | "rejected" | "executed" | "failed", string, ProposalMachineInput, import("xstate").NonReducibleUnknown, import("xstate").EventObject, import("xstate").MetaObject, {
-    id: "proposalLifecycle";
-    states: {
-        readonly open: {};
-        readonly deliberating: {};
-        readonly approved: {};
-        readonly controlled: {};
-        readonly executed: {};
-        readonly failed: {};
-        readonly rejected: {};
-    };
-}>;
-export declare function createProposalMachine(initial: ProposalStatus): import("xstate").StateMachine<ProposalContext, {
-    type: "DELIBERATE";
-} | {
-    type: "APPROVE";
-    tally: TallyResult;
-} | {
-    type: "REJECT";
-} | {
-    type: "CONTROL_PASS";
-    result: ControlCheckResult;
-} | {
-    type: "CONTROL_FAIL";
-} | {
-    type: "EXECUTE_SUCCESS";
-} | {
-    type: "FAIL";
-} | {
-    type: "DISCARD";
-} | {
-    type: "ERROR";
-    message: string;
-}, {}, never, never, {
-    type: "tallyApproved";
-    params: unknown;
-} | {
-    type: "gatesPassed";
-    params: unknown;
-}, never, "open" | "deliberating" | "approved" | "controlled" | "rejected" | "executed" | "failed", string, ProposalMachineInput, import("xstate").NonReducibleUnknown, import("xstate").EventObject, import("xstate").MetaObject, {
-    id: "proposalLifecycle";
-    states: {
-        readonly open: {};
-        readonly deliberating: {};
-        readonly approved: {};
-        readonly controlled: {};
-        readonly executed: {};
-        readonly failed: {};
-        readonly rejected: {};
-    };
-}>;
-export type ProposalMachine = ReturnType<typeof buildProposalMachine>;
-export {};
+/** @deprecated Behavioral models now live in `/models`, the source of truth. */
+export * from "../models/proposal.machine.js";
 //# sourceMappingURL=proposal.machine.d.ts.map

package/dist/governance/proposal.machine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proposal.machine.d.ts","sourceRoot":"","sources":["../../src/governance/proposal.machine.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,kBAAkB,EAAE,QAAQ,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAInG,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,QAAQ,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,QAAQ,CAAC;IACnB,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,GACxB;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,GAC3B;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAIvC,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,cAAc,CAA+C,CAAC;AAEhH,wBAAgB,eAAe,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAE/D;AA2BD,iBAAS,oBAAoB,CAAC,OAAO,EAAE,cAAc;UA3CzC,YAAY;;UACZ,SAAS;WAAS,WAAW;;UAC7B,QAAQ;;UACR,cAAc;YAAU,kBAAkB;;UAC1C,cAAc;;UACd,iBAAiB;;UACjB,MAAM;;UACN,SAAS;;UACT,OAAO;aAAW,MAAM;;;;;;;;;;;;;;;;;;GAgKnC;AAUD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,cAAc;UAlLjD,YAAY;;UACZ,SAAS;WAAS,WAAW;;UAC7B,QAAQ;;UACR,cAAc;YAAU,kBAAkB;;UAC1C,cAAc;;UACd,iBAAiB;;UACjB,MAAM;;UACN,SAAS;;UACT,OAAO;aAAW,MAAM;;;;;;;;;;;;;;;;;;GAiLnC;AAED,MAAM,MAAM,eAAe,GAAG,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC"}
+{"version":3,"file":"proposal.machine.d.ts","sourceRoot":"","sources":["../../src/governance/proposal.machine.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,cAAc,+BAA+B,CAAC"}

package/dist/governance/proposal.machine.js

@@ -1,181 +1,3 @@
-// ============================================================
-// Swarm DAO Core — Proposal Lifecycle State Machine
-// ------------------------------------------------------------
-// Single source of truth for proposal status transitions.
-//
-// Discipline: "Le modèle décide." The LLM (council/votes) produces
-// signals (a TallyResult, a ControlCheckResult). Those signals are
-// carried as event payloads and evaluated by guards. No call site
-// chooses a target status — it only emits the event that matches
-// what happened in the world. The machine owns every edge.
-//
-// The 7 machine states map 1:1 to `ProposalStatus`. There is no
-// hidden `executing`/`postmortem` pipeline: the runtime is
-// synchronous (deliberation is one tool call, execution is one
-// tool call), so those intermediate states had no observer and
-// were removed during distill.
-// ============================================================
-import { assign, setup } from "xstate";
-// ── Terminal statuses ────────────────────────────────────────
-export const PROPOSAL_FINAL_STATUSES = new Set(["executed", "failed", "rejected"]);
-export function isProposalFinal(status) {
-    return PROPOSAL_FINAL_STATUSES.has(status);
-}
-// ── Machine ──────────────────────────────────────────────────
-//
-// Guards are the two real permission boundaries of the DAO:
-//   • tallyApproved  — the council's vote authorized approval.
-//   • gatesPassed    — quality control cleared the proposal for execution.
-//
-// Risk-zone / mandatory-dry-run is enforced upstream by the
-// `mandatory-dry-run` control gate (control/gates.ts), which makes
-// `ControlCheckResult.allGatesPassed` false for red-zone proposals
-// without a dry-run. Duplicating that check here would be unearned
-// complexity — the invariant already lives at the control boundary.
-const proposalSetup = setup({
-    types: {
-        context: {},
-        input: {},
-        events: {},
-    },
-    guards: {
-        tallyApproved: ({ event }) => event.type === "APPROVE" && event.tally.approved === true,
-        gatesPassed: ({ event }) => event.type === "CONTROL_PASS" && event.result.allGatesPassed === true && event.result.blockerCount === 0,
-    },
-});
-function buildProposalMachine(initial) {
-    return proposalSetup.createMachine({
-        id: "proposalLifecycle",
-        initial,
-        context: ({ input }) => ({
-            proposal: input.proposal,
-            lastTransitionTime: input.lastTransitionTime ?? new Date().toISOString(),
-        }),
-        // Note on the escape hatches (DISCARD / ERROR): they are inlined
-        // into every non-terminal state rather than declared at the root
-        // `on:`. XState v5 does not resolve root-level `on:` targets that
-        // reference top-level child states — it reads them as relative to
-        // the root's (non-existent) parent and rejects the machine. Final
-        // states (`executed`, `failed`, `rejected`) are `type: "final"`
-        // and ignore events once the machine is done, so the hatches are
-        // intentionally absent there.
-        states: {
-            open: {
-                on: {
-                    DELIBERATE: {
-                        target: "deliberating",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    DISCARD: {
-                        target: "rejected",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    ERROR: {
-                        target: "failed",
-                        actions: assign({
-                            lastTransitionTime: () => new Date().toISOString(),
-                            errorMessage: ({ event }) => (event.type === "ERROR" ? event.message : ""),
-                        }),
-                    },
-                },
-            },
-            deliberating: {
-                on: {
-                    APPROVE: {
-                        target: "approved",
-                        guard: "tallyApproved",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    REJECT: {
-                        target: "rejected",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    DISCARD: {
-                        target: "rejected",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    ERROR: {
-                        target: "failed",
-                        actions: assign({
-                            lastTransitionTime: () => new Date().toISOString(),
-                            errorMessage: ({ event }) => (event.type === "ERROR" ? event.message : ""),
-                        }),
-                    },
-                },
-            },
-            approved: {
-                on: {
-                    CONTROL_PASS: {
-                        target: "controlled",
-                        guard: "gatesPassed",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    CONTROL_FAIL: {
-                        target: "failed",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    REJECT: {
-                        target: "rejected",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    FAIL: {
-                        target: "failed",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    DISCARD: {
-                        target: "rejected",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    ERROR: {
-                        target: "failed",
-                        actions: assign({
-                            lastTransitionTime: () => new Date().toISOString(),
-                            errorMessage: ({ event }) => (event.type === "ERROR" ? event.message : ""),
-                        }),
-                    },
-                },
-            },
-            controlled: {
-                on: {
-                    EXECUTE_SUCCESS: {
-                        target: "executed",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    FAIL: {
-                        target: "failed",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    DISCARD: {
-                        target: "rejected",
-                        actions: assign({ lastTransitionTime: () => new Date().toISOString() }),
-                    },
-                    ERROR: {
-                        target: "failed",
-                        actions: assign({
-                            lastTransitionTime: () => new Date().toISOString(),
-                            errorMessage: ({ event }) => (event.type === "ERROR" ? event.message : ""),
-                        }),
-                    },
-                },
-            },
-            executed: { type: "final" },
-            failed: { type: "final" },
-            rejected: { type: "final" },
-        },
-    });
-}
-// ── Factory (with memoization) ───────────────────────────────
-//
-// A machine is created per starting status so an actor can be
-// rehydrated at the persisted status of a proposal. The machine
-// definition is identical; only `initial` differs.
-const machineCache = new Map();
-export function createProposalMachine(initial) {
-    let machine = machineCache.get(initial);
-    if (!machine) {
-        machine = buildProposalMachine(initial);
-        machineCache.set(initial, machine);
-    }
-    return machine;
-}
+/** @deprecated Behavioral models now live in `/models`, the source of truth. */
+export * from "../models/proposal.machine.js";
 //# sourceMappingURL=proposal.machine.js.map

package/dist/governance/proposal.machine.js.map

@@ -1 +1 @@
-{"version":3,"file":"proposal.machine.js","sourceRoot":"","sources":["../../src/governance/proposal.machine.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;AAC/D,0DAA0D;AAC1D,EAAE;AACF,mEAAmE;AACnE,mEAAmE;AACnE,kEAAkE;AAClE,iEAAiE;AACjE,2DAA2D;AAC3D,EAAE;AACF,gEAAgE;AAChE,2DAA2D;AAC3D,+DAA+D;AAC/D,+DAA+D;AAC/D,+BAA+B;AAC/B,+DAA+D;AAE/D,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AA2BvC,gEAAgE;AAEhE,MAAM,CAAC,MAAM,uBAAuB,GAAgC,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAEhH,MAAM,UAAU,eAAe,CAAC,MAAsB;IACpD,OAAO,uBAAuB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,gEAAgE;AAChE,EAAE;AACF,4DAA4D;AAC5D,+DAA+D;AAC/D,2EAA2E;AAC3E,EAAE;AACF,4DAA4D;AAC5D,mEAAmE;AACnE,mEAAmE;AACnE,mEAAmE;AACnE,oEAAoE;AAEpE,MAAM,aAAa,GAAG,KAAK,CAAC;IAC1B,KAAK,EAAE;QACL,OAAO,EAAE,EAAqB;QAC9B,KAAK,EAAE,EAA0B;QACjC,MAAM,EAAE,EAAmB;KAC5B;IACD,MAAM,EAAE;QACN,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;QACvF,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CACzB,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,MAAM,CAAC,cAAc,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,YAAY,KAAK,CAAC;KAC3G;CACF,CAAC,CAAC;AAEH,SAAS,oBAAoB,CAAC,OAAuB;IACnD,OAAO,aAAa,CAAC,aAAa,CAAC;QACjC,EAAE,EAAE,mBAAmB;QACvB,OAAO;QACP,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YACvB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACzE,CAAC;QAEF,iEAAiE;QACjE,iEAAiE;QACjE,kEAAkE;QAClE,kEAAkE;QAClE,kEAAkE;QAClE,gEAAgE;QAChE,iEAAiE;QACjE,8BAA8B;QAC9B,MAAM,EAAE;YACN,IAAI,EAAE;gBACJ,EAAE,EAAE;oBACF,UAAU,EAAE;wBACV,MAAM,EAAE,cAAc;wBACtB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,OAAO,EAAE;wBACP,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,KAAK,EAAE;wBACL,MAAM,EAAE,QAAQ;wBAChB,OAAO,EAAE,MAAM,CAAC;4BACd,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;4BAClD,YAAY,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;yBAC3E,CAAC;qBACH;iBACF;aACF;YAED,YAAY,EAAE;gBACZ,EAAE,EAAE;oBACF,OAAO,EAAE;wBACP,MAAM,EAAE,UAAU;wBAClB,KAAK,EAAE,eAAe;wBACtB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,OAAO,EAAE;wBACP,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,KAAK,EAAE;wBACL,MAAM,EAAE,QAAQ;wBAChB,OAAO,EAAE,MAAM,CAAC;4BACd,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;4BAClD,YAAY,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;yBAC3E,CAAC;qBACH;iBACF;aACF;YAED,QAAQ,EAAE;gBACR,EAAE,EAAE;oBACF,YAAY,EAAE;wBACZ,MAAM,EAAE,YAAY;wBACpB,KAAK,EAAE,aAAa;wBACpB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,YAAY,EAAE;wBACZ,MAAM,EAAE,QAAQ;wBAChB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,MAAM,EAAE;wBACN,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,IAAI,EAAE;wBACJ,MAAM,EAAE,QAAQ;wBAChB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,OAAO,EAAE;wBACP,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,KAAK,EAAE;wBACL,MAAM,EAAE,QAAQ;wBAChB,OAAO,EAAE,MAAM,CAAC;4BACd,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;4BAClD,YAAY,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;yBAC3E,CAAC;qBACH;iBACF;aACF;YAED,UAAU,EAAE;gBACV,EAAE,EAAE;oBACF,eAAe,EAAE;wBACf,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,IAAI,EAAE;wBACJ,MAAM,EAAE,QAAQ;wBAChB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,OAAO,EAAE;wBACP,MAAM,EAAE,UAAU;wBAClB,OAAO,EAAE,MAAM,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;qBACxE;oBACD,KAAK,EAAE;wBACL,MAAM,EAAE,QAAQ;wBAChB,OAAO,EAAE,MAAM,CAAC;4BACd,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;4BAClD,YAAY,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;yBAC3E,CAAC;qBACH;iBACF;aACF;YAED,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;YAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;YACzB,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;SAC5B;KACF,CAAC,CAAC;AACL,CAAC;AAED,gEAAgE;AAChE,EAAE;AACF,8DAA8D;AAC9D,gEAAgE;AAChE,mDAAmD;AAEnD,MAAM,YAAY,GAAG,IAAI,GAAG,EAA2D,CAAC;AAExF,MAAM,UAAU,qBAAqB,CAAC,OAAuB;IAC3D,IAAI,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACxC,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"proposal.machine.js","sourceRoot":"","sources":["../../src/governance/proposal.machine.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,cAAc,+BAA+B,CAAC"}

package/dist/governance/proposal.utils.d.ts

@@ -1,5 +1,6 @@
+import { type ProposalEvent } from "../models/proposal.machine.js";
+import type { ClockPort } from "../ports/clock.js";
 import type { Proposal, ProposalStatus } from "../types/index.js";
-import { type ProposalEvent } from "./proposal.machine.js";
 export type DispatchResult = {
     ok: true;
     status: ProposalStatus;
@@ -16,5 +17,7 @@ export type DispatchResult = {
  * from the current status — the caller must surface that error and
  * MUST NOT mutate the status itself.
  */
-export declare function dispatchProposalEvent(proposal: Proposal, event: ProposalEvent): DispatchResult;
+export declare function dispatchProposalEvent(proposal: Proposal, event: ProposalEvent, options?: {
+    clock?: ClockPort;
+}): DispatchResult;
 //# sourceMappingURL=proposal.utils.d.ts.map

package/dist/governance/proposal.utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proposal.utils.d.ts","sourceRoot":"","sources":["../../src/governance/proposal.utils.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAGL,KAAK,aAAa,EAEnB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,MAAM,cAAc,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,cAAc,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjG;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,GAAG,cAAc,CAsC9F"}
+{"version":3,"file":"proposal.utils.d.ts","sourceRoot":"","sources":["../../src/governance/proposal.utils.ts"],"names":[],"mappings":"AAYA,OAAO,EAGL,KAAK,aAAa,EAEnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAElE,MAAM,MAAM,cAAc,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,cAAc,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjG;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,aAAa,EACpB,OAAO,GAAE;IAAE,KAAK,CAAC,EAAE,SAAS,CAAA;CAAO,GAClC,cAAc,CAwChB"}

package/dist/governance/proposal.utils.js

@@ -9,7 +9,8 @@
 // status back to the proposal. There is no other status writer.
 // ============================================================
 import { createActor } from "xstate";
-import { createProposalMachine, isProposalFinal, } from "./proposal.machine.js";
+import { createProposalMachine, isProposalFinal, } from "../models/proposal.machine.js";
+import { systemClock } from "../ports/clock.js";
 /**
  * Apply a lifecycle event to a proposal. Enforces the machine's
  * topology AND its guards. On success, `proposal.status` (and
@@ -19,7 +20,7 @@ import { createProposalMachine, isProposalFinal, } from "./proposal.machine.js";
  * from the current status — the caller must surface that error and
  * MUST NOT mutate the status itself.
  */
-export function dispatchProposalEvent(proposal, event) {
+export function dispatchProposalEvent(proposal, event, options = {}) {
     // Terminal states are final: no event may leave them. This guard
     // makes the invariant explicit rather than relying on the actor's
     // "done" status, so the model stays correct regardless of how the
@@ -30,11 +31,13 @@ export function dispatchProposalEvent(proposal, event) {
             error: `Proposal is in terminal status "${proposal.status}"; no transitions are permitted.`,
         };
     }
+    const transitionTime = (options.clock ?? systemClock).now();
     const machine = createProposalMachine(proposal.status);
     const actor = createActor(machine, {
         input: {
             proposal,
-            lastTransitionTime: new Date().toISOString(),
+            transitionTime,
+            lastTransitionTime: transitionTime,
         },
     });
     actor.start();
@@ -49,7 +52,7 @@ export function dispatchProposalEvent(proposal, event) {
     const status = actor.getSnapshot().value;
     proposal.status = status;
     if (isProposalFinal(status) && !proposal.resolvedAt) {
-        proposal.resolvedAt = new Date().toISOString();
+        proposal.resolvedAt = transitionTime;
     }
     return { ok: true, status };
 }

package/dist/governance/proposal.utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"proposal.utils.js","sourceRoot":"","sources":["../../src/governance/proposal.utils.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,6CAA6C;AAC7C,+DAA+D;AAC/D,6DAA6D;AAC7D,kEAAkE;AAClE,iEAAiE;AACjE,kEAAkE;AAClE,+DAA+D;AAC/D,gEAAgE;AAChE,+DAA+D;AAE/D,OAAO,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAErC,OAAO,EACL,qBAAqB,EACrB,eAAe,GAGhB,MAAM,uBAAuB,CAAC;AAI/B;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAkB,EAAE,KAAoB;IAC5E,iEAAiE;IACjE,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,IAAI,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,mCAAmC,QAAQ,CAAC,MAAM,kCAAkC;SAC5F,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE;QACjC,KAAK,EAAE;YACL,QAAQ;YACR,kBAAkB,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACd;KACjC,CAAC,CAAC;IACH,KAAK,CAAC,KAAK,EAAE,CAAC;IAEd,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,UAAU,KAAK,CAAC,IAAI,mCAAmC,QAAQ,CAAC,MAAM,IAAI;SAClF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,KAAuB,CAAC;IAE3D,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;IACzB,IAAI,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QACpD,QAAQ,CAAC,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACjD,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"proposal.utils.js","sourceRoot":"","sources":["../../src/governance/proposal.utils.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,6CAA6C;AAC7C,+DAA+D;AAC/D,6DAA6D;AAC7D,kEAAkE;AAClE,iEAAiE;AACjE,kEAAkE;AAClE,+DAA+D;AAC/D,gEAAgE;AAChE,+DAA+D;AAE/D,OAAO,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,EACL,qBAAqB,EACrB,eAAe,GAGhB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAKhD;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAkB,EAClB,KAAoB,EACpB,UAAiC,EAAE;IAEnC,iEAAiE;IACjE,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,IAAI,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,mCAAmC,QAAQ,CAAC,MAAM,kCAAkC;SAC5F,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;IAC5D,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE;QACjC,KAAK,EAAE;YACL,QAAQ;YACR,cAAc;YACd,kBAAkB,EAAE,cAAc;SACJ;KACjC,CAAC,CAAC;IACH,KAAK,CAAC,KAAK,EAAE,CAAC;IAEd,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,UAAU,KAAK,CAAC,IAAI,mCAAmC,QAAQ,CAAC,MAAM,IAAI;SAClF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,KAAuB,CAAC;IAE3D,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;IACzB,IAAI,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QACpD,QAAQ,CAAC,UAAU,GAAG,cAAc,CAAC;IACvC,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC"}

package/dist/governance/voting.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"voting.d.ts","sourceRoot":"","sources":["../../src/governance/voting.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAgB,MAAM,mBAAmB,CAAC;AAW3G,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,GACd,IAAI,GAAG,SAAS,CAclB;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,GAAG,SAAS,CAG9E;AAID,wBAAgB,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,GAAG,WAAW,CAgD7E;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAe5D"}
+{"version":3,"file":"voting.d.ts","sourceRoot":"","sources":["../../src/governance/voting.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAgB,MAAM,mBAAmB,CAAC;AAW3G,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,GACd,IAAI,GAAG,SAAS,CAclB;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,GAAG,SAAS,CAG9E;AAID,wBAAgB,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,GAAG,WAAW,CAuD7E;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAe5D"}

package/dist/governance/voting.js

@@ -29,21 +29,31 @@ export function parseVoteFromAgentOutput(output) {
 export function tallyVotes(proposal, config) {
     const votes = proposal.votes || [];
     const totalAgents = proposal.agentOutputs?.length || votes.length;
-    const weightedFor = votes
-        .filter((v) => v.position === "for")
-        .reduce((sum, v) => sum + normalizeVoteWeight(v.weight), 0);
-    const weightedAgainst = votes
-        .filter((v) => v.position === "against")
-        .reduce((sum, v) => sum + normalizeVoteWeight(v.weight), 0);
-    const weightedAbstain = votes
-        .filter((v) => v.position === "abstain")
-        .reduce((sum, v) => sum + normalizeVoteWeight(v.weight), 0);
+    // Single pass over votes: accumulate weighted totals + voting-agent count.
+    let weightedFor = 0;
+    let weightedAgainst = 0;
+    let weightedAbstain = 0;
+    let totalObservedWeight = 0;
+    let votingAgents = 0;
+    for (const v of votes) {
+        const w = normalizeVoteWeight(v.weight);
+        totalObservedWeight += w;
+        if (v.position === "for") {
+            weightedFor += w;
+            votingAgents++;
+        }
+        else if (v.position === "against") {
+            weightedAgainst += w;
+            votingAgents++;
+        }
+        else {
+            weightedAbstain += w;
+        }
+    }
     const totalVotingWeight = weightedFor + weightedAgainst + weightedAbstain;
-    const votingAgents = votes.filter((v) => v.position !== "abstain").length;
-    // Quorum check: % of total agent weight that participated
-    const totalPossibleWeight = totalAgents > 0
-        ? votes.reduce((sum, v) => sum + normalizeVoteWeight(v.weight), 0) + (totalAgents - votes.length) * 1
-        : totalVotingWeight;
+    // Quorum check: % of total agent weight that participated.
+    // Unobserved agents (totalAgents - votes.length) each contribute default weight 1.
+    const totalPossibleWeight = totalAgents > 0 ? totalObservedWeight + (totalAgents - votes.length) * 1 : totalVotingWeight;
     const quorumPercent = totalPossibleWeight > 0 ? Math.round((totalVotingWeight / totalPossibleWeight) * 100) : 0;
     const quorumMet = quorumPercent >= config.quorumPercent;
     // Approval: % of non-abstain weight that voted for