@proposit/proposit-core 1.11.0 → 2.1.0

package/dist/extensions/pipelines/ingestion/scholar/scholar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scholar.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scholar/scholar.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,EAAE;AACF,0EAA0E;AAC1E,yEAAyE;AACzE,kEAAkE;AAClE,sEAAsE;AACtE,mEAAmE;AACnE,iDAAiD;AACjD,EAAE;AACF,OAAO;AACP,EAAE;AACF,iBAAiB;AACjB,gEAAgE;AAChE,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAC/D,qEAAqE;AACrE,8DAA8D;AAC9D,sEAAsE;AACtE,8DAA8D;AAC9D,qEAAqE;AACrE,8DAA8D;AAC9D,oEAAoE;AACpE,iEAAiE;AACjE,EAAE;AACF,2EAA2E;AAC3E,2DAA2D;AAE3D,OAAO,IAAI,MAAM,SAAS,CAAA;AAC1B,OAAO,EACH,SAAS,EACT,6BAA6B,EAC7B,kCAAkC,EAClC,kCAAkC,EAClC,gCAAgC,EAChC,iCAAiC,EACjC,kCAAkC,EAClC,8BAA8B,EAC9B,6BAA6B,EAC7B,uBAAuB,EACvB,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,EACvB,2BAA2B,EAC3B,uCAAuC,EACvC,wCAAwC,EACxC,wCAAwC,EACxC,qCAAqC,EACrC,wCAAwC,EACxC,kCAAkC,EAClC,mCAAmC,GACtC,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAA;AAG7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAA;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAA;AAOhF,MAAM,WAAW,GAAG,4BAA4B,CAAA;AAChD,MAAM,gBAAgB,GAAG,OAAO,CAAA;AAEhC;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CACtC,CAAC,CAAA;AA0BF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CACjC,SAA8B,EAC9B,OAAuC;IAEvC,MAAM,GAAG,GAAG,OAAO,EAAE,GAAG,CAAA;IACxB,MAAM,iBAAiB,GAAG,uBAAuB,CAC7C,sBAAsB,CAClB,SAAS,CAAC,YAAY,EACtB,2BAA2B,EAC3B,GAAG,CACN,CACJ,CAAA;IACD,MAAM,2BAA2B,GAAG,iCAAiC,CACjE,sBAAsB,CAClB,SAAS,CAAC,sBAAsB,EAChC,uCAAuC,EACvC,GAAG,CACN,CACJ,CAAA;IACD,MAAM,4BAA4B,GAAG,kCAAkC,CACnE,sBAAsB,CAClB,SAAS,CAAC,uBAAuB,EACjC,wCAAwC,EACxC,GAAG,CACN,CACJ,CAAA;IACD,MAAM,4BAA4B,GAAG,kCAAkC,CACnE,sBAAsB,CAClB,SAAS,CAAC,uBAAuB,EACjC,wCAAwC,EACxC,GAAG,CACN,CACJ,CAAA;IACD,MAAM,qBAAqB,GAAG,gCAAgC,CAC1D,SAAS,EACT,sBAAsB,CAClB,SAAS,CAAC,qBAAqB,EAC/B,qCAAqC,EACrC,GAAG,CACN,CACJ,CAAA;IACD,MAAM,4BAA4B,GAAG,kCAAkC,CACnE,sBAAsB,CAClB,SAAS,CAAC,uBAAuB,EACjC,wCAAwC,EACxC,GAAG,CACN,CACJ,CAAA;IACD,MAAM,uBAAuB,GAAG,6BAA6B,CACzD,sBAAsB,CAClB,SAAS,CAAC,kBAAkB,EAC5B,kCAAkC,EAClC,GAAG,CACN,CACJ,CAAA;IACD,MAAM,wBAAwB,GAAG,8BAA8B,CAC3D,sBAAsB,CAClB,SAAS,CAAC,mBAAmB,EAC7B,mCAAmC,EACnC,GAAG,CACN,CACJ,CAAA;IACD,MAAM,MAAM,GAA+B;QACvC,iBAAiB;QACjB,2BAA2B;QAC3B,4BAA4B;QAC5B,4BAA4B;QAC5B,qBAAqB;QACrB,4BAA4B;QAC5B,6BAA6B;QAC7B,uBAAuB;QACvB,uBAAuB;QACvB,wBAAwB;QACxB,uBAAuB;QACvB,sBAAsB;KACK,CAAA;IAE/B,OAAO;QACH,EAAE,EAAE,WAAW;QACf,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,sBAAsB;QACnC,8DAA8D;QAC9D,2DAA2D;QAC3D,4DAA4D;QAC5D,mCAAmC;QACnC,YAAY,EAAE,SAAS,CAAC,cAAc;QACtC,MAAM;QACN,QAAQ,EAAE;YACN,SAAS,EAAE;gBACP,SAAS,CAAC,qBAAqB;gBAC/B,SAAS,CAAC,kBAAkB;gBAC5B,SAAS,CAAC,kBAAkB;gBAC5B,QAAQ,CAAC,SAAS,CAAC,uBAAuB,CAAC;gBAC3C,QAAQ,CAAC,SAAS,CAAC,kBAAkB,CAAC;gBACtC,QAAQ,CAAC,SAAS,CAAC,mBAAmB,CAAC;gBACvC,QAAQ,CAAC,SAAS,CAAC,iBAAiB,CAAC;gBACrC,QAAQ,CAAC,SAAS,CAAC,wBAAwB,CAAC;aAC/C;YACD,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;SACvD;KACJ,CAAA;AACL,CAAC"}

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

@@ -0,0 +1,33 @@
+import type { TStage } from "../../../../lib/pipelines/types.js";
+import { type TClaimCanonicalizationOutput, type TClaimTypeClassificationOutput } from "../../base/stages/index.js";
+import type { TIngestionExtension, TLlmStageOptionsOverride } from "../../base/types.js";
+export declare const EXTRACT_MODEL = "gpt-5.4-mini";
+/** 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\nEach canonical claim carries:\n- `miniId` \u2014 assign in order: c1, c2, c3, ...\n- `mentionIds` \u2014 leave as a single synthetic id per claim (e.g. [\"c1-m\"]); scribe does not track sub-claim mentions.\n- `type` \u2014 \"normal\" (a primary proposition), \"citation\" (content is \"the cited source asserts X\"; populate `url` + `title`), or \"axiomatic\" (invoked as self-evident; populate `axiom`).\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 synthetic 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.";
+/**
+ * Build scribe's `extract` LLM stage. Its `outputSchema` is the
+ * per-extension canonicalization schema, 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.
+ */
+export declare function createExtractStage(extension: TIngestionExtension, options?: TLlmStageOptionsOverride): TStage<TClaimCanonicalizationOutput>;
+/**
+ * Adapter — republish `extract`'s canonical claims under the
+ * canonicalization slot scholar's deterministic stages + finalize read.
+ * `extract` already emits the canonicalization shape, so this is a
+ * pass-through (with a defensive empty default). Built per-extension
+ * because the canonicalization slot's schema carries the extension's
+ * claim fields.
+ */
+export declare function createExtractCanonicalizationAdapterStage(extension: TIngestionExtension): TStage<TClaimCanonicalizationOutput>;
+/**
+ * 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.
+ */
+export declare const extractClassificationAdapterStage: TStage<TClaimTypeClassificationOutput>;
+//# sourceMappingURL=extract-stage.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extract-stage.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/extract-stage.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,EAIH,KAAK,4BAA4B,EACjC,KAAK,8BAA8B,EACtC,MAAM,4BAA4B,CAAA;AACnC,OAAO,KAAK,EACR,mBAAmB,EAEnB,wBAAwB,EAC3B,MAAM,qBAAqB,CAAA;AAE5B,eAAO,MAAM,aAAa,iBAAiB,CAAA;AAE3C,2DAA2D;AAC3D,eAAO,MAAM,sBAAsB,EAAE,wBAEpC,CAAA;AAED,eAAO,MAAM,qBAAqB,wyCAgBc,CAAA;AAYhD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAC9B,SAAS,EAAE,mBAAmB,EAC9B,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,4BAA4B,CAAC,CAWtC;AAED;;;;;;;GAOG;AACH,wBAAgB,yCAAyC,CACrD,SAAS,EAAE,mBAAmB,GAC/B,MAAM,CAAC,4BAA4B,CAAC,CAWtC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,iCAAiC,EAAE,MAAM,CAAC,8BAA8B,CAmB/E,CAAA"}

package/dist/extensions/pipelines/ingestion/scribe/extract-stage.js

@@ -0,0 +1,103 @@
+// scribe stage 1 — `extract`: one cheap LLM call that produces the
+// canonical claim set (the same per-extension canonicalization shape
+// scholar's `claim-canonicalization` stage emits), collapsing scholar's
+// segmentation, claim-mention, citation-source, axiom-indicator,
+// canonicalization, and type-classification stages.
+//
+// Because a stage writes exactly one output slot, `extract` is paired
+// with two deterministic adapter stages that republish its parts under
+// the canonicalization and classification slots scholar's deterministic
+// backend + `finalizeResponseV2` read.
+import { llmStage } from "../../../../lib/pipelines/stage-helpers.js";
+import { deterministicStage } from "../../../../lib/pipelines/stage-helpers.js";
+import { STAGE_IDS, buildResponseSchema, ClaimTypeClassificationOutputSchema, } from "../../base/stages/index.js";
+export const EXTRACT_MODEL = "gpt-5.4-mini";
+/** Internal default knobs for scribe's `extract` stage. */
+export const EXTRACT_STAGE_DEFAULTS = {
+    model: EXTRACT_MODEL,
+};
+export const EXTRACT_SYSTEM_PROMPT = `You read a raw argument and emit its canonical claim set in one pass.
+
+For each distinct proposition the author makes, emit one canonical claim. Two phrasings of the same proposition merge into a single claim.
+
+Each canonical claim carries:
+- \`miniId\` — assign in order: c1, c2, c3, ...
+- \`mentionIds\` — leave as a single synthetic id per claim (e.g. ["c1-m"]); scribe does not track sub-claim mentions.
+- \`type\` — "normal" (a primary proposition), "citation" (content is "the cited source asserts X"; populate \`url\` + \`title\`), or "axiomatic" (invoked as self-evident; populate \`axiom\`).
+- \`suggestedSymbol\` — 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.
+- the extension fields your output schema requires (title, body, url, axiom — whichever apply to the claim's type).
+- \`mentionToClaim\` — one \`{ "mentionId": "...", "claimMiniId": "..." }\` entry per synthetic mention id you used.
+
+Style:
+- Third-person, present-tense, active voice.
+- State the proposition itself — never "The author claims that ...". For a citation claim, the title summarizes what the source asserts.
+
+Output ONLY the schema-shaped object. No prose.`;
+function buildExtractPrompt(ctx) {
+    const input = ctx.input;
+    const system = `<!-- stage-id: ${STAGE_IDS.extract} -->\n${EXTRACT_SYSTEM_PROMPT}`;
+    const user = `Input text:\n\n${input.text}\n\nProduce the canonicalClaims + mentionToClaim object.`;
+    return { system, user };
+}
+/**
+ * Build scribe's `extract` LLM stage. Its `outputSchema` is the
+ * per-extension canonicalization schema, 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.
+ */
+export function createExtractStage(extension, options) {
+    return llmStage({
+        id: STAGE_IDS.extract,
+        dependsOn: [],
+        outputSchema: buildResponseSchema(extension),
+        model: options?.model ?? EXTRACT_MODEL,
+        maxOutputTokens: options?.maxOutputTokens,
+        reasoningEffort: options?.reasoningEffort,
+        retry: options?.retry,
+        buildPrompt: buildExtractPrompt,
+    });
+}
+/**
+ * Adapter — republish `extract`'s canonical claims under the
+ * canonicalization slot scholar's deterministic stages + finalize read.
+ * `extract` already emits the canonicalization shape, so this is a
+ * pass-through (with a defensive empty default). Built per-extension
+ * because the canonicalization slot's schema carries the extension's
+ * claim fields.
+ */
+export function createExtractCanonicalizationAdapterStage(extension) {
+    return deterministicStage({
+        id: STAGE_IDS.claimCanonicalization,
+        dependsOn: [STAGE_IDS.extract],
+        outputSchema: buildResponseSchema(extension),
+        fn: (ctx) => ctx.get(STAGE_IDS.extract) ?? {
+            canonicalClaims: [],
+            mentionToClaim: [],
+        },
+    });
+}
+/**
+ * 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.
+ */
+export const extractClassificationAdapterStage = deterministicStage({
+    id: STAGE_IDS.claimTypeClassification,
+    dependsOn: [STAGE_IDS.extract],
+    outputSchema: ClaimTypeClassificationOutputSchema,
+    fn: (ctx) => {
+        const canon = ctx.get(STAGE_IDS.extract);
+        const claims = canon?.canonicalClaims ?? [];
+        return {
+            classifications: claims.map((c) => {
+                const url = c.url;
+                const sourceString = typeof url === "string" && url.length > 0 ? url : null;
+                return { miniId: c.miniId, type: c.type, sourceString };
+            }),
+        };
+    },
+});
+//# sourceMappingURL=extract-stage.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extract-stage.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/extract-stage.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,qEAAqE;AACrE,wEAAwE;AACxE,iEAAiE;AACjE,oDAAoD;AACpD,EAAE;AACF,sEAAsE;AACtE,uEAAuE;AACvE,wEAAwE;AACxE,uCAAuC;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAA;AAE/E,OAAO,EACH,SAAS,EACT,mBAAmB,EACnB,mCAAmC,GAGtC,MAAM,4BAA4B,CAAA;AAOnC,MAAM,CAAC,MAAM,aAAa,GAAG,cAAc,CAAA;AAE3C,2DAA2D;AAC3D,MAAM,CAAC,MAAM,sBAAsB,GAA6B;IAC5D,KAAK,EAAE,aAAa;CACvB,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG;;;;;;;;;;;;;;;;gDAgBW,CAAA;AAEhD,SAAS,kBAAkB,CAAC,GAAkB;IAI1C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAwB,CAAA;IAC1C,MAAM,MAAM,GAAG,kBAAkB,SAAS,CAAC,OAAO,SAAS,qBAAqB,EAAE,CAAA;IAClF,MAAM,IAAI,GAAG,kBAAkB,KAAK,CAAC,IAAI,0DAA0D,CAAA;IACnG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAC9B,SAA8B,EAC9B,OAAkC;IAElC,OAAO,QAAQ,CAA+B;QAC1C,EAAE,EAAE,SAAS,CAAC,OAAO;QACrB,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,mBAAmB,CAAC,SAAS,CAAC;QAC5C,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,aAAa;QACtC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW,EAAE,kBAAkB;KAClC,CAAC,CAAA;AACN,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yCAAyC,CACrD,SAA8B;IAE9B,OAAO,kBAAkB,CAA+B;QACpD,EAAE,EAAE,SAAS,CAAC,qBAAqB;QACnC,SAAS,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;QAC9B,YAAY,EAAE,mBAAmB,CAAC,SAAS,CAAC;QAC5C,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CACR,GAAG,CAAC,GAAG,CAA+B,SAAS,CAAC,OAAO,CAAC,IAAI;YACxD,eAAe,EAAE,EAAE;YACnB,cAAc,EAAE,EAAE;SACrB;KACR,CAAC,CAAA;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAC1C,kBAAkB,CAAiC;IAC/C,EAAE,EAAE,SAAS,CAAC,uBAAuB;IACrC,SAAS,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;IAC9B,YAAY,EAAE,mCAAmC;IACjD,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;QACR,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CACjB,SAAS,CAAC,OAAO,CACpB,CAAA;QACD,MAAM,MAAM,GAAG,KAAK,EAAE,eAAe,IAAI,EAAE,CAAA;QAC3C,OAAO;YACH,eAAe,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC9B,MAAM,GAAG,GAAI,CAA6B,CAAC,GAAG,CAAA;gBAC9C,MAAM,YAAY,GACd,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA;gBAC1D,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,CAAA;YAC3D,CAAC,CAAC;SACL,CAAA;IACL,CAAC;CACJ,CAAC,CAAA"}

package/dist/extensions/pipelines/ingestion/scribe/index.d.ts

@@ -0,0 +1,3 @@
+export { createScribePipeline } from "./scribe.js";
+export type { TCreateScribePipelineOptions } from "./scribe.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/extensions/pipelines/ingestion/scribe/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAClD,YAAY,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAA"}

package/dist/extensions/pipelines/ingestion/scribe/index.js

@@ -0,0 +1,3 @@
+// Barrel for the scribe (fast, two-call) ingestion pipeline.
+export { createScribePipeline } from "./scribe.js";
+//# sourceMappingURL=index.js.map

package/dist/extensions/pipelines/ingestion/scribe/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/index.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA"}

package/dist/extensions/pipelines/ingestion/scribe/schemas.d.ts

@@ -0,0 +1,17 @@
+import Type, { type Static } from "typebox";
+export declare const ScribeStructureOutputSchema: Type.TObject<{
+    relations: Type.TArray<Type.TObject<{
+        relationId: Type.TString;
+        type: Type.TUnion<[Type.TLiteral<"support">, Type.TLiteral<"joint-support">, Type.TLiteral<"derivation-support">]>;
+        sources: Type.TArray<Type.TString>;
+        target: Type.TString;
+        evidence: Type.TObject<{
+            segmentIds: Type.TArray<Type.TString>;
+            quote: Type.TString;
+        }>;
+    }>>;
+    conclusionCandidates: Type.TArray<Type.TString>;
+    rationale: Type.TString;
+}>;
+export type TScribeStructureOutput = Static<typeof ScribeStructureOutputSchema>;
+//# sourceMappingURL=schemas.d.ts.map

package/dist/extensions/pipelines/ingestion/scribe/schemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/schemas.ts"],"names":[],"mappings":"AAeA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;EAOvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}

package/dist/extensions/pipelines/ingestion/scribe/schemas.js

@@ -0,0 +1,26 @@
+// Output schemas for scribe's two cheap LLM stages.
+//
+// scribe collapses scholar's eight LLM stages into two combined calls:
+//   - `extract`  → the canonical claim set (the same per-extension
+//     canonicalization shape scholar emits), so its deterministic
+//     adapters can republish the canonicalization + classification
+//     slots scholar's backend reads.
+//   - `structure` → the relation graph + a confidence-ranked list of
+//     conclusion candidates, so its adapters can republish the
+//     relation-extraction + conclusion-selection slots.
+//
+// `extract`'s output schema is the per-extension canonicalization
+// schema itself (`buildResponseSchema(extension)`); only `structure`
+// needs a bespoke schema, defined here.
+import Type, {} from "typebox";
+import { RelationExtractionOutputSchema } from "../../base/stages/index.js";
+// `structure` emits the relation graph (same per-relation shape as
+// scholar's `relation-extraction`) plus the conclusion candidates +
+// rationale (same fields scholar's conclusion-selection LLM emits,
+// before the deterministic resolution the adapter reproduces).
+export const ScribeStructureOutputSchema = Type.Object({
+    relations: RelationExtractionOutputSchema.properties.relations,
+    conclusionCandidates: Type.Array(Type.String()),
+    rationale: Type.String(),
+}, { additionalProperties: false });
+//# sourceMappingURL=schemas.js.map

package/dist/extensions/pipelines/ingestion/scribe/schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/schemas.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,EAAE;AACF,uEAAuE;AACvE,mEAAmE;AACnE,kEAAkE;AAClE,mEAAmE;AACnE,qCAAqC;AACrC,qEAAqE;AACrE,+DAA+D;AAC/D,wDAAwD;AACxD,EAAE;AACF,kEAAkE;AAClE,qEAAqE;AACrE,wCAAwC;AAExC,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAA;AAE3E,mEAAmE;AACnE,oEAAoE;AACpE,mEAAmE;AACnE,+DAA+D;AAC/D,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAClD;IACI,SAAS,EAAE,8BAA8B,CAAC,UAAU,CAAC,SAAS;IAC9D,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;CAC3B,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAClC,CAAA"}

package/dist/extensions/pipelines/ingestion/scribe/scribe.d.ts

@@ -0,0 +1,20 @@
+import type { TPipeline } from "../../../../lib/pipelines/index.js";
+import type { TParsedArgumentResponse } from "../../../../lib/parsing/index.js";
+import type { TIngestionExtension, TIngestionInput, TIngestionLlmOptions } from "../../base/types.js";
+/**
+ * Options for `createScribePipeline`. Same `{ llm }` surface as scholar:
+ * `llm.defaults` applies to both cheap LLM stages; per-stage
+ * `llm.overrides` are keyed by `STAGE_IDS.extract` / `.scribeStructure`.
+ */
+export type TCreateScribePipelineOptions = {
+    llm?: TIngestionLlmOptions;
+};
+/**
+ * Build the scribe (fast) ingestion pipeline for the supplied
+ * extension: `extract` + `structure` cheap LLM calls, their
+ * deterministic adapters, then scholar's 4 deterministic stages +
+ * `finalizeResponseV2`. Emits the same `TParsedArgumentResponse` as
+ * scholar.
+ */
+export declare function createScribePipeline(extension: TIngestionExtension, options?: TCreateScribePipelineOptions): TPipeline<TIngestionInput, TParsedArgumentResponse>;
+//# sourceMappingURL=scribe.d.ts.map

package/dist/extensions/pipelines/ingestion/scribe/scribe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scribe.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/scribe.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,SAAS,EAAU,MAAM,oCAAoC,CAAA;AAC3E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAU/E,OAAO,KAAK,EACR,mBAAmB,EACnB,eAAe,EACf,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAkB5B;;;;GAIG;AACH,MAAM,MAAM,4BAA4B,GAAG;IACvC,GAAG,CAAC,EAAE,oBAAoB,CAAA;CAC7B,CAAA;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAChC,SAAS,EAAE,mBAAmB,EAC9B,OAAO,CAAC,EAAE,4BAA4B,GACvC,SAAS,CAAC,eAAe,EAAE,uBAAuB,CAAC,CAoDrD"}

package/dist/extensions/pipelines/ingestion/scribe/scribe.js

@@ -0,0 +1,81 @@
+// scribe — the fast, low-cost ingestion pipeline.
+//
+// Two cheap LLM calls (`extract` → `structure`) feed scholar's
+// deterministic backend, producing the same `TParsedArgumentResponse`
+// shape scholar emits. Each combined LLM stage is paired with
+// deterministic adapter stages that republish its parts under the six
+// standard stage-output slots scholar's 4 deterministic stages +
+// `finalizeResponseV2` read — so that backend + finalize are reused
+// verbatim (the deterministic stage consts are shared by reference).
+//
+// DAG:
+//
+//   extract ──┬─ (adapter) claim-canonicalization ─┬─ claim-reference-validation
+//             └─ (adapter) claim-type-classification ┤
+//                                                    └─ variable-assignment
+//   structure ─┬─ (adapter) relation-extraction
+//              └─ (adapter) conclusion-selection
+//                                          formula-compilation
+//                                          formula-validation
+//                                          finalize
+//
+// `structure` depends on the canonicalization + classification slots,
+// so `extract` (+ its adapters) runs first.
+import { optional } from "../../../../lib/pipelines/index.js";
+import { STAGE_IDS, claimReferenceValidationStage, variableAssignmentStage, formulaCompilationStage, formulaValidationStage, } from "../../base/stages/index.js";
+import { finalizeResponseV2 } from "../../base/finalize-response-v2.js";
+import { resolveLlmStageOptions } from "../../base/resolve-llm-stage-options.js";
+import { INGESTION_INPUT_SCHEMA } from "../scholar/scholar.js";
+import { createExtractStage, createExtractCanonicalizationAdapterStage, extractClassificationAdapterStage, EXTRACT_STAGE_DEFAULTS, } from "./extract-stage.js";
+import { createStructureStage, structureRelationAdapterStage, structureConclusionAdapterStage, STRUCTURE_STAGE_DEFAULTS, } from "./structure-stage.js";
+const PIPELINE_ID = "argument-ingestion-scribe";
+const PIPELINE_VERSION = "1.0.0";
+/**
+ * Build the scribe (fast) ingestion pipeline for the supplied
+ * extension: `extract` + `structure` cheap LLM calls, their
+ * deterministic adapters, then scholar's 4 deterministic stages +
+ * `finalizeResponseV2`. Emits the same `TParsedArgumentResponse` as
+ * scholar.
+ */
+export function createScribePipeline(extension, options) {
+    const llm = options?.llm;
+    const extractStage = createExtractStage(extension, resolveLlmStageOptions(STAGE_IDS.extract, EXTRACT_STAGE_DEFAULTS, llm));
+    const extractCanonicalizationAdapterStage = createExtractCanonicalizationAdapterStage(extension);
+    const structureStage = createStructureStage(resolveLlmStageOptions(STAGE_IDS.scribeStructure, STRUCTURE_STAGE_DEFAULTS, llm));
+    const stages = [
+        extractStage,
+        extractCanonicalizationAdapterStage,
+        extractClassificationAdapterStage,
+        claimReferenceValidationStage,
+        variableAssignmentStage,
+        structureStage,
+        structureRelationAdapterStage,
+        structureConclusionAdapterStage,
+        formulaCompilationStage,
+        formulaValidationStage,
+    ];
+    return {
+        id: PIPELINE_ID,
+        version: PIPELINE_VERSION,
+        inputSchema: INGESTION_INPUT_SCHEMA,
+        // Mirrors scholar: the advertised outputSchema is the
+        // extension's response schema; finalize attaches a
+        // `processingFailures` slot at runtime.
+        outputSchema: extension.responseSchema,
+        stages,
+        finalize: {
+            dependsOn: [
+                STAGE_IDS.claimCanonicalization,
+                STAGE_IDS.variableAssignment,
+                STAGE_IDS.formulaCompilation,
+                optional(STAGE_IDS.claimTypeClassification),
+                optional(STAGE_IDS.relationExtraction),
+                optional(STAGE_IDS.conclusionSelection),
+                optional(STAGE_IDS.formulaValidation),
+                optional(STAGE_IDS.claimReferenceValidation),
+            ],
+            run: (ctx) => finalizeResponseV2({ ctx, extension }),
+        },
+    };
+}
+//# sourceMappingURL=scribe.js.map

package/dist/extensions/pipelines/ingestion/scribe/scribe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scribe.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/scribe.ts"],"names":[],"mappings":"AAAA,kDAAkD;AAClD,EAAE;AACF,+DAA+D;AAC/D,sEAAsE;AACtE,8DAA8D;AAC9D,sEAAsE;AACtE,iEAAiE;AACjE,oEAAoE;AACpE,qEAAqE;AACrE,EAAE;AACF,OAAO;AACP,EAAE;AACF,iFAAiF;AACjF,uDAAuD;AACvD,4EAA4E;AAC5E,gDAAgD;AAChD,iDAAiD;AACjD,+DAA+D;AAC/D,8DAA8D;AAC9D,oDAAoD;AACpD,EAAE;AACF,sEAAsE;AACtE,4CAA4C;AAE5C,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAA;AAG7D,OAAO,EACH,SAAS,EACT,6BAA6B,EAC7B,uBAAuB,EACvB,uBAAuB,EACvB,sBAAsB,GACzB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAA;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAA;AAMhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAC9D,OAAO,EACH,kBAAkB,EAClB,yCAAyC,EACzC,iCAAiC,EACjC,sBAAsB,GACzB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,oBAAoB,EACpB,6BAA6B,EAC7B,+BAA+B,EAC/B,wBAAwB,GAC3B,MAAM,sBAAsB,CAAA;AAE7B,MAAM,WAAW,GAAG,2BAA2B,CAAA;AAC/C,MAAM,gBAAgB,GAAG,OAAO,CAAA;AAWhC;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAChC,SAA8B,EAC9B,OAAsC;IAEtC,MAAM,GAAG,GAAG,OAAO,EAAE,GAAG,CAAA;IACxB,MAAM,YAAY,GAAG,kBAAkB,CACnC,SAAS,EACT,sBAAsB,CAAC,SAAS,CAAC,OAAO,EAAE,sBAAsB,EAAE,GAAG,CAAC,CACzE,CAAA;IACD,MAAM,mCAAmC,GACrC,yCAAyC,CAAC,SAAS,CAAC,CAAA;IACxD,MAAM,cAAc,GAAG,oBAAoB,CACvC,sBAAsB,CAClB,SAAS,CAAC,eAAe,EACzB,wBAAwB,EACxB,GAAG,CACN,CACJ,CAAA;IAED,MAAM,MAAM,GAA+B;QACvC,YAAY;QACZ,mCAAmC;QACnC,iCAAiC;QACjC,6BAA6B;QAC7B,uBAAuB;QACvB,cAAc;QACd,6BAA6B;QAC7B,+BAA+B;QAC/B,uBAAuB;QACvB,sBAAsB;KACK,CAAA;IAE/B,OAAO;QACH,EAAE,EAAE,WAAW;QACf,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,sBAAsB;QACnC,sDAAsD;QACtD,mDAAmD;QACnD,wCAAwC;QACxC,YAAY,EAAE,SAAS,CAAC,cAAc;QACtC,MAAM;QACN,QAAQ,EAAE;YACN,SAAS,EAAE;gBACP,SAAS,CAAC,qBAAqB;gBAC/B,SAAS,CAAC,kBAAkB;gBAC5B,SAAS,CAAC,kBAAkB;gBAC5B,QAAQ,CAAC,SAAS,CAAC,uBAAuB,CAAC;gBAC3C,QAAQ,CAAC,SAAS,CAAC,kBAAkB,CAAC;gBACtC,QAAQ,CAAC,SAAS,CAAC,mBAAmB,CAAC;gBACvC,QAAQ,CAAC,SAAS,CAAC,iBAAiB,CAAC;gBACrC,QAAQ,CAAC,SAAS,CAAC,wBAAwB,CAAC;aAC/C;YACD,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;SACvD;KACJ,CAAA;AACL,CAAC"}

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

@@ -0,0 +1,30 @@
+import type { TStage } from "../../../../lib/pipelines/types.js";
+import { type TConclusionSelectionOutput, type TRelationExtractionOutput } from "../../base/stages/index.js";
+import type { TLlmStageOptionsOverride } from "../../base/types.js";
+import { type TScribeStructureOutput } from "./schemas.js";
+export declare const STRUCTURE_MODEL = "gpt-5.4-mini";
+/** Internal default knobs for scribe's `structure` stage. */
+export declare const STRUCTURE_STAGE_DEFAULTS: TLlmStageOptionsOverride;
+export declare const STRUCTURE_SYSTEM_PROMPT = "You read a canonical claim set \u2014 each claim's id, type, and content fields (title/body) \u2014 and emit the argument's structure.\n\nEmit:\n- `relations` \u2014 the support edges between claims. Each relation: a stable `relationId` (r1, r2, ...), a `type` of \"support\" / \"joint-support\" / \"derivation-support\", a `sources` array of supporting claim miniIds, a single `target` claim miniId, and an `evidence` object ({ segmentIds: [], quote: \"\" } is acceptable when you have no span to cite).\n- `conclusionCandidates` \u2014 the claim miniIds that could be the argument's conclusion, ordered by DECREASING confidence (best first). The conclusion is the claim other claims support but that supports nothing further. Never list a citation- or axiomatic-typed claim. Return an empty array only when there is no argument structure.\n- `rationale` \u2014 one sentence explaining your best pick (or why none qualifies).\n\nOutput ONLY the schema-shaped object. No prose.";
+/**
+ * Build scribe's `structure` LLM stage. Depends on the canonicalization
+ * + classification slots (populated by `extract`'s adapters) so the
+ * model sees the claim set + types when proposing relations + a
+ * conclusion.
+ */
+export declare function createStructureStage(options?: TLlmStageOptionsOverride): TStage<TScribeStructureOutput>;
+/**
+ * Adapter — republish `structure`'s relations under the
+ * relation-extraction slot.
+ */
+export declare const structureRelationAdapterStage: TStage<TRelationExtractionOutput>;
+/**
+ * Adapter — republish `structure`'s conclusion candidates under the
+ * conclusion-selection slot, reproducing scholar's deterministic
+ * resolution: the model's first candidate that is a normal claim, else
+ * the relation-graph fallback, else null + a `NO_SINGLE_CONCLUSION`
+ * processing failure. Emits the full `TConclusionSelectionOutput` that
+ * finalize + formula-compilation read.
+ */
+export declare const structureConclusionAdapterStage: TStage<TConclusionSelectionOutput>;
+//# sourceMappingURL=structure-stage.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"structure-stage.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/structure-stage.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,EAQH,KAAK,0BAA0B,EAC/B,KAAK,yBAAyB,EACjC,MAAM,4BAA4B,CAAA;AACnC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAA;AACnE,OAAO,EAEH,KAAK,sBAAsB,EAC9B,MAAM,cAAc,CAAA;AAErB,eAAO,MAAM,eAAe,iBAAiB,CAAA;AAE7C,6DAA6D;AAC7D,eAAO,MAAM,wBAAwB,EAAE,wBAEtC,CAAA;AAED,eAAO,MAAM,uBAAuB,s9BAOY,CAAA;AAwChD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAChC,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,sBAAsB,CAAC,CAchC;AAED;;;GAGG;AACH,eAAO,MAAM,6BAA6B,EAAE,MAAM,CAAC,yBAAyB,CAUtE,CAAA;AAEN;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,EAAE,MAAM,CAAC,0BAA0B,CAwDzE,CAAA"}

package/dist/extensions/pipelines/ingestion/scribe/structure-stage.js

@@ -0,0 +1,142 @@
+// scribe stage 2 — `structure`: one cheap LLM call that produces the
+// support relation graph + a confidence-ranked list of conclusion
+// candidates, collapsing scholar's relation-extraction and
+// conclusion-selection LLM stages. Paired with two deterministic
+// adapters that republish the relation-extraction and
+// conclusion-selection slots scholar's backend + finalize read.
+//
+// The conclusion adapter reproduces scholar's conclusion-selection
+// outer-run resolution: pick the first candidate that is a normal
+// claim, else the deterministic relation-graph fallback, else null +
+// the `NO_SINGLE_CONCLUSION` failure — so the conclusion slot carries
+// the resolved `conclusionMiniId` that finalize + formula-compilation
+// read, not the raw model candidates.
+import { llmStage } from "../../../../lib/pipelines/stage-helpers.js";
+import { deterministicStage } from "../../../../lib/pipelines/stage-helpers.js";
+import { STAGE_IDS, RelationExtractionOutputSchema, ConclusionSelectionOutputSchema, selectFallbackConclusion, CONCLUSION_SELECTION_NO_CONCLUSION_FAILURE_CODE, } from "../../base/stages/index.js";
+import { ScribeStructureOutputSchema, } from "./schemas.js";
+export const STRUCTURE_MODEL = "gpt-5.4-mini";
+/** Internal default knobs for scribe's `structure` stage. */
+export const STRUCTURE_STAGE_DEFAULTS = {
+    model: STRUCTURE_MODEL,
+};
+export const STRUCTURE_SYSTEM_PROMPT = `You read a canonical claim set — each claim's id, type, and content fields (title/body) — and emit the argument's structure.
+
+Emit:
+- \`relations\` — the support edges between claims. Each relation: a stable \`relationId\` (r1, r2, ...), a \`type\` of "support" / "joint-support" / "derivation-support", a \`sources\` array of supporting claim miniIds, a single \`target\` claim miniId, and an \`evidence\` object ({ segmentIds: [], quote: "" } is acceptable when you have no span to cite).
+- \`conclusionCandidates\` — the claim miniIds that could be the argument's conclusion, ordered by DECREASING confidence (best first). The conclusion is the claim other claims support but that supports nothing further. Never list a citation- or axiomatic-typed claim. Return an empty array only when there is no argument structure.
+- \`rationale\` — one sentence explaining your best pick (or why none qualifies).
+
+Output ONLY the schema-shaped object. No prose.`;
+function buildStructurePrompt(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.type);
+    }
+    // Mirror scholar's relation-extraction prompt: the model needs each
+    // claim's content (title/body/url/axiom), not just its id + type, to
+    // infer support edges + a conclusion. Reading only the type slot here
+    // left the model with bare `[c1] type=normal` placeholders, so it
+    // emitted no relations and scribe degraded to `argument: null`.
+    const claimLines = (canon?.canonicalClaims ?? [])
+        .map((c) => {
+        const refinedType = typeByMiniId.get(c.miniId) ?? 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 system = `<!-- stage-id: ${STAGE_IDS.scribeStructure} -->\n${STRUCTURE_SYSTEM_PROMPT}`;
+    const user = `Canonical claims (with types + content fields):\n${claimLines}\n\nEmit the relations + conclusionCandidates + rationale object.`;
+    return { system, user };
+}
+/**
+ * Build scribe's `structure` LLM stage. Depends on the canonicalization
+ * + classification slots (populated by `extract`'s adapters) so the
+ * model sees the claim set + types when proposing relations + a
+ * conclusion.
+ */
+export function createStructureStage(options) {
+    return llmStage({
+        id: STAGE_IDS.scribeStructure,
+        dependsOn: [
+            STAGE_IDS.claimCanonicalization,
+            STAGE_IDS.claimTypeClassification,
+        ],
+        outputSchema: ScribeStructureOutputSchema,
+        model: options?.model ?? STRUCTURE_MODEL,
+        maxOutputTokens: options?.maxOutputTokens,
+        reasoningEffort: options?.reasoningEffort,
+        retry: options?.retry,
+        buildPrompt: buildStructurePrompt,
+    });
+}
+/**
+ * Adapter — republish `structure`'s relations under the
+ * relation-extraction slot.
+ */
+export const structureRelationAdapterStage = deterministicStage({
+    id: STAGE_IDS.relationExtraction,
+    dependsOn: [STAGE_IDS.scribeStructure],
+    outputSchema: RelationExtractionOutputSchema,
+    fn: (ctx) => ({
+        relations: ctx.get(STAGE_IDS.scribeStructure)
+            ?.relations ?? [],
+    }),
+});
+/**
+ * Adapter — republish `structure`'s conclusion candidates under the
+ * conclusion-selection slot, reproducing scholar's deterministic
+ * resolution: the model's first candidate that is a normal claim, else
+ * the relation-graph fallback, else null + a `NO_SINGLE_CONCLUSION`
+ * processing failure. Emits the full `TConclusionSelectionOutput` that
+ * finalize + formula-compilation read.
+ */
+export const structureConclusionAdapterStage = deterministicStage({
+    id: STAGE_IDS.conclusionSelection,
+    dependsOn: [
+        STAGE_IDS.scribeStructure,
+        STAGE_IDS.claimTypeClassification,
+        STAGE_IDS.relationExtraction,
+    ],
+    outputSchema: ConclusionSelectionOutputSchema,
+    fn: (ctx) => {
+        const structure = ctx.get(STAGE_IDS.scribeStructure);
+        const candidates = structure?.conclusionCandidates ?? [];
+        const rationale = structure?.rationale ?? "";
+        const classifications = ctx.get(STAGE_IDS.claimTypeClassification)?.classifications ?? [];
+        const relations = ctx.get(STAGE_IDS.relationExtraction)
+            ?.relations ?? [];
+        const normalMiniIds = new Set(classifications
+            .filter((entry) => entry.type === "normal")
+            .map((entry) => entry.miniId));
+        const modelPick = candidates.find((miniId) => normalMiniIds.has(miniId)) ?? null;
+        const conclusionMiniId = modelPick ??
+            selectFallbackConclusion(classifications, relations);
+        const usedGraphFallback = modelPick === null && conclusionMiniId !== null;
+        if (conclusionMiniId === null) {
+            ctx.addFailure({
+                code: CONCLUSION_SELECTION_NO_CONCLUSION_FAILURE_CODE,
+                message: rationale.length > 0
+                    ? rationale
+                    : "No single conclusion could be selected.",
+                severity: "warning",
+                context: { rationale },
+            });
+        }
+        return {
+            conclusionMiniId,
+            conclusionCandidates: candidates,
+            rationale: usedGraphFallback
+                ? `Auto-selected ${conclusionMiniId} from the relation graph (the model named no usable candidate).`
+                : rationale,
+        };
+    },
+});
+//# sourceMappingURL=structure-stage.js.map

package/dist/extensions/pipelines/ingestion/scribe/structure-stage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure-stage.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/structure-stage.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,kEAAkE;AAClE,2DAA2D;AAC3D,iEAAiE;AACjE,sDAAsD;AACtD,gEAAgE;AAChE,EAAE;AACF,mEAAmE;AACnE,kEAAkE;AAClE,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,sCAAsC;AAEtC,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAA;AAE/E,OAAO,EACH,SAAS,EACT,8BAA8B,EAC9B,+BAA+B,EAC/B,wBAAwB,EACxB,+CAA+C,GAKlD,MAAM,4BAA4B,CAAA;AAEnC,OAAO,EACH,2BAA2B,GAE9B,MAAM,cAAc,CAAA;AAErB,MAAM,CAAC,MAAM,eAAe,GAAG,cAAc,CAAA;AAE7C,6DAA6D;AAC7D,MAAM,CAAC,MAAM,wBAAwB,GAA6B;IAC9D,KAAK,EAAE,eAAe;CACzB,CAAA;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;gDAOS,CAAA;AAEhD,SAAS,oBAAoB,CAAC,GAAkB;IAI5C,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,EAAkB,CAAA;IAC9C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;QACtD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IAC9C,CAAC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,sEAAsE;IACtE,kEAAkE;IAClE,gEAAgE;IAChE,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,IAAI,CAAC,CAAC,IAAI,CAAA;QACxD,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,MAAM,GAAG,kBAAkB,SAAS,CAAC,eAAe,SAAS,uBAAuB,EAAE,CAAA;IAC5F,MAAM,IAAI,GAAG,oDAAoD,UAAU,mEAAmE,CAAA;IAC9I,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;AAC3B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAChC,OAAkC;IAElC,OAAO,QAAQ,CAAyB;QACpC,EAAE,EAAE,SAAS,CAAC,eAAe;QAC7B,SAAS,EAAE;YACP,SAAS,CAAC,qBAAqB;YAC/B,SAAS,CAAC,uBAAuB;SACpC;QACD,YAAY,EAAE,2BAA2B;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,eAAe;QACxC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW,EAAE,oBAAoB;KACpC,CAAC,CAAA;AACN,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GACtC,kBAAkB,CAA4B;IAC1C,EAAE,EAAE,SAAS,CAAC,kBAAkB;IAChC,SAAS,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC;IACtC,YAAY,EAAE,8BAA8B;IAC5C,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACV,SAAS,EACL,GAAG,CAAC,GAAG,CAAyB,SAAS,CAAC,eAAe,CAAC;YACtD,EAAE,SAAS,IAAI,EAAE;KAC5B,CAAC;CACL,CAAC,CAAA;AAEN;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GACxC,kBAAkB,CAA6B;IAC3C,EAAE,EAAE,SAAS,CAAC,mBAAmB;IACjC,SAAS,EAAE;QACP,SAAS,CAAC,eAAe;QACzB,SAAS,CAAC,uBAAuB;QACjC,SAAS,CAAC,kBAAkB;KAC/B;IACD,YAAY,EAAE,+BAA+B;IAC7C,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;QACR,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,CACrB,SAAS,CAAC,eAAe,CAC5B,CAAA;QACD,MAAM,UAAU,GAAG,SAAS,EAAE,oBAAoB,IAAI,EAAE,CAAA;QACxD,MAAM,SAAS,GAAG,SAAS,EAAE,SAAS,IAAI,EAAE,CAAA;QAC5C,MAAM,eAAe,GACjB,GAAG,CAAC,GAAG,CACH,SAAS,CAAC,uBAAuB,CACpC,EAAE,eAAe,IAAI,EAAE,CAAA;QAC5B,MAAM,SAAS,GACX,GAAG,CAAC,GAAG,CAA4B,SAAS,CAAC,kBAAkB,CAAC;YAC5D,EAAE,SAAS,IAAI,EAAE,CAAA;QAEzB,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,eAAe;aACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CACpC,CAAA;QACD,MAAM,SAAS,GACX,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,IAAI,CAAA;QAClE,MAAM,gBAAgB,GAClB,SAAS;YACT,wBAAwB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAA;QACxD,MAAM,iBAAiB,GACnB,SAAS,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI,CAAA;QAEnD,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAC5B,GAAG,CAAC,UAAU,CAAC;gBACX,IAAI,EAAE,+CAA+C;gBACrD,OAAO,EACH,SAAS,CAAC,MAAM,GAAG,CAAC;oBAChB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,yCAAyC;gBACnD,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,EAAE,SAAS,EAAE;aACzB,CAAC,CAAA;QACN,CAAC;QAED,OAAO;YACH,gBAAgB;YAChB,oBAAoB,EAAE,UAAU;YAChC,SAAS,EAAE,iBAAiB;gBACxB,CAAC,CAAC,iBAAiB,gBAAgB,iEAAiE;gBACpG,CAAC,CAAC,SAAS;SAClB,CAAA;IACL,CAAC;CACJ,CAAC,CAAA"}

package/dist/lib/core/premise-engine.d.ts

@@ -57,6 +57,15 @@ export declare class PremiseEngine<TArg extends TCoreArgument = TCoreArgument, T
     private premiseSnapshot;
     private restoreFromPremiseSnapshot;
     protected withValidation<T>(fn: () => T): T;
+    /**
+     * Wraps a single expression mutation: opens a ChangeCollector, binds it
+     * to the ExpressionManager for the duration of `body`, then finalizes
+     * (checksum flush + index sync + onMutate) and returns the standard
+     * `{ result, changes }` shape. The whole thing runs inside
+     * `withValidation`, so Structural violations roll back and throw while
+     * higher-tier issues surface via `validate(tier)`.
+     */
+    private withExpressionMutation;
     deleteExpressionsUsingVariable(variableId: string): TCoreMutationResult<TExpr[], TExpr, TVar, TPremise, TArg>;
     addExpression(expression: TExpressionInput<TExpr>): TCoreMutationResult<TExpr, TExpr, TVar, TPremise, TArg>;
     appendExpression(parentId: string | null, expression: TExpressionWithoutPosition<TExpr>): TCoreMutationResult<TExpr, TExpr, TVar, TPremise, TArg>;
@@ -198,6 +207,12 @@ export declare class PremiseEngine<TArg extends TCoreArgument = TCoreArgument, T
     private finalizeExpressionMutation;
     private flushAndBuildChangeset;
     private syncExpressionIndex;
+    /**
+     * Records a newly-added variable expression in the by-variable index.
+     * No-op for non-variable expressions. Mirrors the per-variable entry
+     * that `rebuildVariableIndex` produces on bulk load.
+     */
+    private indexVariableExpression;
     private rebuildVariableIndex;
 }
 //# sourceMappingURL=premise-engine.d.ts.map

package/dist/lib/core/premise-engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"premise-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAIH,KAAK,aAAa,EAClB,KAAK,wBAAwB,EAC7B,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAE/B,KAAK,iBAAiB,EACzB,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EAIH,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAE7B,OAAO,KAAK,EACR,yBAAyB,EACzB,4BAA4B,EAI5B,qBAAqB,EACxB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAc/E,OAAO,KAAK,EAER,0BAA0B,EAC7B,MAAM,wBAAwB,CAAA;AAO/B,OAAO,EAEH,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAS7B,OAAO,KAAK,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,KAAK,EACR,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,mBAAmB,EACnB,YAAY,EACZ,0BAA0B,EAC7B,MAAM,uBAAuB,CAAA;AAE9B,MAAM,MAAM,sBAAsB,CAC9B,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE;IACA,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAA;IACpC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,WAAW,EAAE,0BAA0B,CAAC,KAAK,CAAC,CAAA;IAC9C,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED,qBAAa,aAAa,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,CAEpE,YACI,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACjD,kBAAkB,CAAC,KAAK,CAAC,EACzB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAChD,sBAAsB,EACtB,kBAAkB,EAClB,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAClC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC7C,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,CAAC,aAAa,CAAC;IAE7C,SAAS,CAAC,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAA;IAC9C,SAAS,CAAC,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAA;IAC9C,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;IAC1C,SAAS,CAAC,WAAW,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC/C,OAAO,CAAC,uBAAuB,CAAiC;IAChE,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,kBAAkB,CAAoB;IAC9C,OAAO,CAAC,wBAAwB,CAA2B;IAC3D,OAAO,CAAC,sBAAsB,CAAoB;IAClD,OAAO,CAAC,eAAe,CAAC,CAAqB;IAC7C,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,QAAQ,CAAC,CAAY;IAC7B,OAAO,CAAC,gBAAgB,CAAC,CAGb;IACZ,OAAO,CAAC,sBAAsB,CAAC,CAAiC;IAChE,OAAO,CAAC,mBAAmB,CAAC,CAAmB;IAC/C,OAAO,CAAC,wBAAwB,CAAC,CAAkC;IACnE,OAAO,CAAC,gBAAgB,CAAQ;gBAG5B,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EACpC,IAAI,EAAE;QACF,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;QAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KACxC,EACD,MAAM,CAAC,EAAE,mBAAmB;IAahC;;;;;;;;OAQG;IACI,iBAAiB,IAAI,mBAAmB;IAIxC,WAAW,CAAC,QAAQ,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,GAAG,IAAI;IAIrD,mBAAmB,CACtB,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,SAAS,GACxE,IAAI;IAIA,yBAAyB,CAC5B,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,SAAS,GACrD,IAAI;IAIA,sBAAsB,CACzB,QAAQ,EAAE,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,GAC1C,IAAI;IAIA,2BAA2B,CAC9B,QAAQ,EAAE,CAAC,MAAM,0BAA0B,CAAC,GAAG,SAAS,GACzD,IAAI;IAIP,OAAO,CAAC,eAAe;IAiBvB,OAAO,CAAC,0BAA0B;IAsBlC,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAyBpC,8BAA8B,CACjC,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAsDrD,aAAa,CAChB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,GACpC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA+DnD,gBAAgB,CACnB,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4CnD,qBAAqB,CACxB,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,QAAQ,GAAG,OAAO,EACpC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAwCnD,gBAAgB,CACnB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GAC3B,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4DnD,gBAAgB,CACnB,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,GACvB,mBAAmB,CAAC,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAqD/D,gBAAgB,CACnB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAkCnD,cAAc,CACjB,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC7C,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAuC1D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAmCG;IACI,kBAAkB,CACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,GACpB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAqH1D;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACI,aAAa,CAChB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA6B1D;;;;OAIG;IACH,OAAO,CAAC,cAAc;IAmBf,cAAc,CACjB,YAAY,EAAE,MAAM,EACpB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAkG1D,cAAc,CACjB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,wBAAwB,EACrC,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,MAAM,EACtB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAiQ1D,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAI5C,KAAK,IAAI,MAAM;IAIf,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAepC,SAAS,CACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAwCM,YAAY,CACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,mBAAmB,IAAI,MAAM,GAAG,SAAS;IAIzC,iBAAiB,IAAI,KAAK,GAAG,SAAS;IAOtC,YAAY,IAAI,IAAI,EAAE;IAItB,cAAc,IAAI,KAAK,EAAE;IAIzB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,KAAK,EAAE;IAIrD,WAAW,IAAI,OAAO;IAQtB,YAAY,IAAI,OAAO;IAIvB,oBAAoB,IAAI,qBAAqB;IAgK7C,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE;QACN,iBAAiB,CAAC,EAAE,OAAO,CAAA;QAC3B,oBAAoB,CAAC,EAAE,OAAO,CAAA;QAC9B,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,GAAG,IAAI,CAAA;KACpD,GACF,4BAA4B;IA+MxB,eAAe,IAAI,MAAM;IAOzB,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,mBAAmB,CAAC,CAAC,CAAC,GAAG,CAAC;IAOtD,+BAA+B,IAAI,KAAK,EAAE;IAoB1C,wBAAwB,IAAI,GAAG,CAAC,MAAM,CAAC;IAUvC,aAAa,IAAI,QAAQ;IAUzB,QAAQ,IAAI,MAAM;IAOlB,kBAAkB,IAAI,MAAM,GAAG,IAAI;IAOnC,gBAAgB,IAAI,MAAM;IAO1B,qBAAqB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,GAAG,IAAI;IAI1D,cAAc,IAAI,IAAI;IA+BtB,QAAQ,IAAI,0BAA0B;IAkF7C;;;;OAIG;IACI,eAAe,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI;IAkB7D,SAAS,IAAI,IAAI;IAIxB;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IAK5B,OAAO,CAAC,cAAc;IAetB,OAAO,CAAC,uBAAuB;IAgB/B,OAAO,CAAC,6BAA6B;IAqBrC,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,cAAc;IAkCtB,OAAO,CAAC,cAAc;IAef,QAAQ,IAAI,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC;IAmB1D,uEAAuE;WACzD,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,EAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAsC7C;;;;;OAKG;IACH,OAAO,CAAC,0BAA0B;IAWlC,OAAO,CAAC,sBAAsB;IAiC9B,OAAO,CAAC,mBAAmB;IAY3B,OAAO,CAAC,oBAAoB;CAQ/B"}
+{"version":3,"file":"premise-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAIH,KAAK,aAAa,EAClB,KAAK,wBAAwB,EAC7B,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAE/B,KAAK,iBAAiB,EACzB,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EAIH,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAE7B,OAAO,KAAK,EACR,yBAAyB,EACzB,4BAA4B,EAI5B,qBAAqB,EACxB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAc/E,OAAO,KAAK,EAER,0BAA0B,EAC7B,MAAM,wBAAwB,CAAA;AAO/B,OAAO,EAEH,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAS7B,OAAO,KAAK,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,KAAK,EACR,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,mBAAmB,EACnB,YAAY,EACZ,0BAA0B,EAC7B,MAAM,uBAAuB,CAAA;AAE9B,MAAM,MAAM,sBAAsB,CAC9B,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE;IACA,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAA;IACpC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,WAAW,EAAE,0BAA0B,CAAC,KAAK,CAAC,CAAA;IAC9C,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED,qBAAa,aAAa,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,CAEpE,YACI,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACjD,kBAAkB,CAAC,KAAK,CAAC,EACzB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAChD,sBAAsB,EACtB,kBAAkB,EAClB,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAClC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC7C,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,CAAC,aAAa,CAAC;IAE7C,SAAS,CAAC,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAA;IAC9C,SAAS,CAAC,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAA;IAC9C,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;IAC1C,SAAS,CAAC,WAAW,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC/C,OAAO,CAAC,uBAAuB,CAAiC;IAChE,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,kBAAkB,CAAoB;IAC9C,OAAO,CAAC,wBAAwB,CAA2B;IAC3D,OAAO,CAAC,sBAAsB,CAAoB;IAClD,OAAO,CAAC,eAAe,CAAC,CAAqB;IAC7C,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,QAAQ,CAAC,CAAY;IAC7B,OAAO,CAAC,gBAAgB,CAAC,CAGb;IACZ,OAAO,CAAC,sBAAsB,CAAC,CAAiC;IAChE,OAAO,CAAC,mBAAmB,CAAC,CAAmB;IAC/C,OAAO,CAAC,wBAAwB,CAAC,CAAkC;IACnE,OAAO,CAAC,gBAAgB,CAAQ;gBAG5B,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EACpC,IAAI,EAAE;QACF,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;QAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KACxC,EACD,MAAM,CAAC,EAAE,mBAAmB;IAahC;;;;;;;;OAQG;IACI,iBAAiB,IAAI,mBAAmB;IAIxC,WAAW,CAAC,QAAQ,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,GAAG,IAAI;IAIrD,mBAAmB,CACtB,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,SAAS,GACxE,IAAI;IAIA,yBAAyB,CAC5B,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,SAAS,GACrD,IAAI;IAIA,sBAAsB,CACzB,QAAQ,EAAE,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,GAC1C,IAAI;IAIA,2BAA2B,CAC9B,QAAQ,EAAE,CAAC,MAAM,0BAA0B,CAAC,GAAG,SAAS,GACzD,IAAI;IAIP,OAAO,CAAC,eAAe;IAiBvB,OAAO,CAAC,0BAA0B;IAsBlC,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAyB3C;;;;;;;OAOG;IACH,OAAO,CAAC,sBAAsB;IAgBvB,8BAA8B,CACjC,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAsDrD,aAAa,CAChB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,GACpC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA6CnD,gBAAgB,CACnB,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4BnD,qBAAqB,CACxB,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,QAAQ,GAAG,OAAO,EACpC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAwBnD,gBAAgB,CACnB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GAC3B,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4DnD,gBAAgB,CACnB,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,GACvB,mBAAmB,CAAC,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAqD/D,gBAAgB,CACnB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAkBnD,cAAc,CACjB,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC7C,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAuB1D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAmCG;IACI,kBAAkB,CACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,GACpB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA2G1D;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACI,aAAa,CAChB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAmB1D;;;;OAIG;IACH,OAAO,CAAC,cAAc;IAmBf,cAAc,CACjB,YAAY,EAAE,MAAM,EACpB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAkG1D,cAAc,CACjB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,wBAAwB,EACrC,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,MAAM,EACtB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAiQ1D,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAI5C,KAAK,IAAI,MAAM;IAIf,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAepC,SAAS,CACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAwCM,YAAY,CACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,mBAAmB,IAAI,MAAM,GAAG,SAAS;IAIzC,iBAAiB,IAAI,KAAK,GAAG,SAAS;IAOtC,YAAY,IAAI,IAAI,EAAE;IAItB,cAAc,IAAI,KAAK,EAAE;IAIzB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,KAAK,EAAE;IAIrD,WAAW,IAAI,OAAO;IAQtB,YAAY,IAAI,OAAO;IAIvB,oBAAoB,IAAI,qBAAqB;IAgK7C,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE;QACN,iBAAiB,CAAC,EAAE,OAAO,CAAA;QAC3B,oBAAoB,CAAC,EAAE,OAAO,CAAA;QAC9B,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,GAAG,IAAI,CAAA;KACpD,GACF,4BAA4B;IA+MxB,eAAe,IAAI,MAAM;IAOzB,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,mBAAmB,CAAC,CAAC,CAAC,GAAG,CAAC;IAOtD,+BAA+B,IAAI,KAAK,EAAE;IAoB1C,wBAAwB,IAAI,GAAG,CAAC,MAAM,CAAC;IAUvC,aAAa,IAAI,QAAQ;IAUzB,QAAQ,IAAI,MAAM;IAOlB,kBAAkB,IAAI,MAAM,GAAG,IAAI;IAOnC,gBAAgB,IAAI,MAAM;IAO1B,qBAAqB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,GAAG,IAAI;IAI1D,cAAc,IAAI,IAAI;IA+BtB,QAAQ,IAAI,0BAA0B;IAkF7C;;;;OAIG;IACI,eAAe,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI;IAkB7D,SAAS,IAAI,IAAI;IAIxB;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IAK5B,OAAO,CAAC,cAAc;IAetB,OAAO,CAAC,uBAAuB;IAgB/B,OAAO,CAAC,6BAA6B;IAqBrC,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,cAAc;IAkCtB,OAAO,CAAC,cAAc;IAef,QAAQ,IAAI,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC;IAmB1D,uEAAuE;WACzD,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,EAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAsC7C;;;;;OAKG;IACH,OAAO,CAAC,0BAA0B;IAWlC,OAAO,CAAC,sBAAsB;IAiC9B,OAAO,CAAC,mBAAmB;IAY3B;;;;OAIG;IACH,OAAO,CAAC,uBAAuB;IAU/B,OAAO,CAAC,oBAAoB;CAQ/B"}