@lssm/bundle.contractspec-workspace 0.0.0-canary-20251220030446 → 0.0.0-canary-20251221114240
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/README.md +1 -1
- package/dist/adapters/fs.d.ts.map +1 -1
- package/dist/index.js +826 -805
- package/dist/services/agent-guide/adapters/claude-code.d.ts +3 -3
- package/dist/services/agent-guide/adapters/claude-code.d.ts.map +1 -1
- package/dist/services/agent-guide/adapters/cursor-cli.d.ts +4 -4
- package/dist/services/agent-guide/adapters/cursor-cli.d.ts.map +1 -1
- package/dist/services/agent-guide/adapters/generic-mcp.d.ts +3 -3
- package/dist/services/agent-guide/adapters/generic-mcp.d.ts.map +1 -1
- package/dist/services/agent-guide/agent-guide-service.d.ts +5 -6
- package/dist/services/agent-guide/agent-guide-service.d.ts.map +1 -1
- package/dist/services/agent-guide/types.d.ts +3 -3
- package/dist/services/agent-guide/types.d.ts.map +1 -1
- package/dist/services/deps.d.ts.map +1 -1
- package/dist/services/doctor/checks/workspace.d.ts +1 -1
- package/dist/services/doctor/checks/workspace.d.ts.map +1 -1
- package/dist/services/openapi/export-service.d.ts +4 -4
- package/dist/services/openapi/export-service.d.ts.map +1 -1
- package/dist/services/openapi/import-service.d.ts +2 -1
- package/dist/services/openapi/import-service.d.ts.map +1 -1
- package/dist/services/openapi/sync-service.d.ts +3 -5
- package/dist/services/openapi/sync-service.d.ts.map +1 -1
- package/dist/services/openapi/types.d.ts +2 -24
- package/dist/services/openapi/types.d.ts.map +1 -1
- package/dist/services/test.d.ts +3 -3
- package/dist/services/test.d.ts.map +1 -1
- package/dist/services/verify/ai-verifier.d.ts +1 -1
- package/dist/services/verify/ai-verifier.d.ts.map +1 -1
- package/dist/services/verify/behavior-verifier.d.ts.map +1 -1
- package/dist/services/verify/structure-verifier.d.ts.map +1 -1
- package/dist/services/verify/types.d.ts +3 -3
- package/dist/services/verify/types.d.ts.map +1 -1
- package/dist/services/verify/verify-service.d.ts +14 -14
- package/dist/services/verify/verify-service.d.ts.map +1 -1
- package/package.json +9 -9
|
@@ -4,8 +4,8 @@
|
|
|
4
4
|
* Formats implementation plans and prompts for Claude Code (Anthropic's
|
|
5
5
|
* advanced coding agent mode).
|
|
6
6
|
*/
|
|
7
|
-
import type {
|
|
8
|
-
import type {
|
|
7
|
+
import type { AnyOperationSpec } from '@lssm/lib.contracts';
|
|
8
|
+
import type { AgentPrompt, ImplementationPlan } from '@lssm/lib.contracts/llm';
|
|
9
9
|
import type { AgentAdapter } from '../types';
|
|
10
10
|
/**
|
|
11
11
|
* Claude Code adapter implementation.
|
|
@@ -22,7 +22,7 @@ export declare class ClaudeCodeAdapter implements AgentAdapter {
|
|
|
22
22
|
* Generate agent-specific configuration.
|
|
23
23
|
* For Claude Code, this generates a prompt that can be used as context.
|
|
24
24
|
*/
|
|
25
|
-
generateConfig(spec:
|
|
25
|
+
generateConfig(spec: AnyOperationSpec): string;
|
|
26
26
|
/**
|
|
27
27
|
* Parse Claude Code output to extract generated code.
|
|
28
28
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"claude-code.d.ts","sourceRoot":"","sources":["../../../../src/services/agent-guide/adapters/claude-code.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"claude-code.d.ts","sourceRoot":"","sources":["../../../../src/services/agent-guide/adapters/claude-code.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAE7C;;;GAGG;AACH,qBAAa,iBAAkB,YAAW,YAAY;IACpD,SAAS,EAAG,aAAa,CAAU;IAEnC;;;OAGG;IACH,UAAU,CAAC,IAAI,EAAE,kBAAkB,GAAG,WAAW;IAqHjD;;;OAGG;IACH,cAAc,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM;IAyB9C;;OAEG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE;CAkClE;AAED,yBAAyB;AACzB,eAAO,MAAM,iBAAiB,mBAA0B,CAAC"}
|
|
@@ -4,8 +4,8 @@
|
|
|
4
4
|
* Formats implementation plans and prompts for Cursor's CLI/background mode.
|
|
5
5
|
* Can also generate .mdc cursor rules files.
|
|
6
6
|
*/
|
|
7
|
-
import type {
|
|
8
|
-
import type {
|
|
7
|
+
import type { AnyOperationSpec } from '@lssm/lib.contracts';
|
|
8
|
+
import type { AgentPrompt, ImplementationPlan } from '@lssm/lib.contracts/llm';
|
|
9
9
|
import type { AgentAdapter } from '../types';
|
|
10
10
|
/**
|
|
11
11
|
* Cursor CLI adapter implementation.
|
|
@@ -22,11 +22,11 @@ export declare class CursorCLIAdapter implements AgentAdapter {
|
|
|
22
22
|
* Generate Cursor rules (.mdc format) for a spec.
|
|
23
23
|
* Can be saved to .cursor/rules/ to provide persistent context.
|
|
24
24
|
*/
|
|
25
|
-
generateConfig(spec:
|
|
25
|
+
generateConfig(spec: AnyOperationSpec): string;
|
|
26
26
|
/**
|
|
27
27
|
* Generate a cursor rules file path for a spec.
|
|
28
28
|
*/
|
|
29
|
-
getCursorRulesPath(spec:
|
|
29
|
+
getCursorRulesPath(spec: AnyOperationSpec): string;
|
|
30
30
|
/**
|
|
31
31
|
* Parse Cursor output to extract generated code.
|
|
32
32
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cursor-cli.d.ts","sourceRoot":"","sources":["../../../../src/services/agent-guide/adapters/cursor-cli.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"cursor-cli.d.ts","sourceRoot":"","sources":["../../../../src/services/agent-guide/adapters/cursor-cli.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAE7C;;;GAGG;AACH,qBAAa,gBAAiB,YAAW,YAAY;IACnD,SAAS,EAAG,YAAY,CAAU;IAElC;;;OAGG;IACH,UAAU,CAAC,IAAI,EAAE,kBAAkB,GAAG,WAAW;IAgEjD;;;OAGG;IACH,cAAc,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM;IA4F9C;;OAEG;IACH,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM;IAKlD;;OAEG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE;CAalE;AAED,yBAAyB;AACzB,eAAO,MAAM,gBAAgB,kBAAyB,CAAC"}
|
|
@@ -4,8 +4,8 @@
|
|
|
4
4
|
* Formats implementation plans and prompts for any MCP-compatible agent.
|
|
5
5
|
* Uses standard MCP resource/prompt/tool patterns.
|
|
6
6
|
*/
|
|
7
|
-
import type {
|
|
8
|
-
import type {
|
|
7
|
+
import type { AnyOperationSpec } from '@lssm/lib.contracts';
|
|
8
|
+
import type { AgentPrompt, ImplementationPlan } from '@lssm/lib.contracts/llm';
|
|
9
9
|
import type { AgentAdapter } from '../types';
|
|
10
10
|
/**
|
|
11
11
|
* Generic MCP adapter implementation.
|
|
@@ -40,7 +40,7 @@ export declare class GenericMCPAdapter implements AgentAdapter {
|
|
|
40
40
|
/**
|
|
41
41
|
* Generate configuration (generic markdown for any agent).
|
|
42
42
|
*/
|
|
43
|
-
generateConfig(spec:
|
|
43
|
+
generateConfig(spec: AnyOperationSpec): string;
|
|
44
44
|
/**
|
|
45
45
|
* Parse agent output - generic implementation.
|
|
46
46
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"generic-mcp.d.ts","sourceRoot":"","sources":["../../../../src/services/agent-guide/adapters/generic-mcp.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"generic-mcp.d.ts","sourceRoot":"","sources":["../../../../src/services/agent-guide/adapters/generic-mcp.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAE7C;;;GAGG;AACH,qBAAa,iBAAkB,YAAW,YAAY;IACpD,SAAS,EAAG,aAAa,CAAU;IAEnC;;;OAGG;IACH,UAAU,CAAC,IAAI,EAAE,kBAAkB,GAAG,WAAW;IAgHjD;;;OAGG;IACH,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,GAAG;QAC1C,GAAG,EAAE,MAAM,CAAC;QACZ,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;KACd;IAmBD;;OAEG;IACH,qBAAqB,CAAC,IAAI,EAAE,kBAAkB,GAAG;QAC/C,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;QAC3B,OAAO,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;KACzC;IAWD;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM;IAqB9C;;OAEG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE;CA6BlE;AAED,yBAAyB;AACzB,eAAO,MAAM,iBAAiB,mBAA0B,CAAC"}
|
|
@@ -4,9 +4,8 @@
|
|
|
4
4
|
* Generates implementation plans and prompts for AI coding agents.
|
|
5
5
|
* Bridges ContractSpec specifications with agent-specific formats.
|
|
6
6
|
*/
|
|
7
|
-
import type {
|
|
7
|
+
import type { AnyOperationSpec, PresentationRegistry, OperationSpecRegistry } from '@lssm/lib.contracts';
|
|
8
8
|
import type { FeatureModuleSpec } from '@lssm/lib.contracts/features';
|
|
9
|
-
import type { SpecRegistry, PresentationRegistry } from '@lssm/lib.contracts';
|
|
10
9
|
import type { AgentType } from '@lssm/lib.contracts/llm';
|
|
11
10
|
import type { AgentGuideConfig, GuideOptions, GuideResult } from './types';
|
|
12
11
|
/**
|
|
@@ -20,22 +19,22 @@ export declare class AgentGuideService {
|
|
|
20
19
|
/**
|
|
21
20
|
* Generate an implementation guide for a spec.
|
|
22
21
|
*/
|
|
23
|
-
generateGuide(spec:
|
|
22
|
+
generateGuide(spec: AnyOperationSpec, options?: GuideOptions): GuideResult;
|
|
24
23
|
/**
|
|
25
24
|
* Generate a guide for a feature (includes all related specs).
|
|
26
25
|
*/
|
|
27
26
|
generateFeatureGuide(feature: FeatureModuleSpec, deps: {
|
|
28
|
-
specs?:
|
|
27
|
+
specs?: OperationSpecRegistry;
|
|
29
28
|
presentations?: PresentationRegistry;
|
|
30
29
|
}, options?: GuideOptions): GuideResult;
|
|
31
30
|
/**
|
|
32
31
|
* Generate agent-specific configuration (e.g., cursor rules).
|
|
33
32
|
*/
|
|
34
|
-
generateAgentConfig(spec:
|
|
33
|
+
generateAgentConfig(spec: AnyOperationSpec, agent?: AgentType): string | undefined;
|
|
35
34
|
/**
|
|
36
35
|
* Export a spec in a specific format for an agent.
|
|
37
36
|
*/
|
|
38
|
-
exportForAgent(spec:
|
|
37
|
+
exportForAgent(spec: AnyOperationSpec, _agent: AgentType, taskType?: 'implement' | 'test' | 'refactor' | 'review', existingCode?: string): string;
|
|
39
38
|
/**
|
|
40
39
|
* List available agent types.
|
|
41
40
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"agent-guide-service.d.ts","sourceRoot":"","sources":["../../../src/services/agent-guide/agent-guide-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"agent-guide-service.d.ts","sourceRoot":"","sources":["../../../src/services/agent-guide/agent-guide-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,gBAAgB,EAChB,oBAAoB,EACpB,qBAAqB,EACtB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,KAAK,EAAE,SAAS,EAAsB,MAAM,yBAAyB,CAAC;AAQ7E,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAO3E;;;;GAIG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAmB;gBAErB,MAAM,GAAE,OAAO,CAAC,gBAAgB,CAAM;IAIlD;;OAEG;IACH,aAAa,CACX,IAAI,EAAE,gBAAgB,EACtB,OAAO,GAAE,YAAiB,GACzB,WAAW;IAuBd;;OAEG;IACH,oBAAoB,CAClB,OAAO,EAAE,iBAAiB,EAC1B,IAAI,EAAE;QACJ,KAAK,CAAC,EAAE,qBAAqB,CAAC;QAC9B,aAAa,CAAC,EAAE,oBAAoB,CAAC;KACtC,EACD,OAAO,GAAE,YAAiB,GACzB,WAAW;IAgFd;;OAEG;IACH,mBAAmB,CACjB,IAAI,EAAE,gBAAgB,EACtB,KAAK,CAAC,EAAE,SAAS,GAChB,MAAM,GAAG,SAAS;IAKrB;;OAEG;IACH,cAAc,CACZ,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,SAAS,EACjB,QAAQ,GAAE,WAAW,GAAG,MAAM,GAAG,UAAU,GAAG,QAAsB,EACpE,YAAY,CAAC,EAAE,MAAM,GACpB,MAAM;IAIT;;OAEG;IACH,cAAc,IAAI,SAAS,EAAE;IAI7B;;OAEG;IACH,eAAe,IAAI,SAAS;IAI5B;;OAEG;IACH,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,IAAI;CAGnD;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,GACjC,iBAAiB,CAEnB;AAED,iCAAiC;AACjC,eAAO,MAAM,iBAAiB,mBAA0B,CAAC"}
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Types for the Agent Guide service.
|
|
3
3
|
*/
|
|
4
|
-
import type { AgentType, ImplementationPlan
|
|
5
|
-
import type {
|
|
4
|
+
import type { AgentPrompt, AgentType, ImplementationPlan } from '@lssm/lib.contracts/llm';
|
|
5
|
+
import type { AnyOperationSpec } from '@lssm/lib.contracts';
|
|
6
6
|
/** Configuration for the agent guide service */
|
|
7
7
|
export interface AgentGuideConfig {
|
|
8
8
|
/** Default agent to use if not specified */
|
|
@@ -46,7 +46,7 @@ export interface AgentAdapter {
|
|
|
46
46
|
/** Format a plan for this agent */
|
|
47
47
|
formatPlan(plan: ImplementationPlan): AgentPrompt;
|
|
48
48
|
/** Generate agent-specific configuration (e.g., cursor rules) */
|
|
49
|
-
generateConfig?(spec:
|
|
49
|
+
generateConfig?(spec: AnyOperationSpec): string;
|
|
50
50
|
/** Parse agent output to extract code */
|
|
51
51
|
parseOutput?(output: string): {
|
|
52
52
|
code?: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/agent-guide/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,SAAS,EACT,kBAAkB,
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/agent-guide/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,WAAW,EACX,SAAS,EACT,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC/B,4CAA4C;IAC5C,YAAY,EAAE,SAAS,CAAC;IACxB,wBAAwB;IACxB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,qDAAqD;AACrD,MAAM,WAAW,YAAY;IAC3B,wBAAwB;IACxB,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,gCAAgC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,0CAA0C;IAC1C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,4BAA4B;IAC5B,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,oCAAoC;AACpC,MAAM,WAAW,aAAa;IAC5B,oBAAoB;IACpB,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,cAAc,CAAC;IAC7C,4BAA4B;IAC5B,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED,mCAAmC;AACnC,MAAM,WAAW,WAAW;IAC1B,yBAAyB;IACzB,IAAI,EAAE,kBAAkB,CAAC;IACzB,4CAA4C;IAC5C,MAAM,EAAE,WAAW,CAAC;IACpB,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,iDAAiD;AACjD,MAAM,WAAW,YAAY;IAC3B,sCAAsC;IACtC,SAAS,EAAE,SAAS,CAAC;IAErB,mCAAmC;IACnC,UAAU,CAAC,IAAI,EAAE,kBAAkB,GAAG,WAAW,CAAC;IAElD,iEAAiE;IACjE,cAAc,CAAC,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAAC;IAEhD,yCAAyC;IACzC,WAAW,CAAC,CAAC,MAAM,EAAE,MAAM,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CACpE"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"deps.d.ts","sourceRoot":"","sources":["../../src/services/deps.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,
|
|
1
|
+
{"version":3,"file":"deps.d.ts","sourceRoot":"","sources":["../../src/services/deps.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAGL,KAAK,aAAa,EAClB,KAAK,YAAY,EAMlB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;OAEG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,aAAa,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;IACnB,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;CACpD;AAED;;GAEG;AACH,wBAAsB,WAAW,CAC/B,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAA;CAAE,EAC3B,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,iBAAiB,CAAC,CAuC5B;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,aAAa,EACpB,IAAI,EAAE,MAAM,GACX,YAAY,GAAG,SAAS,CAE1B;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAE7D;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,aAAa,GAAG;IACnD,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB,CAcA"}
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
* Monorepo-aware checks for contracts and output directories.
|
|
5
5
|
*/
|
|
6
6
|
import type { FsAdapter } from '../../../ports/fs';
|
|
7
|
-
import type {
|
|
7
|
+
import type { CheckContext, CheckResult } from '../types';
|
|
8
8
|
/**
|
|
9
9
|
* Run workspace-related health checks.
|
|
10
10
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"workspace.d.ts","sourceRoot":"","sources":["../../../../src/services/doctor/checks/workspace.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"workspace.d.ts","sourceRoot":"","sources":["../../../../src/services/doctor/checks/workspace.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAa,MAAM,UAAU,CAAC;AAOrE;;GAEG;AACH,wBAAsB,kBAAkB,CACtC,EAAE,EAAE,SAAS,EACb,GAAG,EAAE,YAAY,GAChB,OAAO,CAAC,WAAW,EAAE,CAAC,CAmBxB"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* OpenAPI export service - generates OpenAPI documents from
|
|
2
|
+
* OpenAPI export service - generates OpenAPI documents from OperationSpecRegistry.
|
|
3
3
|
*/
|
|
4
|
-
import { type
|
|
4
|
+
import { type OpenApiDocument, type OpenApiServer } from '@lssm/lib.contracts';
|
|
5
5
|
import type { FsAdapter } from '../../ports/fs';
|
|
6
6
|
import type { LoggerAdapter } from '../../ports/logger';
|
|
7
7
|
/**
|
|
@@ -9,7 +9,7 @@ import type { LoggerAdapter } from '../../ports/logger';
|
|
|
9
9
|
*/
|
|
10
10
|
export interface OpenApiExportOptions {
|
|
11
11
|
/**
|
|
12
|
-
* Path to module exporting
|
|
12
|
+
* Path to module exporting OperationSpecRegistry.
|
|
13
13
|
*/
|
|
14
14
|
registryPath: string;
|
|
15
15
|
/**
|
|
@@ -42,7 +42,7 @@ export interface OpenApiExportResult {
|
|
|
42
42
|
json: string;
|
|
43
43
|
}
|
|
44
44
|
/**
|
|
45
|
-
* Export OpenAPI document from a
|
|
45
|
+
* Export OpenAPI document from a OperationSpecRegistry.
|
|
46
46
|
*/
|
|
47
47
|
export declare function exportOpenApi(options: OpenApiExportOptions, adapters: {
|
|
48
48
|
fs: FsAdapter;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"export-service.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/export-service.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,
|
|
1
|
+
{"version":3,"file":"export-service.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/export-service.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,KAAK,eAAe,EAEpB,KAAK,aAAa,EAEnB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC;;OAEG;IACH,YAAY,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf;;OAEG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,OAAO,CAAC,EAAE,aAAa,EAAE,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,eAAe,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;CACd;AAWD;;GAEG;AACH,wBAAsB,aAAa,CACjC,OAAO,EAAE,oBAAoB,EAC7B,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GACjD,OAAO,CAAC,mBAAmB,CAAC,CAsC9B"}
|
|
@@ -4,10 +4,11 @@
|
|
|
4
4
|
import type { FsAdapter } from '../../ports/fs';
|
|
5
5
|
import type { LoggerAdapter } from '../../ports/logger';
|
|
6
6
|
import type { OpenApiImportServiceOptions, OpenApiImportServiceResult } from './types';
|
|
7
|
+
import type { ContractsrcConfig } from '@lssm/lib.contracts';
|
|
7
8
|
/**
|
|
8
9
|
* Import ContractSpec specs from an OpenAPI document.
|
|
9
10
|
*/
|
|
10
|
-
export declare function importFromOpenApiService(options: OpenApiImportServiceOptions, adapters: {
|
|
11
|
+
export declare function importFromOpenApiService(contractspecOptions: ContractsrcConfig, options: OpenApiImportServiceOptions, adapters: {
|
|
11
12
|
fs: FsAdapter;
|
|
12
13
|
logger: LoggerAdapter;
|
|
13
14
|
}): Promise<OpenApiImportServiceResult>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"import-service.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/import-service.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EACV,2BAA2B,EAC3B,0BAA0B,EAC3B,MAAM,SAAS,CAAC;
|
|
1
|
+
{"version":3,"file":"import-service.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/import-service.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EACV,2BAA2B,EAC3B,0BAA0B,EAC3B,MAAM,SAAS,CAAC;AAEjB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE7D;;GAEG;AACH,wBAAsB,wBAAwB,CAC5C,mBAAmB,EAAE,iBAAiB,EACtC,OAAO,EAAE,2BAA2B,EACpC,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GACjD,OAAO,CAAC,0BAA0B,CAAC,CAmGrC"}
|
|
@@ -3,14 +3,12 @@
|
|
|
3
3
|
*/
|
|
4
4
|
import type { FsAdapter } from '../../ports/fs';
|
|
5
5
|
import type { LoggerAdapter } from '../../ports/logger';
|
|
6
|
-
import type { OpenApiSyncServiceOptions, OpenApiSyncServiceResult
|
|
6
|
+
import type { OpenApiSyncServiceOptions, OpenApiSyncServiceResult } from './types';
|
|
7
|
+
import type { ContractsrcConfig } from '@lssm/lib.contracts';
|
|
7
8
|
/**
|
|
8
9
|
* Sync ContractSpec specs with OpenAPI sources.
|
|
9
10
|
*/
|
|
10
|
-
export declare function syncWithOpenApiService(options: OpenApiSyncServiceOptions, config: {
|
|
11
|
-
sources?: OpenApiSourceConfig[];
|
|
12
|
-
outputDir: string;
|
|
13
|
-
}, adapters: {
|
|
11
|
+
export declare function syncWithOpenApiService(options: OpenApiSyncServiceOptions, config: ContractsrcConfig, adapters: {
|
|
14
12
|
fs: FsAdapter;
|
|
15
13
|
logger: LoggerAdapter;
|
|
16
14
|
}): Promise<OpenApiSyncServiceResult>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sync-service.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/sync-service.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EACV,yBAAyB,EACzB,wBAAwB,
|
|
1
|
+
{"version":3,"file":"sync-service.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/sync-service.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EACV,yBAAyB,EACzB,wBAAwB,EACzB,MAAM,SAAS,CAAC;AAEjB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE7D;;GAEG;AACH,wBAAsB,sBAAsB,CAC1C,OAAO,EAAE,yBAAyB,EAClC,MAAM,EAAE,iBAAiB,EACzB,QAAQ,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GACjD,OAAO,CAAC,wBAAwB,CAAC,CA6JnC"}
|
|
@@ -1,29 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Types for OpenAPI services.
|
|
3
3
|
*/
|
|
4
|
-
|
|
5
|
-
* OpenAPI source configuration (from config file).
|
|
6
|
-
*/
|
|
7
|
-
export interface OpenApiSourceConfig {
|
|
8
|
-
/** Friendly name for the source */
|
|
9
|
-
name: string;
|
|
10
|
-
/** Remote URL to fetch OpenAPI spec from */
|
|
11
|
-
url?: string;
|
|
12
|
-
/** Local file path to OpenAPI spec */
|
|
13
|
-
file?: string;
|
|
14
|
-
/** Sync mode */
|
|
15
|
-
syncMode: 'import' | 'sync' | 'validate';
|
|
16
|
-
/** Only import operations with these tags */
|
|
17
|
-
tags?: string[];
|
|
18
|
-
/** Exclude operations with these operationIds */
|
|
19
|
-
exclude?: string[];
|
|
20
|
-
/** Prefix for generated spec names */
|
|
21
|
-
prefix?: string;
|
|
22
|
-
/** Default stability for imported specs */
|
|
23
|
-
defaultStability?: 'experimental' | 'beta' | 'stable' | 'deprecated';
|
|
24
|
-
/** Default auth level for imported specs */
|
|
25
|
-
defaultAuth?: 'anonymous' | 'user' | 'admin';
|
|
26
|
-
}
|
|
4
|
+
import type { OpenApiSourceConfig } from '@lssm/lib.contracts';
|
|
27
5
|
/**
|
|
28
6
|
* Options for OpenAPI import.
|
|
29
7
|
*/
|
|
@@ -150,7 +128,7 @@ export interface OpenApiValidateServiceResult {
|
|
|
150
128
|
* Options for OpenAPI export.
|
|
151
129
|
*/
|
|
152
130
|
export interface OpenApiExportServiceOptions {
|
|
153
|
-
/** Path to module exporting
|
|
131
|
+
/** Path to module exporting OperationSpecRegistry */
|
|
154
132
|
registryPath: string;
|
|
155
133
|
/** Output file path */
|
|
156
134
|
outputPath?: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/openapi/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,8BAA8B;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,gDAAgD;IAChD,SAAS,EAAE,MAAM,CAAC;IAClB,sCAAsC;IACtC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6CAA6C;IAC7C,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,2CAA2C;IAC3C,gBAAgB,CAAC,EAAE,cAAc,GAAG,MAAM,GAAG,QAAQ,GAAG,YAAY,CAAC;IACrE,wCAAwC;IACxC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,4CAA4C;IAC5C,WAAW,CAAC,EAAE,WAAW,GAAG,MAAM,GAAG,OAAO,CAAC;IAC7C,kEAAkE;IAClE,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,4CAA4C;IAC5C,QAAQ,EAAE,MAAM,CAAC;IACjB,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,kCAAkC;IAClC,KAAK,EAAE;QACL,IAAI,EAAE,MAAM,CAAC;QACb,WAAW,EAAE,MAAM,CAAC;QACpB,QAAQ,EAAE,MAAM,CAAC;KAClB,EAAE,CAAC;IACJ,iCAAiC;IACjC,iBAAiB,EAAE;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,MAAM,CAAC;KAChB,EAAE,CAAC;IACJ,qBAAqB;IACrB,aAAa,EAAE;QACb,WAAW,EAAE,MAAM,CAAC;QACpB,KAAK,EAAE,MAAM,CAAC;KACf,EAAE,CAAC;CACL;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,oDAAoD;IACpD,OAAO,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAChC,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wDAAwD;IACxD,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,4BAA4B;IAC5B,KAAK,CAAC,EAAE,SAAS,GAAG,cAAc,CAAC;IACnC,uDAAuD;IACvD,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,4BAA4B;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,gCAAgC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,yBAAyB;IACzB,OAAO,EAAE;QACP,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,OAAO,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;QACvD,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,EAAE,CAAC;CACL;AAED;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C,yCAAyC;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,aAAa,EAAE,MAAM,CAAC;IACtB,qCAAqC;IACrC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,6BAA6B;IAC7B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,kDAAkD;IAClD,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C,gCAAgC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,gCAAgC;IAChC,cAAc,EAAE,MAAM,CAAC;IACvB,uCAAuC;IACvC,cAAc,EAAE,MAAM,CAAC;IACvB,yBAAyB;IACzB,OAAO,EAAE;QACP,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,KAAK,EAAE,OAAO,CAAC;QACf,KAAK,EAAE;YACL,IAAI,EAAE,MAAM,CAAC;YACb,IAAI,EAAE,MAAM,CAAC;YACb,WAAW,EAAE,MAAM,CAAC;SACrB,EAAE,CAAC;KACL,EAAE,CAAC;CACL;AAED;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,qDAAqD;IACrD,YAAY,EAAE,MAAM,CAAC;IACrB,uBAAuB;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oBAAoB;IACpB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,oBAAoB;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sBAAsB;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,OAAO,CAAC,EAAE;QACR,GAAG,EAAE,MAAM,CAAC;QACZ,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,EAAE,CAAC;CACL;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,uBAAuB;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,wBAAwB;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,oCAAoC;IACpC,cAAc,EAAE,MAAM,CAAC;CACxB"}
|
package/dist/services/test.d.ts
CHANGED
|
@@ -1,16 +1,16 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Test service.
|
|
3
3
|
*
|
|
4
|
-
* Pure runner wrapper that executes TestSpec scenarios against a
|
|
4
|
+
* Pure runner wrapper that executes TestSpec scenarios against a OperationSpecRegistry.
|
|
5
5
|
* Loading/compiling spec modules (TS/ESM) is intentionally left to the caller.
|
|
6
6
|
*/
|
|
7
7
|
import { TestRunner, type TestSpec } from '@lssm/lib.contracts/tests';
|
|
8
|
-
import type {
|
|
8
|
+
import type { OperationSpecRegistry } from '@lssm/lib.contracts';
|
|
9
9
|
export type TestRunResult = Awaited<ReturnType<TestRunner['run']>>;
|
|
10
10
|
export interface RunTestsResult {
|
|
11
11
|
results: TestRunResult[];
|
|
12
12
|
passed: number;
|
|
13
13
|
failed: number;
|
|
14
14
|
}
|
|
15
|
-
export declare function runTests(specs: TestSpec[], registry:
|
|
15
|
+
export declare function runTests(specs: TestSpec[], registry: OperationSpecRegistry): Promise<RunTestsResult>;
|
|
16
16
|
//# sourceMappingURL=test.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"test.d.ts","sourceRoot":"","sources":["../../src/services/test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,KAAK,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"test.d.ts","sourceRoot":"","sources":["../../src/services/test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,KAAK,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAEjE,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEnE,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,wBAAsB,QAAQ,CAC5B,KAAK,EAAE,QAAQ,EAAE,EACjB,QAAQ,EAAE,qBAAqB,GAC9B,OAAO,CAAC,cAAc,CAAC,CAezB"}
|
|
@@ -5,7 +5,7 @@
|
|
|
5
5
|
* the specification for deeper compliance checking.
|
|
6
6
|
*/
|
|
7
7
|
import type { VerificationReport } from '@lssm/lib.contracts/llm';
|
|
8
|
-
import type {
|
|
8
|
+
import type { SemanticVerificationResult, VerifyConfig, VerifyInput } from './types';
|
|
9
9
|
/**
|
|
10
10
|
* Run AI-powered verification.
|
|
11
11
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ai-verifier.d.ts","sourceRoot":"","sources":["../../../src/services/verify/ai-verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"ai-verifier.d.ts","sourceRoot":"","sources":["../../../src/services/verify/ai-verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAEV,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,KAAK,EAGV,0BAA0B,EAC1B,YAAY,EACZ,WAAW,EACZ,MAAM,SAAS,CAAC;AA6JjB;;GAEG;AACH,wBAAsB,YAAY,CAChC,KAAK,EAAE,WAAW,EAClB,MAAM,GAAE,YAAiB,GACxB,OAAO,CAAC,kBAAkB,CAAC,CAsD7B;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,GAAG,kBAAkB,CAkE1E;AAiLD;;GAEG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,WAAW,EAClB,MAAM,GAAE,YAAiB,GACxB,OAAO,CAAC,0BAA0B,CAAC,CAcrC;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,WAAW,EAClB,MAAM,GAAE,YAAiB,GACxB,OAAO,CAAC,kBAAkB,CAAC,CA8G7B"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"behavior-verifier.d.ts","sourceRoot":"","sources":["../../../src/services/verify/behavior-verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"behavior-verifier.d.ts","sourceRoot":"","sources":["../../../src/services/verify/behavior-verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAEV,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAiB,WAAW,EAAE,MAAM,SAAS,CAAC;AAoP1D;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,GAAG,kBAAkB,CAwFrE"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"structure-verifier.d.ts","sourceRoot":"","sources":["../../../src/services/verify/structure-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"structure-verifier.d.ts","sourceRoot":"","sources":["../../../src/services/verify/structure-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAEV,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAkB,WAAW,EAAE,MAAM,SAAS,CAAC;AAoO3D;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,kBAAkB,CAkEtE"}
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Types for the Verification Service.
|
|
3
3
|
*/
|
|
4
|
-
import type {
|
|
5
|
-
import type {
|
|
4
|
+
import type { AnyOperationSpec } from '@lssm/lib.contracts';
|
|
5
|
+
import type { VerificationIssue, VerificationReport, VerificationTier } from '@lssm/lib.contracts/llm';
|
|
6
6
|
/** Configuration for the verification service */
|
|
7
7
|
export interface VerifyConfig {
|
|
8
8
|
/** Enable verbose logging */
|
|
@@ -24,7 +24,7 @@ export interface VerifyOptions {
|
|
|
24
24
|
/** Input for verification */
|
|
25
25
|
export interface VerifyInput {
|
|
26
26
|
/** Spec to verify against */
|
|
27
|
-
spec:
|
|
27
|
+
spec: AnyOperationSpec;
|
|
28
28
|
/** Implementation code to verify */
|
|
29
29
|
implementationCode: string;
|
|
30
30
|
/** Implementation file path (for error reporting) */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/verify/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/services/verify/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EACV,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,yBAAyB,CAAC;AAEjC,iDAAiD;AACjD,MAAM,WAAW,YAAY;IAC3B,6BAA6B;IAC7B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,0CAA0C;IAC1C,UAAU,CAAC,EAAE,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;CAC/C;AAED,uCAAuC;AACvC,MAAM,WAAW,aAAa;IAC5B,wDAAwD;IACxD,KAAK,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC3B,4BAA4B;IAC5B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,oCAAoC;IACpC,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED,6BAA6B;AAC7B,MAAM,WAAW,WAAW;IAC1B,6BAA6B;IAC7B,IAAI,EAAE,gBAAgB,CAAC;IACvB,oCAAoC;IACpC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qDAAqD;IACrD,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,+CAA+C;AAC/C,MAAM,WAAW,YAAY;IAC3B,wBAAwB;IACxB,MAAM,EAAE,OAAO,CAAC;IAChB,6BAA6B;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,0CAA0C;IAC1C,OAAO,EAAE,GAAG,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;IACnD,kCAAkC;IAClC,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,sBAAsB;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,qBAAqB;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,6BAA6B;AAC7B,MAAM,WAAW,cAAc;IAC7B,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,wBAAwB;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oBAAoB;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,4BAA4B;AAC5B,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,iBAAiB;IACjB,IAAI,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAAC;IACvC,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,wBAAwB;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,uBAAuB;AACvB,MAAM,WAAW,cAAc;IAC7B,yBAAyB;IACzB,SAAS,EAAE,OAAO,CAAC;IACnB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe;IACf,QAAQ,EAAE;QACR,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;IACJ,sBAAsB;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,6CAA6C;AAC7C,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,GAAG,SAAS,CAAC;AAE7E,oDAAoD;AACpD,MAAM,WAAW,YAAY;IAC3B,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,2BAA2B;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,mCAAmC;IACnC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,oBAAoB;IACpB,KAAK,EAAE,cAAc,CAAC;IACtB,0CAA0C;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,gCAAgC;AAChC,MAAM,WAAW,eAAe;IAC9B,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,mCAAmC;IACnC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,uCAAuC;IACvC,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,wCAAwC;AACxC,MAAM,WAAW,0BAA0B;IACzC,8BAA8B;IAC9B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,gCAAgC;IAChC,eAAe,EAAE,eAAe,CAAC;IACjC,uCAAuC;IACvC,cAAc,EAAE;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;IACJ,oCAAoC;IACpC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB"}
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
* Orchestrates tiered verification of implementations against specs.
|
|
5
5
|
* Supports three tiers: structure, behavior, and AI review.
|
|
6
6
|
*/
|
|
7
|
-
import type {
|
|
7
|
+
import type { AnyOperationSpec } from '@lssm/lib.contracts';
|
|
8
8
|
import type { VerificationReport } from '@lssm/lib.contracts/llm';
|
|
9
9
|
import type { VerifyConfig, VerifyOptions, VerifyResult } from './types';
|
|
10
10
|
/**
|
|
@@ -18,39 +18,39 @@ export declare class VerifyService {
|
|
|
18
18
|
/**
|
|
19
19
|
* Run verification on an implementation.
|
|
20
20
|
*/
|
|
21
|
-
verify(spec:
|
|
21
|
+
verify(spec: AnyOperationSpec, implementationCode: string, options?: VerifyOptions): Promise<VerifyResult>;
|
|
22
22
|
/**
|
|
23
23
|
* Run only structure verification (Tier 1).
|
|
24
24
|
*/
|
|
25
|
-
verifyStructure(spec:
|
|
25
|
+
verifyStructure(spec: AnyOperationSpec, implementationCode: string, implementationPath?: string): VerificationReport;
|
|
26
26
|
/**
|
|
27
27
|
* Run only behavior verification (Tier 2).
|
|
28
28
|
*/
|
|
29
|
-
verifyBehavior(spec:
|
|
29
|
+
verifyBehavior(spec: AnyOperationSpec, implementationCode: string, implementationPath?: string): VerificationReport;
|
|
30
30
|
/**
|
|
31
31
|
* Run only AI verification (Tier 3).
|
|
32
32
|
*/
|
|
33
|
-
verifyAI(spec:
|
|
33
|
+
verifyAI(spec: AnyOperationSpec, implementationCode: string, implementationPath?: string): Promise<VerificationReport>;
|
|
34
34
|
/**
|
|
35
35
|
* Quick verification (structure only, fast).
|
|
36
36
|
*/
|
|
37
|
-
quickVerify(spec:
|
|
38
|
-
/**
|
|
39
|
-
* Generate a human-readable summary of verification results.
|
|
40
|
-
*/
|
|
41
|
-
private generateSummary;
|
|
37
|
+
quickVerify(spec: AnyOperationSpec, implementationCode: string): VerificationReport;
|
|
42
38
|
/**
|
|
43
39
|
* Format verification result as markdown.
|
|
44
40
|
*/
|
|
45
41
|
formatAsMarkdown(result: VerifyResult): string;
|
|
46
|
-
/**
|
|
47
|
-
* Format tier name for display.
|
|
48
|
-
*/
|
|
49
|
-
private formatTierName;
|
|
50
42
|
/**
|
|
51
43
|
* Update configuration.
|
|
52
44
|
*/
|
|
53
45
|
configure(config: Partial<VerifyConfig>): void;
|
|
46
|
+
/**
|
|
47
|
+
* Generate a human-readable summary of verification results.
|
|
48
|
+
*/
|
|
49
|
+
private generateSummary;
|
|
50
|
+
/**
|
|
51
|
+
* Format tier name for display.
|
|
52
|
+
*/
|
|
53
|
+
private formatTierName;
|
|
54
54
|
}
|
|
55
55
|
/**
|
|
56
56
|
* Create a new VerifyService instance.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-service.d.ts","sourceRoot":"","sources":["../../../src/services/verify/verify-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"verify-service.d.ts","sourceRoot":"","sources":["../../../src/services/verify/verify-service.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EAEV,kBAAkB,EAEnB,MAAM,yBAAyB,CAAC;AAIjC,OAAO,KAAK,EACV,YAAY,EAEZ,aAAa,EACb,YAAY,EACb,MAAM,SAAS,CAAC;AAQjB;;;;GAIG;AACH,qBAAa,aAAa;IACxB,OAAO,CAAC,MAAM,CAAe;gBAEjB,MAAM,GAAE,OAAO,CAAC,YAAY,CAAM;IAI9C;;OAEG;IACG,MAAM,CACV,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,EAC1B,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,CAAC;IAqExB;;OAEG;IACH,eAAe,CACb,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,EAC1B,kBAAkB,CAAC,EAAE,MAAM,GAC1B,kBAAkB;IAQrB;;OAEG;IACH,cAAc,CACZ,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,EAC1B,kBAAkB,CAAC,EAAE,MAAM,GAC1B,kBAAkB;IAQrB;;OAEG;IACG,QAAQ,CACZ,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,EAC1B,kBAAkB,CAAC,EAAE,MAAM,GAC1B,OAAO,CAAC,kBAAkB,CAAC;IAa9B;;OAEG;IACH,WAAW,CACT,IAAI,EAAE,gBAAgB,EACtB,kBAAkB,EAAE,MAAM,GACzB,kBAAkB;IAIrB;;OAEG;IACH,gBAAgB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM;IAsE9C;;OAEG;IACH,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG,IAAI;IAI9C;;OAEG;IACH,OAAO,CAAC,eAAe;IA4CvB;;OAEG;IACH,OAAO,CAAC,cAAc;CAYvB;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC7B,aAAa,CAEf;AAED,iCAAiC;AACjC,eAAO,MAAM,aAAa,eAAsB,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@lssm/bundle.contractspec-workspace",
|
|
3
|
-
"version": "0.0.0-canary-
|
|
3
|
+
"version": "0.0.0-canary-20251221114240",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"main": "./dist/index.js",
|
|
6
6
|
"module": "./dist/index.js",
|
|
@@ -28,20 +28,20 @@
|
|
|
28
28
|
"@ai-sdk/mistral": "beta",
|
|
29
29
|
"@ai-sdk/openai": "beta",
|
|
30
30
|
"ollama-ai-provider": "^1.2.0",
|
|
31
|
-
"@lssm/module.contractspec-workspace": "0.0.0-canary-
|
|
32
|
-
"@lssm/lib.contracts": "0.0.0-canary-
|
|
33
|
-
"@lssm/lib.contracts-transformers": "0.0.0-canary-
|
|
34
|
-
"@lssm/lib.ai-providers": "0.0.0-canary-
|
|
35
|
-
"@lssm/lib.schema": "0.0.0-canary-
|
|
36
|
-
"@lssm/lib.testing": "0.0.0-canary-
|
|
31
|
+
"@lssm/module.contractspec-workspace": "0.0.0-canary-20251221114240",
|
|
32
|
+
"@lssm/lib.contracts": "0.0.0-canary-20251221114240",
|
|
33
|
+
"@lssm/lib.contracts-transformers": "0.0.0-canary-20251221114240",
|
|
34
|
+
"@lssm/lib.ai-providers": "0.0.0-canary-20251221114240",
|
|
35
|
+
"@lssm/lib.schema": "0.0.0-canary-20251221114240",
|
|
36
|
+
"@lssm/lib.testing": "0.0.0-canary-20251221114240",
|
|
37
37
|
"ai": "beta",
|
|
38
38
|
"zod": "^4.1.13",
|
|
39
39
|
"glob": "^13.0.0",
|
|
40
40
|
"chokidar": "^5.0.0"
|
|
41
41
|
},
|
|
42
42
|
"devDependencies": {
|
|
43
|
-
"@lssm/tool.tsdown": "0.0.0-canary-
|
|
44
|
-
"@lssm/tool.typescript": "0.0.0-canary-
|
|
43
|
+
"@lssm/tool.tsdown": "0.0.0-canary-20251221114240",
|
|
44
|
+
"@lssm/tool.typescript": "0.0.0-canary-20251221114240",
|
|
45
45
|
"@types/node": "^22.10.2",
|
|
46
46
|
"tsdown": "^0.18.1",
|
|
47
47
|
"typescript": "^5.9.3"
|