@vicfei/dsh-super-agent 0.0.0-stage → 0.5.0

package/dist/clip.js

@@ -0,0 +1,42 @@
+// Reply discipline — the article §3.3 / prototype docs/004 rule: chat replies are one sentence by
+// default with a hard limit of 100 words. clipReply enforces the hard limit; being concise is the
+// caller's (prompt's) job.
+/** Latin tokens count as words; every CJK char counts as one word. */
+export function wordCount(text) {
+    const latin = (text.match(/[A-Za-z0-9'’_-]+/g) ?? []).length;
+    const cjk = (text.match(/[\u4e00-\u9fff\u3040-\u30ff\uac00-\ud7af]/g) ?? []).length;
+    return latin + cjk;
+}
+const CJK = /[\u4e00-\u9fff\u3040-\u30ff\uac00-\ud7af]/;
+const LATIN_WORD = /[A-Za-z0-9'’_-]/;
+export function clipReply(text, maxWords = 100) {
+    const trimmed = text.trim();
+    if (wordCount(trimmed) <= maxWords)
+        return trimmed;
+    let used = 0;
+    let out = "";
+    let latin = "";
+    for (const ch of trimmed) {
+        if (used >= maxWords)
+            break;
+        if (LATIN_WORD.test(ch)) {
+            latin += ch;
+            continue;
+        }
+        if (latin) {
+            out += latin;
+            used++;
+            latin = "";
+        }
+        if (CJK.test(ch)) {
+            out += ch;
+            used++;
+        } // CJK has no spaces: charge per char
+        else
+            out += ch; // separators/punctuation ride along
+    }
+    if (latin && used < maxWords)
+        out += latin;
+    return `${out.trimEnd()} …`;
+}
+//# sourceMappingURL=clip.js.map

package/dist/clip.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clip.js","sourceRoot":"","sources":["../src/clip.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,kGAAkG;AAClG,2BAA2B;AAE3B,sEAAsE;AACtE,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAC7D,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,4CAA4C,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACpF,OAAO,KAAK,GAAG,GAAG,CAAC;AACrB,CAAC;AAED,MAAM,GAAG,GAAG,2CAA2C,CAAC;AACxD,MAAM,UAAU,GAAG,iBAAiB,CAAC;AAErC,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,QAAQ,GAAG,GAAG;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,QAAQ;QAAE,OAAO,OAAO,CAAC;IACnD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,IAAI,IAAI,QAAQ;YAAE,MAAM;QAC5B,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAAC,KAAK,IAAI,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QACnD,IAAI,KAAK,EAAE,CAAC;YAAC,GAAG,IAAI,KAAK,CAAC;YAAC,IAAI,EAAE,CAAC;YAAC,KAAK,GAAG,EAAE,CAAC;QAAC,CAAC;QAChD,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAAC,GAAG,IAAI,EAAE,CAAC;YAAC,IAAI,EAAE,CAAC;QAAC,CAAC,CAAC,qCAAqC;;YACzE,GAAG,IAAI,EAAE,CAAC,CAAC,oCAAoC;IACtD,CAAC;IACD,IAAI,KAAK,IAAI,IAAI,GAAG,QAAQ;QAAE,GAAG,IAAI,KAAK,CAAC;IAC3C,OAAO,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC;AAC9B,CAAC"}

package/dist/domain.d.ts

@@ -0,0 +1,67 @@
+/** Who the request came from, as the host sees it. Messages feed the decision; they cannot change permissions. */
+export interface Actor {
+    login: string;
+    /** GitHub Apps / [bot] logins / app slugs. Bots can produce inferred candidates, never explicit requests. */
+    isBot: boolean;
+}
+/** One immutable event with the Source's own metadata. Unit of audit and idempotence. */
+export interface Trigger {
+    /** Source-scoped unique id; accepting twice yields one Ticket. */
+    id: string;
+    source: "github";
+    /** Receiving scope — the admission table's row key. */
+    scope: Scope;
+    /** Triggers of one conversation, as defined by the Source (e.g. `github:owner/repo/issues/42`). */
+    threadId: string;
+    author: Actor;
+    /** Did the message address the agent (@mention, reply-to-agent)? */
+    addressing: boolean;
+    body: string;
+    /** UTC ISO8601. */
+    ts: string;
+}
+export type Scope = "issue" | "issue_comment" | "pr" | "pr_comment" | "review_comment" | "ci";
+/** Strength of an admitted Trigger. Explicit works in every accept mode; inferred is mode-gated. */
+export type Strength = "explicit" | "inferred";
+/** Progressive-trust ladder for inferred requests. Start in observe; switch to auto after reviewing records. */
+export type AcceptMode = "off" | "observe" | "auto";
+/**
+ * Admission table cell. Defaults per docs/002:
+ *   listed-not-addressing  → "inferred"
+ *   unlisted-addressing    → "ignore"
+ *   unlisted-not-addressing→ "ignore"
+ * Cells are data, not code: weakening a cell does not immediately stop Tickets accepted under it
+ * (revalidation-before-resume handles that in the Engine — future milestone).
+ */
+export type Cell = "inferred" | "ignore";
+export interface AdmissionRow {
+    scope: Scope;
+    listedNotAddressing: Cell;
+    unlistedAddressing: Cell;
+    unlistedNotAddressing: Cell;
+}
+/** Versioned assessment rules + each Source's part. */
+export interface Policy {
+    version: number;
+    /** Human logins allowed to produce requests. */
+    allowedList: string[];
+    /** Recognized bots; produce inferred candidates at most. */
+    botList: string[];
+    acceptMode: AcceptMode;
+    /** One row per scope; a missing row means all cells "ignore". */
+    table: AdmissionRow[];
+}
+export declare function defaultRow(scope: Scope): AdmissionRow;
+/** The state an accepted Trigger's Ticket reports. */
+export type Report = "progress" | "waiting" | "ready" | "blocked" | "failed" | "dropped";
+/** Eval's output. */
+export type DecisionKind = "accept" | "stop" | "ignore" | "unavailable";
+export interface Decision {
+    kind: DecisionKind;
+    strength?: Strength;
+    /** Why — every recorded fact carries its basis. */
+    basis: string;
+    /** observe mode: a positive assessment recorded as ignore marked "would accept". */
+    wouldAccept?: boolean;
+    ts: string;
+}

package/dist/domain.js

@@ -0,0 +1,6 @@
+// Domain types — adapted from dsh-superagent-prototype docs/001 & docs/002 (MIT, DeepSeek).
+// Flow: Source → Trigger → Gate (host-enforced admission) → [assessment] → Ticket → Executor → Channel.
+export function defaultRow(scope) {
+    return { scope, listedNotAddressing: "inferred", unlistedAddressing: "ignore", unlistedNotAddressing: "ignore" };
+}
+//# sourceMappingURL=domain.js.map

package/dist/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../src/domain.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,wGAAwG;AAqExG,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,UAAU,EAAE,kBAAkB,EAAE,QAAQ,EAAE,qBAAqB,EAAE,QAAQ,EAAE,CAAC;AACnH,CAAC"}

package/dist/engine.d.ts

@@ -0,0 +1,94 @@
+import Database from "better-sqlite3";
+import type { Policy, Strength, Trigger } from "./domain.js";
+import type { GateResult, Resolution } from "./gate.js";
+import type { SourceState } from "./github/state.js";
+export interface IngestItem {
+    trigger: Trigger;
+    gate: GateResult;
+    resolution: Resolution;
+}
+export interface IngestReport {
+    fresh: number;
+    duplicates: number;
+    ticketsOpened: number;
+    resumed: number;
+    refusals: string[];
+}
+export interface TicketView {
+    id: number;
+    threadId: string;
+    triggerId: string;
+    opener: string;
+    strength: Strength;
+    policyVersion: number;
+    state: "open" | "ended";
+    /** queued (no assignment) / working / needs-person (failed assignment) / ended. */
+    stage: "queued" | "working" | "needs-person" | "ended";
+    stoppedBy?: string;
+    revokedReason?: string;
+    resumedCount: number;
+    createdAt: string;
+}
+export interface EffectRow {
+    id: number;
+    kind: string;
+    key: string;
+    payload: unknown;
+    attempts: number;
+}
+export interface DecisionView {
+    id: number;
+    kind: "accept" | "ignore" | "unavailable";
+    strength?: Strength;
+    basis: string;
+    wouldAccept: boolean;
+    policyVersion: number;
+    ts: string;
+    threadId: string;
+    author: string;
+    isBot: boolean;
+    scope: string;
+    addressing: boolean;
+    excerpt: string;
+}
+export declare class Engine {
+    readonly db: Database.Database;
+    constructor(path: string);
+    close(): void;
+    /** Store the current Policy if its version differs — open Tickets keep their mandate. */
+    setPolicyIfChanged(policy: Policy): boolean;
+    /** Panel command acting directly: switch acceptMode, versioned. */
+    setAcceptMode(mode: Policy["acceptMode"]): Policy | undefined;
+    policy(): Policy | undefined;
+    positions(): SourceState;
+    /** Comment ids the agent itself posted — the Source must never re-ingest them (self-echo). */
+    selfPosted(): Set<string>;
+    markSelfPosted(commentId: number): void;
+    ingest(batch: IngestItem[], nextPositions?: SourceState): IngestReport;
+    /** Revalidation before resume (docs/002): inferred additionally requires auto; an
+     *  allowed-list-based basis additionally requires the author to still be listed. */
+    private revalidateFailReason;
+    /** A person's stop withdraws the Mandate and ends the Ticket. */
+    stopTicket(id: number, byLogin: string): boolean;
+    /** Open tickets claimable by work: never assigned, or last assignment ended cleanly
+     *  (a resumed ticket is re-claimable; a failed one waits for a person). */
+    claimQueued(limit: number): {
+        id: number;
+        threadId: string;
+        body: string;
+        author: string;
+    }[];
+    startAssignment(ticketId: number, worktree: string): number;
+    endAssignment(id: number, exitCode: number | null, timedOut: boolean, output: string): void;
+    /** A ready report ends the Ticket completed (stopped_by stays NULL ⇒ new work opens a new ticket). */
+    completeTicket(id: number): boolean;
+    /** Public reply enqueue for adapters acting after commit (work reports, notices). */
+    enqueueReply(key: string, threadId: string, body: string): void;
+    /** Recent decisions with trigger context — the audit trail (panel + observe records). */
+    decisions(limit?: number): DecisionView[];
+    tickets(): TicketView[];
+    takeDue(now?: Date): EffectRow[];
+    completeEffect(id: number): void;
+    /** Retryable failures back off exponentially (5s→300s cap); the 5th failure is terminal. */
+    failEffect(id: number, error: string, retryable?: boolean): void;
+}

package/dist/engine.js

@@ -0,0 +1,370 @@
+// Engine — the sole writer of domain aggregates, following dsh-superagent-prototype docs/007:
+// synchronous methods, one transaction per command, external work enqueued as durable effects
+// (outbox) inside the transaction and executed after commit. Domain semantics from docs/001–003:
+//   - a Trigger accepted twice yields one Ticket (ingest idempotence)
+//   - accept creates a Mandate; a person's stop withdraws it; failed revalidation revokes it
+//   - a person's message on their own thread resumes an ended (person-stopped) Ticket
+//   - weakening policy does not kill open Tickets; resume revalidates against current policy
+import Database from "better-sqlite3";
+import { mkdirSync } from "node:fs";
+import { dirname } from "node:path";
+import { clipReply } from "./clip.js";
+const SCHEMA = `
+CREATE TABLE IF NOT EXISTS kv (k TEXT PRIMARY KEY, v TEXT NOT NULL);
+
+CREATE TABLE IF NOT EXISTS trigger (
+  id TEXT PRIMARY KEY,
+  source TEXT NOT NULL, scope TEXT NOT NULL, thread_id TEXT NOT NULL,
+  author_login TEXT NOT NULL, author_is_bot INTEGER NOT NULL,
+  addressing INTEGER NOT NULL, body TEXT NOT NULL, ts TEXT NOT NULL,
+  ingested_at TEXT NOT NULL
+);
+CREATE INDEX IF NOT EXISTS idx_trigger_thread ON trigger(thread_id);
+
+CREATE TABLE IF NOT EXISTS decision (
+  id INTEGER PRIMARY KEY AUTOINCREMENT,
+  trigger_id TEXT NOT NULL REFERENCES trigger(id),
+  kind TEXT NOT NULL,                 -- accept | ignore | unavailable
+  strength TEXT, basis TEXT NOT NULL, would_accept INTEGER NOT NULL DEFAULT 0,
+  policy_version INTEGER NOT NULL, ts TEXT NOT NULL
+);
+
+CREATE TABLE IF NOT EXISTS ticket (
+  id INTEGER PRIMARY KEY AUTOINCREMENT,
+  thread_id TEXT NOT NULL,
+  trigger_id TEXT NOT NULL REFERENCES trigger(id),
+  opener_login TEXT NOT NULL,
+  strength TEXT NOT NULL,
+  policy_version INTEGER NOT NULL,
+  basis TEXT NOT NULL,
+  state TEXT NOT NULL DEFAULT 'open', -- open | ended
+  stopped_by TEXT, stopped_at TEXT,
+  revoked_reason TEXT,
+  resumed_count INTEGER NOT NULL DEFAULT 0,
+  created_at TEXT NOT NULL, updated_at TEXT NOT NULL
+);
+CREATE INDEX IF NOT EXISTS idx_ticket_thread ON ticket(thread_id);
+
+CREATE TABLE IF NOT EXISTS effect (
+  id INTEGER PRIMARY KEY AUTOINCREMENT,
+  kind TEXT NOT NULL, key TEXT NOT NULL,
+  payload TEXT NOT NULL,
+  status TEXT NOT NULL DEFAULT 'pending', -- pending | done | failed
+  attempts INTEGER NOT NULL DEFAULT 0,
+  next_due_at TEXT,
+  last_error TEXT,
+  created_at TEXT NOT NULL, updated_at TEXT NOT NULL,
+  UNIQUE(kind, key)
+);
+CREATE INDEX IF NOT EXISTS idx_effect_due ON effect(status, next_due_at);
+
+CREATE TABLE IF NOT EXISTS assignment (
+  id INTEGER PRIMARY KEY AUTOINCREMENT,
+  ticket_id INTEGER NOT NULL REFERENCES ticket(id),
+  state TEXT NOT NULL DEFAULT 'running', -- running | ended
+  worktree TEXT,
+  exit_code INTEGER, timed_out INTEGER NOT NULL DEFAULT 0,
+  output TEXT,
+  started_at TEXT NOT NULL, ended_at TEXT
+);
+CREATE INDEX IF NOT EXISTS idx_assignment_ticket ON assignment(ticket_id);
+`;
+const MAX_EFFECT_ATTEMPTS = 5;
+const BACKOFF_BASE_MS = 5_000;
+const BACKOFF_CAP_MS = 300_000;
+export class Engine {
+    db;
+    constructor(path) {
+        mkdirSync(dirname(path), { recursive: true });
+        this.db = new Database(path);
+        this.db.pragma("journal_mode = WAL");
+        this.db.pragma("foreign_keys = ON");
+        this.db.pragma("busy_timeout = 5000"); // panel's quick writes alongside poll
+        this.db.exec(SCHEMA);
+    }
+    close() {
+        this.db.close();
+    }
+    // ── policy (kv) ──────────────────────────────────────────────────────────
+    /** Store the current Policy if its version differs — open Tickets keep their mandate. */
+    setPolicyIfChanged(policy) {
+        const row = this.db.prepare("SELECT v FROM kv WHERE k = 'policy'").get();
+        if (row && JSON.parse(row.v).version === policy.version)
+            return false;
+        this.db
+            .prepare("INSERT INTO kv (k, v) VALUES ('policy', ?) ON CONFLICT(k) DO UPDATE SET v = excluded.v")
+            .run(JSON.stringify(policy));
+        return true;
+    }
+    /** Panel command acting directly: switch acceptMode, versioned. */
+    setAcceptMode(mode) {
+        const current = this.policy();
+        if (!current)
+            return undefined;
+        if (current.acceptMode === mode)
+            return current;
+        const next = { ...current, acceptMode: mode, version: current.version + 1 };
+        this.setPolicyIfChanged(next);
+        return next;
+    }
+    policy() {
+        const row = this.db.prepare("SELECT v FROM kv WHERE k = 'policy'").get();
+        return row ? JSON.parse(row.v) : undefined;
+    }
+    positions() {
+        const row = this.db.prepare("SELECT v FROM kv WHERE k = 'positions'").get();
+        const zeros = { issue: 0, issue_comment: 0, pr: 0, review_comment: 0 };
+        return { positions: row ? { ...zeros, ...JSON.parse(row.v) } : zeros };
+    }
+    /** Comment ids the agent itself posted — the Source must never re-ingest them (self-echo). */
+    selfPosted() {
+        const row = this.db.prepare("SELECT v FROM kv WHERE k = 'self_posted'").get();
+        return new Set(row ? JSON.parse(row.v) : []);
+    }
+    markSelfPosted(commentId) {
+        const all = this.selfPosted();
+        all.add(`github:issue_comment:${commentId}`);
+        this.db
+            .prepare("INSERT INTO kv (k, v) VALUES ('self_posted', ?) ON CONFLICT(k) DO UPDATE SET v = excluded.v")
+            .run(JSON.stringify([...all]));
+    }
+    // ── ingest (one transaction: triggers + decisions + tickets + resume + positions) ──
+    ingest(batch, nextPositions) {
+        const now = new Date().toISOString();
+        const report = { fresh: 0, duplicates: 0, ticketsOpened: 0, resumed: 0, refusals: [] };
+        const policy = this.policy();
+        const policyVersion = policy?.version ?? 0;
+        const insertTrigger = this.db.prepare(`INSERT OR IGNORE INTO trigger
+      (id, source, scope, thread_id, author_login, author_is_bot, addressing, body, ts, ingested_at)
+      VALUES (@id, @source, @scope, @threadId, @login, @isBot, @addressing, @body, @ts, @now)`);
+        const insertDecision = this.db.prepare(`INSERT INTO decision
+      (trigger_id, kind, strength, basis, would_accept, policy_version, ts)
+      VALUES (?, ?, ?, ?, ?, ?, ?)`);
+        const insertTicket = this.db.prepare(`INSERT INTO ticket
+      (thread_id, trigger_id, opener_login, strength, policy_version, basis, created_at, updated_at)
+      VALUES (?, ?, ?, ?, ?, ?, ?, ?)`);
+        const enqueue = this.db.prepare(`INSERT INTO effect (kind, key, payload, status, attempts, next_due_at, created_at, updated_at)
+      VALUES (?, ?, ?, 'pending', 0, ?, ?, ?)
+      ON CONFLICT(kind, key) DO UPDATE SET payload = excluded.payload, status = 'pending',
+        attempts = 0, next_due_at = excluded.next_due_at, last_error = NULL, updated_at = excluded.updated_at`);
+        const savePositions = this.db.prepare("INSERT INTO kv (k, v) VALUES ('positions', ?) ON CONFLICT(k) DO UPDATE SET v = excluded.v");
+        this.db.transaction(() => {
+            for (const item of batch) {
+                const t = item.trigger;
+                const known = insertTrigger.run({
+                    id: t.id, source: t.source, scope: t.scope, threadId: t.threadId,
+                    login: t.author.login, isBot: t.author.isBot ? 1 : 0,
+                    addressing: t.addressing ? 1 : 0, body: t.body, ts: t.ts, now,
+                });
+                if (known.changes === 0) {
+                    report.duplicates++; // accepting one Trigger twice yields one Ticket — and one decision
+                    continue;
+                }
+                report.fresh++;
+                const kind = item.resolution.action === "accept" ? "accept"
+                    : item.resolution.action === "shadow" ? "ignore" : "ignore";
+                const strength = item.gate.strength ?? null;
+                const wouldAccept = item.resolution.action === "shadow" ? 1 : 0;
+                const basis = "basis" in item.resolution ? item.resolution.basis : item.gate.basis;
+                insertDecision.run(t.id, kind, strength, basis, wouldAccept, policyVersion, now);
+                if (item.resolution.action === "accept") {
+                    // An admitted message from an opener with an ended ticket on this thread goes to that
+                    // ticket (docs/002: "Ended Tickets keep Mandates; a person's message on their own
+                    // Threads resumes them"); a revoked mandate takes none of its waiting messages;
+                    // otherwise this is new work.
+                    const ended = t.author.isBot ? undefined : this.db
+                        .prepare("SELECT * FROM ticket WHERE thread_id = ? AND opener_login = ? AND state = 'ended' ORDER BY id DESC LIMIT 1")
+                        .get(t.threadId, t.author.login);
+                    if (ended && ended.revoked_reason === null) {
+                        const failReason = this.revalidateFailReason(ended, policy, t.author.login);
+                        if (failReason) {
+                            this.db.prepare("UPDATE ticket SET revoked_reason = ?, updated_at = ? WHERE id = ?").run(failReason, now, ended.id);
+                            report.refusals.push(`ticket #${ended.id} stays ended — ${failReason}`);
+                        }
+                        else {
+                            this.db
+                                .prepare("UPDATE ticket SET state = 'open', resumed_count = resumed_count + 1, updated_at = ? WHERE id = ?")
+                                .run(now, ended.id);
+                            report.resumed++;
+                            enqueue.run("reply", `ticket-resume:${ended.id}:${Number(ended.resumed_count) + 1}`, JSON.stringify(replyPayload(t, Number(ended.id), "resumed", ended.strength)), now, now, now);
+                        }
+                    }
+                    else if (ended && ended.revoked_reason !== null) {
+                        report.refusals.push(`ticket #${ended.id} stays ended — mandate revoked`);
+                    }
+                    else {
+                        const info = insertTicket.run(t.threadId, t.id, t.author.login, strength, policyVersion, basis, now, now);
+                        const ticketId = Number(info.lastInsertRowid);
+                        report.ticketsOpened++;
+                        enqueue.run("reply", `ticket-open:${ticketId}`, JSON.stringify(replyPayload(t, ticketId, "opened", strength)), now, now, now);
+                    }
+                }
+            }
+            if (nextPositions)
+                savePositions.run(JSON.stringify(nextPositions.positions));
+        })();
+        return report;
+    }
+    /** Revalidation before resume (docs/002): inferred additionally requires auto; an
+     *  allowed-list-based basis additionally requires the author to still be listed. */
+    revalidateFailReason(ticket, policy, authorLogin) {
+        if (ticket.strength === "inferred" && policy?.acceptMode !== "auto") {
+            return "revalidation failed: inferred mandate requires acceptMode=auto";
+        }
+        if (String(ticket.basis).includes("allowed")) {
+            const allowed = (policy?.allowedList ?? []).map((s) => s.toLowerCase());
+            if (!allowed.includes(authorLogin.toLowerCase())) {
+                return `revalidation failed: ${authorLogin} no longer allowed`;
+            }
+        }
+        return undefined;
+    }
+    // ── person commands (panel command acting directly — docs/002) ───────────
+    /** A person's stop withdraws the Mandate and ends the Ticket. */
+    stopTicket(id, byLogin) {
+        const now = new Date().toISOString();
+        const r = this.db
+            .prepare("UPDATE ticket SET state = 'ended', stopped_by = ?, stopped_at = ?, updated_at = ? WHERE id = ? AND state = 'open'")
+            .run(byLogin, now, now, id);
+        return r.changes > 0;
+    }
+    // ── assignments (docs/001: the binding of a Ticket to one Executor instance) ──
+    /** Open tickets claimable by work: never assigned, or last assignment ended cleanly
+     *  (a resumed ticket is re-claimable; a failed one waits for a person). */
+    claimQueued(limit) {
+        const rows = this.db.prepare(`
+      SELECT t.id, t.thread_id, tr.body, tr.author_login
+      FROM ticket t JOIN trigger tr ON tr.id = t.trigger_id
+      LEFT JOIN assignment la ON la.ticket_id = t.id
+        AND la.id = (SELECT MAX(b.id) FROM assignment b WHERE b.ticket_id = t.id)
+      WHERE t.state = 'open' AND (la.id IS NULL OR (la.state = 'ended' AND la.exit_code = 0))
+      ORDER BY t.id LIMIT ?`).all(limit);
+        return rows.map((r) => ({
+            id: Number(r.id), threadId: String(r.thread_id),
+            body: String(r.body), author: String(r.author_login),
+        }));
+    }
+    startAssignment(ticketId, worktree) {
+        const r = this.db
+            .prepare("INSERT INTO assignment (ticket_id, worktree, started_at) VALUES (?, ?, ?)")
+            .run(ticketId, worktree, new Date().toISOString());
+        return Number(r.lastInsertRowid);
+    }
+    endAssignment(id, exitCode, timedOut, output) {
+        this.db
+            .prepare("UPDATE assignment SET state = 'ended', exit_code = ?, timed_out = ?, output = ?, ended_at = ? WHERE id = ?")
+            .run(exitCode, timedOut ? 1 : 0, output.slice(0, 65536), new Date().toISOString(), id);
+    }
+    /** A ready report ends the Ticket completed (stopped_by stays NULL ⇒ new work opens a new ticket). */
+    completeTicket(id) {
+        const r = this.db
+            .prepare("UPDATE ticket SET state = 'ended', updated_at = ? WHERE id = ? AND state = 'open'")
+            .run(new Date().toISOString(), id);
+        return r.changes > 0;
+    }
+    /** Public reply enqueue for adapters acting after commit (work reports, notices). */
+    enqueueReply(key, threadId, body) {
+        const now = new Date().toISOString();
+        const n = threadId.match(/\/(issues|pulls)\/(\d+)$/);
+        this.db.prepare(`INSERT INTO effect (kind, key, payload, status, attempts, next_due_at, created_at, updated_at)
+      VALUES ('reply', ?, ?, 'pending', 0, ?, ?, ?)
+      ON CONFLICT(kind, key) DO UPDATE SET payload = excluded.payload, status = 'pending',
+        attempts = 0, next_due_at = excluded.next_due_at, last_error = NULL, updated_at = excluded.updated_at`)
+            .run(key, JSON.stringify({ threadId, issueNumber: n ? Number(n[2]) : null, body }), now, now, now);
+    }
+    // ── views ────────────────────────────────────────────────────────────────
+    /** Recent decisions with trigger context — the audit trail (panel + observe records). */
+    decisions(limit = 50) {
+        const rows = this.db.prepare(`
+      SELECT d.id, d.kind, d.strength, d.basis, d.would_accept, d.policy_version, d.ts,
+             t.thread_id, t.author_login, t.author_is_bot, t.scope, t.addressing,
+             substr(t.body, 1, 160) AS excerpt
+      FROM decision d JOIN trigger t ON t.id = d.trigger_id
+      ORDER BY d.id DESC LIMIT ?`).all(limit);
+        return rows.map((r) => ({
+            id: Number(r.id),
+            kind: String(r.kind),
+            strength: r.strength ?? undefined,
+            basis: String(r.basis),
+            wouldAccept: r.would_accept === 1,
+            policyVersion: Number(r.policy_version),
+            ts: String(r.ts),
+            threadId: String(r.thread_id),
+            author: String(r.author_login),
+            isBot: r.author_is_bot === 1,
+            scope: String(r.scope),
+            addressing: r.addressing === 1,
+            excerpt: String(r.excerpt ?? ""),
+        }));
+    }
+    tickets() {
+        const rows = this.db.prepare("SELECT * FROM ticket ORDER BY id DESC").all();
+        const lastAssignment = new Map();
+        for (const a of this.db.prepare("SELECT ticket_id, state, exit_code FROM assignment ORDER BY id").all()) {
+            lastAssignment.set(Number(a.ticket_id), { state: String(a.state), exitCode: a.exit_code === null ? null : Number(a.exit_code) });
+        }
+        return rows.map((r) => {
+            const id = Number(r.id);
+            const state = r.state;
+            const a = lastAssignment.get(id);
+            const stage = state === "ended"
+                ? "ended"
+                : !a ? "queued"
+                    : a.state === "running" ? "working"
+                        : a.exitCode === 0 ? "queued" // ended cleanly but ticket reopened (resume) — re-claimable
+                            : "needs-person"; // failed assignment awaits a person (docs/003 person stage)
+            return {
+                id,
+                threadId: String(r.thread_id),
+                triggerId: String(r.trigger_id),
+                opener: String(r.opener_login),
+                strength: r.strength,
+                policyVersion: Number(r.policy_version),
+                state,
+                stage,
+                ...(r.stopped_by !== null ? { stoppedBy: String(r.stopped_by) } : {}),
+                ...(r.revoked_reason !== null ? { revokedReason: String(r.revoked_reason) } : {}),
+                resumedCount: Number(r.resumed_count),
+                createdAt: String(r.created_at),
+            };
+        });
+    }
+    // ── effects (outbox) ─────────────────────────────────────────────────────
+    takeDue(now = new Date()) {
+        const rows = this.db
+            .prepare("SELECT * FROM effect WHERE status = 'pending' AND (next_due_at IS NULL OR next_due_at <= ?) ORDER BY id")
+            .all(now.toISOString());
+        return rows.map((r) => ({
+            id: Number(r.id), kind: String(r.kind), key: String(r.key),
+            payload: JSON.parse(String(r.payload)), attempts: Number(r.attempts),
+        }));
+    }
+    completeEffect(id) {
+        this.db.prepare("UPDATE effect SET status = 'done', updated_at = ? WHERE id = ?").run(new Date().toISOString(), id);
+    }
+    /** Retryable failures back off exponentially (5s→300s cap); the 5th failure is terminal. */
+    failEffect(id, error, retryable = true) {
+        const now = new Date();
+        const row = this.db.prepare("SELECT attempts FROM effect WHERE id = ?").get(id);
+        if (!row)
+            return;
+        const attempts = row.attempts + 1;
+        if (!retryable || attempts >= MAX_EFFECT_ATTEMPTS) {
+            this.db.prepare("UPDATE effect SET status = 'failed', attempts = ?, last_error = ?, updated_at = ? WHERE id = ?")
+                .run(attempts, error, now.toISOString(), id);
+            return;
+        }
+        const delay = Math.min(BACKOFF_BASE_MS * 2 ** attempts, BACKOFF_CAP_MS);
+        this.db.prepare("UPDATE effect SET attempts = ?, next_due_at = ?, last_error = ?, updated_at = ? WHERE id = ?")
+            .run(attempts, new Date(now.getTime() + delay).toISOString(), error, now.toISOString(), id);
+    }
+}
+function replyPayload(t, ticketId, verb, strength) {
+    const n = t.threadId.match(/\/(issues|pulls)\/(\d+)$/);
+    return {
+        threadId: t.threadId,
+        issueNumber: n ? Number(n[2]) : null,
+        body: clipReply(`Ticket #${ticketId} ${verb} (${strength}). This is by an automated agent, not a human.`),
+    };
+}
+//# sourceMappingURL=engine.js.map

package/dist/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8FAA8F;AAC9F,iGAAiG;AACjG,sEAAsE;AACtE,6FAA6F;AAC7F,sFAAsF;AACtF,6FAA6F;AAE7F,OAAO,QAAQ,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAKtC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2Dd,CAAC;AAwDF,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAC9B,MAAM,eAAe,GAAG,KAAK,CAAC;AAC9B,MAAM,cAAc,GAAG,OAAO,CAAC;AAE/B,MAAM,OAAO,MAAM;IACR,EAAE,CAAoB;IAE/B,YAAY,IAAY;QACtB,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC,CAAC,sCAAsC;QAC7E,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IAED,KAAK;QACH,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;IAED,4EAA4E;IAE5E,yFAAyF;IACzF,kBAAkB,CAAC,MAAc;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC,GAAG,EAA+B,CAAC;QACtG,IAAI,GAAG,IAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAY,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAClF,IAAI,CAAC,EAAE;aACJ,OAAO,CAAC,wFAAwF,CAAC;aACjG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,mEAAmE;IACnE,aAAa,CAAC,IAA0B;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAC/B,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC;QAChD,MAAM,IAAI,GAAW,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QACpF,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM;QACJ,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC,GAAG,EAA+B,CAAC;QACtG,OAAO,GAAG,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,CAAC;IAED,SAAS;QACP,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC,GAAG,EAA+B,CAAC;QACzG,MAAM,KAAK,GAAyB,EAAE,KAAK,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAC7F,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,GAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAA0B,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;IACnG,CAAC;IAED,8FAA8F;IAC9F,UAAU;QACR,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC,GAAG,EAA+B,CAAC;QAC3G,OAAO,IAAI,GAAG,CAAS,GAAG,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,cAAc,CAAC,SAAiB;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC9B,GAAG,CAAC,GAAG,CAAC,wBAAwB,SAAS,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,EAAE;aACJ,OAAO,CAAC,6FAA6F,CAAC;aACtG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,sFAAsF;IAEtF,MAAM,CAAC,KAAmB,EAAE,aAA2B;QACrD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACrG,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,IAAI,CAAC,CAAC;QAE3C,MAAM,aAAa,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;8FAEoD,CAAC,CAAC;QAC5F,MAAM,cAAc,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;mCAER,CAAC,CAAC;QACjC,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;sCAEH,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;8GAG0E,CAAC,CAAC;QAC5G,MAAM,aAAa,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CACnC,2FAA2F,CAC5F,CAAC;QAEF,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE;YACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC;oBAC9B,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBAChE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACpD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG;iBAC9D,CAAC,CAAC;gBACH,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;oBACxB,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,mEAAmE;oBACxF,SAAS;gBACX,CAAC;gBACD,MAAM,CAAC,KAAK,EAAE,CAAC;gBAEf,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;oBACzD,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC;gBAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChE,MAAM,KAAK,GAAG,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;gBACnF,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;gBAEjF,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACxC,sFAAsF;oBACtF,kFAAkF;oBAClF,gFAAgF;oBAChF,8BAA8B;oBAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE;yBAC/C,OAAO,CAAC,4GAA4G,CAAC;yBACrH,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAwC,CAAC;oBAE1E,IAAI,KAAK,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;wBAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;wBAC5E,IAAI,UAAU,EAAE,CAAC;4BACf,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,mEAAmE,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;4BACpH,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,EAAE,kBAAkB,UAAU,EAAE,CAAC,CAAC;wBAC1E,CAAC;6BAAM,CAAC;4BACN,IAAI,CAAC,EAAE;iCACJ,OAAO,CAAC,kGAAkG,CAAC;iCAC3G,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;4BACtB,MAAM,CAAC,OAAO,EAAE,CAAC;4BACjB,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,iBAAiB,KAAK,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,EACjF,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAoB,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;wBAC7G,CAAC;oBACH,CAAC;yBAAM,IAAI,KAAK,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;wBAClD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,EAAE,gCAAgC,CAAC,CAAC;oBAC5E,CAAC;yBAAM,CAAC;wBACN,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;wBAC1G,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;wBAC9C,MAAM,CAAC,aAAa,EAAE,CAAC;wBACvB,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,eAAe,QAAQ,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAoB,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;oBAC5I,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,aAAa;gBAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC;QAChF,CAAC,CAAC,EAAE,CAAC;QAEL,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;wFACoF;IAC5E,oBAAoB,CAAC,MAA+B,EAAE,MAA0B,EAAE,WAAmB;QAC3G,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,IAAI,MAAM,EAAE,UAAU,KAAK,MAAM,EAAE,CAAC;YACpE,OAAO,gEAAgE,CAAC;QAC1E,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,CAAC,MAAM,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YACxE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;gBACjD,OAAO,wBAAwB,WAAW,oBAAoB,CAAC;YACjE,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,4EAA4E;IAE5E,iEAAiE;IACjE,UAAU,CAAC,EAAU,EAAE,OAAe;QACpC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE;aACd,OAAO,CAAC,mHAAmH,CAAC;aAC5H,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9B,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;IACvB,CAAC;IAED,iFAAiF;IAEjF;+EAC2E;IAC3E,WAAW,CAAC,KAAa;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;;4BAML,CAAC,CAAC,GAAG,CAAC,KAAK,CAA8B,CAAC;QAClE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtB,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/C,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC;SACrD,CAAC,CAAC,CAAC;IACN,CAAC;IAED,eAAe,CAAC,QAAgB,EAAE,QAAgB;QAChD,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE;aACd,OAAO,CAAC,2EAA2E,CAAC;aACpF,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QACrD,OAAO,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IACnC,CAAC;IAED,aAAa,CAAC,EAAU,EAAE,QAAuB,EAAE,QAAiB,EAAE,MAAc;QAClF,IAAI,CAAC,EAAE;aACJ,OAAO,CAAC,4GAA4G,CAAC;aACrH,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3F,CAAC;IAED,sGAAsG;IACtG,cAAc,CAAC,EAAU;QACvB,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE;aACd,OAAO,CAAC,mFAAmF,CAAC;aAC5F,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QACrC,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;IACvB,CAAC;IAED,qFAAqF;IACrF,YAAY,CAAC,GAAW,EAAE,QAAgB,EAAE,IAAY;QACtD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACrD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;8GAG0F,CAAC;aACxG,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACvG,CAAC;IAED,4EAA4E;IAE5E,yFAAyF;IACzF,SAAS,CAAC,KAAK,GAAG,EAAE;QAClB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;iCAKA,CAAC,CAAC,GAAG,CAAC,KAAK,CAA8B,CAAC;QACvE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtB,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAwC;YAC3D,QAAQ,EAAG,CAAC,CAAC,QAA4B,IAAI,SAAS;YACtD,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;YACtB,WAAW,EAAE,CAAC,CAAC,YAAY,KAAK,CAAC;YACjC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC;YACvC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7B,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC;YAC9B,KAAK,EAAE,CAAC,CAAC,aAAa,KAAK,CAAC;YAC5B,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;YACtB,UAAU,EAAE,CAAC,CAAC,UAAU,KAAK,CAAC;YAC9B,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;SACjC,CAAC,CAAC,CAAC;IACN,CAAC;IAED,OAAO;QACL,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC,GAAG,EAA+B,CAAC;QACzG,MAAM,cAAc,GAAG,IAAI,GAAG,EAAsD,CAAC;QACrF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gEAAgE,CAAC,CAAC,GAAG,EAA+B,EAAE,CAAC;YACrI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACnI,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACpB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAyB,CAAC;YAC1C,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjC,MAAM,KAAK,GAAwB,KAAK,KAAK,OAAO;gBAClD,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;oBACf,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS;wBACnC,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,4DAA4D;4BAC1F,CAAC,CAAC,cAAc,CAAC,CAAC,4DAA4D;YAChF,OAAO;gBACL,EAAE;gBACF,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC7B,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC/B,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC;gBAC9B,QAAQ,EAAE,CAAC,CAAC,QAAoB;gBAChC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC;gBACvC,KAAK;gBACL,KAAK;gBACL,GAAG,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrE,GAAG,CAAC,CAAC,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjF,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;gBACrC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC;aAChC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAED,4EAA4E;IAE5E,OAAO,CAAC,GAAG,GAAG,IAAI,IAAI,EAAE;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE;aACjB,OAAO,CAAC,yGAAyG,CAAC;aAClH,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,CAA8B,CAAC;QACvD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtB,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;YAC1D,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;SACrE,CAAC,CAAC,CAAC;IACN,CAAC;IAED,cAAc,CAAC,EAAU;QACvB,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gEAAgE,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IACtH,CAAC;IAED,4FAA4F;IAC5F,UAAU,CAAC,EAAU,EAAE,KAAa,EAAE,SAAS,GAAG,IAAI;QACpD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC,GAAG,CAAC,EAAE,CAAqC,CAAC;QACpH,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,SAAS,IAAI,QAAQ,IAAI,mBAAmB,EAAE,CAAC;YAClD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,gGAAgG,CAAC;iBAC9G,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;YAC/C,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,GAAG,CAAC,IAAI,QAAQ,EAAE,cAAc,CAAC,CAAC;QACxE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,8FAA8F,CAAC;aAC5G,GAAG,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IAChG,CAAC;CACF;AAED,SAAS,YAAY,CAAC,CAAU,EAAE,QAAgB,EAAE,IAA0B,EAAE,QAAkB;IAChG,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACvD,OAAO;QACL,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACpC,IAAI,EAAE,SAAS,CAAC,WAAW,QAAQ,IAAI,IAAI,KAAK,QAAQ,gDAAgD,CAAC;KAC1G,CAAC;AACJ,CAAC"}

package/dist/executor.d.ts

@@ -0,0 +1,43 @@
+export interface ExecutorConfig {
+    /** Shell command (sh -c). Env: DSH_DIR, DSH_PROMPT_FILE, DSH_TICKET, DSH_THREAD, DSH_REPO, DSH_AUTHOR. */
+    command: string;
+    /** Local clone to prepare worktrees from. */
+    repoDir: string;
+    /** Worktrees live here (suggested .state/work). */
+    workRoot: string;
+    /** Prepare command template with {dir} and {branch}; default uses git worktree add. */
+    prepare?: string;
+    /** Background cap (docs/003: at most 30 minutes). */
+    timeoutMs: number;
+    /** Worker slots per run. */
+    maxWorkers: number;
+    /** Substrings that refuse execution — "fail when invoked by name". */
+    blockedCommands: string[];
+}
+export interface ExecutorResult {
+    exitCode: number | null;
+    timedOut: boolean;
+    output: string;
+    worktree: string;
+    /** Commit the worktree branch was created from — the base for PR delivery diffing. */
+    baseSha: string;
+}
+export declare class Executor {
+    readonly cfg: ExecutorConfig;
+    constructor(cfg: ExecutorConfig);
+    /** Throws on blocked command, prepare failure, or unusable config — the caller records failure. */
+    run(ticket: {
+        id: number;
+        threadId: string;
+    }, trigger: {
+        body: string;
+        author: string;
+    }, repo: string): Promise<ExecutorResult>;
+}
+export declare function renderPrompt(ticket: {
+    id: number;
+    threadId: string;
+}, trigger: {
+    body: string;
+    author: string;
+}, repo: string): string;