@kitman-sh/sdk 0.10.75 → 0.10.77

package/dist/build/index.js

@@ -4,7 +4,7 @@ import {
   KitDigest,
   AgentDeclaration,
   KitDeclarations
-} from "../chunk-08qcgk73.js";
+} from "../chunk-g7x3s4x6.js";
 import {
   digestSha256,
   digestSha512,
@@ -13,7 +13,7 @@ import {
   RunnerRpcProtocolVersion,
   describeFlag2,
   Described2
-} from "../chunk-epczfxnt.js";
+} from "../chunk-3qttynnn.js";
 
 // packages/core/src/json.ts
 import * as Schema from "effect/Schema";

package/dist/{chunk-epczfxnt.js → chunk-3qttynnn.js}

@@ -33,7 +33,7 @@ import {
   executeLoop2,
   LoopCheckError2,
   checkLoop2
-} from "./chunk-08qcgk73.js";
+} from "./chunk-g7x3s4x6.js";
 // packages/core/src/agent-environment.ts
 import * as Schema from "effect/Schema";
 var AgentEnvironmentPolicy = Schema.Union([Schema.Literal("recommended"), Schema.Literal("required")]);
@@ -880,6 +880,7 @@ class RunnerCapabilityRpcs extends RpcGroup.make(Rpc.make("PutQuestion", {
     verification: Schema7.optional(SuggestedVerification),
     default: Schema7.optional(Schema7.String),
     auto: Schema7.optional(Schema7.String),
+    unattendedAuto: Schema7.optional(Schema7.String),
     timeoutMillis: Schema7.optional(Schema7.Finite),
     deferredName: Schema7.String
   },
@@ -950,6 +951,7 @@ class RunnerCapabilityRpcs extends RpcGroup.make(Rpc.make("PutQuestion", {
     step: Schema7.String,
     loop: Schema7.String,
     input: Schema7.Json,
+    constraints: Schema7.optional(Schema7.Array(Schema7.String)),
     deferredName: Schema7.String
   },
   success: Schema7.Struct({ runId: Schema7.String }),
@@ -971,7 +973,8 @@ class RunnerCapabilityRpcs extends RpcGroup.make(Rpc.make("PutQuestion", {
     lease: ProgramLease,
     step: Schema7.String,
     text: Schema7.String,
-    artifactId: Schema7.optional(Schema7.String)
+    artifactId: Schema7.optional(Schema7.String),
+    kind: Schema7.optional(Schema7.Literals(["note", "blocker"]))
   },
   error: RunnerRpcError
 }), Rpc.make("PerformHostEffect", {
@@ -1407,6 +1410,7 @@ var runnerHost = (capabilities) => ({
     ...launch.verification === undefined ? undefined : { verification: launch.verification },
     ...launch.default === undefined ? undefined : { default: launch.default },
     ...launch.auto === undefined ? undefined : { auto: launch.auto },
+    ...launch.unattendedAuto === undefined ? undefined : { unattendedAuto: launch.unattendedAuto },
     ...launch.timeoutMillis === undefined ? undefined : { timeoutMillis: launch.timeoutMillis }
   })).pipe(Effect2.asVoid),
   startVerification: (launch) => requested2(launch.step, capabilities.startVerification({
@@ -1434,6 +1438,7 @@ var runnerHost = (capabilities) => ({
     step: launch.step,
     loop: launch.loop,
     input: launch.input,
+    ...launch.constraints === undefined ? undefined : { constraints: launch.constraints },
     deferredName: childDeferred2(launch.step).name
   })).pipe(Effect2.asVoid),
   claimResource: (launch) => requested2(launch.step, capabilities.claimResource({
@@ -1630,6 +1635,7 @@ var rpcProgramPorts2 = (rpc, work) => {
       ...question.verification === undefined ? undefined : { verification: question.verification },
       ...question.default === undefined ? undefined : { default: question.default },
       ...question.auto === undefined ? undefined : { auto: question.auto },
+      ...question.unattendedAuto === undefined ? undefined : { unattendedAuto: question.unattendedAuto },
       ...question.timeoutMillis === undefined ? undefined : { timeoutMillis: question.timeoutMillis }
     }),
     startVerification: (verification) => rpc.startVerification({
@@ -1645,7 +1651,11 @@ var rpcProgramPorts2 = (rpc, work) => {
     startAgentStep: ({ secrets, ...step }) => rpc.startAgentStep({ lease, ...step, ...secrets === undefined ? undefined : { secrets: [...secrets] } }),
     awaitEvent: (wait) => rpc.awaitEvent({ lease, ...wait }),
     claimResource: (claim) => rpc.claimResource({ lease, ...claim }),
-    admitChild: (child) => rpc.admitChild({ lease, ...child }),
+    admitChild: ({ constraints, ...child }) => rpc.admitChild({
+      lease,
+      ...child,
+      ...constraints === undefined ? undefined : { constraints: [...constraints] }
+    }),
     storeArtifact: ({ fileIds, ...artifact }) => rpc.storeArtifact({ lease, ...artifact, ...fileIds === undefined ? undefined : { fileIds: [...fileIds] } }),
     ...rpcRunFiles2(rpc, lease),
     recordNote: (note) => rpc.recordNote({ lease, ...note }),

package/dist/{chunk-08qcgk73.js → chunk-g7x3s4x6.js}

@@ -3006,6 +3006,8 @@ var ask2 = (name, question) => takeStep2(name, "ask", "ask", Effect3.gen(functio
     return yield* new QuestionRefused2({ step: name, answer: fallback, options });
   if (question.auto !== undefined && options !== undefined && !options.includes(question.auto))
     return yield* new QuestionRefused2({ step: name, answer: question.auto, options });
+  if (question.unattendedAuto !== undefined && options !== undefined && !options.includes(question.unattendedAuto))
+    return yield* new QuestionRefused2({ step: name, answer: question.unattendedAuto, options });
   yield* launch2(deferred, (host, token) => host.putQuestion({
     step: name,
     prompt: question.prompt,
@@ -3013,6 +3015,7 @@ var ask2 = (name, question) => takeStep2(name, "ask", "ask", Effect3.gen(functio
     ...advice,
     ...fallback === undefined ? undefined : { default: fallback },
     ...question.auto === undefined ? undefined : { auto: question.auto },
+    ...question.unattendedAuto === undefined ? undefined : { unattendedAuto: question.unattendedAuto },
     ...question.timeout === undefined ? undefined : { timeoutMillis: Duration.toMillis(Duration.fromInputUnsafe(question.timeout)) },
     token
   }));
@@ -3025,10 +3028,17 @@ var ask2 = (name, question) => takeStep2(name, "ask", "ask", Effect3.gen(functio
     return yield* new QuestionRefused2({ step: name, answer, options });
   return offeredAnswer;
 }));
-var call2 = (name, loop, input) => takeStep2(name, "call", "call", Effect3.gen(function* () {
+var call2 = (name, loop, input, options) => takeStep2(name, "call", "call", Effect3.gen(function* () {
   const deferred = childDeferred2(name);
   const encoded = yield* toJson(name, loop.input, input);
-  yield* launch2(deferred, (host, token) => host.admitChild({ step: name, loop: loop.id, input: encoded, token }));
+  const constraints = options?.constraints ?? [];
+  yield* launch2(deferred, (host, token) => host.admitChild({
+    step: name,
+    loop: loop.id,
+    input: encoded,
+    ...constraints.length === 0 ? undefined : { constraints },
+    token
+  }));
   const result = yield* DurableDeferred.await(deferred);
   return yield* Schema17.decodeEffect(Schema17.toCodecJson(loop.output))(result).pipe(Effect3.mapError((error) => new ChildFailed2({ step: name, loop: loop.id, reason: error.message })));
 }));
@@ -3171,7 +3181,11 @@ var ArtifactRequest2 = Schema19.Struct({
   files: Schema19.optional(Schema19.Array(RunFile2))
 });
 var ArtifactResult2 = Schema19.Struct({ artifactId: Schema19.String });
-var NoteRequest2 = Schema19.Struct({ text: Schema19.String, artifactId: Schema19.optional(Schema19.String) });
+var NoteRequest2 = Schema19.Struct({
+  text: Schema19.String,
+  artifactId: Schema19.optional(Schema19.String),
+  kind: Schema19.optional(Schema19.Literals(["note", "blocker"]))
+});
 var CreateTasksRequest2 = Schema19.Struct({
   tickets: Schema19.Array(PlanTicket2),
   projectId: Schema19.optionalKey(Schema19.String)
@@ -4197,10 +4211,17 @@ var scriptedHost = (script, engine, agentLaunches, childLaunches, waits, verifyL
       ...launch.mergeTarget === undefined ? undefined : { mergeTarget: launch.mergeTarget }
     })), resolve(agentDeferredNamed2(launch.deferredName), launch.token, scriptedExit(script.outputs?.[launch.step], (reason) => new StepFailed2({ step: launch.step, reason })))),
     putQuestion: (launch) => {
-      const answer = script.answers?.[launch.step] ?? (script.fullAuto === true ? launch.auto : undefined) ?? launch.default;
+      const attended = script.attended === true;
+      const auto = script.fullAuto === true ? launch.auto ?? (attended ? undefined : launch.unattendedAuto) : undefined;
+      const answer = script.answers?.[launch.step] ?? auto ?? (attended ? undefined : launch.default);
       return resolve(answerDeferred2(launch.step), launch.token, answer === undefined ? Exit3.fail(new StepFailed2({ step: launch.step, reason: "no answer was scripted" })) : Exit3.succeed(answer));
     },
-    admitChild: (launch) => Effect8.andThen(Effect8.sync(() => childLaunches.push({ step: launch.step, loop: launch.loop, input: launch.input })), resolve(childDeferred2(launch.step), launch.token, scriptedExit(script.children?.[launch.step], (reason) => new ChildFailed2({ step: launch.step, loop: launch.loop, reason })))),
+    admitChild: (launch) => Effect8.andThen(Effect8.sync(() => childLaunches.push({
+      step: launch.step,
+      loop: launch.loop,
+      input: launch.input,
+      ...launch.constraints === undefined ? undefined : { constraints: launch.constraints }
+    })), resolve(childDeferred2(launch.step), launch.token, scriptedExit(script.children?.[launch.step], (reason) => new ChildFailed2({ step: launch.step, loop: launch.loop, reason })))),
     awaitEvent: (launch) => {
       const event = script.events?.[launch.step];
       waits.push({

package/dist/loop/index.js

@@ -174,7 +174,7 @@ import {
   syncBase2,
   Continuing2,
   continuingBrief2
-} from "../chunk-08qcgk73.js";
+} from "../chunk-g7x3s4x6.js";
 export {
   AlertTaskActivity2 as AlertTaskActivity,
   AlertTaskRequest2 as AlertTaskRequest,

package/dist/program/index.js

@@ -1,5 +1,5 @@
 // @bun
-import"../chunk-08qcgk73.js";
+import"../chunk-g7x3s4x6.js";
 import {
   JournalWriteFailed2,
   refusedStep2,
@@ -17,7 +17,7 @@ import {
   networkGuard2,
   carriedKits2,
   runKit2
-} from "../chunk-epczfxnt.js";
+} from "../chunk-3qttynnn.js";
 export {
   Described2 as Described,
   JournalWriteFailed2 as JournalWriteFailed,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kitman-sh/sdk",
-  "version": "0.10.75",
+  "version": "0.10.77",
   "type": "module",
   "license": "UNLICENSED",
   "exports": {

package/types/packages/live/src/rpc/runner-client.d.ts

@@ -1156,6 +1156,7 @@ export declare const makeProgramRpcClient: (options: ConnectionOptions) => Effec
         } | undefined;
         readonly default?: string | undefined;
         readonly auto?: string | undefined;
+        readonly unattendedAuto?: string | undefined;
         readonly timeoutMillis?: number | undefined;
         readonly deferredName: string;
     }, options?: {
@@ -1324,6 +1325,7 @@ export declare const makeProgramRpcClient: (options: ConnectionOptions) => Effec
         readonly step: string;
         readonly loop: string;
         readonly input: unknown;
+        readonly constraints?: readonly string[] | undefined;
         readonly deferredName: string;
     }, options?: {
         readonly headers?: import("effect/http/Headers").Input | undefined;
@@ -1534,6 +1536,7 @@ export declare const makeProgramRpcClient: (options: ConnectionOptions) => Effec
         readonly step: string;
         readonly text: string;
         readonly artifactId?: string | undefined;
+        readonly kind?: "blocker" | "note" | undefined;
     }, options?: {
         readonly headers?: import("effect/http/Headers").Input | undefined;
         readonly context?: import("effect/Context").Context<never> | undefined;

package/types/packages/live/src/rpc/runner-group.d.ts

@@ -754,6 +754,8 @@ declare const RunnerCapabilityRpcs_base: RpcGroup.RpcGroup<Rpc.Rpc<"AdmitChild",
     step: Schema.String;
     loop: Schema.String;
     input: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    /** Constraints the Child Run's Intent starts with besides its parent's. */
+    constraints: Schema.optional<Schema.$Array<Schema.String>>;
     deferredName: Schema.String;
 }>, Schema.Struct<{
     readonly runId: Schema.String;
@@ -1143,6 +1145,8 @@ declare const RunnerCapabilityRpcs_base: RpcGroup.RpcGroup<Rpc.Rpc<"AdmitChild",
     default: Schema.optional<Schema.String>;
     /** Taken at once when the Run's Team delivers in full auto. */
     auto: Schema.optional<Schema.String>;
+    /** Taken at once when the Run's Team delivers in full auto and nobody attends the Run. */
+    unattendedAuto: Schema.optional<Schema.String>;
     timeoutMillis: Schema.optional<Schema.Finite>;
     deferredName: Schema.String;
 }>, Schema.Struct<{
@@ -1226,6 +1230,8 @@ declare const RunnerCapabilityRpcs_base: RpcGroup.RpcGroup<Rpc.Rpc<"AdmitChild",
     step: Schema.String;
     text: Schema.String;
     artifactId: Schema.optional<Schema.String>;
+    /** A `blocker` records what the Task waits on; a note when left out. */
+    kind: Schema.optional<Schema.Literals<readonly ["note", "blocker"]>>;
 }>, Schema.Void, typeof RunnerRpcError, typeof RunnerAuthentication, never> | Rpc.Rpc<"ReportPipeline", Schema.Struct<{
     lease: Schema.Struct<{
         readonly workUnitId: Schema.String;
@@ -1479,6 +1485,8 @@ export declare const ProgramRpcs: RpcGroup.RpcGroup<Rpc.Rpc<"AdmitChild", Schema
     step: Schema.String;
     loop: Schema.String;
     input: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    /** Constraints the Child Run's Intent starts with besides its parent's. */
+    constraints: Schema.optional<Schema.$Array<Schema.String>>;
     deferredName: Schema.String;
 }>, Schema.Struct<{
     readonly runId: Schema.String;
@@ -1967,6 +1975,8 @@ export declare const ProgramRpcs: RpcGroup.RpcGroup<Rpc.Rpc<"AdmitChild", Schema
     default: Schema.optional<Schema.String>;
     /** Taken at once when the Run's Team delivers in full auto. */
     auto: Schema.optional<Schema.String>;
+    /** Taken at once when the Run's Team delivers in full auto and nobody attends the Run. */
+    unattendedAuto: Schema.optional<Schema.String>;
     timeoutMillis: Schema.optional<Schema.Finite>;
     deferredName: Schema.String;
 }>, Schema.Struct<{
@@ -2063,6 +2073,8 @@ export declare const ProgramRpcs: RpcGroup.RpcGroup<Rpc.Rpc<"AdmitChild", Schema
     step: Schema.String;
     text: Schema.String;
     artifactId: Schema.optional<Schema.String>;
+    /** A `blocker` records what the Task waits on; a note when left out. */
+    kind: Schema.optional<Schema.Literals<readonly ["note", "blocker"]>>;
 }>, Schema.Void, typeof RunnerRpcError, typeof RunnerAuthentication, never> | Rpc.Rpc<"ReportPipeline", Schema.Struct<{
     lease: Schema.Struct<{
         readonly workUnitId: Schema.String;
@@ -2262,6 +2274,8 @@ export declare const RunnerRpcs: RpcGroup.RpcGroup<Rpc.Rpc<"AdmitChild", Schema.
     step: Schema.String;
     loop: Schema.String;
     input: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+    /** Constraints the Child Run's Intent starts with besides its parent's. */
+    constraints: Schema.optional<Schema.$Array<Schema.String>>;
     deferredName: Schema.String;
 }>, Schema.Struct<{
     readonly runId: Schema.String;
@@ -3203,6 +3217,8 @@ export declare const RunnerRpcs: RpcGroup.RpcGroup<Rpc.Rpc<"AdmitChild", Schema.
     default: Schema.optional<Schema.String>;
     /** Taken at once when the Run's Team delivers in full auto. */
     auto: Schema.optional<Schema.String>;
+    /** Taken at once when the Run's Team delivers in full auto and nobody attends the Run. */
+    unattendedAuto: Schema.optional<Schema.String>;
     timeoutMillis: Schema.optional<Schema.Finite>;
     deferredName: Schema.String;
 }>, Schema.Struct<{
@@ -3299,6 +3315,8 @@ export declare const RunnerRpcs: RpcGroup.RpcGroup<Rpc.Rpc<"AdmitChild", Schema.
     step: Schema.String;
     text: Schema.String;
     artifactId: Schema.optional<Schema.String>;
+    /** A `blocker` records what the Task waits on; a note when left out. */
+    kind: Schema.optional<Schema.Literals<readonly ["note", "blocker"]>>;
 }>, Schema.Void, typeof RunnerRpcError, typeof RunnerAuthentication, never> | Rpc.Rpc<"Release", Schema.Struct<{
     readonly workUnitId: Schema.String;
     readonly lease: Schema.Struct<{

package/types/packages/sdk/src/loop/activities.d.ts

@@ -50,10 +50,11 @@ export declare const ArtifactRequest: Schema.Struct<{
 export declare const ArtifactResult: Schema.Struct<{
     readonly artifactId: Schema.String;
 }>;
-/** A thread entry on the Run's Task; given an artifact, it links to it. */
+/** A thread entry on the Run's Task; given an artifact, it links to it. A `blocker` records what the Task waits on. */
 export declare const NoteRequest: Schema.Struct<{
     readonly text: Schema.String;
     readonly artifactId: Schema.optional<Schema.String>;
+    readonly kind: Schema.optional<Schema.Literals<readonly ["note", "blocker"]>>;
 }>;
 export declare const CreateTasksRequest: Schema.Struct<{
     readonly tickets: Schema.$Array<Schema.Struct<{

package/types/packages/sdk/src/loop/steps.d.ts

@@ -134,6 +134,8 @@ export type QuestionLaunch = Launch & QuestionAdvice & {
     readonly default?: string;
     /** Taken at once, with nobody asked, when the Run's Team delivers in full auto. */
     readonly auto?: string;
+    /** Taken at once, with nobody asked, when the Run's Team delivers in full auto and nobody attends the Run. */
+    readonly unattendedAuto?: string;
     readonly timeoutMillis?: number;
     /** Approving the Question approves this verification. */
     readonly verification?: SuggestedVerification;
@@ -163,6 +165,8 @@ export type ClaimLaunch = Launch & {
 export type ChildLaunch = Launch & {
     readonly loop: string;
     readonly input: Schema.Json;
+    /** Constraints the Child Run's Intent starts with besides its parent's, spelled as a person spells one. */
+    readonly constraints?: readonly string[];
 };
 /** An Event that settles a wait besides its own, with its own filter and `since`. */
 export type OtherEvent = {
@@ -263,6 +267,11 @@ type Fallback<Value extends string> = {
      * full-auto Team has handed to the Loop, such as merging a change its Review passed.
      */
     readonly auto?: Value;
+    /**
+     * The answer Kitman takes at once, asking nobody, when the Run's Team delivers in full auto and nobody attends the
+     * Run, as when full auto started it. A Run a person started still asks them.
+     */
+    readonly unattendedAuto?: Value;
 };
 /** The answer the Loop would pick and why, in one or two sentences. */
 type Recommended<Value extends string> = {
@@ -288,8 +297,13 @@ type Question<Options extends readonly QuestionOption[]> = ({
  * an option can carry a short `description` of its trade-off, and every Question recommends an answer and says why.
  */
 export declare const ask: <const Options extends readonly QuestionOption[]>(name: string, question: Question<Options>) => Effect.Effect<OptionValue<Options[number]>, CapabilityDenied | DuplicateStep | QuestionRefused | StepFailed, LoopHost | LoopRun | import("effect/workflow/WorkflowEngine").WorkflowEngine | import("effect/workflow/WorkflowEngine").WorkflowInstance>;
-/** Starts a Child Run of `loop`, a Loop or its id and schemas, and awaits its output. */
-export declare const call: <In, Out>(name: string, loop: Pick<LoopDefinition<In, Out, unknown>, 'id' | 'input' | 'output'>, input: In) => Effect.Effect<Out, CapabilityDenied | ChildFailed | DuplicateStep | StepFailed, LoopHost | LoopRun | import("effect/workflow/WorkflowEngine").WorkflowEngine | import("effect/workflow/WorkflowEngine").WorkflowInstance>;
+/**
+ * Starts a Child Run of `loop`, a Loop or its id and schemas, and awaits its output. Its Intent carries its parent's
+ * constraints and any in `options.constraints`.
+ */
+export declare const call: <In, Out>(name: string, loop: Pick<LoopDefinition<In, Out, unknown>, 'id' | 'input' | 'output'>, input: In, options?: {
+    readonly constraints?: readonly string[];
+}) => Effect.Effect<Out, CapabilityDenied | ChildFailed | DuplicateStep | StepFailed, LoopHost | LoopRun | import("effect/workflow/WorkflowEngine").WorkflowEngine | import("effect/workflow/WorkflowEngine").WorkflowInstance>;
 /**
  * Waits for an Event matching `filter`, which is data the control plane matches. A wait on a ChangeRequest's Event
  * fails with ChangeRequestClosed once that ChangeRequest is closed or merged, rather than waiting out its timeout.

package/types/packages/sdk/src/loop/test-loop.d.ts

@@ -54,6 +54,11 @@ export type TestLoopScript = {
     };
     /** Runs as a full-auto Team's Run: an unscripted Question with a full-auto answer takes it. */
     readonly fullAuto?: boolean;
+    /**
+     * Runs as a Run a person started: an unscripted Question takes only its `auto` answer, and otherwise waits for them,
+     * which fails its Step here since no time passes. Unattended by default.
+     */
+    readonly attended?: boolean;
     readonly children?: {
         readonly [step: string]: Scripted;
     };
@@ -127,6 +132,7 @@ type ChildLaunchRecord = {
     readonly step: string;
     readonly loop: string;
     readonly input: Schema.Json;
+    readonly constraints?: readonly string[];
 };
 /** The workflow a Loop's program runs as; a Run is one execution of it. */
 export declare const loopWorkflow: <In, Out, E>(loop: LoopDefinition<In, Out, E>) => Workflow.Workflow<`kitman-loop/${string}`, Schema.Struct<{

package/types/packages/sdk/src/program/engine.d.ts

@@ -43,6 +43,7 @@ export type ProgramCapabilities = {
         readonly verification?: SuggestedVerification;
         readonly default?: string;
         readonly auto?: string;
+        readonly unattendedAuto?: string;
         readonly timeoutMillis?: number;
         readonly deferredName: string;
     }) => Effect.Effect<{
@@ -92,6 +93,7 @@ export type ProgramCapabilities = {
         readonly step: string;
         readonly loop: string;
         readonly input: Schema.Json;
+        readonly constraints?: readonly string[];
         readonly deferredName: string;
     }) => Effect.Effect<{
         readonly runId: string;
@@ -132,6 +134,7 @@ export type ProgramCapabilities = {
         readonly step: string;
         readonly text: string;
         readonly artifactId?: string | undefined;
+        readonly kind?: 'note' | 'blocker' | undefined;
     }) => Effect.Effect<void, Error>;
     readonly performHostEffect: (request: {
         readonly step: string;