agent-contracts 0.13.0 → 0.14.1

package/dist/index.d.ts

@@ -70,6 +70,10 @@ declare const AgentSchema: z.ZodObject<{
             wait_for_approval: "wait_for_approval";
         }>;
     }, z.core.$loose>>>;
+    sections: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        title: z.ZodString;
+        content: z.ZodString;
+    }, z.core.$strip>>>;
     prerequisites: z.ZodOptional<z.ZodArray<z.ZodObject<{
         action: z.ZodEnum<{
             read: "read";
@@ -158,6 +162,29 @@ declare const ReportingSchema: z.ZodObject<{
     timeout_ms: z.ZodDefault<z.ZodNumber>;
 }, z.core.$loose>;
 type Reporting = z.infer<typeof ReportingSchema>;
+declare const BindingRenderTargetSchema: z.ZodObject<{
+    template: z.ZodOptional<z.ZodString>;
+    inline_template: z.ZodOptional<z.ZodString>;
+    context: z.ZodEnum<{
+        agent: "agent";
+        task: "task";
+        artifact: "artifact";
+        tool: "tool";
+        validation: "validation";
+        handoff_type: "handoff_type";
+        workflow: "workflow";
+        policy: "policy";
+        guardrail: "guardrail";
+        guardrail_policy: "guardrail_policy";
+        system: "system";
+    }>;
+    output: z.ZodString;
+    include: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    skip_empty: z.ZodOptional<z.ZodBoolean>;
+    executable: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$loose>;
+type BindingRenderTarget = z.infer<typeof BindingRenderTargetSchema>;
 declare const SoftwareBindingSchema: z.ZodObject<{
     software: z.ZodString;
     version: z.ZodLiteral<1>;
@@ -204,6 +231,28 @@ declare const SoftwareBindingSchema: z.ZodObject<{
         executable: z.ZodOptional<z.ZodBoolean>;
         skip_empty: z.ZodOptional<z.ZodBoolean>;
     }, z.core.$loose>>>;
+    renders: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        template: z.ZodOptional<z.ZodString>;
+        inline_template: z.ZodOptional<z.ZodString>;
+        context: z.ZodEnum<{
+            agent: "agent";
+            task: "task";
+            artifact: "artifact";
+            tool: "tool";
+            validation: "validation";
+            handoff_type: "handoff_type";
+            workflow: "workflow";
+            policy: "policy";
+            guardrail: "guardrail";
+            guardrail_policy: "guardrail_policy";
+            system: "system";
+        }>;
+        output: z.ZodString;
+        include: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        skip_empty: z.ZodOptional<z.ZodBoolean>;
+        executable: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$loose>>>;
     reporting: z.ZodOptional<z.ZodObject<{
         commands: z.ZodRecord<z.ZodString, z.ZodString>;
         fail_open: z.ZodDefault<z.ZodBoolean>;
@@ -212,6 +261,23 @@ declare const SoftwareBindingSchema: z.ZodObject<{
 }, z.core.$loose>;
 type SoftwareBinding = z.infer<typeof SoftwareBindingSchema>;
 
+declare const CONTEXT_TYPES: readonly ["agent", "task", "artifact", "tool", "validation", "handoff_type", "workflow", "policy", "guardrail", "guardrail_policy", "system"];
+declare const ContextTypeSchema: z.ZodEnum<{
+    agent: "agent";
+    task: "task";
+    artifact: "artifact";
+    tool: "tool";
+    validation: "validation";
+    handoff_type: "handoff_type";
+    workflow: "workflow";
+    policy: "policy";
+    guardrail: "guardrail";
+    guardrail_policy: "guardrail_policy";
+    system: "system";
+}>;
+type ContextType = z.infer<typeof ContextTypeSchema>;
+declare const ITERABLE_CONTEXT_TYPES: ("agent" | "task" | "artifact" | "tool" | "validation" | "handoff_type" | "workflow" | "policy" | "guardrail" | "guardrail_policy")[];
+
 /**
  * Reusable schema components, following the OpenAPI `components` pattern.
  *
@@ -225,21 +291,21 @@ type Components = z.infer<typeof ComponentsSchema>;
 declare const SCOPE_NODE_TYPES: readonly ["root", "system", "agent", "task", "execution_step", "artifact", "tool", "tool_command", "validation", "handoff_type", "workflow", "workflow_step", "policy", "guardrail", "guardrail_policy", "rule", "escalation_criterion", "prerequisite"];
 type ScopeNodeType = (typeof SCOPE_NODE_TYPES)[number];
 declare const ScopeNodeTypeSchema: z.ZodEnum<{
-    guardrail: "guardrail";
-    workflow: "workflow";
-    tool: "tool";
     agent: "agent";
     task: "task";
+    artifact: "artifact";
+    tool: "tool";
     validation: "validation";
-    root: "root";
+    handoff_type: "handoff_type";
+    workflow: "workflow";
+    policy: "policy";
+    guardrail: "guardrail";
+    guardrail_policy: "guardrail_policy";
     system: "system";
+    root: "root";
     execution_step: "execution_step";
-    artifact: "artifact";
     tool_command: "tool_command";
-    handoff_type: "handoff_type";
     workflow_step: "workflow_step";
-    policy: "policy";
-    guardrail_policy: "guardrail_policy";
     rule: "rule";
     escalation_criterion: "escalation_criterion";
     prerequisite: "prerequisite";
@@ -254,21 +320,21 @@ declare const XExtensionDeclSchema: z.ZodObject<{
     items: z.ZodOptional<z.ZodString>;
     description: z.ZodOptional<z.ZodString>;
     scope: z.ZodOptional<z.ZodArray<z.ZodEnum<{
-        guardrail: "guardrail";
-        workflow: "workflow";
-        tool: "tool";
         agent: "agent";
         task: "task";
+        artifact: "artifact";
+        tool: "tool";
         validation: "validation";
-        root: "root";
+        handoff_type: "handoff_type";
+        workflow: "workflow";
+        policy: "policy";
+        guardrail: "guardrail";
+        guardrail_policy: "guardrail_policy";
         system: "system";
+        root: "root";
         execution_step: "execution_step";
-        artifact: "artifact";
         tool_command: "tool_command";
-        handoff_type: "handoff_type";
         workflow_step: "workflow_step";
-        policy: "policy";
-        guardrail_policy: "guardrail_policy";
         rule: "rule";
         escalation_criterion: "escalation_criterion";
         prerequisite: "prerequisite";
@@ -323,6 +389,10 @@ declare const DslSchema: z.ZodObject<{
                 wait_for_approval: "wait_for_approval";
             }>;
         }, z.core.$loose>>>;
+        sections: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            title: z.ZodString;
+            content: z.ZodString;
+        }, z.core.$strip>>>;
         prerequisites: z.ZodOptional<z.ZodArray<z.ZodObject<{
             action: z.ZodEnum<{
                 read: "read";
@@ -423,8 +493,8 @@ declare const DslSchema: z.ZodObject<{
             fidelity: "fidelity";
         }>;
         executor_type: z.ZodEnum<{
-            tool: "tool";
             agent: "agent";
+            tool: "tool";
         }>;
         executor: z.ZodString;
         blocking: z.ZodBoolean;
@@ -544,21 +614,21 @@ declare const DslSchema: z.ZodObject<{
         items: z.ZodOptional<z.ZodString>;
         description: z.ZodOptional<z.ZodString>;
         scope: z.ZodOptional<z.ZodArray<z.ZodEnum<{
-            guardrail: "guardrail";
-            workflow: "workflow";
-            tool: "tool";
             agent: "agent";
             task: "task";
+            artifact: "artifact";
+            tool: "tool";
             validation: "validation";
-            root: "root";
+            handoff_type: "handoff_type";
+            workflow: "workflow";
+            policy: "policy";
+            guardrail: "guardrail";
+            guardrail_policy: "guardrail_policy";
             system: "system";
+            root: "root";
             execution_step: "execution_step";
-            artifact: "artifact";
             tool_command: "tool_command";
-            handoff_type: "handoff_type";
             workflow_step: "workflow_step";
-            policy: "policy";
-            guardrail_policy: "guardrail_policy";
             rule: "rule";
             escalation_criterion: "escalation_criterion";
             prerequisite: "prerequisite";
@@ -836,8 +906,8 @@ declare const ValidationSchema: z.ZodObject<{
         fidelity: "fidelity";
     }>;
     executor_type: z.ZodEnum<{
-        tool: "tool";
         agent: "agent";
+        tool: "tool";
     }>;
     executor: z.ZodString;
     blocking: z.ZodBoolean;
@@ -1050,35 +1120,20 @@ declare function spectralLint(dslObject: Record<string, unknown>): Promise<LintD
 
 declare const yamlReservedKeySafetyRule: LintRule;
 
-declare const CONTEXT_TYPES: readonly ["agent", "task", "artifact", "tool", "validation", "handoff_type", "workflow", "policy", "guardrail", "guardrail_policy", "system"];
-declare const ContextTypeSchema: z.ZodEnum<{
-    guardrail: "guardrail";
-    workflow: "workflow";
-    tool: "tool";
-    agent: "agent";
-    task: "task";
-    validation: "validation";
-    system: "system";
-    artifact: "artifact";
-    handoff_type: "handoff_type";
-    policy: "policy";
-    guardrail_policy: "guardrail_policy";
-}>;
-type ContextType = z.infer<typeof ContextTypeSchema>;
 declare const RenderTargetSchema: z.ZodObject<{
     template: z.ZodString;
     context: z.ZodEnum<{
-        guardrail: "guardrail";
-        workflow: "workflow";
-        tool: "tool";
         agent: "agent";
         task: "task";
-        validation: "validation";
-        system: "system";
         artifact: "artifact";
+        tool: "tool";
+        validation: "validation";
         handoff_type: "handoff_type";
+        workflow: "workflow";
         policy: "policy";
+        guardrail: "guardrail";
         guardrail_policy: "guardrail_policy";
+        system: "system";
     }>;
     output: z.ZodString;
     include: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -1089,26 +1144,26 @@ type RenderTarget = z.infer<typeof RenderTargetSchema>;
 declare const AgentContractsConfigSchema: z.ZodObject<{
     dsl: z.ZodString;
     vars: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-    renders: z.ZodArray<z.ZodObject<{
+    renders: z.ZodDefault<z.ZodArray<z.ZodObject<{
         template: z.ZodString;
         context: z.ZodEnum<{
-            guardrail: "guardrail";
-            workflow: "workflow";
-            tool: "tool";
             agent: "agent";
             task: "task";
-            validation: "validation";
-            system: "system";
             artifact: "artifact";
+            tool: "tool";
+            validation: "validation";
             handoff_type: "handoff_type";
+            workflow: "workflow";
             policy: "policy";
+            guardrail: "guardrail";
             guardrail_policy: "guardrail_policy";
+            system: "system";
         }>;
         output: z.ZodString;
         include: z.ZodOptional<z.ZodArray<z.ZodString>>;
         exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
         skip_empty: z.ZodOptional<z.ZodBoolean>;
-    }, z.core.$strip>>;
+    }, z.core.$strip>>>;
     bindings: z.ZodDefault<z.ZodArray<z.ZodString>>;
     active_guardrail_policy: z.ZodOptional<z.ZodString>;
     paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
@@ -1388,7 +1443,7 @@ interface ResolvedCheck {
     policy_rule: GuardrailPolicyRule;
     check: Check;
 }
-interface GuardrailGenerationContext {
+interface BindingGenerationContext {
     system: {
         id: string;
         name: string;
@@ -1405,7 +1460,14 @@ interface GuardrailGenerationContext {
         timeout_ms: number;
     } | null;
     resolved_checks: ResolvedCheck[];
+    tasks: Record<string, Task>;
+    artifacts: Record<string, Artifact>;
+    agents: Record<string, Agent>;
+    handoff_types: Record<string, HandoffType>;
+    workflow: Record<string, Workflow>;
 }
+/** @deprecated Use BindingGenerationContext */
+type GuardrailGenerationContext = BindingGenerationContext;
 interface GenerateResult {
     outputFiles: string[];
     diagnostics: GenerateDiagnostic[];
@@ -1437,4 +1499,4 @@ interface PathResolveResult {
 }
 declare function resolveBindingTargetPath(target: string, paths: Record<string, string>, bindingSoftware: string): PathResolveResult;
 
-export { type Agent, type AgentContractsConfig, AgentContractsConfigSchema, AgentSchema, type AppendOperator, AppendOperatorSchema, type Artifact, ArtifactSchema, BaseResolveError, type BindingOutput, BindingOutputSchema, CONTEXT_TYPES, type Check, CheckSchema, type Command, CommandSchema, type Components, ComponentsSchema, ConfigLoadError, type ContextType, ContextTypeSchema, type DelegatableTaskView, type DiagnosticMessage, type DimensionResult, type Dsl, DslLoadError, DslSchema, type EntityGuardrailEntry, type EntityValidationEntry, type EscalationCriterion, EscalationCriterionSchema, type ExecutionStep, ExecutionStepSchema, type Extends, ExtendsSchema, type ExternalParticipant, type GenerateDiagnostic, type GenerateGuardrailsOptions, type GenerateResult, type GlobalContext, type Guardrail, type GuardrailGenerationContext, type GuardrailPolicy, type GuardrailPolicyRule, type GuardrailPolicyRuleEscalation, GuardrailPolicyRuleEscalationSchema, GuardrailPolicyRuleSchema, GuardrailPolicySchema, GuardrailSchema, type GuardrailScope, GuardrailScopeSchema, type HandoffType, HandoffTypeSchema, type InsertAfterOperator, InsertAfterOperatorSchema, type LintDiagnostic, type LintRule, type LoadResult, type LoadedBinding, type Matcher, MatcherSchema, MergeError, type MergeableRecord, type MergedBehavioralSpec, type PathResolveResult, type PerAgentContext, type PerArtifactContext, type PerGuardrailContext, type PerGuardrailPolicyContext, 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 Reporting, ReportingSchema, type ResolveChecksResult, type ResolveResult, type ResolvedCheck, type ResolvedConfig, type ResolvedRenderTarget, type Retry, type Rule, RuleSchema, SCOPE_NODE_TYPES, type SchemaValidationResult, type ScopeNodeType, ScopeNodeTypeSchema, type ScoreResult, type Severity, type SoftwareBinding, SoftwareBindingSchema, type System, type SystemContext, SystemSchema, type Task, TaskSchema, type Tool, ToolSchema, type Validation, ValidationSchema, type VersionLiteral, VersionLiteralSchema, type Workflow, WorkflowSchema, type WorkflowStep, WorkflowStepSchema, type XExtensionDecl, XExtensionDeclSchema, buildArtifactContext, buildGlobalContext, buildGuardrailContext, buildGuardrailPolicyContext, buildHandoffTypeContext, buildPerAgentContext, buildPolicyContext, buildSystemContext, buildTaskContext, buildToolContext, buildValidationContext, buildWorkflowContext, builtinRules, checkDriftFromConfig, checkReferences, expandDefaults, generateGuardrails, lint, loadBindings, loadConfig, loadDsl, mergeDsl, renderFromConfig, resolve, resolveAllOf, resolveBase, resolveBindingTargetPath, resolveChecks, resolveDslPath, resolveEffectiveGuardrails, resolveEntityValidations, score, spectralLint, validateHandoffSchemas, validateSchema, yamlReservedKeySafetyRule };
+export { type Agent, type AgentContractsConfig, AgentContractsConfigSchema, AgentSchema, type AppendOperator, AppendOperatorSchema, type Artifact, ArtifactSchema, BaseResolveError, type BindingGenerationContext, type BindingOutput, BindingOutputSchema, type BindingRenderTarget, BindingRenderTargetSchema, CONTEXT_TYPES, type Check, CheckSchema, type Command, CommandSchema, type Components, ComponentsSchema, ConfigLoadError, type ContextType, ContextTypeSchema, type DelegatableTaskView, type DiagnosticMessage, type DimensionResult, type Dsl, DslLoadError, DslSchema, type EntityGuardrailEntry, type EntityValidationEntry, type EscalationCriterion, EscalationCriterionSchema, type ExecutionStep, ExecutionStepSchema, type Extends, ExtendsSchema, type ExternalParticipant, type GenerateDiagnostic, type GenerateGuardrailsOptions, type GenerateResult, type GlobalContext, type Guardrail, type GuardrailGenerationContext, type GuardrailPolicy, type GuardrailPolicyRule, type GuardrailPolicyRuleEscalation, GuardrailPolicyRuleEscalationSchema, GuardrailPolicyRuleSchema, GuardrailPolicySchema, GuardrailSchema, type GuardrailScope, GuardrailScopeSchema, type HandoffType, HandoffTypeSchema, ITERABLE_CONTEXT_TYPES, type InsertAfterOperator, InsertAfterOperatorSchema, type LintDiagnostic, type LintRule, type LoadResult, type LoadedBinding, type Matcher, MatcherSchema, MergeError, type MergeableRecord, type MergedBehavioralSpec, type PathResolveResult, type PerAgentContext, type PerArtifactContext, type PerGuardrailContext, type PerGuardrailPolicyContext, 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 Reporting, ReportingSchema, type ResolveChecksResult, type ResolveResult, type ResolvedCheck, type ResolvedConfig, type ResolvedRenderTarget, type Retry, type Rule, RuleSchema, SCOPE_NODE_TYPES, type SchemaValidationResult, type ScopeNodeType, ScopeNodeTypeSchema, type ScoreResult, type Severity, type SoftwareBinding, SoftwareBindingSchema, type System, type SystemContext, SystemSchema, type Task, TaskSchema, type Tool, ToolSchema, type Validation, ValidationSchema, type VersionLiteral, VersionLiteralSchema, type Workflow, WorkflowSchema, type WorkflowStep, WorkflowStepSchema, type XExtensionDecl, XExtensionDeclSchema, buildArtifactContext, buildGlobalContext, buildGuardrailContext, buildGuardrailPolicyContext, buildHandoffTypeContext, buildPerAgentContext, buildPolicyContext, buildSystemContext, buildTaskContext, buildToolContext, buildValidationContext, buildWorkflowContext, builtinRules, checkDriftFromConfig, checkReferences, expandDefaults, generateGuardrails, lint, loadBindings, loadConfig, loadDsl, mergeDsl, renderFromConfig, resolve, resolveAllOf, resolveBase, resolveBindingTargetPath, resolveChecks, resolveDslPath, resolveEffectiveGuardrails, resolveEntityValidations, score, spectralLint, validateHandoffSchemas, validateSchema, yamlReservedKeySafetyRule };