agent-contracts 0.18.0 → 0.19.0

package/dist/index.d.ts

@@ -1343,6 +1343,12 @@ declare const AgentContractsConfigSchema: z.ZodObject<{
         active_guardrail_policy: z.ZodOptional<z.ZodString>;
         interface_output: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>>>;
+    audit: z.ZodOptional<z.ZodObject<{
+        adapter: z.ZodOptional<z.ZodString>;
+        model: z.ZodOptional<z.ZodString>;
+        temperature: z.ZodOptional<z.ZodNumber>;
+        cache_dir: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
 }, z.core.$strip>;
 type AgentContractsConfig = z.infer<typeof AgentContractsConfigSchema>;
 interface ResolvedRenderTarget {
@@ -1622,6 +1628,119 @@ interface ScoreResult {
 
 declare function score(dsl: Dsl): ScoreResult;
 
+type AuditType = "render" | "dsl" | "prompt";
+type OutputFormat = "text" | "json" | "markdown";
+interface AuditOptions {
+    auditType: AuditType;
+    format: OutputFormat;
+    scope?: string;
+    dryRun: boolean;
+    adapter?: string;
+    model?: string;
+    team?: string;
+}
+interface AuditConfig {
+    adapter?: string;
+    model?: string;
+    temperature?: number;
+    cache_dir?: string;
+}
+
+/**
+ * AUTO-GENERATED by agent-contracts-runtime. DO NOT EDIT.
+ *
+ * Regenerate via: npx agent-runtime generate
+ */
+
+declare const DslAuditResultSchema: z.ZodObject<{
+    audit_type: z.ZodEnum<{
+        semantic: "semantic";
+        prompt: "prompt";
+        completeness: "completeness";
+    }>;
+    total_dimensions: z.ZodNumber;
+    pass_count: z.ZodNumber;
+    miss_count: z.ZodNumber;
+    partial_count: z.ZodOptional<z.ZodNumber>;
+    agents_reviewed: z.ZodOptional<z.ZodNumber>;
+    prompts_reviewed: z.ZodOptional<z.ZodNumber>;
+    gate_analysis_complete: z.ZodOptional<z.ZodBoolean>;
+    guardrail_enforcement_verified: z.ZodOptional<z.ZodBoolean>;
+    critical_gaps: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        dimension: z.ZodOptional<z.ZodString>;
+        agent: z.ZodOptional<z.ZodString>;
+        gap_type: z.ZodOptional<z.ZodEnum<{
+            template_gap: "template_gap";
+            data_gap: "data_gap";
+            dsl_gap: "dsl_gap";
+        }>>;
+        severity: z.ZodOptional<z.ZodEnum<{
+            critical: "critical";
+            warning: "warning";
+            info: "info";
+        }>>;
+    }, z.core.$strip>>>;
+    recommendations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        priority: z.ZodOptional<z.ZodEnum<{
+            P0: "P0";
+            P1: "P1";
+            P2: "P2";
+        }>>;
+        description: z.ZodOptional<z.ZodString>;
+        fix_type: z.ZodOptional<z.ZodEnum<{
+            template_fix: "template_fix";
+            dsl_fix: "dsl_fix";
+            regeneration: "regeneration";
+        }>>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+type DslAuditResult = z.infer<typeof DslAuditResultSchema>;
+
+/**
+ * Audit orchestrator — runs LLM-based semantic audits via agent-contracts-runtime.
+ *
+ * Uses the auto-generated contracts from dsl_base/ (agentRegistry, taskRegistry,
+ * handoffSchemas) and the runtime's runTask() for execution, follow-up recovery,
+ * and handoff schema validation.
+ *
+ * agent-contracts-runtime is an optional peer dependency — it is loaded
+ * dynamically at audit invocation time so that users who don't use audit
+ * have zero additional overhead.
+ */
+
+interface AuditRunResult {
+    taskId: string;
+    auditType: AuditType;
+    data: DslAuditResult | null;
+    raw: string;
+    prompt: string;
+    dryRun: boolean;
+    status: "success" | "validation_error" | "escalation" | "error";
+    errorMessage?: string;
+    followUpsUsed: number;
+    retriesUsed: number;
+}
+declare function runAudit(dsl: Dsl, config: ResolvedConfig, auditConfig: AuditConfig, options: AuditOptions): Promise<AuditRunResult>;
+declare function runAllAudits(dsl: Dsl, config: ResolvedConfig, auditConfig: AuditConfig, options: Omit<AuditOptions, "auditType">): Promise<AuditRunResult[]>;
+
+/**
+ * Build the audit context string that becomes the user_request for runTask().
+ *
+ * Each audit type collects the relevant DSL data and rendered files,
+ * then formats them into a structured prompt that the dsl-auditor agent
+ * can analyze via LLM.
+ */
+
+declare function buildAuditContext(auditType: AuditType, dsl: Dsl, config: ResolvedConfig): Promise<string>;
+
+/**
+ * Format audit results for CLI output.
+ */
+
+declare function formatAuditResult(r: AuditRunResult, format: OutputFormat): string;
+declare function formatAuditResults(results: AuditRunResult[], format: OutputFormat): string;
+declare function computeExitCode(results: AuditRunResult[]): number;
+
 interface ResolvedCheck {
     guardrail_id: string;
     guardrail: Guardrail;
@@ -1684,4 +1803,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 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, 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, 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 };