@proposit/proposit-core 1.0.2 → 1.1.1

package/dist/extensions/argument-ingestion/v1-single-shot.js

@@ -0,0 +1,105 @@
+// v1 single-shot ingestion pipeline.
+//
+// One `llmStage` (`parse-argument`) calls the configured LLM with the
+// `buildParsingPrompt(extension.responseSchema)` system prompt + the
+// raw input text as the user message; `outputSchema` is the extended
+// `TParsedArgumentResponse` schema. The pipeline's `finalize` stage
+// is required-dependent on `parse-argument` and merges the LLM
+// response with an empty `processingFailures` slot via
+// `finalizeResponse`.
+//
+// **Parity with the pre-1C CLI path.** Behaviorally equivalent to the
+// pre-1C CLI path on schema-conformant LLM outputs (recorded-corpus
+// parity). The new framework adds a single schema-validation retry
+// per stage (default `RetryPolicy` from slice 1A — `maxAttempts: 2`,
+// `retryOn: ["schema_validation", "transient"]`); the pre-1C
+// direct-call path failed hard on the first schema-invalid response.
+// This is a usability improvement, not a regression. The golden
+// corpus exercises only the happy path, so the parity guarantee
+// holds for any LLM response shape the corpus pins; off-corpus
+// schema-invalid responses now retry once before the stage fails.
+//
+// v2 (Phase 2 / slice 2A) replaces the single stage with a graph of
+// decomposed stages; the same `finalizeResponse` helper drives the
+// merge, hence its placement under `shared/`.
+import Type from "typebox";
+import { llmStage } from "../../lib/pipelines/index.js";
+import { buildParsingPrompt } from "../../lib/parsing/index.js";
+import { finalizeResponse } from "./shared/finalize-response.js";
+const PIPELINE_ID = "argument-ingestion-v1";
+const PIPELINE_VERSION = "1.0.0";
+const PARSE_STAGE_ID = "parse-argument";
+const DEFAULT_PARSE_MODEL = "gpt-5.4";
+const INGESTION_INPUT_SCHEMA = Type.Object({
+    text: Type.String({ minLength: 1 }),
+});
+/**
+ * Build the v1 ingestion pipeline for the supplied extension.
+ *
+ * The returned `TPipeline` accepts a `{ text }` input, calls one
+ * `llmStage` against `extension.responseSchema`, and finalizes into
+ * the parser-consumable `TParsedArgumentResponse` shape.
+ */
+export function createIngestionV1Pipeline(extension, options) {
+    const model = options?.model ?? DEFAULT_PARSE_MODEL;
+    const systemPrompt = buildParsingPrompt(extension.responseSchema, {
+        customInstructions: options?.customInstructions,
+    });
+    // Embed a stage-id marker so the test mock (and any future
+    // RecordingLlmProvider) can key replays by stage. The OpenAI
+    // provider treats this as an inert HTML comment in the system
+    // message.
+    const markedSystemPrompt = `<!-- stage-id: ${PARSE_STAGE_ID} -->\n${systemPrompt}`;
+    const parseStage = llmStage({
+        id: PARSE_STAGE_ID,
+        dependsOn: [],
+        outputSchema: extension.responseSchema,
+        model,
+        buildPrompt: (ctx) => {
+            const input = ctx.input;
+            return {
+                system: markedSystemPrompt,
+                user: input.text,
+            };
+        },
+    });
+    return {
+        id: PIPELINE_ID,
+        version: PIPELINE_VERSION,
+        inputSchema: INGESTION_INPUT_SCHEMA,
+        // The pipeline's declared `outputSchema` is the extension's
+        // raw `responseSchema` — i.e., the LLM's structured output
+        // shape. The actual runtime output (post-finalize) is
+        // augmented with a `processingFailures: TProcessingFailure[]`
+        // slot by `finalizeResponse`, so the runtime payload declares
+        // one more field than this schema. The asymmetry is
+        // intentional for V1: `outputSchema` advertises the *core*
+        // output that downstream parsers (e.g. `ArgumentParser`)
+        // consume, while `processingFailures` is a side-channel for
+        // observability that consumers read separately. A future
+        // slice (1G / 2C server wiring) may stitch the failure slot
+        // into the schema via `Type.Intersect`; for now a docstring
+        // is the contract.
+        outputSchema: extension.responseSchema,
+        stages: [parseStage],
+        finalize: {
+            dependsOn: [PARSE_STAGE_ID],
+            run: (ctx) => {
+                const parsed = ctx.get(PARSE_STAGE_ID);
+                if (!parsed) {
+                    // Defensive: finalize.dependsOn is required, so
+                    // the executor only invokes us when the upstream
+                    // stage completed. If we still got here without
+                    // an output, the framework is misbehaving — throw
+                    // rather than emit a half-built response.
+                    throw new Error(`Pipeline "${PIPELINE_ID}" finalize invoked without a "${PARSE_STAGE_ID}" output.`);
+                }
+                return finalizeResponse({
+                    parsedResponse: parsed,
+                    failures: [],
+                });
+            },
+        },
+    };
+}
+//# sourceMappingURL=v1-single-shot.js.map

package/dist/extensions/argument-ingestion/v1-single-shot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"v1-single-shot.js","sourceRoot":"","sources":["../../../src/extensions/argument-ingestion/v1-single-shot.ts"],"names":[],"mappings":"AAAA,qCAAqC;AACrC,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,qEAAqE;AACrE,oEAAoE;AACpE,+DAA+D;AAC/D,uDAAuD;AACvD,sBAAsB;AACtB,EAAE;AACF,sEAAsE;AACtE,oEAAoE;AACpE,mEAAmE;AACnE,qEAAqE;AACrE,6DAA6D;AAC7D,qEAAqE;AACrE,gEAAgE;AAChE,gEAAgE;AAChE,+DAA+D;AAC/D,kEAAkE;AAClE,EAAE;AACF,oEAAoE;AACpE,mEAAmE;AACnE,8CAA8C;AAE9C,OAAO,IAAI,MAAM,SAAS,CAAA;AAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAEvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AAE/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAGhE,MAAM,WAAW,GAAG,uBAAuB,CAAA;AAC3C,MAAM,gBAAgB,GAAG,OAAO,CAAA;AAChC,MAAM,cAAc,GAAG,gBAAgB,CAAA;AAEvC,MAAM,mBAAmB,GAAG,SAAS,CAAA;AASrC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CACtC,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACrC,SAA8B,EAC9B,OAA2C;IAE3C,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,mBAAmB,CAAA;IACnD,MAAM,YAAY,GAAG,kBAAkB,CAAC,SAAS,CAAC,cAAc,EAAE;QAC9D,kBAAkB,EAAE,OAAO,EAAE,kBAAkB;KAClD,CAAC,CAAA;IAEF,2DAA2D;IAC3D,6DAA6D;IAC7D,8DAA8D;IAC9D,WAAW;IACX,MAAM,kBAAkB,GAAG,kBAAkB,cAAc,SAAS,YAAY,EAAE,CAAA;IAElF,MAAM,UAAU,GAAG,QAAQ,CAA0B;QACjD,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,SAAS,CAAC,cAAc;QACtC,KAAK;QACL,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE;YACjB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAwB,CAAA;YAC1C,OAAO;gBACH,MAAM,EAAE,kBAAkB;gBAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;aACnB,CAAA;QACL,CAAC;KACJ,CAAC,CAAA;IAEF,OAAO;QACH,EAAE,EAAE,WAAW;QACf,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,sBAAsB;QACnC,4DAA4D;QAC5D,2DAA2D;QAC3D,sDAAsD;QACtD,8DAA8D;QAC9D,8DAA8D;QAC9D,oDAAoD;QACpD,2DAA2D;QAC3D,yDAAyD;QACzD,4DAA4D;QAC5D,yDAAyD;QACzD,4DAA4D;QAC5D,4DAA4D;QAC5D,mBAAmB;QACnB,YAAY,EAAE,SAAS,CAAC,cAAc;QACtC,MAAM,EAAE,CAAC,UAAU,CAAC;QACpB,QAAQ,EAAE;YACN,SAAS,EAAE,CAAC,cAAc,CAAC;YAC3B,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;gBACT,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAA0B,cAAc,CAAC,CAAA;gBAC/D,IAAI,CAAC,MAAM,EAAE,CAAC;oBACV,gDAAgD;oBAChD,iDAAiD;oBACjD,gDAAgD;oBAChD,kDAAkD;oBAClD,0CAA0C;oBAC1C,MAAM,IAAI,KAAK,CACX,aAAa,WAAW,iCAAiC,cAAc,WAAW,CACrF,CAAA;gBACL,CAAC;gBACD,OAAO,gBAAgB,CAAC;oBACpB,cAAc,EAAE,MAAM;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;SACJ;KACJ,CAAA;AACL,CAAC"}

package/dist/extensions/basics/schemata.d.ts

@@ -1,4 +1,43 @@
 import Type, { type Static } from "typebox";
+export declare const BasicsNormalClaimExtension: Type.TObject<{
+    title: Type.TString;
+    body: Type.TString;
+    type: Type.TLiteral<"normal">;
+}>;
+export declare const BasicsCitationClaimExtension: Type.TObject<{
+    title: Type.TString;
+    url: Type.TString;
+    type: Type.TLiteral<"citation">;
+}>;
+export declare const BasicsAxiomaticClaimExtension: Type.TObject<{
+    axiom: Type.TString;
+    type: Type.TLiteral<"axiomatic">;
+}>;
+export declare const BasicsClaimExtension: Type.TUnion<[Type.TObject<{
+    title: Type.TString;
+    body: Type.TString;
+    type: Type.TLiteral<"normal">;
+}>, Type.TObject<{
+    title: Type.TString;
+    url: Type.TString;
+    type: Type.TLiteral<"citation">;
+}>, Type.TObject<{
+    axiom: Type.TString;
+    type: Type.TLiteral<"axiomatic">;
+}>]>;
+/**
+ * Variable extension under the basics schema is empty — the core
+ * `ParsedVariableSchema` already carries everything the basics
+ * pipeline needs. Exported so the ingestion extension descriptor
+ * can compose against a single source of truth.
+ */
+export declare const BasicsVariableExtension: Type.TObject<{}>;
+export declare const BasicsPremiseExtension: Type.TObject<{
+    title: Type.TString;
+}>;
+export declare const BasicsArgumentExtension: Type.TObject<{
+    title: Type.TString;
+}>;
 export declare const BasicsArgumentSchema: Type.TIntersect<[Type.TObject<{
     id: Type.TString;
     version: Type.TNumber;

package/dist/extensions/basics/schemata.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAuE3C,eAAO,MAAM,oBAAoB;;;;;;;;IAG/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,uBAAuB;;;;;;;;;;IAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,0BAA0B;;;;;;;;;IAGrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAI5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;IAG9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,mBAAmB,cAI9B,CAAA"}
+{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAmB3C,eAAO,MAAM,0BAA0B;;;;EAUrC,CAAA;AAEF,eAAO,MAAM,4BAA4B;;;;EAUvC,CAAA;AAEF,eAAO,MAAM,6BAA6B;;;EAMxC,CAAA;AAEF,eAAO,MAAM,oBAAoB;;;;;;;;;;;IAUhC,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,kBAAkB,CAAA;AAEtD,eAAO,MAAM,sBAAsB;;EAKjC,CAAA;AAEF,eAAO,MAAM,uBAAuB;;EAKlC,CAAA;AAGF,eAAO,MAAM,oBAAoB;;;;;;;;IAG/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,uBAAuB;;;;;;;;;;IAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,0BAA0B;;;;;;;;;IAGrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAI5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;IAG9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,mBAAmB,cAI9B,CAAA"}

package/dist/extensions/basics/schemata.js

@@ -3,8 +3,15 @@ import { CoreArgumentSchema } from "../../lib/schemata/argument.js";
 import { CoreClaimAxiomaticTypeSchema, CoreClaimCitationTypeSchema, CoreClaimNormalTypeSchema, CoreClaimSchema, } from "../../lib/schemata/claim.js";
 import { CorePremiseSchema } from "../../lib/schemata/propositional.js";
 import { buildParsingResponseSchema } from "../../lib/parsing/schemata.js";
-// Parsing response extensions
-const BasicsNormalClaimExtension = Type.Object({
+// Parsing response extensions.
+//
+// These per-entity extension shapes are exported so downstream
+// consumers (e.g. `src/extensions/argument-ingestion/shared/
+// basics-extension.ts`) can compose against the same definitions
+// without duplication. The composite `BasicsParsingSchema` at the
+// bottom of the file is the canonical response schema; the per-entity
+// `Basics*Extension` consts are the building blocks.
+export const BasicsNormalClaimExtension = Type.Object({
     title: Type.String({
         maxLength: 50,
         description: "A short title summarizing the claim",
@@ -15,7 +22,7 @@ const BasicsNormalClaimExtension = Type.Object({
     }),
     type: CoreClaimNormalTypeSchema,
 });
-const BasicsCitationClaimExtension = Type.Object({
+export const BasicsCitationClaimExtension = Type.Object({
     title: Type.String({
         maxLength: 50,
         description: "A short title summarizing the claim",
@@ -26,27 +33,34 @@ const BasicsCitationClaimExtension = Type.Object({
     }),
     type: CoreClaimCitationTypeSchema,
 });
-const BasicsAxiomaticClaimExtension = Type.Object({
+export const BasicsAxiomaticClaimExtension = Type.Object({
     axiom: Type.String({
         maxLength: 50,
         description: "The axiom supporting the claim",
     }),
     type: CoreClaimAxiomaticTypeSchema,
 });
-const BasicsClaimExtension = Type.Union([
+export const BasicsClaimExtension = Type.Union([
     BasicsNormalClaimExtension,
     BasicsCitationClaimExtension,
     BasicsAxiomaticClaimExtension,
 ], {
     description: "Field extensions for all claim types. Each claim must conform to exactly one of the three extensions below, depending on its type.",
 });
-const BasicsPremiseExtension = Type.Object({
+/**
+ * Variable extension under the basics schema is empty — the core
+ * `ParsedVariableSchema` already carries everything the basics
+ * pipeline needs. Exported so the ingestion extension descriptor
+ * can compose against a single source of truth.
+ */
+export const BasicsVariableExtension = Type.Object({});
+export const BasicsPremiseExtension = Type.Object({
     title: Type.String({
         maxLength: 50,
         description: "A short title for this premise",
     }),
 });
-const BasicsArgumentExtension = Type.Object({
+export const BasicsArgumentExtension = Type.Object({
     title: Type.String({
         maxLength: 50,
         description: "A short title for the argument",

package/dist/extensions/basics/schemata.js.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,eAAe,GAClB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAE1E,8BAA8B;AAC9B,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;QACd,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,IAAI,EAAE,yBAAyB;CAClC,CAAC,CAAA;AAEF,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC;QACb,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,8CAA8C;KAC9D,CAAC;IACF,IAAI,EAAE,2BAA2B;CACpC,CAAC,CAAA;AAEF,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;IACF,IAAI,EAAE,4BAA4B;CACrC,CAAC,CAAA;AAEF,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CACnC;IACI,0BAA0B;IAC1B,4BAA4B;IAC5B,6BAA6B;CAChC,EACD;IACI,WAAW,EACP,oIAAoI;CAC3I,CACJ,CAAA;AAED,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,yBAAyB;AACzB,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,kBAAkB;IAClB,uBAAuB;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAClD,eAAe;IACf,0BAA0B;CAC7B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,eAAe;IACf,4BAA4B;CAC/B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,eAAe;IACf,6BAA6B;CAChC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,uBAAuB;IACvB,yBAAyB;IACzB,0BAA0B;CAC7B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,0BAA0B,CAAC;IAC1D,WAAW,EAAE,oBAAoB;IACjC,aAAa,EAAE,sBAAsB;IACrC,oBAAoB,EAAE,uBAAuB;CAChD,CAAC,CAAA"}
+{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,eAAe,GAClB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAE1E,+BAA+B;AAC/B,EAAE;AACF,+DAA+D;AAC/D,6DAA6D;AAC7D,iEAAiE;AACjE,kEAAkE;AAClE,sEAAsE;AACtE,qDAAqD;AACrD,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;QACd,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,IAAI,EAAE,yBAAyB;CAClC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC;QACb,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,8CAA8C;KAC9D,CAAC;IACF,IAAI,EAAE,2BAA2B;CACpC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;IACF,IAAI,EAAE,4BAA4B;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAC1C;IACI,0BAA0B;IAC1B,4BAA4B;IAC5B,6BAA6B;CAChC,EACD;IACI,WAAW,EACP,oIAAoI;CAC3I,CACJ,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAEtD,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,yBAAyB;AACzB,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,kBAAkB;IAClB,uBAAuB;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAClD,eAAe;IACf,0BAA0B;CAC7B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,eAAe;IACf,4BAA4B;CAC/B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,eAAe;IACf,6BAA6B;CAChC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,uBAAuB;IACvB,yBAAyB;IACzB,0BAA0B;CAC7B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,0BAA0B,CAAC;IAC1D,WAAW,EAAE,oBAAoB;IACjC,aAAa,EAAE,sBAAsB;IACrC,oBAAoB,EAAE,uBAAuB;CAChD,CAAC,CAAA"}

package/dist/extensions/openai/errors.d.ts

@@ -0,0 +1,49 @@
+export declare class TransientLlmError extends Error {
+    readonly retryReason: "transient";
+    readonly status?: number;
+    constructor(args: {
+        message: string;
+        status?: number;
+    });
+}
+export declare class RateLimitLlmError extends Error {
+    readonly retryReason: "rate_limit";
+    readonly status?: number;
+    constructor(args: {
+        message: string;
+        status?: number;
+    });
+}
+/**
+ * Thrown when the OpenAI Responses API rejects our request because
+ * the model's output failed strict-mode JSON-Schema enforcement on
+ * the OpenAI side (typical 400/422 errors). Tagged `transient` so
+ * the framework's default retry policy retries — a single re-roll
+ * often produces conforming output. (The framework's separate
+ * `OUTPUT_SCHEMA_INVALID` path catches output that passes the
+ * provider but fails our local TypeBox check; this class is the
+ * provider-side analogue.)
+ */
+export declare class SchemaValidationLlmError extends Error {
+    readonly retryReason: "transient";
+    readonly status?: number;
+    constructor(args: {
+        message: string;
+        status?: number;
+    });
+}
+export declare class NonRetryableLlmError extends Error {
+    readonly status?: number;
+    constructor(args: {
+        message: string;
+        status?: number;
+    });
+}
+export declare class ToolLoopExhaustedError extends Error {
+    readonly rounds: number;
+    constructor(args: {
+        message: string;
+        rounds: number;
+    });
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/extensions/openai/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/extensions/openai/errors.ts"],"names":[],"mappings":"AAgCA,qBAAa,iBAAkB,SAAQ,KAAK;IACxC,SAAgB,WAAW,EAAG,WAAW,CAAS;IAClD,SAAgB,MAAM,CAAC,EAAE,MAAM,CAAA;gBAEnB,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE;CAKzD;AAED,qBAAa,iBAAkB,SAAQ,KAAK;IACxC,SAAgB,WAAW,EAAG,YAAY,CAAS;IACnD,SAAgB,MAAM,CAAC,EAAE,MAAM,CAAA;gBAEnB,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE;CAKzD;AAED;;;;;;;;;GASG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IAC/C,SAAgB,WAAW,EAAG,WAAW,CAAS;IAClD,SAAgB,MAAM,CAAC,EAAE,MAAM,CAAA;gBAEnB,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE;CAKzD;AAED,qBAAa,oBAAqB,SAAQ,KAAK;IAC3C,SAAgB,MAAM,CAAC,EAAE,MAAM,CAAA;gBAEnB,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE;CAKzD;AAED,qBAAa,sBAAuB,SAAQ,KAAK;IAC7C,SAAgB,MAAM,EAAE,MAAM,CAAA;gBAElB,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE;CAKxD"}

package/dist/extensions/openai/errors.js

@@ -0,0 +1,85 @@
+// OpenAI-provider error classes.
+//
+// The framework's `llmStage` retry policy classifies provider errors
+// by inspecting a `retryReason` tag on the thrown object (see
+// `src/lib/pipelines/stage-helpers.ts#classifyError`). To play
+// cleanly with that mechanism, each provider-side error class carries
+// the appropriate tag as an own property.
+//
+// Mapping for the framework's default retry policy
+// (`retryOn: ["schema_validation", "transient"]`):
+//
+//   * `TransientLlmError` — `retryReason: "transient"`. 5xx
+//     responses + low-level fetch failures. Retried under the
+//     default policy.
+//   * `RateLimitLlmError` — `retryReason: "rate_limit"`. 429
+//     responses. Not retried by default — callers can opt into
+//     `retryOn: ["..., "rate_limit"]`.
+//   * `SchemaValidationLlmError` — no `retryReason` tag; the
+//     framework's separate schema-validation retry path handles
+//     this. Thrown for 400/422 responses that signal strict-mode
+//     schema violations.
+//   * `NonRetryableLlmError` — no tag; framework classifies as
+//     `non_retryable` and surfaces it immediately as
+//     `LLM_NON_RETRYABLE_ERROR`. Used for 401/403 and other
+//     unrecoverable 4xx.
+//   * `ToolLoopExhaustedError` — surfaces from the agent loop when
+//     the round cap is hit. Non-retryable.
+//
+// Keeping these classes in `extensions/openai/` rather than promoting
+// them into `src/lib/llm/` keeps the abstract interface clean — the
+// framework consumes the `retryReason` tag, not the class identity.
+export class TransientLlmError extends Error {
+    retryReason = "transient";
+    status;
+    constructor(args) {
+        super(args.message);
+        this.name = "TransientLlmError";
+        this.status = args.status;
+    }
+}
+export class RateLimitLlmError extends Error {
+    retryReason = "rate_limit";
+    status;
+    constructor(args) {
+        super(args.message);
+        this.name = "RateLimitLlmError";
+        this.status = args.status;
+    }
+}
+/**
+ * Thrown when the OpenAI Responses API rejects our request because
+ * the model's output failed strict-mode JSON-Schema enforcement on
+ * the OpenAI side (typical 400/422 errors). Tagged `transient` so
+ * the framework's default retry policy retries — a single re-roll
+ * often produces conforming output. (The framework's separate
+ * `OUTPUT_SCHEMA_INVALID` path catches output that passes the
+ * provider but fails our local TypeBox check; this class is the
+ * provider-side analogue.)
+ */
+export class SchemaValidationLlmError extends Error {
+    retryReason = "transient";
+    status;
+    constructor(args) {
+        super(args.message);
+        this.name = "SchemaValidationLlmError";
+        this.status = args.status;
+    }
+}
+export class NonRetryableLlmError extends Error {
+    status;
+    constructor(args) {
+        super(args.message);
+        this.name = "NonRetryableLlmError";
+        this.status = args.status;
+    }
+}
+export class ToolLoopExhaustedError extends Error {
+    rounds;
+    constructor(args) {
+        super(args.message);
+        this.name = "ToolLoopExhaustedError";
+        this.rounds = args.rounds;
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/extensions/openai/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../src/extensions/openai/errors.ts"],"names":[],"mappings":"AAAA,iCAAiC;AACjC,EAAE;AACF,qEAAqE;AACrE,8DAA8D;AAC9D,+DAA+D;AAC/D,sEAAsE;AACtE,0CAA0C;AAC1C,EAAE;AACF,mDAAmD;AACnD,mDAAmD;AACnD,EAAE;AACF,4DAA4D;AAC5D,8DAA8D;AAC9D,sBAAsB;AACtB,6DAA6D;AAC7D,+DAA+D;AAC/D,uCAAuC;AACvC,6DAA6D;AAC7D,gEAAgE;AAChE,iEAAiE;AACjE,yBAAyB;AACzB,+DAA+D;AAC/D,qDAAqD;AACrD,4DAA4D;AAC5D,yBAAyB;AACzB,mEAAmE;AACnE,2CAA2C;AAC3C,EAAE;AACF,sEAAsE;AACtE,oEAAoE;AACpE,oEAAoE;AAEpE,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACxB,WAAW,GAAG,WAAoB,CAAA;IAClC,MAAM,CAAS;IAE/B,YAAY,IAA0C;QAClD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACnB,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAA;QAC/B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC7B,CAAC;CACJ;AAED,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACxB,WAAW,GAAG,YAAqB,CAAA;IACnC,MAAM,CAAS;IAE/B,YAAY,IAA0C;QAClD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACnB,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAA;QAC/B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC7B,CAAC;CACJ;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IAC/B,WAAW,GAAG,WAAoB,CAAA;IAClC,MAAM,CAAS;IAE/B,YAAY,IAA0C;QAClD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACnB,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAA;QACtC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC7B,CAAC;CACJ;AAED,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC3B,MAAM,CAAS;IAE/B,YAAY,IAA0C;QAClD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACnB,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAA;QAClC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC7B,CAAC;CACJ;AAED,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC7B,MAAM,CAAQ;IAE9B,YAAY,IAAyC;QACjD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACnB,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAA;QACpC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC7B,CAAC;CACJ"}

package/dist/extensions/openai/index.d.ts

@@ -0,0 +1,7 @@
+export { createOpenAiResponsesProvider } from "./provider.js";
+export type { TCreateOpenAiResponsesProviderOptions } from "./provider.js";
+export type { TOpenAiFetch } from "./types.js";
+export { NonRetryableLlmError, RateLimitLlmError, SchemaValidationLlmError, ToolLoopExhaustedError, TransientLlmError, } from "./errors.js";
+export { typeboxToOpenAiSchema } from "./structured-output.js";
+export type { TOpenAiJsonSchema } from "./structured-output.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/extensions/openai/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/extensions/openai/index.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAA;AAC7D,YAAY,EAAE,qCAAqC,EAAE,MAAM,eAAe,CAAA;AAC1E,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAC9C,OAAO,EACH,oBAAoB,EACpB,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,EACtB,iBAAiB,GACpB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,YAAY,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA"}

package/dist/extensions/openai/index.js

@@ -0,0 +1,10 @@
+// Barrel for the OpenAI Responses-API provider extension.
+//
+// Public surface consumed by `proposit-server`, the CLI, and other
+// callers: the provider constructor + caller-facing config types +
+// the error classes that callers may want to `instanceof`-match for
+// finer-grained observability.
+export { createOpenAiResponsesProvider } from "./provider.js";
+export { NonRetryableLlmError, RateLimitLlmError, SchemaValidationLlmError, ToolLoopExhaustedError, TransientLlmError, } from "./errors.js";
+export { typeboxToOpenAiSchema } from "./structured-output.js";
+//# sourceMappingURL=index.js.map

package/dist/extensions/openai/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/extensions/openai/index.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,EAAE;AACF,mEAAmE;AACnE,mEAAmE;AACnE,oEAAoE;AACpE,+BAA+B;AAE/B,OAAO,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAA;AAG7D,OAAO,EACH,oBAAoB,EACpB,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,EACtB,iBAAiB,GACpB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA"}

package/dist/extensions/openai/provider.d.ts

@@ -0,0 +1,22 @@
+import type { TLlmProvider } from "../../lib/llm/types.js";
+import type { TOpenAiFetch } from "./types.js";
+export type TCreateOpenAiResponsesProviderOptions = {
+    apiKey: string;
+    /** Override the default `https://api.openai.com/v1/responses`. */
+    baseUrl?: string;
+    /**
+     * Injectable `fetch`. Defaults to `globalThis.fetch`. Tests inject
+     * mocks; runtimes without a global `fetch` (older Node) inject a
+     * polyfill.
+     */
+    fetch?: TOpenAiFetch;
+    /**
+     * Cap on the number of round-trips the function-tool agent loop
+     * can take before throwing `ToolLoopExhaustedError`. Defaults to
+     * 6. Built-in tools (`web_search` / `file_search` / `mcp`) don't
+     * count against this cap — they run server-side.
+     */
+    maxToolCallRounds?: number;
+};
+export declare function createOpenAiResponsesProvider(options: TCreateOpenAiResponsesProviderOptions): TLlmProvider;
+//# sourceMappingURL=provider.d.ts.map

package/dist/extensions/openai/provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.d.ts","sourceRoot":"","sources":["../../../src/extensions/openai/provider.ts"],"names":[],"mappings":"AA+BA,OAAO,KAAK,EACR,YAAY,EAKf,MAAM,wBAAwB,CAAA;AAS/B,OAAO,KAAK,EACR,YAAY,EAMf,MAAM,YAAY,CAAA;AAKnB,MAAM,MAAM,qCAAqC,GAAG;IAChD,MAAM,EAAE,MAAM,CAAA;IACd,kEAAkE;IAClE,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB;;;;OAIG;IACH,KAAK,CAAC,EAAE,YAAY,CAAA;IACpB;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAA;CAC7B,CAAA;AAED,wBAAgB,6BAA6B,CACzC,OAAO,EAAE,qCAAqC,GAC/C,YAAY,CAqJd"}