agent-contracts 0.8.0 → 0.10.0

package/dist/index.d.ts

@@ -94,6 +94,16 @@ declare const ArtifactSchema: z.ZodObject<{
 }, z.core.$loose>;
 type Artifact = z.infer<typeof ArtifactSchema>;
 
+/**
+ * Reusable schema components, following the OpenAPI `components` pattern.
+ *
+ * `schemas` is a map of named JSON Schema fragments that can be referenced
+ * from anywhere in the document via `$ref: "#/components/schemas/<name>"`.
+ */
+declare const ComponentsSchema: z.ZodObject<{
+    schemas: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodAny>>>;
+}, z.core.$loose>;
+type Components = z.infer<typeof ComponentsSchema>;
 declare const DslSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     extends: z.ZodOptional<z.ZodString>;
@@ -196,6 +206,7 @@ declare const DslSchema: z.ZodObject<{
                 wait_for_approval: "wait_for_approval";
             }>;
         }, z.core.$loose>>>;
+        validations: z.ZodDefault<z.ZodArray<z.ZodString>>;
     }, z.core.$loose>>>;
     artifacts: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
         type: z.ZodString;
@@ -242,7 +253,7 @@ declare const DslSchema: z.ZodObject<{
     handoff_types: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
         version: z.ZodNumber;
         description: z.ZodOptional<z.ZodString>;
-        payload: z.ZodRecord<z.ZodString, z.ZodAny>;
+        schema: z.ZodRecord<z.ZodString, z.ZodAny>;
         example: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
     }, z.core.$loose>>>;
     workflow: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
@@ -250,6 +261,22 @@ declare const DslSchema: z.ZodObject<{
         entry_conditions: z.ZodDefault<z.ZodArray<z.ZodString>>;
         trigger: z.ZodOptional<z.ZodString>;
         steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"delegate">;
+            description: z.ZodOptional<z.ZodString>;
+            task: z.ZodString;
+            from_agent: z.ZodString;
+            group: z.ZodOptional<z.ZodString>;
+            retry: z.ZodOptional<z.ZodObject<{
+                condition: z.ZodString;
+                fix_task: z.ZodString;
+                revalidate_task: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$loose>, z.ZodObject<{
+            type: z.ZodLiteral<"gate">;
+            description: z.ZodOptional<z.ZodString>;
+            gate_kind: z.ZodString;
+            group: z.ZodOptional<z.ZodString>;
+        }, z.core.$loose>, z.ZodObject<{
             type: z.ZodLiteral<"handoff">;
             description: z.ZodOptional<z.ZodString>;
             handoff_kind: z.ZodString;
@@ -291,17 +318,35 @@ declare const DslSchema: z.ZodObject<{
         requires_validations: z.ZodOptional<z.ZodArray<z.ZodString>>;
         requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$loose>>>;
+    components: z.ZodDefault<z.ZodObject<{
+        schemas: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodAny>>>;
+    }, z.core.$loose>>;
 }, z.core.$loose>;
 type Dsl = z.infer<typeof DslSchema>;
 
+/**
+ * Zod schema for a handoff type definition.
+ *
+ * `schema` holds a JSON Schema object describing the full message structure
+ * for this handoff type. It may use `allOf` to compose shared fragments
+ * (e.g., from `components.schemas`) with type-specific properties.
+ */
 declare const HandoffTypeSchema: z.ZodObject<{
     version: z.ZodNumber;
     description: z.ZodOptional<z.ZodString>;
-    payload: z.ZodRecord<z.ZodString, z.ZodAny>;
+    schema: z.ZodRecord<z.ZodString, z.ZodAny>;
     example: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
 }, z.core.$loose>;
 type HandoffType = z.infer<typeof HandoffTypeSchema>;
 
+type AnyRecord$1 = Record<string, unknown>;
+/**
+ * Shallow-merge an array of JSON Schema subschemas from an `allOf`.
+ * Merges `properties`, `required`, and top-level scalars (`type`, `description`, etc.).
+ * Handles one level of nesting only (sufficient for handoff schema composition).
+ */
+declare function resolveAllOf(schema: AnyRecord$1): AnyRecord$1;
+
 declare const AppendOperatorSchema: z.ZodObject<{
     $append: z.ZodRecord<z.ZodString, z.ZodAny>;
 }, z.core.$strip>;
@@ -427,6 +472,7 @@ declare const TaskSchema: z.ZodObject<{
             wait_for_approval: "wait_for_approval";
         }>;
     }, z.core.$loose>>>;
+    validations: z.ZodDefault<z.ZodArray<z.ZodString>>;
 }, z.core.$loose>;
 type Task = z.infer<typeof TaskSchema>;
 
@@ -490,6 +536,22 @@ declare const ExternalParticipantSchema: z.ZodObject<{
 }, z.core.$strip>;
 type ExternalParticipant = z.infer<typeof ExternalParticipantSchema>;
 declare const WorkflowStepSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"delegate">;
+    description: z.ZodOptional<z.ZodString>;
+    task: z.ZodString;
+    from_agent: z.ZodString;
+    group: z.ZodOptional<z.ZodString>;
+    retry: z.ZodOptional<z.ZodObject<{
+        condition: z.ZodString;
+        fix_task: z.ZodString;
+        revalidate_task: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$loose>, z.ZodObject<{
+    type: z.ZodLiteral<"gate">;
+    description: z.ZodOptional<z.ZodString>;
+    gate_kind: z.ZodString;
+    group: z.ZodOptional<z.ZodString>;
+}, z.core.$loose>, z.ZodObject<{
     type: z.ZodLiteral<"handoff">;
     description: z.ZodOptional<z.ZodString>;
     handoff_kind: z.ZodString;
@@ -519,6 +581,22 @@ declare const WorkflowSchema: z.ZodObject<{
     entry_conditions: z.ZodDefault<z.ZodArray<z.ZodString>>;
     trigger: z.ZodOptional<z.ZodString>;
     steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        type: z.ZodLiteral<"delegate">;
+        description: z.ZodOptional<z.ZodString>;
+        task: z.ZodString;
+        from_agent: z.ZodString;
+        group: z.ZodOptional<z.ZodString>;
+        retry: z.ZodOptional<z.ZodObject<{
+            condition: z.ZodString;
+            fix_task: z.ZodString;
+            revalidate_task: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$loose>, z.ZodObject<{
+        type: z.ZodLiteral<"gate">;
+        description: z.ZodOptional<z.ZodString>;
+        gate_kind: z.ZodString;
+        group: z.ZodOptional<z.ZodString>;
+    }, z.core.$loose>, z.ZodObject<{
         type: z.ZodLiteral<"handoff">;
         description: z.ZodOptional<z.ZodString>;
         handoff_kind: z.ZodString;
@@ -601,6 +679,15 @@ interface ReferenceDiagnostic {
 }
 declare function checkReferences(dsl: Dsl): ReferenceDiagnostic[];
 
+/**
+ * Meta-validate all `handoff_types.*.schema` entries as valid JSON Schema.
+ *
+ * Uses ajv's `validateSchema` to check that each schema is structurally
+ * valid according to the JSON Schema specification. Returns diagnostics
+ * with code `"invalid-handoff-schema"` for any violations.
+ */
+declare function validateHandoffSchemas(dsl: Dsl): ReferenceDiagnostic[];
+
 type Severity = "error" | "warning" | "info";
 interface LintDiagnostic {
     ruleId: string;
@@ -842,4 +929,4 @@ declare class ConfigLoadError extends Error {
 declare function loadConfig(configPath?: string): Promise<ResolvedConfig | null>;
 declare function resolveDslPath(dirArg: string | undefined, dirArgDefault: string, config: ResolvedConfig | null): string;
 
-export { type Agent, type AgentContractsConfig, AgentContractsConfigSchema, AgentSchema, type AppendOperator, AppendOperatorSchema, type Artifact, ArtifactSchema, BaseResolveError, CONTEXT_TYPES, type Command, CommandSchema, ConfigLoadError, type ContextType, ContextTypeSchema, type DelegatableTaskView, type DiagnosticMessage, type Dsl, DslLoadError, DslSchema, type EscalationCriterion, EscalationCriterionSchema, type ExecutionStep, ExecutionStepSchema, type Extends, ExtendsSchema, type ExternalParticipant, type GlobalContext, type HandoffType, HandoffTypeSchema, type InsertAfterOperator, InsertAfterOperatorSchema, type LintDiagnostic, type LintRule, type LoadResult, MergeError, type MergeableRecord, type MergedBehavioralSpec, type PerAgentContext, type PerArtifactContext, type PerHandoffTypeContext, type PerPolicyContext, type PerTaskContext, type PerToolContext, type PerValidationContext, type PerWorkflowContext, type Policy, PolicySchema, type PolicyWhen, PolicyWhenSchema, type PrependOperator, PrependOperatorSchema, type Prerequisite, PrerequisiteSchema, type ReferenceDiagnostic, type RemoveOperator, RemoveOperatorSchema, type RenderTarget, RenderTargetSchema, type ReplaceOperator, ReplaceOperatorSchema, type ResolveResult, type ResolvedConfig, type ResolvedRenderTarget, type Retry, type Rule, RuleSchema, type SchemaValidationResult, type Severity, type System, type SystemContext, SystemSchema, type Task, TaskSchema, type Tool, ToolSchema, type Validation, ValidationSchema, type VersionLiteral, VersionLiteralSchema, type Workflow, WorkflowSchema, type WorkflowStep, WorkflowStepSchema, buildArtifactContext, buildGlobalContext, buildHandoffTypeContext, buildPerAgentContext, buildPolicyContext, buildSystemContext, buildTaskContext, buildToolContext, buildValidationContext, buildWorkflowContext, builtinRules, checkDriftFromConfig, checkReferences, lint, loadConfig, loadDsl, mergeDsl, renderFromConfig, resolve, resolveBase, resolveDslPath, spectralLint, validateSchema };
+export { type Agent, type AgentContractsConfig, AgentContractsConfigSchema, AgentSchema, type AppendOperator, AppendOperatorSchema, type Artifact, ArtifactSchema, BaseResolveError, CONTEXT_TYPES, type Command, CommandSchema, type Components, ComponentsSchema, ConfigLoadError, type ContextType, ContextTypeSchema, type DelegatableTaskView, type DiagnosticMessage, type Dsl, DslLoadError, DslSchema, type EscalationCriterion, EscalationCriterionSchema, type ExecutionStep, ExecutionStepSchema, type Extends, ExtendsSchema, type ExternalParticipant, type GlobalContext, type HandoffType, HandoffTypeSchema, type InsertAfterOperator, InsertAfterOperatorSchema, type LintDiagnostic, type LintRule, type LoadResult, MergeError, type MergeableRecord, type MergedBehavioralSpec, type PerAgentContext, type PerArtifactContext, type PerHandoffTypeContext, type PerPolicyContext, type PerTaskContext, type PerToolContext, type PerValidationContext, type PerWorkflowContext, type Policy, PolicySchema, type PolicyWhen, PolicyWhenSchema, type PrependOperator, PrependOperatorSchema, type Prerequisite, PrerequisiteSchema, type ReferenceDiagnostic, type RemoveOperator, RemoveOperatorSchema, type RenderTarget, RenderTargetSchema, type ReplaceOperator, ReplaceOperatorSchema, type ResolveResult, type ResolvedConfig, type ResolvedRenderTarget, type Retry, type Rule, RuleSchema, type SchemaValidationResult, type Severity, type System, type SystemContext, SystemSchema, type Task, TaskSchema, type Tool, ToolSchema, type Validation, ValidationSchema, type VersionLiteral, VersionLiteralSchema, type Workflow, WorkflowSchema, type WorkflowStep, WorkflowStepSchema, buildArtifactContext, buildGlobalContext, buildHandoffTypeContext, buildPerAgentContext, buildPolicyContext, buildSystemContext, buildTaskContext, buildToolContext, buildValidationContext, buildWorkflowContext, builtinRules, checkDriftFromConfig, checkReferences, lint, loadConfig, loadDsl, mergeDsl, renderFromConfig, resolve, resolveAllOf, resolveBase, resolveDslPath, spectralLint, validateHandoffSchemas, validateSchema };