@kitman-sh/sdk 0.10.69 → 0.10.71

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

@@ -260,6 +260,25 @@ export declare const PipelineStatus: Schema.Struct<{
      * with `verify` on the head and posts the result with `reportPipeline`, and may do so again for a failure it doubts.
      */
     readonly runnerChecks: Schema.optionalKey<Schema.$Array<Schema.String>>;
+    /** The newest head of the ChangeRequest an approval in Kitman covers, with no request for changes on it since. */
+    readonly approved: Schema.optionalKey<Schema.String>;
+    /** The ChangeRequest's RepoBinding. */
+    readonly repository: Schema.optionalKey<Schema.String>;
+    /**
+     * While the pipeline fails: the head of the ChangeRequest's target branch and the forge's checks on it, none where
+     * the forge runs no pipeline. Left out when the forge could not say.
+     */
+    readonly target: Schema.optionalKey<Schema.Struct<{
+        readonly branch: Schema.String;
+        readonly head: Schema.String;
+        readonly jobs: Schema.$Array<Schema.Struct<{
+            readonly name: Schema.String;
+            readonly status: Schema.Literals<readonly ["running", "success", "failed", "skipped"]>;
+            readonly url: Schema.optional<Schema.String>;
+            /** The redacted end of a failed job's log, at most 4000 characters, where the forge serves job logs. */
+            readonly logTail: Schema.optional<Schema.String>;
+        }>>;
+    }>>;
 }>;
 export type PipelineStatus = typeof PipelineStatus.Type;
 /** A review conversation not yet resolved, with its comments oldest first. */
@@ -728,6 +747,18 @@ export declare const pipelineStatus: (name: string, request: typeof ChangeReques
     }[];
     readonly readAt?: string;
     readonly runnerChecks?: readonly string[];
+    readonly approved?: string;
+    readonly repository?: string;
+    readonly target?: {
+        readonly branch: string;
+        readonly head: string;
+        readonly jobs: readonly {
+            readonly name: string;
+            readonly status: "failed" | "running" | "skipped" | "success";
+            readonly url?: string | undefined;
+            readonly logTail?: string | undefined;
+        }[];
+    };
 }, import("./steps").CapabilityDenied | import("./steps").DuplicateStep | StepFailed, ChangeRequestReadActivity | import("./steps").LoopRun | import("effect/workflow/WorkflowEngine").WorkflowEngine | import("effect/workflow/WorkflowEngine").WorkflowInstance>;
 /** A ChangeRequest's unresolved review conversations, read when the Step runs. */
 export declare const reviewThreads: (name: string, request: typeof ChangeRequestReadRequest.Type) => Effect.Effect<{

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

@@ -15,6 +15,10 @@ export declare const EvidenceCheck: Schema.Struct<{
     readonly outputTail: Schema.optionalKey<Schema.String>;
     /** An agent suggested it because the repository has none approved; a person should check it. */
     readonly suggested: Schema.optionalKey<Schema.Boolean>;
+    /** Tests its JUnit reports show ran on the baseline and were skipped on this tree. */
+    readonly skippedSinceBaseline: Schema.optionalKey<Schema.$Array<Schema.String>>;
+    /** Tests new on this tree that its JUnit reports show skipped, so they never ran. */
+    readonly newNotRun: Schema.optionalKey<Schema.$Array<Schema.String>>;
 }>;
 export type EvidenceCheck = typeof EvidenceCheck.Type;
 /** Evidence for a revision; `tree` is its git tree id, and the evidence holds for any revision with that tree. */
@@ -37,6 +41,10 @@ export declare const VerifyResult: Schema.Struct<{
         readonly outputTail: Schema.optionalKey<Schema.String>;
         /** An agent suggested it because the repository has none approved; a person should check it. */
         readonly suggested: Schema.optionalKey<Schema.Boolean>;
+        /** Tests its JUnit reports show ran on the baseline and were skipped on this tree. */
+        readonly skippedSinceBaseline: Schema.optionalKey<Schema.$Array<Schema.String>>;
+        /** Tests new on this tree that its JUnit reports show skipped, so they never ran. */
+        readonly newNotRun: Schema.optionalKey<Schema.$Array<Schema.String>>;
     }>>;
 }>;
 export type VerifyResult = typeof VerifyResult.Type;
@@ -77,5 +85,13 @@ export type EvidenceVerdict = {
     readonly reasons: readonly string[];
 };
 export declare const failsOn: (side: 'base' | 'head', name: string, tree: string | undefined) => string;
-/** Whether the Run's evidence closes its Outcome, per `OutcomeTable`; claims in Outputs never count. */
+/**
+ * Each check's tests that verify never ran on the tree, which a passing check does not vouch for: new tests it skipped,
+ * and tests the baseline ran that it skipped.
+ */
+export declare const testsNotRunReasons: (result: VerifyResult) => string[];
+/**
+ * Whether the Run's evidence closes its Outcome, per `OutcomeTable`; claims in Outputs never count, and neither do tests
+ * the head's checks skipped where the baseline ran them or did not have them.
+ */
 export declare const evidenceGate: (input: EvidenceGateInput) => EvidenceVerdict;

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

@@ -216,6 +216,8 @@ export declare const verifyDeferred: (step: string) => DurableDeferred.DurableDe
         readonly evidenceId: Schema.String;
         readonly outputTail: Schema.optionalKey<Schema.String>;
         readonly suggested: Schema.optionalKey<Schema.Boolean>;
+        readonly skippedSinceBaseline: Schema.optionalKey<Schema.$Array<Schema.String>>;
+        readonly newNotRun: Schema.optionalKey<Schema.$Array<Schema.String>>;
     }>>;
 }>, typeof StepFailed>;
 /** Claims the Step name for this Run and checks its capability before running it. */
@@ -338,6 +340,8 @@ export declare const verify: (name: string, request: {
         readonly evidenceId: string;
         readonly outputTail?: string;
         readonly suggested?: boolean;
+        readonly skippedSinceBaseline?: readonly string[];
+        readonly newNotRun?: readonly string[];
     }[];
 }, CapabilityDenied | DuplicateStep | StepFailed, LoopHost | LoopRun | import("effect/workflow/WorkflowEngine").WorkflowEngine | import("effect/workflow/WorkflowEngine").WorkflowInstance>;
 /** Asks a human to approve a verification, for example one an agent's Output suggested. */

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

@@ -73,6 +73,15 @@ export type TestLoopScript = {
     readonly claims?: {
         readonly [step: string]: ClaimResult;
     };
+    /**
+     * Settles each claim and let go itself, as a queue that several test Runs share does: what it gives a claim wins over
+     * `claims`, and a claim waits for as long as it takes.
+     */
+    readonly claimed?: (request: {
+        readonly step: string;
+        readonly resource: string;
+        readonly action: 'claim' | 'take_over' | 'let_go';
+    }) => Effect.Effect<ClaimResult | undefined>;
     /** What the control plane grants; the declared capabilities by default. */
     readonly grant?: readonly LoopCapability[];
     /** Replaces the default host Activities method by method; a method left out keeps its default. */