agent-contracts 0.12.3 → 0.13.0

package/dist/index.d.ts

@@ -222,6 +222,28 @@ 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 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";
+    validation: "validation";
+    root: "root";
+    system: "system";
+    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";
+}>;
 /**
  * Declaration of project-specific `x-*` extension fields.
  * Each key must start with `x-` and describes the expected type/shape
@@ -231,6 +253,28 @@ declare const XExtensionDeclSchema: z.ZodObject<{
     type: z.ZodString;
     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";
+        validation: "validation";
+        root: "root";
+        system: "system";
+        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";
+    }>>>;
+    schema: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+    required: z.ZodDefault<z.ZodBoolean>;
 }, z.core.$strip>;
 type XExtensionDecl = z.infer<typeof XExtensionDeclSchema>;
 declare const DslSchema: z.ZodObject<{
@@ -495,11 +539,34 @@ declare const DslSchema: z.ZodObject<{
     components: z.ZodDefault<z.ZodObject<{
         schemas: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodAny>>>;
     }, z.core.$loose>>;
-    "x-extensions": z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+    extensions: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
         type: z.ZodString;
         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";
+            validation: "validation";
+            root: "root";
+            system: "system";
+            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";
+        }>>>;
+        schema: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+        required: z.ZodDefault<z.ZodBoolean>;
     }, z.core.$strip>>>;
+    extensions_strict: z.ZodDefault<z.ZodBoolean>;
 }, z.core.$loose>;
 type Dsl = z.infer<typeof DslSchema>;
 
@@ -934,6 +1001,7 @@ interface DiagnosticMessage {
     path: string;
     message: string;
     code: string;
+    severity?: "error" | "warning";
 }
 interface SchemaValidationResult {
     success: boolean;
@@ -991,9 +1059,9 @@ declare const ContextTypeSchema: z.ZodEnum<{
     task: "task";
     validation: "validation";
     system: "system";
-    policy: "policy";
     artifact: "artifact";
     handoff_type: "handoff_type";
+    policy: "policy";
     guardrail_policy: "guardrail_policy";
 }>;
 type ContextType = z.infer<typeof ContextTypeSchema>;
@@ -1007,9 +1075,9 @@ declare const RenderTargetSchema: z.ZodObject<{
         task: "task";
         validation: "validation";
         system: "system";
-        policy: "policy";
         artifact: "artifact";
         handoff_type: "handoff_type";
+        policy: "policy";
         guardrail_policy: "guardrail_policy";
     }>;
     output: z.ZodString;
@@ -1031,9 +1099,9 @@ declare const AgentContractsConfigSchema: z.ZodObject<{
             task: "task";
             validation: "validation";
             system: "system";
-            policy: "policy";
             artifact: "artifact";
             handoff_type: "handoff_type";
+            policy: "policy";
             guardrail_policy: "guardrail_policy";
         }>;
         output: z.ZodString;
@@ -1128,6 +1196,14 @@ interface EntityGuardrailEntry {
     severity?: string;
     action?: string;
 }
+interface EntityValidationEntry {
+    validation_id: string;
+    kind: string;
+    target_artifact: string;
+    executor_type: string;
+    blocking: boolean;
+    produces_evidence?: string;
+}
 interface PerTaskContext {
     task: Task & {
         id: string;
@@ -1136,6 +1212,7 @@ interface PerTaskContext {
         id: string;
     }) | null;
     relatedGuardrails: EntityGuardrailEntry[];
+    relatedValidations: EntityValidationEntry[];
     dsl: Dsl;
     [key: string]: unknown;
 }
@@ -1161,6 +1238,7 @@ interface PerToolContext {
     inputArtifactDetails: Dsl["artifacts"];
     outputArtifactDetails: Dsl["artifacts"];
     relatedGuardrails: EntityGuardrailEntry[];
+    relatedValidations: EntityValidationEntry[];
     dsl: Dsl;
     [key: string]: unknown;
 }
@@ -1252,6 +1330,7 @@ interface PerAgentContext {
     relatedHandoffTypes: Dsl["handoff_types"];
     mergedBehavior: MergedBehavioralSpec;
     relatedGuardrails: EntityGuardrailEntry[];
+    relatedValidations: EntityValidationEntry[];
     dsl: Dsl;
     [key: string]: unknown;
 }
@@ -1262,6 +1341,11 @@ declare function buildSystemContext(dsl: Dsl, options?: {
 }): SystemContext;
 type EntityType = "agents" | "tasks" | "tools" | "artifacts";
 declare function resolveEffectiveGuardrails(dsl: Dsl, entityType: EntityType, entityId: string): EntityGuardrailEntry[];
+/**
+ * Resolves validation IDs for an agent, task, or tool into full entries for prompts.
+ * For tools, includes validations where executor_type is "tool" and executor is the tool id.
+ */
+declare function resolveEntityValidations(dsl: Dsl, entityType: "agents" | "tasks" | "tools", entityId: string): EntityValidationEntry[];
 declare function buildTaskContext(dsl: Dsl, taskId: string): PerTaskContext;
 declare function buildArtifactContext(dsl: Dsl, artifactId: string): PerArtifactContext;
 declare function buildToolContext(dsl: Dsl, toolId: string): PerToolContext;
@@ -1353,4 +1437,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 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, type SchemaValidationResult, 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, score, spectralLint, validateHandoffSchemas, validateSchema, yamlReservedKeySafetyRule };
+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 };