@polintpro/proposit-core 0.5.3 → 0.5.6

package/dist/lib/parsing/schemata.js

@@ -0,0 +1,88 @@
+import Type, {} from "typebox";
+import { Nullable } from "../schemata/shared.js";
+export const ParsedClaimRoleType = Type.Union([
+    Type.Literal("premise"),
+    Type.Literal("conclusion"),
+    Type.Literal("intermediate"),
+]);
+export const ParsedClaimSchema = Type.Object({
+    miniId: Type.String(),
+    role: ParsedClaimRoleType,
+    sourceMiniIds: Type.Array(Type.String()),
+}, { additionalProperties: true });
+export const ParsedVariableSchema = Type.Object({
+    miniId: Type.String(),
+    symbol: Type.String(),
+    claimMiniId: Type.String(),
+}, { additionalProperties: true });
+export const ParsedSourceSchema = Type.Object({
+    miniId: Type.String(),
+    text: Type.String(),
+}, { additionalProperties: true });
+export const ParsedPremiseSchema = Type.Object({
+    miniId: Type.String(),
+    formula: Type.String(),
+}, { additionalProperties: true });
+export const ParsedArgumentSchema = Type.Object({
+    claims: Type.Array(ParsedClaimSchema, { minItems: 1 }),
+    variables: Type.Array(ParsedVariableSchema, { minItems: 1 }),
+    sources: Type.Array(ParsedSourceSchema),
+    premises: Type.Array(ParsedPremiseSchema, { minItems: 1 }),
+    conclusionPremiseMiniId: Type.String(),
+}, { additionalProperties: true });
+export const ParsedArgumentResponseSchema = Type.Object({
+    argument: Nullable(ParsedArgumentSchema),
+    uncategorizedText: Nullable(Type.String()),
+    selectionRationale: Nullable(Type.String()),
+    failureText: Nullable(Type.String()),
+}, { additionalProperties: true });
+function mergeObjectSchemas(base, extension) {
+    return Type.Object({ ...base.properties, ...extension.properties }, { additionalProperties: true });
+}
+export function buildParsingResponseSchema(options) {
+    if (!options)
+        return ParsedArgumentResponseSchema;
+    const claimSch = options.claimSchema
+        ? mergeObjectSchemas(ParsedClaimSchema, options.claimSchema)
+        : ParsedClaimSchema;
+    const variableSch = options.variableSchema
+        ? mergeObjectSchemas(ParsedVariableSchema, options.variableSchema)
+        : ParsedVariableSchema;
+    const sourceSch = options.sourceSchema
+        ? mergeObjectSchemas(ParsedSourceSchema, options.sourceSchema)
+        : ParsedSourceSchema;
+    const premiseSch = options.premiseSchema
+        ? mergeObjectSchemas(ParsedPremiseSchema, options.premiseSchema)
+        : ParsedPremiseSchema;
+    const baseArgProps = {
+        claims: Type.Array(claimSch, { minItems: 1 }),
+        variables: Type.Array(variableSch, { minItems: 1 }),
+        sources: Type.Array(sourceSch),
+        premises: Type.Array(premiseSch, { minItems: 1 }),
+        conclusionPremiseMiniId: Type.String(),
+    };
+    const argSch = options.parsedArgumentSchema
+        ? Type.Object({
+            ...baseArgProps,
+            ...options.parsedArgumentSchema.properties,
+        }, { additionalProperties: true })
+        : Type.Object(baseArgProps, { additionalProperties: true });
+    const baseResponseProps = {
+        argument: Nullable(argSch),
+        uncategorizedText: Nullable(Type.String()),
+        selectionRationale: Nullable(Type.String()),
+        failureText: Nullable(Type.String()),
+    };
+    const responseSch = options.responseSchema
+        ? Type.Object({
+            ...baseResponseProps,
+            ...options.responseSchema.properties,
+        }, { additionalProperties: true })
+        : Type.Object(baseResponseProps, { additionalProperties: true });
+    return responseSch;
+}
+export function getParsingResponseSchema(schema) {
+    const target = schema ?? ParsedArgumentResponseSchema;
+    return JSON.parse(JSON.stringify(target));
+}
+//# sourceMappingURL=schemata.js.map

package/dist/lib/parsing/schemata.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/lib/parsing/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAA2C,MAAM,SAAS,CAAA;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAGhD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;CAC/B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,mBAAmB;IACzB,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC3C,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CACzC;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAC1C;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;CACzB,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACtD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC5D,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACvC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC1D,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE;CACzC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,QAAQ,EAAE,QAAQ,CAAC,oBAAoB,CAAC;IACxC,iBAAiB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC3C,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACvC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAKD,SAAS,kBAAkB,CAAC,IAAa,EAAE,SAAkB;IACzD,OAAO,IAAI,CAAC,MAAM,CACd,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,SAAS,CAAC,UAAU,EAAE,EAC/C,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AACL,CAAC;AAED,MAAM,UAAU,0BAA0B,CACtC,OAA+B;IAE/B,IAAI,CAAC,OAAO;QAAE,OAAO,4BAA4B,CAAA;IAEjD,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW;QAChC,CAAC,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,CAAC,WAAsB,CAAC;QACvE,CAAC,CAAC,iBAAiB,CAAA;IAEvB,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc;QACtC,CAAC,CAAC,kBAAkB,CACd,oBAAoB,EACpB,OAAO,CAAC,cAAyB,CACpC;QACH,CAAC,CAAC,oBAAoB,CAAA;IAE1B,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY;QAClC,CAAC,CAAC,kBAAkB,CACd,kBAAkB,EAClB,OAAO,CAAC,YAAuB,CAClC;QACH,CAAC,CAAC,kBAAkB,CAAA;IAExB,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa;QACpC,CAAC,CAAC,kBAAkB,CACd,mBAAmB,EACnB,OAAO,CAAC,aAAwB,CACnC;QACH,CAAC,CAAC,mBAAmB,CAAA;IAEzB,MAAM,YAAY,GAAG;QACjB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAC7C,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QAC9B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACjD,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE;KACzC,CAAA;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB;QACvC,CAAC,CAAC,IAAI,CAAC,MAAM,CACP;YACI,GAAG,YAAY;YACf,GAAI,OAAO,CAAC,oBAAgC,CAAC,UAAU;SAC1D,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC;QACH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IAE/D,MAAM,iBAAiB,GAAG;QACtB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;QAC1B,iBAAiB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3C,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAA;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc;QACtC,CAAC,CAAC,IAAI,CAAC,MAAM,CACP;YACI,GAAG,iBAAiB;YACpB,GAAI,OAAO,CAAC,cAA0B,CAAC,UAAU;SACpD,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC;QACH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IAEpE,OAAO,WAAW,CAAA;AACtB,CAAC;AAED,MAAM,UAAU,wBAAwB,CACpC,MAAgB;IAEhB,MAAM,MAAM,GAAG,MAAM,IAAI,4BAA4B,CAAA;IACrD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAA4B,CAAA;AACxE,CAAC"}

package/dist/lib/parsing/types.d.ts

@@ -0,0 +1,13 @@
+import type { TSchema } from "typebox";
+export type TPromptOptions = {
+    customInstructions?: string;
+};
+export type TParsingSchemaOptions = {
+    claimSchema?: TSchema;
+    sourceSchema?: TSchema;
+    variableSchema?: TSchema;
+    premiseSchema?: TSchema;
+    parsedArgumentSchema?: TSchema;
+    responseSchema?: TSchema;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/lib/parsing/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAEtC,MAAM,MAAM,cAAc,GAAG;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG;IAChC,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,oBAAoB,CAAC,EAAE,OAAO,CAAA;IAC9B,cAAc,CAAC,EAAE,OAAO,CAAA;CAC3B,CAAA"}

package/dist/lib/parsing/types.js

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

package/dist/lib/parsing/types.js.map

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@polintpro/proposit-core",
-  "version": "0.5.3",
+  "version": "0.5.6",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [
@@ -22,6 +22,10 @@
     "./extensions/ieee": {
       "types": "./dist/extensions/ieee/index.d.ts",
       "import": "./dist/extensions/ieee/index.js"
+    },
+    "./extensions/basics": {
+      "types": "./dist/extensions/basics/index.d.ts",
+      "import": "./dist/extensions/basics/index.js"
     }
   },
   "bin": {

package/dist/cli/storage/sources.d.ts

@@ -1,4 +0,0 @@
-export declare function claimSourceAssociationsPath(): string;
-export declare function readClaimSourceAssociations(): Promise<unknown[]>;
-export declare function writeClaimSourceAssociations(associations: unknown[]): Promise<void>;
-//# sourceMappingURL=sources.d.ts.map

package/dist/cli/storage/sources.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"sources.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/sources.ts"],"names":[],"mappings":"AAIA,wBAAgB,2BAA2B,IAAI,MAAM,CAEpD;AAED,wBAAsB,2BAA2B,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,CAQtE;AAED,wBAAsB,4BAA4B,CAC9C,YAAY,EAAE,OAAO,EAAE,GACxB,OAAO,CAAC,IAAI,CAAC,CAIf"}

package/dist/cli/storage/sources.js

@@ -1,22 +0,0 @@
-import fs from "node:fs/promises";
-import path from "node:path";
-import { getStateDir } from "../config.js";
-export function claimSourceAssociationsPath() {
-    return path.join(getStateDir(), "claim-source-associations.json");
-}
-export async function readClaimSourceAssociations() {
-    const filePath = claimSourceAssociationsPath();
-    try {
-        const content = await fs.readFile(filePath, "utf-8");
-        return JSON.parse(content);
-    }
-    catch {
-        return [];
-    }
-}
-export async function writeClaimSourceAssociations(associations) {
-    const filePath = claimSourceAssociationsPath();
-    await fs.mkdir(path.dirname(filePath), { recursive: true });
-    await fs.writeFile(filePath, JSON.stringify(associations, null, 2));
-}
-//# sourceMappingURL=sources.js.map

package/dist/cli/storage/sources.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../src/cli/storage/sources.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE1C,MAAM,UAAU,2BAA2B;IACvC,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,gCAAgC,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,2BAA2B;IAC7C,MAAM,QAAQ,GAAG,2BAA2B,EAAE,CAAA;IAC9C,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QACpD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAA;IAC3C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,EAAE,CAAA;IACb,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAC9C,YAAuB;IAEvB,MAAM,QAAQ,GAAG,2BAA2B,EAAE,CAAA;IAC9C,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AACvE,CAAC"}