@proposit/proposit-core 1.1.1 → 1.3.0

package/dist/extensions/argument-ingestion/stages/formula-compilation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formula-compilation.js","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/formula-compilation.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,gEAAgE;AAChE,qEAAqE;AACrE,0DAA0D;AAC1D,EAAE;AACF,iCAAiC;AACjC,mEAAmE;AACnE,8EAA8E;AAC9E,mEAAmE;AACnE,EAAE;AACF,uCAAuC;AACvC,gEAAgE;AAChE,sEAAsE;AACtE,uDAAuD;AACvD,kEAAkE;AAClE,0DAA0D;AAC1D,sEAAsE;AACtE,4DAA4D;AAC5D,EAAE;AACF,qEAAqE;AACrE,qEAAqE;AACrE,kEAAkE;AAClE,+BAA+B;AAE/B,OAAO,EACH,SAAS,EACT,8BAA8B,GAMjC,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAA;AAG5E,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAC7C,gBAAgB,EAAE,uCAAuC;IACzD,gBAAgB,EAAE,uCAAuC;IACzD,oBAAoB,EAAE,2CAA2C;IACjE,YAAY,EAAE,mCAAmC;CAC3C,CAAA;AAgBV,SAAS,kBAAkB,CACvB,SAAoC;IAEpC,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IAClC,CAAC;IACD,OAAO,CAAC,CAAA;AACZ,CAAC;AAED,SAAS,kBAAkB,CACvB,IAAwD;IAExD,QAAQ,IAAI,EAAE,CAAC;QACX,KAAK,SAAS;YACV,OAAO,SAAS,CAAA;QACpB,KAAK,eAAe;YAChB,OAAO,eAAe,CAAA;QAC1B,KAAK,oBAAoB;YACrB,OAAO,YAAY,CAAA;IAC3B,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAC3B,KAA4B;IAE5B,MAAM,aAAa,GAAG,kBAAkB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IACzD,MAAM,QAAQ,GAAqD,GAAG,EAAE;QACpE,qEAAqE;IACzE,CAAC,CAAA;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,IAAI,QAAQ,CAAA;IAEzC,MAAM,QAAQ,GAA0C,EAAE,CAAA;IAE1D,wCAAwC;IACxC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACrC,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC;gBACD,IAAI,EAAE,iCAAiC,CAAC,YAAY;gBACpD,OAAO,EAAE,aAAa,QAAQ,CAAC,UAAU,mCAAmC;gBAC5E,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE;aAC/C,CAAC,CAAA;YACF,SAAQ;QACZ,CAAC;QACD,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QACvD,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,IAAI,CAAC;gBACD,IAAI,EAAE,iCAAiC,CAAC,gBAAgB;gBACxD,OAAO,EAAE,aAAa,QAAQ,CAAC,UAAU,mBAAmB,QAAQ,CAAC,MAAM,yCAAyC;gBACpH,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE;oBACL,UAAU,EAAE,QAAQ,CAAC,UAAU;oBAC/B,iBAAiB,EAAE,QAAQ,CAAC,MAAM;iBACrC;aACJ,CAAC,CAAA;YACF,SAAQ;QACZ,CAAC;QACD,MAAM,aAAa,GAAa,EAAE,CAAA;QAClC,IAAI,SAAS,GAAG,IAAI,CAAA;QACpB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAClC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACP,IAAI,CAAC;oBACD,IAAI,EAAE,iCAAiC,CAAC,gBAAgB;oBACxD,OAAO,EAAE,aAAa,QAAQ,CAAC,UAAU,mBAAmB,GAAG,yCAAyC;oBACxG,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE;wBACL,UAAU,EAAE,QAAQ,CAAC,UAAU;wBAC/B,iBAAiB,EAAE,GAAG;qBACzB;iBACJ,CAAC,CAAA;gBACF,SAAS,GAAG,KAAK,CAAA;gBACjB,MAAK;YACT,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC3B,CAAC;QACD,IAAI,CAAC,SAAS;YAAE,SAAQ;QAExB,IAAI,OAAe,CAAA;QACnB,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChE,OAAO,GAAG,IAAI,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,YAAY,EAAE,CAAA;QACxE,CAAC;aAAM,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,YAAY,YAAY,EAAE,CAAA;QAC3D,CAAC;aAAM,CAAC;YACJ,4DAA4D;YAC5D,2DAA2D;YAC3D,2DAA2D;YAC3D,mCAAmC;YACnC,OAAO,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,YAAY,EAAE,CAAA;QACtE,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC;YACV,aAAa,EAAE,KAAK,CAAC,UAAU,EAAE;YACjC,OAAO;YACP,QAAQ,EAAE,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC3C,gBAAgB,EAAE,QAAQ,CAAC,UAAU;SACxC,CAAC,CAAA;IACN,CAAC;IAED,+DAA+D;IAC/D,2DAA2D;IAC3D,IAAI,uBAAuB,GAAkB,IAAI,CAAA;IACjD,MAAM,qBAAqB,GAAG,KAAK,CAAC,UAAU,EAAE,gBAAgB,IAAI,IAAI,CAAA;IACxE,IAAI,qBAAqB,KAAK,IAAI,EAAE,CAAC;QACjC,MAAM,gBAAgB,GAAG,aAAa,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;QACjE,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpB,IAAI,CAAC;gBACD,IAAI,EAAE,iCAAiC,CAAC,oBAAoB;gBAC5D,OAAO,EAAE,qBAAqB,qBAAqB,+DAA+D;gBAClH,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,EAAE,qBAAqB,EAAE;aACrC,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,MAAM,EAAE,GAAG,KAAK,CAAC,UAAU,EAAE,CAAA;YAC7B,QAAQ,CAAC,IAAI,CAAC;gBACV,aAAa,EAAE,EAAE;gBACjB,OAAO,EAAE,gBAAgB;gBACzB,QAAQ,EAAE,YAAY;gBACtB,gBAAgB,EAAE,IAAI;aACzB,CAAC,CAAA;YACF,uBAAuB,GAAG,EAAE,CAAA;QAChC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,uBAAuB,EAAE,CAAA;AAChD,CAAC;AAED,MAAM,CAAC,MAAM,uBAAuB,GAChC,kBAAkB,CAA4B;IAC1C,EAAE,EAAE,SAAS,CAAC,kBAAkB;IAChC,SAAS,EAAE;QACP,SAAS,CAAC,kBAAkB;QAC5B,SAAS,CAAC,mBAAmB;QAC7B,SAAS,CAAC,kBAAkB;QAC5B,SAAS,CAAC,uBAAuB;KACpC;IACD,YAAY,EAAE,8BAA8B;IAC5C,EAAE,EAAE,CAAC,GAAkB,EAAE,EAAE;QACvB,MAAM,gBAAgB,GAAG,GAAG,CAAC,GAAG,CAC5B,SAAS,CAAC,kBAAkB,CAC/B,CAAA;QACD,MAAM,SAAS,GAAG,gBAAgB,EAAE,SAAS,IAAI,EAAE,CAAA;QACnD,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CACtB,SAAS,CAAC,mBAAmB,CAChC,CAAA;QACD,MAAM,SAAS,GACX,GAAG,CAAC,GAAG,CACH,SAAS,CAAC,kBAAkB,CAC/B,IAAI,EAAE,CAAA;QACX,OAAO,eAAe,CAAC;YACnB,SAAS;YACT,UAAU;YACV,SAAS;YACT,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,UAAU,EAAE,GAAG,CAAC,UAAU;SAC7B,CAAC,CAAA;IACN,CAAC;CACJ,CAAC,CAAA"}

package/dist/extensions/argument-ingestion/stages/formula-validation.d.ts

@@ -0,0 +1,19 @@
+import { type TFormulaCompilationOutput, type TValidationStageOutput, type TVariableAssignmentOutput } from "./schemas.js";
+import type { TStage } from "../../../lib/pipelines/types.js";
+export declare const FORMULA_VALIDATION_FAILURE_CODES: {
+    readonly parseError: "FORMULA_PARSE_ERROR";
+    readonly symbolUnresolved: "FORMULA_SYMBOL_UNRESOLVED";
+};
+export type TValidateFormulasInput = {
+    compilation: TFormulaCompilationOutput | undefined;
+    variables: TVariableAssignmentOutput;
+};
+export declare function validateFormulas(input: TValidateFormulasInput): {
+    failures: {
+        code: string;
+        message: string;
+        context: Record<string, unknown>;
+    }[];
+};
+export declare const formulaValidationStage: TStage<TValidationStageOutput>;
+//# sourceMappingURL=formula-validation.d.ts.map

package/dist/extensions/argument-ingestion/stages/formula-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formula-validation.d.ts","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/formula-validation.ts"],"names":[],"mappings":"AAcA,OAAO,EAGH,KAAK,yBAAyB,EAC9B,KAAK,sBAAsB,EAC3B,KAAK,yBAAyB,EACjC,MAAM,cAAc,CAAA;AAErB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAA;AAE7D,eAAO,MAAM,gCAAgC;;;CAGnC,CAAA;AAsBV,MAAM,MAAM,sBAAsB,GAAG;IACjC,WAAW,EAAE,yBAAyB,GAAG,SAAS,CAAA;IAClD,SAAS,EAAE,yBAAyB,CAAA;CACvC,CAAA;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,sBAAsB,GAAG;IAC7D,QAAQ,EAAE;QACN,IAAI,EAAE,MAAM,CAAA;QACZ,OAAO,EAAE,MAAM,CAAA;QACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KACnC,EAAE,CAAA;CACN,CA2CA;AAED,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,sBAAsB,CA4B5D,CAAA"}

package/dist/extensions/argument-ingestion/stages/formula-validation.js

@@ -0,0 +1,101 @@
+// `formula-validation` — deterministic stage that re-parses every
+// compiled formula via `parseFormula` and verifies each referenced atom
+// resolves to a known variable symbol (from `variable-assignment`).
+//
+// Emits:
+//   - FORMULA_PARSE_ERROR — `parseFormula(formula)` threw.
+//   - FORMULA_SYMBOL_UNRESOLVED — a parsed atom is not among the known
+//     variable symbols.
+//
+// Doesn't gate downstream — `finalize` consumes `formula-compilation`'s
+// premises directly. This stage is observational.
+import { parseFormula } from "../../../lib/core/parser/formula.js";
+import { STAGE_IDS, ValidationStageOutputSchema, } from "./schemas.js";
+import { deterministicStage } from "../../../lib/pipelines/stage-helpers.js";
+export const FORMULA_VALIDATION_FAILURE_CODES = {
+    parseError: "FORMULA_PARSE_ERROR",
+    symbolUnresolved: "FORMULA_SYMBOL_UNRESOLVED",
+};
+function collectAtoms(ast, out) {
+    switch (ast.type) {
+        case "variable":
+            out.add(ast.name);
+            return;
+        case "not":
+            collectAtoms(ast.operand, out);
+            return;
+        case "and":
+        case "or":
+            for (const child of ast.operands)
+                collectAtoms(child, out);
+            return;
+        case "implies":
+        case "iff":
+            collectAtoms(ast.left, out);
+            collectAtoms(ast.right, out);
+            return;
+    }
+}
+export function validateFormulas(input) {
+    const failures = [];
+    const knownSymbols = new Set(input.variables.map((v) => v.symbol));
+    if (!input.compilation)
+        return { failures };
+    for (const premise of input.compilation.premises) {
+        let ast;
+        try {
+            ast = parseFormula(premise.formula);
+        }
+        catch (err) {
+            failures.push({
+                code: FORMULA_VALIDATION_FAILURE_CODES.parseError,
+                message: `parseFormula failed on premise "${premise.premiseMiniId}": ${err instanceof Error ? err.message : String(err)}`,
+                context: {
+                    premiseMiniId: premise.premiseMiniId,
+                    formula: premise.formula,
+                },
+            });
+            continue;
+        }
+        const atoms = new Set();
+        collectAtoms(ast, atoms);
+        for (const atom of atoms) {
+            if (!knownSymbols.has(atom)) {
+                failures.push({
+                    code: FORMULA_VALIDATION_FAILURE_CODES.symbolUnresolved,
+                    message: `Premise "${premise.premiseMiniId}" references symbol "${atom}" which is not in variable-assignment.`,
+                    context: {
+                        premiseMiniId: premise.premiseMiniId,
+                        formula: premise.formula,
+                        unresolvedSymbol: atom,
+                    },
+                });
+            }
+        }
+    }
+    return { failures };
+}
+export const formulaValidationStage = deterministicStage({
+    id: STAGE_IDS.formulaValidation,
+    dependsOn: [STAGE_IDS.formulaCompilation, STAGE_IDS.variableAssignment],
+    outputSchema: ValidationStageOutputSchema,
+    fn: (ctx) => {
+        const compilation = ctx.get(STAGE_IDS.formulaCompilation);
+        const variables = ctx.get(STAGE_IDS.variableAssignment) ?? [];
+        const { failures } = validateFormulas({ compilation, variables });
+        for (const f of failures) {
+            ctx.addFailure({
+                code: f.code,
+                message: f.message,
+                severity: "warning",
+                context: f.context,
+            });
+        }
+        return failures.map((f) => ({
+            code: f.code,
+            message: f.message,
+            context: f.context,
+        }));
+    },
+});
+//# sourceMappingURL=formula-validation.js.map

package/dist/extensions/argument-ingestion/stages/formula-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formula-validation.js","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/formula-validation.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,wEAAwE;AACxE,oEAAoE;AACpE,EAAE;AACF,SAAS;AACT,2DAA2D;AAC3D,uEAAuE;AACvE,wBAAwB;AACxB,EAAE;AACF,wEAAwE;AACxE,kDAAkD;AAElD,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAA;AAElE,OAAO,EACH,SAAS,EACT,2BAA2B,GAI9B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAA;AAG5E,MAAM,CAAC,MAAM,gCAAgC,GAAG;IAC5C,UAAU,EAAE,qBAAqB;IACjC,gBAAgB,EAAE,2BAA2B;CACvC,CAAA;AAEV,SAAS,YAAY,CAAC,GAAgB,EAAE,GAAgB;IACpD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACjB,OAAM;QACV,KAAK,KAAK;YACN,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;YAC9B,OAAM;QACV,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,QAAQ;gBAAE,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YAC1D,OAAM;QACV,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YAC3B,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YAC5B,OAAM;IACd,CAAC;AACL,CAAC;AAOD,MAAM,UAAU,gBAAgB,CAAC,KAA6B;IAO1D,MAAM,QAAQ,GAIR,EAAE,CAAA;IACR,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAClE,IAAI,CAAC,KAAK,CAAC,WAAW;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IAE3C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;QAC/C,IAAI,GAAgB,CAAA;QACpB,IAAI,CAAC;YACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACvC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gCAAgC,CAAC,UAAU;gBACjD,OAAO,EAAE,mCAAmC,OAAO,CAAC,aAAa,MAC7D,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CACnD,EAAE;gBACF,OAAO,EAAE;oBACL,aAAa,EAAE,OAAO,CAAC,aAAa;oBACpC,OAAO,EAAE,OAAO,CAAC,OAAO;iBAC3B;aACJ,CAAC,CAAA;YACF,SAAQ;QACZ,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/B,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QACxB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,gCAAgC,CAAC,gBAAgB;oBACvD,OAAO,EAAE,YAAY,OAAO,CAAC,aAAa,wBAAwB,IAAI,wCAAwC;oBAC9G,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,aAAa;wBACpC,OAAO,EAAE,OAAO,CAAC,OAAO;wBACxB,gBAAgB,EAAE,IAAI;qBACzB;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvB,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAC/B,kBAAkB,CAAyB;IACvC,EAAE,EAAE,SAAS,CAAC,iBAAiB;IAC/B,SAAS,EAAE,CAAC,SAAS,CAAC,kBAAkB,EAAE,SAAS,CAAC,kBAAkB,CAAC;IACvE,YAAY,EAAE,2BAA2B;IACzC,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;QACR,MAAM,WAAW,GAAG,GAAG,CAAC,GAAG,CACvB,SAAS,CAAC,kBAAkB,CAC/B,CAAA;QACD,MAAM,SAAS,GACX,GAAG,CAAC,GAAG,CACH,SAAS,CAAC,kBAAkB,CAC/B,IAAI,EAAE,CAAA;QACX,MAAM,EAAE,QAAQ,EAAE,GAAG,gBAAgB,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;QACjE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACvB,GAAG,CAAC,UAAU,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,CAAC,CAAC,OAAO;aACrB,CAAC,CAAA;QACN,CAAC;QACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,OAAO,EAAE,CAAC,CAAC,OAAO;SACrB,CAAC,CAAC,CAAA;IACP,CAAC;CACJ,CAAC,CAAA"}

package/dist/extensions/argument-ingestion/stages/index.d.ts

@@ -0,0 +1,15 @@
+export { STAGE_IDS } from "./schemas.js";
+export * from "./schemas.js";
+export { segmentationStage } from "./segmentation.js";
+export { claimMentionExtractionStage } from "./claim-mention-extraction.js";
+export { citationSourceDetectionStage } from "./citation-source-detection.js";
+export { axiomIndicatorDetectionStage } from "./axiom-indicator-detection.js";
+export { createClaimCanonicalizationStage } from "./claim-canonicalization.js";
+export { claimTypeClassificationStage } from "./claim-type-classification.js";
+export { claimReferenceValidationStage, validateClaimReferences, CLAIM_REFERENCE_FAILURE_CODES, } from "./claim-reference-validation.js";
+export { variableAssignmentStage, assignVariables, isValidVariableSymbol, } from "./variable-assignment.js";
+export { relationExtractionStage } from "./relation-extraction.js";
+export { conclusionSelectionStage } from "./conclusion-selection.js";
+export { formulaCompilationStage, compileFormulas, FORMULA_COMPILATION_FAILURE_CODES, } from "./formula-compilation.js";
+export { formulaValidationStage, validateFormulas, FORMULA_VALIDATION_FAILURE_CODES, } from "./formula-validation.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/extensions/argument-ingestion/stages/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AACxC,cAAc,cAAc,CAAA;AAE5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAA;AAC3E,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAA;AAC7E,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAA;AAC7E,OAAO,EAAE,gCAAgC,EAAE,MAAM,6BAA6B,CAAA;AAC9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAA;AAC7E,OAAO,EACH,6BAA6B,EAC7B,uBAAuB,EACvB,6BAA6B,GAChC,MAAM,iCAAiC,CAAA;AACxC,OAAO,EACH,uBAAuB,EACvB,eAAe,EACf,qBAAqB,GACxB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AACpE,OAAO,EACH,uBAAuB,EACvB,eAAe,EACf,iCAAiC,GACpC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,sBAAsB,EACtB,gBAAgB,EAChB,gCAAgC,GACnC,MAAM,yBAAyB,CAAA"}

package/dist/extensions/argument-ingestion/stages/index.js

@@ -0,0 +1,16 @@
+// Barrel for the 12 v2-multi-stage ingestion stages.
+export { STAGE_IDS } from "./schemas.js";
+export * from "./schemas.js";
+export { segmentationStage } from "./segmentation.js";
+export { claimMentionExtractionStage } from "./claim-mention-extraction.js";
+export { citationSourceDetectionStage } from "./citation-source-detection.js";
+export { axiomIndicatorDetectionStage } from "./axiom-indicator-detection.js";
+export { createClaimCanonicalizationStage } from "./claim-canonicalization.js";
+export { claimTypeClassificationStage } from "./claim-type-classification.js";
+export { claimReferenceValidationStage, validateClaimReferences, CLAIM_REFERENCE_FAILURE_CODES, } from "./claim-reference-validation.js";
+export { variableAssignmentStage, assignVariables, isValidVariableSymbol, } from "./variable-assignment.js";
+export { relationExtractionStage } from "./relation-extraction.js";
+export { conclusionSelectionStage } from "./conclusion-selection.js";
+export { formulaCompilationStage, compileFormulas, FORMULA_COMPILATION_FAILURE_CODES, } from "./formula-compilation.js";
+export { formulaValidationStage, validateFormulas, FORMULA_VALIDATION_FAILURE_CODES, } from "./formula-validation.js";
+//# sourceMappingURL=index.js.map

package/dist/extensions/argument-ingestion/stages/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/index.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AACxC,cAAc,cAAc,CAAA;AAE5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAA;AAC3E,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAA;AAC7E,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAA;AAC7E,OAAO,EAAE,gCAAgC,EAAE,MAAM,6BAA6B,CAAA;AAC9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAA;AAC7E,OAAO,EACH,6BAA6B,EAC7B,uBAAuB,EACvB,6BAA6B,GAChC,MAAM,iCAAiC,CAAA;AACxC,OAAO,EACH,uBAAuB,EACvB,eAAe,EACf,qBAAqB,GACxB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AACpE,OAAO,EACH,uBAAuB,EACvB,eAAe,EACf,iCAAiC,GACpC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,sBAAsB,EACtB,gBAAgB,EAChB,gCAAgC,GACnC,MAAM,yBAAyB,CAAA"}

package/dist/extensions/argument-ingestion/stages/relation-extraction.d.ts

@@ -0,0 +1,7 @@
+import { type TRelationExtractionOutput } from "./schemas.js";
+import type { TStage } from "../../../lib/pipelines/types.js";
+export declare const RELATION_EXTRACTION_MODEL = "gpt-5.5";
+export declare const RELATION_EXTRACTION_REASONING: "minimal" | "low" | "medium" | "high";
+export declare const RELATION_EXTRACTION_SYSTEM_PROMPT = "You identify support relationships between canonical claims in an argument.\n\nGiven the canonical claim set, the per-claim type map, and the original segments, emit one entry per supporting relationship. Return an object with a single key `relations` whose value is the array. There are three relation kinds:\n\n- `\"support\"` \u2014 a single claim S supports another claim T. Use this for ordinary \"P, therefore Q\" support edges where the supporting evidence is a single normal-typed proposition.\n- `\"joint-support\"` \u2014 multiple claims S1, S2, ... jointly support T. Use this when the author commits to a syllogistic step that requires ALL of the sources to hold (e.g. major premise + minor premise \u2192 conclusion).\n- `\"derivation-support\"` \u2014 a citation-typed or axiomatic-typed claim S supports a normal-typed claim T. Use this exclusively for relations whose source is \"citation\" or \"axiomatic\". The shape is otherwise identical to `\"support\"`.\n\nFor each relation emit:\n- a fresh `relationId` (r1, r2, ...)\n- the `type`\n- `sources` \u2014 an array of supporting claim miniIds (length 1 for support and derivation-support; length \u2265 2 for joint-support)\n- `target` \u2014 the supported claim's miniId\n- `evidence.segmentIds` \u2014 the segments that ground the relation (often a single segment containing a \"therefore\", \"so\", \"because\")\n- `evidence.quote` \u2014 a short verbatim quote from the input that justifies the relation\n\n## Conservatism rules\n\n- Do not invent relations. If the author doesn't actually argue from S to T, don't emit a relation between them.\n- Do not double-count. If two claims share an axiomatic backing, that's one derivation-support relation per claim, not a joint-support pair.\n- The conclusion of the argument is identified in a separate stage; do NOT emit a special \"conclusion\" relation here. Just emit the support edges you see; the conclusion stage selects from your output.\n- Avoid attack/rebuttal relations entirely in this MVP \u2014 the pipeline does not yet handle them.\n\nIf there are no relations to emit, return `{ \"relations\": [] }`.";
+export declare const relationExtractionStage: TStage<TRelationExtractionOutput>;
+//# sourceMappingURL=relation-extraction.d.ts.map

package/dist/extensions/argument-ingestion/stages/relation-extraction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation-extraction.d.ts","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/relation-extraction.ts"],"names":[],"mappings":"AASA,OAAO,EAMH,KAAK,yBAAyB,EAEjC,MAAM,cAAc,CAAA;AAErB,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,iCAAiC,CAAA;AAE5E,eAAO,MAAM,yBAAyB,YAAY,CAAA;AAClD,eAAO,MAAM,6BAA6B,EACpC,SAAS,GACT,KAAK,GACL,QAAQ,GACR,MAAe,CAAA;AAErB,eAAO,MAAM,iCAAiC,6lEAuBqB,CAAA;AAuCnE,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,yBAAyB,CAYhE,CAAA"}

package/dist/extensions/argument-ingestion/stages/relation-extraction.js

@@ -0,0 +1,77 @@
+// `relation-extraction` — strong-reasoning stage that identifies the
+// supporting relationships between canonical claims. MVP relation
+// types: support, joint-support, derivation-support.
+//
+// Per spec §6.4 this stage uses gpt-5.5 with reasoning_effort=high —
+// it's the most subtle judgement call in the pipeline. The output is
+// a graph; the conclusion + the support graph drive the
+// formula-compilation stage that comes next.
+import { STAGE_IDS, RelationExtractionOutputSchema, } from "./schemas.js";
+import { llmStage } from "../../../lib/pipelines/stage-helpers.js";
+export const RELATION_EXTRACTION_MODEL = "gpt-5.5";
+export const RELATION_EXTRACTION_REASONING = "high";
+export const RELATION_EXTRACTION_SYSTEM_PROMPT = `You identify support relationships between canonical claims in an argument.
+
+Given the canonical claim set, the per-claim type map, and the original segments, emit one entry per supporting relationship. Return an object with a single key \`relations\` whose value is the array. There are three relation kinds:
+
+- \`"support"\` — a single claim S supports another claim T. Use this for ordinary "P, therefore Q" support edges where the supporting evidence is a single normal-typed proposition.
+- \`"joint-support"\` — multiple claims S1, S2, ... jointly support T. Use this when the author commits to a syllogistic step that requires ALL of the sources to hold (e.g. major premise + minor premise → conclusion).
+- \`"derivation-support"\` — a citation-typed or axiomatic-typed claim S supports a normal-typed claim T. Use this exclusively for relations whose source is "citation" or "axiomatic". The shape is otherwise identical to \`"support"\`.
+
+For each relation emit:
+- a fresh \`relationId\` (r1, r2, ...)
+- the \`type\`
+- \`sources\` — an array of supporting claim miniIds (length 1 for support and derivation-support; length ≥ 2 for joint-support)
+- \`target\` — the supported claim's miniId
+- \`evidence.segmentIds\` — the segments that ground the relation (often a single segment containing a "therefore", "so", "because")
+- \`evidence.quote\` — a short verbatim quote from the input that justifies the relation
+
+## Conservatism rules
+
+- Do not invent relations. If the author doesn't actually argue from S to T, don't emit a relation between them.
+- Do not double-count. If two claims share an axiomatic backing, that's one derivation-support relation per claim, not a joint-support pair.
+- The conclusion of the argument is identified in a separate stage; do NOT emit a special "conclusion" relation here. Just emit the support edges you see; the conclusion stage selects from your output.
+- Avoid attack/rebuttal relations entirely in this MVP — the pipeline does not yet handle them.
+
+If there are no relations to emit, return \`{ "relations": [] }\`.`;
+function buildPrompt(ctx) {
+    const canon = ctx.get(STAGE_IDS.claimCanonicalization);
+    const typeEnvelope = ctx.get(STAGE_IDS.claimTypeClassification);
+    const typeByMiniId = new Map();
+    for (const entry of typeEnvelope?.classifications ?? []) {
+        typeByMiniId.set(entry.miniId, entry);
+    }
+    const segmentEnvelope = ctx.get(STAGE_IDS.segmentation);
+    const segments = segmentEnvelope?.segments ?? [];
+    const claimLines = (canon?.canonicalClaims ?? [])
+        .map((c) => {
+        const refinedType = typeByMiniId.get(c.miniId)?.type ?? c.type;
+        return `  [${c.miniId}] type=${refinedType} symbol=${c.suggestedSymbol} fields=${JSON.stringify({
+            ...c,
+            miniId: undefined,
+            mentionIds: undefined,
+            suggestedSymbol: undefined,
+            type: undefined,
+        })}`;
+    })
+        .join("\n");
+    const segmentLines = segments
+        .map((s) => `  [${s.segmentId}] ${JSON.stringify(s.text)}`)
+        .join("\n");
+    const markedSystem = `<!-- stage-id: ${STAGE_IDS.relationExtraction} -->\n${RELATION_EXTRACTION_SYSTEM_PROMPT}`;
+    const user = `Canonical claims (with refined types):\n${claimLines}\n\nSegments:\n${segmentLines}\n\nEmit every support relationship as a relations array.`;
+    return { system: markedSystem, user };
+}
+export const relationExtractionStage = llmStage({
+    id: STAGE_IDS.relationExtraction,
+    dependsOn: [
+        STAGE_IDS.claimCanonicalization,
+        STAGE_IDS.claimTypeClassification,
+        STAGE_IDS.segmentation,
+    ],
+    outputSchema: RelationExtractionOutputSchema,
+    model: RELATION_EXTRACTION_MODEL,
+    reasoningEffort: RELATION_EXTRACTION_REASONING,
+    buildPrompt,
+});
+//# sourceMappingURL=relation-extraction.js.map

package/dist/extensions/argument-ingestion/stages/relation-extraction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation-extraction.js","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/relation-extraction.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,kEAAkE;AAClE,qDAAqD;AACrD,EAAE;AACF,qEAAqE;AACrE,qEAAqE;AACrE,wDAAwD;AACxD,6CAA6C;AAE7C,OAAO,EACH,SAAS,EACT,8BAA8B,GAMjC,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,QAAQ,EAAE,MAAM,yCAAyC,CAAA;AAGlE,MAAM,CAAC,MAAM,yBAAyB,GAAG,SAAS,CAAA;AAClD,MAAM,CAAC,MAAM,6BAA6B,GAI3B,MAAM,CAAA;AAErB,MAAM,CAAC,MAAM,iCAAiC,GAAG;;;;;;;;;;;;;;;;;;;;;;;mEAuBkB,CAAA;AAEnE,SAAS,WAAW,CAAC,GAAkB;IACnC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CACjB,SAAS,CAAC,qBAAqB,CAClC,CAAA;IACD,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,CACxB,SAAS,CAAC,uBAAuB,CACpC,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyC,CAAA;IACrE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;QACtD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACzC,CAAC;IACD,MAAM,eAAe,GAAG,GAAG,CAAC,GAAG,CAAsB,SAAS,CAAC,YAAY,CAAC,CAAA;IAC5E,MAAM,QAAQ,GAAG,eAAe,EAAE,QAAQ,IAAI,EAAE,CAAA;IAEhD,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,eAAe,IAAI,EAAE,CAAC;SAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACP,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,CAAA;QAC9D,OAAO,MAAM,CAAC,CAAC,MAAM,UAAU,WAAW,WAAW,CAAC,CAAC,eAAe,WAAW,IAAI,CAAC,SAAS,CAC3F;YACI,GAAG,CAAC;YACJ,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,SAAS;YACrB,eAAe,EAAE,SAAS;YAC1B,IAAI,EAAE,SAAS;SAClB,CACJ,EAAE,CAAA;IACP,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACf,MAAM,YAAY,GAAG,QAAQ;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;SAC1D,IAAI,CAAC,IAAI,CAAC,CAAA;IAEf,MAAM,YAAY,GAAG,kBAAkB,SAAS,CAAC,kBAAkB,SAAS,iCAAiC,EAAE,CAAA;IAC/G,MAAM,IAAI,GAAG,2CAA2C,UAAU,kBAAkB,YAAY,2DAA2D,CAAA;IAC3J,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;AACzC,CAAC;AAED,MAAM,CAAC,MAAM,uBAAuB,GAChC,QAAQ,CAA4B;IAChC,EAAE,EAAE,SAAS,CAAC,kBAAkB;IAChC,SAAS,EAAE;QACP,SAAS,CAAC,qBAAqB;QAC/B,SAAS,CAAC,uBAAuB;QACjC,SAAS,CAAC,YAAY;KACzB;IACD,YAAY,EAAE,8BAA8B;IAC5C,KAAK,EAAE,yBAAyB;IAChC,eAAe,EAAE,6BAA6B;IAC9C,WAAW;CACd,CAAC,CAAA"}

package/dist/extensions/argument-ingestion/stages/schemas.d.ts

@@ -0,0 +1,161 @@
+import Type, { type Static } from "typebox";
+export declare const SpanSchema: Type.TObject<{
+    start: Type.TNumber;
+    end: Type.TNumber;
+}>;
+export type TSpan = Static<typeof SpanSchema>;
+export declare const SegmentationOutputSchema: Type.TObject<{
+    segments: Type.TArray<Type.TObject<{
+        segmentId: Type.TString;
+        text: Type.TString;
+        span: Type.TObject<{
+            start: Type.TNumber;
+            end: Type.TNumber;
+        }>;
+    }>>;
+}>;
+export type TSegmentationOutput = Static<typeof SegmentationOutputSchema>;
+export type TSegment = TSegmentationOutput["segments"][number];
+export declare const ClaimMentionExtractionOutputSchema: Type.TObject<{
+    mentions: Type.TArray<Type.TObject<{
+        mentionId: Type.TString;
+        segmentId: Type.TString;
+        text: Type.TString;
+        span: Type.TObject<{
+            start: Type.TNumber;
+            end: Type.TNumber;
+        }>;
+    }>>;
+}>;
+export type TClaimMentionExtractionOutput = Static<typeof ClaimMentionExtractionOutputSchema>;
+export type TClaimMention = TClaimMentionExtractionOutput["mentions"][number];
+export declare const CitationSourceDetectionOutputSchema: Type.TObject<{
+    sources: Type.TArray<Type.TObject<{
+        sourceId: Type.TString;
+        segmentIds: Type.TArray<Type.TString>;
+        sourceString: Type.TString;
+        url: Type.TUnion<[Type.TString, Type.TNull]>;
+        spans: Type.TArray<Type.TObject<{
+            start: Type.TNumber;
+            end: Type.TNumber;
+        }>>;
+    }>>;
+}>;
+export type TCitationSourceDetectionOutput = Static<typeof CitationSourceDetectionOutputSchema>;
+export type TCitationSource = TCitationSourceDetectionOutput["sources"][number];
+export declare const AxiomIndicatorDetectionOutputSchema: Type.TObject<{
+    axioms: Type.TArray<Type.TObject<{
+        axiomId: Type.TString;
+        segmentIds: Type.TArray<Type.TString>;
+        indicator: Type.TString;
+        spans: Type.TArray<Type.TObject<{
+            start: Type.TNumber;
+            end: Type.TNumber;
+        }>>;
+    }>>;
+}>;
+export type TAxiomIndicatorDetectionOutput = Static<typeof AxiomIndicatorDetectionOutputSchema>;
+export type TAxiomIndicator = TAxiomIndicatorDetectionOutput["axioms"][number];
+export declare const BaseCanonicalClaimSchema: Type.TObject<{
+    miniId: Type.TString;
+    mentionIds: Type.TArray<Type.TString>;
+    suggestedSymbol: Type.TString;
+    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+}>;
+export type TBaseCanonicalClaim = Static<typeof BaseCanonicalClaimSchema>;
+export declare const MentionToClaimEntrySchema: Type.TObject<{
+    mentionId: Type.TString;
+    claimMiniId: Type.TString;
+}>;
+export type TMentionToClaimEntry = Static<typeof MentionToClaimEntrySchema>;
+export declare const ClaimCanonicalizationOutputSchema: Type.TObject<{
+    canonicalClaims: Type.TArray<Type.TObject<{
+        miniId: Type.TString;
+        mentionIds: Type.TArray<Type.TString>;
+        suggestedSymbol: Type.TString;
+        type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+    }>>;
+    mentionToClaim: Type.TArray<Type.TObject<{
+        mentionId: Type.TString;
+        claimMiniId: Type.TString;
+    }>>;
+}>;
+export type TClaimCanonicalizationOutput = Static<typeof ClaimCanonicalizationOutputSchema>;
+/** Per-claim record including the extension-injected fields. */
+export type TCanonicalClaim = TBaseCanonicalClaim & Record<string, unknown>;
+export declare const ClaimTypeClassificationEntrySchema: Type.TObject<{
+    miniId: Type.TString;
+    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+    sourceString: Type.TUnion<[Type.TString, Type.TNull]>;
+}>;
+export type TClaimTypeClassificationEntry = Static<typeof ClaimTypeClassificationEntrySchema>;
+export declare const ClaimTypeClassificationOutputSchema: Type.TObject<{
+    classifications: Type.TArray<Type.TObject<{
+        miniId: Type.TString;
+        type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+        sourceString: Type.TUnion<[Type.TString, Type.TNull]>;
+    }>>;
+}>;
+export type TClaimTypeClassificationOutput = Static<typeof ClaimTypeClassificationOutputSchema>;
+export declare const VariableAssignmentOutputSchema: Type.TArray<Type.TObject<{
+    miniId: Type.TString;
+    symbol: Type.TString;
+    claimMiniId: Type.TString;
+}>>;
+export type TVariableAssignmentOutput = Static<typeof VariableAssignmentOutputSchema>;
+export type TAssignedVariable = TVariableAssignmentOutput[number];
+export declare const RelationKindSchema: Type.TUnion<[Type.TLiteral<"support">, Type.TLiteral<"joint-support">, Type.TLiteral<"derivation-support">]>;
+export type TRelationKind = Static<typeof RelationKindSchema>;
+export declare const RelationExtractionOutputSchema: Type.TObject<{
+    relations: Type.TArray<Type.TObject<{
+        relationId: Type.TString;
+        type: Type.TUnion<[Type.TLiteral<"support">, Type.TLiteral<"joint-support">, Type.TLiteral<"derivation-support">]>;
+        sources: Type.TArray<Type.TString>;
+        target: Type.TString;
+        evidence: Type.TObject<{
+            segmentIds: Type.TArray<Type.TString>;
+            quote: Type.TString;
+        }>;
+    }>>;
+}>;
+export type TRelationExtractionOutput = Static<typeof RelationExtractionOutputSchema>;
+export type TRelation = TRelationExtractionOutput["relations"][number];
+export declare const ConclusionSelectionOutputSchema: Type.TObject<{
+    conclusionMiniId: Type.TUnion<[Type.TString, Type.TNull]>;
+    rationale: Type.TString;
+}>;
+export type TConclusionSelectionOutput = Static<typeof ConclusionSelectionOutputSchema>;
+export declare const FormulaPremiseRoleHintSchema: Type.TUnion<[Type.TLiteral<"support">, Type.TLiteral<"joint-support">, Type.TLiteral<"derivation">, Type.TLiteral<"conclusion">]>;
+export type TFormulaPremiseRoleHint = Static<typeof FormulaPremiseRoleHintSchema>;
+export declare const FormulaCompilationOutputSchema: Type.TObject<{
+    premises: Type.TArray<Type.TObject<{
+        premiseMiniId: Type.TString;
+        formula: Type.TString;
+        roleHint: Type.TUnion<[Type.TLiteral<"support">, Type.TLiteral<"joint-support">, Type.TLiteral<"derivation">, Type.TLiteral<"conclusion">]>;
+        sourceRelationId: Type.TUnion<[Type.TString, Type.TNull]>;
+    }>>;
+    conclusionPremiseMiniId: Type.TUnion<[Type.TString, Type.TNull]>;
+}>;
+export type TFormulaCompilationOutput = Static<typeof FormulaCompilationOutputSchema>;
+export type TCompiledPremise = TFormulaCompilationOutput["premises"][number];
+export declare const ValidationStageOutputSchema: Type.TArray<Type.TObject<{
+    code: Type.TString;
+    message: Type.TString;
+    context: Type.TOptional<Type.TRecord<"^.*$", Type.TUnknown>>;
+}>>;
+export type TValidationStageOutput = Static<typeof ValidationStageOutputSchema>;
+export declare const STAGE_IDS: {
+    readonly segmentation: "segmentation";
+    readonly claimMentionExtraction: "claim-mention-extraction";
+    readonly citationSourceDetection: "citation-source-detection";
+    readonly axiomIndicatorDetection: "axiom-indicator-detection";
+    readonly claimCanonicalization: "claim-canonicalization";
+    readonly claimTypeClassification: "claim-type-classification";
+    readonly claimReferenceValidation: "claim-reference-validation";
+    readonly variableAssignment: "variable-assignment";
+    readonly relationExtraction: "relation-extraction";
+    readonly conclusionSelection: "conclusion-selection";
+    readonly formulaCompilation: "formula-compilation";
+    readonly formulaValidation: "formula-validation";
+};
+//# sourceMappingURL=schemas.d.ts.map

package/dist/extensions/argument-ingestion/stages/schemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/schemas.ts"],"names":[],"mappings":"AAOA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAiB3C,eAAO,MAAM,UAAU;;;EASrB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,UAAU,CAAC,CAAA;AAiB7C,eAAO,MAAM,wBAAwB;;;;;;;;;EAQnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AACzE,MAAM,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;AAI9D,eAAO,MAAM,kCAAkC;;;;;;;;;;EAS7C,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,kCAAkC,CAC5C,CAAA;AACD,MAAM,MAAM,aAAa,GAAG,6BAA6B,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;AAI7E,eAAO,MAAM,mCAAmC;;;;;;;;;;;EAU9C,CAAA;AACF,MAAM,MAAM,8BAA8B,GAAG,MAAM,CAC/C,OAAO,mCAAmC,CAC7C,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,8BAA8B,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAA;AAI/E,eAAO,MAAM,mCAAmC;;;;;;;;;;EAS9C,CAAA;AACF,MAAM,MAAM,8BAA8B,GAAG,MAAM,CAC/C,OAAO,mCAAmC,CAC7C,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAA;AAkB9E,eAAO,MAAM,wBAAwB;;;;;EAanC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAazE,eAAO,MAAM,yBAAyB;;;EAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,iCAAiC;;;;;;;;;;;EAG5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA;AACD,gEAAgE;AAChE,MAAM,MAAM,eAAe,GAAG,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAU3E,eAAO,MAAM,kCAAkC;;;;EAQ7C,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,kCAAkC,CAC5C,CAAA;AAED,eAAO,MAAM,mCAAmC;;;;;;EAE9C,CAAA;AACF,MAAM,MAAM,8BAA8B,GAAG,MAAM,CAC/C,OAAO,mCAAmC,CAC7C,CAAA;AAID,eAAO,MAAM,8BAA8B;;;;GAM1C,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAA;AAIjE,eAAO,MAAM,kBAAkB,8GAI7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,8BAA8B;;;;;;;;;;;EAazC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,SAAS,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAA;AAItE,eAAO,MAAM,+BAA+B;;;EAG1C,CAAA;AACF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAID,eAAO,MAAM,4BAA4B,mIAKvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,8BAA8B;;;;;;;;EAazC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;AAO5E,eAAO,MAAM,2BAA2B;;;;GAMvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAI/E,eAAO,MAAM,SAAS;;;;;;;;;;;;;CAaZ,CAAA"}