@proposit/proposit-core 1.2.0 → 1.3.1

package/dist/extensions/argument-ingestion/stages/conclusion-selection.js

@@ -0,0 +1,104 @@
+// `conclusion-selection` — picks the single claim that is the
+// argument's conclusion (the proposition the argument is FOR). Returns
+// null when no single conclusion can be selected (multiple distinct
+// conclusions, no clear conclusion at all). The null path drives
+// `formula-compilation.conclusionPremiseMiniId === null` which in
+// turn drives finalize's "argument: null + failureText: 'No single
+// conclusion could be selected.'" per spec §7.5.
+//
+// Per spec §6.4 this is a strong-reasoning stage: gpt-5.5 with
+// reasoning_effort=medium.
+import { STAGE_IDS, ConclusionSelectionOutputSchema, } from "./schemas.js";
+import { llmStage } from "../../../lib/pipelines/stage-helpers.js";
+export const CONCLUSION_SELECTION_MODEL = "gpt-5.5";
+export const CONCLUSION_SELECTION_REASONING = "medium";
+export const CONCLUSION_SELECTION_NO_CONCLUSION_FAILURE_CODE = "NO_SINGLE_CONCLUSION";
+export const CONCLUSION_SELECTION_SYSTEM_PROMPT = `You select the single conclusion claim of an argument from the canonical claim set and the relation graph.
+
+You receive:
+- the per-claim type map (normal / citation / axiomatic)
+- the support relation graph from \`relation-extraction\`
+
+Emit:
+- \`conclusionMiniId\` — the canonical claim miniId of the conclusion, OR \`null\` when no single claim is clearly the conclusion
+- \`rationale\` — a one-sentence explanation of your pick (or your inability to pick one)
+
+## Selection rules
+
+1. The conclusion is the claim that no other claim is meant to support but is itself the terminus of one or more support edges. In a clean argument it's the "therefore X" claim.
+2. If multiple distinct claims are each terminal AND each could plausibly be THE point of the argument (genuinely ambiguous), return null with a rationale naming the contenders.
+3. Citation-typed and axiomatic-typed claims are never conclusions — they are always sources of support.
+4. If no claim is supported by any relation (a single-statement input), return null; there is no argument to select a conclusion from.
+
+The default disposition is "select"; only return null when ambiguity is genuine. Forcing a wrong choice is worse than admitting "no single conclusion could be selected" — downstream stages handle the null cleanly.`;
+function buildPrompt(ctx) {
+    const typeEnvelope = ctx.get(STAGE_IDS.claimTypeClassification);
+    const classifications = typeEnvelope?.classifications ?? [];
+    const relationEnvelope = ctx.get(STAGE_IDS.relationExtraction);
+    const relations = relationEnvelope?.relations ?? [];
+    const typeLines = classifications
+        .map((entry) => `  [${entry.miniId}] type=${entry.type}`)
+        .join("\n");
+    const relationLines = relations.length > 0
+        ? relations
+            .map((r) => `  [${r.relationId}] ${r.type}: sources=[${r.sources.join(",")}] target=${r.target}`)
+            .join("\n")
+        : "  (no relations)";
+    const markedSystem = `<!-- stage-id: ${STAGE_IDS.conclusionSelection} -->\n${CONCLUSION_SELECTION_SYSTEM_PROMPT}`;
+    const user = `Per-claim types:\n${typeLines}\n\nRelations:\n${relationLines}\n\nSelect the conclusion (or return null).`;
+    return { system: markedSystem, user };
+}
+/** Internal default knobs for the conclusion-selection stage. */
+export const CONCLUSION_SELECTION_STAGE_DEFAULTS = {
+    reasoningEffort: CONCLUSION_SELECTION_REASONING,
+};
+/**
+ * Build the conclusion-selection stage with optional caller
+ * overrides. The stage wraps an inner `llmStage` so that when the LLM
+ * returns `conclusionMiniId: null`, it also emits a
+ * `ProcessingFailure` with code `NO_SINGLE_CONCLUSION` via
+ * `ctx.addFailure` (spec §7.2 row 10). The stage still completes
+ * successfully — the null output flows through `formula-compilation`
+ * (which emits `conclusionPremiseMiniId: null`) into
+ * `finalize-response-v2` (which assembles `{ argument: null,
+ * failureText: "No single conclusion could be selected." }`). The
+ * added failure is a UI-rendering hint, not a task-outcome signal;
+ * severity is `warning` to match the informational-only role of
+ * finalize's failureText path.
+ */
+export function createConclusionSelectionStage(options) {
+    const innerStage = llmStage({
+        id: STAGE_IDS.conclusionSelection,
+        dependsOn: [
+            STAGE_IDS.claimTypeClassification,
+            STAGE_IDS.relationExtraction,
+        ],
+        outputSchema: ConclusionSelectionOutputSchema,
+        model: CONCLUSION_SELECTION_MODEL,
+        maxOutputTokens: options?.maxOutputTokens,
+        reasoningEffort: options?.reasoningEffort ?? CONCLUSION_SELECTION_REASONING,
+        buildPrompt,
+    });
+    return {
+        id: innerStage.id,
+        dependsOn: innerStage.dependsOn,
+        outputSchema: innerStage.outputSchema,
+        run: async (ctx) => {
+            const output = await innerStage.run(ctx);
+            if (output.conclusionMiniId === null) {
+                ctx.addFailure({
+                    code: CONCLUSION_SELECTION_NO_CONCLUSION_FAILURE_CODE,
+                    message: output.rationale.length > 0
+                        ? output.rationale
+                        : "No single conclusion could be selected.",
+                    severity: "warning",
+                    context: { rationale: output.rationale },
+                });
+            }
+            return output;
+        },
+    };
+}
+/** Backward-compatible default-options stage. */
+export const conclusionSelectionStage = createConclusionSelectionStage();
+//# sourceMappingURL=conclusion-selection.js.map

package/dist/extensions/argument-ingestion/stages/conclusion-selection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conclusion-selection.js","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/conclusion-selection.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAC9D,uEAAuE;AACvE,oEAAoE;AACpE,iEAAiE;AACjE,kEAAkE;AAClE,mEAAmE;AACnE,iDAAiD;AACjD,EAAE;AACF,+DAA+D;AAC/D,2BAA2B;AAE3B,OAAO,EACH,SAAS,EACT,+BAA+B,GAIlC,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,QAAQ,EAAE,MAAM,yCAAyC,CAAA;AAIlE,MAAM,CAAC,MAAM,0BAA0B,GAAG,SAAS,CAAA;AACnD,MAAM,CAAC,MAAM,8BAA8B,GAI5B,QAAQ,CAAA;AAEvB,MAAM,CAAC,MAAM,+CAA+C,GACxD,sBAAsB,CAAA;AAE1B,MAAM,CAAC,MAAM,kCAAkC,GAAG;;;;;;;;;;;;;;;;;sNAiBoK,CAAA;AAEtN,SAAS,WAAW,CAAC,GAAkB;IACnC,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,CACxB,SAAS,CAAC,uBAAuB,CACpC,CAAA;IACD,MAAM,eAAe,GAAG,YAAY,EAAE,eAAe,IAAI,EAAE,CAAA;IAC3D,MAAM,gBAAgB,GAAG,GAAG,CAAC,GAAG,CAC5B,SAAS,CAAC,kBAAkB,CAC/B,CAAA;IACD,MAAM,SAAS,GAAG,gBAAgB,EAAE,SAAS,IAAI,EAAE,CAAA;IAEnD,MAAM,SAAS,GAAG,eAAe;SAC5B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,IAAI,EAAE,CAAC;SACxD,IAAI,CAAC,IAAI,CAAC,CAAA;IACf,MAAM,aAAa,GACf,SAAS,CAAC,MAAM,GAAG,CAAC;QAChB,CAAC,CAAC,SAAS;aACJ,GAAG,CACA,CAAC,CAAC,EAAE,EAAE,CACF,MAAM,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,MAAM,EAAE,CAC3F;aACA,IAAI,CAAC,IAAI,CAAC;QACjB,CAAC,CAAC,kBAAkB,CAAA;IAE5B,MAAM,YAAY,GAAG,kBAAkB,SAAS,CAAC,mBAAmB,SAAS,kCAAkC,EAAE,CAAA;IACjH,MAAM,IAAI,GAAG,qBAAqB,SAAS,mBAAmB,aAAa,6CAA6C,CAAA;IACxH,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;AACzC,CAAC;AAED,iEAAiE;AACjE,MAAM,CAAC,MAAM,mCAAmC,GAA6B;IACzE,eAAe,EAAE,8BAA8B;CAClD,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,8BAA8B,CAC1C,OAAkC;IAElC,MAAM,UAAU,GAAG,QAAQ,CAA6B;QACpD,EAAE,EAAE,SAAS,CAAC,mBAAmB;QACjC,SAAS,EAAE;YACP,SAAS,CAAC,uBAAuB;YACjC,SAAS,CAAC,kBAAkB;SAC/B;QACD,YAAY,EAAE,+BAA+B;QAC7C,KAAK,EAAE,0BAA0B;QACjC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EACX,OAAO,EAAE,eAAe,IAAI,8BAA8B;QAC9D,WAAW;KACd,CAAC,CAAA;IACF,OAAO;QACH,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;YACf,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACxC,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;gBACnC,GAAG,CAAC,UAAU,CAAC;oBACX,IAAI,EAAE,+CAA+C;oBACrD,OAAO,EACH,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;wBACvB,CAAC,CAAC,MAAM,CAAC,SAAS;wBAClB,CAAC,CAAC,yCAAyC;oBACnD,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE;iBAC3C,CAAC,CAAA;YACN,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;KACJ,CAAA;AACL,CAAC;AAED,iDAAiD;AACjD,MAAM,CAAC,MAAM,wBAAwB,GACjC,8BAA8B,EAAE,CAAA"}

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

@@ -0,0 +1,27 @@
+import { type TConclusionSelectionOutput, type TFormulaCompilationOutput, type TRelationExtractionOutput, type TVariableAssignmentOutput } from "./schemas.js";
+import type { TStage } from "../../../lib/pipelines/types.js";
+export declare const FORMULA_COMPILATION_FAILURE_CODES: {
+    readonly unresolvedSource: "FORMULA_COMPILATION_SOURCE_UNRESOLVED";
+    readonly unresolvedTarget: "FORMULA_COMPILATION_TARGET_UNRESOLVED";
+    readonly unresolvedConclusion: "FORMULA_COMPILATION_CONCLUSION_UNRESOLVED";
+    readonly emptySources: "FORMULA_COMPILATION_SOURCES_EMPTY";
+};
+export type TCompileFormulasInput = {
+    /** Bare relations array (unwrapped from the stage's envelope). */
+    relations: TRelationExtractionOutput["relations"];
+    conclusion: TConclusionSelectionOutput | undefined;
+    variables: TVariableAssignmentOutput;
+    generateId: () => string;
+    addFailure?: (failure: {
+        code: string;
+        message: string;
+        severity: "warning" | "error";
+        context?: Record<string, unknown>;
+    }) => void;
+};
+/**
+ * Pure helper exposed for direct testing.
+ */
+export declare function compileFormulas(input: TCompileFormulasInput): TFormulaCompilationOutput;
+export declare const formulaCompilationStage: TStage<TFormulaCompilationOutput>;
+//# sourceMappingURL=formula-compilation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"formula-compilation.d.ts","sourceRoot":"","sources":["../../../../src/extensions/argument-ingestion/stages/formula-compilation.ts"],"names":[],"mappings":"AAwBA,OAAO,EAGH,KAAK,0BAA0B,EAC/B,KAAK,yBAAyB,EAE9B,KAAK,yBAAyB,EAC9B,KAAK,yBAAyB,EACjC,MAAM,cAAc,CAAA;AAErB,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,iCAAiC,CAAA;AAE5E,eAAO,MAAM,iCAAiC;;;;;CAKpC,CAAA;AAEV,MAAM,MAAM,qBAAqB,GAAG;IAChC,kEAAkE;IAClE,SAAS,EAAE,yBAAyB,CAAC,WAAW,CAAC,CAAA;IACjD,UAAU,EAAE,0BAA0B,GAAG,SAAS,CAAA;IAClD,SAAS,EAAE,yBAAyB,CAAA;IACpC,UAAU,EAAE,MAAM,MAAM,CAAA;IACxB,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE;QACnB,IAAI,EAAE,MAAM,CAAA;QACZ,OAAO,EAAE,MAAM,CAAA;QACf,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAA;QAC7B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KACpC,KAAK,IAAI,CAAA;CACb,CAAA;AAyBD;;GAEG;AACH,wBAAgB,eAAe,CAC3B,KAAK,EAAE,qBAAqB,GAC7B,yBAAyB,CAqG3B;AAED,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,yBAAyB,CA8BhE,CAAA"}

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

@@ -0,0 +1,175 @@
+// `formula-compilation` — deterministic stage that compiles each
+// `relation-extraction` output into a `parseFormula`-consumable
+// formula string, and mints one dedicated "conclusion premise" whose
+// formula is just the conclusion claim's variable symbol.
+//
+// Compilation rules (spec §7.3):
+//   support           s         → t   ⇒  s_symbol IMPLIES t_symbol
+//   joint-support     s1..sn    → t   ⇒  (s1 AND s2 AND ...) IMPLIES t_symbol
+//   derivation-support s        → t   ⇒  s_symbol IMPLIES t_symbol
+//
+// The conclusion-premise mapping rule:
+//   - When `conclusion-selection.conclusionMiniId` is non-null:
+//     exactly one premise is minted with `roleHint: "conclusion"` and
+//     `formula: <conclusion claim's variable symbol>`.
+//   - When `conclusion-selection.conclusionMiniId` is null OR the
+//     conclusion claim has no resolvable variable symbol:
+//     `conclusionPremiseMiniId` is null and the conclusion premise is
+//     not emitted. The relation premises are still emitted.
+//
+// We emit a `ProcessingFailure` (severity `error`) when a relation's
+// `sources` or `target` cannot be resolved to a variable symbol. The
+// failing relation's premise is dropped from the output (we can't
+// compile it without symbols).
+import { STAGE_IDS, FormulaCompilationOutputSchema, } from "./schemas.js";
+import { deterministicStage } from "../../../lib/pipelines/stage-helpers.js";
+export const FORMULA_COMPILATION_FAILURE_CODES = {
+    unresolvedSource: "FORMULA_COMPILATION_SOURCE_UNRESOLVED",
+    unresolvedTarget: "FORMULA_COMPILATION_TARGET_UNRESOLVED",
+    unresolvedConclusion: "FORMULA_COMPILATION_CONCLUSION_UNRESOLVED",
+    emptySources: "FORMULA_COMPILATION_SOURCES_EMPTY",
+};
+function buildClaimToSymbol(variables) {
+    const m = new Map();
+    for (const v of variables) {
+        m.set(v.claimMiniId, v.symbol);
+    }
+    return m;
+}
+function relationToRoleHint(type) {
+    switch (type) {
+        case "support":
+            return "support";
+        case "joint-support":
+            return "joint-support";
+        case "derivation-support":
+            return "derivation";
+    }
+}
+/**
+ * Pure helper exposed for direct testing.
+ */
+export function compileFormulas(input) {
+    const claimToSymbol = buildClaimToSymbol(input.variables);
+    const noopEmit = () => {
+        // intentionally empty — tests can supply addFailure to capture emits
+    };
+    const emit = input.addFailure ?? noopEmit;
+    const premises = [];
+    // Compile each relation into a premise.
+    for (const relation of input.relations) {
+        if (relation.sources.length === 0) {
+            emit({
+                code: FORMULA_COMPILATION_FAILURE_CODES.emptySources,
+                message: `Relation "${relation.relationId}" has no sources; cannot compile.`,
+                severity: "warning",
+                context: { relationId: relation.relationId },
+            });
+            continue;
+        }
+        const targetSymbol = claimToSymbol.get(relation.target);
+        if (!targetSymbol) {
+            emit({
+                code: FORMULA_COMPILATION_FAILURE_CODES.unresolvedTarget,
+                message: `Relation "${relation.relationId}" target claim "${relation.target}" has no variable assignment; dropping.`,
+                severity: "error",
+                context: {
+                    relationId: relation.relationId,
+                    targetClaimMiniId: relation.target,
+                },
+            });
+            continue;
+        }
+        const sourceSymbols = [];
+        let sourcesOk = true;
+        for (const src of relation.sources) {
+            const sym = claimToSymbol.get(src);
+            if (!sym) {
+                emit({
+                    code: FORMULA_COMPILATION_FAILURE_CODES.unresolvedSource,
+                    message: `Relation "${relation.relationId}" source claim "${src}" has no variable assignment; dropping.`,
+                    severity: "error",
+                    context: {
+                        relationId: relation.relationId,
+                        sourceClaimMiniId: src,
+                    },
+                });
+                sourcesOk = false;
+                break;
+            }
+            sourceSymbols.push(sym);
+        }
+        if (!sourcesOk)
+            continue;
+        let formula;
+        if (relation.type === "joint-support" && sourceSymbols.length > 1) {
+            formula = `(${sourceSymbols.join(" and ")}) implies ${targetSymbol}`;
+        }
+        else if (sourceSymbols.length === 1) {
+            formula = `${sourceSymbols[0]} implies ${targetSymbol}`;
+        }
+        else {
+            // joint-support with exactly one source — degenerate; still
+            // compile as a plain support implication (the parens would
+            // be redundant). joint-support with zero sources is caught
+            // by the emptySources guard above.
+            formula = `${sourceSymbols.join(" and ")} implies ${targetSymbol}`;
+        }
+        premises.push({
+            premiseMiniId: input.generateId(),
+            formula,
+            roleHint: relationToRoleHint(relation.type),
+            sourceRelationId: relation.relationId,
+        });
+    }
+    // Mint the conclusion premise iff conclusion-selection chose a
+    // claim AND the claim resolves to a known variable symbol.
+    let conclusionPremiseMiniId = null;
+    const conclusionClaimMiniId = input.conclusion?.conclusionMiniId ?? null;
+    if (conclusionClaimMiniId !== null) {
+        const conclusionSymbol = claimToSymbol.get(conclusionClaimMiniId);
+        if (!conclusionSymbol) {
+            emit({
+                code: FORMULA_COMPILATION_FAILURE_CODES.unresolvedConclusion,
+                message: `Conclusion claim "${conclusionClaimMiniId}" has no variable assignment; cannot mint conclusion premise.`,
+                severity: "error",
+                context: { conclusionClaimMiniId },
+            });
+        }
+        else {
+            const id = input.generateId();
+            premises.push({
+                premiseMiniId: id,
+                formula: conclusionSymbol,
+                roleHint: "conclusion",
+                sourceRelationId: null,
+            });
+            conclusionPremiseMiniId = id;
+        }
+    }
+    return { premises, conclusionPremiseMiniId };
+}
+export const formulaCompilationStage = deterministicStage({
+    id: STAGE_IDS.formulaCompilation,
+    dependsOn: [
+        STAGE_IDS.relationExtraction,
+        STAGE_IDS.conclusionSelection,
+        STAGE_IDS.variableAssignment,
+        STAGE_IDS.claimTypeClassification,
+    ],
+    outputSchema: FormulaCompilationOutputSchema,
+    fn: (ctx) => {
+        const relationEnvelope = ctx.get(STAGE_IDS.relationExtraction);
+        const relations = relationEnvelope?.relations ?? [];
+        const conclusion = ctx.get(STAGE_IDS.conclusionSelection);
+        const variables = ctx.get(STAGE_IDS.variableAssignment) ?? [];
+        return compileFormulas({
+            relations,
+            conclusion,
+            variables,
+            generateId: ctx.generateId,
+            addFailure: ctx.addFailure,
+        });
+    },
+});
+//# sourceMappingURL=formula-compilation.js.map

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, createSegmentationStage, SEGMENTATION_MAX_OUTPUT_TOKENS, SEGMENTATION_STAGE_DEFAULTS, } from "./segmentation.js";
+export { claimMentionExtractionStage, createClaimMentionExtractionStage, CLAIM_MENTION_EXTRACTION_STAGE_DEFAULTS, } from "./claim-mention-extraction.js";
+export { citationSourceDetectionStage, createCitationSourceDetectionStage, CITATION_SOURCE_DETECTION_STAGE_DEFAULTS, } from "./citation-source-detection.js";
+export { axiomIndicatorDetectionStage, createAxiomIndicatorDetectionStage, AXIOM_INDICATOR_DETECTION_STAGE_DEFAULTS, } from "./axiom-indicator-detection.js";
+export { createClaimCanonicalizationStage, CLAIM_CANONICALIZATION_STAGE_DEFAULTS, } from "./claim-canonicalization.js";
+export { claimTypeClassificationStage, createClaimTypeClassificationStage, CLAIM_TYPE_CLASSIFICATION_STAGE_DEFAULTS, } 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, createRelationExtractionStage, RELATION_EXTRACTION_STAGE_DEFAULTS, } from "./relation-extraction.js";
+export { conclusionSelectionStage, createConclusionSelectionStage, CONCLUSION_SELECTION_STAGE_DEFAULTS, } 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,EACH,iBAAiB,EACjB,uBAAuB,EACvB,8BAA8B,EAC9B,2BAA2B,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACH,2BAA2B,EAC3B,iCAAiC,EACjC,uCAAuC,GAC1C,MAAM,+BAA+B,CAAA;AACtC,OAAO,EACH,4BAA4B,EAC5B,kCAAkC,EAClC,wCAAwC,GAC3C,MAAM,gCAAgC,CAAA;AACvC,OAAO,EACH,4BAA4B,EAC5B,kCAAkC,EAClC,wCAAwC,GAC3C,MAAM,gCAAgC,CAAA;AACvC,OAAO,EACH,gCAAgC,EAChC,qCAAqC,GACxC,MAAM,6BAA6B,CAAA;AACpC,OAAO,EACH,4BAA4B,EAC5B,kCAAkC,EAClC,wCAAwC,GAC3C,MAAM,gCAAgC,CAAA;AACvC,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,EACH,uBAAuB,EACvB,6BAA6B,EAC7B,kCAAkC,GACrC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,wBAAwB,EACxB,8BAA8B,EAC9B,mCAAmC,GACtC,MAAM,2BAA2B,CAAA;AAClC,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, createSegmentationStage, SEGMENTATION_MAX_OUTPUT_TOKENS, SEGMENTATION_STAGE_DEFAULTS, } from "./segmentation.js";
+export { claimMentionExtractionStage, createClaimMentionExtractionStage, CLAIM_MENTION_EXTRACTION_STAGE_DEFAULTS, } from "./claim-mention-extraction.js";
+export { citationSourceDetectionStage, createCitationSourceDetectionStage, CITATION_SOURCE_DETECTION_STAGE_DEFAULTS, } from "./citation-source-detection.js";
+export { axiomIndicatorDetectionStage, createAxiomIndicatorDetectionStage, AXIOM_INDICATOR_DETECTION_STAGE_DEFAULTS, } from "./axiom-indicator-detection.js";
+export { createClaimCanonicalizationStage, CLAIM_CANONICALIZATION_STAGE_DEFAULTS, } from "./claim-canonicalization.js";
+export { claimTypeClassificationStage, createClaimTypeClassificationStage, CLAIM_TYPE_CLASSIFICATION_STAGE_DEFAULTS, } 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, createRelationExtractionStage, RELATION_EXTRACTION_STAGE_DEFAULTS, } from "./relation-extraction.js";
+export { conclusionSelectionStage, createConclusionSelectionStage, CONCLUSION_SELECTION_STAGE_DEFAULTS, } 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,EACH,iBAAiB,EACjB,uBAAuB,EACvB,8BAA8B,EAC9B,2BAA2B,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACH,2BAA2B,EAC3B,iCAAiC,EACjC,uCAAuC,GAC1C,MAAM,+BAA+B,CAAA;AACtC,OAAO,EACH,4BAA4B,EAC5B,kCAAkC,EAClC,wCAAwC,GAC3C,MAAM,gCAAgC,CAAA;AACvC,OAAO,EACH,4BAA4B,EAC5B,kCAAkC,EAClC,wCAAwC,GAC3C,MAAM,gCAAgC,CAAA;AACvC,OAAO,EACH,gCAAgC,EAChC,qCAAqC,GACxC,MAAM,6BAA6B,CAAA;AACpC,OAAO,EACH,4BAA4B,EAC5B,kCAAkC,EAClC,wCAAwC,GAC3C,MAAM,gCAAgC,CAAA;AACvC,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,EACH,uBAAuB,EACvB,6BAA6B,EAC7B,kCAAkC,GACrC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,wBAAwB,EACxB,8BAA8B,EAC9B,mCAAmC,GACtC,MAAM,2BAA2B,CAAA;AAClC,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,13 @@
+import { type TRelationExtractionOutput } from "./schemas.js";
+import type { TStage } from "../../../lib/pipelines/types.js";
+import type { TLlmStageOptionsOverride } from "../shared/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\": [] }`.";
+/** Internal default knobs for the relation-extraction stage. */
+export declare const RELATION_EXTRACTION_STAGE_DEFAULTS: TLlmStageOptionsOverride;
+/** Build the relation-extraction stage with optional caller overrides. */
+export declare function createRelationExtractionStage(options?: TLlmStageOptionsOverride): TStage<TRelationExtractionOutput>;
+/** Backward-compatible default-options stage. */
+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;AAC5E,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAA;AAElE,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,gEAAgE;AAChE,eAAO,MAAM,kCAAkC,EAAE,wBAEhD,CAAA;AAED,0EAA0E;AAC1E,wBAAgB,6BAA6B,CACzC,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,yBAAyB,CAAC,CAenC;AAED,iDAAiD;AACjD,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,yBAAyB,CACnC,CAAA"}

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

@@ -0,0 +1,87 @@
+// `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 };
+}
+/** Internal default knobs for the relation-extraction stage. */
+export const RELATION_EXTRACTION_STAGE_DEFAULTS = {
+    reasoningEffort: RELATION_EXTRACTION_REASONING,
+};
+/** Build the relation-extraction stage with optional caller overrides. */
+export function createRelationExtractionStage(options) {
+    return llmStage({
+        id: STAGE_IDS.relationExtraction,
+        dependsOn: [
+            STAGE_IDS.claimCanonicalization,
+            STAGE_IDS.claimTypeClassification,
+            STAGE_IDS.segmentation,
+        ],
+        outputSchema: RelationExtractionOutputSchema,
+        model: RELATION_EXTRACTION_MODEL,
+        maxOutputTokens: options?.maxOutputTokens,
+        reasoningEffort: options?.reasoningEffort ?? RELATION_EXTRACTION_REASONING,
+        buildPrompt,
+    });
+}
+/** Backward-compatible default-options stage. */
+export const relationExtractionStage = createRelationExtractionStage();
+//# 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;AAIlE,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,gEAAgE;AAChE,MAAM,CAAC,MAAM,kCAAkC,GAA6B;IACxE,eAAe,EAAE,6BAA6B;CACjD,CAAA;AAED,0EAA0E;AAC1E,MAAM,UAAU,6BAA6B,CACzC,OAAkC;IAElC,OAAO,QAAQ,CAA4B;QACvC,EAAE,EAAE,SAAS,CAAC,kBAAkB;QAChC,SAAS,EAAE;YACP,SAAS,CAAC,qBAAqB;YAC/B,SAAS,CAAC,uBAAuB;YACjC,SAAS,CAAC,YAAY;SACzB;QACD,YAAY,EAAE,8BAA8B;QAC5C,KAAK,EAAE,yBAAyB;QAChC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EACX,OAAO,EAAE,eAAe,IAAI,6BAA6B;QAC7D,WAAW;KACd,CAAC,CAAA;AACN,CAAC;AAED,iDAAiD;AACjD,MAAM,CAAC,MAAM,uBAAuB,GAChC,6BAA6B,EAAE,CAAA"}