@polintpro/proposit-core 0.5.3 → 0.5.6

package/dist/lib/parsing/argument-parser.js

@@ -0,0 +1,307 @@
+import { randomUUID } from "node:crypto";
+import { Value } from "typebox/value";
+import { parseFormula } from "../core/parser/formula.js";
+import { POSITION_INITIAL } from "../utils/position.js";
+import { ArgumentEngine } from "../core/argument-engine.js";
+import { ClaimLibrary } from "../core/claim-library.js";
+import { SourceLibrary } from "../core/source-library.js";
+import { ClaimSourceLibrary } from "../core/claim-source-library.js";
+import { ParsedArgumentResponseSchema } from "./schemata.js";
+// ---------------------------------------------------------------------------
+// Internal helpers — reused from src/cli/import.ts patterns
+// ---------------------------------------------------------------------------
+/**
+ * Validates that `implies` and `iff` nodes appear only at the AST root.
+ */
+function validateRootOnly(ast, isRoot, premiseMiniId) {
+    if (!isRoot && (ast.type === "implies" || ast.type === "iff")) {
+        throw new Error(`${ast.type === "implies" ? "Implication (→)" : "Biconditional (↔)"} operator must be at the root of a formula, but found nested in premise "${premiseMiniId}".`);
+    }
+    switch (ast.type) {
+        case "variable":
+            break;
+        case "not":
+            validateRootOnly(ast.operand, false, premiseMiniId);
+            break;
+        case "and":
+        case "or":
+            for (const operand of ast.operands) {
+                validateRootOnly(operand, false, premiseMiniId);
+            }
+            break;
+        case "implies":
+        case "iff":
+            validateRootOnly(ast.left, false, premiseMiniId);
+            validateRootOnly(ast.right, false, premiseMiniId);
+            break;
+    }
+}
+/** Recursively collects all variable names from a formula AST. */
+function collectVariableNames(ast, names) {
+    switch (ast.type) {
+        case "variable":
+            names.add(ast.name);
+            break;
+        case "not":
+            collectVariableNames(ast.operand, names);
+            break;
+        case "and":
+        case "or":
+            for (const operand of ast.operands) {
+                collectVariableNames(operand, names);
+            }
+            break;
+        case "implies":
+        case "iff":
+            collectVariableNames(ast.left, names);
+            collectVariableNames(ast.right, names);
+            break;
+    }
+}
+/**
+ * Converts a formula AST into expression objects and adds them to a premise.
+ */
+function buildExpressions(ast, parentId, position, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression) {
+    const id = randomUUID();
+    switch (ast.type) {
+        case "variable": {
+            const variable = variablesBySymbol.get(ast.name);
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                premiseId,
+                type: "variable",
+                variableId: variable.id,
+                parentId,
+                position,
+            });
+            return id;
+        }
+        case "not": {
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                premiseId,
+                type: "operator",
+                operator: "not",
+                parentId,
+                position,
+            });
+            buildExpressions(ast.operand, id, 0, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression);
+            return id;
+        }
+        case "and":
+        case "or": {
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                premiseId,
+                type: "operator",
+                operator: ast.type,
+                parentId,
+                position,
+            });
+            for (let i = 0; i < ast.operands.length; i++) {
+                buildExpressions(ast.operands[i], id, i, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression);
+            }
+            return id;
+        }
+        case "implies":
+        case "iff": {
+            addExpression({
+                id,
+                argumentId,
+                argumentVersion,
+                premiseId,
+                type: "operator",
+                operator: ast.type,
+                parentId,
+                position,
+            });
+            buildExpressions(ast.left, id, 0, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression);
+            buildExpressions(ast.right, id, 1, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression);
+            return id;
+        }
+    }
+}
+// ---------------------------------------------------------------------------
+// ArgumentParser
+// ---------------------------------------------------------------------------
+/**
+ * Validates and builds an `ArgumentEngine` from a parsed LLM response.
+ *
+ * Override the protected `map*` hooks to inject custom fields into
+ * the entities created during the build phase.
+ */
+export class ArgumentParser {
+    responseSchema;
+    constructor(responseSchema) {
+        this.responseSchema = responseSchema ?? ParsedArgumentResponseSchema;
+    }
+    /**
+     * Validate raw LLM output against the response schema.
+     */
+    validate(raw) {
+        return Value.Parse(this.responseSchema, raw);
+    }
+    /**
+     * Build an ArgumentEngine from a validated response.
+     *
+     * @throws If `response.argument` is null
+     * @throws If any formula references an undeclared variable
+     * @throws If any formula contains nested implies/iff
+     * @throws If a variable references an undeclared claim miniId
+     * @throws If the conclusion premise miniId is unresolvable
+     */
+    build(response) {
+        const arg = response.argument;
+        if (!arg) {
+            throw new Error("Cannot build: argument is null.");
+        }
+        // 1. Parse all formulas upfront and validate
+        const declaredSymbols = new Set(arg.variables.map((v) => v.symbol));
+        const parsedFormulas = [];
+        for (const premise of arg.premises) {
+            let ast;
+            try {
+                ast = parseFormula(premise.formula);
+            }
+            catch (error) {
+                const msg = error instanceof Error ? error.message : String(error);
+                throw new Error(`Failed to parse formula for premise "${premise.miniId}": ${msg}`);
+            }
+            // Validate root-only constraint
+            validateRootOnly(ast, true, premise.miniId);
+            // Verify all variable names match declared variables
+            const formulaVarNames = new Set();
+            collectVariableNames(ast, formulaVarNames);
+            for (const name of formulaVarNames) {
+                if (!declaredSymbols.has(name)) {
+                    throw new Error(`Formula for premise "${premise.miniId}" references undeclared variable symbol "${name}". Declared symbols: ${[...declaredSymbols].join(", ")}.`);
+                }
+            }
+            parsedFormulas.push({ ast, premise });
+        }
+        // 2. Create argument
+        const argumentId = randomUUID();
+        const argumentVersion = 0;
+        const argumentExtras = this.mapArgument(arg);
+        const argument = {
+            ...argumentExtras,
+            id: argumentId,
+            version: argumentVersion,
+        };
+        // 3. Create claims
+        const claimLibrary = new ClaimLibrary();
+        const claimMiniIdToId = new Map();
+        for (const parsedClaim of arg.claims) {
+            const extras = this.mapClaim(parsedClaim);
+            const claimId = randomUUID();
+            const claim = claimLibrary.create({
+                ...extras,
+                id: claimId,
+            });
+            claimMiniIdToId.set(parsedClaim.miniId, {
+                id: claim.id,
+                version: claim.version,
+            });
+        }
+        // 4. Create sources
+        const sourceLibrary = new SourceLibrary();
+        const sourceMiniIdToId = new Map();
+        for (const parsedSource of arg.sources) {
+            const extras = this.mapSource(parsedSource);
+            const sourceId = randomUUID();
+            const source = sourceLibrary.create({
+                ...extras,
+                id: sourceId,
+            });
+            sourceMiniIdToId.set(parsedSource.miniId, {
+                id: source.id,
+                version: source.version,
+            });
+        }
+        // 5. Wire claim-source associations
+        const claimSourceLibrary = new ClaimSourceLibrary(claimLibrary, sourceLibrary);
+        for (const parsedClaim of arg.claims) {
+            const claimRef = claimMiniIdToId.get(parsedClaim.miniId);
+            for (const sourceMiniId of parsedClaim.sourceMiniIds) {
+                const sourceRef = sourceMiniIdToId.get(sourceMiniId);
+                if (!sourceRef) {
+                    throw new Error(`Claim "${parsedClaim.miniId}" references undeclared source "${sourceMiniId}".`);
+                }
+                const extras = this.mapClaimSourceAssociation(parsedClaim, claimRef.id, sourceRef.id);
+                claimSourceLibrary.add({
+                    ...extras,
+                    id: randomUUID(),
+                    claimId: claimRef.id,
+                    claimVersion: claimRef.version,
+                    sourceId: sourceRef.id,
+                    sourceVersion: sourceRef.version,
+                });
+            }
+        }
+        // 6. Create ArgumentEngine
+        const engine = new ArgumentEngine(argument, claimLibrary, sourceLibrary, claimSourceLibrary);
+        // 7. Create variables — resolve claimMiniId to real claim UUID
+        const variablesBySymbol = new Map();
+        for (const parsedVar of arg.variables) {
+            const claimRef = claimMiniIdToId.get(parsedVar.claimMiniId);
+            if (!claimRef) {
+                throw new Error(`Variable "${parsedVar.miniId}" references undeclared claim miniId "${parsedVar.claimMiniId}".`);
+            }
+            const extras = this.mapVariable(parsedVar);
+            const variable = {
+                ...extras,
+                id: randomUUID(),
+                argumentId,
+                argumentVersion,
+                symbol: parsedVar.symbol,
+                claimId: claimRef.id,
+                claimVersion: claimRef.version,
+            };
+            variablesBySymbol.set(parsedVar.symbol, variable);
+            engine.addVariable(variable);
+        }
+        // 8. Create premises and build expression trees
+        const premiseMiniIdToId = new Map();
+        for (const { ast, premise: parsedPremise } of parsedFormulas) {
+            const extras = this.mapPremise(parsedPremise);
+            const { result: pm } = engine.createPremise(extras);
+            premiseMiniIdToId.set(parsedPremise.miniId, pm.getId());
+            buildExpressions(ast, null, POSITION_INITIAL, argumentId, argumentVersion, pm.getId(), variablesBySymbol, (expr) => pm.addExpression(expr));
+        }
+        // 9. Set conclusion
+        const conclusionId = premiseMiniIdToId.get(arg.conclusionPremiseMiniId);
+        if (!conclusionId) {
+            throw new Error(`Conclusion premise miniId "${arg.conclusionPremiseMiniId}" could not be resolved to a premise.`);
+        }
+        engine.setConclusionPremise(conclusionId);
+        return { engine, claimLibrary, sourceLibrary, claimSourceLibrary };
+    }
+    // -----------------------------------------------------------------------
+    // Protected mapping hooks — override to inject custom fields
+    // -----------------------------------------------------------------------
+    mapArgument(_parsed) {
+        return {};
+    }
+    mapClaim(_parsed) {
+        return {};
+    }
+    mapSource(_parsed) {
+        return {};
+    }
+    mapVariable(_parsed) {
+        return {};
+    }
+    mapPremise(_parsed) {
+        return {};
+    }
+    mapClaimSourceAssociation(_parsed, _claimId, _sourceId) {
+        return {};
+    }
+}
+//# sourceMappingURL=argument-parser.js.map

package/dist/lib/parsing/argument-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument-parser.js","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAYrC,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AAGxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAA;AA4B5D,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,aAAqB;IAErB,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,4EAA4E,aAAa,IAAI,CACnK,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YAChD,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACjD,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,iBAAqE,EACrE,aAA+C;IAE/C,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YACjD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,CAChB,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,CAChB,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IASJ,cAAc,CAAS;IAE1C,YAAY,cAAwB;QAChC,IAAI,CAAC,cAAc,GAAG,cAAc,IAAI,4BAA4B,CAAA;IACxE,CAAC;IAED;;OAEG;IACI,QAAQ,CAAC,GAAY;QACxB,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAA;IAChD,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CACR,QAAiC;QAUjC,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAA;QAC7B,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QACtD,CAAC;QAED,6CAA6C;QAC7C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;QACnE,MAAM,cAAc,GAChB,EAAE,CAAA;QAEN,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjC,IAAI,GAAgB,CAAA;YACpB,IAAI,CAAC;gBACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;YACvC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,MAAM,IAAI,KAAK,CACX,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE,CACpE,CAAA;YACL,CAAC;YAED,gCAAgC;YAChC,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;YAE3C,qDAAqD;YACrD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;YACzC,oBAAoB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAA;YAC1C,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACjC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7B,MAAM,IAAI,KAAK,CACX,wBAAwB,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACnJ,CAAA;gBACL,CAAC;YACL,CAAC;YAED,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAA;QACzC,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;QAC/B,MAAM,eAAe,GAAG,CAAC,CAAA;QACzB,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG;YACb,GAAG,cAAc;YACjB,EAAE,EAAE,UAAU;YACd,OAAO,EAAE,eAAe;SACnB,CAAA;QAET,mBAAmB;QACnB,MAAM,YAAY,GAAG,IAAI,YAAY,EAAU,CAAA;QAC/C,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;QAEH,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;YACzC,MAAM,OAAO,GAAG,UAAU,EAAE,CAAA;YAC5B,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC;gBAC9B,GAAG,MAAM;gBACT,EAAE,EAAE,OAAO;aACqC,CAAC,CAAA;YACrD,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE;gBACpC,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,OAAO,EAAE,KAAK,CAAC,OAAO;aACzB,CAAC,CAAA;QACN,CAAC;QAED,oBAAoB;QACpB,MAAM,aAAa,GAAG,IAAI,aAAa,EAAW,CAAA;QAClD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAG7B,CAAA;QAEH,KAAK,MAAM,YAAY,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAA;YAC3C,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAA;YAC7B,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC;gBAChC,GAAG,MAAM;gBACT,EAAE,EAAE,QAAQ;aACqC,CAAC,CAAA;YACtD,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE;gBACtC,EAAE,EAAE,MAAM,CAAC,EAAE;gBACb,OAAO,EAAE,MAAM,CAAC,OAAO;aAC1B,CAAC,CAAA;QACN,CAAC;QAED,oCAAoC;QACpC,MAAM,kBAAkB,GAAG,IAAI,kBAAkB,CAC7C,YAAY,EACZ,aAAa,CAChB,CAAA;QAED,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAE,CAAA;YACzD,KAAK,MAAM,YAAY,IAAI,WAAW,CAAC,aAAa,EAAE,CAAC;gBACnD,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;gBACpD,IAAI,CAAC,SAAS,EAAE,CAAC;oBACb,MAAM,IAAI,KAAK,CACX,UAAU,WAAW,CAAC,MAAM,mCAAmC,YAAY,IAAI,CAClF,CAAA;gBACL,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,CAAC,yBAAyB,CACzC,WAAW,EACX,QAAQ,CAAC,EAAE,EACX,SAAS,CAAC,EAAE,CACf,CAAA;gBACD,kBAAkB,CAAC,GAAG,CAAC;oBACnB,GAAG,MAAM;oBACT,EAAE,EAAE,UAAU,EAAE;oBAChB,OAAO,EAAE,QAAQ,CAAC,EAAE;oBACpB,YAAY,EAAE,QAAQ,CAAC,OAAO;oBAC9B,QAAQ,EAAE,SAAS,CAAC,EAAE;oBACtB,aAAa,EAAE,SAAS,CAAC,OAAO;iBACP,CAAC,CAAA;YAClC,CAAC;QACL,CAAC;QAED,2BAA2B;QAC3B,MAAM,MAAM,GAAG,IAAI,cAAc,CAQ/B,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,kBAAkB,CAAC,CAAA;QAE5D,+DAA+D;QAC/D,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAG9B,CAAA;QAEH,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAA;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACX,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI,CAClG,CAAA;YACL,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GACgB;gBAC1B,GAAG,MAAM;gBACT,EAAE,EAAE,UAAU,EAAE;gBAChB,UAAU;gBACV,eAAe;gBACf,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,OAAO,EAAE,QAAQ,CAAC,EAAE;gBACpB,YAAY,EAAE,QAAQ,CAAC,OAAO;aACjC,CAAA;YACD,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;YACjD,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAChC,CAAC;QAED,gDAAgD;QAChD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAEnD,KAAK,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,cAAc,EAAE,CAAC;YAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;YAC7C,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;YACnD,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;YAEvD,gBAAgB,CACZ,GAAG,EACH,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,eAAe,EACf,EAAE,CAAC,KAAK,EAAE,EACV,iBAAiB,EACjB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAA+B,CAAC,CAC9D,CAAA;QACL,CAAC;QAED,oBAAoB;QACpB,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAA;QACvE,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CACX,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC,CACnG,CAAA;QACL,CAAC;QACD,MAAM,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAA;QAEzC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,CAAA;IACtE,CAAC;IAED,0EAA0E;IAC1E,6DAA6D;IAC7D,0EAA0E;IAEhE,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,QAAQ,CAAC,OAAqB;QACpC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,SAAS,CAAC,OAAsB;QACtC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,UAAU,CAAC,OAAuB;QACxC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,yBAAyB,CAC/B,OAAqB,EACrB,QAAgB,EAChB,SAAiB;QAEjB,OAAO,EAAE,CAAA;IACb,CAAC;CACJ"}

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

@@ -0,0 +1,7 @@
+export { ParsedClaimRoleType, ParsedClaimSchema, ParsedVariableSchema, ParsedSourceSchema, ParsedPremiseSchema, ParsedArgumentSchema, ParsedArgumentResponseSchema, buildParsingResponseSchema, getParsingResponseSchema, } from "./schemata.js";
+export type { TParsedClaim, TParsedVariable, TParsedSource, TParsedPremise, TParsedArgument, TParsedArgumentResponse, } from "./schemata.js";
+export { ArgumentParser } from "./argument-parser.js";
+export type { TArgumentParserResult } from "./argument-parser.js";
+export { buildParsingPrompt } from "./prompt-builder.js";
+export type { TPromptOptions, TParsingSchemaOptions } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,mBAAmB,EACnB,iBAAiB,EACjB,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,4BAA4B,EAC5B,0BAA0B,EAC1B,wBAAwB,GAC3B,MAAM,eAAe,CAAA;AACtB,YAAY,EACR,YAAY,EACZ,eAAe,EACf,aAAa,EACb,cAAc,EACd,eAAe,EACf,uBAAuB,GAC1B,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,YAAY,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AACxD,YAAY,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA"}

package/dist/lib/parsing/index.js

@@ -0,0 +1,4 @@
+export { ParsedClaimRoleType, ParsedClaimSchema, ParsedVariableSchema, ParsedSourceSchema, ParsedPremiseSchema, ParsedArgumentSchema, ParsedArgumentResponseSchema, buildParsingResponseSchema, getParsingResponseSchema, } from "./schemata.js";
+export { ArgumentParser } from "./argument-parser.js";
+export { buildParsingPrompt } from "./prompt-builder.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/parsing/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,mBAAmB,EACnB,iBAAiB,EACjB,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,4BAA4B,EAC5B,0BAA0B,EAC1B,wBAAwB,GAC3B,MAAM,eAAe,CAAA;AAStB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAErD,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA"}

package/dist/lib/parsing/prompt-builder.d.ts

@@ -0,0 +1,11 @@
+import type { TSchema } from "typebox";
+import type { TPromptOptions } from "./types.js";
+/**
+ * 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 declare function buildParsingPrompt(responseSchema: TSchema, options?: TPromptOptions): string;
+//# sourceMappingURL=prompt-builder.d.ts.map

package/dist/lib/parsing/prompt-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-builder.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/prompt-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAmNhD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAC9B,cAAc,EAAE,OAAO,EACvB,OAAO,CAAC,EAAE,cAAc,GACzB,MAAM,CAYR"}

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

@@ -0,0 +1,178 @@
+/**
+ * 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.
+
+## 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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4IA+CwH,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"}