@specverse/engines 4.1.13 → 4.1.15
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/assets/prompts/core/standard/v9/behavior.prompt.yaml +126 -0
- package/dist/ai/behavior-ai-service.d.ts +65 -0
- package/dist/ai/behavior-ai-service.d.ts.map +1 -0
- package/dist/ai/behavior-ai-service.js +205 -0
- package/dist/ai/behavior-ai-service.js.map +1 -0
- package/dist/ai/index.d.ts +27 -0
- package/dist/ai/index.d.ts.map +1 -1
- package/dist/ai/index.js +30 -0
- package/dist/ai/index.js.map +1 -1
- package/dist/ai/prompt-loader.js +2 -2
- package/dist/inference/quint-transpiler.d.ts.map +1 -1
- package/dist/inference/quint-transpiler.js +204 -4
- package/dist/inference/quint-transpiler.js.map +1 -1
- package/dist/libs/instance-factories/applications/templates/generic/backend-package-json-generator.js +4 -1
- package/dist/libs/instance-factories/applications/templates/generic/backend-tsconfig-generator.js +2 -2
- package/dist/libs/instance-factories/applications/templates/react/runtime-package-json-generator.js +1 -0
- package/dist/libs/instance-factories/cli/templates/commander/command-generator.js +97 -22
- package/dist/libs/instance-factories/communication/templates/eventemitter/bus-generator.js +31 -31
- package/dist/libs/instance-factories/communication/templates/eventemitter/types-generator.js +79 -0
- package/dist/libs/instance-factories/communication/templates/eventemitter/websocket-bridge-generator.js +96 -0
- package/dist/libs/instance-factories/controllers/templates/fastify/routes-generator.js +45 -9
- package/dist/libs/instance-factories/controllers/templates/fastify/server-generator.js +20 -2
- package/dist/libs/instance-factories/scaffolding/templates/generic/tsconfig-generator.js +10 -2
- package/dist/libs/instance-factories/services/templates/prisma/ai-behaviors-generator.js +249 -0
- package/dist/libs/instance-factories/services/templates/prisma/behavior-generator.js +72 -45
- package/dist/libs/instance-factories/services/templates/prisma/controller-generator.js +61 -54
- package/dist/libs/instance-factories/services/templates/prisma/service-generator.js +31 -10
- package/dist/libs/instance-factories/services/templates/prisma/step-conventions.js +101 -84
- package/dist/libs/instance-factories/views/templates/react/components-generator.js +40 -10
- package/dist/realize/index.d.ts.map +1 -1
- package/dist/realize/index.js +192 -23
- package/dist/realize/index.js.map +1 -1
- package/libs/instance-factories/applications/templates/generic/backend-package-json-generator.ts +4 -1
- package/libs/instance-factories/applications/templates/generic/backend-tsconfig-generator.ts +2 -2
- package/libs/instance-factories/applications/templates/react/runtime-package-json-generator.ts +6 -1
- package/libs/instance-factories/cli/templates/commander/command-generator.ts +115 -22
- package/libs/instance-factories/communication/event-emitter.yaml +16 -12
- package/libs/instance-factories/communication/templates/eventemitter/bus-generator.ts +33 -36
- package/libs/instance-factories/communication/templates/eventemitter/types-generator.ts +95 -0
- package/libs/instance-factories/communication/templates/eventemitter/websocket-bridge-generator.ts +105 -0
- package/libs/instance-factories/controllers/templates/fastify/routes-generator.ts +57 -11
- package/libs/instance-factories/controllers/templates/fastify/server-generator.ts +23 -2
- package/libs/instance-factories/scaffolding/templates/generic/tsconfig-generator.ts +23 -2
- package/libs/instance-factories/services/templates/prisma/ai-behaviors-generator.ts +376 -0
- package/libs/instance-factories/services/templates/prisma/behavior-generator.ts +116 -45
- package/libs/instance-factories/services/templates/prisma/controller-generator.ts +83 -59
- package/libs/instance-factories/services/templates/prisma/service-generator.ts +40 -10
- package/libs/instance-factories/services/templates/prisma/step-conventions.ts +169 -85
- package/libs/instance-factories/views/templates/react/components-generator.ts +50 -10
- package/package.json +1 -1
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/controllers/MCPServerController.js +0 -232
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/events/EventEmitter.js +0 -49
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/index.js +0 -18
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/interfaces/ResourceProvider.js +0 -0
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/models/LibrarySuggestion.js +0 -97
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/models/SpecVerseResource.js +0 -64
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/server/mcp-server.js +0 -182
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/services/CLIProxyService.js +0 -1210
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/services/EmbeddedResourcesAdapter.js +0 -172
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/services/EntityModuleService.js +0 -240
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/services/HybridResourcesProvider.js +0 -147
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/services/LibraryToolsService.js +0 -281
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/services/OrchestratorBridge.js +0 -409
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/services/OrchestratorToolsService.js +0 -414
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/services/PromptToolsService.js +0 -467
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/services/ResourcesProviderService.js +0 -135
- package/dist/libs/instance-factories/tools/templates/mcp/static/src/types/index.js +0 -0
- package/dist/libs/instance-factories/tools/templates/vscode/static/extension.js +0 -965
|
@@ -0,0 +1,126 @@
|
|
|
1
|
+
name: behavior
|
|
2
|
+
version: "9.1.0"
|
|
3
|
+
description: Generate pure TypeScript function bodies for SpecVerse behavior steps that don't match convention patterns
|
|
4
|
+
author: SpecVerse Team
|
|
5
|
+
tags: [behavior, code-generation, pure-function, typescript, realize]
|
|
6
|
+
|
|
7
|
+
system:
|
|
8
|
+
role: |
|
|
9
|
+
You are a SpecVerse behavior code generator. You produce PURE TypeScript
|
|
10
|
+
function bodies for behavior steps that couldn't be matched by the realize
|
|
11
|
+
engine's convention patterns.
|
|
12
|
+
|
|
13
|
+
PURE FUNCTION RULES (critical — violating these breaks the architecture):
|
|
14
|
+
1. NO database access (no prisma, no queries)
|
|
15
|
+
2. NO event publishing (no eventBus)
|
|
16
|
+
3. NO external services (no fetch, no email providers, no payment gateways)
|
|
17
|
+
4. NO imports, no require, no fs, no process
|
|
18
|
+
5. All data you need comes in via the `input` object parameter
|
|
19
|
+
6. Return a plain result value (object, number, string) — the caller uses it
|
|
20
|
+
|
|
21
|
+
The controller (deterministic, convention-matched code) fetches all data,
|
|
22
|
+
calls your function, and then applies the result via convention code. Your
|
|
23
|
+
function is the PURE calculation or transformation in the middle.
|
|
24
|
+
|
|
25
|
+
Example flow:
|
|
26
|
+
```
|
|
27
|
+
// Controller (convention code)
|
|
28
|
+
const order = await prisma.order.findUniqueOrThrow(...);
|
|
29
|
+
const customer = await prisma.customer.findUniqueOrThrow(...);
|
|
30
|
+
|
|
31
|
+
// Your function (pure)
|
|
32
|
+
const discount = await applyDiscountBasedOnLoyaltyTier({ order, customer });
|
|
33
|
+
// discount = { amount: 42, rate: 0.10 }
|
|
34
|
+
|
|
35
|
+
// Controller (convention code)
|
|
36
|
+
await prisma.order.update({ where: { id }, data: { total: order.total - discount.amount } });
|
|
37
|
+
await eventBus.publish('OrderDiscounted', { orderId, discount });
|
|
38
|
+
```
|
|
39
|
+
|
|
40
|
+
Convention patterns that are ALREADY auto-generated (you don't handle these):
|
|
41
|
+
- "Find {Model} by {field}", "Create {Model}", "Update {Model}..."
|
|
42
|
+
- "Delete {Model}", "Transition {Model} to {state}"
|
|
43
|
+
- "Set/Increment/Decrement {field}", "Send {event} event"
|
|
44
|
+
|
|
45
|
+
You handle domain-specific logic: calculations, transformations, rules,
|
|
46
|
+
scoring, categorisation, validation.
|
|
47
|
+
|
|
48
|
+
context: |
|
|
49
|
+
OUTPUT RULES:
|
|
50
|
+
1. Output ONLY the function body code (between { and })
|
|
51
|
+
2. Destructure `input` at the top: `const { order, customer } = input;`
|
|
52
|
+
(actually this is done for you — skip the destructure)
|
|
53
|
+
3. Perform the calculation/transformation
|
|
54
|
+
4. Return a meaningful result object
|
|
55
|
+
5. Throw Error('...') for failure cases with descriptive messages
|
|
56
|
+
6. NO await prisma.*, NO await eventBus.*, NO fetch, NO external calls
|
|
57
|
+
7. If the step fundamentally requires external side effects, throw an
|
|
58
|
+
error indicating that — do not fake it
|
|
59
|
+
|
|
60
|
+
OUTPUT FORMAT:
|
|
61
|
+
- No markdown fences
|
|
62
|
+
- No explanation before or after
|
|
63
|
+
- Just the function body code
|
|
64
|
+
- First line should be a comment summarizing what the function does
|
|
65
|
+
|
|
66
|
+
examples:
|
|
67
|
+
- step: "Apply discount based on loyalty tier"
|
|
68
|
+
input_fields: "order, customer"
|
|
69
|
+
output: |
|
|
70
|
+
// Calculate discount rate from customer's loyalty tier and apply to order total
|
|
71
|
+
const tierDiscounts: Record<string, number> = {
|
|
72
|
+
platinum: 0.20, gold: 0.15, silver: 0.10, bronze: 0.05
|
|
73
|
+
};
|
|
74
|
+
const tier = (customer as any).loyaltyTier || 'none';
|
|
75
|
+
const rate = tierDiscounts[tier] || 0;
|
|
76
|
+
const amount = Math.round((order as any).total * rate * 100) / 100;
|
|
77
|
+
return { tier, rate, amount, newTotal: (order as any).total - amount };
|
|
78
|
+
|
|
79
|
+
- step: "Calculate shipping cost for destination"
|
|
80
|
+
input_fields: "order, destination"
|
|
81
|
+
output: |
|
|
82
|
+
// Calculate shipping cost based on destination zone and order weight
|
|
83
|
+
const zones: Record<string, number> = { local: 5, regional: 10, national: 15, international: 40 };
|
|
84
|
+
const zone = (destination as any).zone || 'national';
|
|
85
|
+
const weightKg = (order as any).totalWeightKg || 1;
|
|
86
|
+
const baseRate = zones[zone] || 15;
|
|
87
|
+
const cost = baseRate + (weightKg * 2);
|
|
88
|
+
return { zone, baseRate, weightKg, cost };
|
|
89
|
+
|
|
90
|
+
user:
|
|
91
|
+
template: |
|
|
92
|
+
Generate a PURE TypeScript function body for this SpecVerse behavior step.
|
|
93
|
+
|
|
94
|
+
Step: "{{step}}"
|
|
95
|
+
|
|
96
|
+
Context:
|
|
97
|
+
- Model: {{modelName}}
|
|
98
|
+
- Controller operation: {{modelName}}Controller.{{operationName}}()
|
|
99
|
+
- Function name: {{functionName}}
|
|
100
|
+
- Available Prisma models (for type reference only): {{availableModels}}
|
|
101
|
+
|
|
102
|
+
The function signature is already generated as:
|
|
103
|
+
async function {{functionName}}(input: {{inputSignature}}): Promise<{{returnType}}>
|
|
104
|
+
|
|
105
|
+
Inside the function, `input` is already destructured. You have access to
|
|
106
|
+
these variables directly: {{inputVars}}
|
|
107
|
+
|
|
108
|
+
The function MUST return {{returnType}}. If that's `any`, return a
|
|
109
|
+
reasonable result object describing what was computed. If it's a specific
|
|
110
|
+
type (e.g., { cost: number; days: number }), return an object matching
|
|
111
|
+
that shape exactly — the caller depends on those field names.
|
|
112
|
+
|
|
113
|
+
Output ONLY the function body (the code that goes between { and }).
|
|
114
|
+
The destructure is already done — just write the logic.
|
|
115
|
+
|
|
116
|
+
Remember: PURE function, no prisma, no eventBus, no external calls.
|
|
117
|
+
|
|
118
|
+
variables:
|
|
119
|
+
- step
|
|
120
|
+
- modelName
|
|
121
|
+
- operationName
|
|
122
|
+
- functionName
|
|
123
|
+
- inputSignature
|
|
124
|
+
- inputVars
|
|
125
|
+
- returnType
|
|
126
|
+
- availableModels
|
|
@@ -0,0 +1,65 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Behavior AI Service — session-based Claude conversation for generating
|
|
3
|
+
* TypeScript function bodies for unmatched behavior steps.
|
|
4
|
+
*
|
|
5
|
+
* Architecture (mirrors specverse-app-demo/src/ai/ai-service.ts):
|
|
6
|
+
* - First call: spawns Claude with --session-id <uuid> --system-prompt <prompt>
|
|
7
|
+
* - Subsequent calls: --resume <uuid> for cached context (98% token savings)
|
|
8
|
+
* - All steps for a controller share one session — Claude builds understanding
|
|
9
|
+
* of the spec across calls, generating coherent code
|
|
10
|
+
* - Loads system prompt from assets/prompts/core/standard/v9/behavior.prompt.yaml
|
|
11
|
+
*
|
|
12
|
+
* Used by ai-behaviors-generator at realize time.
|
|
13
|
+
*/
|
|
14
|
+
export interface BehaviorAIServiceOptions {
|
|
15
|
+
claudePath?: string;
|
|
16
|
+
model?: string;
|
|
17
|
+
timeout?: number;
|
|
18
|
+
}
|
|
19
|
+
export interface BehaviorGenerateContext {
|
|
20
|
+
step: string;
|
|
21
|
+
modelName: string;
|
|
22
|
+
operationName: string;
|
|
23
|
+
functionName: string;
|
|
24
|
+
parameterNames: string[];
|
|
25
|
+
availableModels: string[];
|
|
26
|
+
spec?: any;
|
|
27
|
+
/** Declared return type from spec (TypeScript type string) */
|
|
28
|
+
returnType?: string;
|
|
29
|
+
}
|
|
30
|
+
/**
|
|
31
|
+
* Session-based AI service for generating behavior implementations.
|
|
32
|
+
*/
|
|
33
|
+
export declare class BehaviorAIService {
|
|
34
|
+
private claudePath;
|
|
35
|
+
private model;
|
|
36
|
+
private timeout;
|
|
37
|
+
private sessionId;
|
|
38
|
+
private initialized;
|
|
39
|
+
private currentProcess;
|
|
40
|
+
private systemPrompt;
|
|
41
|
+
private userTemplate;
|
|
42
|
+
constructor(options?: BehaviorAIServiceOptions);
|
|
43
|
+
private detectClaudePath;
|
|
44
|
+
/**
|
|
45
|
+
* Check if Claude CLI is available.
|
|
46
|
+
*/
|
|
47
|
+
get isAvailable(): boolean;
|
|
48
|
+
/**
|
|
49
|
+
* Start a new session for a controller. All step generations within the
|
|
50
|
+
* controller will share this session, accumulating spec context.
|
|
51
|
+
*/
|
|
52
|
+
startSession(controllerName: string): string;
|
|
53
|
+
/**
|
|
54
|
+
* Generate a function body for a behavior step.
|
|
55
|
+
* First call creates the session with system prompt; subsequent calls resume.
|
|
56
|
+
*/
|
|
57
|
+
generateBehavior(ctx: BehaviorGenerateContext): Promise<string | null>;
|
|
58
|
+
/**
|
|
59
|
+
* End the current session.
|
|
60
|
+
*/
|
|
61
|
+
endSession(): void;
|
|
62
|
+
private buildUserPrompt;
|
|
63
|
+
private extractCode;
|
|
64
|
+
}
|
|
65
|
+
//# sourceMappingURL=behavior-ai-service.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"behavior-ai-service.d.ts","sourceRoot":"","sources":["../../src/ai/behavior-ai-service.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AASH,MAAM,WAAW,wBAAwB;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,IAAI,CAAC,EAAE,GAAG,CAAC;IACX,8DAA8D;IAC9D,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA4CD;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,KAAK,CAAgB;IAC7B,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,WAAW,CAAkB;IACrC,OAAO,CAAC,cAAc,CAA6B;IACnD,OAAO,CAAC,YAAY,CAAS;IAC7B,OAAO,CAAC,YAAY,CAAS;gBAEjB,OAAO,GAAE,wBAA6B;IAUlD,OAAO,CAAC,gBAAgB;IAaxB;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAOzB;IAED;;;OAGG;IACH,YAAY,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM;IAM5C;;;OAGG;IACG,gBAAgB,CAAC,GAAG,EAAE,uBAAuB,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAgD5E;;OAEG;IACH,UAAU,IAAI,IAAI;IASlB,OAAO,CAAC,eAAe;IAmBvB,OAAO,CAAC,WAAW;CAUpB"}
|
|
@@ -0,0 +1,205 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Behavior AI Service — session-based Claude conversation for generating
|
|
3
|
+
* TypeScript function bodies for unmatched behavior steps.
|
|
4
|
+
*
|
|
5
|
+
* Architecture (mirrors specverse-app-demo/src/ai/ai-service.ts):
|
|
6
|
+
* - First call: spawns Claude with --session-id <uuid> --system-prompt <prompt>
|
|
7
|
+
* - Subsequent calls: --resume <uuid> for cached context (98% token savings)
|
|
8
|
+
* - All steps for a controller share one session — Claude builds understanding
|
|
9
|
+
* of the spec across calls, generating coherent code
|
|
10
|
+
* - Loads system prompt from assets/prompts/core/standard/v9/behavior.prompt.yaml
|
|
11
|
+
*
|
|
12
|
+
* Used by ai-behaviors-generator at realize time.
|
|
13
|
+
*/
|
|
14
|
+
import { spawn, execSync } from 'child_process';
|
|
15
|
+
import { randomUUID } from 'crypto';
|
|
16
|
+
import { existsSync, readFileSync } from 'fs';
|
|
17
|
+
import { join, dirname } from 'path';
|
|
18
|
+
import { fileURLToPath } from 'url';
|
|
19
|
+
import yaml from 'js-yaml';
|
|
20
|
+
/**
|
|
21
|
+
* Load behavior prompt from engines/assets/prompts/.
|
|
22
|
+
*/
|
|
23
|
+
function loadBehaviorPrompt() {
|
|
24
|
+
try {
|
|
25
|
+
// Find the engines package root by walking up from this file
|
|
26
|
+
const __filename = fileURLToPath(import.meta.url);
|
|
27
|
+
const __dirname = dirname(__filename);
|
|
28
|
+
// dist/ai/behavior-ai-service.js or src/ai/behavior-ai-service.ts
|
|
29
|
+
// Walk up to find assets/prompts
|
|
30
|
+
const candidates = [
|
|
31
|
+
join(__dirname, '..', '..', 'assets', 'prompts', 'core', 'standard', 'v9', 'behavior.prompt.yaml'),
|
|
32
|
+
join(__dirname, '..', '..', '..', 'assets', 'prompts', 'core', 'standard', 'v9', 'behavior.prompt.yaml'),
|
|
33
|
+
];
|
|
34
|
+
for (const path of candidates) {
|
|
35
|
+
if (existsSync(path)) {
|
|
36
|
+
const content = yaml.load(readFileSync(path, 'utf8'));
|
|
37
|
+
const role = content?.system?.role || '';
|
|
38
|
+
const context = content?.system?.context || '';
|
|
39
|
+
const userTemplate = content?.user?.template || '';
|
|
40
|
+
return {
|
|
41
|
+
system: `${role}\n\n${context}`.trim(),
|
|
42
|
+
userTemplate,
|
|
43
|
+
};
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
}
|
|
47
|
+
catch {
|
|
48
|
+
// Fall through to default
|
|
49
|
+
}
|
|
50
|
+
return null;
|
|
51
|
+
}
|
|
52
|
+
const DEFAULT_SYSTEM_PROMPT = `You are a SpecVerse behavior code generator.
|
|
53
|
+
Generate TypeScript function bodies for behavior steps that don't match convention patterns.
|
|
54
|
+
Use the global \`prisma\` client. Output only the function body, no fences, no explanation.`;
|
|
55
|
+
const DEFAULT_USER_TEMPLATE = `Generate a TypeScript function body for: "{{step}}"
|
|
56
|
+
Context: {{modelName}}.{{operationName}}, parameters: {{parameterNames}}
|
|
57
|
+
Output ONLY the function body code.`;
|
|
58
|
+
/**
|
|
59
|
+
* Session-based AI service for generating behavior implementations.
|
|
60
|
+
*/
|
|
61
|
+
export class BehaviorAIService {
|
|
62
|
+
claudePath;
|
|
63
|
+
model;
|
|
64
|
+
timeout;
|
|
65
|
+
sessionId = null;
|
|
66
|
+
initialized = false;
|
|
67
|
+
currentProcess = null;
|
|
68
|
+
systemPrompt;
|
|
69
|
+
userTemplate;
|
|
70
|
+
constructor(options = {}) {
|
|
71
|
+
this.claudePath = options.claudePath || this.detectClaudePath();
|
|
72
|
+
this.model = options.model || null;
|
|
73
|
+
this.timeout = options.timeout || 60000;
|
|
74
|
+
const prompt = loadBehaviorPrompt();
|
|
75
|
+
this.systemPrompt = prompt?.system || DEFAULT_SYSTEM_PROMPT;
|
|
76
|
+
this.userTemplate = prompt?.userTemplate || DEFAULT_USER_TEMPLATE;
|
|
77
|
+
}
|
|
78
|
+
detectClaudePath() {
|
|
79
|
+
const home = process.env.HOME || '';
|
|
80
|
+
const candidates = [
|
|
81
|
+
join(home, '.claude', 'local', 'claude'),
|
|
82
|
+
'claude',
|
|
83
|
+
];
|
|
84
|
+
for (const candidate of candidates) {
|
|
85
|
+
if (candidate === 'claude')
|
|
86
|
+
return candidate;
|
|
87
|
+
if (existsSync(candidate))
|
|
88
|
+
return candidate;
|
|
89
|
+
}
|
|
90
|
+
return 'claude';
|
|
91
|
+
}
|
|
92
|
+
/**
|
|
93
|
+
* Check if Claude CLI is available.
|
|
94
|
+
*/
|
|
95
|
+
get isAvailable() {
|
|
96
|
+
try {
|
|
97
|
+
execSync(`${this.claudePath} --version`, { stdio: 'ignore', timeout: 5000 });
|
|
98
|
+
return true;
|
|
99
|
+
}
|
|
100
|
+
catch {
|
|
101
|
+
return false;
|
|
102
|
+
}
|
|
103
|
+
}
|
|
104
|
+
/**
|
|
105
|
+
* Start a new session for a controller. All step generations within the
|
|
106
|
+
* controller will share this session, accumulating spec context.
|
|
107
|
+
*/
|
|
108
|
+
startSession(controllerName) {
|
|
109
|
+
this.sessionId = randomUUID();
|
|
110
|
+
this.initialized = false;
|
|
111
|
+
return this.sessionId;
|
|
112
|
+
}
|
|
113
|
+
/**
|
|
114
|
+
* Generate a function body for a behavior step.
|
|
115
|
+
* First call creates the session with system prompt; subsequent calls resume.
|
|
116
|
+
*/
|
|
117
|
+
async generateBehavior(ctx) {
|
|
118
|
+
if (!this.sessionId) {
|
|
119
|
+
this.startSession(ctx.modelName);
|
|
120
|
+
}
|
|
121
|
+
if (!this.isAvailable)
|
|
122
|
+
return null;
|
|
123
|
+
const userPrompt = this.buildUserPrompt(ctx);
|
|
124
|
+
const args = ['--print'];
|
|
125
|
+
if (!this.initialized) {
|
|
126
|
+
args.push('--session-id', this.sessionId);
|
|
127
|
+
args.push('--system-prompt', this.systemPrompt);
|
|
128
|
+
}
|
|
129
|
+
else {
|
|
130
|
+
args.push('--resume', this.sessionId);
|
|
131
|
+
}
|
|
132
|
+
if (this.model)
|
|
133
|
+
args.push('--model', this.model);
|
|
134
|
+
args.push('-p', userPrompt);
|
|
135
|
+
return new Promise((resolve) => {
|
|
136
|
+
const proc = spawn(this.claudePath, args, {
|
|
137
|
+
stdio: ['ignore', 'pipe', 'pipe'],
|
|
138
|
+
env: { ...process.env },
|
|
139
|
+
});
|
|
140
|
+
this.currentProcess = proc;
|
|
141
|
+
let output = '';
|
|
142
|
+
const timer = setTimeout(() => {
|
|
143
|
+
proc.kill();
|
|
144
|
+
resolve(null);
|
|
145
|
+
}, this.timeout);
|
|
146
|
+
proc.stdout?.on('data', (data) => { output += data.toString(); });
|
|
147
|
+
proc.on('close', (code) => {
|
|
148
|
+
clearTimeout(timer);
|
|
149
|
+
this.currentProcess = null;
|
|
150
|
+
if (code !== 0) {
|
|
151
|
+
resolve(null);
|
|
152
|
+
return;
|
|
153
|
+
}
|
|
154
|
+
this.initialized = true;
|
|
155
|
+
resolve(this.extractCode(output));
|
|
156
|
+
});
|
|
157
|
+
proc.on('error', () => {
|
|
158
|
+
clearTimeout(timer);
|
|
159
|
+
this.currentProcess = null;
|
|
160
|
+
resolve(null);
|
|
161
|
+
});
|
|
162
|
+
});
|
|
163
|
+
}
|
|
164
|
+
/**
|
|
165
|
+
* End the current session.
|
|
166
|
+
*/
|
|
167
|
+
endSession() {
|
|
168
|
+
if (this.currentProcess) {
|
|
169
|
+
this.currentProcess.kill();
|
|
170
|
+
this.currentProcess = null;
|
|
171
|
+
}
|
|
172
|
+
this.sessionId = null;
|
|
173
|
+
this.initialized = false;
|
|
174
|
+
}
|
|
175
|
+
buildUserPrompt(ctx) {
|
|
176
|
+
const inputVars = ctx.parameterNames.length > 0 ? ctx.parameterNames.join(', ') : 'none';
|
|
177
|
+
const inputSignature = ctx.parameterNames.length > 0
|
|
178
|
+
? `{ ${ctx.parameterNames.map(n => `${n}: any`).join('; ')} }`
|
|
179
|
+
: 'Record<string, never>';
|
|
180
|
+
const returnType = ctx.returnType || 'any';
|
|
181
|
+
return this.userTemplate
|
|
182
|
+
.replace(/\{\{step\}\}/g, ctx.step)
|
|
183
|
+
.replace(/\{\{modelName\}\}/g, ctx.modelName)
|
|
184
|
+
.replace(/\{\{operationName\}\}/g, ctx.operationName)
|
|
185
|
+
.replace(/\{\{functionName\}\}/g, ctx.functionName)
|
|
186
|
+
.replace(/\{\{parameterNames\}\}/g, inputVars)
|
|
187
|
+
.replace(/\{\{inputVars\}\}/g, inputVars)
|
|
188
|
+
.replace(/\{\{inputSignature\}\}/g, inputSignature)
|
|
189
|
+
.replace(/\{\{returnType\}\}/g, returnType)
|
|
190
|
+
.replace(/\{\{availableModels\}\}/g, ctx.availableModels.join(', ') || 'none');
|
|
191
|
+
}
|
|
192
|
+
extractCode(output) {
|
|
193
|
+
let code = output.trim();
|
|
194
|
+
// Strip markdown fences
|
|
195
|
+
const codeBlock = code.match(/```(?:typescript|ts|javascript|js)?\n([\s\S]*?)```/);
|
|
196
|
+
if (codeBlock)
|
|
197
|
+
code = codeBlock[1].trim();
|
|
198
|
+
// Strip "function ... { ... }" wrapper if model included it
|
|
199
|
+
const funcMatch = code.match(/^(?:export\s+)?(?:async\s+)?function\s+\w+\([^)]*\)[^{]*\{([\s\S]*)\}\s*$/);
|
|
200
|
+
if (funcMatch)
|
|
201
|
+
code = funcMatch[1].trim();
|
|
202
|
+
return code || null;
|
|
203
|
+
}
|
|
204
|
+
}
|
|
205
|
+
//# sourceMappingURL=behavior-ai-service.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"behavior-ai-service.js","sourceRoot":"","sources":["../../src/ai/behavior-ai-service.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAgB,MAAM,eAAe,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,IAAI,MAAM,SAAS,CAAC;AAoB3B;;GAEG;AACH,SAAS,kBAAkB;IACzB,IAAI,CAAC;QACH,6DAA6D;QAC7D,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAEtC,kEAAkE;QAClE,iCAAiC;QACjC,MAAM,UAAU,GAAG;YACjB,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,sBAAsB,CAAC;YAClG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,sBAAsB,CAAC;SACzG,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAQ,CAAC;gBAC7D,MAAM,IAAI,GAAG,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;gBACzC,MAAM,OAAO,GAAG,OAAO,EAAE,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC;gBAC/C,MAAM,YAAY,GAAG,OAAO,EAAE,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC;gBACnD,OAAO;oBACL,MAAM,EAAE,GAAG,IAAI,OAAO,OAAO,EAAE,CAAC,IAAI,EAAE;oBACtC,YAAY;iBACb,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,0BAA0B;IAC5B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,qBAAqB,GAAG;;4FAE8D,CAAC;AAE7F,MAAM,qBAAqB,GAAG;;oCAEM,CAAC;AAErC;;GAEG;AACH,MAAM,OAAO,iBAAiB;IACpB,UAAU,CAAS;IACnB,KAAK,CAAgB;IACrB,OAAO,CAAS;IAChB,SAAS,GAAkB,IAAI,CAAC;IAChC,WAAW,GAAY,KAAK,CAAC;IAC7B,cAAc,GAAwB,IAAI,CAAC;IAC3C,YAAY,CAAS;IACrB,YAAY,CAAS;IAE7B,YAAY,UAAoC,EAAE;QAChD,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAChE,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC;QACnC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,KAAK,CAAC;QAExC,MAAM,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACpC,IAAI,CAAC,YAAY,GAAG,MAAM,EAAE,MAAM,IAAI,qBAAqB,CAAC;QAC5D,IAAI,CAAC,YAAY,GAAG,MAAM,EAAE,YAAY,IAAI,qBAAqB,CAAC;IACpE,CAAC;IAEO,gBAAgB;QACtB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG;YACjB,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC;YACxC,QAAQ;SACT,CAAC;QACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,SAAS,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YAC7C,IAAI,UAAU,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;QAC9C,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,IAAI,WAAW;QACb,IAAI,CAAC;YACH,QAAQ,CAAC,GAAG,IAAI,CAAC,UAAU,YAAY,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,cAAsB;QACjC,IAAI,CAAC,SAAS,GAAG,UAAU,EAAE,CAAC;QAC9B,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;QACzB,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,gBAAgB,CAAC,GAA4B;QACjD,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QAEnC,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAa,CAAC,SAAS,CAAC,CAAC;QAEnC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,SAAU,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,SAAU,CAAC,CAAC;QACzC,CAAC;QAED,IAAI,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAE5B,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE;gBACxC,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;gBACjC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;aACxB,CAAC,CAAC;YAEH,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;YAC3B,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;gBAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAEjB,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,IAAY,EAAE,EAAE,GAAG,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1E,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;gBACxB,YAAY,CAAC,KAAK,CAAC,CAAC;gBACpB,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;gBAC3B,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;oBAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAAC,OAAO;gBAAC,CAAC;gBAC1C,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;gBACpB,YAAY,CAAC,KAAK,CAAC,CAAC;gBACpB,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,UAAU;QACR,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;YAC3B,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACtB,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;IAC3B,CAAC;IAEO,eAAe,CAAC,GAA4B;QAClD,MAAM,SAAS,GAAG,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACzF,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;YAClD,CAAC,CAAC,KAAK,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC9D,CAAC,CAAC,uBAAuB,CAAC;QAC5B,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,KAAK,CAAC;QAE3C,OAAO,IAAI,CAAC,YAAY;aACrB,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC;aAClC,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,SAAS,CAAC;aAC5C,OAAO,CAAC,wBAAwB,EAAE,GAAG,CAAC,aAAa,CAAC;aACpD,OAAO,CAAC,uBAAuB,EAAE,GAAG,CAAC,YAAY,CAAC;aAClD,OAAO,CAAC,yBAAyB,EAAE,SAAS,CAAC;aAC7C,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC;aACxC,OAAO,CAAC,yBAAyB,EAAE,cAAc,CAAC;aAClD,OAAO,CAAC,qBAAqB,EAAE,UAAU,CAAC;aAC1C,OAAO,CAAC,0BAA0B,EAAE,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC;IACnF,CAAC;IAEO,WAAW,CAAC,MAAc;QAChC,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;QACzB,wBAAwB;QACxB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACnF,IAAI,SAAS;YAAE,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1C,4DAA4D;QAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,2EAA2E,CAAC,CAAC;QAC1G,IAAI,SAAS;YAAE,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1C,OAAO,IAAI,IAAI,IAAI,CAAC;IACtB,CAAC;CACF"}
|
package/dist/ai/index.d.ts
CHANGED
|
@@ -8,6 +8,8 @@ export * from './types/index.js';
|
|
|
8
8
|
export * from './config-loader.js';
|
|
9
9
|
export { SessionManager } from './session/session-manager.js';
|
|
10
10
|
export type { SessionInfo, JobRequest, JobStatus, CreateSessionOptions } from './session/types.js';
|
|
11
|
+
export { BehaviorAIService } from './behavior-ai-service.js';
|
|
12
|
+
export type { BehaviorAIServiceOptions, BehaviorGenerateContext } from './behavior-ai-service.js';
|
|
11
13
|
export { LLMProvider, LLMProviderRegistry } from './providers/llm-provider.js';
|
|
12
14
|
export type { LLMMessage, LLMCompletionOptions, LLMCompletionResponse, LLMProviderConfig, LLMStreamChunk } from './providers/llm-provider.js';
|
|
13
15
|
export { ProviderFactory } from './providers/provider-factory.js';
|
|
@@ -23,6 +25,22 @@ export interface AIEngine extends SpecVerseEngine {
|
|
|
23
25
|
generatePrompt(spec: any, options?: any): Promise<string>;
|
|
24
26
|
suggest(spec: any, context?: string): Promise<any[]>;
|
|
25
27
|
template(name: string, options?: any): Promise<string>;
|
|
28
|
+
/** Generate a TypeScript function body for an unmatched behavior step */
|
|
29
|
+
generateBehavior(step: string, context: BehaviorGenContext): Promise<string | null>;
|
|
30
|
+
}
|
|
31
|
+
export interface BehaviorGenContext {
|
|
32
|
+
/** The model name (e.g., "Order") */
|
|
33
|
+
modelName: string;
|
|
34
|
+
/** The operation/action name (e.g., "processOrder") */
|
|
35
|
+
operationName: string;
|
|
36
|
+
/** Function name to generate (e.g., "applyDiscountBasedOnLoyaltyTier") */
|
|
37
|
+
functionName: string;
|
|
38
|
+
/** Parameter names from the action (e.g., ['orderId', 'customerId']) */
|
|
39
|
+
parameterNames: string[];
|
|
40
|
+
/** Available models in the spec for context */
|
|
41
|
+
availableModels?: string[];
|
|
42
|
+
/** The full spec for context */
|
|
43
|
+
spec?: any;
|
|
26
44
|
}
|
|
27
45
|
declare class SpecVerseAIEngine implements AIEngine {
|
|
28
46
|
name: string;
|
|
@@ -36,6 +54,15 @@ declare class SpecVerseAIEngine implements AIEngine {
|
|
|
36
54
|
getInfo(): EngineInfo;
|
|
37
55
|
generatePrompt(spec: any, _options?: any): Promise<string>;
|
|
38
56
|
suggest(spec: any, _context?: string): Promise<any[]>;
|
|
57
|
+
/**
|
|
58
|
+
* Generate a TypeScript function body for an unmatched behavior step.
|
|
59
|
+
* Delegates to BehaviorAIService which holds a session-based conversation
|
|
60
|
+
* with Claude (mirrors app-demo's runtime AI guard generation).
|
|
61
|
+
*
|
|
62
|
+
* For best results, callers should reuse the same BehaviorAIService instance
|
|
63
|
+
* across multiple steps in a controller — the conversation accumulates context.
|
|
64
|
+
*/
|
|
65
|
+
generateBehavior(step: string, context: BehaviorGenContext): Promise<string | null>;
|
|
39
66
|
template(operation: string, options?: any): Promise<string>;
|
|
40
67
|
}
|
|
41
68
|
export declare const engine: SpecVerseAIEngine;
|
package/dist/ai/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ai/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,cAAc,qBAAqB,CAAC;AACpC,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAGnG,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAC/E,YAAY,EAAE,UAAU,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC9I,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAG1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAG7E,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAMzD,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEpE,MAAM,WAAW,QAAS,SAAQ,eAAe;IAC/C,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1D,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ai/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,cAAc,qBAAqB,CAAC;AACpC,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAGnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAGlG,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAC/E,YAAY,EAAE,UAAU,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC9I,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAG1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAG7E,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAMzD,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEpE,MAAM,WAAW,QAAS,SAAQ,eAAe;IAC/C,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1D,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACvD,yEAAyE;IACzE,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;CACrF;AAED,MAAM,WAAW,kBAAkB;IACjC,qCAAqC;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,uDAAuD;IACvD,aAAa,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,YAAY,EAAE,MAAM,CAAC;IACrB,wEAAwE;IACxE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,+CAA+C;IAC/C,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,gCAAgC;IAChC,IAAI,CAAC,EAAE,GAAG,CAAC;CACZ;AAED,cAAM,iBAAkB,YAAW,QAAQ;IACzC,IAAI,SAAQ;IACZ,OAAO,SAAW;IAClB,YAAY,WAAwF;IAEpG,OAAO,CAAC,OAAO,CAAa;IAEtB,UAAU,CAAC,MAAM,CAAC,EAAE;QAAE,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IASrF,OAAO,IAAI,UAAU;IAIf,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC;IA2F1D,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAK3D;;;;;;;OAOG;IACG,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAmBnF,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC;CAiClE;AAED,eAAO,MAAM,MAAM,mBAA0B,CAAC;AAC9C,eAAe,MAAM,CAAC;AACtB,OAAO,EAAE,iBAAiB,EAAE,CAAC"}
|
package/dist/ai/index.js
CHANGED
|
@@ -7,6 +7,8 @@ export * from './core/ecosystem-prompt-manager.js';
|
|
|
7
7
|
export * from './types/index.js';
|
|
8
8
|
export * from './config-loader.js';
|
|
9
9
|
export { SessionManager } from './session/session-manager.js';
|
|
10
|
+
// Behavior AI service — session-based Claude conversation for realize-time code generation
|
|
11
|
+
export { BehaviorAIService } from './behavior-ai-service.js';
|
|
10
12
|
// Providers — LLM execution layer
|
|
11
13
|
export { LLMProvider, LLMProviderRegistry } from './providers/llm-provider.js';
|
|
12
14
|
export { ProviderFactory } from './providers/provider-factory.js';
|
|
@@ -123,6 +125,34 @@ class SpecVerseAIEngine {
|
|
|
123
125
|
const { analyseSpec } = await import('./commands/spec-analyser.js');
|
|
124
126
|
return analyseSpec(spec);
|
|
125
127
|
}
|
|
128
|
+
/**
|
|
129
|
+
* Generate a TypeScript function body for an unmatched behavior step.
|
|
130
|
+
* Delegates to BehaviorAIService which holds a session-based conversation
|
|
131
|
+
* with Claude (mirrors app-demo's runtime AI guard generation).
|
|
132
|
+
*
|
|
133
|
+
* For best results, callers should reuse the same BehaviorAIService instance
|
|
134
|
+
* across multiple steps in a controller — the conversation accumulates context.
|
|
135
|
+
*/
|
|
136
|
+
async generateBehavior(step, context) {
|
|
137
|
+
try {
|
|
138
|
+
const { BehaviorAIService } = await import('./behavior-ai-service.js');
|
|
139
|
+
const service = new BehaviorAIService();
|
|
140
|
+
if (!service.isAvailable)
|
|
141
|
+
return null;
|
|
142
|
+
return await service.generateBehavior({
|
|
143
|
+
step,
|
|
144
|
+
modelName: context.modelName,
|
|
145
|
+
operationName: context.operationName,
|
|
146
|
+
functionName: context.functionName,
|
|
147
|
+
parameterNames: context.parameterNames,
|
|
148
|
+
availableModels: context.availableModels || [],
|
|
149
|
+
spec: context.spec,
|
|
150
|
+
});
|
|
151
|
+
}
|
|
152
|
+
catch {
|
|
153
|
+
return null;
|
|
154
|
+
}
|
|
155
|
+
}
|
|
126
156
|
async template(operation, options) {
|
|
127
157
|
try {
|
|
128
158
|
const { getTemplate } = await import('./commands/template.js');
|
package/dist/ai/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/ai/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,cAAc,qBAAqB,CAAC;AACpC,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAG9D,kCAAkC;AAClC,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAE/E,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAE1E,4CAA4C;AAC5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAE7E,+CAA+C;AAC/C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/ai/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,cAAc,qBAAqB,CAAC;AACpC,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAG9D,2FAA2F;AAC3F,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D,kCAAkC;AAClC,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAE/E,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAE1E,4CAA4C;AAC5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAE7E,+CAA+C;AAC/C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAgC/D,MAAM,iBAAiB;IACrB,IAAI,GAAG,IAAI,CAAC;IACZ,OAAO,GAAG,OAAO,CAAC;IAClB,YAAY,GAAG,CAAC,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC;IAE5F,OAAO,GAAQ,IAAI,CAAC;IAE5B,KAAK,CAAC,UAAU,CAAC,MAAoD;QACnE,IAAI,CAAC;YACH,MAAM,EAAE,sBAAsB,EAAE,GAAG,MAAM,MAAM,CAAC,oCAAoC,CAAC,CAAC;YACtF,IAAI,CAAC,OAAO,GAAG,IAAI,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACjE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,6BAA6B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACrF,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,IAAS,EAAE,QAAc;QAC5C,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,4FAA4F,CAAC,CAAC;QACzG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9C,IAAI,SAAS,CAAC,WAAW;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAEf,SAAS;YACT,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC;YACtC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACf,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;oBACjC,IAAI,KAAK,CAAC,WAAW;wBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;oBACrD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;oBACrC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACrB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBACf,KAAK,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;wBACvD,KAAK,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;wBACvD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;4BACzB,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,IAAI,QAAQ,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;wBAC9H,CAAC;oBACH,CAAC;oBACD,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;oBACvC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBACf,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;wBACjC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;4BACvB,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;wBACzD,CAAC;oBACH,CAAC;oBACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACjB,CAAC;YACH,CAAC;YAED,cAAc;YACd,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC;YAChD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;gBACtD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;oBAC/B,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,KAAK,IAAI,eAAe,EAAE,CAAC,CAAC;gBAC7F,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;YAED,WAAW;YACX,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC;YAC1C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,iBAAiB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;gBAChD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;oBAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;oBAChC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;wBACnB,KAAK,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAiC,CAAC,EAAE,CAAC;4BACjF,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,KAAK,EAAE,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC,CAAC;wBACvD,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;YAED,SAAS;YACT,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC;YACtC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC5C,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;oBACzB,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;gBAClC,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,kFAAkF,CAAC,CAAC;QAC/F,KAAK,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QACvE,KAAK,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;QAC9E,KAAK,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,mHAAmH,CAAC,CAAC;QAChI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAS,EAAE,QAAiB;QACxC,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,6BAA6B,CAAC,CAAC;QACpE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,gBAAgB,CAAC,IAAY,EAAE,OAA2B;QAC9D,IAAI,CAAC;YACH,MAAM,EAAE,iBAAiB,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;YACvE,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;YACxC,IAAI,CAAC,OAAO,CAAC,WAAW;gBAAE,OAAO,IAAI,CAAC;YACtC,OAAO,MAAM,OAAO,CAAC,gBAAgB,CAAC;gBACpC,IAAI;gBACJ,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,aAAa,EAAE,OAAO,CAAC,aAAa;gBACpC,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,cAAc,EAAE,OAAO,CAAC,cAAc;gBACtC,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,EAAE;gBAC9C,IAAI,EAAE,OAAO,CAAC,IAAI;aACnB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,SAAiB,EAAE,OAAa;QAC7C,IAAI,CAAC;YACH,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,wBAAwB,CAAC,CAAC;YAC/D,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,SAAgB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,CAAC,CAAC;YACvF,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;gBAC/B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;YACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;gBACtC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChD,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC3B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,4EAA4E;YAC5E,OAAO,eAAe,SAAS,0FAA0F,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACpL,CAAC;IACH,CAAC;CACF;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;AAC9C,eAAe,MAAM,CAAC;AACtB,OAAO,EAAE,iBAAiB,EAAE,CAAC"}
|
package/dist/ai/prompt-loader.js
CHANGED
|
@@ -42,8 +42,8 @@ export function resolvePromptPath(pver, basePath) {
|
|
|
42
42
|
let versionPath = join(promptsBase, 'core/standard', pver);
|
|
43
43
|
// Handle 'default' - symlink may not survive npm package installation
|
|
44
44
|
if (pver === 'default' && !existsSync(versionPath)) {
|
|
45
|
-
// Fallback to latest version (
|
|
46
|
-
const latestVersion = '
|
|
45
|
+
// Fallback to latest version (v9)
|
|
46
|
+
const latestVersion = 'v9';
|
|
47
47
|
versionPath = join(promptsBase, 'core/standard', latestVersion);
|
|
48
48
|
if (!existsSync(versionPath)) {
|
|
49
49
|
throw new Error(`Default prompt version (${latestVersion}) not found at ${versionPath}`);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"quint-transpiler.d.ts","sourceRoot":"","sources":["../../src/inference/quint-transpiler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAKH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,GAAG,WAAW,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,eAAe,EAAE,CAqB5E;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,eAAe,EAAE,CAuEvG;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,
|
|
1
|
+
{"version":3,"file":"quint-transpiler.d.ts","sourceRoot":"","sources":["../../src/inference/quint-transpiler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAKH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,GAAG,WAAW,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,eAAe,EAAE,CAqB5E;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,eAAe,EAAE,CAuEvG;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,CA+EtE;AAID,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CA8BtG;AA+HD;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAiBzE"}
|