@polintpro/proposit-core 0.5.3 → 0.5.8

package/dist/lib/parsing/prompt-builder.js

@@ -0,0 +1,192 @@
+/**
+ * Core property keys for each sub-schema in the parsed argument response.
+ * Used to distinguish extension fields from built-in fields.
+ */
+const CORE_CLAIM_KEYS = new Set(["miniId", "role", "sourceMiniIds"]);
+const CORE_VARIABLE_KEYS = new Set(["miniId", "symbol", "claimMiniId"]);
+const CORE_SOURCE_KEYS = new Set(["miniId", "text"]);
+const CORE_PREMISE_KEYS = new Set(["miniId", "formula"]);
+const CORE_ARGUMENT_KEYS = new Set([
+    "claims",
+    "variables",
+    "sources",
+    "premises",
+    "conclusionPremiseMiniId",
+]);
+const CORE_RESPONSE_KEYS = new Set([
+    "argument",
+    "uncategorizedText",
+    "selectionRationale",
+    "failureText",
+]);
+const CORE_PROMPT = `You are an expert argument analyst specializing in propositional logic. Your task is to analyze text and extract a structured propositional argument from it.
+
+## Task
+
+Given input text, identify:
+1. The distinct claims (propositions) being made
+2. Assign a variable (a short symbolic name) to each claim, one variable per claim
+3. Write logical formula strings connecting those variables into premises
+4. Identify which premise is the conclusion
+
+## Formula Syntax
+
+Formulas use infix notation with the following operators:
+
+- **and**: logical conjunction (A and B)
+- **or**: logical disjunction (A or B)
+- **not**: logical negation (not A)
+- **implies**: logical implication (A implies B)
+- **iff**: logical biconditional (A iff B)
+- **parentheses**: for grouping sub-expressions, e.g. (A or B) and C
+
+### Root-Only Operators
+
+The operators **implies** and **iff** must appear ONLY at the root level of a formula. They cannot be nested inside other operators. For example:
+- Valid: "A implies B"
+- Valid: "A and B"
+- Invalid: "(A implies B) and C" — implies is nested, not at root
+
+If you need to express a nested conditional, introduce an intermediate claim and a separate premise.
+
+## Response Structure
+
+Your response must conform to the provided JSON schema. Key fields:
+
+- **argument**: The parsed argument object, or null if the text cannot be parsed as an argument
+- **uncategorizedText**: Any portions of the input text that do not fit into the argument structure, or null
+- **selectionRationale**: If the text contains multiple potential arguments, explain why you chose the one you did, or null
+- **failureText**: If the argument cannot be parsed, explain why here, or null
+
+## Edge Cases
+
+- If the input text contains multiple distinct arguments, select the strongest or most complete one and explain your choice in selectionRationale.
+- If the input text cannot be reasonably interpreted as a propositional argument, set argument to null and provide an explanation in failureText.
+- If portions of the text are tangential or do not contribute to the argument, capture them in uncategorizedText.
+
+## Variable Symbols
+
+Each variable symbol should be a concise PascalCase summary of the claim it represents — short enough to scan at a glance, but specific enough to distinguish from other variables. Examples:
+
+| Claim | Good symbol | Bad symbol |
+|---|---|---|
+| "The GDP grew an average of 4% every year for the past decade" | GDP_Growth | G |
+| "Unrestricted free speech leads to the spread of misinformation" | FreeSpeech_Misinformation | Variable1 |
+| "Increased funding reduces classroom overcrowding" | Funding_Reduces_Overcrowding | FundingEffect |
+
+Use underscores to separate distinct concepts within a symbol when needed for clarity. Avoid single letters, numeric suffixes, or generic names like "Premise1".
+
+Abbreviations are encouraged to keep symbols short. Aim for under 20 characters when possible. Examples: "Gross Domestic Product growth is 4%" → GDP_Growth, "The cost of a degree at most universities has risen sharply" → Uni_Cost_Increase, "Regulatory intervention is necessary" → Reg_Intervention.
+
+## Writing Style
+
+When formulating claims, write in third person, present tense, active voice. Each claim should be a clear, standalone declarative sentence.`;
+/**
+ * Unwrap a Nullable union (anyOf with null) to get the inner schema.
+ */
+function unwrapNullable(schema) {
+    if (schema.anyOf) {
+        const nonNull = schema.anyOf.find((s) => !(s.type === "null" || s.type === undefined));
+        if (nonNull)
+            return nonNull;
+    }
+    return schema;
+}
+/**
+ * Find extension fields in an object schema by comparing against known core keys.
+ */
+function findExtensions(schema, coreKeys, entityName) {
+    if (!schema?.properties)
+        return [];
+    const extensions = [];
+    for (const [key, fieldSchema] of Object.entries(schema.properties)) {
+        if (coreKeys.has(key))
+            continue;
+        const unwrapped = unwrapNullable(fieldSchema);
+        extensions.push({
+            entity: entityName,
+            field: key,
+            description: unwrapped.description,
+            minLength: unwrapped.minLength,
+            maxLength: unwrapped.maxLength,
+        });
+    }
+    return extensions;
+}
+/**
+ * Walk the response schema to discover all extension fields.
+ */
+function discoverExtensionFields(responseSchema) {
+    const schema = responseSchema;
+    const extensions = [];
+    // Response-level extensions
+    extensions.push(...findExtensions(schema, CORE_RESPONSE_KEYS, "response"));
+    // Argument-level: response.argument is Nullable(ArgumentSchema)
+    const argumentField = schema.properties?.argument;
+    if (!argumentField)
+        return extensions;
+    const argumentSchema = unwrapNullable(argumentField);
+    extensions.push(...findExtensions(argumentSchema, CORE_ARGUMENT_KEYS, "argument"));
+    // Claims: argument.claims is Array(ClaimSchema)
+    const claimsArray = argumentSchema.properties?.claims;
+    if (claimsArray?.items) {
+        extensions.push(...findExtensions(claimsArray.items, CORE_CLAIM_KEYS, "claim"));
+    }
+    // Variables: argument.variables is Array(VariableSchema)
+    const variablesArray = argumentSchema.properties?.variables;
+    if (variablesArray?.items) {
+        extensions.push(...findExtensions(variablesArray.items, CORE_VARIABLE_KEYS, "variable"));
+    }
+    // Sources: argument.sources is Array(SourceSchema)
+    const sourcesArray = argumentSchema.properties?.sources;
+    if (sourcesArray?.items) {
+        extensions.push(...findExtensions(sourcesArray.items, CORE_SOURCE_KEYS, "source"));
+    }
+    // Premises: argument.premises is Array(PremiseSchema)
+    const premisesArray = argumentSchema.properties?.premises;
+    if (premisesArray?.items) {
+        extensions.push(...findExtensions(premisesArray.items, CORE_PREMISE_KEYS, "premise"));
+    }
+    return extensions;
+}
+/**
+ * Format extension fields into instruction text.
+ */
+function formatExtensionInstructions(fields) {
+    if (fields.length === 0)
+        return "";
+    const lines = ["\n\n## Extension Fields\n"];
+    for (const field of fields) {
+        const constraints = [];
+        if (field.description) {
+            constraints.push(field.description);
+        }
+        if (field.minLength !== undefined) {
+            constraints.push(`minLength: ${field.minLength}`);
+        }
+        if (field.maxLength !== undefined) {
+            constraints.push(`maxLength: ${field.maxLength}`);
+        }
+        const constraintStr = constraints.length > 0 ? ` — ${constraints.join("; ")}` : "";
+        lines.push(`- **${field.entity}.${field.field}**${constraintStr}`);
+    }
+    return lines.join("\n");
+}
+/**
+ * Build the system prompt for LLM-based argument parsing.
+ *
+ * @param responseSchema - The TypeBox response schema (core or extended)
+ * @param options - Optional configuration including custom instructions
+ * @returns The complete system prompt string
+ */
+export function buildParsingPrompt(responseSchema, options) {
+    let prompt = CORE_PROMPT;
+    const extensionFields = discoverExtensionFields(responseSchema);
+    const extensionInstructions = formatExtensionInstructions(extensionFields);
+    prompt += extensionInstructions;
+    if (options?.customInstructions) {
+        prompt += `\n\n## Additional Instructions\n\n${options.customInstructions}`;
+    }
+    return prompt;
+}
+//# sourceMappingURL=prompt-builder.js.map

package/dist/lib/parsing/prompt-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-builder.js","sourceRoot":"","sources":["../../../src/lib/parsing/prompt-builder.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;AACpE,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAA;AACvE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAA;AACpD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;AACxD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IAC/B,QAAQ;IACR,WAAW;IACX,SAAS;IACT,UAAU;IACV,yBAAyB;CAC5B,CAAC,CAAA;AACF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IAC/B,UAAU;IACV,mBAAmB;IACnB,oBAAoB;IACpB,aAAa;CAChB,CAAC,CAAA;AAEF,MAAM,WAAW,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4IA6DwH,CAAA;AAY5I;;GAEG;AACH,SAAS,cAAc,CAAC,MAAmB;IACvC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CACtD,CAAA;QACD,IAAI,OAAO;YAAE,OAAO,OAAO,CAAA;IAC/B,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAUD;;GAEG;AACH,SAAS,cAAc,CACnB,MAA+B,EAC/B,QAAqB,EACrB,UAAkB;IAElB,IAAI,CAAC,MAAM,EAAE,UAAU;QAAE,OAAO,EAAE,CAAA;IAClC,MAAM,UAAU,GAAsB,EAAE,CAAA;IACxC,KAAK,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACjE,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAQ;QAC/B,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,CAAC,CAAA;QAC7C,UAAU,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,GAAG;YACV,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;SACjC,CAAC,CAAA;IACN,CAAC;IACD,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAAC,cAAuB;IACpD,MAAM,MAAM,GAAG,cAA6B,CAAA;IAC5C,MAAM,UAAU,GAAsB,EAAE,CAAA;IAExC,4BAA4B;IAC5B,UAAU,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAA;IAE1E,gEAAgE;IAChE,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAA;IACjD,IAAI,CAAC,aAAa;QAAE,OAAO,UAAU,CAAA;IACrC,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,CAAC,CAAA;IAEpD,UAAU,CAAC,IAAI,CACX,GAAG,cAAc,CAAC,cAAc,EAAE,kBAAkB,EAAE,UAAU,CAAC,CACpE,CAAA;IAED,gDAAgD;IAChD,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,EAAE,MAAM,CAAA;IACrD,IAAI,WAAW,EAAE,KAAK,EAAE,CAAC;QACrB,UAAU,CAAC,IAAI,CACX,GAAG,cAAc,CAAC,WAAW,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,CACjE,CAAA;IACL,CAAC;IAED,yDAAyD;IACzD,MAAM,cAAc,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,CAAA;IAC3D,IAAI,cAAc,EAAE,KAAK,EAAE,CAAC;QACxB,UAAU,CAAC,IAAI,CACX,GAAG,cAAc,CACb,cAAc,CAAC,KAAK,EACpB,kBAAkB,EAClB,UAAU,CACb,CACJ,CAAA;IACL,CAAC;IAED,mDAAmD;IACnD,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,EAAE,OAAO,CAAA;IACvD,IAAI,YAAY,EAAE,KAAK,EAAE,CAAC;QACtB,UAAU,CAAC,IAAI,CACX,GAAG,cAAc,CAAC,YAAY,CAAC,KAAK,EAAE,gBAAgB,EAAE,QAAQ,CAAC,CACpE,CAAA;IACL,CAAC;IAED,sDAAsD;IACtD,MAAM,aAAa,GAAG,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAA;IACzD,IAAI,aAAa,EAAE,KAAK,EAAE,CAAC;QACvB,UAAU,CAAC,IAAI,CACX,GAAG,cAAc,CAAC,aAAa,CAAC,KAAK,EAAE,iBAAiB,EAAE,SAAS,CAAC,CACvE,CAAA;IACL,CAAC;IAED,OAAO,UAAU,CAAA;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,2BAA2B,CAAC,MAAyB;IAC1D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAElC,MAAM,KAAK,GAAG,CAAC,2BAA2B,CAAC,CAAA;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,WAAW,GAAa,EAAE,CAAA;QAChC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;QACvC,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,SAAS,EAAE,CAAC,CAAA;QACrD,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,SAAS,EAAE,CAAC,CAAA;QACrD,CAAC;QACD,MAAM,aAAa,GACf,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;QAChE,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAC9B,cAAuB,EACvB,OAAwB;IAExB,IAAI,MAAM,GAAG,WAAW,CAAA;IAExB,MAAM,eAAe,GAAG,uBAAuB,CAAC,cAAc,CAAC,CAAA;IAC/D,MAAM,qBAAqB,GAAG,2BAA2B,CAAC,eAAe,CAAC,CAAA;IAC1E,MAAM,IAAI,qBAAqB,CAAA;IAE/B,IAAI,OAAO,EAAE,kBAAkB,EAAE,CAAC;QAC9B,MAAM,IAAI,qCAAqC,OAAO,CAAC,kBAAkB,EAAE,CAAA;IAC/E,CAAC;IAED,OAAO,MAAM,CAAA;AACjB,CAAC"}

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

@@ -0,0 +1,77 @@
+import Type, { type Static, type TSchema } from "typebox";
+import type { TParsingSchemaOptions } from "./types.js";
+export declare const ParsedClaimRoleType: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"conclusion">, Type.TLiteral<"intermediate">]>;
+export declare const ParsedClaimSchema: Type.TObject<{
+    miniId: Type.TString;
+    role: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"conclusion">, Type.TLiteral<"intermediate">]>;
+    sourceMiniIds: Type.TArray<Type.TString>;
+}>;
+export type TParsedClaim = Static<typeof ParsedClaimSchema>;
+export declare const ParsedVariableSchema: Type.TObject<{
+    miniId: Type.TString;
+    symbol: Type.TString;
+    claimMiniId: Type.TString;
+}>;
+export type TParsedVariable = Static<typeof ParsedVariableSchema>;
+export declare const ParsedSourceSchema: Type.TObject<{
+    miniId: Type.TString;
+    text: Type.TString;
+}>;
+export type TParsedSource = Static<typeof ParsedSourceSchema>;
+export declare const ParsedPremiseSchema: Type.TObject<{
+    miniId: Type.TString;
+    formula: Type.TString;
+}>;
+export type TParsedPremise = Static<typeof ParsedPremiseSchema>;
+export declare const ParsedArgumentSchema: Type.TObject<{
+    claims: Type.TArray<Type.TObject<{
+        miniId: Type.TString;
+        role: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"conclusion">, Type.TLiteral<"intermediate">]>;
+        sourceMiniIds: Type.TArray<Type.TString>;
+    }>>;
+    variables: Type.TArray<Type.TObject<{
+        miniId: Type.TString;
+        symbol: Type.TString;
+        claimMiniId: Type.TString;
+    }>>;
+    sources: Type.TArray<Type.TObject<{
+        miniId: Type.TString;
+        text: Type.TString;
+    }>>;
+    premises: Type.TArray<Type.TObject<{
+        miniId: Type.TString;
+        formula: Type.TString;
+    }>>;
+    conclusionPremiseMiniId: Type.TString;
+}>;
+export type TParsedArgument = Static<typeof ParsedArgumentSchema>;
+export declare const ParsedArgumentResponseSchema: Type.TObject<{
+    argument: Type.TUnion<[Type.TObject<{
+        claims: Type.TArray<Type.TObject<{
+            miniId: Type.TString;
+            role: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"conclusion">, Type.TLiteral<"intermediate">]>;
+            sourceMiniIds: Type.TArray<Type.TString>;
+        }>>;
+        variables: Type.TArray<Type.TObject<{
+            miniId: Type.TString;
+            symbol: Type.TString;
+            claimMiniId: Type.TString;
+        }>>;
+        sources: Type.TArray<Type.TObject<{
+            miniId: Type.TString;
+            text: Type.TString;
+        }>>;
+        premises: Type.TArray<Type.TObject<{
+            miniId: Type.TString;
+            formula: Type.TString;
+        }>>;
+        conclusionPremiseMiniId: Type.TString;
+    }>, Type.TNull]>;
+    uncategorizedText: Type.TUnion<[Type.TString, Type.TNull]>;
+    selectionRationale: Type.TUnion<[Type.TString, Type.TNull]>;
+    failureText: Type.TUnion<[Type.TString, Type.TNull]>;
+}>;
+export type TParsedArgumentResponse = Static<typeof ParsedArgumentResponseSchema>;
+export declare function buildParsingResponseSchema(options?: TParsingSchemaOptions): TSchema;
+export declare function getParsingResponseSchema(schema?: TSchema): Record<string, unknown>;
+//# sourceMappingURL=schemata.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAgB,KAAK,OAAO,EAAE,MAAM,SAAS,CAAA;AAEvE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAEvD,eAAO,MAAM,mBAAmB,qGAI9B,CAAA;AAEF,eAAO,MAAM,iBAAiB;;;;EAO7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,oBAAoB;;;;EAOhC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,kBAAkB;;;EAM9B,CAAA;AACD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,mBAAmB;;;EAM/B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;EAShC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;EAQxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AASD,wBAAgB,0BAA0B,CACtC,OAAO,CAAC,EAAE,qBAAqB,GAChC,OAAO,CAgET;AAED,wBAAgB,wBAAwB,CACpC,MAAM,CAAC,EAAE,OAAO,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGzB"}

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/dist/lib/types/grammar.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Individual structural rule toggles for expression tree grammar.
+ *
+ * Each boolean controls whether a specific structural constraint is enforced.
+ * When `true`, violations throw (or auto-normalize if `TGrammarConfig.autoNormalize`
+ * is also `true` — but only for operations that support it).
+ */
+export type TGrammarOptions = {
+    /** Require a `formula` node between a parent operator and a non-`not` operator child. */
+    enforceFormulaBetweenOperators: boolean;
+};
+/**
+ * Grammar enforcement configuration for expression trees.
+ *
+ * Controls which structural rules are enforced and whether violations are
+ * automatically corrected.
+ *
+ * **`autoNormalize` scope:** Auto-normalization is only supported by `addExpression`
+ * and bulk-loading paths (`loadInitialExpressions`). Compound operations
+ * (`insertExpression`, `wrapExpression`) and `removeExpression` always throw on
+ * violations regardless of this flag.
+ */
+export type TGrammarConfig = TGrammarOptions & {
+    /** When `true`, auto-fix violations where possible instead of throwing. */
+    autoNormalize: boolean;
+};
+/** Default config: all rules enforced, auto-normalize off. */
+export declare const DEFAULT_GRAMMAR_CONFIG: TGrammarConfig;
+/** Permissive config: no enforcement. Used by default in `fromData`. */
+export declare const PERMISSIVE_GRAMMAR_CONFIG: TGrammarConfig;
+//# sourceMappingURL=grammar.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"grammar.d.ts","sourceRoot":"","sources":["../../../src/lib/types/grammar.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG;IAC1B,yFAAyF;IACzF,8BAA8B,EAAE,OAAO,CAAA;CAC1C,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,GAAG,eAAe,GAAG;IAC3C,2EAA2E;IAC3E,aAAa,EAAE,OAAO,CAAA;CACzB,CAAA;AAED,8DAA8D;AAC9D,eAAO,MAAM,sBAAsB,EAAE,cAGpC,CAAA;AAED,wEAAwE;AACxE,eAAO,MAAM,yBAAyB,EAAE,cAGvC,CAAA"}

package/dist/lib/types/grammar.js

@@ -0,0 +1,11 @@
+/** Default config: all rules enforced, auto-normalize off. */
+export const DEFAULT_GRAMMAR_CONFIG = {
+    enforceFormulaBetweenOperators: true,
+    autoNormalize: false,
+};
+/** Permissive config: no enforcement. Used by default in `fromData`. */
+export const PERMISSIVE_GRAMMAR_CONFIG = {
+    enforceFormulaBetweenOperators: false,
+    autoNormalize: false,
+};
+//# sourceMappingURL=grammar.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"grammar.js","sourceRoot":"","sources":["../../../src/lib/types/grammar.ts"],"names":[],"mappings":"AA4BA,8DAA8D;AAC9D,MAAM,CAAC,MAAM,sBAAsB,GAAmB;IAClD,8BAA8B,EAAE,IAAI;IACpC,aAAa,EAAE,KAAK;CACvB,CAAA;AAED,wEAAwE;AACxE,MAAM,CAAC,MAAM,yBAAyB,GAAmB;IACrD,8BAA8B,EAAE,KAAK;IACrC,aAAa,EAAE,KAAK;CACvB,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@polintpro/proposit-core",
-  "version": "0.5.3",
+  "version": "0.5.8",
   "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"}