syncpoint-ai 0.1.0

package/dist/kernel/resource.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resource.js","sourceRoot":"","sources":["../../_build/src/kernel/resource.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,sDAAsD;AAEtD;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;AAGxE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;IACpC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,SAAS,EAAE,eAAe,CAAC,QAAQ,EAAE;IACrC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;CACjC,CAAC,CAAC;AAIH,sDAAsD;AAEtD,MAAM,CAAN,IAAY,mBAGX;AAHD,WAAY,mBAAmB;IAC7B,wCAAiB,CAAA;IACjB,4CAAqB,CAAA;AACvB,CAAC,EAHW,mBAAmB,KAAnB,mBAAmB,QAG9B;AAED,MAAM,CAAN,IAAY,iBAGX;AAHD,WAAY,iBAAiB;IAC3B,4CAAuB,CAAA;IACvB,sCAAiB,CAAA;AACnB,CAAC,EAHW,iBAAiB,KAAjB,iBAAiB,QAG5B;AAED,sDAAsD;AAEtD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;IACjC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC;IACrC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,mBAAmB,CAAC;IACzC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;CACvB,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC;CAC3E,CAAC,CAAC;AA8BH,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;AAErD;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,CAAkB;IACxD,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,4BAA4B;IAC1C,SAAS,CAAC,KAAK,EAAE,CAAC;AACpB,CAAC;AAED,sDAAsD;AAEtD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,uBAAuB,CACrC,CAAc,EACd,CAAc;IAEd,yCAAyC;IACzC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEpC,yDAAyD;IACzD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9E,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAE9E,oEAAoE;IACpE,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,eAAe,GAAG,OAAO;QAC7B,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC;QACrC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;IAElB,IAAI,CAAC,eAAe;QAAE,OAAO,KAAK,CAAC;IAEnC,oEAAoE;IACpE,OAAO,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC7B,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,CAAc,EAAE,CAAc;IACnD,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;IACnB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;IAEnB,8CAA8C;IAC9C,IAAI,EAAE,KAAK,MAAM,IAAI,EAAE,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAEhD,uDAAuD;IACvD,IAAI,EAAE,KAAK,UAAU,IAAI,EAAE,KAAK,UAAU,EAAE,CAAC;QAC3C,OAAO,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,YAAY,CAAC;IAC3C,CAAC;IAED,uDAAuD;IACvD,IAAI,EAAE,KAAK,YAAY,IAAI,EAAE,KAAK,YAAY,EAAE,CAAC;QAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC;QACvB,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC;QACvB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC,CAAC,4CAA4C;QACzE,OAAO,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC;IAClD,CAAC;IAED,mDAAmD;IACnD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAAuB;IAClE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAuB,EAAE,CAAC;IAEzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACrB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YAErB,2CAA2C;YAC3C,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;gBAAE,SAAS;YAE/D,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;gBAC7B,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;oBAC7B,IAAI,uBAAuB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;wBACpC,SAAS,CAAC,IAAI,CAAC;4BACb,kBAAkB,EAAE,GAAG,EAAE,CAAC,OAAO,MAAM,EAAE,CAAC,OAAO,EAAE;4BACnD,YAAY,EAAE,EAAE,CAAC,IAAI;4BACrB,MAAM,EAAE,CAAC;4BACT,MAAM,EAAE,CAAC;4BACT,cAAc,EACZ,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,SAAS;gCACtC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,SAAS;yBACzC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/kernel/sync-gate-evaluate.d.ts

@@ -0,0 +1,92 @@
+/**
+ * SyncGate — pure evaluation functions (liveness, voting, status computation).
+ *
+ * Extracted from sync-gate.ts to keep file sizes manageable.
+ * Types and schemas remain in sync-gate.ts.
+ */
+import { GateVoteKind } from "./sync-gate.js";
+import type { SyncGate, GatePolicy, GateVote } from "./sync-gate.js";
+export { GateVoteKind };
+/**
+ * Check if all required agents have acknowledged.
+ */
+export declare function allAcked(gate: SyncGate): boolean;
+/**
+ * Check if quorum is met (N acks out of M required).
+ */
+export declare function quorumMet(gate: SyncGate, quorum: number): boolean;
+/**
+ * Parse the gate's policy JSON. Returns DEFAULT_GATE_POLICY if empty/invalid.
+ */
+export declare function parseGatePolicy(gate: SyncGate): GatePolicy;
+/**
+ * Count votes by kind, deduplicating by agentId (latest vote wins).
+ * This prevents vote-spamming from inflating counts.
+ */
+export declare function countVotes(votes: GateVote[]): Record<GateVoteKind, number>;
+export declare enum LivenessAction {
+    /** Keep blocking — policy not yet satisfied */
+    CONTINUE_BLOCKING = "continue_blocking",
+    /** Escalate to designated agents or human */
+    ESCALATE = "escalate",
+    /** Quorum met — allow resolve */
+    ALLOW_QUORUM_RESOLVE = "allow_quorum_resolve",
+    /** Conflict no longer exists — auto-resolve */
+    AUTO_RESOLVE = "auto_resolve"
+}
+export interface LivenessDecision {
+    action: LivenessAction;
+    reason: string;
+    /** If ESCALATE, who to notify */
+    escalateTo?: string[];
+}
+/**
+ * Evaluate gate liveness — pure function, no side effects.
+ *
+ * Given a gate, its votes, and the current time, determines what
+ * action should be taken. The service layer calls this lazily
+ * (on sgCheckAgent, wakeNext, loopResume) and applies the result.
+ */
+export declare function evaluateGateLiveness(gate: SyncGate, votes: GateVote[], now: Date): LivenessDecision;
+/**
+ * List agents who have not yet acknowledged.
+ */
+export declare function pendingAgents(gate: SyncGate): string[];
+/**
+ * Check if a specific agent is blocked by a gate.
+ */
+export declare function isAgentBlocked(gate: SyncGate, agentId: string): boolean;
+/**
+ * Check if a gate is in a "blocking" status (not yet resolved or cancelled).
+ */
+export declare function isGateBlocking(gate: SyncGate): boolean;
+/**
+ * Check if a gate has any acks but not all — useful for PARTIALLY_ACKED detection.
+ */
+export declare function hasPartialAcks(gate: SyncGate): boolean;
+export type GateAction = "ack" | "vote" | "change_vote" | "resolve" | "cancel" | "escalate" | "request_more_info" | "view_only";
+export interface GateDetailedStatus {
+    gate: SyncGate;
+    policy: GatePolicy;
+    pendingAgentIds: string[];
+    ackedAgentIds: string[];
+    requiredAgentIds: string[];
+    votes: GateVote[];
+    voteCounts: Record<GateVoteKind, number>;
+    eligibleVoterIds: string[];
+    deadlineAt?: string;
+    escalationAgentIds: string[];
+    livenessPreview: LivenessDecision;
+    isBlocking: boolean;
+    requiresHuman: boolean;
+}
+/**
+ * Compute available actions for a specific agent on a gate.
+ */
+export declare function computeAvailableActions(gate: SyncGate, agentId: string, votes: GateVote[]): GateAction[];
+/**
+ * Compute the full detailed status of a gate.
+ * Pure function — no I/O. Caller provides gate + votes.
+ */
+export declare function computeGateDetails(gate: SyncGate, votes: GateVote[], now?: Date): GateDetailedStatus;
+//# sourceMappingURL=sync-gate-evaluate.d.ts.map

package/dist/kernel/sync-gate-evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-gate-evaluate.d.ts","sourceRoot":"","sources":["../../_build/src/kernel/sync-gate-evaluate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAQL,YAAY,EACb,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EAAE,YAAY,EAAE,CAAC;AAIxB;;GAEG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAIhD;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAEjE;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,CAM1D;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAY1E;AAID,oBAAY,cAAc;IACxB,+CAA+C;IAC/C,iBAAiB,sBAAsB;IACvC,6CAA6C;IAC7C,QAAQ,aAAa;IACrB,iCAAiC;IACjC,oBAAoB,yBAAyB;IAC7C,+CAA+C;IAC/C,YAAY,iBAAiB;CAC9B;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,iCAAiC;IACjC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,QAAQ,EAAE,EACjB,GAAG,EAAE,IAAI,GACR,gBAAgB,CAyDlB;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,CAEtD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAQvE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAKtD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAEtD;AAID,MAAM,MAAM,UAAU,GAClB,KAAK,GACL,MAAM,GACN,aAAa,GACb,SAAS,GACT,QAAQ,GACR,UAAU,GACV,mBAAmB,GACnB,WAAW,CAAC;AAEhB,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,UAAU,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACzC,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,EAAE,gBAAgB,CAAC;IAClC,UAAU,EAAE,OAAO,CAAC;IACpB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,QAAQ,EAAE,GAChB,UAAU,EAAE,CA+Bd;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,QAAQ,EAAE,EACjB,GAAG,CAAC,EAAE,IAAI,GACT,kBAAkB,CAgCpB"}

package/dist/kernel/sync-gate-evaluate.js

@@ -0,0 +1,217 @@
+/**
+ * SyncGate — pure evaluation functions (liveness, voting, status computation).
+ *
+ * Extracted from sync-gate.ts to keep file sizes manageable.
+ * Types and schemas remain in sync-gate.ts.
+ */
+import { SyncGateStatus, GatePolicyKind, GateTimeoutAction, GatePolicySchema, DEFAULT_GATE_POLICY, GateVoteKind, } from "./sync-gate.js";
+// Re-export for convenience (callers import from here or from sync-gate.ts)
+export { GateVoteKind };
+// ── Pure helpers ────────────────────────────────────
+/**
+ * Check if all required agents have acknowledged.
+ */
+export function allAcked(gate) {
+    const required = gate.requiredAgentIds;
+    const acked = gate.ackedAgentIds;
+    return required.length > 0 && required.every(id => acked.includes(id));
+}
+/**
+ * Check if quorum is met (N acks out of M required).
+ */
+export function quorumMet(gate, quorum) {
+    return gate.ackedAgentIds.length >= quorum;
+}
+/**
+ * Parse the gate's policy JSON. Returns DEFAULT_GATE_POLICY if empty/invalid.
+ */
+export function parseGatePolicy(gate) {
+    try {
+        return GatePolicySchema.parse(gate.policy ?? DEFAULT_GATE_POLICY);
+    }
+    catch {
+        return { ...DEFAULT_GATE_POLICY };
+    }
+}
+/**
+ * Count votes by kind, deduplicating by agentId (latest vote wins).
+ * This prevents vote-spamming from inflating counts.
+ */
+export function countVotes(votes) {
+    const counts = {
+        [GateVoteKind.APPROVE]: 0,
+        [GateVoteKind.REJECT]: 0,
+        [GateVoteKind.ABSTAIN]: 0,
+        [GateVoteKind.ESCALATE]: 0,
+    };
+    // Deduplicate: last vote per agent wins (votes assumed ordered by createdAt asc)
+    const lastVoteByAgent = new Map();
+    for (const v of votes)
+        lastVoteByAgent.set(v.agentId, v.vote);
+    for (const kind of lastVoteByAgent.values())
+        counts[kind]++;
+    return counts;
+}
+// ── Liveness Decision ────────────────────────────────
+export var LivenessAction;
+(function (LivenessAction) {
+    /** Keep blocking — policy not yet satisfied */
+    LivenessAction["CONTINUE_BLOCKING"] = "continue_blocking";
+    /** Escalate to designated agents or human */
+    LivenessAction["ESCALATE"] = "escalate";
+    /** Quorum met — allow resolve */
+    LivenessAction["ALLOW_QUORUM_RESOLVE"] = "allow_quorum_resolve";
+    /** Conflict no longer exists — auto-resolve */
+    LivenessAction["AUTO_RESOLVE"] = "auto_resolve";
+})(LivenessAction || (LivenessAction = {}));
+/**
+ * Evaluate gate liveness — pure function, no side effects.
+ *
+ * Given a gate, its votes, and the current time, determines what
+ * action should be taken. The service layer calls this lazily
+ * (on sgCheckAgent, wakeNext, loopResume) and applies the result.
+ */
+export function evaluateGateLiveness(gate, votes, now) {
+    // Terminal states — nothing to do
+    if (gate.status === SyncGateStatus.READY_TO_CONTINUE ||
+        gate.status === SyncGateStatus.CANCELLED) {
+        return { action: LivenessAction.CONTINUE_BLOCKING, reason: "gate already resolved" };
+    }
+    const policy = parseGatePolicy(gate);
+    // Check deadline timeout — applies to all policy kinds
+    if (policy.deadlineAt) {
+        const deadline = new Date(policy.deadlineAt);
+        if (now >= deadline) {
+            if (policy.timeoutAction === GateTimeoutAction.CANCEL) {
+                return { action: LivenessAction.AUTO_RESOLVE, reason: `Deadline passed — auto-cancel` };
+            }
+            // Default: escalate
+            return {
+                action: LivenessAction.ESCALATE,
+                reason: `Deadline passed (${policy.deadlineAt})`,
+                escalateTo: policy.escalationAgentIds,
+            };
+        }
+    }
+    // Check lease expiry (staleness)
+    if (policy.leaseExpiresAt) {
+        const lease = new Date(policy.leaseExpiresAt);
+        if (now >= lease) {
+            return {
+                action: LivenessAction.ESCALATE,
+                reason: `Lease expired (no activity since ${policy.leaseExpiresAt})`,
+                escalateTo: policy.escalationAgentIds,
+            };
+        }
+    }
+    // Policy-specific evaluation
+    switch (policy.kind) {
+        case GatePolicyKind.ALL_REQUIRED:
+        default: {
+            if (allAcked(gate)) {
+                return { action: LivenessAction.CONTINUE_BLOCKING, reason: "All acked — awaiting explicit resolve" };
+            }
+            return { action: LivenessAction.CONTINUE_BLOCKING, reason: `Waiting: ${pendingAgents(gate).join(", ")}` };
+        }
+        case GatePolicyKind.QUORUM_ACK: {
+            const q = policy.quorum ?? Math.ceil(gate.requiredAgentIds.length / 2);
+            if (quorumMet(gate, q)) {
+                return { action: LivenessAction.ALLOW_QUORUM_RESOLVE, reason: `Quorum met (${gate.ackedAgentIds.length}/${q})` };
+            }
+            return { action: LivenessAction.CONTINUE_BLOCKING, reason: `Quorum not met (${gate.ackedAgentIds.length}/${q})` };
+        }
+    }
+}
+/**
+ * List agents who have not yet acknowledged.
+ */
+export function pendingAgents(gate) {
+    return gate.requiredAgentIds.filter(id => !gate.ackedAgentIds.includes(id));
+}
+/**
+ * Check if a specific agent is blocked by a gate.
+ */
+export function isAgentBlocked(gate, agentId) {
+    if (gate.status === SyncGateStatus.READY_TO_CONTINUE ||
+        gate.status === SyncGateStatus.CANCELLED) {
+        return false;
+    }
+    return gate.requiredAgentIds.includes(agentId);
+}
+/**
+ * Check if a gate is in a "blocking" status (not yet resolved or cancelled).
+ */
+export function isGateBlocking(gate) {
+    return (gate.status !== SyncGateStatus.READY_TO_CONTINUE &&
+        gate.status !== SyncGateStatus.CANCELLED);
+}
+/**
+ * Check if a gate has any acks but not all — useful for PARTIALLY_ACKED detection.
+ */
+export function hasPartialAcks(gate) {
+    return gate.ackedAgentIds.length > 0 && !allAcked(gate);
+}
+/**
+ * Compute available actions for a specific agent on a gate.
+ */
+export function computeAvailableActions(gate, agentId, votes) {
+    if (!isGateBlocking(gate))
+        return ["view_only"];
+    const policy = parseGatePolicy(gate);
+    const required = gate.requiredAgentIds;
+    const acked = gate.ackedAgentIds;
+    const isRequired = required.includes(agentId);
+    const isOwner = gate.requestedByAgentId === agentId;
+    const isEscalation = (policy.escalationAgentIds ?? []).includes(agentId);
+    // Deduplicate votes by agent
+    const lastVoteByAgent = new Map();
+    for (const v of votes)
+        lastVoteByAgent.set(v.agentId, v.vote);
+    const hasVoted = lastVoteByAgent.has(agentId);
+    const hasAcked = acked.includes(agentId);
+    const actions = [];
+    if (isRequired && !hasAcked) {
+        actions.push("ack");
+    }
+    if (isRequired || isOwner) {
+        actions.push(hasVoted ? "change_vote" : "vote");
+    }
+    if (isEscalation || isOwner) {
+        actions.push("resolve", "cancel", "escalate", "request_more_info");
+    }
+    return actions.length > 0 ? actions : ["view_only"];
+}
+/**
+ * Compute the full detailed status of a gate.
+ * Pure function — no I/O. Caller provides gate + votes.
+ */
+export function computeGateDetails(gate, votes, now) {
+    const policy = parseGatePolicy(gate);
+    const required = gate.requiredAgentIds;
+    const acked = gate.ackedAgentIds;
+    const pending = required.filter(id => !acked.includes(id));
+    const voteCts = countVotes(votes);
+    const eligibleSet = new Set([
+        ...required,
+        gate.requestedByAgentId,
+        ...(policy.escalationAgentIds ?? []),
+    ]);
+    const livenessPreview = evaluateGateLiveness(gate, votes, now ?? new Date());
+    const requiresHuman = gate.escalated;
+    return {
+        gate,
+        policy,
+        pendingAgentIds: pending,
+        ackedAgentIds: acked,
+        requiredAgentIds: required,
+        votes,
+        voteCounts: voteCts,
+        eligibleVoterIds: [...eligibleSet],
+        deadlineAt: policy.deadlineAt,
+        escalationAgentIds: policy.escalationAgentIds ?? [],
+        livenessPreview,
+        isBlocking: isGateBlocking(gate),
+        requiresHuman,
+    };
+}
+//# sourceMappingURL=sync-gate-evaluate.js.map

package/dist/kernel/sync-gate-evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-gate-evaluate.js","sourceRoot":"","sources":["../../_build/src/kernel/sync-gate-evaluate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,cAAc,EAEd,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAEhB,mBAAmB,EACnB,YAAY,GACb,MAAM,gBAAgB,CAAC;AAGxB,4EAA4E;AAC5E,OAAO,EAAE,YAAY,EAAE,CAAC;AAExB,uDAAuD;AAEvD;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAc;IACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC;IACjC,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAc,EAAE,MAAc;IACtD,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,MAAM,CAAC;AAC7C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAc;IAC5C,IAAI,CAAC;QACH,OAAO,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,mBAAmB,CAAC,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,GAAG,mBAAmB,EAAE,CAAC;IACpC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,KAAiB;IAC1C,MAAM,MAAM,GAAiC;QAC3C,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;KAC3B,CAAC;IACF,iFAAiF;IACjF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAwB,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9D,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAC5D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wDAAwD;AAExD,MAAM,CAAN,IAAY,cASX;AATD,WAAY,cAAc;IACxB,+CAA+C;IAC/C,yDAAuC,CAAA;IACvC,6CAA6C;IAC7C,uCAAqB,CAAA;IACrB,iCAAiC;IACjC,+DAA6C,CAAA;IAC7C,+CAA+C;IAC/C,+CAA6B,CAAA;AAC/B,CAAC,EATW,cAAc,KAAd,cAAc,QASzB;AASD;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAc,EACd,KAAiB,EACjB,GAAS;IAET,kCAAkC;IAClC,IACE,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,iBAAiB;QAChD,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,SAAS,EACxC,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,iBAAiB,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAErC,uDAAuD;IACvD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,GAAG,IAAI,QAAQ,EAAE,CAAC;YACpB,IAAI,MAAM,CAAC,aAAa,KAAK,iBAAiB,CAAC,MAAM,EAAE,CAAC;gBACtD,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC;YAC1F,CAAC;YACD,oBAAoB;YACpB,OAAO;gBACL,MAAM,EAAE,cAAc,CAAC,QAAQ;gBAC/B,MAAM,EAAE,oBAAoB,MAAM,CAAC,UAAU,GAAG;gBAChD,UAAU,EAAE,MAAM,CAAC,kBAAkB;aACtC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QAC9C,IAAI,GAAG,IAAI,KAAK,EAAE,CAAC;YACjB,OAAO;gBACL,MAAM,EAAE,cAAc,CAAC,QAAQ;gBAC/B,MAAM,EAAE,oCAAoC,MAAM,CAAC,cAAc,GAAG;gBACpE,UAAU,EAAE,MAAM,CAAC,kBAAkB;aACtC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,cAAc,CAAC,YAAY,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC;YACR,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,iBAAiB,EAAE,MAAM,EAAE,uCAAuC,EAAE,CAAC;YACvG,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,iBAAiB,EAAE,MAAM,EAAE,YAAY,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QAC5G,CAAC;QAED,KAAK,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACvE,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBACvB,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,oBAAoB,EAAE,MAAM,EAAE,eAAe,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC;YACnH,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,iBAAiB,EAAE,MAAM,EAAE,mBAAmB,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC;QACpH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,OAAO,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAc,EAAE,OAAe;IAC5D,IACE,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,iBAAiB;QAChD,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,SAAS,EACxC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AACjD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAc;IAC3C,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,iBAAiB;QAChD,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,SAAS,CACzC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAc;IAC3C,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC1D,CAAC;AA8BD;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAc,EACd,OAAe,EACf,KAAiB;IAEjB,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAEhD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC;IACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,KAAK,OAAO,CAAC;IACpD,MAAM,YAAY,GAAG,CAAC,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAEzE,6BAA6B;IAC7B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAwB,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAEzC,MAAM,OAAO,GAAiB,EAAE,CAAC;IAEjC,IAAI,UAAU,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,UAAU,IAAI,OAAO,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,YAAY,IAAI,OAAO,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;AACtD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAc,EACd,KAAiB,EACjB,GAAU;IAEV,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC;IACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAElC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS;QAClC,GAAG,QAAQ;QACX,IAAI,CAAC,kBAAkB;QACvB,GAAG,CAAC,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC;KACrC,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;IAE7E,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC;IAErC,OAAO;QACL,IAAI;QACJ,MAAM;QACN,eAAe,EAAE,OAAO;QACxB,aAAa,EAAE,KAAK;QACpB,gBAAgB,EAAE,QAAQ;QAC1B,KAAK;QACL,UAAU,EAAE,OAAO;QACnB,gBAAgB,EAAE,CAAC,GAAG,WAAW,CAAC;QAClC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,IAAI,EAAE;QACnD,eAAe;QACf,UAAU,EAAE,cAAc,CAAC,IAAI,CAAC;QAChC,aAAa;KACd,CAAC;AACJ,CAAC"}