agent-contracts 0.24.1 → 0.30.0

package/dist/index.d.ts

@@ -46,6 +46,7 @@ type Prerequisite = z.infer<typeof PrerequisiteSchema>;
 declare const AgentSchema: z.ZodObject<{
     role_name: z.ZodString;
     purpose: z.ZodString;
+    own_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
     can_read_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
     can_write_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
     can_execute_tools: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -213,6 +214,7 @@ declare const BindingRenderTargetSchema: z.ZodObject<{
         guardrail: "guardrail";
         guardrail_policy: "guardrail_policy";
         system: "system";
+        navigation_index: "navigation_index";
     }>;
     output: z.ZodString;
     include: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -282,6 +284,7 @@ declare const SoftwareBindingSchema: z.ZodObject<{
             guardrail: "guardrail";
             guardrail_policy: "guardrail_policy";
             system: "system";
+            navigation_index: "navigation_index";
         }>;
         output: z.ZodString;
         include: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -297,7 +300,7 @@ 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 CONTEXT_TYPES: readonly ["agent", "task", "artifact", "tool", "validation", "handoff_type", "workflow", "policy", "guardrail", "guardrail_policy", "system", "navigation_index"];
 declare const ContextTypeSchema: z.ZodEnum<{
     workflow: "workflow";
     agent: "agent";
@@ -310,6 +313,7 @@ declare const ContextTypeSchema: z.ZodEnum<{
     guardrail: "guardrail";
     guardrail_policy: "guardrail_policy";
     system: "system";
+    navigation_index: "navigation_index";
 }>;
 type ContextType = z.infer<typeof ContextTypeSchema>;
 declare const ITERABLE_CONTEXT_TYPES: ("workflow" | "agent" | "task" | "artifact" | "tool" | "validation" | "handoff_type" | "policy" | "guardrail" | "guardrail_policy")[];
@@ -401,6 +405,7 @@ declare const DslSchema: z.ZodObject<{
     agents: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
         role_name: z.ZodString;
         purpose: z.ZodString;
+        own_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
         can_read_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
         can_write_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
         can_execute_tools: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -476,6 +481,16 @@ declare const DslSchema: z.ZodObject<{
             uses_tool: z.ZodOptional<z.ZodString>;
             produces_artifact: z.ZodOptional<z.ZodString>;
             reads_artifact: z.ZodOptional<z.ZodString>;
+            validates_artifact: z.ZodOptional<z.ZodString>;
+            validation_kind: z.ZodOptional<z.ZodEnum<{
+                schema: "schema";
+                mechanical: "mechanical";
+                semantic: "semantic";
+                approval: "approval";
+                provenance: "provenance";
+                traceability: "traceability";
+                fidelity: "fidelity";
+            }>>;
             depends_on: z.ZodOptional<z.ZodArray<z.ZodString>>;
             skip_condition: z.ZodOptional<z.ZodString>;
             wait_for_approval: z.ZodOptional<z.ZodBoolean>;
@@ -548,11 +563,15 @@ declare const DslSchema: z.ZodObject<{
         }>>;
     }, z.core.$loose>>>;
     tools: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
-        kind: z.ZodString;
+        kind: z.ZodOptional<z.ZodString>;
+        extends: z.ZodOptional<z.ZodString>;
+        command: z.ZodOptional<z.ZodString>;
         description: z.ZodOptional<z.ZodString>;
         input_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
         output_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
         invokable_by: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        cli_contract: z.ZodOptional<z.ZodString>;
+        artifact_bindings: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
         side_effects: z.ZodDefault<z.ZodArray<z.ZodString>>;
         commands: z.ZodDefault<z.ZodArray<z.ZodObject<{
             command: z.ZodString;
@@ -574,11 +593,11 @@ declare const DslSchema: z.ZodObject<{
             traceability: "traceability";
             fidelity: "fidelity";
         }>;
-        executor_type: z.ZodEnum<{
+        executor_type: z.ZodOptional<z.ZodEnum<{
             agent: "agent";
             tool: "tool";
-        }>;
-        executor: z.ZodString;
+        }>>;
+        executor: z.ZodOptional<z.ZodString>;
         blocking: z.ZodBoolean;
         produces_evidence: z.ZodOptional<z.ZodString>;
         description: z.ZodOptional<z.ZodString>;
@@ -991,6 +1010,16 @@ declare const ExecutionStepSchema: z.ZodObject<{
     uses_tool: z.ZodOptional<z.ZodString>;
     produces_artifact: z.ZodOptional<z.ZodString>;
     reads_artifact: z.ZodOptional<z.ZodString>;
+    validates_artifact: z.ZodOptional<z.ZodString>;
+    validation_kind: z.ZodOptional<z.ZodEnum<{
+        schema: "schema";
+        mechanical: "mechanical";
+        semantic: "semantic";
+        approval: "approval";
+        provenance: "provenance";
+        traceability: "traceability";
+        fidelity: "fidelity";
+    }>>;
     depends_on: z.ZodOptional<z.ZodArray<z.ZodString>>;
     skip_condition: z.ZodOptional<z.ZodString>;
     wait_for_approval: z.ZodOptional<z.ZodBoolean>;
@@ -1016,6 +1045,16 @@ declare const TaskSchema: z.ZodObject<{
         uses_tool: z.ZodOptional<z.ZodString>;
         produces_artifact: z.ZodOptional<z.ZodString>;
         reads_artifact: z.ZodOptional<z.ZodString>;
+        validates_artifact: z.ZodOptional<z.ZodString>;
+        validation_kind: z.ZodOptional<z.ZodEnum<{
+            schema: "schema";
+            mechanical: "mechanical";
+            semantic: "semantic";
+            approval: "approval";
+            provenance: "provenance";
+            traceability: "traceability";
+            fidelity: "fidelity";
+        }>>;
         depends_on: z.ZodOptional<z.ZodArray<z.ZodString>>;
         skip_condition: z.ZodOptional<z.ZodString>;
         wait_for_approval: z.ZodOptional<z.ZodBoolean>;
@@ -1067,11 +1106,15 @@ declare const CommandSchema: z.ZodObject<{
 }, z.core.$strip>;
 type Command = z.infer<typeof CommandSchema>;
 declare const ToolSchema: z.ZodObject<{
-    kind: z.ZodString;
+    kind: z.ZodOptional<z.ZodString>;
+    extends: z.ZodOptional<z.ZodString>;
+    command: z.ZodOptional<z.ZodString>;
     description: z.ZodOptional<z.ZodString>;
     input_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
     output_artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
     invokable_by: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    cli_contract: z.ZodOptional<z.ZodString>;
+    artifact_bindings: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
     side_effects: z.ZodDefault<z.ZodArray<z.ZodString>>;
     commands: z.ZodDefault<z.ZodArray<z.ZodObject<{
         command: z.ZodString;
@@ -1095,11 +1138,11 @@ declare const ValidationSchema: z.ZodObject<{
         traceability: "traceability";
         fidelity: "fidelity";
     }>;
-    executor_type: z.ZodEnum<{
+    executor_type: z.ZodOptional<z.ZodEnum<{
         agent: "agent";
         tool: "tool";
-    }>;
-    executor: z.ZodString;
+    }>>;
+    executor: z.ZodOptional<z.ZodString>;
     blocking: z.ZodBoolean;
     produces_evidence: z.ZodOptional<z.ZodString>;
     description: z.ZodOptional<z.ZodString>;
@@ -1367,6 +1410,7 @@ declare const RenderTargetSchema: z.ZodObject<{
         guardrail: "guardrail";
         guardrail_policy: "guardrail_policy";
         system: "system";
+        navigation_index: "navigation_index";
     }>;
     output: z.ZodString;
     include: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -1398,6 +1442,7 @@ declare const AgentContractsConfigSchema: z.ZodObject<{
             guardrail: "guardrail";
             guardrail_policy: "guardrail_policy";
             system: "system";
+            navigation_index: "navigation_index";
         }>;
         output: z.ZodString;
         include: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -1519,7 +1564,7 @@ interface EntityValidationEntry {
     validation_id: string;
     kind: string;
     target_artifact: string;
-    executor_type: string;
+    executor_type?: string;
     blocking: boolean;
     produces_evidence?: string;
 }
@@ -1701,6 +1746,74 @@ interface ScoreResult {
 
 declare function score(dsl: Dsl): ScoreResult;
 
+type ProjectNavigationIndex = {
+    version: string;
+    generated_at: string;
+    system: {
+        id: string;
+        name: string;
+    };
+    artifacts: Record<string, CompiledArtifactNode>;
+};
+type CompiledArtifactNode = {
+    id: string;
+    files: {
+        path_patterns: string[];
+        exclude_patterns: string[];
+    };
+    properties: {
+        type: string;
+        authority: "canonical" | "derived" | "generated" | "control";
+        manual_edit: "allowed" | "discouraged" | "forbidden";
+        change_control: "none" | "approval-required" | "regeneration-required";
+    };
+    relations: {
+        source_artifacts: string[];
+        derived_artifacts: string[];
+    };
+    operations: {
+        producers: ArtifactOperation[];
+        validators: ArtifactOperation[];
+        consumers: ArtifactOperation[];
+    };
+    agents: {
+        owners: string[];
+        editors: string[];
+        readers: string[];
+    };
+    routes: {
+        update?: ArtifactRoute[];
+        regenerate?: ArtifactRoute[];
+        validate?: ArtifactRoute[];
+    };
+};
+type ArtifactOperation = {
+    tool: string;
+    cli_contract: string;
+    command: string;
+    slot: string;
+    invokable_by: string[];
+};
+type ArtifactRoute = {
+    purpose: "update" | "regenerate" | "validate";
+    steps: ArtifactRouteStep[];
+};
+type ArtifactRouteStep = {
+    type: "edit_artifact";
+    artifact: string;
+    candidate_agents: string[];
+} | {
+    type: "run_operation";
+    operation: string;
+    candidate_agents: string[];
+} | {
+    type: "request_review";
+    artifact: string;
+    candidate_agents: string[];
+};
+
+declare function buildNavigationIndex(dsl: Dsl): ProjectNavigationIndex;
+
 type AuditType = "render" | "dsl" | "prompt" | "extensions";
 type OutputFormat = "text" | "json" | "markdown";
 interface AuditOptions {
@@ -1877,4 +1990,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, type AuditOptions, type OutputFormat as AuditOutputFormat, type AuditConfig as AuditRunConfig, type AuditRunResult, type AuditType, BaseResolveError, type BindingGenerationContext, type BindingOutput, BindingOutputSchema, type BindingRenderTarget, BindingRenderTargetSchema, CONTEXT_TYPES, type Check, CheckSchema, type Command, CommandSchema, type Components, ComponentsSchema, ConfigLoadError, type ContextLoading, ContextLoadingSchema, 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 Section, SectionSchema, type Severity, type SoftwareBinding, SoftwareBindingSchema, type System, type SystemContext, SystemSchema, type Task, TaskSchema, type TeamImport, TeamImportSchema, type TeamInterface, type TeamInterfaceAcceptWorkflow, TeamInterfaceAcceptWorkflowSchema, TeamInterfaceSchema, type Tool, ToolSchema, type Validation, ValidationSchema, type VersionLiteral, VersionLiteralSchema, type Workflow, WorkflowSchema, type WorkflowStep, WorkflowStepSchema, type XExtensionDecl, XExtensionDeclSchema, buildArtifactContext, buildAuditContext, buildGlobalContext, buildGuardrailContext, buildGuardrailPolicyContext, buildHandoffTypeContext, buildPerAgentContext, buildPolicyContext, buildSystemContext, buildTaskContext, buildToolContext, buildValidationContext, buildWorkflowContext, builtinRules, checkDriftFromConfig, checkReferences, computeExitCode, expandDefaults, formatAuditResult, formatAuditResults, generateGuardrails, lint, loadBindings, loadConfig, loadDsl, mergeDsl, renderFromConfig, resolve, resolveAllOf, resolveBase, resolveBindingTargetPath, resolveChecks, resolveDslPath, resolveEffectiveGuardrails, resolveEntityValidations, runAllAudits, runAudit, score, spectralLint, validateHandoffSchemas, validateSchema, yamlReservedKeySafetyRule };
+export { type Agent, type AgentContractsConfig, AgentContractsConfigSchema, AgentSchema, type AppendOperator, AppendOperatorSchema, type Artifact, type ArtifactOperation, type ArtifactRoute, type ArtifactRouteStep, ArtifactSchema, type AuditOptions, type OutputFormat as AuditOutputFormat, type AuditConfig as AuditRunConfig, type AuditRunResult, type AuditType, BaseResolveError, type BindingGenerationContext, type BindingOutput, BindingOutputSchema, type BindingRenderTarget, BindingRenderTargetSchema, CONTEXT_TYPES, type Check, CheckSchema, type Command, CommandSchema, type CompiledArtifactNode, type Components, ComponentsSchema, ConfigLoadError, type ContextLoading, ContextLoadingSchema, 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 ProjectNavigationIndex, 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 Section, SectionSchema, type Severity, type SoftwareBinding, SoftwareBindingSchema, type System, type SystemContext, SystemSchema, type Task, TaskSchema, type TeamImport, TeamImportSchema, type TeamInterface, type TeamInterfaceAcceptWorkflow, TeamInterfaceAcceptWorkflowSchema, TeamInterfaceSchema, type Tool, ToolSchema, type Validation, ValidationSchema, type VersionLiteral, VersionLiteralSchema, type Workflow, WorkflowSchema, type WorkflowStep, WorkflowStepSchema, type XExtensionDecl, XExtensionDeclSchema, buildArtifactContext, buildAuditContext, buildGlobalContext, buildGuardrailContext, buildGuardrailPolicyContext, buildHandoffTypeContext, buildNavigationIndex, buildPerAgentContext, buildPolicyContext, buildSystemContext, buildTaskContext, buildToolContext, buildValidationContext, buildWorkflowContext, builtinRules, checkDriftFromConfig, checkReferences, computeExitCode, expandDefaults, formatAuditResult, formatAuditResults, generateGuardrails, lint, loadBindings, loadConfig, loadDsl, mergeDsl, renderFromConfig, resolve, resolveAllOf, resolveBase, resolveBindingTargetPath, resolveChecks, resolveDslPath, resolveEffectiveGuardrails, resolveEntityValidations, runAllAudits, runAudit, score, spectralLint, validateHandoffSchemas, validateSchema, yamlReservedKeySafetyRule };