wicked-crew 0.16.11 → 0.16.13

package/dist/api/chat-proposals.d.ts

@@ -0,0 +1,534 @@
+/**
+ * CHAT PROPOSES; NOTHING LAUNCHES YET (DES-CHAT-ARTIFACTS-001 §4, slice A2).
+ *
+ * A chat seat that is asked to make or change an artifact ends its reply with a fenced `wicked-make` block
+ * (`chat-scope.ts` tells it how, for the operations crew advertises). The block never reaches a reader: the transcript
+ * store cuts it out of the reply and the stream (`chat-transcripts.ts`, on the `wicked-decisions` mechanism). This
+ * module is everything after that:
+ *
+ *  1. **Resolve** ({@link ChatProposals.onReply}): the last block that parses becomes an {@link ArtifactProposal}
+ *     whose every line is crew's — the catalog entry and its outcome, each source authorized (a run or document must
+ *     have been named by the person in this chat or be the artifact they had open, and be in the chat's scope; a
+ *     struck chip says why), the repositories (the chat's scope, else Go is blocked), two distinct helpers (the
+ *     chat's lead seat, then another of its seats, else the next eligible seat on the roster: studio's `docSeats`
+ *     rule, moved here so the card and the launch agree), time and cost from the catalog and from completed runs on
+ *     this daemon (a dollar figure only from at least 3 runs whose every agent step reported a cost), the stops and
+ *     where it is filed. It is appended as a `proposal` transcript record and sent as a `chatProposal` frame. A newer
+ *     proposal supersedes the chat's open one; an answer-only turn leaves it open.
+ *  2. **Answer** ({@link ChatProposals.decide}, `POST /chats/:id/proposals/:pid`): the route has already checked the
+ *     capability, that the caller is a person, and that the chat is theirs — on every call. Then, under one
+ *     in-process lock per proposal, crew looks for what already happened first (a decided proposal returns its
+ *     result; an `accepting` one whose run exists is adopted and decided), and only a fresh Go runs the state checks
+ *     (edits, that every source and the target still exist, that the chat and the document are not busy, that a
+ *     refine's document is still on the head it was proposed on) BEFORE anything is recorded. Then `proposal_accepting`
+ *     (the effective proposal and the identity derived from the pid), then the one launcher per run id
+ *     ({@link LaunchOnceRegistry}), then `proposal_decided`. Not now runs no other check.
+ *
+ * Each operation's launcher is registered by its own slice: A3's real `create` (`interactive/proposal-create.ts`)
+ * whenever the draft seam is armed, so production advertises `proposals` and `create`; refine (A5), theme (A7) and demo
+ * (A8) stay off there until their slices land. The TEST configuration (`WICKED_CHAT_ARTIFACTS_STUB=1`, DES §13 A2)
+ * turns every operation's resolution on and registers a {@link RecordingStubDispatcher} for the kinds that have no real
+ * launcher yet (`capabilities.chatArtifacts.stubOps`): those record a dispatch and start nothing.
+ *
+ * Records go to the chat's live transcript, or to its kept history copy once the chat has ended, so an open proposal
+ * stays answerable after a restart (§4.3).
+ */
+import { z } from 'zod';
+import type { Actor, ArtifactProposal, ArtifactProposalKind, ChatArtifactsCapabilities, ChatProposalView, ChatTranscriptRecord, CoreEvent, ProposalAccepting, ProposalEdits, ProposalHelpers, ProposalIdentity, ProposalResult, SessionView } from '../core/types.js';
+import type { CatalogSeed } from '../workflow-catalog/catalog-data.js';
+import type { MakeDigest } from './chat-scope.js';
+/** Sources a block may name. */
+export declare const PROPOSAL_SOURCES_MAX = 12;
+/** studio's appearance scalars (`theming/appearance.ts`), as a partial patch: only the keys that change. */
+export declare const ThemePatchSchema: z.ZodEffects<z.ZodObject<{
+    theme: z.ZodOptional<z.ZodEnum<["wicked-dark", "wicked-light"]>>;
+    accent_h: z.ZodOptional<z.ZodNumber>;
+    accent_s: z.ZodOptional<z.ZodNumber>;
+    accent_l: z.ZodOptional<z.ZodNumber>;
+    ambient: z.ZodOptional<z.ZodBoolean>;
+    ambient_still: z.ZodOptional<z.ZodBoolean>;
+}, "strict", z.ZodTypeAny, {
+    theme?: "wicked-dark" | "wicked-light" | undefined;
+    accent_h?: number | undefined;
+    accent_s?: number | undefined;
+    accent_l?: number | undefined;
+    ambient?: boolean | undefined;
+    ambient_still?: boolean | undefined;
+}, {
+    theme?: "wicked-dark" | "wicked-light" | undefined;
+    accent_h?: number | undefined;
+    accent_s?: number | undefined;
+    accent_l?: number | undefined;
+    ambient?: boolean | undefined;
+    ambient_still?: boolean | undefined;
+}>, {
+    theme?: "wicked-dark" | "wicked-light" | undefined;
+    accent_h?: number | undefined;
+    accent_s?: number | undefined;
+    accent_l?: number | undefined;
+    ambient?: boolean | undefined;
+    ambient_still?: boolean | undefined;
+}, {
+    theme?: "wicked-dark" | "wicked-light" | undefined;
+    accent_h?: number | undefined;
+    accent_s?: number | undefined;
+    accent_l?: number | undefined;
+    ambient?: boolean | undefined;
+    ambient_still?: boolean | undefined;
+}>;
+declare const EntryBlock: z.ZodObject<{
+    entry: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    brief: z.ZodOptional<z.ZodString>;
+    url: z.ZodOptional<z.ZodString>;
+    audience: z.ZodOptional<z.ZodString>;
+    show: z.ZodOptional<z.ZodString>;
+    sources: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    repos: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    repos: string[];
+    entry: string;
+    sources: string[];
+    title?: string | undefined;
+    url?: string | undefined;
+    reason?: string | undefined;
+    audience?: string | undefined;
+    show?: string | undefined;
+    brief?: string | undefined;
+}, {
+    entry: string;
+    title?: string | undefined;
+    url?: string | undefined;
+    reason?: string | undefined;
+    repos?: string[] | undefined;
+    sources?: string[] | undefined;
+    audience?: string | undefined;
+    show?: string | undefined;
+    brief?: string | undefined;
+}>;
+declare const RefineBlock: z.ZodObject<{
+    refine: z.ZodString;
+    ask: z.ZodString;
+    touches: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    sources: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    ask: string;
+    refine: string;
+    sources: string[];
+    touches: string[];
+    reason?: string | undefined;
+}, {
+    ask: string;
+    refine: string;
+    reason?: string | undefined;
+    sources?: string[] | undefined;
+    touches?: string[] | undefined;
+}>;
+declare const ThemeBlock: z.ZodObject<{
+    theme: z.ZodObject<{
+        name: z.ZodString;
+        patch: z.ZodEffects<z.ZodObject<{
+            theme: z.ZodOptional<z.ZodEnum<["wicked-dark", "wicked-light"]>>;
+            accent_h: z.ZodOptional<z.ZodNumber>;
+            accent_s: z.ZodOptional<z.ZodNumber>;
+            accent_l: z.ZodOptional<z.ZodNumber>;
+            ambient: z.ZodOptional<z.ZodBoolean>;
+            ambient_still: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            theme?: "wicked-dark" | "wicked-light" | undefined;
+            accent_h?: number | undefined;
+            accent_s?: number | undefined;
+            accent_l?: number | undefined;
+            ambient?: boolean | undefined;
+            ambient_still?: boolean | undefined;
+        }, {
+            theme?: "wicked-dark" | "wicked-light" | undefined;
+            accent_h?: number | undefined;
+            accent_s?: number | undefined;
+            accent_l?: number | undefined;
+            ambient?: boolean | undefined;
+            ambient_still?: boolean | undefined;
+        }>, {
+            theme?: "wicked-dark" | "wicked-light" | undefined;
+            accent_h?: number | undefined;
+            accent_s?: number | undefined;
+            accent_l?: number | undefined;
+            ambient?: boolean | undefined;
+            ambient_still?: boolean | undefined;
+        }, {
+            theme?: "wicked-dark" | "wicked-light" | undefined;
+            accent_h?: number | undefined;
+            accent_s?: number | undefined;
+            accent_l?: number | undefined;
+            ambient?: boolean | undefined;
+            ambient_still?: boolean | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        patch: {
+            theme?: "wicked-dark" | "wicked-light" | undefined;
+            accent_h?: number | undefined;
+            accent_s?: number | undefined;
+            accent_l?: number | undefined;
+            ambient?: boolean | undefined;
+            ambient_still?: boolean | undefined;
+        };
+    }, {
+        name: string;
+        patch: {
+            theme?: "wicked-dark" | "wicked-light" | undefined;
+            accent_h?: number | undefined;
+            accent_s?: number | undefined;
+            accent_l?: number | undefined;
+            ambient?: boolean | undefined;
+            ambient_still?: boolean | undefined;
+        };
+    }>;
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    theme: {
+        name: string;
+        patch: {
+            theme?: "wicked-dark" | "wicked-light" | undefined;
+            accent_h?: number | undefined;
+            accent_s?: number | undefined;
+            accent_l?: number | undefined;
+            ambient?: boolean | undefined;
+            ambient_still?: boolean | undefined;
+        };
+    };
+    reason?: string | undefined;
+}, {
+    theme: {
+        name: string;
+        patch: {
+            theme?: "wicked-dark" | "wicked-light" | undefined;
+            accent_h?: number | undefined;
+            accent_s?: number | undefined;
+            accent_l?: number | undefined;
+            ambient?: boolean | undefined;
+            ambient_still?: boolean | undefined;
+        };
+    };
+    reason?: string | undefined;
+}>;
+export type ParsedMake = ({
+    op: 'entry';
+} & z.infer<typeof EntryBlock>) | ({
+    op: 'refine';
+} & z.infer<typeof RefineBlock>) | ({
+    op: 'theme';
+} & z.infer<typeof ThemeBlock>);
+/** One block body → its operation, or `null` (not JSON, not exactly one of `entry` / `refine` / `theme`, or a bad shape). */
+export declare function parseMakeBlock(body: string): ParsedMake | null;
+/** The last block of a reply that parses (DES §4.1: the last valid block wins), or `null`. */
+export declare function lastValidBlock(bodies: readonly string[]): ParsedMake | null;
+/** RFC 4122 version-5 UUID of `name` under {@link PROPOSAL_NAMESPACE}: the run id a proposal's Go launches with. */
+export declare function proposalRunId(pid: string): string;
+/** A create's document name, derived from the pid (stable across retries) with the title as a readable prefix. */
+export declare function proposalDocName(pid: string, title: string): string;
+type ProposalRecord = Extract<ChatTranscriptRecord, {
+    kind: 'proposal' | 'proposal_accepting' | 'proposal_decided';
+}>;
+/** A folded proposal plus what the accept path needs that the wire view does not carry. */
+export interface FoldedProposal extends ChatProposalView {
+    turnId: string;
+    /** The `proposal_accepting` record, kept after the decision: what was actually accepted (edits applied). */
+    accepting?: ProposalAccepting;
+}
+/**
+ * Fold a chat's records into its proposals, by pid. A `proposal` record opens one (a newer pid supersedes the chat's
+ * open one; the same pid again replaces it, re-opening an interrupted `accepting` one whose run never launched); a
+ * `proposal_accepting` record marks it accepting; a `proposal_decided` record decides it.
+ */
+export declare function foldProposals(records: readonly ChatTranscriptRecord[]): Map<string, FoldedProposal>;
+/** The wire view of a folded proposal (no internal fields): once accepted, the card shows what was accepted. */
+export declare function viewOf(f: FoldedProposal): ChatProposalView;
+/** What one Go hands its operation's launcher. */
+export interface ProposalDispatch {
+    kind: ArtifactProposalKind;
+    pid: string;
+    chatId: string;
+    actor: Actor;
+    identity: ProposalIdentity;
+    resolution: ArtifactProposal;
+}
+/** One operation's launcher (A3 create, A5 refine, A7 theme, A8 demo register theirs). */
+export interface ProposalDispatcher {
+    /** Whether the run this identity names already exists (it is then adopted, never started again). */
+    find(identity: ProposalIdentity): Promise<boolean>;
+    /** Start it, with `identity.runId` as the launch's `sessionId`. Called only when {@link find} said no, under the
+     *  run id's lock. */
+    launch(dispatch: ProposalDispatch): Promise<void>;
+    /** Whether a run it started is still live (the one-live-job-per-chat rule). */
+    live?(runId: string): Promise<boolean>;
+    /** Whether a document has an attempt of this launcher still without an outcome (A3: one live job per document). */
+    docBusy?(artifactRef: string): Promise<boolean>;
+    /** The test configuration's recording stub: nothing is started. */
+    readonly stub?: boolean;
+}
+/**
+ * DES §4.3 step 3: ONE launcher per run id. `launchOnce` takes the run id's lock, asks the operation's launcher whether
+ * that run exists (adopt), and starts it only if not — so a retry, a second tab and a late bus trigger (A3 calls this
+ * from the `doc.created` path too) can never both launch.
+ */
+export declare class LaunchOnceRegistry {
+    private readonly dispatchers;
+    private readonly lock;
+    /** Runs this daemon started per artifact (`<mount>/<doc>`): a document is busy while one is live, whichever chat
+     *  started it, even before the engine's run list names its document. */
+    private readonly byArtifact;
+    register(kind: ArtifactProposalKind, dispatcher: ProposalDispatcher): void;
+    has(kind: ArtifactProposalKind): boolean;
+    /** The run this identity names, when it exists (adopted, never started again), with whether a stub took it. */
+    find(kind: ArtifactProposalKind, identity: ProposalIdentity): Promise<{
+        stub: boolean;
+    } | null>;
+    live(kind: ArtifactProposalKind, runId: string): Promise<boolean>;
+    /** Whether a run this daemon started for the artifact is still live, or a launcher's durable record says an attempt at
+     *  it has no outcome yet (A3: across a restart too). */
+    liveForArtifact(artifactRef: string): Promise<boolean>;
+    launchOnce(dispatch: ProposalDispatch): Promise<ProposalResult>;
+}
+/**
+ * The TEST configuration's launcher (DES §13 A2): records each dispatch as one JSON line and starts nothing. Its own
+ * record is what `find` reads, so a retry adopts the recorded dispatch exactly as a real launcher adopts an engine run.
+ */
+export declare class RecordingStubDispatcher implements ProposalDispatcher {
+    private readonly file;
+    private readonly now;
+    readonly stub = true;
+    constructor(file: string, now?: () => number);
+    /** Every recorded dispatch, in order. */
+    rows(): Array<{
+        at: number;
+        kind: string;
+        pid: string;
+        chatId: string;
+        runId: string;
+        artifactRef: string | null;
+        actor: string;
+        title: string;
+    }>;
+    find(identity: ProposalIdentity): Promise<boolean>;
+    launch(d: ProposalDispatch): Promise<void>;
+    live(): Promise<boolean>;
+}
+/**
+ * A completed run's cost in dollars when it is wholly known, else `null` (DES §4.2: "a dollar figure only counts runs
+ * whose every step reported a cost"). Every attempt the engine dispatched for an agent step (a tool step is no agent's)
+ * must have reported a finite, priced usage frame; an unpriced frame, or a dispatched attempt with none (a retry on a
+ * seat that reports nothing), makes the run's cost unknown.
+ */
+export declare function runCostFromEvents(view: SessionView, events: ReadonlyArray<Record<string, unknown>>): number | null;
+/** The workflow each operation's run is. */
+export declare const PROPOSAL_WORKFLOWS: Readonly<Record<Exclude<ArtifactProposalKind, 'theme'>, string>>;
+/** The chat as the resolver sees it. */
+export interface ProposalChat {
+    /** The project the chat is filed in; `null` = none. */
+    projectId: string | null;
+    /** Its repositories (names and ids). */
+    repos: ReadonlyArray<{
+        id: string;
+        name: string;
+    }>;
+    /** The lead seat (the path's PA, once known) and the chat's eligible seats. */
+    lead: string | null;
+    seats: readonly string[];
+    /** An analysis chat (`POST /chats {workflow}`) proposes nothing (DES §3), whatever its seat writes. */
+    analysis: boolean;
+}
+export interface ChatProposalDeps {
+    /** The operations crew advertises (and `proposals`). */
+    flags(): ChatArtifactsCapabilities;
+    /** The catalog entries (`workflow-catalog/catalog-data.ts`). */
+    catalog: readonly CatalogSeed[];
+    /** The chat's records: the live transcript, or the kept history copy once it has ended. */
+    records(chatId: string): ChatTranscriptRecord[];
+    /** Append one proposal record to the live transcript, or the kept copy once ended; `false` when neither exists. */
+    append(chatId: string, record: ProposalRecord): boolean;
+    /** The chat's instance (its history entry's own nonce): a reused id is a different chat. `null` = unknown. */
+    instanceOf(chatId: string): string | null;
+    /** The chat's project (live, or as its history recorded it once it has ended); `null` = none. */
+    projectOf(chatId: string): string | null;
+    /** The live chat, or `null` once it has ended. */
+    chat(chatId: string): ProposalChat | null;
+    /** Seats that can work now, in roster order (enabled, work-eligible, not signed out, not opt-in). */
+    rosterEligible(): ReadonlyArray<{
+        key: string;
+        name: string;
+    }>;
+    /** Every run, decorated as `GET /runs` serves it (`project_id`, `document_id`, `run_identity`, times). */
+    runs(): Promise<SessionView[]>;
+    /** The chat a run was filed under, and whether it is a chat's own ask path. */
+    chatOfRun(runId: string): string | undefined;
+    isAskPath(runId: string): boolean;
+    /** The docs root of a project (`default` = Unfiled); `null` = no such project. */
+    docsRoot(projectId: string): Promise<string | null>;
+    projectName(projectId: string): Promise<string | null>;
+    /** A3: a project's repository members (registry ids and names); `null` = no such project. Absent = unknown (a
+     *  project edit keeps no repository). */
+    projectRepos?(projectId: string): Promise<Array<{
+        id: string;
+        name: string;
+    }> | null>;
+    /** This chat's attachments. */
+    attachments(chatId: string): ReadonlyArray<{
+        id: string;
+        name: string;
+        bytes?: number;
+        mediaType?: string;
+    }>;
+    /** A3: the registry ids of the repositories registered now (a selected one unregistered since refuses Go). Absent =
+     *  not checked. */
+    repoIds?(): Promise<ReadonlySet<string>>;
+    /** Steps of a workflow as a launch in this project resolves it, when known. */
+    workflowSteps(name: string, projectId: string | null): Promise<number | null>;
+    /** A completed run's cost when every agent step reported one, else `null`. */
+    runCostUsd(view: SessionView): Promise<number | null>;
+    registry: LaunchOnceRegistry;
+    broadcast(frame: CoreEvent): void;
+    audit(event: string, actor: Actor, detail: Record<string, unknown>): void;
+    now?: () => number;
+    log?: (msg: string) => void;
+}
+/** Hosts the demo recorder can reach (DES §10: a loopback-only jail). The seat's instructions name the same three
+ *  (`chat-scope.ts`; a test keeps them equal). */
+export declare const LOCAL_HOSTS: ReadonlySet<string>;
+export interface DecideResult {
+    code: number;
+    body: Record<string, unknown>;
+}
+export declare class ChatProposals {
+    private readonly deps;
+    private readonly lock;
+    /** Per chat: resolutions publish in the order their replies were folded (a slow one never lands after a newer one). */
+    private readonly order;
+    private readonly pending;
+    private readonly costs;
+    private readonly now;
+    private readonly log;
+    constructor(deps: ChatProposalDeps);
+    /** What a seat may be told it can make now (`chat-scope.ts`'s per-message digest). */
+    digest(): MakeDigest;
+    /** Resolutions still in flight (tests wait on them). */
+    settled(): Promise<void>;
+    /**
+     * A seat's reply was folded with the `wicked-make` bodies cut from it. Resolution reads crew's records (it awaits),
+     * so it runs off the fold; the record is appended only if the chat is still the same instance.
+     */
+    onReply(frame: {
+        chat: string;
+        cliKey: string;
+        turnId?: string;
+        ok: boolean;
+        blocks: readonly string[];
+    }): void;
+    /** Append a record and send it on `/ws` — only while the chat is still the instance the caller acted on. */
+    private write;
+    /**
+     * The block → a card's facts. `null` when the operation is not advertised (the seat was never told about it) or the
+     * chat has ended: no card. Everything else resolves, with what cannot be resolved struck or blocking Go.
+     */
+    resolve(input: {
+        chatId: string;
+        turnId: string;
+        seat: string;
+        block: ParsedMake;
+        records: readonly ChatTranscriptRecord[];
+    }): Promise<ArtifactProposal | null>;
+    private refused;
+    /** The two helpers (DES §4.2): the lead seat, then another of the chat's seats, else the roster's next. */
+    helpers(chat: ProposalChat, chosen?: readonly string[]): ProposalHelpers | null;
+    /** Time and cost: the catalog's band, the workflow's steps, and medians over completed runs here. */
+    private timeOf;
+    /**
+     * Each source token, authorized (DES §4.2 "From"). A run or document must be named by the person in this chat (A1's
+     * `named`, or the artifact open on this turn) — or, for an edit, added by the person now (`personNamed`) — and be in
+     * the chat's scope and exist. What fails is struck with the reason; the draft never sees it.
+     */
+    private resolveSources;
+    /**
+     * `POST /chats/:id/proposals/:pid` after the route's capability, person and owner checks. `instance` is the chat
+     * instance those checks passed against: nothing is read for, or written to, a chat that reused the id since. One
+     * lock per proposal: a second tab or a double click waits for the first and gets its result.
+     */
+    decide(chatId: string, pid: string, body: {
+        decision: 'go' | 'not_now';
+        edits?: ProposalEdits | undefined;
+    }, actor: Actor, instance: string | null): Promise<DecideResult>;
+    private gone;
+    private decideLocked;
+    /**
+     * The state checks, then `accepting`, the launch, and `decided` — under the chat's lock and the document's, so two
+     * proposals of one chat (or two chats changing one document) can never both pass the busy check.
+     */
+    private go;
+    private goLocked;
+    /** Record the answer (and audit exactly what was answered); `false` when the chat is no longer this instance. */
+    private decided;
+    /** The identity a Go is named by (DES §4.3 step 2). */
+    identityOf(p: ArtifactProposal): ProposalIdentity;
+    /**
+     * The first source (or the target) that no longer exists, or is no longer where it was authorized, as words; `null`
+     * = all there. The stored authorization (named in this chat) is never re-derived; where it lives is re-checked.
+     */
+    private firstGone;
+    /**
+     * One live job per chat (work and artifact runs together) and one per document, whoever started it (DES §4.3).
+     * `null` = free.
+     */
+    private busy;
+    /**
+     * The person's edits, re-checked with §4.2's rules (no edit can lower assurance: helpers stay two distinct eligible
+     * seats). This slice takes the fields its own card can change; a project, repositories, a demo address and a
+     * refine's `allow` are refused here until the slice whose form edits them (A3, A5, A8). `chatId` is the chat the
+     * route answered (the history entry: after an id reuse, the archived one), never re-derived from the proposal.
+     */
+    private applyEdits;
+    /**
+     * A3 (§4.2): re-check a create against the project it is now filed in. A run or document source from elsewhere is
+     * struck; a `message:` source is struck whole when any record its answer was given is elsewhere (the conversation
+     * keeps only what is in the project, at packet time); repositories outside the project's members are cut (or, when
+     * the person chose them, refused).
+     */
+    private recheckProject;
+    /**
+     * The accepted proposal a create's `chat_id` + `proposal_id` names, for this actor (§5.2): accepting (or decided go),
+     * accepted by them, a create. `null` otherwise — and then the create is refused.
+     */
+    grantFor(chatId: string, pid: string, actorId: string): {
+        doc: string;
+        projectId: string;
+        repos: Array<{
+            id: string;
+            name: string;
+        }>;
+    } | null;
+    /** The accepted resolution and identity of a proposal (the launcher's bus trigger rebuilds its dispatch from it). */
+    acceptedOf(chatId: string, pid: string): {
+        actor: string;
+        resolution: ArtifactProposal;
+        identity: ProposalIdentity;
+        turnId: string;
+        state: ChatProposalView['state'];
+    } | null;
+    /**
+     * §6.2: a proposal-bound attempt ended without landing. Crew appends `<chatId>:retry:<runId>` — the same artifact, the
+     * failed attempt's effective resolution (edits, helpers, sources; the conversation cutoff stays the binding's), a new
+     * run id derived from its own pid — to the live chat or its kept history. Once per failed run.
+     */
+    appendRetry(chatId: string, failedPid: string, runId: string, artifactRef: string, reason: string, bound?: string | null): Promise<string | null>;
+    /**
+     * The artifact job a chat's proposal started that is still live (busy until its outcome is recorded), as the card
+     * names it, or `null`. A work launch filed under the chat (`POST /runs {chatId}`) is refused while one is: one live
+     * job per chat, work and artifact runs together (DES §4.3).
+     */
+    liveJobOf(chatId: string): Promise<string | null>;
+    /** At daemon start (§6.2): an `accepting` proposal whose run exists is decided (adopted). `true` when it recorded. */
+    settleAccepting(chatId: string, pid: string): Promise<boolean>;
+}
+export {};
+//# sourceMappingURL=chat-proposals.d.ts.map

package/dist/api/chat-proposals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chat-proposals.d.ts","sourceRoot":"","sources":["../../src/api/chat-proposals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAKH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EACV,KAAK,EACL,gBAAgB,EAChB,oBAAoB,EACpB,yBAAyB,EAGzB,gBAAgB,EAChB,oBAAoB,EACpB,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,cAAc,EAGd,WAAW,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAC;AAGvE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAIlD,gCAAgC;AAChC,eAAO,MAAM,oBAAoB,KAAK,CAAC;AAOvC,4GAA4G;AAC5G,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUwD,CAAC;AAEtF,QAAA,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUd,CAAC;AACH,QAAA,MAAM,WAAW;;;;;;;;;;;;;;;;;;EAMf,CAAC;AACH,QAAA,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGd,CAAC;AAEH,MAAM,MAAM,UAAU,GAClB,CAAC;IAAE,EAAE,EAAE,OAAO,CAAA;CAAE,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC,GAC9C,CAAC;IAAE,EAAE,EAAE,QAAQ,CAAA;CAAE,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC,GAChD,CAAC;IAAE,EAAE,EAAE,OAAO,CAAA;CAAE,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC,CAAC;AAEnD,6HAA6H;AAC7H,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAqB9D;AAED,8FAA8F;AAC9F,wBAAgB,cAAc,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,UAAU,GAAG,IAAI,CAM3E;AAOD,oHAAoH;AACpH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAOjD;AAED,kHAAkH;AAClH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAUlE;AAID,KAAK,cAAc,GAAG,OAAO,CAAC,oBAAoB,EAAE;IAAE,IAAI,EAAE,UAAU,GAAG,oBAAoB,GAAG,kBAAkB,CAAA;CAAE,CAAC,CAAC;AAEtH,2FAA2F;AAC3F,MAAM,WAAW,cAAe,SAAQ,gBAAgB;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,4GAA4G;IAC5G,SAAS,CAAC,EAAE,iBAAiB,CAAC;CAC/B;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CA+BnG;AAED,gHAAgH;AAChH,wBAAgB,MAAM,CAAC,CAAC,EAAE,cAAc,GAAG,gBAAgB,CAQ1D;AAID,kDAAkD;AAClD,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,oBAAoB,CAAC;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,UAAU,EAAE,gBAAgB,CAAC;CAC9B;AAED,0FAA0F;AAC1F,MAAM,WAAW,kBAAkB;IACjC,oGAAoG;IACpG,IAAI,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACnD;yBACqB;IACrB,MAAM,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAClD,+EAA+E;IAC/E,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,mHAAmH;IACnH,OAAO,CAAC,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAChD,mEAAmE;IACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB;AAqBD;;;;GAIG;AACH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAuD;IACnF,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAmB;IACxC;4EACwE;IACxE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA2E;IAEtG,QAAQ,CAAC,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,kBAAkB,GAAG,IAAI;IAI1E,GAAG,CAAC,IAAI,EAAE,oBAAoB,GAAG,OAAO;IAIxC,+GAA+G;IACzG,IAAI,CAAC,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC;IAM/F,IAAI,CAAC,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAKvE;4DACwD;IAClD,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAM5D,UAAU,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,cAAc,CAAC;CAYhE;AAED;;;GAGG;AACH,qBAAa,uBAAwB,YAAW,kBAAkB;IAI9D,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,GAAG;IAJtB,QAAQ,CAAC,IAAI,QAAQ;gBAGF,IAAI,EAAE,MAAM,EACZ,GAAG,GAAE,MAAM,MAAiB;IAG/C,yCAAyC;IACzC,IAAI,IAAI,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAc3I,IAAI,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,OAAO,CAAC;IAIlD,MAAM,CAAC,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC;IAW1C,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC;CAG/B;AAID;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,GAAG,IAAI,CA6BlH;AAID,4CAA4C;AAC5C,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,CAI/F,CAAC;AA4BF,wCAAwC;AACxC,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,wCAAwC;IACxC,KAAK,EAAE,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnD,+EAA+E;IAC/E,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,uGAAuG;IACvG,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAC/B,wDAAwD;IACxD,KAAK,IAAI,yBAAyB,CAAC;IACnC,gEAAgE;IAChE,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IAChC,2FAA2F;IAC3F,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,oBAAoB,EAAE,CAAC;IAChD,mHAAmH;IACnH,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC;IACxD,8GAA8G;IAC9G,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAC1C,iGAAiG;IACjG,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACzC,kDAAkD;IAClD,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI,CAAC;IAC1C,qGAAqG;IACrG,cAAc,IAAI,aAAa,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,0GAA0G;IAC1G,IAAI,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC/B,+EAA+E;IAC/E,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC7C,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;IAClC,kFAAkF;IAClF,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACpD,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACvD;6CACyC;IACzC,YAAY,CAAC,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAAC,CAAC;IACtF,+BAA+B;IAC/B,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC7G;uBACmB;IACnB,OAAO,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACzC,+EAA+E;IAC/E,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC9E,8EAA8E;IAC9E,UAAU,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACtD,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;IAClC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IAC1E,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CAC7B;AAqCD;kDACkD;AAClD,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,MAAM,CAAgD,CAAC;AA2D7F,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,qBAAa,aAAa;IASZ,OAAO,CAAC,QAAQ,CAAC,IAAI;IARjC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAmB;IACxC,uHAAuH;IACvH,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAmB;IACzC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA4B;IACpD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAoC;IAC1D,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAe;IACnC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAwB;gBAEf,IAAI,EAAE,gBAAgB;IAKnD,sFAAsF;IACtF,MAAM,IAAI,UAAU;IAqBpB,wDAAwD;IAClD,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAI9B;;;OAGG;IACH,OAAO,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI;IA4C/G,4GAA4G;IAC5G,OAAO,CAAC,KAAK;IAeb;;;OAGG;IACG,OAAO,CAAC,KAAK,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,UAAU,CAAC;QAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAA;KAAE,GAAG,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC;IAsJrK,OAAO,CAAC,OAAO;IAKf,2GAA2G;IAC3G,OAAO,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,eAAe,GAAG,IAAI;IAgB/E,qGAAqG;YACvF,MAAM;IA+CpB;;;;OAIG;YACW,cAAc;IAoJ5B;;;;OAIG;IACH,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;QAAE,QAAQ,EAAE,IAAI,GAAG,SAAS,CAAC;QAAC,KAAK,CAAC,EAAE,aAAa,GAAG,SAAS,CAAA;KAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC;IAM1K,OAAO,CAAC,IAAI;YAIE,YAAY;IAmE1B;;;OAGG;IACH,OAAO,CAAC,EAAE;YASI,QAAQ;IA8EtB,iHAAiH;IACjH,OAAO,CAAC,OAAO;IAMf,uDAAuD;IACvD,UAAU,CAAC,CAAC,EAAE,gBAAgB,GAAG,gBAAgB;IAYjD;;;OAGG;YACW,SAAS;IA2BvB;;;OAGG;YACW,IAAI;IAgClB;;;;;OAKG;YACW,UAAU;IAsHxB;;;;;OAKG;YACW,cAAc;IAkD5B;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,KAAK,CAAC;YAAE,EAAE,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC,CAAA;KAAE,GAAG,IAAI;IAW7I,qHAAqH;IACrH,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,gBAAgB,CAAC;QAAC,QAAQ,EAAE,gBAAgB,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAA;KAAE,GAAG,IAAI;IAM7K;;;;OAIG;IACG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAgCvJ;;;;OAIG;IACG,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAQvD,sHAAsH;IAChH,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;CAarE"}