@cleocode/contracts 2026.10.17 → 2026.10.18

package/dist/goal-contract.d.ts

@@ -0,0 +1,404 @@
+/**
+ * goal/v1 — the contract a goal runtime executes against, and what CLEO reads
+ * back from a run.
+ *
+ * CLEO owns the goal protocol; OpenCode-Goal (OCG) is the goal runtime (owner
+ * decision 2026-10-16, epic T13791). The two stay separate packages and talk
+ * only through the `cleo` CLI and LAFS envelopes:
+ *
+ * 1. `cleo goal draft` writes a {@link GoalContract} (`goal.yaml`) from a
+ *    task's acceptance criteria.
+ * 2. The runtime locks the contract by the sha256 of its bytes, runs it, and
+ *    writes a {@link GoalOutcome}.
+ * 3. `cleo goal close` reads the outcome and records evidence for each passing
+ *    criterion on the gate it demonstrates, via {@link GoalCriterion.proves}.
+ *
+ * The shapes mirror OCG's `src/contract/types.ts` field for field, in OCG's
+ * snake_case YAML spelling, so one file means the same thing on both sides.
+ * The only addition is the optional per-criterion `proves` list.
+ *
+ * Relation to `GoalRecord` (`goal.ts`): a GoalRecord is CLEO's own
+ * per-agent, turn-budgeted loop state, whose criteria are free text. A goal/v1
+ * contract is the portable, hash-locked agreement a runtime executes; its
+ * criteria carry checks. They share no fields.
+ *
+ * Types only (gate 10): parsing and validation live in core.
+ *
+ * @packageDocumentation
+ * @module @cleocode/contracts/goal-contract
+ *
+ * @epic T13791
+ * @task T13792
+ */
+/** The schema tag every goal/v1 contract carries. */
+export declare const GOAL_CONTRACT_SCHEMA: "goal/v1";
+/** Expected result of a {@link GoalCommandCheck}. Absent fields are not checked; no field at all means `exit: 0`. */
+export interface GoalCheckExpect {
+    /** Required exit code. */
+    exit?: number;
+    /** Text stdout must contain. */
+    stdout_contains?: string;
+    /** Regular expression stdout must match. */
+    stdout_regex?: string;
+}
+/** The host runs a shell command and checks its result. */
+export interface GoalCommandCheck {
+    /** Discriminant. */
+    kind: 'command';
+    /** Shell command, run from the goal workspace. */
+    run: string;
+    /** Expected result. */
+    expect?: GoalCheckExpect;
+    /** Timeout in seconds (runtime default 300). */
+    timeout?: number;
+    /** Repeat count, 1 to 10; every run must pass. */
+    runs?: number;
+    /** The command reaches a live service. */
+    live?: boolean;
+}
+/** The host checks that a path exists (or, with `exists: false`, that it does not). */
+export interface GoalFileCheck {
+    /** Discriminant. */
+    kind: 'file';
+    /** Workspace-relative path. */
+    path: string;
+    /** Expected existence (default true). */
+    exists?: boolean;
+}
+/** The host checks that a file contains text or matches a regex. */
+export interface GoalContainsCheck {
+    /** Discriminant. */
+    kind: 'contains';
+    /** Workspace-relative path. */
+    path: string;
+    /** Literal text to find. */
+    text?: string;
+    /** Regular expression to match. */
+    regex?: string;
+}
+/** The host checks that a pattern occurs nowhere (optionally within `paths`). */
+export interface GoalAbsentCheck {
+    /** Discriminant. */
+    kind: 'absent';
+    /** Pattern that must not occur. */
+    pattern: string;
+    /** Paths to search; absent means the workspace. */
+    paths?: string[];
+}
+/** The host checks that the given paths are unchanged since the run's base commit (a protected oracle). */
+export interface GoalDiffCheck {
+    /** Discriminant. */
+    kind: 'diff';
+    /** Paths (or globs) that must not change. */
+    paths: string[];
+}
+/** An independent verifier agent answers the question, citing quotes the host re-reads. */
+export interface GoalVerifierCheck {
+    /** Discriminant. */
+    kind: 'verifier';
+    /** Question the verifier must answer. */
+    ask: string;
+}
+/** The owner signs the criterion off. */
+export interface GoalHumanCheck {
+    /** Discriminant. */
+    kind: 'human';
+    /** Question the owner answers. */
+    ask: string;
+}
+/** How a criterion is proven. */
+export type GoalCheck = GoalCommandCheck | GoalFileCheck | GoalContainsCheck | GoalAbsentCheck | GoalDiffCheck | GoalVerifierCheck | GoalHumanCheck;
+/** Discriminant of {@link GoalCheck}. */
+export type GoalCheckKind = GoalCheck['kind'];
+/** Check kinds the host itself runs; invariants may use only these. */
+export declare const GOAL_HOST_CHECK_KINDS: readonly ["command", "file", "contains", "absent", "diff"];
+/**
+ * A CLEO acceptance-criterion reference: exactly the three target forms of a
+ * `satisfies:` evidence atom (`evidence-atom-schema.ts`, ADR-079-r2 §2.1).
+ *
+ * - positional `T1234#AC2` — drifts when the task's ACs are renumbered;
+ * - canonical `T1234#<lowercase uuid>` — the criterion's stable id, preferred
+ *   in a hash-locked contract;
+ * - pinned `T1234#AC2@20260524223045` — an alias pinned to a 14-digit
+ *   `YYYYMMDDhhmmss` version.
+ *
+ * The template types only shape the value (`${bigint}` still admits `-2`, and
+ * the uuid part is any dashed string). Core validates every reference with the
+ * real regexes: `SATISFIES_TASK_ID_REGEX` (`^T[0-9]{1,7}$`), `AC_ALIAS_REGEX`
+ * (`^AC[0-9]{1,4}$`), `AC_UUID_REGEX` and `SATISFIES_VERSION_PIN_REGEX`
+ * (`^[0-9]{14}$`).
+ */
+export type GoalAcRef = `T${bigint}#AC${bigint}` | `T${bigint}#${string}-${string}-${string}-${string}-${string}` | `T${bigint}#AC${bigint}@${bigint}`;
+/**
+ * One criterion (`C<n>`) or invariant (`I<n>`) of a goal.
+ *
+ * Invariants are always essential and always host-checked.
+ */
+export interface GoalCriterion {
+    /** `C1`, `C2`, … for criteria; `I1`, `I2`, … for invariants. */
+    id: string;
+    /** End state that is true when the criterion holds. */
+    statement: string;
+    /** The goal is not done until every essential criterion passes. */
+    essential: boolean;
+    /** How the criterion is proven. */
+    check: GoalCheck;
+    /**
+     * CLEO acceptance criteria this criterion's evidence demonstrates. When the
+     * criterion passes, `cleo goal close` links its evidence to each one with
+     * `satisfies:`. Absent means the criterion proves no CLEO AC.
+     */
+    proves?: GoalAcRef[];
+}
+/** A decision the agent made without the owner, open to veto. */
+export interface GoalAssumption {
+    /** `A1`, `A2`, … */
+    id: string;
+    /** What was assumed. */
+    text: string;
+    /** Why. */
+    rationale?: string;
+    /** Whether it can be undone cheaply. */
+    reversible?: boolean;
+    /** Owner disposition. */
+    status: 'assumed' | 'confirmed' | 'vetoed';
+}
+/** One plan step. */
+export interface GoalStep {
+    /** `S1`, `S2`, … */
+    id: string;
+    /** What the step does. */
+    title: string;
+    /** Criterion ids the step proves. */
+    proves: string[];
+    /** Step ids that must finish first. */
+    depends_on: string[];
+}
+/** Optional goal priority; absent sorts last. */
+export type GoalPriority = 'low' | 'medium' | 'high';
+/**
+ * Run budget. In YAML, `wall` is a duration (`"90m"`) and `tokens` a count
+ * (`400k`); the parsed form holds milliseconds and integers.
+ */
+export interface GoalBudget {
+    /** Agent turns. */
+    turns?: number;
+    /** Active wall-clock time, milliseconds (YAML `wall`). */
+    wallMs?: number;
+    /** Input + output + reasoning tokens. */
+    tokens?: number;
+    /** Spend ceiling in US dollars. */
+    cost_usd?: number;
+}
+/** Contract changes the owner lets the agent apply to its own contract. */
+export type GoalAmendClass = 'timeout' | 'budget' | 'plan' | 'recover';
+/** Owner-set autonomy policy. */
+export interface GoalAutonomy {
+    /** Whether the agent may ask the owner questions mid-run (`defer` queues them). */
+    questions: 'defer' | 'allow';
+    /** What an owner message does to a running goal. */
+    on_user_message: 'steer' | 'pause';
+    /** What an interrupt does. */
+    on_interrupt: 'pause' | 'resume-on-message';
+    /** Amendment classes the agent may apply itself (default none). */
+    amend: GoalAmendClass[];
+    /** What the stall detector does. */
+    on_stall: 'pause' | 'continue';
+}
+/** How completion is decided. */
+export type GoalVerificationMode = 'host' | 'host+verifier' | 'strict';
+/** The CLEO evidence gates a goal can declare evidence for. */
+export type GoalCleoGate = 'implemented' | 'testsPassed' | 'qaPassed';
+/**
+ * A CLEO task the goal serves (OCG `CleoTaskLink`).
+ *
+ * The bare id links the task for reporting. `acs` is OCG's older per-gate
+ * claim of which AC aliases a gate's evidence proves; per-criterion
+ * {@link GoalCriterion.proves} is the precise form and what `cleo goal draft`
+ * writes. An AC neither form claims stays open.
+ */
+export interface GoalTaskLink {
+    /** Task id (`T123`). */
+    id: string;
+    /** Per-gate AC aliases (`AC1`, …) the gate's evidence proves. */
+    acs?: Partial<Record<GoalCleoGate, string[]>>;
+}
+/** A goal/v1 contract: written by the owner (or `cleo goal draft`), locked by hash when a run starts. */
+export interface GoalContract {
+    /** Always {@link GOAL_CONTRACT_SCHEMA}. */
+    schema: typeof GOAL_CONTRACT_SCHEMA;
+    /** Kebab-case slug; equals the goal's directory name. */
+    id: string;
+    /** Short title (under 80 characters). */
+    title: string;
+    /** Optional priority. */
+    priority?: GoalPriority;
+    /** `"<slug>@<lock-prefix>"` of the goal this one replaces. */
+    supersedes?: string;
+    /** The owner's own words, kept verbatim as the authoritative source. */
+    intent: {
+        verbatim: string;
+    };
+    /** The one end state that is true when the goal is done. */
+    outcome: string;
+    /** Why the goal matters. */
+    why?: string;
+    /** What is in and out of scope. */
+    scope: {
+        in: string[];
+        out: string[];
+    };
+    /** At least one non-goal. */
+    non_goals: string[];
+    /** Constraints the run must respect. */
+    constraints: string[];
+    /** At least one criterion, at least one essential. */
+    criteria: GoalCriterion[];
+    /** Host-checked conditions that must hold throughout. */
+    invariants: GoalCriterion[];
+    /** Root-relative execution workspace (default: project root). */
+    workspace?: string;
+    /** The CLEO tasks this goal serves. Absent means no CLEO behaviour. */
+    cleo?: {
+        tasks: GoalTaskLink[];
+    };
+    /** Paths the agent must not modify. */
+    protect: string[];
+    /** Decisions made without the owner. */
+    assumptions: GoalAssumption[];
+    /** Ordered plan. */
+    plan: GoalStep[];
+    /** Run budget. */
+    budget: GoalBudget;
+    /** Stop conditions. */
+    stop: {
+        when?: string;
+        escalate_when: string[];
+    };
+    /** Autonomy policy. */
+    autonomy: GoalAutonomy;
+    /** Verification policy. */
+    verification: {
+        /** How completion is decided (default `host+verifier`). */
+        mode: GoalVerificationMode;
+        /** Verifier rejections before the run escalates, 1 to 10 (default 3). */
+        max_rejections: number;
+        /** Folders the verifier may read. */
+        read: string[];
+        /** Verifier model, `providerID/modelID[#variant]`. */
+        model?: string;
+        /** Verifier effort. */
+        effort?: string;
+    };
+    /** Execution settings. */
+    execution: {
+        agent?: string;
+    };
+    /** Free-form metadata: any YAML value, opaque to CLEO. */
+    meta: Record<string, unknown>;
+}
+/** Who produced a criterion's verdict. */
+export type GoalVerdictSource = 'host' | 'verifier' | 'verifier-fallback' | 'human';
+/** A quote the verifier cited, which the host re-read from the file. */
+export interface GoalVerifierQuote {
+    /** Workspace-relative path. */
+    path: string;
+    /** Exact text quoted. */
+    quote: string;
+}
+/** Evidence of a passing or failing `command` check. */
+export interface GoalCommandEvidence {
+    /** Discriminant. */
+    kind: 'command';
+    /** The command as run. */
+    command: string;
+    /** Exit code of the last run. */
+    exitCode: number;
+    /**
+     * Path of a vitest-shaped JSON report the command wrote, when it ran tests.
+     * `cleo goal close` records it as a `test-run:` atom.
+     */
+    reportPath?: string;
+    /**
+     * sha256 (hex) of the report bytes the run produced. `cleo goal close`
+     * refuses a `test-run:` whose file does not hash to it, or that has none.
+     */
+    reportSha256?: string;
+    /** Test files the report covers. */
+    testFiles?: string[];
+}
+/**
+ * Evidence of a `file`, `contains`, `absent` or `diff` check.
+ *
+ * A passing `diff` proves the paths did NOT change (a protected oracle held),
+ * so it must never become `implemented` / `files:` evidence.
+ */
+export interface GoalPathEvidence {
+    /** Discriminant: the check kind that ran. */
+    kind: 'file' | 'contains' | 'absent' | 'diff';
+    /** Repo-relative paths the check examined. */
+    paths: string[];
+}
+/** Evidence of a verifier check. */
+export interface GoalVerifierEvidence {
+    /** Discriminant. */
+    kind: 'verifier';
+    /** The verifier's verdict. */
+    verdict: 'proven' | 'not_proven' | 'contradicted';
+    /** Quotes the verifier cited. */
+    quotes: GoalVerifierQuote[];
+    /** The verifier's reason. */
+    reason?: string;
+}
+/**
+ * Evidence of a human sign-off, as the runtime reports it. It is not CLEO
+ * evidence on its own: it counts only when CLEO's own owner or HITL record
+ * backs it.
+ */
+export interface GoalHumanEvidence {
+    /** Discriminant. */
+    kind: 'human';
+    /** Who signed off. */
+    by?: string;
+    /** The owner's note. */
+    note?: string;
+}
+/** What a criterion's check produced. */
+export type GoalCheckEvidence = GoalCommandEvidence | GoalPathEvidence | GoalVerifierEvidence | GoalHumanEvidence;
+/** The verdict on one criterion or invariant. */
+export interface GoalCriterionOutcome {
+    /** Criterion or invariant id (`C1`, `I1`). */
+    id: string;
+    /** Whether it passed. */
+    pass: boolean;
+    /** Who decided. */
+    by: GoalVerdictSource;
+    /** Human-readable detail. */
+    detail?: string;
+    /** What the check produced. */
+    evidence: GoalCheckEvidence;
+}
+/**
+ * What a goal run produced, written by the runtime and read by
+ * `cleo goal close`.
+ *
+ * `lock` ties the outcome to the exact contract bytes; `headCommit` is the
+ * tree the checks ran on.
+ */
+export interface GoalOutcome {
+    /** Always `goal-outcome/v1`. */
+    schema: 'goal-outcome/v1';
+    /** Goal slug ({@link GoalContract.id}). */
+    goal: string;
+    /** Runtime run id. */
+    runId?: string;
+    /** sha256 (hex) of the `goal.yaml` bytes the run locked. */
+    lock: string;
+    /** Commit the run started from (the diff base), or null when none. */
+    baseCommit: string | null;
+    /** Commit the checks ran on. */
+    headCommit: string;
+    /** Per-criterion and per-invariant verdicts. */
+    results: GoalCriterionOutcome[];
+}
+//# sourceMappingURL=goal-contract.d.ts.map

package/dist/goal-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-contract.d.ts","sourceRoot":"","sources":["../src/goal-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,qDAAqD;AACrD,eAAO,MAAM,oBAAoB,EAAG,SAAkB,CAAC;AAEvD,qHAAqH;AACrH,MAAM,WAAW,eAAe;IAC9B,0BAA0B;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,4CAA4C;IAC5C,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB;IAC/B,oBAAoB;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,kDAAkD;IAClD,GAAG,EAAE,MAAM,CAAC;IACZ,uBAAuB;IACvB,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,gDAAgD;IAChD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,kDAAkD;IAClD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,0CAA0C;IAC1C,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,uFAAuF;AACvF,MAAM,WAAW,aAAa;IAC5B,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,yCAAyC;IACzC,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,oEAAoE;AACpE,MAAM,WAAW,iBAAiB;IAChC,oBAAoB;IACpB,IAAI,EAAE,UAAU,CAAC;IACjB,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,mCAAmC;IACnC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,oBAAoB;IACpB,IAAI,EAAE,QAAQ,CAAC;IACf,mCAAmC;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,mDAAmD;IACnD,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,2GAA2G;AAC3G,MAAM,WAAW,aAAa;IAC5B,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,2FAA2F;AAC3F,MAAM,WAAW,iBAAiB;IAChC,oBAAoB;IACpB,IAAI,EAAE,UAAU,CAAC;IACjB,yCAAyC;IACzC,GAAG,EAAE,MAAM,CAAC;CACb;AAED,yCAAyC;AACzC,MAAM,WAAW,cAAc;IAC7B,oBAAoB;IACpB,IAAI,EAAE,OAAO,CAAC;IACd,kCAAkC;IAClC,GAAG,EAAE,MAAM,CAAC;CACb;AAED,iCAAiC;AACjC,MAAM,MAAM,SAAS,GACjB,gBAAgB,GAChB,aAAa,GACb,iBAAiB,GACjB,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,cAAc,CAAC;AAEnB,yCAAyC;AACzC,MAAM,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;AAE9C,uEAAuE;AACvE,eAAO,MAAM,qBAAqB,4DAA6D,CAAC;AAEhG;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,SAAS,GACjB,IAAI,MAAM,MAAM,MAAM,EAAE,GACxB,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,EAAE,GAC9D,IAAI,MAAM,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;AAEvC;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,gEAAgE;IAChE,EAAE,EAAE,MAAM,CAAC;IACX,uDAAuD;IACvD,SAAS,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,SAAS,EAAE,OAAO,CAAC;IACnB,mCAAmC;IACnC,KAAK,EAAE,SAAS,CAAC;IACjB;;;;OAIG;IACH,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;CACtB;AAED,iEAAiE;AACjE,MAAM,WAAW,cAAc;IAC7B,oBAAoB;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW;IACX,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wCAAwC;IACxC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,yBAAyB;IACzB,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;CAC5C;AAED,qBAAqB;AACrB,MAAM,WAAW,QAAQ;IACvB,oBAAoB;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,qCAAqC;IACrC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,uCAAuC;IACvC,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,iDAAiD;AACjD,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;AAErD;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,mBAAmB;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,0DAA0D;IAC1D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,yCAAyC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,2EAA2E;AAC3E,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;AAEvE,iCAAiC;AACjC,MAAM,WAAW,YAAY;IAC3B,mFAAmF;IACnF,SAAS,EAAE,OAAO,GAAG,OAAO,CAAC;IAC7B,oDAAoD;IACpD,eAAe,EAAE,OAAO,GAAG,OAAO,CAAC;IACnC,8BAA8B;IAC9B,YAAY,EAAE,OAAO,GAAG,mBAAmB,CAAC;IAC5C,mEAAmE;IACnE,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,oCAAoC;IACpC,QAAQ,EAAE,OAAO,GAAG,UAAU,CAAC;CAChC;AAED,iCAAiC;AACjC,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,eAAe,GAAG,QAAQ,CAAC;AAEvE,+DAA+D;AAC/D,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG,aAAa,GAAG,UAAU,CAAC;AAEtE;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,iEAAiE;IACjE,GAAG,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;CAC/C;AAED,yGAAyG;AACzG,MAAM,WAAW,YAAY;IAC3B,2CAA2C;IAC3C,MAAM,EAAE,OAAO,oBAAoB,CAAC;IACpC,yDAAyD;IACzD,EAAE,EAAE,MAAM,CAAC;IACX,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,yBAAyB;IACzB,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,8DAA8D;IAC9D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7B,4DAA4D;IAC5D,OAAO,EAAE,MAAM,CAAC;IAChB,4BAA4B;IAC5B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,mCAAmC;IACnC,KAAK,EAAE;QAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAAC,GAAG,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACvC,6BAA6B;IAC7B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,wCAAwC;IACxC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,sDAAsD;IACtD,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,yDAAyD;IACzD,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,iEAAiE;IACjE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uEAAuE;IACvE,IAAI,CAAC,EAAE;QAAE,KAAK,EAAE,YAAY,EAAE,CAAA;KAAE,CAAC;IACjC,uCAAuC;IACvC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wCAAwC;IACxC,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,oBAAoB;IACpB,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,kBAAkB;IAClB,MAAM,EAAE,UAAU,CAAC;IACnB,uBAAuB;IACvB,IAAI,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACjD,uBAAuB;IACvB,QAAQ,EAAE,YAAY,CAAC;IACvB,2BAA2B;IAC3B,YAAY,EAAE;QACZ,2DAA2D;QAC3D,IAAI,EAAE,oBAAoB,CAAC;QAC3B,yEAAyE;QACzE,cAAc,EAAE,MAAM,CAAC;QACvB,qCAAqC;QACrC,IAAI,EAAE,MAAM,EAAE,CAAC;QACf,sDAAsD;QACtD,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,uBAAuB;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,0BAA0B;IAC1B,SAAS,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9B,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,0CAA0C;AAC1C,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,UAAU,GAAG,mBAAmB,GAAG,OAAO,CAAC;AAEpF,wEAAwE;AACxE,MAAM,WAAW,iBAAiB;IAChC,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,yBAAyB;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wDAAwD;AACxD,MAAM,WAAW,mBAAmB;IAClC,oBAAoB;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,0BAA0B;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,oCAAoC;IACpC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6CAA6C;IAC7C,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC9C,8CAA8C;IAC9C,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,oCAAoC;AACpC,MAAM,WAAW,oBAAoB;IACnC,oBAAoB;IACpB,IAAI,EAAE,UAAU,CAAC;IACjB,8BAA8B;IAC9B,OAAO,EAAE,QAAQ,GAAG,YAAY,GAAG,cAAc,CAAC;IAClD,iCAAiC;IACjC,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,6BAA6B;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,oBAAoB;IACpB,IAAI,EAAE,OAAO,CAAC;IACd,sBAAsB;IACtB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,wBAAwB;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,yCAAyC;AACzC,MAAM,MAAM,iBAAiB,GACzB,mBAAmB,GACnB,gBAAgB,GAChB,oBAAoB,GACpB,iBAAiB,CAAC;AAEtB,iDAAiD;AACjD,MAAM,WAAW,oBAAoB;IACnC,8CAA8C;IAC9C,EAAE,EAAE,MAAM,CAAC;IACX,yBAAyB;IACzB,IAAI,EAAE,OAAO,CAAC;IACd,mBAAmB;IACnB,EAAE,EAAE,iBAAiB,CAAC;IACtB,6BAA6B;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,+BAA+B;IAC/B,QAAQ,EAAE,iBAAiB,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,gCAAgC;IAChC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,sBAAsB;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,gCAAgC;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,gDAAgD;IAChD,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC"}

package/dist/goal-contract.js

@@ -0,0 +1,37 @@
+/**
+ * goal/v1 — the contract a goal runtime executes against, and what CLEO reads
+ * back from a run.
+ *
+ * CLEO owns the goal protocol; OpenCode-Goal (OCG) is the goal runtime (owner
+ * decision 2026-10-16, epic T13791). The two stay separate packages and talk
+ * only through the `cleo` CLI and LAFS envelopes:
+ *
+ * 1. `cleo goal draft` writes a {@link GoalContract} (`goal.yaml`) from a
+ *    task's acceptance criteria.
+ * 2. The runtime locks the contract by the sha256 of its bytes, runs it, and
+ *    writes a {@link GoalOutcome}.
+ * 3. `cleo goal close` reads the outcome and records evidence for each passing
+ *    criterion on the gate it demonstrates, via {@link GoalCriterion.proves}.
+ *
+ * The shapes mirror OCG's `src/contract/types.ts` field for field, in OCG's
+ * snake_case YAML spelling, so one file means the same thing on both sides.
+ * The only addition is the optional per-criterion `proves` list.
+ *
+ * Relation to `GoalRecord` (`goal.ts`): a GoalRecord is CLEO's own
+ * per-agent, turn-budgeted loop state, whose criteria are free text. A goal/v1
+ * contract is the portable, hash-locked agreement a runtime executes; its
+ * criteria carry checks. They share no fields.
+ *
+ * Types only (gate 10): parsing and validation live in core.
+ *
+ * @packageDocumentation
+ * @module @cleocode/contracts/goal-contract
+ *
+ * @epic T13791
+ * @task T13792
+ */
+/** The schema tag every goal/v1 contract carries. */
+export const GOAL_CONTRACT_SCHEMA = 'goal/v1';
+/** Check kinds the host itself runs; invariants may use only these. */
+export const GOAL_HOST_CHECK_KINDS = ['command', 'file', 'contains', 'absent', 'diff'];
+//# sourceMappingURL=goal-contract.js.map

package/dist/goal-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-contract.js","sourceRoot":"","sources":["../src/goal-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,qDAAqD;AACrD,MAAM,CAAC,MAAM,oBAAoB,GAAG,SAAkB,CAAC;AAiGvD,uEAAuE;AACvE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAU,CAAC"}

package/dist/index.d.ts

@@ -7,7 +7,7 @@
  */
 export type { AcceptanceGate, AcceptanceGateKind, AcceptanceGateResult, CommandGate, FileAssertion, FileGate, GateBase, GateResultDetails, HttpGate, LintGate, ManualGate, TestGate, } from './acceptance-gate.js';
 export type { AcceptanceArrayInput, AcceptanceGateResultInput, AcceptanceGateSchemaInput, AcceptanceItemInput, FileAssertionInput, GateResultDetailsInput, } from './acceptance-gate-schema.js';
-export { acceptanceArraySchema, acceptanceGateResultSchema, acceptanceGateSchema, acceptanceItemSchema, commandGateSchema, fileAssertionSchema, fileGateSchema, gateBaseSchema, gateResultDetailsSchema, httpGateSchema, lintGateSchema, manualGateSchema, testCountReportSchema, testGateSchema, } from './acceptance-gate-schema.js';
+export { acceptanceArraySchema, acceptanceGateResultSchema, acceptanceGateSchema, acceptanceItemSchema, commandGateSchema, fileAssertionSchema, fileGateSchema, gateBaseSchema, gateResultDetailsSchema, httpGateSchema, lintGateSchema, manualGateSchema, testCountReportSchema, testCountSummarySchema, testGateSchema, } from './acceptance-gate-schema.js';
 export type { AdapterHealthStatus, CLEOProviderAdapter } from './adapter.js';
 export type { AgentCredential, AgentListFilter, AgentRegistryAPI, AgentWithProjectOverride, ProjectAgentRef, TransportConfig, } from './agent-registry.js';
 export type { AgentDoctorCode, AgentDoctorFinding, AgentRegistryExtendedFields, AgentSkillSource, AgentSpawnCapability, AgentTier, DoctorReport, ResolvedAgent, } from './agent-registry-v3.js';
@@ -77,6 +77,8 @@ export type { AdminAPI, AgentCapacity, AgentHealthStatus, AgentInstanceRow, Agen
 export { AGENT_INSTANCE_STATUSES, AGENT_TYPES, BRAIN_OBSERVATION_TYPES, } from './facade.js';
 export type { FuzzyGoal, GoalAdvanceResult, GoalContinuation, GoalJudge, GoalJudgeVerdict, GoalKind, GoalKindTag, GoalRecord, GoalStatus, TaskCompletionGoal, } from './goal.js';
 export { GOAL_STATUSES, GOAL_TARGET_TASK_ID_REGEX, GOAL_TERMINAL_STATUSES, isFuzzyGoal, isTaskCompletionGoal, isTerminalGoalStatus, isValidGoalTargetTaskId, } from './goal.js';
+export type { GoalAbsentCheck, GoalAcRef, GoalAmendClass, GoalAssumption, GoalAutonomy, GoalBudget, GoalCheck, GoalCheckEvidence, GoalCheckExpect, GoalCheckKind, GoalCleoGate, GoalCommandCheck, GoalCommandEvidence, GoalContainsCheck, GoalContract, GoalCriterion, GoalCriterionOutcome, GoalDiffCheck, GoalFileCheck, GoalHumanCheck, GoalHumanEvidence, GoalOutcome, GoalPathEvidence, GoalPriority, GoalStep, GoalTaskLink, GoalVerdictSource, GoalVerificationMode, GoalVerifierCheck, GoalVerifierEvidence, GoalVerifierQuote, } from './goal-contract.js';
+export { GOAL_CONTRACT_SCHEMA, GOAL_HOST_CHECK_KINDS } from './goal-contract.js';
 export type { AmbiguousProvenance, CommunityNode, ConfidenceProvenance, ExtractedProvenance, GraphEdgeConfidenceLabel, GraphIndexAssessment, GraphIndexAssessmentProjection, GraphIndexFilePage, GraphIndexFileReport, GraphIndexFileStatus, GraphIndexFileStatusCounts, GraphIndexFreshness, GraphIndexReferenceKind, GraphIndexReferenceKindCounts, GraphIndexReferencePage, GraphIndexReferenceReport, GraphIndexRunSummary, GraphNode, GraphNodeKind, GraphParseCacheEntry, GraphParseCacheUpdate, GraphPublicationRows, GraphRelation, GraphRelationType, GraphStoredReferences, ImpactResult, InferredProvenance, KnowledgeGraph, NexusNodeInsertRow, NexusRelationInsertRow, ProcessNode, SymbolIndex, } from './graph.js';
 export { confidenceFromProvenance, confidenceLabelFromNumeric, provenanceFromNumeric, } from './graph.js';
 export type { HeavyCommandHookMode, HeavyCommandHookProvider, HeavyCommandPlan, HeavyCommandSegment, HeavyHookCliProbe, HeavyHookCliState, HeavyHookDeliveryApi, HeavyHookDeliveryOptions, HeavyHookDeliveryOutcome, HeavyHookDeliveryStatus, HeavyHookInspection, HeavyHookInstallState, HookJsonValue, OpencodeHeavyCommandAnswer, PreToolUseHookInput, PreToolUseHookOutput, ShellToolInput, } from './heavy-command-hook.js';
@@ -89,7 +91,7 @@ export { KIND_LIFECYCLE_REQUIREMENTS, type KindLifecycleRequirement, } from './k
 export type { DecisionCodeEvidenceLink, DecisionCodeEvidenceOptions, DecisionCodeEvidenceResult, KnowledgeAuthority, KnowledgeAuthorityStatus, KnowledgeBackfillOptions, KnowledgeCoverage, KnowledgeCoverageStatus, KnowledgeDiagnostic, KnowledgeDiagnosticStatus, KnowledgeDoctorOptions, KnowledgeDoctorResult, KnowledgeEvidenceRef, KnowledgeFileEvidence, KnowledgeHealth, KnowledgeHealthSummary, KnowledgeRepairAction, KnowledgeRepairClass, KnowledgeRepairFinding, KnowledgeRepairProposal, KnowledgeRepairReceipt, KnowledgeRepairRecovery, KnowledgeRepairState, KnowledgeReplacement, KnowledgeSymbolCandidate, TaskKnowledgeEvidence, } from './knowledge-health.js';
 export type { CleoResponse, ConformanceReport, FlagInput, GatewayEnvelope, GatewayError, GatewayMeta, GatewaySuccess, LAFSEnvelope, LAFSError, LAFSErrorCategory, LAFSMeta, LAFSPage, LAFSPageCursor, LAFSPageNone, LAFSPageOffset, LAFSTransport, LafsAlternative, LafsEnvelope, LafsError, LafsErrorDetail, LafsSuccess, MVILevel, Warning, } from './lafs.js';
 export { isGatewayEnvelope, isLafsError, isLafsSuccess, } from './lafs.js';
-export type { LeanConfig, LeanDebtItem, LeanDebtReport, LeanLevel, LeanLevelSource, } from './lean.js';
+export type { LeanConfig, LeanDebtItem, LeanDebtReport, LeanGainMetric, LeanGainReport, LeanLevel, LeanLevelSource, } from './lean.js';
 export type { ChildKilledUnresponsiveResponse, LeaseAcquireRequest, LeaseDeniedResponse, LeaseErrorResponse, LeaseGrantedResponse, LeaseIpcEnvelope, LeaseIpcRequest, LeaseIpcRequestEnvelope, LeaseIpcResponse, LeaseIpcResponseEnvelope, LeaseLane, LeaseQueuedResponse, LeaseReleaseRequest, LeaseRenewRequest, LeaseRevokedResponse, LeaseScope, QueueAdmitDisposition, QueueAdmitRequest, QueueAdmitResultResponse, QueuePriorityClass, RateCheckRequest, RateResultResponse, ResourceAdmitDisposition, ResourceAdmitRequest, ResourceAdmitResultResponse, ResourceReleaseRequest, ResourceReleaseResultResponse, ToolGrantedResponse, ToolGrantRequest, } from './lease-ipc/index.js';
 export { ChildKilledUnresponsiveResponseSchema, isFrozenLeaseIpcVersion, LEASE_IPC_MESSAGE_KINDS, LEASE_IPC_PROTOCOL_VERSION, LEASE_IPC_REQUEST_KINDS, LEASE_IPC_RESPONSE_KINDS, LeaseAcquireRequestSchema, LeaseDeniedResponseSchema, LeaseErrorResponseSchema, LeaseGrantedResponseSchema, LeaseIpcEnvelopeSchema, LeaseIpcRequestEnvelopeSchema, LeaseIpcRequestSchema, LeaseIpcResponseEnvelopeSchema, LeaseIpcResponseSchema, LeaseLaneSchema, LeaseQueuedResponseSchema, LeaseReleaseRequestSchema, LeaseRenewRequestSchema, LeaseRevokedResponseSchema, LeaseScopeSchema, QueueAdmitDispositionSchema, QueueAdmitRequestSchema, QueueAdmitResultResponseSchema, QueuePriorityClassSchema, RateCheckRequestSchema, RateResultResponseSchema, ResourceAdmitDispositionSchema, ResourceAdmitRequestSchema, ResourceAdmitResultResponseSchema, ResourceReleaseRequestSchema, ResourceReleaseResultResponseSchema, ToolGrantedResponseSchema, ToolGrantRequestSchema, } from './lease-ipc/index.js';
 export type { CatalogAuthType, CatalogModelEntry, CatalogModelStatus, CatalogProvider, CuratedCatalog, ModelsCatalogRowInsert, ModelsCatalogRowSelect, } from './llm/catalog-schema.js';
@@ -250,7 +252,7 @@ export { DECISION_RUNGS, DECISION_SITE_MODES } from './decide-sites.js';
 export type { NexusAccountErrorCode, NexusAccountMe, NexusAccountOrganization, NexusAccountSetup, NexusAccountSetupStep, NexusAccountStatus, NexusAccountUser, NexusDeviceEndOutcome, NexusDeviceLogoutResult, NexusDeviceLogoutRow, NexusLoginDevice, NexusLoginResult, NexusLogoutResult, NexusProjectLink, NexusProjectLinkResult, NexusReplicaAttachment, NexusSessionState, } from './nexus-account.js';
 export { NEXUS_ACCOUNT_ERROR_CODES, NEXUS_CLI_CLIENT_ID, NEXUS_DEFAULT_API_URL, NEXUS_LOGIN_TARGET, nexusAccountMeSchema, nexusAccountOrganizationSchema, nexusAccountUserSchema, } from './nexus-account.js';
 export type { CloudDevicesResult, CloudPaging, CloudProjectShowResult, CloudProjectsResult, CloudRetiredReplica, CloudStatusGlobalStore, CloudStatusHolder, CloudStatusLocal, CloudStatusOfflineDetails, CloudStatusResult, CloudStatusSummary, CloudStatusSync, CloudStatusSyncStream, CloudStatusVerdict, CloudSyncFact, CloudSyncFlags, CloudSyncKnown, CloudSyncLag, CloudSyncUnknown, CloudWarning, CloudWhoamiResult, NexusCloudCredential, NexusCloudDevice, NexusCloudDeviceCounts, NexusCloudProjectDetail, NexusCloudProjectListItem, NexusCloudReplica, NexusCloudStatus, NexusCloudStatusCheck, NexusCloudWhoami, NexusDeviceListState, NexusErrorMapping, NexusStatusCheckId, } from './nexus-cloud.js';
-export { CLOUD_STATUS_VERDICTS, NEXUS_CLOUD_MAX_PAGES, NEXUS_CLOUD_PROFILES, NEXUS_CONFLICT_ERRORS, NEXUS_DEVICE_LIST_STATES, NEXUS_DEVICE_STATE_UNKNOWN, NEXUS_DEVICE_STATES, NEXUS_FEATURE_PROJECT_INITIAL_KEY, NEXUS_FORBIDDEN_ERRORS, NEXUS_FORBIDDEN_REASONS, NEXUS_PAGE_LIMIT_MAX, NEXUS_PRESENCE_FRESH_SECONDS, NEXUS_REVOKED_REASON_ERRORS, NEXUS_REVOKED_REASONS, NEXUS_STATUS_CHECK_IDS, NEXUS_STATUS_VERDICTS, NEXUS_UNAUTHENTICATED_ERRORS, NEXUS_UNAUTHENTICATED_REASONS, NEXUS_UNREACHABLE_ERROR, nexusCloudCredentialSchema, nexusCloudDeviceCountsSchema, nexusCloudDevicePageSchema, nexusCloudDeviceSchema, nexusCloudOrganizationSchema, nexusCloudPresenceSchema, nexusCloudProjectDetailSchema, nexusCloudProjectListItemSchema, nexusCloudProjectPageSchema, nexusCloudReplicaPageSchema, nexusCloudReplicaSchema, nexusCloudStatusCheckSchema, nexusCloudStatusSchema, nexusCloudUserSchema, nexusCloudWhoamiSchema, } from './nexus-cloud.js';
+export { CLOUD_STATUS_VERDICTS, NEXUS_CLOUD_MAX_PAGES, NEXUS_CLOUD_PROFILES, NEXUS_CONFLICT_ERRORS, NEXUS_DEVICE_LIST_STATES, NEXUS_DEVICE_STATE_UNKNOWN, NEXUS_DEVICE_STATES, NEXUS_FEATURE_MANIFEST_SNAPSHOT_AUTHORITATIVE, NEXUS_FEATURE_PROJECT_INITIAL_KEY, NEXUS_FORBIDDEN_ERRORS, NEXUS_FORBIDDEN_REASONS, NEXUS_PAGE_LIMIT_MAX, NEXUS_PRESENCE_FRESH_SECONDS, NEXUS_REVOKED_REASON_ERRORS, NEXUS_REVOKED_REASONS, NEXUS_STATUS_CHECK_IDS, NEXUS_STATUS_VERDICTS, NEXUS_UNAUTHENTICATED_ERRORS, NEXUS_UNAUTHENTICATED_REASONS, NEXUS_UNREACHABLE_ERROR, nexusCloudCredentialSchema, nexusCloudDeviceCountsSchema, nexusCloudDevicePageSchema, nexusCloudDeviceSchema, nexusCloudOrganizationSchema, nexusCloudPresenceSchema, nexusCloudProjectDetailSchema, nexusCloudProjectListItemSchema, nexusCloudProjectPageSchema, nexusCloudReplicaPageSchema, nexusCloudReplicaSchema, nexusCloudStatusCheckSchema, nexusCloudStatusSchema, nexusCloudUserSchema, nexusCloudWhoamiSchema, } from './nexus-cloud.js';
 export { NEXUS_FIRST_RUN_STATES, type NexusFirstRunBackup, type NexusFirstRunChoice, type NexusFirstRunOffer, type NexusFirstRunRestore, type NexusFirstRunResult, type NexusFirstRunState, type NexusNamedProject, type NexusProjectNameSource, } from './nexus-first-run.js';
 export { type CloudActivityItem, type CloudActivityResult, type CloudConflict, type CloudConflictField, type CloudConflictResolveResult, type CloudConflictsResult, type CloudDeviceOverviewResult, type CloudDeviceOverviewRow, type CloudJournalActivityDevice, type CloudJournalActivityItem, type CloudJournalActivityResult, type CloudJournalTableOps, type CloudLeaseReleaseResult, type CloudPushResult, type CloudRestoreResult, type CloudSyncPushEnableResult, type CloudSyncResult, type CloudSyncStreamResult, type CloudVaultLease, type CloudVaultScope, type CloudVaultSnapshot, type CloudVaultStatusResult, type CloudVaultTable, type CloudVaultTableDiff, type CloudVerifyDeepCheck, type CloudVerifyResult, NEXUS_REPLICA_RETIREMENT_REASONS, NEXUS_VAULT_LEASE_ROLE, type NexusActivityEvent, type NexusReplicaRetirementReason, nexusActivityEventSchema, nexusActivityPageSchema, nexusLeaseAcquireSchema, nexusLeaseSchema, nexusProjectKeysSchema, nexusStreamHeadSchema, nexusUserKeysSchema, } from './nexus-vault.js';
 export { SYNC_SCHEMA_VERSION } from './sync-schema.js';