proposit-core
    Preparing search index...

    Function createScribePipeline

    • 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.

      Parameters

      Returns TPipeline<
          TIngestionInput,
          {
              argument: | {
                  claims: {
                      miniId: string;
                      role: "conclusion"
                      | "premise"
                      | "intermediate";
                      type: "normal" | "citation" | "axiomatic";
                  }[];
                  conclusionPremiseMiniId: string;
                  derivationBacking?: {
                      derivedClaimMiniId: string;
                      supportingClaimMiniIds: string[];
                  }[];
                  premises: { formula: string; miniId: string }[];
                  variables: { claimMiniId: string; miniId: string; symbol: string }[];
              }
              | null;
              failureText: string
              | null;
              selectionRationale: string | null;
              uncategorizedText: string | null;
          },
      >

    Settings

    Member Visibility