@proposit/proposit-core 0.8.9

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

@@ -0,0 +1,403 @@
+import { Value } from "typebox/value";
+import { parseFormula } from "../core/parser/formula.js";
+import { POSITION_INITIAL } from "../utils/position.js";
+import { ArgumentEngine, defaultGenerateId } 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";
+import { clampMaxLengths } from "./clamp-max-lengths.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, generateId) {
+    const id = generateId();
+    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, generateId);
+            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, generateId);
+            }
+            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, generateId);
+            buildExpressions(ast.right, id, 1, argumentId, argumentVersion, premiseId, variablesBySymbol, addExpression, generateId);
+            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) {
+        clampMaxLengths(this.responseSchema, 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, options) {
+        const warnings = [];
+        const strict = options?.strict ?? true;
+        const genId = options?.generateId ?? defaultGenerateId;
+        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);
+                if (strict) {
+                    throw new Error(`Failed to parse formula for premise "${premise.miniId}": ${msg}`);
+                }
+                warnings.push({
+                    code: "FORMULA_PARSE_ERROR",
+                    message: `Failed to parse formula for premise "${premise.miniId}": ${msg}`,
+                    context: {
+                        premiseMiniId: premise.miniId,
+                        formula: premise.formula,
+                    },
+                });
+                continue;
+            }
+            // Validate root-only constraint
+            try {
+                validateRootOnly(ast, true, premise.miniId);
+            }
+            catch (error) {
+                const msg = error instanceof Error ? error.message : String(error);
+                if (strict) {
+                    throw error;
+                }
+                warnings.push({
+                    code: "FORMULA_STRUCTURE_ERROR",
+                    message: msg,
+                    context: {
+                        premiseMiniId: premise.miniId,
+                        formula: premise.formula,
+                    },
+                });
+                continue;
+            }
+            parsedFormulas.push({ ast, premise });
+        }
+        // 2. Create argument
+        const argumentId = genId();
+        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 = genId();
+            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 = genId();
+            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) {
+                    if (strict) {
+                        throw new Error(`Claim "${parsedClaim.miniId}" references undeclared source "${sourceMiniId}".`);
+                    }
+                    warnings.push({
+                        code: "UNRESOLVED_SOURCE_MINIID",
+                        message: `Claim "${parsedClaim.miniId}" references undeclared source "${sourceMiniId}".`,
+                        context: {
+                            claimMiniId: parsedClaim.miniId,
+                            sourceMiniId,
+                        },
+                    });
+                    continue;
+                }
+                const extras = this.mapClaimSourceAssociation(parsedClaim, claimRef.id, sourceRef.id);
+                claimSourceLibrary.add({
+                    ...extras,
+                    id: genId(),
+                    claimId: claimRef.id,
+                    claimVersion: claimRef.version,
+                    sourceId: sourceRef.id,
+                    sourceVersion: sourceRef.version,
+                });
+            }
+        }
+        // 6. Create ArgumentEngine
+        const engine = new ArgumentEngine(argument, claimLibrary, sourceLibrary, claimSourceLibrary, {
+            grammarConfig: {
+                enforceFormulaBetweenOperators: true,
+                autoNormalize: true,
+            },
+            generateId: genId,
+        });
+        // 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) {
+                if (strict) {
+                    throw new Error(`Variable "${parsedVar.miniId}" references undeclared claim miniId "${parsedVar.claimMiniId}".`);
+                }
+                warnings.push({
+                    code: "UNRESOLVED_CLAIM_MINIID",
+                    message: `Variable "${parsedVar.miniId}" references undeclared claim miniId "${parsedVar.claimMiniId}".`,
+                    context: {
+                        variableMiniId: parsedVar.miniId,
+                        claimMiniId: parsedVar.claimMiniId,
+                    },
+                });
+                declaredSymbols.delete(parsedVar.symbol);
+                continue;
+            }
+            const extras = this.mapVariable(parsedVar);
+            const variable = {
+                ...extras,
+                id: genId(),
+                argumentId,
+                argumentVersion,
+                symbol: parsedVar.symbol,
+                claimId: claimRef.id,
+                claimVersion: claimRef.version,
+            };
+            variablesBySymbol.set(parsedVar.symbol, variable);
+            engine.addVariable(variable);
+        }
+        // 7b. Filter formulas against surviving declared symbols
+        const survivingFormulas = [];
+        for (const entry of parsedFormulas) {
+            const formulaVarNames = new Set();
+            collectVariableNames(entry.ast, formulaVarNames);
+            let hasUndeclared = false;
+            for (const name of formulaVarNames) {
+                if (!declaredSymbols.has(name)) {
+                    if (strict) {
+                        throw new Error(`Formula for premise "${entry.premise.miniId}" references undeclared variable symbol "${name}". Declared symbols: ${[...declaredSymbols].join(", ")}.`);
+                    }
+                    warnings.push({
+                        code: "UNDECLARED_VARIABLE_SYMBOL",
+                        message: `Formula for premise "${entry.premise.miniId}" references undeclared variable symbol "${name}". Declared symbols: ${[...declaredSymbols].join(", ")}.`,
+                        context: {
+                            premiseMiniId: entry.premise.miniId,
+                            symbol: name,
+                        },
+                    });
+                    hasUndeclared = true;
+                    break;
+                }
+            }
+            if (!hasUndeclared)
+                survivingFormulas.push(entry);
+        }
+        // 8. Create premises and build expression trees
+        const premiseMiniIdToId = new Map();
+        for (const { ast, premise: parsedPremise } of survivingFormulas) {
+            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), genId);
+        }
+        // 9. Set conclusion
+        const conclusionId = premiseMiniIdToId.get(arg.conclusionPremiseMiniId);
+        if (!conclusionId) {
+            if (strict) {
+                throw new Error(`Conclusion premise miniId "${arg.conclusionPremiseMiniId}" could not be resolved to a premise.`);
+            }
+            warnings.push({
+                code: "UNRESOLVED_CONCLUSION_MINIID",
+                message: `Conclusion premise miniId "${arg.conclusionPremiseMiniId}" could not be resolved to a premise.`,
+                context: {
+                    conclusionPremiseMiniId: arg.conclusionPremiseMiniId,
+                },
+            });
+        }
+        else {
+            engine.setConclusionPremise(conclusionId);
+        }
+        return {
+            engine,
+            claimLibrary,
+            sourceLibrary,
+            claimSourceLibrary,
+            warnings,
+        };
+    }
+    // -----------------------------------------------------------------------
+    // 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,KAAK,EAAE,MAAM,eAAe,CAAA;AAarC,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AAGxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9E,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;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AA6BxD,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,EAC/C,UAAwB;IAExB,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,EACb,UAAU,CACb,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,EACb,UAAU,CACb,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,EACb,UAAU,CACb,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,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,eAAe,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAA;QACzC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAA;IAChD,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CACR,QAAiC,EACjC,OAA6B;QAU7B,MAAM,QAAQ,GAAqB,EAAE,CAAA;QACrC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAA;QACtC,MAAM,KAAK,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QACtD,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,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE,CACpE,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EAAE,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE;oBAC1E,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,gCAAgC;YAChC,IAAI,CAAC;gBACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;YAC/C,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,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,KAAK,CAAA;gBACf,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAA;QACzC,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAG,KAAK,EAAE,CAAA;QAC1B,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,KAAK,EAAE,CAAA;YACvB,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,KAAK,EAAE,CAAA;YACxB,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,IAAI,MAAM,EAAE,CAAC;wBACT,MAAM,IAAI,KAAK,CACX,UAAU,WAAW,CAAC,MAAM,mCAAmC,YAAY,IAAI,CAClF,CAAA;oBACL,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,0BAA0B;wBAChC,OAAO,EAAE,UAAU,WAAW,CAAC,MAAM,mCAAmC,YAAY,IAAI;wBACxF,OAAO,EAAE;4BACL,WAAW,EAAE,WAAW,CAAC,MAAM;4BAC/B,YAAY;yBACf;qBACJ,CAAC,CAAA;oBACF,SAAQ;gBACZ,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,KAAK,EAAE;oBACX,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,EAAE;YACzD,aAAa,EAAE;gBACX,8BAA8B,EAAE,IAAI;gBACpC,aAAa,EAAE,IAAI;aACtB;YACD,UAAU,EAAE,KAAK;SACpB,CAAC,CAAA;QAEF,+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,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI,CAClG,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI;oBACxG,OAAO,EAAE;wBACL,cAAc,EAAE,SAAS,CAAC,MAAM;wBAChC,WAAW,EAAE,SAAS,CAAC,WAAW;qBACrC;iBACJ,CAAC,CAAA;gBACF,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;gBACxC,SAAQ;YACZ,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GACgB;gBAC1B,GAAG,MAAM;gBACT,EAAE,EAAE,KAAK,EAAE;gBACX,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,yDAAyD;QACzD,MAAM,iBAAiB,GAA0B,EAAE,CAAA;QACnD,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACjC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;YACzC,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,eAAe,CAAC,CAAA;YAChD,IAAI,aAAa,GAAG,KAAK,CAAA;YACzB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACjC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7B,IAAI,MAAM,EAAE,CAAC;wBACT,MAAM,IAAI,KAAK,CACX,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzJ,CAAA;oBACL,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;wBAC/J,OAAO,EAAE;4BACL,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;4BACnC,MAAM,EAAE,IAAI;yBACf;qBACJ,CAAC,CAAA;oBACF,aAAa,GAAG,IAAI,CAAA;oBACpB,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,CAAC,aAAa;gBAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrD,CAAC;QAED,gDAAgD;QAChD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAEnD,KAAK,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,iBAAiB,EAAE,CAAC;YAC9D,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,EAC3D,KAAK,CACR,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,IAAI,MAAM,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CACX,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC,CACnG,CAAA;YACL,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EAAE,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC;gBACzG,OAAO,EAAE;oBACL,uBAAuB,EAAE,GAAG,CAAC,uBAAuB;iBACvD;aACJ,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAA;QAC7C,CAAC;QAED,OAAO;YACH,MAAM;YACN,YAAY;YACZ,aAAa;YACb,kBAAkB;YAClB,QAAQ;SACX,CAAA;IACL,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/clamp-max-lengths.d.ts

@@ -0,0 +1,11 @@
+import type { TSchema } from "typebox";
+/**
+ * Recursively walks a TypeBox schema and a data value in tandem,
+ * truncating any string that exceeds its schema's `maxLength`.
+ *
+ * Mutates `data` in place (caller is expected to pass throwaway data).
+ * Handles objects, arrays, and TypeBox `Nullable` unions (`anyOf` with
+ * a `null` type branch).
+ */
+export declare function clampMaxLengths(schema: TSchema, data: unknown): void;
+//# sourceMappingURL=clamp-max-lengths.d.ts.map

package/dist/lib/parsing/clamp-max-lengths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clamp-max-lengths.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/clamp-max-lengths.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAEtC;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,GAAG,IAAI,CA6DpE"}

package/dist/lib/parsing/clamp-max-lengths.js

@@ -0,0 +1,56 @@
+/**
+ * Recursively walks a TypeBox schema and a data value in tandem,
+ * truncating any string that exceeds its schema's `maxLength`.
+ *
+ * Mutates `data` in place (caller is expected to pass throwaway data).
+ * Handles objects, arrays, and TypeBox `Nullable` unions (`anyOf` with
+ * a `null` type branch).
+ */
+export function clampMaxLengths(schema, data) {
+    if (data === null || data === undefined)
+        return;
+    // Handle Nullable / anyOf unions — find the non-null branch and recurse
+    const anyOf = schema.anyOf;
+    if (anyOf) {
+        const nonNull = anyOf.find((s) => s.type !== "null");
+        if (nonNull) {
+            clampMaxLengths(nonNull, data);
+        }
+        return;
+    }
+    const schemaType = schema.type;
+    if (schemaType === "object" && typeof data === "object") {
+        const properties = schema.properties;
+        if (!properties)
+            return;
+        const obj = data;
+        for (const [key, propSchema] of Object.entries(properties)) {
+            if (!(key in obj))
+                continue;
+            const value = obj[key];
+            const propType = propSchema.type;
+            if (propType === "string" && typeof value === "string") {
+                const maxLength = propSchema
+                    .maxLength;
+                if (maxLength !== undefined &&
+                    maxLength >= 0 &&
+                    value.length > maxLength) {
+                    obj[key] = value.slice(0, maxLength);
+                }
+            }
+            else {
+                clampMaxLengths(propSchema, value);
+            }
+        }
+        return;
+    }
+    if (schemaType === "array" && Array.isArray(data)) {
+        const itemSchema = schema.items;
+        if (!itemSchema)
+            return;
+        for (const element of data) {
+            clampMaxLengths(itemSchema, element);
+        }
+    }
+}
+//# sourceMappingURL=clamp-max-lengths.js.map

package/dist/lib/parsing/clamp-max-lengths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clamp-max-lengths.js","sourceRoot":"","sources":["../../../src/lib/parsing/clamp-max-lengths.ts"],"names":[],"mappings":"AAEA;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,MAAe,EAAE,IAAa;IAC1D,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAM;IAE/C,wEAAwE;IACxE,MAAM,KAAK,GAAI,MAAkC,CAAC,KAEnC,CAAA;IACf,IAAI,KAAK,EAAE,CAAC;QACR,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CAAE,CAA6B,CAAC,IAAI,KAAK,MAAM,CACxD,CAAA;QACD,IAAI,OAAO,EAAE,CAAC;YACV,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;QAClC,CAAC;QACD,OAAM;IACV,CAAC;IAED,MAAM,UAAU,GAAI,MAAkC,CAAC,IAExC,CAAA;IAEf,IAAI,UAAU,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtD,MAAM,UAAU,GAAI,MAAkC,CAAC,UAExC,CAAA;QACf,IAAI,CAAC,UAAU;YAAE,OAAM;QACvB,MAAM,GAAG,GAAG,IAA+B,CAAA;QAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC;gBAAE,SAAQ;YAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;YAEtB,MAAM,QAAQ,GAAI,UAAsC,CAAC,IAE1C,CAAA;YAEf,IAAI,QAAQ,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACrD,MAAM,SAAS,GAAI,UAAsC;qBACpD,SAA+B,CAAA;gBACpC,IACI,SAAS,KAAK,SAAS;oBACvB,SAAS,IAAI,CAAC;oBACd,KAAK,CAAC,MAAM,GAAG,SAAS,EAC1B,CAAC;oBACC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;gBACxC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;YACtC,CAAC;QACL,CAAC;QACD,OAAM;IACV,CAAC;IAED,IAAI,UAAU,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,UAAU,GAAI,MAAkC,CAAC,KAExC,CAAA;QACf,IAAI,CAAC,UAAU;YAAE,OAAM;QACvB,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;YACzB,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACxC,CAAC;IACL,CAAC;AACL,CAAC"}

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, TParserWarningCode, TParserWarning, TParserBuildOptions, } 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,EACR,cAAc,EACd,qBAAqB,EACrB,kBAAkB,EAClB,cAAc,EACd,mBAAmB,GACtB,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;AAsQhD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAC9B,cAAc,EAAE,OAAO,EACvB,OAAO,CAAC,EAAE,cAAc,GACzB,MAAM,CAYR"}