@sayknow-cli/coding-agent 0.3.6 → 0.3.7

package/dist/types/skc-runtime/state-schema.d.ts

@@ -0,0 +1,319 @@
+import { z } from "zod";
+export declare const WorkflowStateContentChecksumSchema: z.ZodObject<{
+    algorithm: z.ZodLiteral<"sha256">;
+    value: z.ZodString;
+    covered_path: z.ZodString;
+    computed_at: z.ZodString;
+}, z.core.$loose>;
+/** Lenient receipt schema for reads (mirrors WorkflowStateReceipt). */
+export declare const WorkflowStateReceiptSchema: z.ZodObject<{
+    version: z.ZodNumber;
+    skill: z.ZodEnum<{
+        "deep-interview": "deep-interview";
+        ralplan: "ralplan";
+        team: "team";
+        ultragoal: "ultragoal";
+    }>;
+    owner: z.ZodEnum<{
+        "skc-hook": "skc-hook";
+        "skc-runtime": "skc-runtime";
+        "skc-state-cli": "skc-state-cli";
+    }>;
+    command: z.ZodString;
+    state_path: z.ZodString;
+    storage_path: z.ZodString;
+    mutated_at: z.ZodString;
+    fresh_until: z.ZodString;
+    status: z.ZodEnum<{
+        fresh: "fresh";
+        stale: "stale";
+    }>;
+    mutation_id: z.ZodString;
+    verb: z.ZodOptional<z.ZodString>;
+    from_phase: z.ZodOptional<z.ZodString>;
+    to_phase: z.ZodOptional<z.ZodString>;
+    forced: z.ZodOptional<z.ZodBoolean>;
+    paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    content_sha256: z.ZodOptional<z.ZodObject<{
+        algorithm: z.ZodLiteral<"sha256">;
+        value: z.ZodString;
+        covered_path: z.ZodString;
+        computed_at: z.ZodString;
+    }, z.core.$loose>>;
+}, z.core.$loose>;
+/** Lenient envelope schema for reads. Every non-structural field optional. */
+export declare const WorkflowStateEnvelopeSchema: z.ZodObject<{
+    skill: z.ZodOptional<z.ZodString>;
+    active: z.ZodOptional<z.ZodBoolean>;
+    current_phase: z.ZodOptional<z.ZodString>;
+    version: z.ZodOptional<z.ZodNumber>;
+    updated_at: z.ZodOptional<z.ZodString>;
+    session_id: z.ZodOptional<z.ZodString>;
+    receipt: z.ZodOptional<z.ZodObject<{
+        version: z.ZodNumber;
+        skill: z.ZodEnum<{
+            "deep-interview": "deep-interview";
+            ralplan: "ralplan";
+            team: "team";
+            ultragoal: "ultragoal";
+        }>;
+        owner: z.ZodEnum<{
+            "skc-hook": "skc-hook";
+            "skc-runtime": "skc-runtime";
+            "skc-state-cli": "skc-state-cli";
+        }>;
+        command: z.ZodString;
+        state_path: z.ZodString;
+        storage_path: z.ZodString;
+        mutated_at: z.ZodString;
+        fresh_until: z.ZodString;
+        status: z.ZodEnum<{
+            fresh: "fresh";
+            stale: "stale";
+        }>;
+        mutation_id: z.ZodString;
+        verb: z.ZodOptional<z.ZodString>;
+        from_phase: z.ZodOptional<z.ZodString>;
+        to_phase: z.ZodOptional<z.ZodString>;
+        forced: z.ZodOptional<z.ZodBoolean>;
+        paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        content_sha256: z.ZodOptional<z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            value: z.ZodString;
+            covered_path: z.ZodString;
+            computed_at: z.ZodString;
+        }, z.core.$loose>>;
+    }, z.core.$loose>>;
+    state_revision: z.ZodOptional<z.ZodNumber>;
+}, z.core.$loose>;
+/**
+ * Strict receipt required on WRITE (post checksum-stamping). Anchored to the
+ * fields the sanctioned writer emits — `content_sha256` is REQUIRED here.
+ */
+export declare const RequiredWorkflowStateReceiptSchema: z.ZodObject<{
+    version: z.ZodNumber;
+    skill: z.ZodEnum<{
+        "deep-interview": "deep-interview";
+        ralplan: "ralplan";
+        team: "team";
+        ultragoal: "ultragoal";
+    }>;
+    owner: z.ZodEnum<{
+        "skc-hook": "skc-hook";
+        "skc-runtime": "skc-runtime";
+        "skc-state-cli": "skc-state-cli";
+    }>;
+    command: z.ZodString;
+    state_path: z.ZodString;
+    storage_path: z.ZodString;
+    mutated_at: z.ZodString;
+    fresh_until: z.ZodString;
+    status: z.ZodEnum<{
+        fresh: "fresh";
+        stale: "stale";
+    }>;
+    mutation_id: z.ZodString;
+    content_sha256: z.ZodObject<{
+        algorithm: z.ZodLiteral<"sha256">;
+        value: z.ZodString;
+        covered_path: z.ZodString;
+        computed_at: z.ZodString;
+    }, z.core.$loose>;
+}, z.core.$loose>;
+/**
+ * Write-side fail-closed gate: the serialized on-disk envelope must satisfy
+ * this after checksum stamping. Anchored to current sanctioned-writer output.
+ */
+export declare const RequiredOnWriteEnvelopeSchema: z.ZodObject<{
+    skill: z.ZodEnum<{
+        "deep-interview": "deep-interview";
+        ralplan: "ralplan";
+        team: "team";
+        ultragoal: "ultragoal";
+    }>;
+    version: z.ZodLiteral<2>;
+    updated_at: z.ZodString;
+    current_phase: z.ZodString;
+    active: z.ZodBoolean;
+    receipt: z.ZodObject<{
+        version: z.ZodNumber;
+        skill: z.ZodEnum<{
+            "deep-interview": "deep-interview";
+            ralplan: "ralplan";
+            team: "team";
+            ultragoal: "ultragoal";
+        }>;
+        owner: z.ZodEnum<{
+            "skc-hook": "skc-hook";
+            "skc-runtime": "skc-runtime";
+            "skc-state-cli": "skc-state-cli";
+        }>;
+        command: z.ZodString;
+        state_path: z.ZodString;
+        storage_path: z.ZodString;
+        mutated_at: z.ZodString;
+        fresh_until: z.ZodString;
+        status: z.ZodEnum<{
+            fresh: "fresh";
+            stale: "stale";
+        }>;
+        mutation_id: z.ZodString;
+        content_sha256: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            value: z.ZodString;
+            covered_path: z.ZodString;
+            computed_at: z.ZodString;
+        }, z.core.$loose>;
+    }, z.core.$loose>;
+    state_revision: z.ZodOptional<z.ZodNumber>;
+}, z.core.$loose>;
+/** Per-skill mode state consumed by hooks / the mutation guard. */
+export declare const ModeStateSchema: z.ZodObject<{
+    active: z.ZodOptional<z.ZodBoolean>;
+    current_phase: z.ZodOptional<z.ZodString>;
+    skill: z.ZodOptional<z.ZodString>;
+    session_id: z.ZodOptional<z.ZodString>;
+    thread_id: z.ZodOptional<z.ZodString>;
+    cwd: z.ZodOptional<z.ZodString>;
+    updated_at: z.ZodOptional<z.ZodString>;
+    handoff_from: z.ZodOptional<z.ZodString>;
+    handoff_to: z.ZodOptional<z.ZodString>;
+    handoff_at: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>;
+export declare const SkillActiveEntrySchema: z.ZodObject<{
+    skill: z.ZodString;
+    phase: z.ZodOptional<z.ZodString>;
+    active: z.ZodOptional<z.ZodBoolean>;
+    activated_at: z.ZodOptional<z.ZodString>;
+    updated_at: z.ZodOptional<z.ZodString>;
+    session_id: z.ZodOptional<z.ZodString>;
+    thread_id: z.ZodOptional<z.ZodString>;
+    turn_id: z.ZodOptional<z.ZodString>;
+    stale: z.ZodOptional<z.ZodBoolean>;
+    handoff_from: z.ZodOptional<z.ZodString>;
+    handoff_to: z.ZodOptional<z.ZodString>;
+    handoff_at: z.ZodOptional<z.ZodString>;
+    receipt: z.ZodOptional<z.ZodObject<{
+        version: z.ZodNumber;
+        skill: z.ZodEnum<{
+            "deep-interview": "deep-interview";
+            ralplan: "ralplan";
+            team: "team";
+            ultragoal: "ultragoal";
+        }>;
+        owner: z.ZodEnum<{
+            "skc-hook": "skc-hook";
+            "skc-runtime": "skc-runtime";
+            "skc-state-cli": "skc-state-cli";
+        }>;
+        command: z.ZodString;
+        state_path: z.ZodString;
+        storage_path: z.ZodString;
+        mutated_at: z.ZodString;
+        fresh_until: z.ZodString;
+        status: z.ZodEnum<{
+            fresh: "fresh";
+            stale: "stale";
+        }>;
+        mutation_id: z.ZodString;
+        verb: z.ZodOptional<z.ZodString>;
+        from_phase: z.ZodOptional<z.ZodString>;
+        to_phase: z.ZodOptional<z.ZodString>;
+        forced: z.ZodOptional<z.ZodBoolean>;
+        paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        content_sha256: z.ZodOptional<z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            value: z.ZodString;
+            covered_path: z.ZodString;
+            computed_at: z.ZodString;
+        }, z.core.$loose>>;
+    }, z.core.$loose>>;
+}, z.core.$loose>;
+export declare const SkillActiveStateSchema: z.ZodObject<{
+    version: z.ZodOptional<z.ZodNumber>;
+    active: z.ZodOptional<z.ZodBoolean>;
+    skill: z.ZodOptional<z.ZodString>;
+    keyword: z.ZodOptional<z.ZodString>;
+    phase: z.ZodOptional<z.ZodString>;
+    activated_at: z.ZodOptional<z.ZodString>;
+    updated_at: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+    session_id: z.ZodOptional<z.ZodString>;
+    thread_id: z.ZodOptional<z.ZodString>;
+    turn_id: z.ZodOptional<z.ZodString>;
+    active_skills: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        skill: z.ZodString;
+        phase: z.ZodOptional<z.ZodString>;
+        active: z.ZodOptional<z.ZodBoolean>;
+        activated_at: z.ZodOptional<z.ZodString>;
+        updated_at: z.ZodOptional<z.ZodString>;
+        session_id: z.ZodOptional<z.ZodString>;
+        thread_id: z.ZodOptional<z.ZodString>;
+        turn_id: z.ZodOptional<z.ZodString>;
+        stale: z.ZodOptional<z.ZodBoolean>;
+        handoff_from: z.ZodOptional<z.ZodString>;
+        handoff_to: z.ZodOptional<z.ZodString>;
+        handoff_at: z.ZodOptional<z.ZodString>;
+        receipt: z.ZodOptional<z.ZodObject<{
+            version: z.ZodNumber;
+            skill: z.ZodEnum<{
+                "deep-interview": "deep-interview";
+                ralplan: "ralplan";
+                team: "team";
+                ultragoal: "ultragoal";
+            }>;
+            owner: z.ZodEnum<{
+                "skc-hook": "skc-hook";
+                "skc-runtime": "skc-runtime";
+                "skc-state-cli": "skc-state-cli";
+            }>;
+            command: z.ZodString;
+            state_path: z.ZodString;
+            storage_path: z.ZodString;
+            mutated_at: z.ZodString;
+            fresh_until: z.ZodString;
+            status: z.ZodEnum<{
+                fresh: "fresh";
+                stale: "stale";
+            }>;
+            mutation_id: z.ZodString;
+            verb: z.ZodOptional<z.ZodString>;
+            from_phase: z.ZodOptional<z.ZodString>;
+            to_phase: z.ZodOptional<z.ZodString>;
+            forced: z.ZodOptional<z.ZodBoolean>;
+            paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            content_sha256: z.ZodOptional<z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                value: z.ZodString;
+                covered_path: z.ZodString;
+                computed_at: z.ZodString;
+            }, z.core.$loose>>;
+        }, z.core.$loose>>;
+    }, z.core.$loose>>>;
+}, z.core.$loose>;
+export type WorkflowStateEnvelope = z.infer<typeof WorkflowStateEnvelopeSchema>;
+export type RequiredOnWriteEnvelope = z.infer<typeof RequiredOnWriteEnvelopeSchema>;
+export type ModeStateParsed = z.infer<typeof ModeStateSchema>;
+export type SkillActiveStateParsed = z.infer<typeof SkillActiveStateSchema>;
+/**
+ * Validated read result.
+ * - `null`        → file absent (ENOENT); callers treat as no state.
+ * - `{ok:true}`   → parsed + schema-valid.
+ * - `{ok:false}`  → present but unparseable or schema-invalid. Callers fail
+ *                   OPEN (normalize/log), never crash — preserving v2 reads.
+ */
+export type ReadSkcJsonResult<T> = {
+    ok: true;
+    value: T;
+    raw: unknown;
+} | {
+    ok: false;
+    error: string;
+    raw: unknown;
+};
+/**
+ * Parse + schema-validate a `.skc` JSON file at the read boundary.
+ * Returns `null` when the file is absent. Fail-open: an invalid file yields
+ * `{ ok: false }` with the raw value attached so the caller can normalize/log.
+ */
+export declare function readSkcJson<T>(filePath: string, schema: z.ZodType<T>): Promise<ReadSkcJsonResult<T> | null>;

package/dist/types/skc-runtime/state-validation.d.ts

@@ -0,0 +1,6 @@
+import type { CanonicalSkcWorkflowSkill } from "../skill-state/active-state";
+export interface StateValidationResult {
+    valid: boolean;
+    error?: string;
+}
+export declare function validateWorkflowStateEnvelope(skill: CanonicalSkcWorkflowSkill, state: unknown): StateValidationResult;

package/dist/types/skc-runtime/state-writer.d.ts

@@ -0,0 +1,241 @@
+import type { Stats } from "node:fs";
+import { type FileLockOptions } from "../config/file-lock";
+import type { SkillActiveEntry } from "../skill-state/active-state";
+import { type AuditEntry, type CanonicalSkcWorkflowSkill, type WorkflowStateMutationOwner } from "../skill-state/workflow-state-contract";
+/**
+ * Sole sanctioned project `.skc/**` writer module (gate G1).
+ *
+ * All native `.skc/**` filesystem mutations must route through these primitives.
+ * The primitives validate project `.skc/**` ownership, create parent directories,
+ * and emit workflow receipts or audit entries where applicable by the caller's
+ * supplied mutation context. No lockfiles are used; isolation is by atomic rename,
+ * append, O_EXCL creates, conditional deletes, per-entry active-state files,
+ * and derived active-state snapshots.
+ * Transaction journals are per mutation id under the session state transactions directory;
+ * they are recovery evidence only, never global locks or waiters, so stale
+ * journals do not block unrelated state reads or writes.
+ */
+export type WriterCategory = "state" | "artifact" | "ledger" | "log" | "report" | "agents" | "prune" | "force" | "transaction";
+export interface StateWriterReceiptContext {
+    cwd?: string;
+    skill: CanonicalSkcWorkflowSkill;
+    owner: WorkflowStateMutationOwner;
+    command: string;
+    sessionId?: string;
+    mutationId?: string;
+    nowIso?: string;
+    verb?: string;
+    fromPhase?: string;
+    toPhase?: string;
+    forced?: boolean;
+}
+export interface StateWriterAuditContext {
+    cwd?: string;
+    sessionId?: string;
+    category: WriterCategory;
+    verb: string;
+    owner: WorkflowStateMutationOwner;
+    skill?: CanonicalSkcWorkflowSkill | string;
+    mutationId?: string;
+    fromPhase?: string;
+    toPhase?: string;
+    forced?: boolean;
+}
+export interface WorkflowEnvelopeIntegrityMismatch {
+    path: string;
+    expected: string;
+    actual: string;
+}
+export interface WorkflowTransactionJournal {
+    version: 1;
+    mutation_id: string;
+    status: "pending" | "committed";
+    created_at: string;
+    updated_at: string;
+    caller?: CanonicalSkcWorkflowSkill;
+    callee?: CanonicalSkcWorkflowSkill;
+    paths: string[];
+    steps: string[];
+}
+export type StateWritePolicy = "source" | "cache";
+export interface GuardedStateWriterOptions extends StateWriterOptions {
+    policy: StateWritePolicy;
+    expectedRevision?: number;
+    sourceRevision?: number;
+}
+export type GuardedWriteResult = {
+    path: string;
+    written: true;
+    revision: number;
+    stamped: unknown;
+} | {
+    path: string;
+    written: false;
+    reason: "stale-skip";
+    revision: number;
+};
+export interface StateWriterOptions {
+    cwd?: string;
+    receipt?: StateWriterReceiptContext;
+    audit?: StateWriterAuditContext;
+    sourceRevision?: number;
+    /**
+     * Cross-process lock tuning for read-modify-write paths that route through
+     * `withWorkflowStateLock` / `updateJsonAtomic`. Omit for the hardened
+     * `withFileLock` defaults.
+     */
+    lock?: FileLockOptions;
+}
+export declare class StateWriteConflictError extends Error {
+    readonly path: string;
+    readonly expectedRevision: number;
+    readonly persistedRevision: number;
+    constructor(path: string, expectedRevision: number, persistedRevision: number);
+}
+export interface DeleteIfOwnedOptions extends StateWriterOptions {
+    predicate?: (current: unknown) => boolean | Promise<boolean>;
+}
+export interface DeleteResult {
+    path: string;
+    deleted: boolean;
+}
+export interface ActiveSessionScope {
+    sessionId?: string;
+}
+export interface ActiveEntryWriteResult {
+    entryPath: string;
+    snapshotPath: string;
+}
+export interface HardPruneSelectorContext {
+    path: string;
+    value: unknown;
+}
+export interface GenericHardPruneTarget {
+    path: string;
+    category: WriterCategory | string;
+}
+export interface GenericHardPruneSelectorContext {
+    path: string;
+    category: WriterCategory | string;
+    stat: Stats;
+    readJson: () => Promise<unknown>;
+}
+export type GenericHardPruneSelector = (context: GenericHardPruneSelectorContext) => boolean | Promise<boolean>;
+export interface ForceOverwriteOptions extends StateWriterOptions {
+    raw?: boolean;
+}
+export type HardPruneSelector = (context: HardPruneSelectorContext) => boolean | Promise<boolean>;
+export declare class AlreadyExistsError extends Error {
+    readonly path: string;
+    constructor(path: string);
+}
+export type StrictMutationReadResult = {
+    kind: "absent";
+} | {
+    kind: "corrupt";
+    error: string;
+} | {
+    kind: "valid";
+    value: Record<string, unknown>;
+};
+export declare function readExistingStateForMutation(filePath: string): Promise<StrictMutationReadResult>;
+export declare function workflowEnvelopeContentSha256(value: unknown): string;
+export declare function stampWorkflowEnvelopeChecksum<T>(value: T, filePath: string, computedAt?: string): T;
+export declare function detectWorkflowEnvelopeIntegrityMismatch(filePath: string): Promise<WorkflowEnvelopeIntegrityMismatch | undefined>;
+export declare function persistedStateRevision(value: unknown): number;
+export declare function writeGuardedJsonAtomic(targetPath: string, value: unknown, options: GuardedStateWriterOptions): Promise<GuardedWriteResult>;
+export declare function writeGuardedWorkflowEnvelopeAtomic(targetPath: string, value: unknown, options: GuardedStateWriterOptions): Promise<GuardedWriteResult>;
+export declare function writeJsonAtomic(targetPath: string, value: unknown, options?: StateWriterOptions): Promise<string>;
+export declare function writeWorkflowEnvelopeAtomic(targetPath: string, value: unknown, options?: StateWriterOptions): Promise<string>;
+export declare function writeTextAtomic(targetPath: string, text: string, options?: StateWriterOptions): Promise<string>;
+/**
+ * Serialize a read-modify-write (or any multi-step mutation) against concurrent
+ * writers of the same `.skc/**` target. Uses the cross-process directory lock
+ * from `withFileLock`, keyed on the resolved file path, so separate CLI/agent
+ * processes (e.g. team-mode workers) cannot interleave one writer's read with
+ * another writer's write and silently drop the first mutation (issue #646).
+ *
+ * The lock is advisory: it only protects callers that route through it, so every
+ * read-modify-write of a given file MUST acquire this lock for the same resolved
+ * path. `atomicWrite`'s temp-file + rename crash-atomicity is preserved; this
+ * layers concurrency-atomicity on top without weakening it.
+ */
+export declare function withWorkflowStateLock<T>(targetPath: string, fn: () => Promise<T>, options?: StateWriterOptions): Promise<T>;
+export declare function updateJsonAtomic<T = unknown>(targetPath: string, mutator: (current: T | undefined) => T | Promise<T>, options?: StateWriterOptions): Promise<string>;
+export declare function appendJsonl(targetPath: string, entry: unknown, options?: StateWriterOptions): Promise<string>;
+export interface AppendJsonlIdempotentOptions extends StateWriterOptions {
+    /**
+     * Identity key for an entry. Two entries that produce the same non-`undefined`
+     * key are duplicates, so only the first is appended. Return `undefined` to opt a
+     * candidate out of dedup (it is always appended). Use `key` for the common case
+     * where identity reduces to a single string.
+     */
+    key?: (entry: unknown) => string | undefined;
+    /**
+     * Equivalence predicate: return `true` when `existing` already represents
+     * `candidate`, suppressing the append. Use when identity cannot be reduced to a
+     * single string key. When both `key` and `equals` are supplied, `equals` wins.
+     */
+    equals?: (candidate: unknown, existing: unknown) => boolean;
+}
+export interface AppendJsonlIdempotentResult {
+    path: string;
+    /** `true` when the entry was written; `false` when an equivalent entry already existed. */
+    appended: boolean;
+    /** The pre-existing entry that suppressed the append, when `appended` is `false`. */
+    duplicate?: unknown;
+}
+/**
+ * Append `entry` to a JSONL file only when no equivalent entry already exists —
+ * the shared idempotent append primitive (issue #660).
+ *
+ * `appendJsonl` is a pure append with no dedup, so every recurring "duplicate
+ * ledger row" bug (#638, #643, #645) had to be patched with bespoke per-call-site
+ * guards. This primitive centralizes the read-check-append cycle: a caller
+ * declares identity once via `key` or `equals` instead of re-deriving the lookup
+ * at each site.
+ *
+ * The read-then-append is serialized through the same cross-process workflow lock
+ * as `updateJsonAtomic`, so two concurrent idempotent appends cannot both observe
+ * "no duplicate" and both write (the #646 TOCTOU that a plain `appendJsonl`
+ * preceded by a manual existence check is still exposed to).
+ *
+ * Scope note: this dedups the *append* only. Call sites whose idempotency must
+ * also skip a coupled mutation — e.g. the plan/state rewrite in #643/#645 — still
+ * need a whole-operation guard; this primitive is the ledger-level half of that.
+ */
+export declare function appendJsonlIdempotent(targetPath: string, entry: unknown, options: AppendJsonlIdempotentOptions): Promise<AppendJsonlIdempotentResult>;
+export declare function appendText(targetPath: string, text: string, options?: StateWriterOptions): Promise<string>;
+export declare function createJsonNoClobber(targetPath: string, value: unknown, options?: StateWriterOptions): Promise<string>;
+export declare function deleteIfOwned(targetPath: string, predicateOrOptions?: ((current: unknown) => boolean | Promise<boolean>) | DeleteIfOwnedOptions): Promise<DeleteResult>;
+export declare function removeFileAudited(targetPath: string, options?: StateWriterOptions): Promise<DeleteResult>;
+/**
+ * Active entry files under `.skc/_session-{id}/state/active/<skill>.json` are authoritative. The
+ * adjacent `skill-active-state.json` file is only a derived cache rebuilt from
+ * those entries, so concurrent snapshot rebuilds can race without losing any
+ * writer's per-skill state.
+ */
+export declare function writeActiveEntry(cwd: string, sessionScope: string | ActiveSessionScope | undefined, skill: string, entry: SkillActiveEntry, options?: StateWriterOptions): Promise<string>;
+export declare function removeActiveEntry(cwd: string, sessionScope: string | ActiveSessionScope | undefined, skill: string, options?: StateWriterOptions): Promise<DeleteResult>;
+export declare function readActiveEntries(cwd: string, sessionScope?: string | ActiveSessionScope): Promise<SkillActiveEntry[]>;
+export declare function rebuildActiveSnapshot(cwd: string, sessionScope?: string | ActiveSessionScope, options?: StateWriterOptions): Promise<string>;
+export declare function mergeActiveState(cwd: string, sessionScope: string | ActiveSessionScope | undefined, skill: string, entry: SkillActiveEntry, options?: StateWriterOptions): Promise<ActiveEntryWriteResult>;
+export declare function writeArtifact(targetPath: string, content: string, options?: StateWriterOptions): Promise<string>;
+export declare function writeReport(targetPath: string, content: string, options?: StateWriterOptions): Promise<string>;
+export declare function writeLogJsonl(targetPath: string, entry: unknown, options?: StateWriterOptions): Promise<string>;
+export declare function softDelete(targetPath: string, meta: Record<string, unknown>, options?: StateWriterOptions): Promise<string>;
+export declare function hardPruneJson(targetPaths: readonly string[], selector: HardPruneSelector, options?: StateWriterOptions): Promise<string[]>;
+export declare function hardPrune(targets: readonly GenericHardPruneTarget[], selector: GenericHardPruneSelector, options?: StateWriterOptions): Promise<string[]>;
+export declare function forceOverwrite(targetPath: string, rawValue: unknown, options?: ForceOverwriteOptions): Promise<string>;
+export declare function appendAuditEntry(cwd: string, sessionIdOrEntry: string | AuditEntry, maybeEntry?: AuditEntry): Promise<string>;
+export declare function readWorkflowTransactionJournal(cwd: string, sessionId: string, mutationId: string): Promise<WorkflowTransactionJournal | undefined>;
+export declare function beginWorkflowTransactionJournal(input: {
+    cwd: string;
+    sessionId: string;
+    mutationId: string;
+    caller?: CanonicalSkcWorkflowSkill;
+    callee?: CanonicalSkcWorkflowSkill;
+    paths: string[];
+}): Promise<string>;
+export declare function updateWorkflowTransactionJournal(cwd: string, sessionId: string, mutationId: string, patch: Partial<WorkflowTransactionJournal>): Promise<string>;
+export declare function completeWorkflowTransactionJournal(cwd: string, sessionId: string, mutationId: string): Promise<void>;

package/dist/types/skc-runtime/team-gc.d.ts

@@ -0,0 +1,7 @@
+/**
+ * GC adapter for team workers (`.skc/state/team/<name>/workers/<id>/` heartbeat
+ * + lifecycle). Liveness-only: numeric PID status dominates lifecycle/heartbeat
+ * signals.
+ */
+import type { GcStoreAdapter } from "./gc-runtime";
+export declare const teamWorkersGcAdapter: GcStoreAdapter;