@kitman-sh/sdk 0.7.2 → 0.7.4

package/types/packages/core/src/intent.d.ts

@@ -0,0 +1,260 @@
+import * as Schema from 'effect/Schema';
+export declare const RunIntentConstraint: Schema.Struct<{
+    readonly id: Schema.String;
+    readonly text: Schema.String;
+    readonly kind: Schema.Union<readonly [Schema.Literal<"rule">, Schema.Literal<"semantic">]>;
+    readonly severity: Schema.Union<readonly [Schema.Literal<"block">, Schema.Literal<"warn">]>;
+    readonly source: Schema.Union<readonly [Schema.Literal<"launch">, Schema.Literal<"repository">, Schema.Literal<"plan">, Schema.Literal<"parent">, Schema.Literal<"human">]>;
+    readonly rule: Schema.optionalKey<Schema.Struct<{
+        readonly kind: Schema.Literal<"protected_paths">;
+        readonly globs: Schema.$Array<Schema.String>;
+    }>>;
+}>;
+export type RunIntentConstraint = (typeof RunIntentConstraint)['Type'];
+/** One version of a Run's Intent, with what changed and who changed it. */
+export declare const RunIntentVersion: Schema.Struct<{
+    readonly version: Schema.Int;
+    readonly goal: Schema.String;
+    readonly doneWhen: Schema.$Array<Schema.String>;
+    readonly constraints: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly text: Schema.String;
+        readonly kind: Schema.Union<readonly [Schema.Literal<"rule">, Schema.Literal<"semantic">]>;
+        readonly severity: Schema.Union<readonly [Schema.Literal<"block">, Schema.Literal<"warn">]>;
+        readonly source: Schema.Union<readonly [Schema.Literal<"launch">, Schema.Literal<"repository">, Schema.Literal<"plan">, Schema.Literal<"parent">, Schema.Literal<"human">]>;
+        readonly rule: Schema.optionalKey<Schema.Struct<{
+            readonly kind: Schema.Literal<"protected_paths">;
+            readonly globs: Schema.$Array<Schema.String>;
+        }>>;
+    }>>;
+    readonly corrections: Schema.Boolean;
+    readonly removedConstraintIds: Schema.$Array<Schema.String>;
+    readonly change: Schema.String;
+    readonly author: Schema.Struct<{
+        readonly actorType: Schema.String;
+        readonly actorId: Schema.String;
+    }>;
+    readonly createdAt: Schema.String;
+}>;
+export type RunIntentVersion = (typeof RunIntentVersion)['Type'];
+/** What a Run is held to: its current Intent and every version, oldest first. */
+export declare const RunIntent: Schema.Struct<{
+    readonly runId: Schema.String;
+    readonly current: Schema.optionalKey<Schema.Struct<{
+        readonly version: Schema.Int;
+        readonly goal: Schema.String;
+        readonly doneWhen: Schema.$Array<Schema.String>;
+        readonly constraints: Schema.$Array<Schema.Struct<{
+            readonly id: Schema.String;
+            readonly text: Schema.String;
+            readonly kind: Schema.Union<readonly [Schema.Literal<"rule">, Schema.Literal<"semantic">]>;
+            readonly severity: Schema.Union<readonly [Schema.Literal<"block">, Schema.Literal<"warn">]>;
+            readonly source: Schema.Union<readonly [Schema.Literal<"launch">, Schema.Literal<"repository">, Schema.Literal<"plan">, Schema.Literal<"parent">, Schema.Literal<"human">]>;
+            readonly rule: Schema.optionalKey<Schema.Struct<{
+                readonly kind: Schema.Literal<"protected_paths">;
+                readonly globs: Schema.$Array<Schema.String>;
+            }>>;
+        }>>;
+        readonly corrections: Schema.Boolean;
+        readonly removedConstraintIds: Schema.$Array<Schema.String>;
+        readonly change: Schema.String;
+        readonly author: Schema.Struct<{
+            readonly actorType: Schema.String;
+            readonly actorId: Schema.String;
+        }>;
+        readonly createdAt: Schema.String;
+    }>>;
+    readonly versions: Schema.$Array<Schema.Struct<{
+        readonly version: Schema.Int;
+        readonly goal: Schema.String;
+        readonly doneWhen: Schema.$Array<Schema.String>;
+        readonly constraints: Schema.$Array<Schema.Struct<{
+            readonly id: Schema.String;
+            readonly text: Schema.String;
+            readonly kind: Schema.Union<readonly [Schema.Literal<"rule">, Schema.Literal<"semantic">]>;
+            readonly severity: Schema.Union<readonly [Schema.Literal<"block">, Schema.Literal<"warn">]>;
+            readonly source: Schema.Union<readonly [Schema.Literal<"launch">, Schema.Literal<"repository">, Schema.Literal<"plan">, Schema.Literal<"parent">, Schema.Literal<"human">]>;
+            readonly rule: Schema.optionalKey<Schema.Struct<{
+                readonly kind: Schema.Literal<"protected_paths">;
+                readonly globs: Schema.$Array<Schema.String>;
+            }>>;
+        }>>;
+        readonly corrections: Schema.Boolean;
+        readonly removedConstraintIds: Schema.$Array<Schema.String>;
+        readonly change: Schema.String;
+        readonly author: Schema.Struct<{
+            readonly actorType: Schema.String;
+            readonly actorId: Schema.String;
+        }>;
+        readonly createdAt: Schema.String;
+    }>>;
+}>;
+export type RunIntent = (typeof RunIntent)['Type'];
+export declare const RunIntentAmend: Schema.Union<readonly [Schema.Struct<{
+    readonly kind: Schema.Literal<"set_goal">;
+    readonly goal: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"add_constraint">;
+    /** `rule:protected_paths:<glob>[,<glob>…]` spells a rule; any other text is semantic. */
+    readonly constraint: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"remove_constraint">;
+    readonly id: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"set_corrections">;
+    readonly on: Schema.Boolean;
+}>]>;
+export type RunIntentAmend = (typeof RunIntentAmend)['Type'];
+/** A constraint every Run on a repository starts with, as a person spelled it. */
+export declare const StandingConstraint: Schema.Struct<{
+    readonly id: Schema.String;
+    readonly repoBindingId: Schema.String;
+    readonly text: Schema.String;
+    readonly addedByUserId: Schema.String;
+    readonly createdAt: Schema.String;
+}>;
+export type StandingConstraint = (typeof StandingConstraint)['Type'];
+export declare const StandingConstraintList: Schema.Struct<{
+    readonly items: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly repoBindingId: Schema.String;
+        readonly text: Schema.String;
+        readonly addedByUserId: Schema.String;
+        readonly createdAt: Schema.String;
+    }>>;
+}>;
+export type StandingConstraintList = (typeof StandingConstraintList)['Type'];
+export declare const StandingConstraintAdd: Schema.Struct<{
+    /** `rule:protected_paths:<glob>[,<glob>…]` spells a rule; any other text is semantic. */
+    readonly text: Schema.String;
+}>;
+export type StandingConstraintAdd = (typeof StandingConstraintAdd)['Type'];
+export declare const DriftResolution: Schema.Struct<{
+    readonly status: Schema.Literals<readonly ["open", "correction_sent", "escalated", "verified", "dismissed"]>;
+    readonly intentVersion: Schema.Int;
+    readonly at: Schema.String;
+    readonly reason: Schema.optionalKey<Schema.String>;
+    readonly actor: Schema.optionalKey<Schema.Struct<{
+        readonly actorType: Schema.String;
+        readonly actorId: Schema.String;
+    }>>;
+}>;
+/** What a check found against one of the Run's constraints, and its resolutions, oldest first. */
+export declare const DriftReport: Schema.Struct<{
+    readonly constraintId: Schema.String;
+    readonly constraintText: Schema.String;
+    readonly kind: Schema.Union<readonly [Schema.Literal<"rule">, Schema.Literal<"semantic">]>;
+    readonly severity: Schema.Union<readonly [Schema.Literal<"block">, Schema.Literal<"warn">]>;
+    readonly intentVersion: Schema.Int;
+    readonly citedPaths: Schema.$Array<Schema.String>;
+    readonly truncated: Schema.Boolean;
+    readonly status: Schema.Literals<readonly ["open", "correction_sent", "escalated", "verified", "dismissed"]>;
+    readonly history: Schema.$Array<Schema.Struct<{
+        readonly status: Schema.Literals<readonly ["open", "correction_sent", "escalated", "verified", "dismissed"]>;
+        readonly intentVersion: Schema.Int;
+        readonly at: Schema.String;
+        readonly reason: Schema.optionalKey<Schema.String>;
+        readonly actor: Schema.optionalKey<Schema.Struct<{
+            readonly actorType: Schema.String;
+            readonly actorId: Schema.String;
+        }>>;
+    }>>;
+}>;
+export type DriftReport = (typeof DriftReport)['Type'];
+/** An accepted agent Step's boundary: what evidence it had, and why its rules went unchecked if they did. */
+export declare const RunBoundary: Schema.Struct<{
+    readonly stepAttemptId: Schema.String;
+    readonly stepKey: Schema.String;
+    readonly intentVersion: Schema.optionalKey<Schema.Int>;
+    readonly evidence: Schema.optionalKey<Schema.Struct<{
+        readonly kind: Schema.Union<readonly [Schema.Literal<"change">, Schema.Literal<"output">]>;
+        readonly changedPaths: Schema.optionalKey<Schema.$Array<Schema.String>>;
+        readonly truncated: Schema.Boolean;
+    }>>;
+    readonly uncheckedReason: Schema.optionalKey<Schema.String>;
+    readonly createdAt: Schema.String;
+}>;
+export type RunBoundary = (typeof RunBoundary)['Type'];
+/** A `judge` StepAttempt's verdicts on the Run's semantic constraints, and at the finish its goal and doneWhen. */
+export declare const RunJudgement: Schema.Struct<{
+    readonly id: Schema.String;
+    readonly final: Schema.Boolean;
+    readonly status: Schema.Literals<readonly ["queued", "running", "judged", "skipped"]>;
+    readonly stepAttemptId: Schema.optionalKey<Schema.String>;
+    readonly intentVersion: Schema.optionalKey<Schema.Int>;
+    readonly constraints: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly constraintId: Schema.String;
+        readonly verdict: Schema.Literals<readonly ["holds", "breached", "unverified"]>;
+        readonly citations: Schema.$Array<Schema.Struct<{
+            readonly path: Schema.String;
+            readonly line: Schema.optionalKey<Schema.Int>;
+        }>>;
+    }>>>;
+    readonly goal: Schema.optionalKey<Schema.Literals<readonly ["met", "not_met", "unverified"]>>;
+    readonly doneWhen: Schema.optionalKey<Schema.$Array<Schema.Literals<readonly ["met", "not_met", "unverified"]>>>;
+    readonly skipReason: Schema.optionalKey<Schema.String>;
+    readonly createdAt: Schema.String;
+    readonly settledAt: Schema.optionalKey<Schema.String>;
+}>;
+export type RunJudgement = (typeof RunJudgement)['Type'];
+export declare const RunDrift: Schema.Struct<{
+    readonly runId: Schema.String;
+    readonly reports: Schema.$Array<Schema.Struct<{
+        readonly constraintId: Schema.String;
+        readonly constraintText: Schema.String;
+        readonly kind: Schema.Union<readonly [Schema.Literal<"rule">, Schema.Literal<"semantic">]>;
+        readonly severity: Schema.Union<readonly [Schema.Literal<"block">, Schema.Literal<"warn">]>;
+        readonly intentVersion: Schema.Int;
+        readonly citedPaths: Schema.$Array<Schema.String>;
+        readonly truncated: Schema.Boolean;
+        readonly status: Schema.Literals<readonly ["open", "correction_sent", "escalated", "verified", "dismissed"]>;
+        readonly history: Schema.$Array<Schema.Struct<{
+            readonly status: Schema.Literals<readonly ["open", "correction_sent", "escalated", "verified", "dismissed"]>;
+            readonly intentVersion: Schema.Int;
+            readonly at: Schema.String;
+            readonly reason: Schema.optionalKey<Schema.String>;
+            readonly actor: Schema.optionalKey<Schema.Struct<{
+                readonly actorType: Schema.String;
+                readonly actorId: Schema.String;
+            }>>;
+        }>>;
+    }>>;
+    readonly boundaries: Schema.$Array<Schema.Struct<{
+        readonly stepAttemptId: Schema.String;
+        readonly stepKey: Schema.String;
+        readonly intentVersion: Schema.optionalKey<Schema.Int>;
+        readonly evidence: Schema.optionalKey<Schema.Struct<{
+            readonly kind: Schema.Union<readonly [Schema.Literal<"change">, Schema.Literal<"output">]>;
+            readonly changedPaths: Schema.optionalKey<Schema.$Array<Schema.String>>;
+            readonly truncated: Schema.Boolean;
+        }>>;
+        readonly uncheckedReason: Schema.optionalKey<Schema.String>;
+        readonly createdAt: Schema.String;
+    }>>;
+    /** Oldest first. */
+    readonly judgements: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly final: Schema.Boolean;
+        readonly status: Schema.Literals<readonly ["queued", "running", "judged", "skipped"]>;
+        readonly stepAttemptId: Schema.optionalKey<Schema.String>;
+        readonly intentVersion: Schema.optionalKey<Schema.Int>;
+        readonly constraints: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+            readonly constraintId: Schema.String;
+            readonly verdict: Schema.Literals<readonly ["holds", "breached", "unverified"]>;
+            readonly citations: Schema.$Array<Schema.Struct<{
+                readonly path: Schema.String;
+                readonly line: Schema.optionalKey<Schema.Int>;
+            }>>;
+        }>>>;
+        readonly goal: Schema.optionalKey<Schema.Literals<readonly ["met", "not_met", "unverified"]>>;
+        readonly doneWhen: Schema.optionalKey<Schema.$Array<Schema.Literals<readonly ["met", "not_met", "unverified"]>>>;
+        readonly skipReason: Schema.optionalKey<Schema.String>;
+        readonly createdAt: Schema.String;
+        readonly settledAt: Schema.optionalKey<Schema.String>;
+    }>>;
+}>;
+export type RunDrift = (typeof RunDrift)['Type'];
+export declare const RunDriftDismiss: Schema.Struct<{
+    readonly reason: Schema.String;
+}>;
+export type RunDriftDismiss = (typeof RunDriftDismiss)['Type'];

package/types/packages/core/src/json.d.ts

@@ -0,0 +1,10 @@
+import * as Schema from 'effect/Schema';
+export declare const decodeJsonString: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => import("effect/Effect").Effect<Schema.Json, Schema.SchemaError, never>;
+export declare const decodeJsonStringOption: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => import("effect/Option").Option<Schema.Json>;
+export declare const encodeJsonStringSync: (input: Schema.Json, options?: import("effect/SchemaAST").ParseOptions) => string;
+/** Two-space indented JSON text, for files people read. */
+export declare const encodePrettyJsonString: (input: Schema.Json, options?: import("effect/SchemaAST").ParseOptions) => import("effect/Effect").Effect<string, Schema.SchemaError, never>;
+/** Decodes JSON text, throwing on invalid input; for code that runs outside an Effect. */
+export declare const decodeJsonStringSync: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => Schema.Json;
+/** JSON text for a value of any shape (diagnostics and assertions); `JSON.stringify` semantics. */
+export declare const encodeUnknownJsonStringSync: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => string;

package/types/packages/core/src/kit.d.ts

@@ -38,7 +38,7 @@ export declare const Kit: Schema.Struct<{
             }>, Schema.Struct<{
                 readonly kind: Schema.Literal<"git">;
                 readonly url: Schema.String;
-                readonly ref: Schema.String;
+                readonly ref: Schema.optionalKey<Schema.String>;
                 readonly path: Schema.optionalKey<Schema.String>;
                 readonly sha256: Schema.optionalKey<Schema.String>;
             }>, Schema.Struct<{
@@ -59,7 +59,7 @@ export declare const Kit: Schema.Struct<{
         readonly plugins: Schema.optionalKey<Schema.$Array<Schema.Struct<{
             readonly name: Schema.String;
             readonly policy: Schema.Union<readonly [Schema.Literal<"recommended">, Schema.Literal<"required">]>;
-            readonly source: Schema.Union<readonly [Schema.Struct<{
+            readonly sources: Schema.NonEmptyArray<Schema.Union<readonly [Schema.Struct<{
                 readonly kind: Schema.Literal<"package">;
                 readonly packageName: Schema.String;
                 readonly version: Schema.optionalKey<Schema.String>;
@@ -74,7 +74,7 @@ export declare const Kit: Schema.Struct<{
             }>, Schema.Struct<{
                 readonly kind: Schema.Literal<"local_path">;
                 readonly path: Schema.String;
-            }>]>;
+            }>]>>;
         }>>>;
         readonly mcpServers: Schema.optionalKey<Schema.$Array<Schema.Struct<{
             readonly name: Schema.String;
@@ -844,7 +844,7 @@ export declare const KitCreate: Schema.Struct<{
             }>, Schema.Struct<{
                 readonly kind: Schema.Literal<"git">;
                 readonly url: Schema.String;
-                readonly ref: Schema.String;
+                readonly ref: Schema.optionalKey<Schema.String>;
                 readonly path: Schema.optionalKey<Schema.String>;
                 readonly sha256: Schema.optionalKey<Schema.String>;
             }>, Schema.Struct<{
@@ -865,7 +865,7 @@ export declare const KitCreate: Schema.Struct<{
         readonly plugins: Schema.optionalKey<Schema.$Array<Schema.Struct<{
             readonly name: Schema.String;
             readonly policy: Schema.Union<readonly [Schema.Literal<"recommended">, Schema.Literal<"required">]>;
-            readonly source: Schema.Union<readonly [Schema.Struct<{
+            readonly sources: Schema.NonEmptyArray<Schema.Union<readonly [Schema.Struct<{
                 readonly kind: Schema.Literal<"package">;
                 readonly packageName: Schema.String;
                 readonly version: Schema.optionalKey<Schema.String>;
@@ -880,7 +880,7 @@ export declare const KitCreate: Schema.Struct<{
             }>, Schema.Struct<{
                 readonly kind: Schema.Literal<"local_path">;
                 readonly path: Schema.String;
-            }>]>;
+            }>]>>;
         }>>>;
         readonly mcpServers: Schema.optionalKey<Schema.$Array<Schema.Struct<{
             readonly name: Schema.String;
@@ -989,7 +989,7 @@ export declare const KitUpdate: Schema.Struct<{
             }>, Schema.Struct<{
                 readonly kind: Schema.Literal<"git">;
                 readonly url: Schema.String;
-                readonly ref: Schema.String;
+                readonly ref: Schema.optionalKey<Schema.String>;
                 readonly path: Schema.optionalKey<Schema.String>;
                 readonly sha256: Schema.optionalKey<Schema.String>;
             }>, Schema.Struct<{
@@ -1010,7 +1010,7 @@ export declare const KitUpdate: Schema.Struct<{
         readonly plugins: Schema.optionalKey<Schema.$Array<Schema.Struct<{
             readonly name: Schema.String;
             readonly policy: Schema.Union<readonly [Schema.Literal<"recommended">, Schema.Literal<"required">]>;
-            readonly source: Schema.Union<readonly [Schema.Struct<{
+            readonly sources: Schema.NonEmptyArray<Schema.Union<readonly [Schema.Struct<{
                 readonly kind: Schema.Literal<"package">;
                 readonly packageName: Schema.String;
                 readonly version: Schema.optionalKey<Schema.String>;
@@ -1025,7 +1025,7 @@ export declare const KitUpdate: Schema.Struct<{
             }>, Schema.Struct<{
                 readonly kind: Schema.Literal<"local_path">;
                 readonly path: Schema.String;
-            }>]>;
+            }>]>>;
         }>>>;
         readonly mcpServers: Schema.optionalKey<Schema.$Array<Schema.Struct<{
             readonly name: Schema.String;
@@ -1149,7 +1149,7 @@ export declare const KitList: Schema.Struct<{
                 }>, Schema.Struct<{
                     readonly kind: Schema.Literal<"git">;
                     readonly url: Schema.String;
-                    readonly ref: Schema.String;
+                    readonly ref: Schema.optionalKey<Schema.String>;
                     readonly path: Schema.optionalKey<Schema.String>;
                     readonly sha256: Schema.optionalKey<Schema.String>;
                 }>, Schema.Struct<{
@@ -1170,7 +1170,7 @@ export declare const KitList: Schema.Struct<{
             readonly plugins: Schema.optionalKey<Schema.$Array<Schema.Struct<{
                 readonly name: Schema.String;
                 readonly policy: Schema.Union<readonly [Schema.Literal<"recommended">, Schema.Literal<"required">]>;
-                readonly source: Schema.Union<readonly [Schema.Struct<{
+                readonly sources: Schema.NonEmptyArray<Schema.Union<readonly [Schema.Struct<{
                     readonly kind: Schema.Literal<"package">;
                     readonly packageName: Schema.String;
                     readonly version: Schema.optionalKey<Schema.String>;
@@ -1185,7 +1185,7 @@ export declare const KitList: Schema.Struct<{
                 }>, Schema.Struct<{
                     readonly kind: Schema.Literal<"local_path">;
                     readonly path: Schema.String;
-                }>]>;
+                }>]>>;
             }>>>;
             readonly mcpServers: Schema.optionalKey<Schema.$Array<Schema.Struct<{
                 readonly name: Schema.String;