@proposit/proposit-core 5.0.0 → 5.2.0

package/dist/extensions/pipelines/base/stages/conclusion-selection.js

@@ -12,12 +12,50 @@
 // selected.'". The full ranked list rides along on the stage output for
 // consumers that want to offer alternates.
 //
-// This is a strong-reasoning stage: gpt-5.5 with reasoning_effort=medium.
+// This is a strong-reasoning stage: reasoning_effort=medium.
 import { STAGE_IDS, ConclusionSelectionLlmOutputSchema, ConclusionSelectionOutputSchema, } from "./schemas.js";
 import { llmStage } from "../../../../lib/pipelines/stage-helpers.js";
-export const CONCLUSION_SELECTION_MODEL = "gpt-5.5";
+export const CONCLUSION_SELECTION_MODEL = "gpt-6-sol";
 export const CONCLUSION_SELECTION_REASONING = "medium";
 export const CONCLUSION_SELECTION_NO_CONCLUSION_FAILURE_CODE = "NO_SINGLE_CONCLUSION";
+/**
+ * The failure a stage reports when the model found no structure in claims
+ * that must have some, and what a reader is shown when retrying did not
+ * help.
+ */
+export const NO_ARGUMENT_STRUCTURE_FAILURE = {
+    code: "NO_ARGUMENT_STRUCTURE",
+    message: "Couldn't work out how these claims connect to a conclusion.",
+};
+/**
+ * `llmStage` content check shared by the stages that propose an argument's
+ * structure: once at least two canonical claims are normal, the model must
+ * name at least one relation and — when `conclusionCandidates` is given —
+ * at least one conclusion candidate. With fewer there is nothing to
+ * connect, so an empty answer is accepted. A failure retries the stage;
+ * see `llmStage`'s `checkOutput`.
+ */
+export function checkArgumentStructure(ctx, output) {
+    // Count claims the way the structure prompts list them: each canonical
+    // claim once, typed by its classification when it has one. Counting
+    // raw classification entries would let a repeated or unknown id demand
+    // a relation among claims the model was never shown.
+    const typeByMiniId = new Map();
+    for (const entry of ctx.get(STAGE_IDS.claimTypeClassification)?.classifications ?? []) {
+        typeByMiniId.set(entry.miniId, entry.type);
+    }
+    const normalClaims = new Set((ctx.get(STAGE_IDS.claimCanonicalization)?.canonicalClaims ?? [])
+        .filter((c) => (typeByMiniId.get(c.miniId) ?? c.type) === "normal")
+        .map((c) => c.miniId)).size;
+    if (normalClaims < 2)
+        return undefined;
+    if (output.relations.length === 0)
+        return NO_ARGUMENT_STRUCTURE_FAILURE;
+    if (output.conclusionCandidates?.length === 0) {
+        return NO_ARGUMENT_STRUCTURE_FAILURE;
+    }
+    return undefined;
+}
 export const CONCLUSION_SELECTION_SYSTEM_PROMPT = `You select the conclusion claim of an argument from the canonical claim set and the relation graph.
 
 You receive:

package/dist/extensions/pipelines/base/stages/conclusion-selection.js.map

@@ -1 +1 @@
-{"version":3,"file":"conclusion-selection.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/conclusion-selection.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,wEAAwE;AACxE,sEAAsE;AACtE,wEAAwE;AACxE,iEAAiE;AACjE,qEAAqE;AACrE,yEAAyE;AACzE,sEAAsE;AACtE,uDAAuD;AACvD,wEAAwE;AACxE,gEAAgE;AAChE,wEAAwE;AACxE,2CAA2C;AAC3C,EAAE;AACF,0EAA0E;AAE1E,OAAO,EACH,SAAS,EACT,kCAAkC,EAClC,+BAA+B,GAOlC,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AAIrE,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;;;;;;;;;;;;;;;;;;8HAkB4E,CAAA;AAE9H,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,kBAAkB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,UAAU,EAAE,CAChG;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,mGAAmG,CAAA;IAC9K,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;AACzC,CAAC;AAED,iEAAiE;AACjE,MAAM,CAAC,MAAM,mCAAmC,GAA6B;IACzE,KAAK,EAAE,0BAA0B;IACjC,eAAe,EAAE,8BAA8B;CAClD,CAAA;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,wBAAwB,CACpC,eAAyD,EACzD,SAAwC;IAExC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAEvC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC/C,eAAe,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;QAC1C,CAAC;IACL,CAAC,CAAC,CAAA;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,eAAe;SACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;SAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CACpC,CAAA;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC1C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC/B,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW;YACzC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACjC,QAAQ,CAAC,GAAG,CACR,QAAQ,CAAC,UAAU,EACnB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAC/C,CAAA;IACL,CAAC;IAED,MAAM,gBAAgB,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5D,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAC5B,CAAA;IACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CACrC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CACzC,CAAA;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAA;IAChE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAElC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QAChC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACxC,IAAI,MAAM,GAAG,UAAU;YAAE,OAAO,MAAM,CAAA;QACtC,IAAI,MAAM,GAAG,UAAU;YAAE,OAAO,IAAI,CAAA;QACpC,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAA;QACpE,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAA;QAClE,OAAO,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IAC5C,CAAC,CAAC,CAAA;AACN,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,8BAA8B,CAC1C,OAAkC;IAElC,MAAM,UAAU,GAAG,QAAQ,CAAgC;QACvD,EAAE,EAAE,SAAS,CAAC,mBAAmB;QACjC,SAAS,EAAE;YACP,SAAS,CAAC,uBAAuB;YACjC,SAAS,CAAC,kBAAkB;SAC/B;QACD,YAAY,EAAE,kCAAkC;QAChD,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,0BAA0B;QACnD,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EACX,OAAO,EAAE,eAAe,IAAI,8BAA8B;QAC9D,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW;KACd,CAAC,CAAA;IACF,OAAO;QACH,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,+BAA+B;QAC7C,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;YACf,MAAM,SAAS,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC3C,MAAM,eAAe,GACjB,GAAG,CAAC,GAAG,CACH,SAAS,CAAC,uBAAuB,CACpC,EAAE,eAAe,IAAI,EAAE,CAAA;YAC5B,MAAM,SAAS,GACX,GAAG,CAAC,GAAG,CAA4B,SAAS,CAAC,kBAAkB,CAAC;gBAC5D,EAAE,SAAS,IAAI,EAAE,CAAA;YAEzB,yDAAyD;YACzD,6DAA6D;YAC7D,4DAA4D;YAC5D,4CAA4C;YAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,eAAe;iBACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;iBAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CACpC,CAAA;YACD,MAAM,SAAS,GACX,SAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3C,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAC5B,IAAI,IAAI,CAAA;YACb,MAAM,gBAAgB,GAClB,SAAS;gBACT,wBAAwB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAA;YACxD,MAAM,iBAAiB,GACnB,SAAS,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI,CAAA;YAEnD,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;gBAC5B,GAAG,CAAC,UAAU,CAAC;oBACX,IAAI,EAAE,+CAA+C;oBACrD,OAAO,EACH,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;wBAC1B,CAAC,CAAC,SAAS,CAAC,SAAS;wBACrB,CAAC,CAAC,yCAAyC;oBACnD,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE;iBAC9C,CAAC,CAAA;YACN,CAAC;YAED,OAAO;gBACH,gBAAgB;gBAChB,oBAAoB,EAAE,SAAS,CAAC,oBAAoB;gBACpD,oDAAoD;gBACpD,gDAAgD;gBAChD,6CAA6C;gBAC7C,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,SAAS,EAAE,iBAAiB;oBACxB,CAAC,CAAC,iBAAiB,gBAAgB,iEAAiE;oBACpG,CAAC,CAAC,SAAS,CAAC,SAAS;aAC5B,CAAA;QACL,CAAC;KACJ,CAAA;AACL,CAAC;AAED,iDAAiD;AACjD,MAAM,CAAC,MAAM,wBAAwB,GACjC,8BAA8B,EAAE,CAAA"}
+{"version":3,"file":"conclusion-selection.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/conclusion-selection.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,wEAAwE;AACxE,sEAAsE;AACtE,wEAAwE;AACxE,iEAAiE;AACjE,qEAAqE;AACrE,yEAAyE;AACzE,sEAAsE;AACtE,uDAAuD;AACvD,wEAAwE;AACxE,gEAAgE;AAChE,wEAAwE;AACxE,2CAA2C;AAC3C,EAAE;AACF,6DAA6D;AAE7D,OAAO,EACH,SAAS,EACT,kCAAkC,EAClC,+BAA+B,GAQlC,MAAM,cAAc,CAAA;AAErB,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AAKrE,MAAM,CAAC,MAAM,0BAA0B,GAAG,WAAW,CAAA;AACrD,MAAM,CAAC,MAAM,8BAA8B,GAAqB,QAAQ,CAAA;AAExE,MAAM,CAAC,MAAM,+CAA+C,GACxD,sBAAsB,CAAA;AAE1B;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG;IACzC,IAAI,EAAE,uBAAuB;IAC7B,OAAO,EAAE,6DAA6D;CAChE,CAAA;AAEV;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAClC,GAAkB,EAClB,MAGC;IAED,uEAAuE;IACvE,oEAAoE;IACpE,uEAAuE;IACvE,qDAAqD;IACrD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC9C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,GAAG,CACvB,SAAS,CAAC,uBAAuB,CACpC,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;QACvB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IAC9C,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,CACI,GAAG,CAAC,GAAG,CACH,SAAS,CAAC,qBAAqB,CAClC,EAAE,eAAe,IAAI,EAAE,CAC3B;SACI,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC;SAClE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAC5B,CAAC,IAAI,CAAA;IACN,IAAI,YAAY,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IACtC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,6BAA6B,CAAA;IACvE,IAAI,MAAM,CAAC,oBAAoB,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,6BAA6B,CAAA;IACxC,CAAC;IACD,OAAO,SAAS,CAAA;AACpB,CAAC;AAED,MAAM,CAAC,MAAM,kCAAkC,GAAG;;;;;;;;;;;;;;;;;;8HAkB4E,CAAA;AAE9H,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,kBAAkB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,UAAU,EAAE,CAChG;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,mGAAmG,CAAA;IAC9K,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;AACzC,CAAC;AAED,iEAAiE;AACjE,MAAM,CAAC,MAAM,mCAAmC,GAA6B;IACzE,KAAK,EAAE,0BAA0B;IACjC,eAAe,EAAE,8BAA8B;CAClD,CAAA;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,wBAAwB,CACpC,eAAyD,EACzD,SAAwC;IAExC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAEvC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC/C,eAAe,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;QAC1C,CAAC;IACL,CAAC,CAAC,CAAA;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,eAAe;SACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;SAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CACpC,CAAA;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC1C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC/B,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW;YACzC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACjC,QAAQ,CAAC,GAAG,CACR,QAAQ,CAAC,UAAU,EACnB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAC/C,CAAA;IACL,CAAC;IAED,MAAM,gBAAgB,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5D,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAC5B,CAAA;IACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CACrC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CACzC,CAAA;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAA;IAChE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAElC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QAChC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACxC,IAAI,MAAM,GAAG,UAAU;YAAE,OAAO,MAAM,CAAA;QACtC,IAAI,MAAM,GAAG,UAAU;YAAE,OAAO,IAAI,CAAA;QACpC,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAA;QACpE,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAA;QAClE,OAAO,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IAC5C,CAAC,CAAC,CAAA;AACN,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,8BAA8B,CAC1C,OAAkC;IAElC,MAAM,UAAU,GAAG,QAAQ,CAAgC;QACvD,EAAE,EAAE,SAAS,CAAC,mBAAmB;QACjC,SAAS,EAAE;YACP,SAAS,CAAC,uBAAuB;YACjC,SAAS,CAAC,kBAAkB;SAC/B;QACD,YAAY,EAAE,kCAAkC;QAChD,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,0BAA0B;QACnD,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EACX,OAAO,EAAE,eAAe,IAAI,8BAA8B;QAC9D,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW;KACd,CAAC,CAAA;IACF,OAAO;QACH,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,+BAA+B;QAC7C,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;YACf,MAAM,SAAS,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC3C,MAAM,eAAe,GACjB,GAAG,CAAC,GAAG,CACH,SAAS,CAAC,uBAAuB,CACpC,EAAE,eAAe,IAAI,EAAE,CAAA;YAC5B,MAAM,SAAS,GACX,GAAG,CAAC,GAAG,CAA4B,SAAS,CAAC,kBAAkB,CAAC;gBAC5D,EAAE,SAAS,IAAI,EAAE,CAAA;YAEzB,yDAAyD;YACzD,6DAA6D;YAC7D,4DAA4D;YAC5D,4CAA4C;YAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,eAAe;iBACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;iBAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CACpC,CAAA;YACD,MAAM,SAAS,GACX,SAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3C,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAC5B,IAAI,IAAI,CAAA;YACb,MAAM,gBAAgB,GAClB,SAAS;gBACT,wBAAwB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAA;YACxD,MAAM,iBAAiB,GACnB,SAAS,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI,CAAA;YAEnD,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;gBAC5B,GAAG,CAAC,UAAU,CAAC;oBACX,IAAI,EAAE,+CAA+C;oBACrD,OAAO,EACH,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;wBAC1B,CAAC,CAAC,SAAS,CAAC,SAAS;wBACrB,CAAC,CAAC,yCAAyC;oBACnD,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE;iBAC9C,CAAC,CAAA;YACN,CAAC;YAED,OAAO;gBACH,gBAAgB;gBAChB,oBAAoB,EAAE,SAAS,CAAC,oBAAoB;gBACpD,oDAAoD;gBACpD,gDAAgD;gBAChD,6CAA6C;gBAC7C,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,SAAS,EAAE,iBAAiB;oBACxB,CAAC,CAAC,iBAAiB,gBAAgB,iEAAiE;oBACpG,CAAC,CAAC,SAAS,CAAC,SAAS;aAC5B,CAAA;QACL,CAAC;KACJ,CAAA;AACL,CAAC;AAED,iDAAiD;AACjD,MAAM,CAAC,MAAM,wBAAwB,GACjC,8BAA8B,EAAE,CAAA"}

package/dist/extensions/pipelines/base/stages/index.d.ts

@@ -10,7 +10,7 @@ export { claimReferenceValidationStage, validateClaimReferences, CLAIM_REFERENCE
 export { variableAssignmentStage, assignVariables, isValidVariableSymbol, } from "./variable-assignment.js";
 export type { TAssignVariablesInput } from "./variable-assignment.js";
 export { relationExtractionStage, createRelationExtractionStage, RELATION_EXTRACTION_STAGE_DEFAULTS, } from "./relation-extraction.js";
-export { conclusionSelectionStage, createConclusionSelectionStage, selectFallbackConclusion, CONCLUSION_SELECTION_STAGE_DEFAULTS, CONCLUSION_SELECTION_NO_CONCLUSION_FAILURE_CODE, } from "./conclusion-selection.js";
+export { conclusionSelectionStage, createConclusionSelectionStage, selectFallbackConclusion, checkArgumentStructure, CONCLUSION_SELECTION_STAGE_DEFAULTS, CONCLUSION_SELECTION_NO_CONCLUSION_FAILURE_CODE, NO_ARGUMENT_STRUCTURE_FAILURE, } from "./conclusion-selection.js";
 export { formulaCompilationStage, compileFormulas, FORMULA_COMPILATION_FAILURE_CODES, } from "./formula-compilation.js";
 export type { TCompileFormulasInput, TFreeformRelation, } from "./formula-compilation.js";
 export { formulaValidationStage, validateFormulas, FORMULA_VALIDATION_FAILURE_CODES, } from "./formula-validation.js";

package/dist/extensions/pipelines/base/stages/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/index.ts"],"names":[],"mappings":"AAIA,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,EACrC,mBAAmB,EACnB,sBAAsB,GACzB,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,YAAY,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AACrE,OAAO,EACH,uBAAuB,EACvB,6BAA6B,EAC7B,kCAAkC,GACrC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,wBAAwB,EACxB,8BAA8B,EAC9B,wBAAwB,EACxB,mCAAmC,EACnC,+CAA+C,GAClD,MAAM,2BAA2B,CAAA;AAClC,OAAO,EACH,uBAAuB,EACvB,eAAe,EACf,iCAAiC,GACpC,MAAM,0BAA0B,CAAA;AACjC,YAAY,EACR,qBAAqB,EACrB,iBAAiB,GACpB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,sBAAsB,EACtB,gBAAgB,EAChB,gCAAgC,GACnC,MAAM,yBAAyB,CAAA;AAChC,YAAY,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/index.ts"],"names":[],"mappings":"AAIA,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,EACrC,mBAAmB,EACnB,sBAAsB,GACzB,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,YAAY,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AACrE,OAAO,EACH,uBAAuB,EACvB,6BAA6B,EAC7B,kCAAkC,GACrC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,wBAAwB,EACxB,8BAA8B,EAC9B,wBAAwB,EACxB,sBAAsB,EACtB,mCAAmC,EACnC,+CAA+C,EAC/C,6BAA6B,GAChC,MAAM,2BAA2B,CAAA;AAClC,OAAO,EACH,uBAAuB,EACvB,eAAe,EACf,iCAAiC,GACpC,MAAM,0BAA0B,CAAA;AACjC,YAAY,EACR,qBAAqB,EACrB,iBAAiB,GACpB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,sBAAsB,EACtB,gBAAgB,EAChB,gCAAgC,GACnC,MAAM,yBAAyB,CAAA;AAChC,YAAY,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA"}

package/dist/extensions/pipelines/base/stages/index.js

@@ -12,7 +12,7 @@ export { claimTypeClassificationStage, createClaimTypeClassificationStage, CLAIM
 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, selectFallbackConclusion, CONCLUSION_SELECTION_STAGE_DEFAULTS, CONCLUSION_SELECTION_NO_CONCLUSION_FAILURE_CODE, } from "./conclusion-selection.js";
+export { conclusionSelectionStage, createConclusionSelectionStage, selectFallbackConclusion, checkArgumentStructure, CONCLUSION_SELECTION_STAGE_DEFAULTS, CONCLUSION_SELECTION_NO_CONCLUSION_FAILURE_CODE, NO_ARGUMENT_STRUCTURE_FAILURE, } 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/pipelines/base/stages/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/index.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,sEAAsE;AACtE,qEAAqE;AAErE,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,EACrC,mBAAmB,EACnB,sBAAsB,GACzB,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;AAEjC,OAAO,EACH,uBAAuB,EACvB,6BAA6B,EAC7B,kCAAkC,GACrC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,wBAAwB,EACxB,8BAA8B,EAC9B,wBAAwB,EACxB,mCAAmC,EACnC,+CAA+C,GAClD,MAAM,2BAA2B,CAAA;AAClC,OAAO,EACH,uBAAuB,EACvB,eAAe,EACf,iCAAiC,GACpC,MAAM,0BAA0B,CAAA;AAKjC,OAAO,EACH,sBAAsB,EACtB,gBAAgB,EAChB,gCAAgC,GACnC,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/index.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,sEAAsE;AACtE,qEAAqE;AAErE,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,EACrC,mBAAmB,EACnB,sBAAsB,GACzB,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;AAEjC,OAAO,EACH,uBAAuB,EACvB,6BAA6B,EAC7B,kCAAkC,GACrC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACH,wBAAwB,EACxB,8BAA8B,EAC9B,wBAAwB,EACxB,sBAAsB,EACtB,mCAAmC,EACnC,+CAA+C,EAC/C,6BAA6B,GAChC,MAAM,2BAA2B,CAAA;AAClC,OAAO,EACH,uBAAuB,EACvB,eAAe,EACf,iCAAiC,GACpC,MAAM,0BAA0B,CAAA;AAKjC,OAAO,EACH,sBAAsB,EACtB,gBAAgB,EAChB,gCAAgC,GACnC,MAAM,yBAAyB,CAAA"}

package/dist/extensions/pipelines/base/stages/relation-extraction.d.ts

@@ -1,9 +1,10 @@
 import { type TRelationExtractionOutput } from "./schemas.js";
+import type { TReasoningEffort } from "../../../../lib/llm/types.js";
 import type { TStage } from "../../../../lib/pipelines/types.js";
 import type { TLlmStageOptionsOverride } from "../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 inference 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 inference. Return an object with a single key `relations` whose value is the array.\n\nAn `inference` relation says: the claims in `antecedents`, taken together, imply the claim in `consequent`. Use a SINGLE antecedent for an ordinary \"P, therefore Q\" step; use MULTIPLE antecedents when the author commits to a step that requires ALL of them to hold together (e.g. major premise + minor premise \u2192 conclusion).\n\nFor each relation emit:\n- a fresh `relationId` (r1, r2, ...)\n- `type` \u2014 always `\"inference\"`\n- `antecedents` \u2014 an array of the supporting claim miniIds (one or more) whose conjunction implies the consequent\n- `consequent` \u2014 the implied claim's miniId\n- `title` \u2014 a short noun phrase naming what this step DOES in the argument \u2014 the inferential move, not the proposition. Do not restate the consequent: that claim's own title is already shown directly beneath this one. Aim for under 60 characters. Examples: \"Limits of the crowd's power\", \"Residence as tacit consent\", \"Principle over survival\".\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`antecedents` and `consequent` are CLAIM miniIds \u2014 NOT source citations. A citation-typed or axiomatic-typed claim may appear in `antecedents` (the pipeline routes it to where it belongs); do not special-case it. A citation/axiomatic claim is never a `consequent`.\n\n## Conservatism rules\n\n- Do not invent relations. If the author doesn't actually argue from the antecedents to the consequent, don't emit a relation.\n- Do not double-count. If several claims share the same backing, emit one relation per consequent, not a redundant pairing.\n- The conclusion of the argument is identified in a separate stage; do NOT emit a special \"conclusion\" relation here. Just emit the inference edges you see; the conclusion stage selects from your output.\n- Avoid attack/rebuttal relations entirely for now \u2014 the pipeline does not yet handle them.\n\nIf there are no relations to emit, return `{ \"relations\": [] }`.";
+export declare const RELATION_EXTRACTION_MODEL = "gpt-6-sol";
+export declare const RELATION_EXTRACTION_REASONING: TReasoningEffort;
+export declare const RELATION_EXTRACTION_SYSTEM_PROMPT = "You identify inference 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 inference. Return an object with a single key `relations` whose value is the array.\n\nAn `inference` relation says: the claims in `antecedents`, taken together, imply the claim in `consequent`. Use a SINGLE antecedent for an ordinary \"P, therefore Q\" step; use MULTIPLE antecedents when the author commits to a step that requires ALL of them to hold together (e.g. major premise + minor premise \u2192 conclusion).\n\nFor each relation emit:\n- a fresh `relationId` (r1, r2, ...)\n- `type` \u2014 always `\"inference\"`\n- `antecedents` \u2014 an array of the supporting claim miniIds (one or more) whose conjunction implies the consequent\n- `consequent` \u2014 the implied claim's miniId\n- `title` \u2014 a short noun phrase naming what this step DOES in the argument \u2014 the inferential move, not the proposition. Do not restate the consequent: that claim's own title is already shown directly beneath this one. Aim for under 60 characters. Examples: \"Limits of the crowd's power\", \"Residence as tacit consent\", \"Principle over survival\". Every relation's title must differ from every other relation's \u2014 two steps never share a name.\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`antecedents` and `consequent` are CLAIM miniIds \u2014 NOT source citations. A citation-typed or axiomatic-typed claim may appear in `antecedents` (the pipeline routes it to where it belongs); do not special-case it. A citation/axiomatic claim is never a `consequent`.\n\n## Conservatism rules\n\n- Do not invent relations. If the author doesn't actually argue from the antecedents to the consequent, don't emit a relation.\n- Do not double-count. If several claims share the same backing, emit one relation per consequent, not a redundant pairing.\n- The conclusion of the argument is identified in a separate stage; do NOT emit a special \"conclusion\" relation here. Just emit the inference edges you see; the conclusion stage selects from your output.\n- Avoid attack/rebuttal relations entirely for now \u2014 the pipeline does not yet handle them.\n\nEmit the relations the author actually argues. An argument with at least two normal-typed claims has at least one, so look for it before concluding there is none. Never invent support the author does not give: if the claims genuinely do not connect, 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. */

package/dist/extensions/pipelines/base/stages/relation-extraction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relation-extraction.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/relation-extraction.ts"],"names":[],"mappings":"AAUA,OAAO,EAMH,KAAK,yBAAyB,EAEjC,MAAM,cAAc,CAAA;AAErB,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAE3D,eAAO,MAAM,yBAAyB,YAAY,CAAA;AAClD,eAAO,MAAM,6BAA6B,EACpC,SAAS,GACT,KAAK,GACL,QAAQ,GACR,MAAe,CAAA;AAErB,eAAO,MAAM,iCAAiC,q2EAwBqB,CAAA;AAuCnE,gEAAgE;AAChE,eAAO,MAAM,kCAAkC,EAAE,wBAGhD,CAAA;AAED,0EAA0E;AAC1E,wBAAgB,6BAA6B,CACzC,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,yBAAyB,CAAC,CAgBnC;AAED,iDAAiD;AACjD,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,yBAAyB,CACnC,CAAA"}
+{"version":3,"file":"relation-extraction.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/relation-extraction.ts"],"names":[],"mappings":"AAUA,OAAO,EAMH,KAAK,yBAAyB,EAEjC,MAAM,cAAc,CAAA;AACrB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAA;AAGpE,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAE3D,eAAO,MAAM,yBAAyB,cAAc,CAAA;AACpD,eAAO,MAAM,6BAA6B,EAAE,gBAAyB,CAAA;AAErE,eAAO,MAAM,iCAAiC,gqFAwB4O,CAAA;AAuC1R,gEAAgE;AAChE,eAAO,MAAM,kCAAkC,EAAE,wBAGhD,CAAA;AAED,0EAA0E;AAC1E,wBAAgB,6BAA6B,CACzC,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,yBAAyB,CAAC,CAiBnC;AAED,iDAAiD;AACjD,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,yBAAyB,CACnC,CAAA"}

package/dist/extensions/pipelines/base/stages/relation-extraction.js

@@ -3,13 +3,14 @@
 // `inference`: its `antecedents` claims, taken together, imply its
 // `consequent` claim.
 //
-// This stage uses gpt-5.5 with reasoning_effort=high — it's the most
+// This stage uses reasoning_effort=high — it's the most
 // subtle judgement call in the pipeline. The output is a graph; the
 // conclusion + the inference 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";
+import { checkArgumentStructure } from "./conclusion-selection.js";
+export const RELATION_EXTRACTION_MODEL = "gpt-6-sol";
 export const RELATION_EXTRACTION_REASONING = "high";
 export const RELATION_EXTRACTION_SYSTEM_PROMPT = `You identify inference relationships between canonical claims in an argument.
 
@@ -22,7 +23,7 @@ For each relation emit:
 - \`type\` — always \`"inference"\`
 - \`antecedents\` — an array of the supporting claim miniIds (one or more) whose conjunction implies the consequent
 - \`consequent\` — the implied claim's miniId
-- \`title\` — a short noun phrase naming what this step DOES in the argument — the inferential move, not the proposition. Do not restate the consequent: that claim's own title is already shown directly beneath this one. Aim for under 60 characters. Examples: "Limits of the crowd's power", "Residence as tacit consent", "Principle over survival".
+- \`title\` — a short noun phrase naming what this step DOES in the argument — the inferential move, not the proposition. Do not restate the consequent: that claim's own title is already shown directly beneath this one. Aim for under 60 characters. Examples: "Limits of the crowd's power", "Residence as tacit consent", "Principle over survival". Every relation's title must differ from every other relation's — two steps never share a name.
 - \`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
 
@@ -35,7 +36,7 @@ For each relation emit:
 - The conclusion of the argument is identified in a separate stage; do NOT emit a special "conclusion" relation here. Just emit the inference edges you see; the conclusion stage selects from your output.
 - Avoid attack/rebuttal relations entirely for now — the pipeline does not yet handle them.
 
-If there are no relations to emit, return \`{ "relations": [] }\`.`;
+Emit the relations the author actually argues. An argument with at least two normal-typed claims has at least one, so look for it before concluding there is none. Never invent support the author does not give: if the claims genuinely do not connect, return \`{ "relations": [] }\`.`;
 function buildPrompt(ctx) {
     const canon = ctx.get(STAGE_IDS.claimCanonicalization);
     const typeEnvelope = ctx.get(STAGE_IDS.claimTypeClassification);
@@ -84,6 +85,7 @@ export function createRelationExtractionStage(options) {
         reasoningEffort: options?.reasoningEffort ?? RELATION_EXTRACTION_REASONING,
         retry: options?.retry,
         buildPrompt,
+        checkOutput: (output, ctx) => checkArgumentStructure(ctx, output),
     });
 }
 /** Backward-compatible default-options stage. */

package/dist/extensions/pipelines/base/stages/relation-extraction.js.map

@@ -1 +1 @@
-{"version":3,"file":"relation-extraction.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/relation-extraction.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,wEAAwE;AACxE,mEAAmE;AACnE,sBAAsB;AACtB,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AACpE,uEAAuE;AACvE,mBAAmB;AAEnB,OAAO,EACH,SAAS,EACT,8BAA8B,GAMjC,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AAIrE,MAAM,CAAC,MAAM,yBAAyB,GAAG,SAAS,CAAA;AAClD,MAAM,CAAC,MAAM,6BAA6B,GAI3B,MAAM,CAAA;AAErB,MAAM,CAAC,MAAM,iCAAiC,GAAG;;;;;;;;;;;;;;;;;;;;;;;;mEAwBkB,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,6DAA6D,CAAA;IAC7J,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;AACzC,CAAC;AAED,gEAAgE;AAChE,MAAM,CAAC,MAAM,kCAAkC,GAA6B;IACxE,KAAK,EAAE,yBAAyB;IAChC,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,OAAO,EAAE,KAAK,IAAI,yBAAyB;QAClD,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EACX,OAAO,EAAE,eAAe,IAAI,6BAA6B;QAC7D,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW;KACd,CAAC,CAAA;AACN,CAAC;AAED,iDAAiD;AACjD,MAAM,CAAC,MAAM,uBAAuB,GAChC,6BAA6B,EAAE,CAAA"}
+{"version":3,"file":"relation-extraction.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/relation-extraction.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,wEAAwE;AACxE,mEAAmE;AACnE,sBAAsB;AACtB,EAAE;AACF,wDAAwD;AACxD,oEAAoE;AACpE,uEAAuE;AACvE,mBAAmB;AAEnB,OAAO,EACH,SAAS,EACT,8BAA8B,GAMjC,MAAM,cAAc,CAAA;AAErB,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAIlE,MAAM,CAAC,MAAM,yBAAyB,GAAG,WAAW,CAAA;AACpD,MAAM,CAAC,MAAM,6BAA6B,GAAqB,MAAM,CAAA;AAErE,MAAM,CAAC,MAAM,iCAAiC,GAAG;;;;;;;;;;;;;;;;;;;;;;;;0RAwByO,CAAA;AAE1R,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,6DAA6D,CAAA;IAC7J,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;AACzC,CAAC;AAED,gEAAgE;AAChE,MAAM,CAAC,MAAM,kCAAkC,GAA6B;IACxE,KAAK,EAAE,yBAAyB;IAChC,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,OAAO,EAAE,KAAK,IAAI,yBAAyB;QAClD,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EACX,OAAO,EAAE,eAAe,IAAI,6BAA6B;QAC7D,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW;QACX,WAAW,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,MAAM,CAAC;KACpE,CAAC,CAAA;AACN,CAAC;AAED,iDAAiD;AACjD,MAAM,CAAC,MAAM,uBAAuB,GAChC,6BAA6B,EAAE,CAAA"}

package/dist/extensions/pipelines/base/stages/segmentation.d.ts

@@ -1,7 +1,7 @@
 import { type TSegmentationOutput } from "./schemas.js";
 import type { TStage } from "../../../../lib/pipelines/types.js";
 import type { TLlmStageOptionsOverride } from "../types.js";
-export declare const SEGMENTATION_MODEL = "gpt-5.4-mini";
+export declare const SEGMENTATION_MODEL = "gpt-6-sol";
 export declare const SEGMENTATION_MAX_OUTPUT_TOKENS = 8192;
 export declare const SEGMENTATION_SYSTEM_PROMPT = "You are the first stage of an argument-ingestion pipeline. Your job is to split the supplied input text into a list of segments.\n\nReturn an object with a single key `segments` whose value is the array of segments.\n\nA segment is a sentence-or-thereabouts span of text \u2014 a self-contained clause that a human could read on its own. Sentence-final punctuation usually marks segment boundaries; bullet items in a list count as separate segments; multi-clause sentences split into one segment per major clause when the clauses each carry their own assertion.\n\nAssign each segment a short stable id like \"s1\", \"s2\", ... in left-to-right order, copy the segment's text verbatim (no rewriting), and record the character \"span\" as an object with \"start\" (inclusive) and \"end\" (exclusive) character offsets into the input. Whitespace between segments is owned by neither segment.\n\nCover the input completely: every non-whitespace character must fall inside some segment's span. Do not invent text. Do not classify segments \u2014 that is a later stage's job.";
 /**

package/dist/extensions/pipelines/base/stages/segmentation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"segmentation.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/segmentation.ts"],"names":[],"mappings":"AAYA,OAAO,EAGH,KAAK,mBAAmB,EAC3B,MAAM,cAAc,CAAA;AAErB,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,KAAK,EAAmB,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAE5E,eAAO,MAAM,kBAAkB,iBAAiB,CAAA;AAqBhD,eAAO,MAAM,8BAA8B,OAAO,CAAA;AAElD,eAAO,MAAM,0BAA0B,mjCAQsI,CAAA;AAY7K;;;GAGG;AACH,eAAO,MAAM,2BAA2B,EAAE,wBAGzC,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACnC,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,mBAAmB,CAAC,CAY7B;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,mBAAmB,CAC7B,CAAA"}
+{"version":3,"file":"segmentation.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/segmentation.ts"],"names":[],"mappings":"AAYA,OAAO,EAGH,KAAK,mBAAmB,EAC3B,MAAM,cAAc,CAAA;AAErB,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,KAAK,EAAmB,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAE5E,eAAO,MAAM,kBAAkB,cAAc,CAAA;AAqB7C,eAAO,MAAM,8BAA8B,OAAO,CAAA;AAElD,eAAO,MAAM,0BAA0B,mjCAQsI,CAAA;AAY7K;;;GAGG;AACH,eAAO,MAAM,2BAA2B,EAAE,wBAGzC,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACnC,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,mBAAmB,CAAC,CAY7B;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,mBAAmB,CAC7B,CAAA"}

package/dist/extensions/pipelines/base/stages/segmentation.js

@@ -11,7 +11,7 @@
 // the same job.
 import { STAGE_IDS, SegmentationOutputSchema, } from "./schemas.js";
 import { llmStage } from "../../../../lib/pipelines/stage-helpers.js";
-export const SEGMENTATION_MODEL = "gpt-5.4-mini";
+export const SEGMENTATION_MODEL = "gpt-6-sol";
 // **Output cap (v1.3.1 fix for the segmentation-truncation
 // regression).** Segmentation emits an array of `{ segmentId, text,
 // span }` records — each segment's `text` is copied verbatim from

package/dist/extensions/pipelines/base/stages/segmentation.js.map

@@ -1 +1 @@
-{"version":3,"file":"segmentation.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/segmentation.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,kEAAkE;AAClE,mEAAmE;AACnE,kCAAkC;AAClC,EAAE;AACF,+DAA+D;AAC/D,mEAAmE;AACnE,qEAAqE;AACrE,qEAAqE;AACrE,qEAAqE;AACrE,gBAAgB;AAEhB,OAAO,EACH,SAAS,EACT,wBAAwB,GAE3B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AAIrE,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAA;AAEhD,2DAA2D;AAC3D,oEAAoE;AACpE,kEAAkE;AAClE,0DAA0D;AAC1D,oEAAoE;AACpE,+DAA+D;AAC/D,sDAAsD;AACtD,iEAAiE;AACjE,kEAAkE;AAClE,+DAA+D;AAC/D,+DAA+D;AAC/D,qEAAqE;AACrE,oEAAoE;AACpE,wCAAwC;AACxC,EAAE;AACF,kEAAkE;AAClE,0DAA0D;AAC1D,qDAAqD;AACrD,qBAAqB;AACrB,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAA;AAElD,MAAM,CAAC,MAAM,0BAA0B,GAAG;;;;;;;;6KAQmI,CAAA;AAE7K,SAAS,uBAAuB,CAAC,GAAkB;IAI/C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAwB,CAAA;IAC1C,MAAM,YAAY,GAAG,kBAAkB,SAAS,CAAC,YAAY,SAAS,0BAA0B,EAAE,CAAA;IAClG,MAAM,IAAI,GAAG,kBAAkB,KAAK,CAAC,IAAI,EAAE,CAAA;IAC3C,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAA6B;IACjE,KAAK,EAAE,kBAAkB;IACzB,eAAe,EAAE,8BAA8B;CAClD,CAAA;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACnC,OAAkC;IAElC,OAAO,QAAQ,CAAsB;QACjC,EAAE,EAAE,SAAS,CAAC,YAAY;QAC1B,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,wBAAwB;QACtC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,kBAAkB;QAC3C,eAAe,EACX,OAAO,EAAE,eAAe,IAAI,8BAA8B;QAC9D,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW,EAAE,uBAAuB;KACvC,CAAC,CAAA;AACN,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC1B,uBAAuB,EAAE,CAAA"}
+{"version":3,"file":"segmentation.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/segmentation.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,kEAAkE;AAClE,mEAAmE;AACnE,kCAAkC;AAClC,EAAE;AACF,+DAA+D;AAC/D,mEAAmE;AACnE,qEAAqE;AACrE,qEAAqE;AACrE,qEAAqE;AACrE,gBAAgB;AAEhB,OAAO,EACH,SAAS,EACT,wBAAwB,GAE3B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AAIrE,MAAM,CAAC,MAAM,kBAAkB,GAAG,WAAW,CAAA;AAE7C,2DAA2D;AAC3D,oEAAoE;AACpE,kEAAkE;AAClE,0DAA0D;AAC1D,oEAAoE;AACpE,+DAA+D;AAC/D,sDAAsD;AACtD,iEAAiE;AACjE,kEAAkE;AAClE,+DAA+D;AAC/D,+DAA+D;AAC/D,qEAAqE;AACrE,oEAAoE;AACpE,wCAAwC;AACxC,EAAE;AACF,kEAAkE;AAClE,0DAA0D;AAC1D,qDAAqD;AACrD,qBAAqB;AACrB,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAA;AAElD,MAAM,CAAC,MAAM,0BAA0B,GAAG;;;;;;;;6KAQmI,CAAA;AAE7K,SAAS,uBAAuB,CAAC,GAAkB;IAI/C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAwB,CAAA;IAC1C,MAAM,YAAY,GAAG,kBAAkB,SAAS,CAAC,YAAY,SAAS,0BAA0B,EAAE,CAAA;IAClG,MAAM,IAAI,GAAG,kBAAkB,KAAK,CAAC,IAAI,EAAE,CAAA;IAC3C,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAA6B;IACjE,KAAK,EAAE,kBAAkB;IACzB,eAAe,EAAE,8BAA8B;CAClD,CAAA;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACnC,OAAkC;IAElC,OAAO,QAAQ,CAAsB;QACjC,EAAE,EAAE,SAAS,CAAC,YAAY;QAC1B,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,wBAAwB;QACtC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,kBAAkB;QAC3C,eAAe,EACX,OAAO,EAAE,eAAe,IAAI,8BAA8B;QAC9D,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW,EAAE,uBAAuB;KACvC,CAAC,CAAA;AACN,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC1B,uBAAuB,EAAE,CAAA"}

package/dist/extensions/pipelines/base/types.d.ts

@@ -54,7 +54,7 @@ export type TIngestionInput = {
  * different backend without forking the stages — e.g. pointing the
  * whole v2 pipeline at a local model
  * (`{ llm: { defaults: { model: "local-coder" } } }`) for cost-free
- * local development. Each stage keeps its own hard-coded `gpt-5.x`
+ * local development. Each stage keeps its own hard-coded model
  * default when no override is supplied, so production behavior is
  * unchanged.
  *

package/dist/extensions/pipelines/ingestion/scribe/extract-stage.d.ts

@@ -1,23 +1,25 @@
-import type { TStage } from "../../../../lib/pipelines/types.js";
+import type { TStage, TStageContext } from "../../../../lib/pipelines/types.js";
 import { type TClaimCanonicalizationOutput, type TClaimMentionExtractionOutput, type TClaimTypeClassificationOutput } from "../../base/stages/index.js";
 import type { TIngestionExtension, TLlmStageOptionsOverride } from "../../base/types.js";
 import { type TScribeExtractOutput } from "./schemas.js";
-export declare const EXTRACT_MODEL = "gpt-5.4-mini";
+export declare const EXTRACT_MODEL = "gpt-6-sol";
 /** Internal default knobs for scribe's `extract` stage. */
 export declare const EXTRACT_STAGE_DEFAULTS: TLlmStageOptionsOverride;
-export declare const EXTRACT_SYSTEM_PROMPT = "You read a raw argument and emit its canonical claim set in one pass.\n\nFor each distinct proposition the author makes, emit one canonical claim. Two phrasings of the same proposition merge into a single claim.\n\nAlso emit `mentions` \u2014 where in the input each claim is stated. One entry per place a claim is made:\n- `mentionId` \u2014 \"<claim miniId>-m\" for the first mention of a claim, then \"-m2\", \"-m3\", ... for further ones (e.g. \"c1-m\", \"c1-m2\").\n- `text` \u2014 the span of the input that states the claim, COPIED CHARACTER FOR CHARACTER from the input. Never reword, summarize, translate, correct, or join separated passages with an ellipsis, and do not change capitalization or punctuation \u2014 copy the first character exactly as the input has it, upper- or lower-case. Prefer the shortest span that states the claim on its own \u2014 usually one sentence or clause. A span that is not present in the input verbatim is discarded, and the claim loses its link back to the source.\n- `span` \u2014 approximate `{ start, end }` character offsets of that text in the input. A rough estimate is fine; the text is what is trusted.\n- `segmentId` \u2014 the empty string.\n\nEach canonical claim carries:\n- `miniId` \u2014 assign in order: c1, c2, c3, ...\n- `mentionIds` \u2014 the `mentionId`s of every mention that states this claim.\n- `type` \u2014 \"normal\" (a primary proposition), \"citation\" (content is \"the cited source asserts X\"; populate `url` + `title`, and set `citationTypeGuess`), or \"axiomatic\" (invoked as self-evident; populate `axiom`).\n- `citationTypeGuess` (citation claims only) \u2014 your best guess at the source's IEEE reference type, chosen from the allowed values in your output schema (e.g. \"JournalArticle\", \"NewspaperArticle\", \"Book\", \"Website\", \"GovernmentPublication\", \u2026). Use \"unknown\" when no IEEE type fits or you cannot tell.\n- `suggestedSymbol` \u2014 a short PascalCase-or-snake_case identifier (letters/digits/underscores, starts with a letter or underscore, under 32 chars). Avoid single letters and generic names.\n- the extension fields your output schema requires (title, body, url, axiom \u2014 whichever apply to the claim's type).\n- `mentionToClaim` \u2014 one `{ \"mentionId\": \"...\", \"claimMiniId\": \"...\" }` entry per mention id you used.\n\nStyle:\n- Third-person, present-tense, active voice.\n- State the proposition itself \u2014 never \"The author claims that ...\". For a citation claim, the title summarizes what the source asserts.\n\nOutput ONLY the schema-shaped object. No prose.";
+export declare const EXTRACT_SYSTEM_PROMPT = "You read a raw argument and emit its canonical claim set in one pass.\n\nFor each distinct proposition the author makes, emit one canonical claim. Two phrasings of the same proposition merge into a single claim.\n\nEvery explicit link or URL the author offers as evidence becomes its own citation claim \u2014 one per distinct link, even when several links sit in one sentence or a link backs a claim you also emit as a normal claim.\n\nLines that begin with \"> \" quote someone else, usually the person the author is replying to. They are not the author's claims: never emit a claim from them, and use them only to understand what the author is responding to.\n\nAlso emit `mentions` \u2014 where in the input each claim is stated. One entry per place a claim is made:\n- `mentionId` \u2014 \"<claim miniId>-m\" for the first mention of a claim, then \"-m2\", \"-m3\", ... for further ones (e.g. \"c1-m\", \"c1-m2\").\n- `text` \u2014 the span of the input that states the claim, COPIED CHARACTER FOR CHARACTER from the input. Never reword, summarize, translate, correct, or join separated passages with an ellipsis, and do not change capitalization or punctuation \u2014 copy the first character exactly as the input has it, upper- or lower-case. Prefer the shortest span that states the claim on its own \u2014 usually one sentence or clause. A span that is not present in the input verbatim is discarded, and the claim loses its link back to the source.\n- `span` \u2014 approximate `{ start, end }` character offsets of that text in the input. A rough estimate is fine; the text is what is trusted.\n- `segmentId` \u2014 the empty string.\n\nEach canonical claim carries:\n- `miniId` \u2014 assign in order: c1, c2, c3, ...\n- `mentionIds` \u2014 the `mentionId`s of every mention that states this claim.\n- `type` \u2014 \"normal\" (a primary proposition), \"citation\" (content is \"the cited source asserts X\"; populate `url` + `title`, and set `citationTypeGuess`), or \"axiomatic\" (invoked as self-evident; populate `axiom`).\n- `url` (citation claims only) \u2014 a URL copied from the input exactly as written, scheme included. Never build one from a site name, domain or title (\"www.example.org\" is not \"https://www.example.org/\"); when the input gives the source no URL, use the empty string.\n- `citationTypeGuess` (citation claims only) \u2014 your best guess at the source's IEEE reference type, chosen from the allowed values in your output schema (e.g. \"JournalArticle\", \"NewspaperArticle\", \"Book\", \"Website\", \"GovernmentPublication\", \u2026). Use \"unknown\" when no IEEE type fits or you cannot tell.\n- `suggestedSymbol` \u2014 a short PascalCase-or-snake_case identifier (letters/digits/underscores, starts with a letter or underscore, under 32 chars). Avoid single letters and generic names.\n- the extension fields your output schema requires (title, body, url, axiom \u2014 whichever apply to the claim's type).\n- `mentionToClaim` \u2014 one `{ \"mentionId\": \"...\", \"claimMiniId\": \"...\" }` entry per mention id you used.\n- `sourceSupport` \u2014 one `{ \"sourceMiniId\": \"...\", \"supportedMiniId\": \"...\" }` entry per citation claim and per axiomatic claim: its miniId, and the miniId of the normal claim it is offered as evidence for, or invoked to justify \u2014 usually the claim stated in the same sentence, or just before it. The supported claim must be a normal claim, never a citation or axiomatic one.\n\nStyle:\n- Third-person, present-tense, active voice.\n- State the proposition itself \u2014 never \"The author claims that ...\". For a citation claim, the title summarizes what the source asserts.\n\nOutput ONLY the schema-shaped object. No prose.";
 /**
  * Build scribe's `extract` LLM stage. Its `outputSchema` is the
  * per-extension canonicalization schema widened with the mention slot,
  * so the cheap model is asked for the same extension-shaped claim
  * records (title/body/url/axiom) scholar's canonicalizer produces —
  * without which finalize would assemble empty claims — plus the quoted
- * spans those claims came from.
+ * spans those claims came from, plus which claim each source supports.
  */
 export declare function createExtractStage(extension: TIngestionExtension, options?: TLlmStageOptionsOverride): TStage<TScribeExtractOutput>;
 /**
  * Adapter — republish `extract`'s canonical claims under the
- * canonicalization slot scholar's deterministic stages + finalize read.
+ * canonicalization slot scholar's deterministic stages + finalize read,
+ * after `settleCitations` has checked their urls and merged citations of
+ * the same page.
  *
  * It picks the two keys rather than passing the whole output through:
  * the canonicalization envelope is `additionalProperties: false`, so
@@ -28,6 +30,52 @@ export declare function createExtractStage(extension: TIngestionExtension, optio
  * the extension's claim fields.
  */
 export declare function createExtractCanonicalizationAdapterStage(extension: TIngestionExtension): TStage<TClaimCanonicalizationOutput>;
+type TAddFailure = TStageContext["addFailure"];
+/**
+ * `extract`'s output with its citations settled: a url the input does not
+ * contain is cleared (`SOURCE_URL_NOT_IN_TEXT_FAILURE_CODE`), one it
+ * contains in a slightly different form takes the text's form, and
+ * citations of the same page are merged into one
+ * (`SOURCE_DUPLICATE_MERGED_FAILURE_CODE`) — the first, unless it is an
+ * archive copy and the original is also cited. The kept citation takes
+ * the merged ones' mentions and supports what any of them supported.
+ *
+ * Deterministic, so every stage that reads `extract` directly can call it
+ * and see the same claim set; only one of them should report.
+ */
+export declare function settleCitations(extract: TScribeExtractOutput | undefined, inputText: string, addFailure: TAddFailure): TScribeExtractOutput | undefined;
+/**
+ * Warning code for a citation url `extract` reported that the input does
+ * not contain. A model asked for a source's url will build one from a bare
+ * site name ("www.gutenberg.org" in a reference list becomes
+ * "https://www.gutenberg.org/"), and a link the author never gave is worse
+ * than none — so the url is cleared and the citation kept, since the
+ * source itself is still named in the text.
+ */
+export declare const SOURCE_URL_NOT_IN_TEXT_FAILURE_CODE = "SOURCE_URL_NOT_IN_TEXT";
+/**
+ * Warning code for citations merged because their urls name the same page.
+ * A reference list often links one work several ways — an archive copy
+ * beside the original, `/index.html` beside `/` — and each became its own
+ * citation claim. `context` carries `keptMiniId` and `mergedMiniIds`.
+ */
+export declare const SOURCE_DUPLICATE_MERGED_FAILURE_CODE = "SOURCE_DUPLICATE_MERGED";
+/**
+ * What two citation urls must share to name the same page: the url with
+ * an archive copy unwrapped to its original, http and https treated alike,
+ * the host lowercased and without a leading "www.", a trailing
+ * "index.html" or "index.htm" and a trailing slash dropped, and a DOI
+ * read the same through either resolver with its path percent-decoded.
+ * The fragment is kept: it names a place in the page, as a page number
+ * names one in a book.
+ */
+export declare function citationUrlKey(url: string): string;
+/**
+ * The url as the input writes it, if the input contains it: the same link
+ * with only differences that cannot change where it goes — the case of the
+ * scheme and host, http for https or the reverse, and a trailing slash.
+ */
+export declare function findUrlInText(url: string, text: string): string | undefined;
 /**
  * Adapter — republish `extract`'s mentions under the mention slot
  * finalize resolves into each claim's source anchors.
@@ -39,11 +87,14 @@ export declare function createExtractCanonicalizationAdapterStage(extension: TIn
  */
 export declare const extractMentionAdapterStage: TStage<TClaimMentionExtractionOutput>;
 /**
- * Adapter — derive the classification slot from `extract`'s claim
- * records: each canonical claim already carries its `type`, so the
- * classification entry is `{ miniId, type, sourceString }`.
- * `sourceString` is the claim's `url` when present (citation claims),
- * else null — mirroring what scholar's classification stage records.
+ * Adapter — derive the classification slot from the canonical claim
+ * records: each one already carries its `type`, so the classification
+ * entry is `{ miniId, type, sourceString }`. `sourceString` is the claim's
+ * `url` when present (citation claims), else null — mirroring what
+ * scholar's classification stage records. It reads the canonicalization
+ * slot rather than `extract` itself, so a url that adapter cleared is not
+ * carried here.
  */
 export declare const extractClassificationAdapterStage: TStage<TClaimTypeClassificationOutput>;
+export {};
 //# sourceMappingURL=extract-stage.d.ts.map

package/dist/extensions/pipelines/ingestion/scribe/extract-stage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"extract-stage.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/extract-stage.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,EAKH,KAAK,4BAA4B,EACjC,KAAK,6BAA6B,EAClC,KAAK,8BAA8B,EACtC,MAAM,4BAA4B,CAAA;AACnC,OAAO,KAAK,EACR,mBAAmB,EAEnB,wBAAwB,EAC3B,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAEH,KAAK,oBAAoB,EAC5B,MAAM,cAAc,CAAA;AAErB,eAAO,MAAM,aAAa,iBAAiB,CAAA;AAE3C,2DAA2D;AAC3D,eAAO,MAAM,sBAAsB,EAAE,wBAEpC,CAAA;AAED,eAAO,MAAM,qBAAqB,2iFAuBc,CAAA;AAYhD;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAC9B,SAAS,EAAE,mBAAmB,EAC9B,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,oBAAoB,CAAC,CAW9B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,yCAAyC,CACrD,SAAS,EAAE,mBAAmB,GAC/B,MAAM,CAAC,4BAA4B,CAAC,CAatC;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,EAAE,MAAM,CAAC,6BAA6B,CAUvE,CAAA;AAEN;;;;;;GAMG;AACH,eAAO,MAAM,iCAAiC,EAAE,MAAM,CAAC,8BAA8B,CAmB/E,CAAA"}
+{"version":3,"file":"extract-stage.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/extract-stage.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAA;AAC/E,OAAO,EAKH,KAAK,4BAA4B,EACjC,KAAK,6BAA6B,EAClC,KAAK,8BAA8B,EACtC,MAAM,4BAA4B,CAAA;AACnC,OAAO,KAAK,EACR,mBAAmB,EAEnB,wBAAwB,EAC3B,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAEH,KAAK,oBAAoB,EAC5B,MAAM,cAAc,CAAA;AAErB,eAAO,MAAM,aAAa,cAAc,CAAA;AAExC,2DAA2D;AAC3D,eAAO,MAAM,sBAAsB,EAAE,wBAEpC,CAAA;AAED,eAAO,MAAM,qBAAqB,0oHA6Bc,CAAA;AAYhD;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAC9B,SAAS,EAAE,mBAAmB,EAC9B,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,oBAAoB,CAAC,CAW9B;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,yCAAyC,CACrD,SAAS,EAAE,mBAAmB,GAC/B,MAAM,CAAC,4BAA4B,CAAC,CAiBtC;AAED,KAAK,WAAW,GAAG,aAAa,CAAC,YAAY,CAAC,CAAA;AAE9C;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAC3B,OAAO,EAAE,oBAAoB,GAAG,SAAS,EACzC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,WAAW,GACxB,oBAAoB,GAAG,SAAS,CAkFlC;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,mCAAmC,2BAA2B,CAAA;AAE3E;;;;;GAKG;AACH,eAAO,MAAM,oCAAoC,4BAA4B,CAAA;AAM7E;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAiBlD;AAUD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAsC3E;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,EAAE,MAAM,CAAC,6BAA6B,CAUvE,CAAA;AAEN;;;;;;;;GAQG;AACH,eAAO,MAAM,iCAAiC,EAAE,MAAM,CAAC,8BAA8B,CAmB/E,CAAA"}