agent-contracts 0.19.4 → 0.19.5

package/dsl_base/tools.yaml

@@ -0,0 +1,50 @@
+agent-contracts-cli:
+  kind: cli
+  description: >-
+    agent-contracts CLI — execute resolve, validate, lint, render, score,
+    check, and generate commands for the DSL.
+  input_artifacts:
+    - dsl-source
+  output_artifacts:
+    - dsl-generated-output
+    - dsl-score-report
+  invokable_by:
+    - dsl-designer
+    - dsl-auditor
+  side_effects: []
+  commands:
+    - command: "npx agent-contracts validate"
+      category: verification
+      reads: [dsl-source]
+      writes: []
+      purpose: DSL schema validation and reference checks
+    - command: "npx agent-contracts lint"
+      category: verification
+      reads: [dsl-source]
+      writes: []
+      purpose: Semantic lint
+    - command: "npx agent-contracts render -c agent-contracts.config.yaml"
+      category: generation
+      reads: [dsl-source]
+      writes: [dsl-generated-output]
+      purpose: Template rendering (prompt and document generation)
+    - command: "npx agent-contracts render -c agent-contracts.config.yaml --check"
+      category: verification
+      reads: [dsl-source, dsl-generated-output]
+      writes: []
+      purpose: Drift detection (source vs generated output)
+    - command: "npx agent-contracts score"
+      category: verification
+      reads: [dsl-source]
+      writes: [dsl-score-report]
+      purpose: DSL completeness score calculation (7 dimensions)
+    - command: "npx agent-contracts check -c agent-contracts.config.yaml"
+      category: verification
+      reads: [dsl-source]
+      writes: []
+      purpose: Pipeline — resolve → validate → lint → render --check
+    - command: "npx agent-contracts generate guardrails"
+      category: generation
+      reads: [dsl-source]
+      writes: [dsl-generated-output]
+      purpose: Generate guardrail runtime artifacts

package/dsl_base/validations.yaml

@@ -0,0 +1,66 @@
+dsl-schema-validation:
+  target_artifact: dsl-source
+  kind: schema
+  executor_type: tool
+  executor: agent-contracts-cli
+  blocking: true
+  x-description: >-
+    DSL schema validation via agent-contracts validate command.
+    Performs type checks on all entities, verifies required fields,
+    and checks cross-reference integrity.
+
+dsl-lint-validation:
+  target_artifact: dsl-source
+  kind: semantic
+  executor_type: tool
+  executor: agent-contracts-cli
+  blocking: false
+  x-description: >-
+    Semantic validation via agent-contracts lint command.
+    Checks naming conventions, unused entities, circular references,
+    and other design quality aspects.
+
+dsl-score-validation:
+  target_artifact: dsl-source
+  kind: semantic
+  executor_type: tool
+  executor: agent-contracts-cli
+  blocking: false
+  x-description: >-
+    Completeness evaluation via agent-contracts score command.
+    Scores across 7 dimensions: artifact validation coverage,
+    task validation coverage, guardrail policy coverage,
+    workflow validation integration, schema completeness,
+    cross-reference bidirectionality, guardrail scope resolution.
+
+dsl-completeness-audit:
+  target_artifact: dsl-generated-output
+  kind: semantic
+  executor_type: agent
+  executor: dsl-auditor
+  blocking: false
+  produces_evidence: dsl-audit-report
+  x-description: >-
+    19-dimension cross-check audit of DSL definitions against generated
+    prompts. Verifies that all items defined in the DSL are correctly
+    reflected in generated output.
+
+dsl-score-report-validation:
+  target_artifact: dsl-score-report
+  kind: semantic
+  executor_type: tool
+  executor: agent-contracts-cli
+  blocking: false
+  x-description: >-
+    Validates that dsl-score-report has been produced and contains
+    a valid score across all 7 dimensions.
+
+dsl-audit-report-validation:
+  target_artifact: dsl-audit-report
+  kind: semantic
+  executor_type: agent
+  executor: dsl-auditor
+  blocking: false
+  x-description: >-
+    Validates that dsl-audit-report contains findings classified
+    as PASS/MISS/PARTIAL for all inspected dimensions.

package/dsl_base/workflow.yaml

@@ -0,0 +1,91 @@
+dsl-update:
+  description: >-
+    DSL Update — create and update agent-contracts DSL definitions and
+    bindings, verify quality via validate / lint / render / score.
+    Executed by DSL Designer.
+  entry_conditions:
+    - A DSL definition change request exists
+  trigger: >-
+    Execute when new DSL definitions need to be created, existing definitions
+    need updating, or bindings need to be added or modified.
+  steps:
+    - type: delegate
+      task: update-dsl-definitions
+      from_agent: dsl-designer
+      description: >-
+        DSL Designer creates or updates DSL definitions and verifies
+        via validate / lint.
+    - type: gate
+      gate_kind: dsl-task-result
+      description: >-
+        Block if validation_result or lint_result did not pass in
+        update-dsl-definitions.
+    - type: delegate
+      task: update-dsl-binding
+      from_agent: dsl-designer
+      description: >-
+        DSL Designer adds or updates bindings and verifies via generate.
+    - type: gate
+      gate_kind: dsl-task-result
+      description: >-
+        Block if generate_result is not 'pass' in update-dsl-binding.
+        Prevents render-dsl-outputs from executing against invalid bindings.
+    - type: delegate
+      task: render-dsl-outputs
+      from_agent: dsl-designer
+      description: >-
+        DSL Designer renders prompts and documents and checks for drift.
+    - type: gate
+      gate_kind: dsl-task-result
+      description: >-
+        Block if render_result is not 'pass' or drift_detected is true
+        in render-dsl-outputs result.
+    - type: delegate
+      task: check-dsl-score
+      from_agent: dsl-designer
+      description: >-
+        DSL Designer checks completeness score and identifies improvement areas.
+
+dsl-audit:
+  description: >-
+    DSL Audit — audit completeness of DSL definitions against generated
+    prompts, detect gaps, and present improvement recommendations.
+    Executed by DSL Auditor. Supports three audit types: render (semantic
+    diff), dsl (design coherence), and prompt (prompt fidelity).
+  entry_conditions:
+    - DSL definition rendering is complete
+  trigger: >-
+    Execute when DSL completeness audit is needed. Typically run as a
+    quality check after DSL updates.
+  steps:
+    - type: delegate
+      task: audit-dsl-completeness
+      from_agent: dsl-auditor
+      description: >-
+        DSL Auditor executes 19-dimension cross-check and produces
+        audit report with improvement recommendations.
+    - type: gate
+      gate_kind: dsl-audit-result
+      description: >-
+        Block if audit-dsl-completeness detected 3 or more
+        critical-level gaps (triggers stop_and_report escalation).
+    - type: delegate
+      task: audit-semantic-design
+      from_agent: dsl-auditor
+      description: >-
+        DSL Auditor reviews DSL design for semantic coherence —
+        role overlap, scope breadth, gate placement, guardrail
+        enforcement paths.
+    - type: delegate
+      task: audit-generated-prompts
+      from_agent: dsl-auditor
+      description: >-
+        DSL Auditor compares generated prompts against DSL intent —
+        detects missing requirements, hallucinated permissions,
+        ambiguous instructions.
+    - type: gate
+      gate_kind: dsl-audit-result
+      description: >-
+        Terminal gate — block if audit-generated-prompts detected
+        hallucinated permissions (enforces dsl-no-hallucinated-permissions
+        guardrail at workflow level via stop_and_report escalation).

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agent-contracts",
-  "version": "0.19.4",
+  "version": "0.19.5",
   "description": "Declarative YAML DSL toolkit for defining, validating, and rendering multi-agent development workflows",
   "type": "module",
   "main": "dist/index.js",
@@ -16,6 +16,7 @@
   },
   "files": [
     "dist",
+    "dsl_base",
     "cli-contract.yaml",
     "docs/cli-reference.md",
     "README.md",
@@ -76,7 +77,7 @@
     "@openai/agents": "^0.11.1",
     "@types/node": "^25.6.0",
     "agent-contracts-runtime": "^0.12.0",
-    "cli-contracts": "^0.5.1",
+    "cli-contracts": "^0.5.2",
     "eslint": "^10.2.0",
     "globals": "^17.5.0",
     "prettier": "^3.8.2",