@proposit/proposit-core 2.5.0 → 3.0.0

package/dist/extensions/pipelines/ingestion/canonical-stages.d.ts

@@ -0,0 +1,12 @@
+/** Ordered stage ids of the scholar ingestion pipeline. */
+export declare const INGESTION_SCHOLAR_STAGE_IDS: readonly string[];
+/** Ordered stage ids of the scribe ingestion pipeline. */
+export declare const INGESTION_SCRIBE_STAGE_IDS: readonly string[];
+/**
+ * The ordered canonical stage ids for a pipeline id, or an empty list for an
+ * unknown / absent id (so a consumer degrades gracefully to whatever stages it
+ * actually observes). The ids are the stable pipeline identifiers set by the
+ * scholar / scribe factories.
+ */
+export declare function getCanonicalStageIds(pipelineId: string | undefined): readonly string[];
+//# sourceMappingURL=canonical-stages.d.ts.map

package/dist/extensions/pipelines/ingestion/canonical-stages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-stages.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/canonical-stages.ts"],"names":[],"mappings":"AASA,2DAA2D;AAC3D,eAAO,MAAM,2BAA2B,EAAE,SAAS,MAAM,EAaxD,CAAA;AAED,0DAA0D;AAC1D,eAAO,MAAM,0BAA0B,EAAE,SAAS,MAAM,EAWvD,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,MAAM,GAAG,SAAS,GAC/B,SAAS,MAAM,EAAE,CAMnB"}

package/dist/extensions/pipelines/ingestion/canonical-stages.js

@@ -0,0 +1,50 @@
+// Canonical stage-id ordering for the ingestion pipeline family.
+//
+// Each list is the ordered stage-id sequence the corresponding factory
+// (`createScholarPipeline` / `createScribePipeline`) produces — the single
+// source of truth a consumer can import to render or drive the pipeline's
+// stages without hardcoding its own copy. The lists are maintained by hand and
+// guarded against drift by a test that asserts each equals
+// `pipeline.stages.map((s) => s.id)`.
+/** Ordered stage ids of the scholar ingestion pipeline. */
+export const INGESTION_SCHOLAR_STAGE_IDS = [
+    "segmentation",
+    "claim-mention-extraction",
+    "citation-source-detection",
+    "axiom-indicator-detection",
+    "claim-canonicalization",
+    "claim-type-classification",
+    "claim-reference-validation",
+    "variable-assignment",
+    "relation-extraction",
+    "conclusion-selection",
+    "formula-compilation",
+    "formula-validation",
+];
+/** Ordered stage ids of the scribe ingestion pipeline. */
+export const INGESTION_SCRIBE_STAGE_IDS = [
+    "extract",
+    "claim-canonicalization",
+    "claim-type-classification",
+    "claim-reference-validation",
+    "variable-assignment",
+    "scribe-structure",
+    "relation-extraction",
+    "conclusion-selection",
+    "formula-compilation",
+    "formula-validation",
+];
+/**
+ * The ordered canonical stage ids for a pipeline id, or an empty list for an
+ * unknown / absent id (so a consumer degrades gracefully to whatever stages it
+ * actually observes). The ids are the stable pipeline identifiers set by the
+ * scholar / scribe factories.
+ */
+export function getCanonicalStageIds(pipelineId) {
+    if (pipelineId === "argument-ingestion-scholar")
+        return INGESTION_SCHOLAR_STAGE_IDS;
+    if (pipelineId === "argument-ingestion-scribe")
+        return INGESTION_SCRIBE_STAGE_IDS;
+    return [];
+}
+//# sourceMappingURL=canonical-stages.js.map

package/dist/extensions/pipelines/ingestion/canonical-stages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-stages.js","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/canonical-stages.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,EAAE;AACF,uEAAuE;AACvE,2EAA2E;AAC3E,0EAA0E;AAC1E,+EAA+E;AAC/E,2DAA2D;AAC3D,sCAAsC;AAEtC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,2BAA2B,GAAsB;IAC1D,cAAc;IACd,0BAA0B;IAC1B,2BAA2B;IAC3B,2BAA2B;IAC3B,wBAAwB;IACxB,2BAA2B;IAC3B,4BAA4B;IAC5B,qBAAqB;IACrB,qBAAqB;IACrB,sBAAsB;IACtB,qBAAqB;IACrB,oBAAoB;CACvB,CAAA;AAED,0DAA0D;AAC1D,MAAM,CAAC,MAAM,0BAA0B,GAAsB;IACzD,SAAS;IACT,wBAAwB;IACxB,2BAA2B;IAC3B,4BAA4B;IAC5B,qBAAqB;IACrB,kBAAkB;IAClB,qBAAqB;IACrB,sBAAsB;IACtB,qBAAqB;IACrB,oBAAoB;CACvB,CAAA;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA8B;IAE9B,IAAI,UAAU,KAAK,4BAA4B;QAC3C,OAAO,2BAA2B,CAAA;IACtC,IAAI,UAAU,KAAK,2BAA2B;QAC1C,OAAO,0BAA0B,CAAA;IACrC,OAAO,EAAE,CAAA;AACb,CAAC"}

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

@@ -2,4 +2,5 @@ export { createScholarPipeline } from "./scholar/index.js";
 export type { TCreateScholarPipelineOptions } from "./scholar/index.js";
 export { createScribePipeline } from "./scribe/index.js";
 export type { TCreateScribePipelineOptions } from "./scribe/index.js";
+export { INGESTION_SCHOLAR_STAGE_IDS, INGESTION_SCRIBE_STAGE_IDS, getCanonicalStageIds, } from "./canonical-stages.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,YAAY,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAA;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AACxD,YAAY,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,YAAY,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAA;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AACxD,YAAY,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACrE,OAAO,EACH,2BAA2B,EAC3B,0BAA0B,EAC1B,oBAAoB,GACvB,MAAM,uBAAuB,CAAA"}

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

@@ -2,4 +2,5 @@
 // Subpath: @proposit/proposit-core/pipelines/ingestion
 export { createScholarPipeline } from "./scholar/index.js";
 export { createScribePipeline } from "./scribe/index.js";
+export { INGESTION_SCHOLAR_STAGE_IDS, INGESTION_SCRIBE_STAGE_IDS, getCanonicalStageIds, } from "./canonical-stages.js";
 //# sourceMappingURL=index.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAE1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAE1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AAExD,OAAO,EACH,2BAA2B,EAC3B,0BAA0B,EAC1B,oBAAoB,GACvB,MAAM,uBAAuB,CAAA"}

package/dist/lib/index.d.ts

@@ -63,9 +63,6 @@ export { executePipeline, executeStage, executeFinalize, launchStage, completeSt
 export type { TStage, TStageContext, TStageStatus, TPipeline, TPipelineFinalize, TProcessingFailure, TPipelineResult, TPipelineEvent, TDepSpec, TOptionalDep, TRetryPolicy, TRetryReason, TExecutePipelineDeps, TStageOutcomeRecord, TExecuteStageDeps, TExecuteStageResult, TExecuteFinalizeResult, TLaunchStageResult, } from "./pipelines/index.js";
 export { LlmTokenUsageSchema } from "./llm/index.js";
 export type { TLlmProvider, TLlmRequest, TLlmResponse, TLlmTokenUsage, TLlmModel, TReasoningEffort, TToolSpec, TResponseStatus, TRetrievedResponse, } from "./llm/index.js";
-export { createOpenAiResponsesProvider } from "../extensions/openai/index.js";
-export type { TCreateOpenAiResponsesProviderOptions, TOpenAiFetch, } from "../extensions/openai/index.js";
-export { NonRetryableLlmError, QuotaExhaustedLlmError, RateLimitLlmError, SchemaValidationLlmError, ToolLoopExhaustedError, TransientLlmError, } from "../extensions/openai/index.js";
 export { InvalidArgumentStructureError, UnknownExpressionError, NotOperatorNotDecidableError, } from "./core/review-errors.js";
 export type { TNotOperatorNotDecidableReason } from "./core/review-errors.js";
 export { collectArgumentReferencedClaims } from "./core/review-helpers.js";
@@ -74,6 +71,4 @@ export { canonicalizeOperatorAssignments } from "./core/review-helpers.js";
 export type { TCanonicalizeOperatorAssignmentsInput } from "./core/review-helpers.js";
 export { executeTurn, createConversation, ConversationClosedError, } from "./conversation/index.js";
 export type { TTurnInput, TTurnResult, TExecuteTurnDeps, TConversation, TMultiTurnInput, TMultiTurnOutput, TResponseId, } from "./conversation/index.js";
-export { createReviewTurn, createSimulateTurn, createDistillTurn, } from "../extensions/builder/index.js";
-export type { TDistillTurnOptions, TDistillOutput, } from "../extensions/builder/index.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/lib/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7E,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAC9E,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,YAAY,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AACnE,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,YAAY,EACR,oBAAoB,EACpB,sBAAsB,GACzB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AACjD,YAAY,EACR,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,0CAA0C,CAAA;AACjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAO3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EACR,YAAY,EACZ,gBAAgB,EAChB,UAAU,GACb,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,QAAQ,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAC9E,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AACxE,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AACjE,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AACtC,YAAY,EACR,0BAA0B,EAC1B,mBAAmB,GACtB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,eAAe,EACf,YAAY,EACZ,eAAe,EACf,WAAW,EACX,aAAa,EACb,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,GAC1B,MAAM,sBAAsB,CAAA;AAC7B,YAAY,EACR,MAAM,EACN,aAAa,EACb,YAAY,EACZ,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,GACrB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,YAAY,EACR,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,SAAS,EACT,eAAe,EACf,kBAAkB,GACrB,MAAM,gBAAgB,CAAA;AAOvB,OAAO,EAAE,6BAA6B,EAAE,MAAM,+BAA+B,CAAA;AAC7E,YAAY,EACR,qCAAqC,EACrC,YAAY,GACf,MAAM,+BAA+B,CAAA;AACtC,OAAO,EACH,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,EACtB,iBAAiB,GACpB,MAAM,+BAA+B,CAAA;AAQtC,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAChC,YAAY,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAA;AAC7E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAA;AACtF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,qCAAqC,EAAE,MAAM,0BAA0B,CAAA;AAGrF,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,uBAAuB,GAC1B,MAAM,yBAAyB,CAAA;AAChC,YAAY,EACR,UAAU,EACV,WAAW,EACX,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,WAAW,GACd,MAAM,yBAAyB,CAAA;AAGhC,OAAO,EACH,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GACpB,MAAM,gCAAgC,CAAA;AACvC,YAAY,EACR,mBAAmB,EACnB,cAAc,GACjB,MAAM,gCAAgC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7E,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAC9E,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,YAAY,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AACnE,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,YAAY,EACR,oBAAoB,EACpB,sBAAsB,GACzB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AACjD,YAAY,EACR,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,0CAA0C,CAAA;AACjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAO3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EACR,YAAY,EACZ,gBAAgB,EAChB,UAAU,GACb,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,QAAQ,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAC9E,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AACxE,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AACjE,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AACtC,YAAY,EACR,0BAA0B,EAC1B,mBAAmB,GACtB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,eAAe,EACf,YAAY,EACZ,eAAe,EACf,WAAW,EACX,aAAa,EACb,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,GAC1B,MAAM,sBAAsB,CAAA;AAC7B,YAAY,EACR,MAAM,EACN,aAAa,EACb,YAAY,EACZ,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,GACrB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,YAAY,EACR,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,SAAS,EACT,eAAe,EACf,kBAAkB,GACrB,MAAM,gBAAgB,CAAA;AAUvB,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAChC,YAAY,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAA;AAC7E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAA;AACtF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,qCAAqC,EAAE,MAAM,0BAA0B,CAAA;AAGrF,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,uBAAuB,GAC1B,MAAM,yBAAyB,CAAA;AAChC,YAAY,EACR,UAAU,EACV,WAAW,EACX,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,WAAW,GACd,MAAM,yBAAyB,CAAA"}

package/dist/lib/index.js

@@ -42,28 +42,19 @@ export { validateArgument, validateArgumentAfterPremiseMutation, validateArgumen
 export { InvariantViolationError } from "./core/invariant-violation-error.js";
 export { executePipeline, executeStage, executeFinalize, launchStage, completeStage, optional, deterministicStage, llmStage, subPipelineStage, isLlmStage, DEFAULT_RETRY_POLICY, PipelineConfigurationError, LlmStageRetryExhaustedError, StageAbortedError, SubPipelineFailedError, LLM_QUOTA_EXHAUSTED, LLM_RATE_LIMITED, LLM_TRANSIENT_ERROR, LLM_NON_RETRYABLE_ERROR, LLM_UNKNOWN_ERROR, OUTPUT_SCHEMA_INVALID, ProcessingFailureSchema, } from "./pipelines/index.js";
 export { LlmTokenUsageSchema } from "./llm/index.js";
-// Concrete OpenAI Responses-API provider, surfaced from the lib
-// barrel for ergonomic single-import access from consumers
-// (`@proposit/proposit-core` package-root import). The provider also
-// has a dedicated subpath export at `@proposit/proposit-core/extensions/openai`
-// for callers that prefer to tree-shake provider machinery out of
-// their builds.
-export { createOpenAiResponsesProvider } from "../extensions/openai/index.js";
-export { NonRetryableLlmError, QuotaExhaustedLlmError, RateLimitLlmError, SchemaValidationLlmError, ToolLoopExhaustedError, TransientLlmError, } from "../extensions/openai/index.js";
-// NOTE: the ingestion pipelines + their task contract are NOT re-exported
-// from this root barrel. They ship as their own subpaths —
-// `@proposit/proposit-core/pipelines/base` (the shared contract +
-// helpers) and `@proposit/proposit-core/pipelines/ingestion` (the
-// `createScholarPipeline` / `createScribePipeline` factories). The root
-// barrel carries only the engine, the pipeline framework, and the
-// provider extensions.
+// Opinionated extensions are NOT re-exported from this root barrel; each
+// ships as its own subpath so the root stays the pure engine + pipeline
+// framework. The concrete OpenAI Responses-API provider (and its error
+// classes) lives at `@proposit/proposit-core/extensions/openai`; the
+// ingestion pipelines + their task contract at
+// `@proposit/proposit-core/pipelines/base` (shared contract + helpers) and
+// `@proposit/proposit-core/pipelines/ingestion` (the `createScholarPipeline`
+// / `createScribePipeline` factories); the Argument Builder turn factories at
+// `@proposit/proposit-core/builder`.
 export { InvalidArgumentStructureError, UnknownExpressionError, NotOperatorNotDecidableError, } from "./core/review-errors.js";
 export { collectArgumentReferencedClaims } from "./core/review-helpers.js";
 export { canonicalizeOperatorAssignments } from "./core/review-helpers.js";
 // Conversation primitive — multi-turn LLM exchange support.
 // Subpath: @proposit/proposit-core/conversation
 export { executeTurn, createConversation, ConversationClosedError, } from "./conversation/index.js";
-// Builder extension — Argument Builder turn factories.
-// Subpath: @proposit/proposit-core/builder
-export { createReviewTurn, createSimulateTurn, createDistillTurn, } from "../extensions/builder/index.js";
 //# sourceMappingURL=index.js.map

package/dist/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAK7E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAG9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAK9D,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AAKjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAavD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,oBAAoB,CAAA;AAM3B,OAAO,EAAE,QAAQ,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAG9E,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AAKtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,eAAe,EACf,YAAY,EACZ,eAAe,EACf,WAAW,EACX,aAAa,EACb,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,GAC1B,MAAM,sBAAsB,CAAA;AAqB7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAYpD,gEAAgE;AAChE,2DAA2D;AAC3D,qEAAqE;AACrE,gFAAgF;AAChF,kEAAkE;AAClE,gBAAgB;AAChB,OAAO,EAAE,6BAA6B,EAAE,MAAM,+BAA+B,CAAA;AAK7E,OAAO,EACH,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,EACtB,iBAAiB,GACpB,MAAM,+BAA+B,CAAA;AACtC,0EAA0E;AAC1E,2DAA2D;AAC3D,kEAAkE;AAClE,kEAAkE;AAClE,wEAAwE;AACxE,kEAAkE;AAClE,uBAAuB;AACvB,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAEhC,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAE1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAE1E,4DAA4D;AAC5D,gDAAgD;AAChD,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,uBAAuB,GAC1B,MAAM,yBAAyB,CAAA;AAUhC,uDAAuD;AACvD,2CAA2C;AAC3C,OAAO,EACH,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GACpB,MAAM,gCAAgC,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAK7E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAG9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAK9D,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AAKjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAavD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,oBAAoB,CAAA;AAM3B,OAAO,EAAE,QAAQ,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAA;AAG9E,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AAKtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,eAAe,EACf,YAAY,EACZ,eAAe,EACf,WAAW,EACX,aAAa,EACb,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,gBAAgB,EAChB,UAAU,EACV,oBAAoB,EACpB,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,uBAAuB,GAC1B,MAAM,sBAAsB,CAAA;AAqB7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAYpD,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AACvE,qEAAqE;AACrE,+CAA+C;AAC/C,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,qCAAqC;AACrC,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAEhC,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAE1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAE1E,4DAA4D;AAC5D,gDAAgD;AAChD,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,uBAAuB,GAC1B,MAAM,yBAAyB,CAAA"}

package/dist/lib/pipelines/scheduling.d.ts

@@ -0,0 +1,42 @@
+import type { TDepSpec } from "./types.js";
+import type { TStageOutcomeRecord } from "./single-stage.js";
+export { optional, depId, isOptionalDep } from "./types.js";
+export type { TDepSpec, TOptionalDep } from "./types.js";
+/** A serializable stage descriptor — all an eligibility check needs. */
+export type TStageDescriptor = {
+    id: string;
+    dependsOn: readonly TDepSpec[];
+};
+type TRecordMap = Readonly<Record<string, TStageOutcomeRecord>>;
+/**
+ * A stage is eligible to run once every required dep is `completed` and every
+ * optional dep has reached some terminal outcome.
+ */
+export declare function isStageEligible(stage: TStageDescriptor, records: TRecordMap): boolean;
+/**
+ * A stage is skip-eligible when a REQUIRED dep reached a non-`completed`
+ * terminal outcome (skipped / failed) — the dependent then skips rather than
+ * failing.
+ */
+export declare function hasRequiredFailureUpstream(stage: TStageDescriptor, records: TRecordMap): boolean;
+/** A scheduling step: stages to launch now + stages to mark skipped now. */
+export type TDagProgress<TStage extends TStageDescriptor> = {
+    /** Stages eligible to run now (deps satisfied, not yet terminal). */
+    runnable: TStage[];
+    /**
+     * Stages whose required dep failed (skip-eligible, not yet terminal).
+     * Marking each `skipped` lets its optional-dependent downstream stages
+     * then reach eligibility (eager skip propagation).
+     */
+    skippable: TStage[];
+};
+/**
+ * From the full descriptor list + the committed terminal-outcome map, partition
+ * the not-yet-terminal stages into the ones to launch now (`runnable`) and the
+ * ones to mark skipped now (`skippable`). An already-terminal stage appears in
+ * neither. Skip-eligibility takes precedence over runnability (the two sets are
+ * disjoint). Generic over the descriptor subtype so a caller carrying extra
+ * serializable fields gets them back on the partitioned stages.
+ */
+export declare function computeDagProgress<TStage extends TStageDescriptor>(stages: readonly TStage[], records: TRecordMap): TDagProgress<TStage>;
+//# sourceMappingURL=scheduling.d.ts.map

package/dist/lib/pipelines/scheduling.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scheduling.d.ts","sourceRoot":"","sources":["../../../src/lib/pipelines/scheduling.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAE5D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAC3D,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAExD,wEAAwE;AACxE,MAAM,MAAM,gBAAgB,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAA;CACjC,CAAA;AAED,KAAK,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAA;AAE/D;;;GAGG;AACH,wBAAgB,eAAe,CAC3B,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,UAAU,GACpB,OAAO,CAaT;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACtC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,UAAU,GACpB,OAAO,CAOT;AAED,4EAA4E;AAC5E,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,gBAAgB,IAAI;IACxD,qEAAqE;IACrE,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB;;;;OAIG;IACH,SAAS,EAAE,MAAM,EAAE,CAAA;CACtB,CAAA;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,SAAS,gBAAgB,EAC9D,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,UAAU,GACpB,YAAY,CAAC,MAAM,CAAC,CAYtB"}

package/dist/lib/pipelines/scheduling.js

@@ -0,0 +1,79 @@
+// Descriptor-based DAG scheduling helpers.
+//
+// These compute stage eligibility from a serializable stage descriptor
+// (`{ id, dependsOn }`) plus a plain record map of terminal outcomes — no
+// `TStage` with its `run`/`outputSchema`, no live `Map`, no I/O. They exist so
+// a consumer that drives the pipeline DAG out of process (e.g. persisting each
+// stage outcome and advancing across separate invocations) can decide what to
+// launch and what to skip without re-implementing the scheduler-loop
+// eligibility rules. They mirror the in-process scheduler's semantics exactly:
+//
+//   - a REQUIRED dep is satisfied only when its outcome is `completed`;
+//   - an OPTIONAL dep is satisfied once it reaches ANY terminal outcome
+//     (`completed` / `skipped` / `failed`);
+//   - a stage with a REQUIRED dep that reached a non-`completed` terminal
+//     outcome is skip-eligible — the dependent skips rather than failing, and
+//     marking it `skipped` lets its OPTIONAL-dependent downstream stages then
+//     reach eligibility (eager skip propagation).
+import { depId, isOptionalDep } from "./types.js";
+export { optional, depId, isOptionalDep } from "./types.js";
+/**
+ * A stage is eligible to run once every required dep is `completed` and every
+ * optional dep has reached some terminal outcome.
+ */
+export function isStageEligible(stage, records) {
+    for (const dep of stage.dependsOn) {
+        const id = depId(dep);
+        const record = records[id];
+        if (isOptionalDep(dep)) {
+            // Optional: eligible once the upstream has ANY final outcome.
+            if (!record)
+                return false;
+            continue;
+        }
+        if (!record)
+            return false;
+        if (record.outcome !== "completed")
+            return false;
+    }
+    return true;
+}
+/**
+ * A stage is skip-eligible when a REQUIRED dep reached a non-`completed`
+ * terminal outcome (skipped / failed) — the dependent then skips rather than
+ * failing.
+ */
+export function hasRequiredFailureUpstream(stage, records) {
+    for (const dep of stage.dependsOn) {
+        if (isOptionalDep(dep))
+            continue;
+        const record = records[depId(dep)];
+        if (record && record.outcome !== "completed")
+            return true;
+    }
+    return false;
+}
+/**
+ * From the full descriptor list + the committed terminal-outcome map, partition
+ * the not-yet-terminal stages into the ones to launch now (`runnable`) and the
+ * ones to mark skipped now (`skippable`). An already-terminal stage appears in
+ * neither. Skip-eligibility takes precedence over runnability (the two sets are
+ * disjoint). Generic over the descriptor subtype so a caller carrying extra
+ * serializable fields gets them back on the partitioned stages.
+ */
+export function computeDagProgress(stages, records) {
+    const runnable = [];
+    const skippable = [];
+    for (const stage of stages) {
+        if (records[stage.id])
+            continue; // already terminal — never revisit
+        if (hasRequiredFailureUpstream(stage, records)) {
+            skippable.push(stage);
+        }
+        else if (isStageEligible(stage, records)) {
+            runnable.push(stage);
+        }
+    }
+    return { runnable, skippable };
+}
+//# sourceMappingURL=scheduling.js.map

package/dist/lib/pipelines/scheduling.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scheduling.js","sourceRoot":"","sources":["../../../src/lib/pipelines/scheduling.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,EAAE;AACF,uEAAuE;AACvE,0EAA0E;AAC1E,+EAA+E;AAC/E,+EAA+E;AAC/E,8EAA8E;AAC9E,qEAAqE;AACrE,+EAA+E;AAC/E,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,4CAA4C;AAC5C,0EAA0E;AAC1E,8EAA8E;AAC9E,8EAA8E;AAC9E,kDAAkD;AAElD,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAIjD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAW3D;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC3B,KAAuB,EACvB,OAAmB;IAEnB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;QACrB,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAAA;QAC1B,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,8DAA8D;YAC9D,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAA;YACzB,SAAQ;QACZ,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAA;QACzB,IAAI,MAAM,CAAC,OAAO,KAAK,WAAW;YAAE,OAAO,KAAK,CAAA;IACpD,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACtC,KAAuB,EACvB,OAAmB;IAEnB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,IAAI,aAAa,CAAC,GAAG,CAAC;YAAE,SAAQ;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;QAClC,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,WAAW;YAAE,OAAO,IAAI,CAAA;IAC7D,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAcD;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAC9B,MAAyB,EACzB,OAAmB;IAEnB,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAQ,CAAC,mCAAmC;QACnE,IAAI,0BAA0B,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACzB,CAAC;aAAM,IAAI,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACxB,CAAC;IACL,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAA;AAClC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/proposit-core",
-  "version": "2.5.0",
+  "version": "3.0.0",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [
@@ -58,6 +58,11 @@
       "import": "./dist/extensions/pipelines/ingestion/index.js",
       "default": "./dist/extensions/pipelines/ingestion/index.js"
     },
+    "./pipelines/scheduling": {
+      "types": "./dist/lib/pipelines/scheduling.d.ts",
+      "import": "./dist/lib/pipelines/scheduling.js",
+      "default": "./dist/lib/pipelines/scheduling.js"
+    },
     "./conversation": {
       "types": "./dist/lib/conversation/index.d.ts",
       "import": "./dist/lib/conversation/index.js",