@autobe/agent 0.25.7 → 0.27.0

package/src/orchestrate/interface/utils/JsonSchemaValidator.ts

@@ -13,6 +13,7 @@ export namespace JsonSchemaValidator {
   export const validateSchemas = (props: IProps): void => {
     validateAuthorization(props);
     validatePrismaSchema(props.errors);
+    validateRecursive(props);
     for (const key of Object.keys(props.schemas))
       validateKey({
         errors: props.errors,
@@ -174,4 +175,113 @@ export namespace JsonSchemaValidator {
       `;
     }
   };
+
+  const validateRecursive = (props: IProps): void => {
+    for (const [key, value] of Object.entries(props.schemas)) {
+      const report = (description: string) =>
+        props.errors.push({
+          path: `${props.path}[${JSON.stringify(key)}]`,
+          expected: "Non-infinite recursive schema definition",
+          value,
+          description,
+        });
+      if (
+        AutoBeOpenApiTypeChecker.isReference(value) &&
+        value.$ref === `#/components/schemas/${key}`
+      )
+        report(StringUtil.trim`
+          You have defined a nonsensible type like below:
+
+          \`\`\`typescript
+          type ${key} = ${key};
+          \`\`\`
+
+          This is an infinite recursive type definition that cannot exist in any
+          programming language. A type cannot be defined as itself - this creates
+          a circular definition with no base case, making the type impossible to
+          instantiate or validate.
+
+          If you need tree or graph structures, use explicit relationships with
+          ID references (e.g., parentId: string) instead of recursive type definitions.
+          Remove the self-reference and redesign the schema at the next time.
+        `);
+      else if (
+        AutoBeOpenApiTypeChecker.isArray(value) &&
+        AutoBeOpenApiTypeChecker.isReference(value.items) &&
+        value.items.$ref === `#/components/schemas/${key}`
+      )
+        report(StringUtil.trim`
+          You have defined a nonsensible type like below:
+
+          \`\`\`typescript
+          type ${key} = Array<${key}>;
+          \`\`\`
+
+          This is an infinite recursive array type that cannot exist in any
+          programming language. An array of itself creates a circular definition
+          with no base case, making the type impossible to instantiate or validate.
+
+          If you need nested structures, define explicit depth levels with separate
+          types, or use parent-child relationships with ID references.
+          Remove the self-reference and redesign the schema at the next time.
+        `);
+      else if (
+        AutoBeOpenApiTypeChecker.isOneOf(value) &&
+        value.oneOf.some(
+          (v) =>
+            AutoBeOpenApiTypeChecker.isReference(v) &&
+            v.$ref === `#/components/schemas/${key}`,
+        ) === true
+      )
+        report(StringUtil.trim`
+          You have defined a nonsensible type like below:
+
+          \`\`\`typescript
+          type ${key} = ${key} | ...;
+          \`\`\`
+
+          This is an infinite recursive union type that cannot exist in any
+          programming language. A union that includes itself as a variant creates
+          a circular definition with no base case, making the type impossible to
+          instantiate or validate.
+
+          If you need polymorphic hierarchies, define separate concrete types for
+          each variant without including the union type itself as a variant.
+          Remove the self-reference and redesign the schema at the next time.
+        `);
+      else if (
+        AutoBeOpenApiTypeChecker.isObject(value) &&
+        value.properties &&
+        value.required &&
+        Object.entries(value.properties).some(
+          ([k, v]) =>
+            AutoBeOpenApiTypeChecker.isReference(v) &&
+            v.$ref === `#/components/schemas/${key}` &&
+            value.required.includes(k),
+        )
+      )
+        report(StringUtil.trim`
+          You have defined a nonsensible type like below:
+
+          \`\`\`typescript
+          interface ${key} {
+            someProperty: ${key}; // required, non-nullable
+          }
+          \`\`\`
+
+          This is an infinite recursive object type that cannot exist in any
+          programming language. A required non-nullable property referencing its
+          own type creates a circular definition with no base case, making the
+          type impossible to instantiate.
+
+          To create an instance of ${key}, you would need an instance of ${key},
+          which requires another instance of ${key}, infinitely. This is logically
+          impossible.
+
+          If you need parent-child or graph relationships, make the self-referencing
+          property either nullable or optional, or use ID references (e.g., parentId: string).
+          Remove the required self-reference and redesign the schema at the next time.
+        `);
+    }
+  };
 }

package/src/orchestrate/interface/utils/OperationValidator.ts

@@ -14,7 +14,7 @@ export namespace OperationValidator {
     operations: Array<
       Omit<
         AutoBeOpenApi.IOperation,
-        "authorizationRole" | "authorizationType" | "prerequisites"
+        "authorizationActor" | "authorizationType" | "prerequisites"
       >
     >;
   }): void => {

package/src/orchestrate/prisma/histories/transformPrismaComponentsHistories.ts

@@ -65,19 +65,19 @@ export const transformPrismaComponentsHistories = (
         - \`mv_shopping_daily_stats\`
         
         ${
-          state.analyze.roles.length > 0
+          state.analyze.actors.length > 0
             ? StringUtil.trim`
-                ## User Role Handling
-                
-                The Requirement Analysis Report contains the following user roles: ${state.analyze.roles.join(", ")}
-                
-                **Do not normalize** user roles into a single table.
-                Instead, create separate tables for each distinct role mentioned in the requirements.
-                
-                Create separate tables for each role:
-                
-                ${state.analyze.roles
-                  .map((role) => `- ${props.prefix}_${role.name.toLowerCase()}`)
+                ## User Actor Handling
+
+                The Requirement Analysis Report contains the following user actors: ${state.analyze.actors.join(", ")}
+
+                **Do not normalize** user actors into a single table.
+                Instead, create separate tables for each distinct actor mentioned in the requirements.
+
+                Create separate tables for each actor:
+
+                ${state.analyze.actors
+                  .map((actor) => `- ${props.prefix}_${actor.name.toLowerCase()}`)
                   .join("\n")}
               `
             : ""

package/src/orchestrate/prisma/orchestratePrisma.ts

@@ -2,19 +2,19 @@ import {
   AutoBeAssistantMessageHistory,
   AutoBePrisma,
   AutoBePrismaCompleteEvent,
-  AutoBePrismaComponentsEvent,
+  AutoBePrismaComponentEvent,
   AutoBePrismaHistory,
   AutoBePrismaReviewEvent,
   IAutoBeCompiler,
   IAutoBePrismaValidation,
 } from "@autobe/interface";
-import { AutoBePrismaSchemasEvent } from "@autobe/interface/src/events/AutoBePrismaSchemasEvent";
+import { AutoBePrismaSchemaEvent } from "@autobe/interface/src/events/AutoBePrismaSchemaEvent";
 import { ILlmSchema } from "@samchon/openapi";
 import { v7 } from "uuid";
 
 import { AutoBeContext } from "../../context/AutoBeContext";
-import { IAutoBeFacadeApplicationProps } from "../../context/IAutoBeFacadeApplicationProps";
 import { predicateStateMessage } from "../../utils/predicateStateMessage";
+import { IAutoBeFacadeApplicationProps } from "../facade/histories/IAutoBeFacadeApplicationProps";
 import { orchestratePrismaComponents } from "./orchestratePrismaComponent";
 import { orchestratePrismaCorrect } from "./orchestratePrismaCorrect";
 import { orchestratePrismaReview } from "./orchestratePrismaReview";
@@ -44,12 +44,12 @@ export const orchestratePrisma = async <Model extends ILlmSchema.Model>(
   });
 
   // COMPONENTS
-  const componentEvent: AutoBePrismaComponentsEvent =
+  const componentEvent: AutoBePrismaComponentEvent =
     await orchestratePrismaComponents(ctx, props.instruction);
   ctx.dispatch(componentEvent);
 
   // CONSTRUCT AST DATA
-  const schemaEvents: AutoBePrismaSchemasEvent[] =
+  const schemaEvents: AutoBePrismaSchemaEvent[] =
     await orchestratePrismaSchemas(
       ctx,
       props.instruction,
@@ -104,6 +104,7 @@ export const orchestratePrisma = async <Model extends ILlmSchema.Model>(
     compiled: await compiler.prisma.compile({
       files: finalSchemas,
     }),
+    aggregates: ctx.getCurrentAggregates("prisma"),
     step: ctx.state().analyze?.step ?? 0,
     elapsed: new Date().getTime() - start.getTime(),
     created_at: new Date().toISOString(),

package/src/orchestrate/prisma/orchestratePrismaComponent.ts

@@ -1,5 +1,5 @@
 import { IAgenticaController } from "@agentica/core";
-import { AutoBePrismaComponentsEvent } from "@autobe/interface/src/events/AutoBePrismaComponentsEvent";
+import { AutoBePrismaComponentEvent } from "@autobe/interface/src/events/AutoBePrismaComponentEvent";
 import { ILlmApplication, ILlmSchema } from "@samchon/openapi";
 import { IPointer } from "tstl";
 import typia from "typia";
@@ -16,14 +16,14 @@ export async function orchestratePrismaComponents<
   ctx: AutoBeContext<Model>,
   instruction: string,
   message: string = "Design database from the given requirement analysis documents.",
-): Promise<AutoBePrismaComponentsEvent> {
+): Promise<AutoBePrismaComponentEvent> {
   const start: Date = new Date();
   const pointer: IPointer<IAutoBePrismaComponentApplication.IProps | null> = {
     value: null,
   };
   const prefix: string | null = ctx.state().analyze?.prefix ?? null;
-  const { tokenUsage } = await ctx.conversate({
-    source: "prismaComponents",
+  const { metric, tokenUsage } = await ctx.conversate({
+    source: "prismaComponent",
     histories: transformPrismaComponentsHistories(ctx.state(), {
       prefix,
       instruction,
@@ -40,13 +40,14 @@ export async function orchestratePrismaComponents<
   if (pointer.value === null)
     throw new Error("Failed to extract files and tables."); // unreachable
   return {
-    type: "prismaComponents",
+    type: "prismaComponent",
     id: v7(),
     created_at: start.toISOString(),
     thinking: pointer.value.thinking,
     review: pointer.value.review,
     decision: pointer.value.decision,
     components: pointer.value.components,
+    metric,
     tokenUsage,
     step: ctx.state().analyze?.step ?? 0,
   };

package/src/orchestrate/prisma/orchestratePrismaCorrect.ts

@@ -116,7 +116,7 @@ async function execute<Model extends ILlmSchema.Model>(
   const pointer: IPointer<IAutoBePrismaCorrectApplication.IProps | null> = {
     value: null,
   };
-  const { tokenUsage } = await ctx.conversate({
+  const { metric, tokenUsage } = await ctx.conversate({
     source: "prismaCorrect",
     histories: transformPrismaCorrectHistories(failure),
     controller: createController({
@@ -149,6 +149,7 @@ async function execute<Model extends ILlmSchema.Model>(
     failure,
     planning: pointer.value.planning,
     correction: correction,
+    metric,
     tokenUsage,
     step: ctx.state().analyze?.step ?? 0,
     created_at: new Date().toISOString(),

package/src/orchestrate/prisma/orchestratePrismaReview.ts

@@ -56,7 +56,7 @@ async function step<Model extends ILlmSchema.Model>(
   const pointer: IPointer<IAutoBePrismaReviewApplication.IProps | null> = {
     value: null,
   };
-  const { tokenUsage } = await ctx.conversate({
+  const { metric, tokenUsage } = await ctx.conversate({
     source: "prismaReview",
     histories: transformPrismaReviewHistories({
       analysis:
@@ -90,6 +90,7 @@ async function step<Model extends ILlmSchema.Model>(
     review: pointer.value.review,
     plan: pointer.value.plan,
     modifications: pointer.value.modifications,
+    metric,
     tokenUsage,
     completed: ++props.progress.completed,
     total: props.progress.total,

package/src/orchestrate/prisma/orchestratePrismaSchemas.ts

@@ -1,6 +1,6 @@
 import { IAgenticaController } from "@agentica/core";
 import { AutoBePrisma } from "@autobe/interface";
-import { AutoBePrismaSchemasEvent } from "@autobe/interface/src/events/AutoBePrismaSchemasEvent";
+import { AutoBePrismaSchemaEvent } from "@autobe/interface/src/events/AutoBePrismaSchemaEvent";
 import { StringUtil } from "@autobe/utils";
 import { ILlmApplication, ILlmSchema, IValidation } from "@samchon/openapi";
 import { IPointer } from "tstl";
@@ -17,7 +17,7 @@ export async function orchestratePrismaSchemas<Model extends ILlmSchema.Model>(
   ctx: AutoBeContext<Model>,
   instruction: string,
   componentList: AutoBePrisma.IComponent[],
-): Promise<AutoBePrismaSchemasEvent[]> {
+): Promise<AutoBePrismaSchemaEvent[]> {
   const start: Date = new Date();
   const total: number = componentList
     .map((c) => c.tables.length)
@@ -29,7 +29,7 @@ export async function orchestratePrismaSchemas<Model extends ILlmSchema.Model>(
         .filter((y) => component !== y)
         .map((c) => c.tables)
         .flat();
-      const event: AutoBePrismaSchemasEvent = await process(ctx, {
+      const event: AutoBePrismaSchemaEvent = await process(ctx, {
         instruction,
         component,
         otherTables,
@@ -55,12 +55,12 @@ async function process<Model extends ILlmSchema.Model>(
     completed: IPointer<number>;
     promptCacheKey: string;
   },
-): Promise<AutoBePrismaSchemasEvent> {
+): Promise<AutoBePrismaSchemaEvent> {
   const pointer: IPointer<IAutoBePrismaSchemaApplication.IProps | null> = {
     value: null,
   };
-  const { tokenUsage } = await ctx.conversate({
-    source: "prismaSchemas",
+  const { metric, tokenUsage } = await ctx.conversate({
+    source: "prismaSchema",
     histories: transformPrismaSchemaHistories({
       analysis:
         ctx
@@ -87,7 +87,7 @@ async function process<Model extends ILlmSchema.Model>(
   if (pointer.value === null)
     throw new Error("Unreachable code: Prisma Schema not generated");
   return {
-    type: "prismaSchemas",
+    type: "prismaSchema",
     id: v7(),
     created_at: props.start.toISOString(),
     plan: pointer.value.plan,
@@ -97,11 +97,12 @@ async function process<Model extends ILlmSchema.Model>(
       namespace: props.component.namespace,
       models: pointer.value.models,
     },
+    metric,
     tokenUsage,
     completed: (props.completed.value += props.component.tables.length),
     total: props.total,
     step: ctx.state().analyze?.step ?? 0,
-  } satisfies AutoBePrismaSchemasEvent;
+  } satisfies AutoBePrismaSchemaEvent;
 }
 
 function createController<Model extends ILlmSchema.Model>(

package/src/orchestrate/realize/histories/transformRealizeAuthorization.ts

@@ -1,5 +1,5 @@
 import { IAgenticaHistoryJson } from "@agentica/core";
-import { AutoBeAnalyzeRole } from "@autobe/interface";
+import { AutoBeAnalyzeActor } from "@autobe/interface";
 import { StringUtil } from "@autobe/utils";
 import { ILlmSchema } from "@samchon/openapi";
 import { v7 } from "uuid";
@@ -11,7 +11,7 @@ export const transformRealizeAuthorizationHistories = <
   Model extends ILlmSchema.Model,
 >(
   ctx: AutoBeContext<Model>,
-  role: AutoBeAnalyzeRole,
+  actor: AutoBeAnalyzeActor,
 ): Array<
   IAgenticaHistoryJson.IAssistantMessage | IAgenticaHistoryJson.ISystemMessage
 > => {
@@ -27,9 +27,10 @@ export const transformRealizeAuthorizationHistories = <
       created_at: new Date().toISOString(),
       type: "systemMessage",
       text: StringUtil.trim`
-        ## Role
+        ## Actor
+        
         \`\`\`json
-        ${JSON.stringify(role)}
+        ${JSON.stringify(actor)}
         \`\`\`
 
         ## Prisma Schema
@@ -42,9 +43,9 @@ export const transformRealizeAuthorizationHistories = <
 
         Please follow this naming convention for the authorization components:
 
-        - Provider Name: ${role.name}Authorize (e.g. ${role.name}Authorize)
-        - Decorator Name: ${role.name.charAt(0).toUpperCase() + role.name.slice(1)}Auth (e.g. ${role.name.charAt(0).toUpperCase() + role.name.slice(1)}Auth)
-        - Payload Name: ${role.name.charAt(0).toUpperCase() + role.name.slice(1)}Payload (e.g. ${role.name.charAt(0).toUpperCase() + role.name.slice(1)}Payload)
+        - Provider Name: ${actor.name}Authorize (e.g. ${actor.name}Authorize)
+        - Decorator Name: ${actor.name.charAt(0).toUpperCase() + actor.name.slice(1)}Auth (e.g. ${actor.name.charAt(0).toUpperCase() + actor.name.slice(1)}Auth)
+        - Payload Name: ${actor.name.charAt(0).toUpperCase() + actor.name.slice(1)}Payload (e.g. ${actor.name.charAt(0).toUpperCase() + actor.name.slice(1)}Payload)
       `,
     },
   ];

package/src/orchestrate/realize/histories/transformRealizeAuthorizationCorrectHistories.ts

@@ -57,7 +57,7 @@ export const transformRealizeAuthorizationCorrectHistories = <
             name: auth.payload.name,
             content: auth.payload.content,
           },
-        } satisfies Omit<AutoBeRealizeAuthorization, "role">)}
+        } satisfies Omit<AutoBeRealizeAuthorization, "actor">)}
         \`\`\`
 
         ## Prisma Schema
@@ -86,9 +86,9 @@ export const transformRealizeAuthorizationCorrectHistories = <
 
         Please follow this naming convention for the authorization components:
 
-        - Provider Name: ${auth.role.name.toLowerCase()}Authorize (e.g. ${auth.role.name.toLowerCase()}Authorize)
-        - Decorator Name: ${auth.role.name.charAt(0).toUpperCase() + auth.role.name.slice(1).toLowerCase()}Auth (e.g. ${auth.role.name.charAt(0).toUpperCase() + auth.role.name.slice(1).toLowerCase()}Auth)
-        - Payload Name: ${auth.role.name.charAt(0).toUpperCase() + auth.role.name.slice(1).toLowerCase()}Payload (e.g. ${auth.role.name.charAt(0).toUpperCase() + auth.role.name.slice(1).toLowerCase()}Payload)
+        - Provider Name: ${auth.actor.name.toLowerCase()}Authorize (e.g. ${auth.actor.name.toLowerCase()}Authorize)
+        - Decorator Name: ${auth.actor.name.charAt(0).toUpperCase() + auth.actor.name.slice(1).toLowerCase()}Auth (e.g. ${auth.actor.name.charAt(0).toUpperCase() + auth.actor.name.slice(1).toLowerCase()}Auth)
+        - Payload Name: ${auth.actor.name.charAt(0).toUpperCase() + auth.actor.name.slice(1).toLowerCase()}Payload (e.g. ${auth.actor.name.charAt(0).toUpperCase() + auth.actor.name.slice(1).toLowerCase()}Payload)
       `,
     },
   ];

package/src/orchestrate/realize/histories/transformRealizeCorrectCastingHistories.ts

@@ -1,44 +1,30 @@
 import { IAgenticaHistoryJson } from "@agentica/core";
-import { IAutoBeTypeScriptCompileResult } from "@autobe/interface";
-import { StringUtil } from "@autobe/utils";
 import { v7 } from "uuid";
 
 import { AutoBeSystemPromptConstant } from "../../../constants/AutoBeSystemPromptConstant";
-import { printErrorHints } from "../utils/printErrorHints";
+import { transformPreviousAndLatestCorrectHistories } from "../../common/histories/transformPreviousAndLatestCorrectHistories";
+import { IAutoBeRealizeFunctionFailure } from "../structures/IAutoBeRealizeFunctionFailure";
 
-interface IFailure {
-  diagnostics: IAutoBeTypeScriptCompileResult.IDiagnostic[];
-  script: string;
-}
-
-export const transformRealizeCorrectCastingHistories = (
-  failures: IFailure[],
-): Array<
+export const transformRealizeCorrectCastingHistories = (props: {
+  failures: IAutoBeRealizeFunctionFailure[];
+}): Array<
   IAgenticaHistoryJson.IAssistantMessage | IAgenticaHistoryJson.ISystemMessage
 > => {
-  return [
+  const histories: Array<
+    IAgenticaHistoryJson.IAssistantMessage | IAgenticaHistoryJson.ISystemMessage
+  > = [
     {
       id: v7(),
       created_at: new Date().toISOString(),
       type: "systemMessage",
       text: AutoBeSystemPromptConstant.COMMON_CORRECT_CASTING,
     },
-    ...failures.map(
-      (f) =>
-        ({
-          id: v7(),
-          created_at: new Date().toISOString(),
-          type: "assistantMessage",
-          text: StringUtil.trim`
-          # Errors
-
-          This is a past code and an error with the code. 
-          Please refer to the annotation for the location of the error.
-
-          ${printErrorHints(f.script, f.diagnostics)}          
-          \`\`\`
-        `,
-        }) satisfies IAgenticaHistoryJson.IAssistantMessage,
+    ...transformPreviousAndLatestCorrectHistories(
+      props.failures.map((f) => ({
+        script: f.function.content,
+        diagnostics: f.diagnostics,
+      })),
     ),
   ];
+  return histories;
 };

package/src/orchestrate/realize/histories/transformRealizeCorrectHistories.ts

@@ -1,13 +1,12 @@
 import { IAgenticaHistoryJson } from "@agentica/core";
 import { AutoBeRealizeAuthorization } from "@autobe/interface";
-import { StringUtil } from "@autobe/utils";
 import { v7 } from "uuid";
 
 import { AutoBeSystemPromptConstant } from "../../../constants/AutoBeSystemPromptConstant";
 import { AutoBeState } from "../../../context/AutoBeState";
+import { transformPreviousAndLatestCorrectHistories } from "../../common/histories/transformPreviousAndLatestCorrectHistories";
 import { IAutoBeRealizeFunctionFailure } from "../structures/IAutoBeRealizeFunctionFailure";
 import { IAutoBeRealizeScenarioResult } from "../structures/IAutoBeRealizeScenarioResult";
-import { printErrorHints } from "../utils/printErrorHints";
 import { transformRealizeWriteHistories } from "./transformRealizeWriteHistories";
 
 export function transformRealizeCorrectHistories(props: {
@@ -15,49 +14,33 @@ export function transformRealizeCorrectHistories(props: {
   scenario: IAutoBeRealizeScenarioResult;
   authorization: AutoBeRealizeAuthorization | null;
   totalAuthorizations: AutoBeRealizeAuthorization[];
-  code: string;
   dto: Record<string, string>;
   failures: IAutoBeRealizeFunctionFailure[];
 }): Array<
   IAgenticaHistoryJson.IAssistantMessage | IAgenticaHistoryJson.ISystemMessage
 > {
-  return [
+  const histories: Array<
+    IAgenticaHistoryJson.IAssistantMessage | IAgenticaHistoryJson.ISystemMessage
+  > = [
     ...transformRealizeWriteHistories(props),
     {
       id: v7(),
       created_at: new Date().toISOString(),
       type: "systemMessage",
       text: AutoBeSystemPromptConstant.COMMON_CORRECT_CASTING,
-    },
-    {
-      id: v7(),
-      type: "assistantMessage",
-      text: StringUtil.trim`
-        Below is the code you made before. It's also something to review.
-
-        \`\`\`typescript
-        ${props.code}
-        \`\`\`
-      `,
-      created_at: new Date().toISOString(),
-    },
-    ...props.failures.map((f) => {
-      return {
-        id: v7(),
-        type: "assistantMessage",
-        text: StringUtil.trim`
-            This is a past code and an error with the code. Please refer to the annotation for the location of the error.
-
-            ${printErrorHints(f.function.content, f.diagnostics)}
-          `,
-        created_at: new Date().toISOString(),
-      } satisfies IAgenticaHistoryJson.IAssistantMessage;
-    }),
+    } as IAgenticaHistoryJson.ISystemMessage,
     {
       id: v7(),
       type: "systemMessage",
       text: AutoBeSystemPromptConstant.REALIZE_CORRECT,
       created_at: new Date().toISOString(),
-    },
+    } as IAgenticaHistoryJson.ISystemMessage,
+    ...transformPreviousAndLatestCorrectHistories(
+      props.failures.map((f) => ({
+        script: f.function.content,
+        diagnostics: f.diagnostics,
+      })),
+    ),
   ];
+  return histories;
 }