@proposit/proposit-core 1.0.2 → 1.2.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/proposit-core",
-  "version": "1.0.2",
+  "version": "1.2.0",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [
@@ -32,6 +32,11 @@
       "types": "./dist/extensions/basics/index.d.ts",
       "import": "./dist/extensions/basics/index.js",
       "default": "./dist/extensions/basics/index.js"
+    },
+    "./extensions/openai": {
+      "types": "./dist/extensions/openai/index.d.ts",
+      "import": "./dist/extensions/openai/index.js",
+      "default": "./dist/extensions/openai/index.js"
     }
   },
   "bin": {
@@ -66,6 +71,14 @@
     "typebox": "^1.1.14",
     "yaml": "^2.8.3"
   },
+  "peerDependencies": {
+    "openai": ">=4.0.0"
+  },
+  "peerDependenciesMeta": {
+    "openai": {
+      "optional": true
+    }
+  },
   "scripts": {
     "generate:parser": "peggy --format es -o src/lib/core/parser/formula-gen.js src/lib/core/parser/formula.peggy",
     "build": "rm -rf dist tsconfig.build.tsbuildinfo && pnpm run generate:parser && pnpm tsc -p tsconfig.build.json && cp src/lib/core/parser/formula-gen.js dist/lib/core/parser/formula-gen.js && pnpm run docs",

package/dist/cli/llm/openai.d.ts

@@ -1,4 +0,0 @@
-import type { TLlmProvider, TLlmProviderOptions } from "./types.js";
-export declare const OPENAI_API_KEY_ENV = "OPENAI_API_KEY";
-export declare function createOpenAiProvider(options: TLlmProviderOptions): TLlmProvider;
-//# sourceMappingURL=openai.d.ts.map

package/dist/cli/llm/openai.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"openai.d.ts","sourceRoot":"","sources":["../../../src/cli/llm/openai.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAInE,eAAO,MAAM,kBAAkB,mBAAmB,CAAA;AAElD,wBAAgB,oBAAoB,CAChC,OAAO,EAAE,mBAAmB,GAC7B,YAAY,CAmDd"}

package/dist/cli/llm/openai.js

@@ -1,44 +0,0 @@
-import { getParsingResponseSchema } from "../../lib/parsing/index.js";
-const DEFAULT_MODEL = "gpt-5.4";
-export const OPENAI_API_KEY_ENV = "OPENAI_API_KEY";
-export function createOpenAiProvider(options) {
-    const model = options.model ?? DEFAULT_MODEL;
-    return {
-        async complete(request) {
-            const schema = getParsingResponseSchema(request.responseSchema);
-            const response = await fetch("https://api.openai.com/v1/chat/completions", {
-                method: "POST",
-                headers: {
-                    "Content-Type": "application/json",
-                    Authorization: `Bearer ${options.apiKey}`,
-                },
-                body: JSON.stringify({
-                    model,
-                    messages: [
-                        { role: "system", content: request.systemPrompt },
-                        { role: "user", content: request.userMessage },
-                    ],
-                    response_format: {
-                        type: "json_schema",
-                        json_schema: {
-                            name: "parsed_argument",
-                            strict: false,
-                            schema,
-                        },
-                    },
-                }),
-            });
-            if (!response.ok) {
-                const text = await response.text();
-                throw new Error(`OpenAI API error (${response.status}): ${text}`);
-            }
-            const data = (await response.json());
-            const content = data.choices?.[0]?.message?.content;
-            if (!content) {
-                throw new Error("No content in OpenAI response.");
-            }
-            return JSON.parse(content);
-        },
-    };
-}
-//# sourceMappingURL=openai.js.map

package/dist/cli/llm/openai.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"openai.js","sourceRoot":"","sources":["../../../src/cli/llm/openai.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAGrE,MAAM,aAAa,GAAG,SAAS,CAAA;AAE/B,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAA;AAElD,MAAM,UAAU,oBAAoB,CAChC,OAA4B;IAE5B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,aAAa,CAAA;IAE5C,OAAO;QACH,KAAK,CAAC,QAAQ,CAAC,OAAO;YAClB,MAAM,MAAM,GAAG,wBAAwB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;YAE/D,MAAM,QAAQ,GAAG,MAAM,KAAK,CACxB,4CAA4C,EAC5C;gBACI,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACL,cAAc,EAAE,kBAAkB;oBAClC,aAAa,EAAE,UAAU,OAAO,CAAC,MAAM,EAAE;iBAC5C;gBACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACjB,KAAK;oBACL,QAAQ,EAAE;wBACN,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,YAAY,EAAE;wBACjD,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE;qBACjD;oBACD,eAAe,EAAE;wBACb,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE;4BACT,IAAI,EAAE,iBAAiB;4BACvB,MAAM,EAAE,KAAK;4BACb,MAAM;yBACT;qBACJ;iBACJ,CAAC;aACL,CACJ,CAAA;YAED,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAA;gBAClC,MAAM,IAAI,KAAK,CACX,qBAAqB,QAAQ,CAAC,MAAM,MAAM,IAAI,EAAE,CACnD,CAAA;YACL,CAAC;YAED,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAElC,CAAA;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAA;YACnD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACX,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAA;YACrD,CAAC;YAED,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAA4B,CAAA;QACzD,CAAC;KACJ,CAAA;AACL,CAAC"}

package/dist/cli/llm/types.d.ts

@@ -1,14 +0,0 @@
-import type { TSchema } from "typebox";
-export type TLlmCompletionRequest = {
-    systemPrompt: string;
-    userMessage: string;
-    responseSchema: TSchema;
-};
-export type TLlmProviderOptions = {
-    apiKey: string;
-    model?: string;
-};
-export type TLlmProvider<TResponse = Record<string, unknown>> = {
-    complete(request: TLlmCompletionRequest): Promise<TResponse>;
-};
-//# sourceMappingURL=types.d.ts.map

package/dist/cli/llm/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/cli/llm/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAEtC,MAAM,MAAM,qBAAqB,GAAG;IAChC,YAAY,EAAE,MAAM,CAAA;IACpB,WAAW,EAAE,MAAM,CAAA;IACnB,cAAc,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,CAAC,EAAE,MAAM,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,YAAY,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IAC5D,QAAQ,CAAC,OAAO,EAAE,qBAAqB,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;CAC/D,CAAA"}

package/dist/cli/llm/types.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=types.js.map

package/dist/cli/llm/types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/cli/llm/types.ts"],"names":[],"mappings":""}