@defai.digital/cli 13.4.3 → 13.4.5

package/bundled/templates/standalone/domain-service.ts.hbs

@@ -0,0 +1,102 @@
+/**
+ * {{pascalCase domainName}} Service
+ */
+
+import {
+  type {{pascalCase domainName}},
+  type {{pascalCase domainName}}Id,
+  type {{pascalCase domainName}}Status,
+  {{pascalCase domainName}}Schema,
+  {{pascalCase domainName}}ErrorCode,
+} from '../../contracts/{{domainName}}/index.js';
+import type { {{pascalCase domainName}}Repository } from './repository.js';
+
+// ============================================================================
+// Service Implementation
+// ============================================================================
+
+export class {{pascalCase domainName}}Service {
+  constructor(private readonly repository: {{pascalCase domainName}}Repository) {}
+
+  async getById(id: {{pascalCase domainName}}Id): Promise<{{pascalCase domainName}}> {
+    const entity = await this.repository.findById(id);
+    if (!entity) {
+      throw new {{pascalCase domainName}}NotFoundError(id);
+    }
+    return entity;
+  }
+
+  async create(data: Omit<{{pascalCase domainName}}, 'id' | 'createdAt' | 'updatedAt'>): Promise<{{pascalCase domainName}}> {
+    const now = new Date().toISOString();
+    const entity: {{pascalCase domainName}} = {
+      ...data,
+      id: crypto.randomUUID(),
+      createdAt: now,
+      updatedAt: now,
+    };
+
+    // Validate against schema
+    {{pascalCase domainName}}Schema.parse(entity);
+
+    await this.repository.save(entity);
+    return entity;
+  }
+
+  async updateStatus(id: {{pascalCase domainName}}Id, newStatus: {{pascalCase domainName}}Status): Promise<{{pascalCase domainName}}> {
+    const entity = await this.getById(id);
+
+    // INV-{{upperCase (substring domainName 0 3)}}-101: Validate status transition
+    this.validateStatusTransition(entity.status, newStatus);
+
+    const updated: {{pascalCase domainName}} = {
+      ...entity,
+      status: newStatus,
+      updatedAt: new Date().toISOString(),
+    };
+
+    await this.repository.save(updated);
+    return updated;
+  }
+
+  async delete(id: {{pascalCase domainName}}Id): Promise<boolean> {
+    return this.repository.delete(id);
+  }
+
+  private validateStatusTransition(
+    currentStatus: {{pascalCase domainName}}Status,
+    newStatus: {{pascalCase domainName}}Status
+  ): void {
+    const validTransitions: Record<{{pascalCase domainName}}Status, {{pascalCase domainName}}Status[]> = {
+      draft: ['active', 'cancelled'],
+      active: ['completed', 'cancelled'],
+      completed: [],
+      cancelled: [],
+    };
+
+    if (!validTransitions[currentStatus].includes(newStatus)) {
+      throw new {{pascalCase domainName}}InvalidStatusError(currentStatus, newStatus);
+    }
+  }
+}
+
+// ============================================================================
+// Domain Errors
+// ============================================================================
+
+export class {{pascalCase domainName}}NotFoundError extends Error {
+  readonly code = {{pascalCase domainName}}ErrorCode.NOT_FOUND;
+
+  constructor(id: {{pascalCase domainName}}Id) {
+    super(`{{pascalCase domainName}} not found: ${id}`);
+    this.name = '{{pascalCase domainName}}NotFoundError';
+  }
+}
+
+export class {{pascalCase domainName}}InvalidStatusError extends Error {
+  readonly code = {{pascalCase domainName}}ErrorCode.INVALID_STATUS;
+
+  constructor(currentStatus: {{pascalCase domainName}}Status, newStatus: {{pascalCase domainName}}Status) {
+    super(`Invalid status transition: ${currentStatus} → ${newStatus}`);
+    this.name = '{{pascalCase domainName}}InvalidStatusError';
+  }
+}

package/bundled/templates/standalone/gitignore.hbs

@@ -0,0 +1,27 @@
+# Dependencies
+node_modules/
+
+# Build output
+dist/
+*.tsbuildinfo
+
+# IDE
+.idea/
+.vscode/
+*.swp
+*.swo
+
+# OS
+.DS_Store
+Thumbs.db
+
+# Logs
+*.log
+npm-debug.log*
+
+# Test coverage
+coverage/
+
+# Environment
+.env
+.env.local

package/bundled/templates/standalone/invariants.md.hbs

@@ -0,0 +1,35 @@
+# {{pascalCase domainName}} Domain Invariants
+
+## Overview
+
+This document defines the behavioral invariants for the {{pascalCase domainName}} domain.
+
+## Schema Invariants
+
+### INV-{{upperCase (substring domainName 0 3)}}-001: Valid ID Format
+{{pascalCase domainName}} ID MUST be a valid UUID v4.
+- **Enforcement**: schema
+- **Test**: `z.string().uuid()` rejects invalid UUIDs
+
+### INV-{{upperCase (substring domainName 0 3)}}-002: Valid Status
+Status MUST be one of the defined enum values.
+- **Enforcement**: schema
+- **Test**: `z.enum([...])` rejects invalid values
+
+## Runtime Invariants
+
+### INV-{{upperCase (substring domainName 0 3)}}-101: Status Transitions
+Status transitions MUST follow the defined state machine.
+- **Enforcement**: runtime
+- **Valid Transitions**:
+  ```
+  draft     → active, cancelled
+  active    → completed, cancelled
+  completed → (terminal)
+  cancelled → (terminal)
+  ```
+
+### INV-{{upperCase (substring domainName 0 3)}}-102: Timestamp Consistency
+UpdatedAt MUST be >= CreatedAt.
+- **Enforcement**: runtime
+- **Test**: Update with earlier timestamp → error

package/bundled/templates/standalone/package.json.hbs

@@ -0,0 +1,41 @@
+{
+  "name": "{{projectName}}",
+  "version": "1.0.0",
+  "description": "{{description}}",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    },
+    "./contracts": {
+      "import": "./dist/contracts/index.js",
+      "types": "./dist/contracts/index.d.ts"
+    },
+    "./contracts/{{domainName}}": {
+      "import": "./dist/contracts/{{domainName}}/index.js",
+      "types": "./dist/contracts/{{domainName}}/index.d.ts"
+    }
+  },
+  "scripts": {
+    "build": "tsc",
+    "clean": "rm -rf dist",
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "lint": "eslint src tests"
+  },
+  "dependencies": {
+    "zod": "^3.22.0"
+  },
+  "devDependencies": {
+    "@types/node": "^20.0.0",
+    "typescript": "^5.3.0",
+    "vitest": "^1.0.0"
+  },
+  "engines": {
+    "node": ">=20.0.0"
+  }
+}

package/bundled/templates/standalone/schema.ts.hbs

@@ -0,0 +1,61 @@
+/**
+ * {{pascalCase domainName}} Domain Contracts
+ */
+
+import { z } from 'zod';
+
+// ============================================================================
+// Value Objects
+// ============================================================================
+
+export const {{pascalCase domainName}}IdSchema = z.string().uuid();
+export type {{pascalCase domainName}}Id = z.infer<typeof {{pascalCase domainName}}IdSchema>;
+
+// ============================================================================
+// Enums
+// ============================================================================
+
+export const {{pascalCase domainName}}StatusSchema = z.enum([
+  'draft',
+  'active',
+  'completed',
+  'cancelled',
+]);
+export type {{pascalCase domainName}}Status = z.infer<typeof {{pascalCase domainName}}StatusSchema>;
+
+// ============================================================================
+// Entities
+// ============================================================================
+
+/**
+ * {{pascalCase domainName}} entity - Aggregate Root
+ *
+ * Invariants:
+ * - INV-{{upperCase (substring domainName 0 3)}}-001: ID must be valid UUID
+ * - INV-{{upperCase (substring domainName 0 3)}}-002: Status must be valid
+ */
+export const {{pascalCase domainName}}Schema = z.object({
+  id: {{pascalCase domainName}}IdSchema,
+  status: {{pascalCase domainName}}StatusSchema,
+  createdAt: z.string().datetime(),
+  updatedAt: z.string().datetime(),
+});
+
+export type {{pascalCase domainName}} = z.infer<typeof {{pascalCase domainName}}Schema>;
+
+// ============================================================================
+// Validation
+// ============================================================================
+
+export function validate{{pascalCase domainName}}(data: unknown): {{pascalCase domainName}} {
+  return {{pascalCase domainName}}Schema.parse(data);
+}
+
+// ============================================================================
+// Error Codes
+// ============================================================================
+
+export const {{pascalCase domainName}}ErrorCode = {
+  NOT_FOUND: '{{upperCase (substring domainName 0 3)}}_NOT_FOUND',
+  INVALID_STATUS: '{{upperCase (substring domainName 0 3)}}_INVALID_STATUS',
+} as const;

package/bundled/templates/standalone/src-index.ts.hbs

@@ -0,0 +1,11 @@
+/**
+ * {{projectName}}
+ *
+ * {{description}}
+ */
+
+// Contract exports
+export * from './contracts/index.js';
+
+// Domain exports
+export * from './domain/{{domainName}}/index.js';

package/bundled/templates/standalone/template.json

@@ -0,0 +1,91 @@
+{
+  "name": "standalone",
+  "displayName": "Contract-First Standalone Project",
+  "description": "A single-package project with contract-first design",
+  "version": "1.0.0",
+  "variables": {
+    "projectName": {
+      "type": "string",
+      "required": true,
+      "description": "Name of the project"
+    },
+    "domainName": {
+      "type": "string",
+      "required": true,
+      "description": "Primary domain name (e.g., 'order', 'user')"
+    },
+    "description": {
+      "type": "string",
+      "default": "A contract-first TypeScript project",
+      "description": "Project description"
+    }
+  },
+  "structure": [
+    {
+      "path": "package.json",
+      "template": "package.json.hbs"
+    },
+    {
+      "path": "tsconfig.json",
+      "template": "tsconfig.json.hbs"
+    },
+    {
+      "path": ".gitignore",
+      "template": "gitignore.hbs"
+    },
+    {
+      "path": "src/contracts/{{domainName}}/schema.ts",
+      "template": "schema.ts.hbs"
+    },
+    {
+      "path": "src/contracts/{{domainName}}/invariants.md",
+      "template": "invariants.md.hbs"
+    },
+    {
+      "path": "src/contracts/{{domainName}}/index.ts",
+      "template": "contract-index.ts.hbs"
+    },
+    {
+      "path": "src/contracts/index.ts",
+      "template": "contracts-root-index.ts.hbs"
+    },
+    {
+      "path": "src/domain/{{domainName}}/service.ts",
+      "template": "domain-service.ts.hbs"
+    },
+    {
+      "path": "src/domain/{{domainName}}/repository.ts",
+      "template": "domain-repository.ts.hbs"
+    },
+    {
+      "path": "src/domain/{{domainName}}/index.ts",
+      "template": "domain-index.ts.hbs"
+    },
+    {
+      "path": "src/index.ts",
+      "template": "src-index.ts.hbs"
+    },
+    {
+      "path": "tests/contracts/{{domainName}}.test.ts",
+      "template": "contract-test.ts.hbs"
+    },
+    {
+      "path": "vitest.config.ts",
+      "template": "vitest.config.ts.hbs"
+    }
+  ],
+  "postCreate": [
+    {
+      "command": "pnpm install",
+      "description": "Install dependencies"
+    },
+    {
+      "command": "pnpm build",
+      "description": "Build the project"
+    },
+    {
+      "command": "pnpm test",
+      "description": "Run tests"
+    }
+  ]
+}

package/bundled/templates/standalone/tsconfig.json.hbs

@@ -0,0 +1,20 @@
+{
+  "compilerOptions": {
+    "target": "ES2022",
+    "module": "NodeNext",
+    "moduleResolution": "NodeNext",
+    "lib": ["ES2022"],
+    "strict": true,
+    "esModuleInterop": true,
+    "skipLibCheck": true,
+    "forceConsistentCasingInFileNames": true,
+    "declaration": true,
+    "declarationMap": true,
+    "sourceMap": true,
+    "outDir": "dist",
+    "rootDir": "src",
+    "resolveJsonModule": true
+  },
+  "include": ["src/**/*"],
+  "exclude": ["node_modules", "dist", "tests"]
+}

package/bundled/templates/standalone/vitest.config.ts.hbs

@@ -0,0 +1,8 @@
+import { defineConfig } from 'vitest/config';
+
+export default defineConfig({
+  test: {
+    include: ['tests/**/*.test.ts'],
+    globals: true,
+  },
+});

package/bundled/workflows/adversarial-debate.yaml

@@ -0,0 +1,222 @@
+# Adversarial Debate Workflow
+#
+# Two AI models argue opposing positions on a topic, with a third
+# model serving as an impartial judge. This pattern helps uncover
+# the strongest arguments on both sides of a question.
+#
+# Usage:
+#   ax run adversarial-debate --input '{"proposition": "Microservices are better than monoliths"}'
+#
+# The workflow assigns:
+# - Claude: Argues FOR the proposition
+# - Gemini: Argues AGAINST the proposition
+# - Codex: Serves as impartial judge
+
+workflowId: adversarial-debate
+version: "1.0.0"
+name: Adversarial Debate
+description: >
+  Two AI models debate opposing positions with an impartial judge.
+  Reveals the strongest arguments on both sides of any question.
+
+steps:
+  # Round 1: Opening Statements
+  - stepId: opening-statements
+    type: parallel
+    name: Opening Statements
+    timeout: 90000
+    config:
+      steps:
+        - stepId: proponent-opening
+          type: prompt
+          config:
+            provider: claude
+            prompt: |
+              You are arguing FOR this proposition in a formal debate:
+
+              PROPOSITION: {{input.proposition}}
+
+              Present your opening statement:
+              1. State your thesis clearly
+              2. Present 3-4 strong arguments supporting the proposition
+              3. Provide evidence and examples
+              4. Anticipate and preemptively address potential counterarguments
+
+              Be persuasive, logical, and thorough.
+
+        - stepId: opponent-opening
+          type: prompt
+          config:
+            provider: gemini
+            prompt: |
+              You are arguing AGAINST this proposition in a formal debate:
+
+              PROPOSITION: {{input.proposition}}
+
+              Present your opening statement:
+              1. State your counter-thesis clearly
+              2. Present 3-4 strong arguments against the proposition
+              3. Provide evidence and examples
+              4. Anticipate and preemptively address potential counterarguments
+
+              Be persuasive, logical, and thorough.
+
+  # Round 2: Rebuttals
+  - stepId: rebuttals
+    type: parallel
+    name: Rebuttals
+    timeout: 90000
+    dependencies:
+      - opening-statements
+    config:
+      steps:
+        - stepId: proponent-rebuttal
+          type: prompt
+          config:
+            provider: claude
+            prompt: |
+              You are still arguing FOR:
+              PROPOSITION: {{input.proposition}}
+
+              Your opponent argued:
+              {{steps.opponent-opening.output}}
+
+              Present your rebuttal:
+              1. Address their strongest points directly
+              2. Expose weaknesses in their logic
+              3. Reinforce your key arguments
+              4. Introduce new supporting evidence
+
+        - stepId: opponent-rebuttal
+          type: prompt
+          config:
+            provider: gemini
+            prompt: |
+              You are still arguing AGAINST:
+              PROPOSITION: {{input.proposition}}
+
+              Your opponent argued:
+              {{steps.proponent-opening.output}}
+
+              Present your rebuttal:
+              1. Address their strongest points directly
+              2. Expose weaknesses in their logic
+              3. Reinforce your key arguments
+              4. Introduce new supporting evidence
+
+  # Round 3: Closing Statements
+  - stepId: closing-statements
+    type: parallel
+    name: Closing Statements
+    timeout: 60000
+    dependencies:
+      - rebuttals
+    config:
+      steps:
+        - stepId: proponent-closing
+          type: prompt
+          config:
+            provider: claude
+            prompt: |
+              Present your closing statement FOR:
+              PROPOSITION: {{input.proposition}}
+
+              Considering the full debate:
+              - Your opening: {{steps.proponent-opening.output}}
+              - Their rebuttal: {{steps.opponent-rebuttal.output}}
+              - Your rebuttal: {{steps.proponent-rebuttal.output}}
+
+              Deliver a compelling closing:
+              1. Summarize your strongest points
+              2. Address any remaining objections
+              3. End with a powerful conclusion
+
+        - stepId: opponent-closing
+          type: prompt
+          config:
+            provider: gemini
+            prompt: |
+              Present your closing statement AGAINST:
+              PROPOSITION: {{input.proposition}}
+
+              Considering the full debate:
+              - Your opening: {{steps.opponent-opening.output}}
+              - Their rebuttal: {{steps.proponent-rebuttal.output}}
+              - Your rebuttal: {{steps.opponent-rebuttal.output}}
+
+              Deliver a compelling closing:
+              1. Summarize your strongest points
+              2. Address any remaining objections
+              3. End with a powerful conclusion
+
+  # Final: Judge's Verdict
+  - stepId: judges-verdict
+    type: prompt
+    name: Judge's Verdict
+    timeout: 120000
+    dependencies:
+      - closing-statements
+    config:
+      provider: codex
+      prompt: |
+        You are an impartial judge evaluating this debate.
+
+        PROPOSITION: {{input.proposition}}
+
+        ## FOR THE PROPOSITION (Claude):
+
+        ### Opening Statement:
+        {{steps.proponent-opening.output}}
+
+        ### Rebuttal:
+        {{steps.proponent-rebuttal.output}}
+
+        ### Closing:
+        {{steps.proponent-closing.output}}
+
+        ## AGAINST THE PROPOSITION (Gemini):
+
+        ### Opening Statement:
+        {{steps.opponent-opening.output}}
+
+        ### Rebuttal:
+        {{steps.opponent-rebuttal.output}}
+
+        ### Closing:
+        {{steps.opponent-closing.output}}
+
+        ## YOUR VERDICT:
+
+        Provide a comprehensive judgment:
+
+        1. **Scoring** (1-10 for each):
+           - FOR - Argument Strength:
+           - FOR - Evidence Quality:
+           - FOR - Rebuttal Effectiveness:
+           - AGAINST - Argument Strength:
+           - AGAINST - Evidence Quality:
+           - AGAINST - Rebuttal Effectiveness:
+
+        2. **Best Arguments**:
+           - Strongest point FOR:
+           - Strongest point AGAINST:
+
+        3. **Logical Weaknesses**:
+           - Weakest point FOR:
+           - Weakest point AGAINST:
+
+        4. **Key Insights**: What did this debate reveal?
+
+        5. **Verdict**: Which side won and why?
+
+        6. **Nuanced Conclusion**: Beyond the debate, what is the balanced truth?
+
+metadata:
+  category: collaboration
+  tags:
+    - debate
+    - adversarial
+    - multi-model
+    - decision-making
+  estimatedDuration: 360000  # ~6 minutes
+  estimatedCost: high