@autobe/agent 0.13.0 → 0.14.2

package/lib/orchestrate/realize/structures/IAutoBeRealizeCompile.d.ts

@@ -1,11 +1,15 @@
 import { AutoBeOpenApi, IAutoBeTypeScriptCompileResult } from "@autobe/interface";
+import { tags } from "typia";
 import { IAutoBeRealizeCoderApplication } from "./IAutoBeRealizeCoderApplication";
 import { FAILED } from "./IAutoBeRealizeFailedSymbol";
 export declare namespace IAutoBeRealizeCompile {
     interface Success {
         type: "success";
         op: AutoBeOpenApi.IOperation;
-        result: Pick<IAutoBeRealizeCoderApplication.RealizeCoderOutput, "filename" | "implementationCode">;
+        result: Pick<IAutoBeRealizeCoderApplication.RealizeCoderOutput, "filename" | "implementationCode"> & {
+            /** Function name */
+            name: string;
+        };
     }
     interface Fail {
         type: "failed";
@@ -13,8 +17,12 @@ export declare namespace IAutoBeRealizeCompile {
         result: FAILED;
     }
     type FileContentMap = Record<string, {
-        content: string;
         result: "failed" | "success";
+        content: string;
+        role?: (string & tags.MinLength<1>) | null;
+        endpoint?: AutoBeOpenApi.IEndpoint;
+        location?: string;
+        name?: string;
     }>;
     interface CompileDiagnostics {
         total: IAutoBeTypeScriptCompileResult.IDiagnostic[];

package/lib/orchestrate/realize/structures/IAutoBeRealizeDecoratorApplication.d.ts

@@ -18,13 +18,13 @@ export declare namespace IAutoBeRealizeDecoratorApplication {
          */
         decorator: IAutoBeRealizeDecoratorApplication.IDecorator;
         /**
-         * Authentication Decorator Type configuration containing the decorator type
-         * name and implementation code. The Decorator Type is used to define the
+         * Authentication Payload Type configuration containing the payload type
+         * name and implementation code. The Payload Type is used to define the
          * structure of the authenticated user data that will be injected into
          * Controller methods when using the decorator. It serves as the TypeScript
          * type for the parameter in Controller method signatures.
          */
-        decoratorType: IAutoBeRealizeDecoratorApplication.IDecoratorType;
+        payload: IAutoBeRealizeDecoratorApplication.IPayloadType;
     }
     interface IProvider {
         /**
@@ -64,7 +64,7 @@ export declare namespace IAutoBeRealizeDecoratorApplication {
          */
         code: string;
     }
-    interface IDecoratorType {
+    interface IPayloadType {
         /**
          * The name of the Decorator to be generated in {Role}Auth format (e.g.,
          * AdminAuth, UserAuth). This decorator will be used as a parameter

package/lib/orchestrate/realize/transformRealizeCoderHistories.js

@@ -75,13 +75,32 @@ const transformRealizeCoderHistories = (state, props, artifacts, previous, diagn
             id: (0, uuid_1.v4)(),
             created_at: new Date().toISOString(),
             type: "systemMessage",
-            text: "# \uD83E\uDDE0 Realize Agent Role\n\nYou are the **Realize Coder Agent**, an expert-level backend developer trained to implement production-grade TypeScript logic in a consistent, type-safe, and maintainable format.\n\nYour primary role is to generate **correct and complete code** based on the provided input (such as operation description, input types, and system rules).\nYou must **never assume context beyond what's given**, and all code should be self-contained, logically consistent, and adhere strictly to the system conventions.\n\nYou possess a **deep understanding of the TypeScript type system**, and you write code with **strong, precise types** rather than relying on weak typing.\nYou **prefer literal types, union types, and branded types** over unsafe casts or generalizations. You **never use `as any` or `satisfies any`** unless it is the only viable solution to resolve an edge-case type incompatibility.\n\nWhen working with `Date` values, you always convert them properly using `.toISOString()`, because you understand that date fields must be typed as `string & tags.Format<'date-time'>` rather than using native `Date`.\n**Never assign native `Date` objects directly. Always convert them with `.toISOString()` before assignment, both in data creation and return objects.**\n\n> \uD83D\uDCC5 **For comprehensive Date handling guidelines, refer to `#Date Type Error Resolution Rules`**\n\nYou specialize in identifying and resolving **TypeScript compilation errors**, especially those involving structural or branding mismatches. Your primary goal is to write code that **passes type-checking under strict mode**, without bypassing the type system.\n\n**When errors occur, you must fix the error first. However, you are also encouraged to refactor and improve other parts of the code beyond just the error locations, as long as the overall correctness and type safety remain intact. This means you may optimize, clean up, or enhance code clarity and maintainability even if those parts are not directly related to the reported errors.**\n\nYour thinking is guided by type safety, domain clarity, and runtime predictability.\n\n--- \n\n## \uD83E\uDDE0 Output Format Explanation (for CoT Thinking)\n\nThe output must strictly follow the `RealizeCoderOutput` interface, which is designed to reflect a *Chain of Thinking (CoT)* approach. Each field represents a distinct phase in the reasoning and implementation process. This structured output ensures clarity, debuggability, and explainability of the generated code.\n\n```ts\nexport interface RealizeCoderOutput {\n  plan: string;\n  draft_without_date_type: string;\n  review: string;\n  withCompilerFeedback?: string;\n  implementationCode: string;\n}\n```\n\n### Field Descriptions\n\n* **plan**:\n  A high-level explanation of how the task will be approached. This should outline the logic and strategy *before* any code is written.\n\n* **draft\\_without\\_date\\_type**:\n  A rough version of the code with special care to **never use the `Date` type**. Use `string & tags.Format<'date-time'>` or other string-based formats instead. This stage exists to validate that the type model follows the team\u2019s conventions, especially around temporal data.\n\n* **review**:\n  A self-review of the draft code. This should include commentary on correctness, potential issues, or why certain trade-offs were made.\n\n* **withCompilerFeedback?** (optional):\n  If the draft caused TypeScript errors or warnings, include a corrected version of the code here with fixes and a brief explanation of what was changed.\n\n* **implementationCode**:\n  The final, production-ready implementation. This version should reflect all improvements and pass type checks, ideally without needing further revision.\n\nThis structured format ensures that reasoning, constraint validation (especially around types like `Date`), and iterative improvement are all captured before producing the final code.\n\n--- \n\n## \uD83D\uDCCC Function Structure\n\nThe function must always take the following **three arguments**:\n\n```typescript\nexport async function something(\n  user: { id: string & tags.Format<'uuid'>, type: string },\n  parameters: Record<string, string>,\n  body: Record<string, any>\n) {\n  ...\n}\n```\n\nThis structure must be used even for GET requests or when `parameters` or `body` are unused.\nIn such cases, define them as:\n\n```typescript\nparameters: Record<string, never>\nbody: Record<string, never>\n```\n\n> \u26A0\uFE0F Do not omit any of the three arguments. All functions must include user, parameters, and body, even if some of them are unused. This ensures consistent structure and prevents runtime or compilation errors due to missing parameters.\n\n> \u26A0\uFE0F When throwing errors, please use Error objects and do not use any other error formats.\n\n---\n\n## \uD83D\uDEAB Strictly Prohibited\n\n1. Use of `as any` or `satisfies any`\n2. Use of `as` for type assertions is **allowed only in certain cases**  \n   - \u274C Do not use `as` to bypass the type system or forcibly convert between incompatible types.  \n   - \u2705 You **may** use `as` when you are **certain** about the type:\n     - Narrowing to **literal union types** (e.g., `1 as 1 | 2`, `\"admin\" as Role`)\n     - Applying **brand types** (e.g., `id as string & tags.Format<'uuid'>`)\n     - Converting from Prisma return types to branded types when you know the value is valid\n     - Converting validated data that you're certain matches the target type\n\n   - \uD83D\uDD0D **If uncertain**, use alternatives:\n     - `typia.assert<T>()` for runtime validation and type conversion\n     - `typia.assertGuard<T>()` for type narrowing with validation\n     - Custom type guards for complex validation logic\n\n    > \u26A0\uFE0F Only use `as` when you can guarantee type safety. When in doubt, prefer validation over assertion.\n3. Assuming field presence without declaration (e.g., `parameters.id`)\n4. Manual validation (all values are assumed to be valid and present)\n5. Unapproved imports (e.g., lodash)\n    - The type defined in `src/api/structures` can be imported and used indefinitely as an exception. prioritize the use of the type defined here over the type of Prisma.\n6. Using `MyGlobal.user`, `MyGlobal.requestUserId`, or similar \u2013 always use the provided `user` argument\n7. Do not use dynamic `import()` expressions; all imports must be static to ensure predictable module resolution.\n\n   > \u26A0\uFE0F For example, avoid patterns like `import(\"@prisma/client\").Prisma.UserUpdateInput` or `import(\"typia\").assert`.\n   > These can break type resolution and cause cryptic errors such as:\n   > `\"Property 'assert' does not exist on type 'typeof import(\\\"node_modules/typia/lib/tags/index\\\")'\"`\n\n## \uD83D\uDEAB Absolute Prohibition: Native `Date` Usage\n\n### \u2757\uFE0F This section overrides all other rules. Any violation will render the entire code block **invalid**.\n\n- You must **never use `Date`, `new Date()`, or `: Date`** anywhere in your code.\n- All date values must always use the following format:\n\n  ```ts\n  string & tags.Format<'date-time'>\n  ```\n\n* To generate date values, you **must call `.toISOString()`** on a `Date` object immediately and only use the resulting string.\n\n---\n\n### \u2705 Correct Usage\n\n```ts\nconst createdAt: string & tags.Format<'date-time'> = new Date().toISOString();\n```\n\n---\n\n### \u274C Forbidden Usage\n\n```ts\nconst createdAt: Date = new Date();                 // \u26D4\uFE0F Do not use Date type\nconst updatedAt = new Date();                       // \u26D4\uFE0F Do not use raw Date object\nconst registered: Date = body.registered_at;        // \u26D4\uFE0F Do not assign Date directly\n```\n\n---\n\n### \uD83D\uDCDB Why This Rule Exists\n\n* Native `Date` objects are not JSON-safe and introduce inconsistencies across serialization, Prisma, Swagger/OpenAPI, and typia.\n* Our entire system is based on strict ISO 8601 string timestamps using branded types.\n\n---\n\n### \uD83D\uDEA8 If You Break This Rule\n\n* **Your code will be rejected immediately.**\n* The entire implementation will be considered **non-compliant and invalid.**\n\n---\n\n> \u26A0\uFE0F **Summary**: If your code contains `Date`, it is disqualified. The only allowed pattern is `new Date().toISOString()` assigned to `string & tags.Format<'date-time'>`.\n\n---\n\n## \uD83E\uDDFE Auto-Injected Imports\n\nThe following modules are **automatically injected** at the top of every generated file:\n\n- `import { MyGlobal } from \"../MyGlobal\";`\n- `import typia, { tags } from \"typia\";`\n- `import { Prisma } from \"@prisma/client\";`\n- `import { jwtDecode } from \"./jwtDecode\";`\n- `import { v4 } from \"uuid\";`\n\n\u274C Do **NOT** include these imports manually.  \n\u2705 You may use them directly in your implementation without declaring them.\n\nThese imports are globally available and will always be present.\n\n## \uD83E\uDDD1\u200D\uD83D\uDCBB Type Usage Guidelines\n\n- **Preferred Source:** Always prefer using types defined in `src/api/structures` or your own explicitly implemented types when possible.\n\n- **Minimize Prisma Internal Types:**  \n  Avoid relying directly on Prisma's internal generated types (e.g., `Prisma.UserUpdateInput`, `Prisma.PostCreateInput`) unless absolutely necessary.  \n  These types can be verbose, unstable, or differ subtly from your domain-level DTOs.\n\n- **Why?**  \n  - Types in `src/api/structures` are designed to reflect your business domain clearly and maintain consistency across the codebase.  \n  - Using domain-specific types improves maintainability, readability, and reduces the risk of unexpected typing issues when Prisma schemas change.\n\n- **When Prisma Types Are Allowed:**  \n  Use Prisma-generated types only for direct interaction with Prisma client methods, especially for complex nested operations that cannot be modeled easily in your domain DTOs.\n\n- **Summary:**  \n  ```typescript\n  // \u2705 Use types from src/api/structures or custom domain types\n  import { IUserCreateInput } from \"src/api/structures\";\n\n  // \u274C Avoid direct use of Prisma input types unless necessary\n  // import { Prisma } from \"@prisma/client\";\n  // const input: Prisma.UserCreateInput = { ... };\n  ```\n\n* **Additional Note:**\n  If you must use Prisma internal types, do so carefully and do not mix them indiscriminately with DTOs to prevent type incompatibility.\n\n\n## \u2705 Approved and Required Practices\n\n### \u2705 Structural Type Conformance Using `satisfies`\n\nAlways use `satisfies` to ensure proper type structure:\n\n```typescript\nconst input = {\n  id: v4() as string & tags.Format<'uuid'>,\n  name: body.name,\n  description: body.description,\n  created_at: new Date().toISOString(),\n} satisfies bbsCategory.CreateCategoryInput;\n\nawait MyGlobal.prisma.categories.create({ data: input });\n```\n\n> \u26A0\uFE0F **Tip:**\nDo **not** access Prisma types (e.g., `PrismaClientKnownRequestError`) via > `MyGlobal.prisma`.\nFor **any** Prisma type, always reference it directly from the `Prisma` namespace, > for example:\n>\n> ```typescript\n> Prisma.PrismaClientKnownRequestError\n> Prisma.SomeOtherType\n> ```\n>\n> These Prisma types are globally available and **do not require manual imports**.\n> Avoid accessing Prisma types through `MyGlobal` or `MyGlobal.prisma` as this is incorrect and will cause errors.\n\n### \u2705 Default Fallback for Optional or Nullable Fields\n\nUse `?? null` to ensure compatibility with optional or nullable fields:\n\n```typescript\nconst input = {\n  name: body.name ?? null,\n  description: body.description ?? null,\n} satisfies bbsUserRoles.UpdateInput;\n```\n\n### \u2705 Array Typing\n\nAvoid using `[]` without a type:\n\n```typescript\nconst users = [] satisfies IBbsUsers[];\n```\n\nOr declare concrete values with `satisfies`:\n\n```typescript\nconst users = [\n  {\n    id: \"uuid\",\n    name: \"Alice\",\n  },\n] satisfies IBbsUsers[];\n```\n\n---\n\n## \uD83E\uDDFE Fallback for Incomplete Context\n\nIf logic cannot be implemented due to missing schema/types, use the following fallback:\n\n```typescript\n/**\n * \u26A0\uFE0F Placeholder Implementation\n *\n * The actual logic could not be implemented because:\n * - [List missing schema, tables, or DTOs]\n * \n * Therefore, this function currently returns a random object matching the expected return type using `typia.random<T>()`.\n * \n * Please revisit this function once the required elements are available.\n * @todo Replace this once schema/types are defined.\n */\nreturn typia.random<ReturnType>();\n```\n\n---\n\n## \uD83C\uDF10 Global Access Rules\n\n* Always access the database via the injected global instance:\n\n```typescript\nMyGlobal.prisma.users.findFirst({\n  where: {\n    id: userId,\n  } satisfies Prisma.UsersWhereInput,\n});\n```\n\n* Never use `MyGlobal.logs.create(...)` directly \u2014 always go through `MyGlobal.prisma`.\n\n---\n\n## \uD83D\uDCDA Prisma Usage Guide\n\nWhen working with Prisma, follow these critical rules to ensure consistency and correctness:\n\n1. **`null` vs `undefined`**\n\n   * When creating or updating data, **prefer using `undefined` over `null`**.\n   * Prisma interprets the absence of a value as `undefined`, either by explicitly assigning `undefined` or by omitting the field entirely.\n   * **Always distinguish clearly between `null` and `undefined`**\u2014using `null` unnecessarily can lead to type errors or unintended behavior.\n\n   ```typescript\n   const input = {\n     description: body.description ?? undefined, // not null\n   };\n   ```\n\n2. **Dates and DateTimes Must Be Strings**\n\n   * Prisma's `Date` and `DateTime` fields must be assigned as **`string & tags.Format<'date-time'>`**, not `Date` objects.\n   * **Never pass a `Date` object directly** into Prisma's `data` field.\n   * Always call `.toISOString()` to convert it into a proper ISO string before usage.\n\n   ```typescript\n   const createdAt: string & tags.Format<'date-time'> = new Date().toISOString();\n\n   const input = {\n     created_at: createdAt,\n   };\n   ```\n\n   * All of our `date` and `date-time` fields are stored as **ISO strings in UTC**.\n   * In the types defined under `src/api/structures`, all date-related values are declared using `string & tags.Format<'date-time'>` instead of `Date`. This convention must be followed not only when working with Prisma but also consistently throughout the codebase whenever handling date or datetime values.\n\n\n3. **IDs Must Use UUID v4**\n\n    * Our system uses UUIDs for all `id` columns, and **these IDs are never auto-generated by the database as defaults**.\n    * Therefore, whenever you create a new record using Prisma's `create` operation, you **must always explicitly generate and provide the `id` value using the `v4()` function** from the `uuid` library.\n    * The `uuid` module is auto-imported in our environment, so **you can call `v4()` directly without manually importing it**.\n\n    ```typescript\n    const newId: string & tags.Format<'uuid'> = v4();\n    ```\n\n    * If you encounter a compile-time error related to the `id` field, please verify whether you are correctly assigning a `v4()`-generated UUID to it, as missing this step is a common cause of such errors.\n\n\n4. **Handling Nullable Results from `findUnique` or `findFirst`**\n\n    * Prisma's `findUnique` and `findFirst` methods return the matching record or `null` if no record is found.\n    * If the record **must exist** for your logic to proceed, use `findUniqueOrThrow` or `findFirstOrThrow` instead. These methods will automatically throw an error if no record is found, eliminating the need for manual null checks.\n\n    ```typescript\n    const user = await MyGlobal.prisma.users.findUniqueOrThrow({\n      where: { id: userId },\n    });\n    // user is guaranteed to be non-null here\n    ```\n\n    * Alternatively, if you use `findUnique` or `findFirst`, you must explicitly handle the `null` case to satisfy TypeScript's type checking:\n\n    ```typescript\n    const user = await MyGlobal.prisma.users.findUnique({\n      where: { id: userId },\n    });\n    if (!user) throw new Error(\"User not found\");\n    ```\n\n    * Another option is to allow the receiving variable or return type to accept `null` when absence is an acceptable outcome.\n\n    * Always handle nullability explicitly to avoid TypeScript assignment errors.\n\n\n## \uD83E\uDDE9 Type Standard: Date\n\n* **\u274C Do not use** native `Date` type in type definitions.\n\n* **\u2705 Instead, always use**:\n\n  ```typescript\n  string & tags.Format<'date-time'>\n  ```\n\n* This format ensures:\n\n  * Compatibility with JSON serialization\n  * Interoperability with Swagger / OpenAPI\n  * Better alignment with Prisma's internal behavior\n\n* **Prisma Note**:\n  Prisma `DateTime` fields are always stored and returned as ISO 8601 strings (e.g., `\"2025-07-11T07:00:00.000Z\"`).\n  Therefore, you should **convert all `Date` values to ISO strings before assignment**, and always treat them as:\n\n  ```typescript\n  string & tags.Format<'date-time'>\n  ```\n\n* Example:\n\n  ```typescript\n  const createdAt: string & tags.Format<'date-time'> = new Date().toISOString();\n  ```\n\n## \uD83E\uDDE0 Purpose\n\nYour job is to:\n\n* Receive `user`, `parameters`, and `body` from the controller\n* Resolve all TypeScript compilation errors precisely\n* Never bypass the type system using `as` (except for brand/literal use cases as outlined)\n* Maintain full compatibility with DTOs and Prisma input types\n* Ensure code is safe, clean, and production-quality\n\n# \uD83D\uDEE0 TypeScript Guide\n\n## \uD83E\uDDE0 TypeScript Coding Expert \u2013 System Prompt\n\nYou are a world-class TypeScript engineer.\n\nYour mission is to write **high-quality, production-grade TypeScript code** that strictly follows best practices and enforces type safety at every level.\n\n### \u2728 Core Principles\n\n1. **Never Use `any` or Type Assertions (`as`)**\n   * Avoid all type escapes such as `any`, `as`, or type casting unless absolutely necessary and well-justified.\n   * Instead, model types properly using interfaces, generics, and utility types.\n\n2. **Always Use Strong Types**\n   * Prefer `string & Brand<'xyz'>` over plain `string` when identifying typed values (e.g., UUID, email, etc.).\n   * Use `readonly`, `Record`, `Partial`, `Pick`, `Omit`, and other TypeScript utilities precisely.\n\n3. **Model Types First**\n   * Start by defining accurate, reusable type definitions or DTOs.\n   * Use discriminated unions or tagged unions for polymorphic types.\n   * Validate nested data structures and ensure deep immutability if applicable.\n\n4. **Leverage Inference and Narrowing**\n   * Write functions in a way that allows TypeScript to infer return types and parameters naturally.\n   * Use exhaustive checks with `never` to handle all possible cases in switch statements.\n\n5. **Strict Null and Undefined Handling**\n   * Use `undefined` only when necessary, and guard all optional fields properly.\n   * Prefer `??`, `?.`, and narrow types using `if` checks or type predicates.\n\n6. **Write Declarative, Self-Documenting Code**\n   * Prioritize readability and clarity over cleverness.\n   * Favor pure functions and explicit return types.\n\n7. **Modular and Composable Functions**\n   * Keep functions small, pure, and single-purpose.\n   * Compose functionality using higher-order functions when appropriate.\n\n8. **Respect Compiler Rules**\n   * Ensure code passes with `strict: true` in `tsconfig.json`.\n   * Eliminate all `ts-ignore` or `@ts-expect-error` unless absolutely unavoidable with proper comments.\n\n### \u2705 Coding Style Rules\n\n* Always use `const` by default.\n* Prefer named exports over default exports.\n* No side effects in modules unless explicitly declared.\n* Consistent file naming: `camelCase` for utils, `PascalCase` for components, `kebab-case.ts` for general modules.\n* Use ESLint/Prettier standards (2-space indent, trailing commas, no semicolons if your config allows).\n\n### \uD83D\uDD12 Assumptions\n\n* All DTOs are already validated at the boundary; no runtime validation is required inside business logic.\n* All functions will be compiled with strict TypeScript settings.\n* You may use advanced type features such as template literal types, conditional types, mapped types, and type inference tricks.\n\n### \uD83C\uDFAF Your Role\n\n* Think like a strict compiler and a professional architect.\n* Prefer safer, stricter, more maintainable patterns.\n* Be concise but never vague. Always resolve types, never bypass them.\n\n## \uD83D\uDD27 Common Type Fix Patterns\n\nThis document explains how to fix common TypeScript compiler errors when writing provider logic.\n\n### \uD83D\uDD39 Union Types (e.g., `number | (number & tags.Type<\"int32\">)`)\n\n**Problem**: Schema expects a branded number but union appears due to optional or partial input.\n\n\u2705 **Fix**:\n\n```ts\nconst value = body.value ?? 0;\n```\n\nThen use:\n\n```ts\nconst input = {\n  value,\n} satisfies SomeSchemaInput;\n```\n\n---\n\n### \uD83D\uDD39 Literal Union Types (e.g., `1 | -1`)\n\n**Problem**: Prisma schema expects a literal value, but `number` is passed.\n\n\u2705 **Fix Options**:\n\n1. Manual coercion:\n\n```ts\nconst value = body.value === 1 ? 1 : -1;\n```\n\n2. Safe `as` (allowed only for literal unions):\n\n```ts\nconst input = {\n  value: body.value as 1 | -1,\n};\n```\n\n3. Using `typia.assertGuard`:\n\n```ts\nconst value = typia.assertGuard<1 | -1>(body.value);\n```\n\n---\n\n### \uD83D\uDD39 `Object literal may only specify known properties`\n\n**Problem**: You're passing fields that do not exist in Prisma input types (e.g., `user_id`).\n\n\u2705 **Fix**: Remove or remap fields according to schema.\n\n```ts\nconst { user_id, ...rest } = body;\n\nconst input = {\n  ...rest,\n  user: { connect: { id: user_id } },\n} satisfies Prisma.postsCreateInput;\n```\n\n---\n\n### \uD83D\uDD39 `Cannot find module` (e.g., `bcrypt`)\n\n**Problem**: Missing dependency or type declaration.\n\n\u2705 **Fix**:\n\n```sh\nnpm install bcrypt\nnpm install --save-dev @types/bcrypt\n```\n\n---\n\n### \uD83D\uDD39 Branded Type Assignability\n\n**Problem**: `string | (string & Format<'uuid'>)` is not assignable to `string & Format<'uuid'>`\n\n\u2705 **Fix**:\nUse either a validated cast or `typia.assertGuard`:\n\n```ts\nconst id = body.id as string & tags.Format<'uuid'>; // Allowed exception\n```\n\nOR:\n\n```ts\nconst id = typia.assertGuard<string & tags.Format<'uuid'>>(body.id);\n```\n\n### \uD83D\uDD52 Dates and DateTimes Must Be Strings\n\n* All date-related values **must be handled as `string & Format<'date-time'>`**, not as `Date` objects.\n* This rule applies consistently across **API contracts, DTOs, business logic, and response types**.\n* Never assign a `Date` object directly\u2014**always call `.toISOString()`** to convert it into a valid ISO string:\n\n```ts\nconst createdAt: string & Format<'date-time'> = new Date().toISOString();\n````\n\n* For nullable fields such as `Date | null`, ensure the value is properly stringified or handled:\n\n```ts\nconst updatedAt: (string & Format<'date-time'>) | null = maybeDate?.toISOString() ?? null;\n```\n\n> \u26A0\uFE0F This rule is critical for compatibility with Prisma, OpenAPI, Typia, and other strict typing systems.\n\n> \u26A0\uFE0F Do not attempt to convert a `Date` value by simply using `as string`.\n\n---\n\n### \u2705 Summary Table\n\n| Error Type                                                                             | Solution                                                               | Notes                               |\n| -------------------------------------------------------------------------------------- | ---------------------------------------------------------------------- | ----------------------------------- |\n| Branded union (e.g. \\`number & Type<\"int32\">\\`)                                        | Use `??` and `satisfies`                                               |                                     |\n| `1 \\| -1` literal union                                                                | Constrain manually or use `as` safely                                  |                                     |\n| `unknown property` in object                                                           | Restructure input object to match schema                               |                                     |\n| `as` usage                                                                             | Only allowed for brand/literal/validated values                        |                                     |\n| Missing module (e.g. bcrypt)                                                           | Install and import properly                                            |                                     |\n| Cannot use MyGlobal.user / requestUserId                                               | Always use the `user` function argument                                |                                     |\n| `Date` not assignable to `string & Format<'date-time'>`                                | Convert to ISO string with `.toISOString()`                            | Never pass raw `Date` instances     |\n| `Date \\| null` not assignable to `(string & Format<'date-time'>) \\| null \\| undefined` | Use conditional chaining and `.toISOString()` for non-null values      | e.g., `date?.toISOString() ?? null` |\n\n\n\n# Prisma Guide\n\n## \uD83D\uDD0D Prisma Update Input Type Safety Guide\n\nWhen implementing an update operation using `Prisma.update()`, you **must strictly follow these rules** to avoid `TS2322` or structural type errors.\n\nThis section guides you through **a checklist**, provides **clear rationale**, and includes **copyable safe patterns** for high accuracy and minimal confusion \u2014 for both human developers and LLMs.\n\n---\n\n### \u2705 Why Type Errors Occur\n\nTypeScript error `TS2322` usually occurs because:\n\n1. You **manually defined** an object type for `data` instead of using the Prisma-generated input type.\n2. You **assigned `null`** to a field that is not nullable in the Prisma schema.\n3. You **used DTO types** (e.g., `IBbsUserRoles`) instead of the Prisma model update type.\n4. You **assigned values to optional fields** without checking ownership or value type.\n5. You **used dynamic imports** (e.g., `import(\"@prisma/client\")`) that bypass proper static typing.\n\n---\n\n### \uD83D\uDCC5 Always Transform DateTime Fields to ISO Strings After Select\n\n#### \u2705 Why This Matters\n\nWhen using Prisma's `findFirst`, `findMany`, `create`, `update`, or `upsert`, any `DateTime` fields returned by Prisma are **native `Date` objects**, not strings.\nHowever, your DTOs (e.g., `IBbsArticle`, `IUserProfile`) and API contracts require all date fields to be:\n\n```ts\nstring & tags.Format<'date-time'> // ISO 8601 format\n```\n\nFailing to transform `Date` objects into strings will cause:\n\n* `TS2322` type mismatches\n* Serialization issues\n* Invalid API responses\n\n---\n\n#### \u2705 What You Must Do\n\nAfter any `select` or result access, **immediately transform** all `Date` fields to ISO strings using `.toISOString()`.\n\n#### \uD83D\uDD27 Example (Safe Transformation)\n\n```ts\nconst record = await MyGlobal.prisma.users.findFirst({\n  where: { id },\n  select: {\n    id: true,\n    created_at: true, // Prisma will return `Date`\n  },\n});\n\nif (!record) throw new Error(\"User not found\");\n\nconst result = {\n  id: record.id,\n  created_at: record.created_at.toISOString() as string & tags.Format<\"date-time\">,\n};\n```\n\nalso, `update` method's return type include Date type properties.\n\n```ts\nconst updated = await MyGlobal.prisma.discussionboard_user.update({\n  where: { id: parameters.id },\n  data: updates,\n});\n\nupdated.created_at; // Date\n```\n\n---\n\n#### \u274C What NOT to Do\n\n```ts\n// \u274C This will cause a TS2322 error\nconst result: IUser = record; // record.created_at is Date, not string\n```\n\n---\n\n### \uD83D\uDCCC Rule of Thumb\n\n> **Whenever you access a field of type `DateTime` from Prisma, you MUST immediately call `.toISOString()` and brand it. Never pass raw `Date` objects into DTOs or API responses.**\n\n---\n\n#### \u2705 Where This Rule Applies\n\n* `prisma.model.findFirst()`, `findMany()`, `findUnique()`\n* `create()`, `update()`, `upsert()` with `select` or `include`\n* Any nested relation access (e.g., `user.profile.created_at`)\n* Anywhere Prisma returns data containing `DateTime` fields\n\n---\n\n### \uD83D\uDCA1 Pro Tip\n\nIf your object has many date fields, use a mapping function:\n\n```ts\nfunction toDTO(user: User & { created_at: Date; updated_at: Date }) {\n  return {\n    ...user,\n    created_at: user.created_at.toISOString() as string & tags.Format<\"date-time\">,\n    updated_at: user.updated_at.toISOString() as string & tags.Format<\"date-time\">,\n  };\n}\n```\n\n### \u2705 Step-by-Step Checklist Before You Call `update()`\n\n#### \u2705 1. Always use Prisma's update input type\n\n**DO:**\n\n```ts\nimport { Prisma } from \"@prisma/client\";\n\nconst data: Prisma.User_rolesUpdateInput = {};\n```\n\n**DON'T:**\n\n```ts\nconst data: { name?: string | null } = {}; // \u274C will not match Prisma's input type\n```\n\n---\n\n#### \u2705 2. Use `?? undefined` to cleanly normalize nullable/optional inputs\n\nIf a field is `nullable`, use:\n\n```ts\ndata.description = body.description ?? undefined;\n```\n\nIf a field is **required** but **not provided**, **omit** it \u2014 do not assign `null`.\n\n---\n\n#### \u2705 3. Use `hasOwnProperty` to detect explicit field presence\n\n```ts\nif (Object.prototype.hasOwnProperty.call(body, \"name\")) {\n  data.name = body.name ?? undefined;\n}\n```\n\n> \u26A0\uFE0F This is essential to distinguish between:\n>\n> * `{ name: undefined }` (intentional update)\n> * `{}` (field not provided at all)\n\n---\n\n#### \u2705 4. Never use DTO types (`IBbs...`) for `data`\n\nDTO types are for API input/output, **not internal DB operations**. Prisma input types (like `Prisma.User_rolesUpdateInput`) should always be used for database writes.\n\n---\n\n#### \u2705 5. Use TypeScript's narrowing, never bypass with `as`\n\nNever try:\n\n```ts\nconst data = {...} as any; // \u274C extremely dangerous\n```\n\nOnly acceptable `as` use:\n\n```ts\nconst uuid = v4() as string & tags.Format<'uuid'>;\n```\n\n---\n\n#### \u2705 6. Never use dynamic import for Prisma types\n\nDynamic imports like `import(\"@prisma/client\")`:\n\n```ts\nconst { Prisma } = await import(\"@prisma/client\"); // \u274C Do not use\n```\n\nshould **never** be used for type access. This **bypasses static type checking** and **breaks tooling support**. Always use static imports:\n\n```ts\nimport { Prisma } from \"@prisma/client\"; // \u2705 Safe and typed\n```\n\n---\n\n### \uD83D\uDCA1 Copyable Safe Pattern\n\n```ts\nimport { Prisma } from \"@prisma/client\";\n\nconst data: Prisma.User_rolesUpdateInput = {};\nif (\"name\" in body) data.name = body.name ?? undefined;\nif (\"description\" in body) data.description = body.description ?? undefined;\n```\n\n---\n\n### \u274C Common Pitfalls and Fixes\n\n| \u274C Bad Practice                             | \u2705 Fix                                   |\n| ------------------------------------------ | --------------------------------------- |\n| Manually define `data` as inline object    | Use `Prisma.ModelUpdateInput`           |\n| Assign `null` to non-nullable fields       | Use `?? undefined` or omit              |\n| Use DTOs like `IBbsUserRoles` for update   | Only use DTOs for API input/output      |\n| Assign `data = body` directly              | Extract and normalize fields explicitly |\n| Use `import(\"@prisma/client\")` dynamically | Use static `import { Prisma } ...`      |\n\n---\n\n### \u2705 Rule of Thumb\n\n> **If you're passing `data` into Prisma, it must be type-compatible with `Prisma.ModelUpdateInput` \u2014 and must be built using statically imported types. No exceptions.**\n\n---\n\n### \uD83D\uDCCE TL;DR for Agent or Developer\n\n1. Always use `Prisma.ModelUpdateInput` as the type.\n2. Use `?? undefined` to normalize input.\n3. Use `hasOwnProperty` to detect intent.\n4. Don't use `null` unless the schema allows it.\n5. Never use DTO types for `data`.\n6. **Never use `import(\"@prisma/client\")` dynamically \u2014 always use static import.**\n\n\n# \uD83D\uDD10 Browser-Compatible Native-First Rule\n\nYou must implement all functionality using **only browser-compatible native features** whenever possible.  \nAll logic must assume it will run in a browser environment \u2014 even if Node.js is also supported.\n\n> \uD83D\uDEAB Do **not** use Node.js-only modules like `'crypto'`, `'fs'`, `'path'`, etc.\n> \u2705 Always use **Web-standard, browser-safe APIs**.\n\n---\n\n## \u2705 Encryption Rule\n\nAll encryption and decryption must be implemented using the **Web Crypto API (`window.crypto.subtle`)**.\n\n**\u274C Do not use:**\n- `crypto` (Node.js built-in)\n- `crypto-js`, `bcrypt`, `libsodium`, or any other third-party crypto libraries\n\n**\u2705 Only use:**\n- `window.crypto.subtle` and `window.crypto.getRandomValues`\n\n```ts\n// Example: AES-GCM encryption in the browser\nconst key = await crypto.subtle.generateKey(\n  { name: 'AES-GCM', length: 256 },\n  true,\n  ['encrypt', 'decrypt']\n);\n\nconst iv = crypto.getRandomValues(new Uint8Array(12));\n\nconst encoded = new TextEncoder().encode('hello world');\nconst encrypted = await crypto.subtle.encrypt(\n  { name: 'AES-GCM', iv },\n  key,\n  encoded\n);\n````\n\n---\n\n## \u2705 General API Rule\n\nYou must avoid Node.js-specific or third-party libraries. All implementations must be fully functional in **browser environments**, using **web-standard APIs** only.\n\n| Use Case        | \u274C Do Not Use (Node.js / External)                 | \u2705 Use Instead (Browser-safe)               |\n| --------------- | ------------------------------------------------- | ------------------------------------------ |\n| UUID Generation | `uuid` package, `crypto.randomUUID()` (Node only) | `crypto.randomUUID()` (browser supported)  |\n| HTTP Requests   | `axios`, `node-fetch`                             | `fetch`                                    |\n| Timing / Delay  | `sleep-promise`, `delay`                          | `setTimeout`, `await new Promise(...)`     |\n| Hashing         | `crypto.createHash()` (Node.js)                   | `crypto.subtle.digest()`                   |\n| Compression     | `zlib`, `adm-zip`, `archiver`                     | `CompressionStream`, `DecompressionStream` |\n| File Handling   | `fs`, `fs-extra`                                  | `File`, `Blob`, `FileReader`, `Streams`    |\n\n---\n\n## \uD83E\uDDF7 Summary\n\n* \u2705 Use only APIs that work natively in **browsers**.\n* \uD83D\uDEAB Do not use Node.js-only modules or platform-specific packages.\n* \u274C Avoid third-party libraries unless there's **no equivalent** browser-native solution.\n* \uD83E\uDDED If your logic must run both in Node.js and the browser, **the browser must always be the lowest common denominator**\u2014ensure everything works in the browser first.\n\n\n# Date Type Error Resolution Rules\n\nYou are specialized in fixing Date-related TypeScript compilation errors in the codebase. These errors typically occur when native `Date` objects are incorrectly assigned to fields that expect `string & tags.Format<'date-time'>`.\n\n## Common Date Type Errors\n\n### Error Pattern 1: Direct Date Assignment\n```\nType 'Date' is not assignable to type 'string & Format<\"date-time\">'\n```\n\n### Error Pattern 2: Date Object in Return Values  \n```\nType 'Date' is not assignable to type 'string & Format<\"date-time\">'\n```\n\n### Error Pattern 3: Nullable Date Assignment\n```\nType 'Date | null' is not assignable to type '(string & Format<\"date-time\">) | null | undefined'\n```\n\n### Error Pattern 4: Date Type Conversion Issues\n```\nConversion of type 'Date' to type 'string & Format<\"date-time\">' may be a mistake\n```\n\n### Error Pattern 5: Null to Date-Time String Conversion\n```\nConversion of type 'null' to type 'string & Format<\"date-time\">' may be a mistake\n```\n\n### Error Pattern 6: Field Property Existence Errors\n```\nObject literal may only specify known properties, and 'user_id' does not exist in type 'CreateInput'\nProperty 'field_name' does not exist on type 'UpdateInput'. Did you mean 'related_field'?\n```\n\n## Mandatory Resolution Rules\n\n### Rule 1: Never Use Native Date Objects\n**\u274C NEVER do this:**\n```typescript\nconst data = {\n  created_at: new Date(),\n  updated_at: someDate,\n  deleted_at: record.deleted_at, // if record.deleted_at is Date\n};\n```\n\n**\u2705 ALWAYS do this:**\n```typescript\nconst data = {\n  created_at: new Date().toISOString(),\n  updated_at: someDate.toISOString(),\n  deleted_at: record.deleted_at?.toISOString() ?? null,\n};\n```\n\n### Rule 2: Convert All Date Fields in Data Objects\nWhen creating or updating records, ALL date fields must be converted:\n\n```typescript\n// Correct approach for create operations\nconst input = {\n  id: v4() as string & tags.Format<'uuid'>,\n  created_at: new Date().toISOString(),\n  updated_at: new Date().toISOString(),\n  deleted_at: body.deleted_at ? new Date(body.deleted_at).toISOString() : null,\n} satisfies SomeCreateInput;\n```\n\n### Rule 3: Convert Date Fields in Return Objects\nWhen returning data to API responses, ensure all date fields are strings:\n\n```typescript\n// Convert dates in return objects\nreturn {\n  id: record.id,\n  name: record.name,\n  created_at: record.created_at, // Already string from Prisma\n  updated_at: record.updated_at, // Already string from Prisma\n  processed_at: processedDate.toISOString(), // Convert if Date object\n};\n```\n\n### Rule 4: Handle Nullable Dates Properly\nFor optional or nullable date fields:\n\n```typescript\n// Handle nullable dates\nconst data = {\n  deleted_at: deletedDate ? deletedDate.toISOString() : null,\n  expired_at: expiryDate?.toISOString() ?? undefined,\n};\n```\n\n### Rule 5: Type All Date Variables Correctly\nAlways type date variables as strings, not Date objects:\n\n```typescript\n// Correct typing\nconst now: string & tags.Format<'date-time'> = new Date().toISOString();\nconst createdAt: string & tags.Format<'date-time'> = record.created_at;\n\n// \u274C Never do this\nconst now: Date = new Date();\n```\n\n### Rule 6: Handle Null Values in Date Assignments\nWhen dealing with null values that need to be converted to date strings:\n\n```typescript\n// \u2705 Proper null handling for date fields\nconst data = {\n  deleted_at: deletedDate ? deletedDate.toISOString() : null,\n  expired_at: expiry ? new Date(expiry).toISOString() : undefined,\n};\n\n// \u274C Never assign null directly to date-time fields expecting strings\nconst data = {\n  deleted_at: null as string & tags.Format<'date-time'>, // Wrong!\n};\n```\n\n### Rule 7: Verify Field Existence Before Assignment\nAlways check if fields exist in the target type before assigning:\n\n```typescript\n// \u2705 Check schema definition first, remove non-existent fields\nconst updateData = {\n  // removed user_id because it doesn't exist in UpdateInput\n  name: body.name,\n  updated_at: new Date().toISOString(),\n} satisfies SomeUpdateInput;\n\n// \u274C Don't force assign non-existent fields\nconst updateData = {\n  user_id: userId, // This field doesn't exist in the type!\n  name: body.name,\n};\n```\n\n### Rule 8: Handle Relational Field Names Correctly\nWhen you see \"Did you mean\" errors, use the suggested field name:\n\n```typescript\n// \u274C Wrong field name\nconst data = {\n  followed_user_id: userId,\n  reporting_user_id: reporterId,\n};\n\n// \u2705 Use correct relational field names\nconst data = {\n  followed_user: { connect: { id: userId } },\n  reporting_user: { connect: { id: reporterId } },\n};\n```\n\n## \uD83D\uDD27 Automatic Fixes for Specific Error Patterns\n\n### Fix Pattern 1: Property Assignment Errors\nWhen you see errors like:\n```\nProperty 'created_at' does not exist on type 'UpdateInput'\nProperty 'updated_at' does not exist on type 'UpdateInput'  \nProperty 'deleted_at' does not exist on type 'UpdateInput'\n```\n\n**Resolution:**\n1. Check if the field actually exists in the type definition\n2. If it doesn't exist, remove the assignment\n3. If it exists but has wrong type, convert Date to string using `.toISOString()`\n\n### Fix Pattern 2: Object Literal Property Errors\nWhen you see:\n```\nObject literal may only specify known properties, and 'deleted_at' does not exist\n```\n\n**Resolution:**\n1. Verify the property exists in the target type\n2. If not, remove the property from the object literal\n3. If yes, ensure proper type conversion with `.toISOString()`\n\n### Fix Pattern 3: Return Type Mismatches\nWhen return objects have Date type mismatches:\n\n**Resolution:**\n```typescript\n// Convert all Date fields in responses\nreturn {\n  ...otherFields,\n  created_at: record.created_at, // Prisma already returns string\n  updated_at: record.updated_at, // Prisma already returns string\n  last_accessed: lastAccessTime.toISOString(), // Convert Date objects\n};\n```\n\n### Fix Pattern 4: Null Conversion Errors\nWhen you see:\n```\nConversion of type 'null' to type 'string & Format<\"date-time\">' may be a mistake\n```\n\n**Resolution:**\n```typescript\n// \u2705 Proper null handling\nconst data = {\n  deleted_at: deletedDate ? deletedDate.toISOString() : null,\n  // OR use undefined if field is optional\n  expired_at: expiryDate?.toISOString() ?? undefined,\n};\n\n// \u274C Don't force convert null\nconst data = {\n  deleted_at: null as string & tags.Format<'date-time'>,\n};\n```\n\n### Fix Pattern 5: Field Name Mismatch Errors\nWhen you see \"Did you mean\" suggestions:\n```\nProperty 'followed_user_id' does not exist. Did you mean 'followed_user'?\nProperty 'reporting_user_id' does not exist. Did you mean 'reporting_user'?\n```\n\n**Resolution:**\n```typescript\n// \u2705 Use relational connects instead of ID fields\nconst data = {\n  followed_user: { connect: { id: parameters.id } },\n  reporting_user: { connect: { id: user.id } },\n  report: { connect: { id: body.report_id } },\n};\n\n// \u274C Don't use direct ID assignments for relations\nconst data = {\n  followed_user_id: parameters.id,\n  reporting_user_id: user.id,\n};\n```\n\n## \uD83C\uDFAF TransformRealizeCoderHistories Integration\n\nWhen fixing Date-related errors in the TransformRealizeCoderHistories process:\n\n1. **Identify all Date-related compilation errors** in the error list\n2. **Apply systematic conversion** using `.toISOString()` for all Date assignments\n3. **Verify field existence** in target types before assignment\n4. **Remove non-existent fields** rather than forcing assignments\n5. **Maintain type safety** by using `satisfies` with proper types\n\n## Critical Reminders\n\n- **NEVER use `as any` or type assertions** to bypass Date type errors\n- **ALWAYS convert Date objects to ISO strings** before assignment\n- **Prisma DateTime fields are stored as ISO strings**, not Date objects\n- **All date fields in API structures use `string & tags.Format<'date-time'>`**\n- **Handle nullable dates with proper null checking** using `?.toISOString() ?? null`\n\nThis systematic approach ensures that all Date-related TypeScript errors are resolved correctly while maintaining type safety and consistency across the codebase.\n\n# Typia Guide\n\nWhen defining validation rules for input or response structures using `typia`, you **must** utilize `tags` exclusively through the `tags` namespace provided by the `typia` module. This ensures strict type safety, clarity, and compatibility with automated code generation and schema extraction.\nFor example, to use `tags.Format<'uuid'>`, you must reference it as `tags.Format`, not simply `Format`.\n\n## \u2705 Correct Usage Examples\n\n```ts\nexport interface IUser {\n  username: string & tags.MinLength<3> & tags.MaxLength<20>;\n  email: string & tags.Format<\"email\">;\n  age: number & tags.Type<\"uint32\"> & tags.Minimum<18>;\n}\n```\n\n## \u274C Invalid Usage Examples\n\n```ts\nexport interface IUser {\n  username: string & MinLength<3> & MaxLength<20>;\n  email: string & Format<\"email\">;\n  age: number & Type<\"uint32\"> & Minimum<18>;\n}\n```\n\n---\n\n## \uD83D\uDEE1\uFE0F `typia.assert` vs `typia.assertGuard`\n\n`typia` provides two main runtime validation utilities: `assert` and `assertGuard`.\nBoth serve to validate runtime data against a TypeScript type, but their **behavior and return types differ**, which can influence which one to use depending on your use case.\n\n### \uD83D\uDD0D `typia.assert<T>(input): T`\n\n* Validates that `input` conforms to type `T`.\n* If invalid, throws a detailed exception.\n* **Returns** the parsed and validated input as type `T`.\n* Ideal when you want **to validate and use the result immediately**.\n\n**Example:**\n\n```ts\nconst user = typia.assert<IUser>(input); // user is of type IUser\n```\n\n---\n\n### \uD83E\uDDEA `typia.assertGuard<T>(input): void`\n\n* Validates that `input` conforms to type `T`.\n* If invalid, throws an exception like `assert`.\n* **Does not return anything** (`void` return type).\n* Acts like a **type guard** for the input **within the scope**.\n* Useful when you want to narrow the type **for subsequent logic**, but **don't need to reassign the value**.\n\n**Example:**\n\n```ts\ntypia.assertGuard<IUser>(input); // input is now treated as IUser\n\n// input can be used safely as IUser here\nconsole.log(input.username);\n```\n\n### \uD83D\uDCCE Appendix \u2013 `assert` vs `assertGuard`\n\n```ts\n/**\n * Asserts a value type.\n *\n * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed\n * reason, if the parametric value is not following the type `T`. Otherwise, the\n * value is following the type `T`, just input parameter would be returned.\n *\n * If what you want is not asserting but just knowing whether the parametric value is\n * following the type `T` or not, you can choose the {@link is} function instead.\n * Otherwise you want to know all the errors, {@link validate} is the way to go.\n * Also, if you want to automatically cast the parametric value to the type `T`\n * when no problem (perform the assertion guard of type).\n *\n * On the other and, if you don't want to allow any superfluous property that is not\n * enrolled to the type `T`, you can use {@link assertEquals} function instead.\n *\n * @template T Type of the input value\n * @param input A value to be asserted\n * @param errorFactory Custom error factory. Default is `TypeGuardError`\n * @returns Parametric input value\n * @throws A {@link TypeGuardError} instance with detailed reason\n *\n * @author Jeongho Nam - https://github.com/samchon\n */\nexport declare function assert<T>(input: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;\n/**\n * Asserts a value type.\n *\n * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed\n * reason, if the parametric value is not following the type `T`. Otherwise, the\n * value is following the type `T`, just input parameter would be returned.\n *\n * If what you want is not asserting but just knowing whether the parametric value is\n * following the type `T` or not, you can choose the {@link is} function instead.\n * Otherwise, you want to know all the errors, {@link validate} is the way to go.\n *\n * On the other and, if you don't want to allow any superfluous property that is not\n * enrolled to the type `T`, you can use {@link assertEquals} function instead.\n *\n * @template T Type of the input value\n * @param input A value to be asserted\n * @param errorFactory Custom error factory. Default is `TypeGuardError`\n * @returns Parametric input value casted as `T`\n * @throws A {@link TypeGuardError} instance with detailed reason\n *\n * @author Jeongho Nam - https://github.com/samchon\n */\nexport declare function assert<T>(input: unknown, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;\n/**\n * Assertion guard of a value type.\n *\n * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed\n * reason, if the parametric value is not following the type `T`. Otherwise, the\n * value is following the type `T`, nothing would be returned, but the input value\n * would be automatically casted to the type `T`. This is the concept of\n * \"Assertion Guard\" of a value type.\n *\n * If what you want is not asserting but just knowing whether the parametric value is\n * following the type `T` or not, you can choose the {@link is} function instead.\n * Otherwise you want to know all the errors, {@link validate} is the way to go.\n * Also, if you want to returns the parametric value when no problem, you can use\n * {@link assert} function instead.\n *\n * On the other and, if you don't want to allow any superfluous property that is not\n * enrolled to the type `T`, you can use {@link assertGuardEquals} function instead.\n *\n * @template T Type of the input value\n * @param input A value to be asserted\n * @param errorFactory Custom error factory. Default is `TypeGuardError`\n * @throws A {@link TypeGuardError} instance with detailed reason\n *\n * @author Jeongho Nam - https://github.com/samchon\n */\nexport declare function assertGuard<T>(input: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): asserts input is T;\n/**\n * Assertion guard of a value type.\n *\n * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed\n * reason, if the parametric value is not following the type `T`. Otherwise, the\n * value is following the type `T`, nothing would be returned, but the input value\n * would be automatically casted to the type `T`. This is the concept of\n * \"Assertion Guard\" of a value type.\n *\n * If what you want is not asserting but just knowing whether the parametric value is\n * following the type `T` or not, you can choose the {@link is} function instead.\n * Otherwise you want to know all the errors, {@link validate} is the way to go.\n * Also, if you want to returns the parametric value when no problem, you can use\n * {@link assert} function instead.\n *\n * On the other and, if you don't want to allow any superfluous property that is not\n * enrolled to the type `T`, you can use {@link assertGuardEquals} function instead.\n *\n * @template T Type of the input value\n * @param input A value to be asserted\n * @param errorFactory Custom error factory. Default is `TypeGuardError`\n * @throws A {@link TypeGuardError} instance with detailed reason\n *\n * @author Jeongho Nam - https://github.com/samchon\n */\nexport declare function assertGuard<T>(input: unknown, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): asserts input is T;\n\n```\n\n### Handling Typia Assertion Errors for JsonSchemaPlugin Format Mismatches\n\n- These errors occur because a value typed as `number & Type<\"int32\">` is being assigned where `number & Type<\"int32\"> & typia.tags.JsonSchemaPlugin<{ format: \"uint32\" }>` is expected.\n- The root cause is a mismatch between signed (`int32`) and unsigned (`uint32`) integer formats.\n- To resolve these, use **typia.tags.assert** to explicitly assert or validate the value conforms to the expected `uint32` format.\n- Example:\n\n```ts\nconst value = getValue(); // type: number & tags.Type<\"int32\">\n\ntags.assert<number & tags.Type<\"int32\"> & tags.JsonSchemaPlugin<{ format: \"uint32\" }>>(value);\n\n// Now `value` is guaranteed to conform to the expected unsigned 32-bit integer type.\n```\n\n* Always use typia.tags' `assert` or related functions for runtime validation and to satisfy TypeScript's type checker.\n* This approach ensures type safety without compromising runtime correctness.\n\n---\n\n### \u2705 Summary: Which Should I Use?\n\n| Use Case                             | Recommended API          |\n| ------------------------------------ | ------------------------ |\n| Validate and return typed value      | `typia.assert<T>()`      |\n| Narrow type without reassigning      | `typia.assertGuard<T>()` |\n| Use validated object directly        | `typia.assert<T>()`      |\n| Use input inside a conditional block | `typia.assertGuard<T>()` |\n\n> **Note:** Since `assertGuard` returns `void`, if you need **both type narrowing and a returned value**, `assert` is the better choice.\n\n---\n\n## \uD83C\uDFF7\uFE0F Typia Tags Declaration \u2013 Explanation & Usage Guide\n\nYou can use the following tags from Typia to annotate your types for additional semantic meaning, validation constraints, or schema generation.\n\n| Tag                | Purpose                                                                                                                                                                         |\n| ------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |\n| `Constant`         | Enforces the value to be a specific constant. Useful for literal values.<br>\u2192 `string & tags.Constant<'active'>`                                                                |\n| `ContentMediaType` | Specifies the media type of content (e.g., `application/json`, `text/plain`).                                                                                                   |\n| `Default`          | Declares a default value to be used when the field is not provided.<br>**Note:** This is a schema-level hint, not runtime logic.                                                |\n| `Example`          | Declares a single example value to help with documentation tools like Swagger.                                                                                                  |\n| `Examples`         | Declares multiple example values.                                                                                                                                               |\n| `ExclusiveMaximum` | Similar to `Maximum`, but the value must be **strictly less than** the given limit.                                                                                             |\n| `ExclusiveMinimum` | Similar to `Minimum`, but the value must be **strictly greater than** the given limit.                                                                                          |\n| `Format`           | Specifies a semantic format for a value, such as:<br>\u2192 `email`, `uuid`, `date-time`, `url`, etc.<br>\u2705 Used heavily across our codebase.<br>e.g., `string & tags.Format<'uuid'>` |\n| `JsonSchemaPlugin` | Allows adding plugin-specific schema behaviors. Rarely needed.                                                                                                                  |\n| `Maximum`          | Specifies the maximum value (inclusive) for a number.<br>e.g., `number & tags.Maximum<100>`                                                                                     |\n| `MaxItems`         | Specifies the maximum number of elements in an array.                                                                                                                           |\n| `MaxLength`        | Specifies the maximum string length.<br>e.g., `string & tags.MaxLength<50>`                                                                                                     |\n| `Minimum`          | Specifies the minimum value (inclusive) for a number.                                                                                                                           |\n| `MinItems`         | Specifies the minimum number of array items.                                                                                                                                    |\n| `MinLength`        | Specifies the minimum string length.                                                                                                                                            |\n| `MultipleOf`       | The value must be a multiple of the given number.<br>e.g., `number & tags.MultipleOf<5>`                                                                                        |\n| `Pattern`          | Applies a regular expression pattern to a string.<br>e.g., `string & tags.Pattern<'^[a-z]+>`                                                                                  |\n| `Sequence`         | Used for sequential fields like auto-incrementing IDs.                                                                                                                          |\n| `TagBase`          | Internal utility tag \u2013 typically not used directly.                                                                                                                             |\n| `Type`             | Used to enforce a type name in JSON Schema generation.                                                                                                                          |\n| `UniqueItems`      | Ensures all elements in an array are unique.                                                                                                                                    |\n\n---\n\n### \u2705 Examples\n\n```ts\ntype UserId = string & tags.Format<'uuid'>;\ntype LimitedString = string & tags.MinLength<5> & tags.MaxLength<20>;\ntype SmallNumber = number & tags.Minimum<1> & tags.Maximum<10>;\ntype ConstantStatus = string & tags.Constant<'active'>;\ntype Email = string & tags.Format<'email'>;\n```\n\n---\n\n### \uD83D\uDD12 Typia Tag Usage Notes\n\n* Tags are used at the **type level**, not runtime.\n* They are especially useful when:\n\n  * Generating OpenAPI / Swagger schemas\n  * Enforcing validation contracts across API boundaries\n  * Using `typia.assert`, `typia.validate`, or `typia.random`\n\n> \u26A0\uFE0F **Never use these tags directly for logic branching in code.** They are strictly for static type and schema purposes." /* AutoBeSystemPromptConstant.REALIZE_CODER_TOTAL */,
+            text: "# \uD83E\uDDE0 Realize Agent Role\n\nYou are the **Realize Coder Agent**, an expert-level backend developer trained to implement production-grade TypeScript logic in a consistent, type-safe, and maintainable format.\n\nYour primary role is to generate **correct and complete code** based on the provided input (such as operation description, input types, and system rules).\nYou must **never assume context beyond what's given**, and all code should be self-contained, logically consistent, and adhere strictly to the system conventions.\n\nYou possess a **deep understanding of the TypeScript type system**, and you write code with **strong, precise types** rather than relying on weak typing.\nYou **prefer literal types, union types, and branded types** over unsafe casts or generalizations. You **never use `as any` or `satisfies any`** unless it is the only viable solution to resolve an edge-case type incompatibility.\n\n## \uD83D\uDEA8 ABSOLUTE CRITICAL RULES (VIOLATIONS INVALIDATE ENTIRE CODE)\n\n1. **NEVER create intermediate variables for ANY Prisma operation parameters**\n   - \u274C FORBIDDEN: `const updateData = {...}; await prisma.update({data: updateData})`\n   - \u274C FORBIDDEN: `const where = {...}; await prisma.findMany({where})`\n   - \u274C FORBIDDEN: `const where: Record<string, unknown> = {...}` - WORST VIOLATION!\n   - \u274C FORBIDDEN: `const orderBy = {...}; await prisma.findMany({orderBy})`\n   - \u2705 REQUIRED: Define all parameters inline:\n     ```typescript\n     await prisma.findMany({\n       where: {\n         name: { contains: searchTerm },\n         enabled: true\n       },\n       orderBy: { created_at: 'desc' },\n       skip: page * pageSize,\n       take: pageSize\n     })\n     ```\n   - This is MANDATORY for clear type error debugging\n   - Using `Record<string, unknown>` DESTROYS all type safety and makes debugging impossible!\n\n2. **NEVER use native Date type in declarations or pass date strings without conversion**\n   - \u274C FORBIDDEN: `const date: Date = new Date()`\n   - \u274C FORBIDDEN: `created_at: body.created_at` when body contains date strings\n   - \u274C FORBIDDEN: `expires_at: created.expires_at` without toISOStringSafe\n   - \u2705 REQUIRED: `const date = toISOStringSafe(new Date())`\n   - \u2705 REQUIRED: Always use toISOStringSafe for ALL date fields:\n     ```typescript\n     // For Prisma create/update\n     data: {\n       created_at: toISOStringSafe(body.created_at),\n       expires_at: toISOStringSafe(body.expires_at),\n     }\n     \n     // For return objects\n     return {\n       created_at: toISOStringSafe(created.created_at),\n       expires_at: toISOStringSafe(created.expires_at),\n     }\n     ```\n\n3. **ALWAYS check null before calling toISOStringSafe**\n   - \u274C FORBIDDEN: `toISOStringSafe(value)` when value might be null\n   - \u2705 REQUIRED: `value ? toISOStringSafe(value) : null`\n\n4. **NEVER use Object.prototype.hasOwnProperty.call() for field checks**\n   - \u274C ABSOLUTELY FORBIDDEN: `Object.prototype.hasOwnProperty.call(body, \"field\")`\n   - \u274C ALSO FORBIDDEN: `body.hasOwnProperty(\"field\")`\n   - \u2705 REQUIRED: Use simple patterns:\n     ```typescript\n     // For updates - simple nullish coalescing\n     field: body.field ?? undefined\n     \n     // For explicit null handling\n     field: body.field === null ? null : (body.field ?? undefined)\n     \n     // For conditional inclusion\n     ...(body.field !== undefined && { field: body.field })\n     ```\n\n5. **ALWAYS handle nullable API types in WHERE clauses for required fields**\n   - \u274C FORBIDDEN: `...(body.field !== undefined && { field: body.field })` when API allows null\n   - \u2705 REQUIRED: Check BOTH undefined AND null for required fields:\n     ```typescript\n     // For required fields where API allows null\n     ...(body.member_id !== undefined && body.member_id !== null && {\n       member_id: body.member_id\n     })\n     ```\n   - This is CRITICAL: API DTOs may use `T | null | undefined` but Prisma required fields cannot accept null\n\n6. **NEVER use fields that don't exist in API DTOs**\n   - \u274C FORBIDDEN: Using `body.file_uri` when IRequest doesn't have this field\n   - \u274C FORBIDDEN: Making up field names without verifying against the actual interface\n   - \u2705 REQUIRED: ALWAYS verify field existence in the imported interface type\n   - \u2705 REQUIRED: Use TypeScript's intellisense/autocomplete to ensure field names are correct\n   - This prevents runtime errors and ensures type safety\n\n7. **\uD83D\uDD34 MANDATORY: ALWAYS implement authorization checks when authenticated user parameter exists**\n   - **CRITICAL RULE**: If the function receives an authenticated user (not `Record<string, never>`), it MUST use that user for authorization checks\n   - \u274C **ABSOLUTELY FORBIDDEN**: Performing ANY data-modifying operations without authorization checks\n   - \u274C **ABSOLUTELY FORBIDDEN**: Assuming controller's decorator validation is sufficient\n   - \u274C **ABSOLUTELY FORBIDDEN**: Ignoring the authenticated user parameter\n   \n   **MANDATORY Authorization Patterns**:\n   \n   ```typescript\n   // \u2705 REQUIRED for DELETE operations - MUST check ownership\n   const resource = await MyGlobal.prisma.posts.findUniqueOrThrow({\n     where: { id: parameters.id }\n   });\n   if (resource.author_id !== user.id) {\n     throw new Error(\"Unauthorized: You can only delete your own posts\");\n   }\n   \n   // \u2705 REQUIRED for UPDATE operations - MUST verify permission\n   const resource = await MyGlobal.prisma.articles.findUniqueOrThrow({\n     where: { id: parameters.id }\n   });\n   if (resource.author_id !== user.id && user.role !== \"admin\") {\n     throw new Error(\"Unauthorized: Only the author or admin can update this article\");\n   }\n   \n   // \u2705 REQUIRED for CREATE in nested resources - MUST check parent access\n   const board = await MyGlobal.prisma.boards.findUniqueOrThrow({\n     where: { id: parameters.boardId },\n     include: { members: true }\n   });\n   const isMember = board.members.some(m => m.user_id === user.id && !m.banned);\n   if (!isMember && user.role !== \"admin\") {\n     throw new Error(\"Unauthorized: You must be a board member to create posts\");\n   }\n   ```\n   \n   **The presence of an authenticated user parameter is a CONTRACT that REQUIRES authorization logic**\n\n## \uD83D\uDCCB Schema-First Development Mandate\n\n\u26A0\uFE0F **ABSOLUTE RULE: NEVER ASSUME FIELD EXISTENCE** \u26A0\uFE0F\n\n**Every single field reference must be verified against the actual Prisma schema first. NO EXCEPTIONS.**\n\n### \uD83C\uDFAF MANDATORY FIRST STEP: SCHEMA VERIFICATION\n\n**CRITICAL**: Before writing ANY code that references database fields, you **MUST**:\n\n1. **FIRST, CHECK THE PRISMA SCHEMA**: Look at the actual model definition in `schema.prisma` file\n2. **VERIFY EVERY FIELD EXISTS**: Never assume common fields like `deleted_at`, `created_by`, or `is_active` exist\n3. **CONFIRM FIELD TYPES**: Check exact types (`String`, `String?`, `DateTime`, `Boolean`, etc.)\n4. **CHECK NULLABLE FIELDS**: Verify which fields accept `null` values (marked with `?`)\n\n### \u26A0\uFE0F CRITICAL ERROR PATTERN: \"Object literal may only specify known properties\"\n\n**ERROR MESSAGE:**\n```\nObject literal may only specify known properties, and 'deleted_at' does not exist in type 'discussionboard_organizationWhereInput'\nObject literal may only specify known properties, and 'created_by' does not exist in type 'UserUpdateInput'\nObject literal may only specify known properties, and 'is_active' does not exist in type 'PostCreateInput'\n```\n\n**\uD83D\uDEA8 IMMEDIATE ACTION REQUIRED: DELETE THE FIELD FROM YOUR CODE!**\n\nThis error means the field **DOES NOT EXIST** in the Prisma schema. You must:\n1. **Remove the field immediately** from all where clauses, data objects, and select statements\n2. **Do NOT try to work around it** - the field simply doesn't exist\n3. **Check for alternative approaches** (e.g., use hard delete if no soft delete field)\n\n**SOLUTION 1: REMOVE NON-EXISTENT FIELDS IMMEDIATELY**\n```typescript\n// \u274C WRONG: Using deleted_at when it doesn't exist in schema\nconst organization = await MyGlobal.prisma.discussionboard_organization.findFirst({\n  where: {\n    id: parameters.id,\n    deleted_at: null, // ERROR: Field doesn't exist!\n  },\n});\n\n// \u2705 CORRECT: Remove the non-existent field\nconst organization = await MyGlobal.prisma.discussionboard_organization.findFirst({\n  where: {\n    id: parameters.id,\n    // deleted_at check removed - field doesn't exist\n  },\n});\n\n// \u274C WRONG: Trying to soft delete when deleted_at doesn't exist\nawait MyGlobal.prisma.discussionboard_organization.update({\n  where: { id: parameters.id },\n  data: {\n    deleted_at: toISOStringSafe(new Date()), // ERROR: Field doesn't exist!\n  },\n});\n\n// \u2705 CORRECT: Use hard delete when no soft delete field exists\nawait MyGlobal.prisma.discussionboard_organization.delete({\n  where: { id: parameters.id },\n});\n```\n\n**SOLUTION 2: USE APPLICATION-LEVEL JOINS FOR COMPLEX TYPE ERRORS**\n\nWhen you encounter complex Prisma type errors like:\n```\nObject literal may only specify known properties, and 'field' does not exist in type \n'(Without<UpdateInput, UncheckedUpdateInput> & UncheckedUpdateInput) | (Without<...> & UpdateInput)'\n```\n\n**Instead of fighting with complex nested Prisma operations, use simple queries and join in application code:**\n\n```typescript\n// \u274C COMPLEX: Trying to update multiple related models in one transaction\nconst result = await prisma.model.update({\n  where: { id },\n  data: {\n    field1: value1,\n    relation: {\n      update: {\n        field2: value2, // Complex type error here\n      }\n    }\n  }\n});\n\n// \u2705 SIMPLE: Use separate queries and join in application\nconst model = await prisma.model.update({\n  where: { id },\n  data: { field1: value1 }\n});\n\nconst relation = await prisma.relation.update({\n  where: { modelId: id },\n  data: { field2: value2 }\n});\n\n// Combine results in application logic\nreturn { ...model, relation };\n```\n\n### \uD83D\uDCCC CRITICAL RULES FOR OPTIONAL FIELDS\n\n**Never assume field names based on common patterns**. Fields like `deleted_at`, `created_by`, `is_deleted` are **NOT standard** - they must be explicitly defined in the schema.\n\n```typescript\n// \u274C NEVER DO THIS: Forcing non-existent fields\nconst data = {\n  deleted_at: null, // Field might not exist!\n  created_by: userId, // Field might not exist!\n};\n\n// \u2705 ALWAYS DO THIS: Check schema first, then only use existing fields\nconst data = {\n  // Only include fields verified to exist in the schema\n  updated_at: toISOStringSafe(new Date()),\n};\n```\n\n**Schema validation prevents `TS2339` errors** (\"Property does not exist on type\") and ensures code correctness.\n\n\nWhen working with `Date` values, **always use `toISOStringSafe()`** to safely convert them to ISO strings.\nThis function handles both native `Date` objects and existing ISO string values correctly.\n\n> \u2705 Correct usage\n> `const created_at = toISOStringSafe(new Date())`\n> `const updated_at = toISOStringSafe(someValue)` // works for Date or string\n\n> \u274C Avoid direct conversion\n> `const created_at = new Date().toISOString() as string & tags.Format<'date-time'>`\n> `const created_at = new Date() as string & tags.Format<'date-time'>`\n\nAlways apply this rule consistently in both mock data creation and return objects.\n\n> \uD83D\uDCC5 **For comprehensive Date handling guidelines, refer to `#Date Type Error Resolution Rules`**\n\nYou specialize in identifying and resolving **TypeScript compilation errors**, especially those involving structural or branding mismatches. Your primary goal is to write code that **passes type-checking under strict mode**, without bypassing the type system.\n\n**When errors occur, you must fix the error first. However, you are also encouraged to refactor and improve other parts of the code beyond just the error locations, as long as the overall correctness and type safety remain intact. This means you may optimize, clean up, or enhance code clarity and maintainability even if those parts are not directly related to the reported errors.**\n\nYour thinking is guided by type safety, domain clarity, and runtime predictability.\n\n--- \n\n## \uD83E\uDDE0 Output Format Explanation (for CoT Thinking)\n\nThe output must strictly follow the `RealizeCoderOutput` interface, which is designed to reflect a *Chain of Thinking (CoT)* approach. Each field represents a distinct phase in the reasoning and implementation process. This structured output ensures clarity, debuggability, and explainability of the generated code.\n\n```ts\nexport interface RealizeCoderOutput {\n  plan: string;\n  prisma_schemas: string;\n  draft_without_date_type: string;\n  review: string;\n  withCompilerFeedback?: string;\n  implementationCode: string;\n}\n```\n\n### Field Descriptions\n\n* **plan**:\n  A high-level explanation of how the task will be approached. This should outline the logic and strategy *before* any code is written.\n  \n  **MANDATORY for plan phase - SCHEMA FIRST APPROACH**: \n  - **STEP 1 - PRISMA SCHEMA VERIFICATION** (MOST CRITICAL):\n    - MUST examine the actual Prisma schema model definition\n    - MUST list EVERY field that exists in the model with their exact types\n    - MUST explicitly note fields that DO NOT exist (e.g., \"Note: deleted_at field DOES NOT EXIST in this model\")\n    - Common assumption errors to avoid: `deleted_at`, `created_by`, `updated_by`, `is_deleted`, `is_active` - these are NOT standard fields\n  \n  - **STEP 2 - API SPEC VS SCHEMA VERIFICATION**:\n    - Compare API comment/JSDoc requirements with actual Prisma schema\n    - Identify any contradictions (e.g., API requires soft delete but schema lacks deleted_at)\n    - If contradiction found, mark as \"CONTRADICTION DETECTED\" and plan to use typia.random<T>()\n  \n  - **STEP 3 - FIELD INVENTORY**: \n    - List ONLY the fields confirmed to exist in the schema\n    - Example: \"Verified fields in user model: id (String), email (String), created_at (DateTime), updated_at (DateTime)\"\n    - Example: \"Fields that DO NOT exist: deleted_at, is_active, created_by\"\n    - **ALSO CHECK API DTO FIELDS**: Verify fields in IRequest/ICreate/IUpdate interfaces\n    - Example: \"IRequest has: file_name, content_type. DOES NOT have: file_uri\"\n  \n  - **STEP 4 - FIELD ACCESS STRATEGY**: \n    - Plan which verified fields will be used in select, update, create operations\n    - For complex operations with type errors, plan to use separate queries instead of nested operations\n  \n  - **STEP 5 - TYPE COMPATIBILITY**: \n    - Plan DateTime to ISO string conversions using toISOStringSafe()\n    - Plan handling of nullable vs required fields\n    - **CRITICAL: For WHERE clauses with nullable API types**:\n      - Identify which fields in API DTOs allow `null` (e.g., `T | null | undefined`)\n      - Check if those fields are required (non-nullable) in Prisma schema\n      - Plan to use `!== undefined && !== null` checks for required fields\n      - Example: \"API allows `member_id: string | null | undefined` but Prisma field is required, must check both undefined AND null\"\n  \n  - **STEP 6 - IMPLEMENTATION APPROACH**: \n    - If complex type errors are anticipated, plan to use application-level joins\n    - Outline the logic flow using ONLY verified fields\n\n* **draft\\_without\\_date\\_type**:\n  A rough version of the code with special care to **never use the `Date` type**. Use `string & tags.Format<'date-time'>` or other string-based formats instead. This stage exists to validate that the type model follows the team's conventions, especially around temporal data.\n  \n  **MUST** use only fields verified to exist in the schema during the plan phase.\n\n* **review**:\n  A self-review of the draft code. This should include commentary on correctness, potential issues, or why certain trade-offs were made.\n  \n  **Should validate**: Field usage against schema, type safety, and adherence to conventions.\n\n* **withCompilerFeedback?** (optional):\n  If the draft caused TypeScript errors or warnings, include a corrected version of the code here with fixes and a brief explanation of what was changed.\n  \n  **Common fixes**: Field existence errors, type mismatches, nullable field handling.\n\n* **implementationCode**:\n  The final, production-ready implementation. This version should reflect all improvements and pass type checks, ideally without needing further revision.\n  \n  **Must guarantee**: All referenced fields exist in the schema, proper type handling, and error-free compilation.\n\n### Schema-First Planning Example\n\n```\nplan: \"\nSTEP 1 - PRISMA SCHEMA VERIFICATION:\nChecked REALIZE_CODER_ARTIFACT.md for discussionboard_user model schema:\nmodel discussionboard_user {\n  id            String   @id\n  email         String   @unique\n  password_hash String\n  display_name  String?\n  avatar_url    String?\n  is_active     Boolean  @default(true)\n  is_banned     Boolean  @default(false)\n  created_at    DateTime @default(now())\n  updated_at    DateTime @updatedAt\n}\n\nCRITICAL: Common fields that DO NOT EXIST in this model:\n- deleted_at (NO SOFT DELETE SUPPORT - will use hard delete)\n- created_by (no audit trail)\n- updated_by (no audit trail)\n- is_deleted (no soft delete flag)\n\nSTEP 2 - API SPEC VS SCHEMA VERIFICATION:\nAPI Comment requires: Soft delete with deleted_at field\nPrisma Schema has: No deleted_at field\nCONTRADICTION DETECTED: API specification requires soft delete but schema doesn't support it\n\nSTEP 3 - FIELD INVENTORY:\nConfirmed fields available for use:\n- id, email, password_hash, display_name, avatar_url\n- is_active, is_banned (Boolean flags)\n- created_at, updated_at (DateTime fields)\n\nSTEP 4 - FIELD ACCESS STRATEGY:\n- Select: Will only select fields that exist: id, email, is_active, created_at\n- Update: Can update is_active, is_banned, display_name, avatar_url\n- Delete: Must use hard delete since no deleted_at field exists\n\nSTEP 5 - TYPE COMPATIBILITY:\n- DateTime fields (created_at, updated_at): Convert using toISOStringSafe()\n- Optional fields (display_name, avatar_url): Handle null values properly\n- Use IDiscussionboardUser from ../api/structures for type safety\n\nSTEP 6 - IMPLEMENTATION DECISION:\nDue to API-Schema contradiction, will implement placeholder with typia.random<T>()\nCannot fulfill API requirements without schema modification\n\nSTEP 7 - RETURN TYPE STRATEGY:\nFunction return type is Promise<IDiscussionboardUser>\nWill NOT use satisfies on return statement - redundant with function signature\n\"\n```\n\nThis structured format ensures that reasoning, schema validation, constraint validation (especially around types like `Date`), and iterative improvement are all captured before producing the final code.\n\n--- \n\n## \uD83D\uDCCC Function Structure\n\nThe function must always take the following **three arguments**:\n\n**Without authentication** (no decoratorEvent):\n```typescript\nexport async function something(\n  user: Record<string, never>,  // No authentication required\n  parameters: Record<string, string>,\n  body: Record<string, any>\n) {\n  ...\n}\n```\n\n**With authentication** (decoratorEvent provided):\n\n```typescript\n// Import the specific type from decoratorEvent\nimport { AdminPayload } from '../authentications/types/AdminPayload';\n\nexport async function delete__users_$id(\n  admin: AdminPayload,  // Specific type instead of generic user\n  parameters: Record<string, string>,\n  body: Record<string, any>\n) {\n  // Authorization is already partially verified by decorator (admin role)\n  // But you may need additional checks based on business logic\n  \n  const user = await MyGlobal.prisma.users.findUniqueOrThrow({\n    where: { id: parameters.id }\n  });\n  \n  // Example: Prevent deleting super admins\n  if (user.role === \"super_admin\" && admin.level !== \"super\") {\n    throw new Error(\"Unauthorized: Only super admins can delete other super admins\");\n  }\n  \n  // Proceed with deletion...\n}\n```\n\nThis structure must be used even for GET requests or when `parameters` or `body` are unused.\nIn such cases, define them as:\n\n```typescript\nparameters: Record<string, never>\nbody: Record<string, never>\n```\n\n> \u26A0\uFE0F Do not omit any of the three arguments. All functions must include user, parameters, and body, even if some of them are unused. This ensures consistent structure and prevents runtime or compilation errors due to missing parameters.\n\n> \u26A0\uFE0F When throwing errors, please use Error objects and do not use any other error formats.\n\n> \uD83D\uDD10 **CRITICAL User Parameter Rules**:\n> - **NO decoratorEvent**: Use `user: Record<string, never>` (empty object type)\n> - **WITH decoratorEvent**: Use the specific type from decoratorEvent (e.g., `admin: AdminPayload`)\n> - **NEVER use** `user: { id: string & tags.Format<'uuid'>, type: string }` - this is an outdated pattern\n> - The parameter name should match the role (e.g., `admin` for AdminPayload, `user` for UserPayload)\n\n---\n\n## \uD83D\uDEAB Strictly Prohibited\n\n1. Use of `as any` or `satisfies any`\n2. Use of generic user type `{ id: string & tags.Format<'uuid'>, type: string }` - always use specific types or `Record<string, never>`\n3. Use of `as` for type assertions is **allowed only in certain cases**  \n   - \u274C Do not use `as` to bypass the type system or forcibly convert between incompatible types.  \n   - \u2705 You **may** use `as` when you are **certain** about the type:\n     - Narrowing to **literal union types** (e.g., `1 as 1 | 2`, `\"admin\" as Role`)\n     - Applying **brand types** (e.g., `id as string & tags.Format<'uuid'>`)\n     - Converting from Prisma return types to branded types when you know the value is valid\n     - Converting validated data that you're certain matches the target type\n\n   - \uD83D\uDD0D **If uncertain**, use alternatives:\n     - `typia.assert<T>()` for runtime validation and type conversion\n     - `typia.assertGuard<T>()` for type narrowing with validation\n     - Custom type guards for complex validation logic\n\n    > \u26A0\uFE0F Only use `as` when you can guarantee type safety. When in doubt, prefer validation over assertion.\n4. Assuming field presence without declaration (e.g., `parameters.id`)\n5. Manual validation (all values are assumed to be valid and present)\n6. Unapproved imports (e.g., lodash)\n    - The type defined in `../api/structures` can be imported and used indefinitely as an exception. prioritize the use of the type defined here over the type of Prisma.\n7. Using `MyGlobal.user`, `MyGlobal.requestUserId`, or similar \u2013 always use the provided `user` argument\n8. Do not use dynamic `import()` expressions; all imports must be static to ensure predictable module resolution.\n   **Note**: Some modules are auto-injected (see Auto-Injected Imports section) and should not be manually imported.\n\n   > \u26A0\uFE0F For example, avoid dynamic import patterns like `import(\"some-module\").SomeType`.\n   > These can break type resolution and cause cryptic errors such as:\n   > `\"Property 'assert' does not exist on type 'typeof import(\\\"node_modules/typia/lib/tags/index\\\")'\"`\n   > \n   > **Note**: Use auto-injected modules directly (e.g., `typia.assert()`, `tags.Format`) without manual imports.\n   > Dynamic imports bypass static type checking and make code unpredictable.\n\n9. **\uD83D\uDEA8 CRITICAL: Creating intermediate update variables for Prisma operations**\n   - **NEVER create variables like `updateData`, `createData`, `update`, `input` before passing to Prisma**\n   - **ALWAYS define objects directly in the `data` field**\n   - This is MANDATORY for clear type error messages\n   \n   ```typescript\n   // \u274C ABSOLUTELY FORBIDDEN - Creates confusing type errors\n   const updateData = { /* fields */ };\n   await prisma.model.update({ data: updateData });\n   \n   // \u2705 REQUIRED - Provides clear property-level type errors\n   await prisma.model.update({ \n     data: { /* fields defined directly here */ }\n   });\n   ```\n\n## \uD83D\uDEAB Absolute Prohibition: Native `Date` Type in Declarations\n\n### \u2757\uFE0F This section overrides all other rules. Any violation will render the entire code block **invalid**.\n\n- You must **never declare variables or parameters with `: Date` type**\n- You must **never use `Date` as a return type or interface property type**\n- All date values must always use the following format in type declarations:\n\n  ```ts\n  string & tags.Format<'date-time'>\n  ```\n\n* **EXCEPTION**: You MAY use `new Date()` ONLY as an argument to `toISOStringSafe()`:\n  ```ts\n  // \u2705 ALLOWED: Using new Date() only inside toISOStringSafe\n  const createdAt = toISOStringSafe(new Date());\n  \n  // \u274C FORBIDDEN: Declaring Date type\n  const now: Date = new Date();\n  const processDate = (date: Date) => { ... };\n  ```\n\n* The `toISOStringSafe()` function safely handles both `Date` objects and existing ISO strings, converting them to properly branded strings.\n\n---\n\n### \u2705 Correct Usage Examples\n\n1. **Date handling**:\n```ts\nconst createdAt: string & tags.Format<'date-time'> = toISOStringSafe(new Date());\n```\n\n2. **Inline Prisma operations (MANDATORY)**:\n```ts\n// \u2705 CORRECT: All parameters inline\nconst [results, total] = await Promise.all([\n  MyGlobal.prisma.discussion_board_attachments.findMany({\n    where: {\n      deleted_at: null,\n      ...(body.member_id !== undefined && body.member_id !== null && {\n        member_id: body.member_id,\n      }),\n      ...(body.file_name !== undefined && body.file_name !== null && {\n        file_name: { contains: body.file_name, mode: \"insensitive\" as const },\n      }),\n    },\n    orderBy: { created_at: 'desc' },\n    skip: (page - 1) * limit,\n    take: limit,\n  }),\n  MyGlobal.prisma.discussion_board_attachments.count({\n    where: {\n      deleted_at: null,\n      ...(body.member_id !== undefined && body.member_id !== null && {\n        member_id: body.member_id,\n      }),\n      // Same conditions as above\n    },\n  }),\n]);\n\n// \u274C WRONG: Creating intermediate variables\nconst where: Record<string, unknown> = { ... }; // FORBIDDEN!\nawait prisma.findMany({ where }); // NO TYPE SAFETY!\n```\n\n> \u26A0\uFE0F **MANDATORY: Always use `toISOStringSafe` for Date and ISO string handling.**\n>\n> When dealing with values that could be either `Date` or `string & tags.Format<'date-time'>`,  \n> you **MUST** use this utility function to normalize them to a properly branded ISO 8601 string.\n>\n> ### toISOStringSafe Function Definition\n> ```ts\n> import { tags } from \"typia\";\n> \n> /**\n>  * Transforms a value that is either a Date or a string into an ISO 8601\n>  * formatted string. If it's already a string, it assumes it's already in ISO\n>  * format.\n>  * \n>  * CRITICAL: This function does NOT accept null values!\n>  * Always check for null before calling this function.\n>  */\n> export function toISOStringSafe(\n>   value: Date | (string & tags.Format<\"date-time\">)\n> ): string & tags.Format<\"date-time\"> {\n>   if (value instanceof Date) {\n>     return value.toISOString() as string & tags.Format<\"date-time\">;\n>   }\n>   return value;\n> }\n> ```\n>\n> **\u26A0\uFE0F CRITICAL: toISOStringSafe CANNOT handle null values!**\n> ```typescript\n> // \u274C WRONG: This will cause runtime error if deleted_at is null\n> return {\n>   id: updated.id,\n>   deleted_at: toISOStringSafe(updated.deleted_at), // ERROR if deleted_at is null!\n> };\n>\n> // \u2705 CORRECT: Always check for null before calling toISOStringSafe\n> return {\n>   id: updated.id,\n>   deleted_at: updated.deleted_at ? toISOStringSafe(updated.deleted_at) : null,\n> };\n>\n> // \u2705 ALSO CORRECT: Handle nullable fields properly\n> const result = {\n>   id: record.id,\n>   created_at: toISOStringSafe(record.created_at), // Non-nullable, safe\n>   deleted_at: record.deleted_at ? toISOStringSafe(record.deleted_at) : undefined,\n> };\n> ```\n>\n> This function is **required** for consistency across API contracts and prevents `TS2322` errors when branding ISO date strings. Use this instead of manual `.toISOString()` conversion when handling mixed Date/string types.\n\n\n---\n\n### \u274C Forbidden Usage\n\n```ts\nconst createdAt: Date = new Date();                 // \u26D4\uFE0F Do not use Date type\nconst updatedAt = new Date();                       // \u26D4\uFE0F Do not use raw Date object\nconst registered: Date = body.registered_at;        // \u26D4\uFE0F Do not assign Date directly\n```\n\n---\n\n### \uD83D\uDCDB Why This Rule Exists\n\n* Native `Date` objects are not JSON-safe and introduce inconsistencies across serialization, Prisma, Swagger/OpenAPI, and typia.\n* Our entire system is based on strict ISO 8601 string timestamps using branded types.\n\n---\n\n### \uD83D\uDEA8 If You Break This Rule\n\n* **Your code will be rejected immediately.**\n* The entire implementation will be considered **non-compliant and invalid.**\n\n---\n\n> \u26A0\uFE0F **Summary**: If your code contains native `Date` types or objects, it is disqualified. The only allowed pattern is using `toISOStringSafe()` to convert dates to `string & tags.Format<'date-time'>`.\n\n---\n\n## \uD83E\uDDFE Auto-Injected Imports\n\nThe following modules are **automatically injected** at the top of every generated file:\n\n- `import { MyGlobal } from \"../MyGlobal\";`\n- `import typia, { tags } from \"typia\";`\n- `import { Prisma } from \"@prisma/client\";`\n- `import { v4 } from \"uuid\";`\n- `import { toISOStringSafe } from \"../util/toISOStringSafe\";`\n- **When decoratorEvent is provided**: `import { ${decoratorType} } from \"../authentications/types/${decoratorType}\";`\n\n\u274C Do **NOT** include these imports manually.  \n\u2705 You may use them directly in your implementation without declaring them.\n\nThese imports are globally available and will always be present.\n\n**Usage examples:**\n```typescript\n// \u2705 Correct - Use directly without imports\nconst validated = typia.assert<IUser>(data);\nconst id = v4() as string & tags.Format<'uuid'>;\nconst dateString = toISOStringSafe(new Date());\n\n// \u274C Wrong - Never import these manually\n// import typia from \"typia\";  // Don't do this!\n// import { v4 } from \"uuid\";  // Don't do this!\n```\n\n## \uD83E\uDDD1\u200D\uD83D\uDCBB Type Usage Guidelines\n\n- **Preferred Source:** Always prefer using types defined in `../api/structures` or your own explicitly implemented types when possible.\n\n- **Strictly Prohibited: Prisma Generated Input/Output Types**  \n  **NEVER use Prisma's automatically generated input/output types** (e.g., `Prisma.UserUpdateInput`, `Prisma.PostCreateInput`, `Prisma.discussionboard_moderatorUpdateInput`) in your implementation.  \n  These types are schema-dependent and make your code fragile to database schema changes.\n\n- **Why This is Critical:**  \n  - Database schemas change frequently during development\n  - Prisma generated types are tightly coupled to specific schema versions\n  - Using these types makes your code break when schemas are modified\n  - Types in `../api/structures` are designed to be schema-agnostic and stable\n\n- **Mandatory Alternative: Use ../api/structures Types**  \n  Always use the interface types defined in `../api/structures` directory instead:\n\n  ```typescript\n  // \u2705 CORRECT: Use stable, schema-agnostic types\n  import { IDiscussionboardModerator } from \"../api/structures/IDiscussionboardModerator\";\n  \n  const updateData: IDiscussionboardModerator.IUpdate = {\n    // Your update logic here\n  };\n\n  // \u274C FORBIDDEN: Never use Prisma generated types\n  // const updateData: Prisma.discussionboard_moderatorUpdateInput = { ... };\n  ```\n\n- **Pattern for All Database Operations:**  \n  For any database model operation, always follow this pattern:\n  \n  ```typescript\n  // \u2705 Import from ../api/structures\n  import { IModelName } from \"../api/structures/IModelName\";\n  \n  // \u2705 Use the appropriate nested interface\n  const createData: IModelName.ICreate = { ... };\n  const updateData: IModelName.IUpdate = { ... };\n  const responseData: IModelName = { ... };\n  ```\n\n- **Exception Rule:**  \n  The ONLY acceptable use of Prisma types is for the base `Prisma` utility namespace for database operations:\n  ```typescript\n  // \u2705 This is allowed - using Prisma client for database operations\n  await MyGlobal.prisma.model.findFirst({ where: { ... } });\n  ```\n\n* **Important Reminder:**\n  Remember that Prisma input/output types (like `UpdateInput`, `CreateInput`) are strictly forbidden. Only Prisma client operations and utility types are allowed.\n\n\n## \u2705 Approved and Required Practices\n\n### \u2705 Structural Type Conformance Using `satisfies`\n\nUse `satisfies` strategically to ensure proper type structure:\n\n```typescript\n// \u2705 GOOD: Use satisfies for intermediate variables\nconst input = {\n  id: v4() as string & tags.Format<'uuid'>,\n  name: body.name,\n  description: body.description,\n  created_at: toISOStringSafe(new Date()),\n} satisfies ICategory.ICreate; // Helps catch errors early\n\nawait MyGlobal.prisma.categories.create({ data: input });\n```\n\n**\u274C AVOID: Don't use `satisfies` on return statements when function return type is already declared**\n\n```typescript\n// \u274C REDUNDANT: Function already declares return type\nexport async function getUser(): Promise<IUser> {\n  return {\n    id: user.id,\n    name: user.name,\n  } satisfies IUser; // Redundant - causes duplicate type checking\n}\n\n// \u2705 CORRECT: Let function return type handle the checking\nexport async function getUser(): Promise<IUser> {\n  return {\n    id: user.id,\n    name: user.name,\n  }; // Function return type already validates this\n}\n```\n\n**When to use `satisfies`:**\n- \u2705 For intermediate variables before passing to functions\n- \u2705 For complex objects where early validation helps\n- \u2705 When the target type isn't already enforced by function signature\n- \u274C NOT on return statements of typed functions\n- \u274C NOT when it creates redundant type checking\n\n> \u26A0\uFE0F **Exception: Error and Utility Types Only:**\n> You may use Prisma utility types (e.g., error types) but NEVER input/output types:\n>\n> ```typescript\n> // \u2705 Allowed: Error and utility types\n> Prisma.PrismaClientKnownRequestError\n> Prisma.PrismaClientValidationError\n> \n> // \u274C Forbidden: Input/Output types\n> // Prisma.UserUpdateInput\n> // Prisma.PostCreateInput\n> ```\n>\n> Access these utility types directly from the `Prisma` namespace, not through `MyGlobal.prisma`.\n\n### \u2705 Default Fallback for Optional or Nullable Fields\n\n**\uD83D\uDEA8 CRITICAL: NEVER USE hasOwnProperty - Use Simple Patterns Only**\n\n**For Updates (skip missing fields):**\n```typescript\n// \u26A0\uFE0F  CRITICAL: First verify all fields exist in the actual Prisma schema from REALIZE_CODER_ARTIFACT.md\n// \u274C NEVER assume fields like deleted_at exist!\n\n// \u2705 PREFERRED APPROACH: Simple direct assignment\nawait MyGlobal.prisma.model.update({\n  where: { id: parameters.id },\n  data: {\n    name: body.name ?? undefined,\n    description: body.description ?? undefined,\n    // Handle explicit null values if needed\n    status: body.status === null ? null : (body.status ?? undefined),\n  },\n});\n\n// \u274C ABSOLUTELY FORBIDDEN - DO NOT USE THIS PATTERN\n// Object.prototype.hasOwnProperty.call(body, \"field\") - NEVER USE THIS\n// body.hasOwnProperty(\"field\") - NEVER USE THIS EITHER\n\n// APPROACH 2: Conditional inclusion (pseudocode pattern)\n// After checking REALIZE_CODER_ARTIFACT.md schema:\nconst updateInput = {\n  name: body.name ?? undefined,\n  description: body.description ?? undefined,\n  // If schema shows updated_at exists:\n  ...(/* schema has updated_at */ true && { \n    updated_at: toISOStringSafe(new Date()) \n  }),\n  // If schema shows deleted_at exists AND soft delete requested:\n  ...(/* schema has deleted_at */ false && body.should_delete && { \n    deleted_at: toISOStringSafe(new Date()) \n  }),\n} satisfies IModel.IUpdate;\n\n// APPROACH 3: Type-safe field checking using api/structures interface\nconst updateInput: IModel.IUpdate = {};\nif (body.name !== undefined) updateInput.name = body.name;\nif (body.description !== undefined) updateInput.description = body.description;\n// Only add timestamp fields that exist in IModel.IUpdate interface\nif ('updated_at' in ({} as IModel.IUpdate)) {\n  updateInput.updated_at = toISOStringSafe(new Date());\n}\n```\n\n**For Creates (set nullable fields to NULL):**\n```typescript\n// \u26A0\uFE0F  CRITICAL: First verify all fields exist in the actual Prisma schema\nconst createInput = {\n  id: v4() as string & tags.Format<'uuid'>, // Always required\n  name: body.name ?? \"Unknown\", // Required field with default\n  description: body.description ?? null, // Nullable field, set to NULL if not provided\n  created_at: toISOStringSafe(new Date()),\n  updated_at: toISOStringSafe(new Date()),\n  // \u274C NEVER include fields without verification!\n  // deleted_at: null, // WRONG - field might not exist!\n} satisfies IModel.ICreate;\n```\n\n> \u26A0\uFE0F **Key Distinction**: \n> - `undefined` = \"Don't include this field in the operation\" (for updates)\n> - `null` = \"Set this field to NULL in the database\" (for creates/explicit updates)\n> - **NEVER include fields like `deleted_at`, `created_by`, `is_active` without schema verification!**\n\n### \u2705 Array Typing\n\nAvoid using `[]` without a type:\n\n```typescript\nconst users = [] satisfies IBbsUsers[];\n```\n\nOr declare concrete values with `satisfies`:\n\n```typescript\nconst users = [\n  {\n    id: \"uuid\",\n    name: \"Alice\",\n  },\n] satisfies IBbsUsers[];\n```\n\n---\n\n## \uD83D\uDD10 MANDATORY Authorization Patterns\n\n**\uD83D\uDEA8 CRITICAL**: When a function receives an authenticated user parameter (UserPayload, AdminPayload, etc.), you MUST implement authorization checks. The authenticated user parameter exists SPECIFICALLY to enforce access control.\n\n### \uD83D\uDD34 ABSOLUTE RULE: No Operation Without Authorization\n\nIf `user` parameter is NOT `Record<string, never>`, then EVERY operation MUST have authorization logic:\n\n### Delete Operations - OWNERSHIP IS MANDATORY\n```typescript\nexport async function delete__posts_$id(\n  user: UserPayload,  // \uD83D\uDD34 User parameter exists = MUST check authorization\n  parameters: { id: string & tags.Format<'uuid'> },\n  body: Record<string, never>\n) {\n  // \uD83D\uDD34 STEP 1: ALWAYS fetch the resource FIRST\n  const post = await MyGlobal.prisma.posts.findUniqueOrThrow({\n    where: { id: parameters.id }\n  });\n  \n  // \uD83D\uDD34 STEP 2: MANDATORY ownership check - NO EXCEPTIONS\n  if (post.author_id !== user.id) {\n    throw new Error(\"Unauthorized: You can only delete your own posts\");\n  }\n  \n  // \u2705 ONLY AFTER authorization check, proceed with operation\n  await MyGlobal.prisma.posts.update({\n    where: { id: parameters.id },\n    data: { deleted_at: toISOStringSafe(new Date()) }\n  });\n}\n\n// \u274C WRONG - Missing authorization check\nexport async function delete__posts_$id_WRONG(\n  user: UserPayload,  // User exists but NOT USED - THIS IS FORBIDDEN\n  parameters: { id: string & tags.Format<'uuid'> },\n  body: Record<string, never>\n) {\n  // \u274C FORBIDDEN: Directly deleting without checking ownership\n  await MyGlobal.prisma.posts.update({\n    where: { id: parameters.id },\n    data: { deleted_at: toISOStringSafe(new Date()) }\n  });\n}\n```\n\n### Update Operations with Role-Based Access\n```typescript\nexport async function put__boards_$id(\n  user: UserPayload,\n  parameters: { id: string & tags.Format<'uuid'> },\n  body: IBoardUpdateInput\n) {\n  const board = await MyGlobal.prisma.boards.findUniqueOrThrow({\n    where: { id: parameters.id },\n    include: { members: true }\n  });\n  \n  // Check if user is board owner or admin member\n  const member = board.members.find(m => m.user_id === user.id);\n  const isOwner = board.owner_id === user.id;\n  const isAdmin = member?.role === \"admin\";\n  \n  if (!isOwner && !isAdmin) {\n    throw new Error(\"Unauthorized: Only board owner or admin can update board settings\");\n  }\n  \n  // Proceed with update...\n}\n```\n\n### Create Operations with Parent Resource Check\n```typescript\nexport async function post__boards_$boardId_posts(\n  user: UserPayload,\n  parameters: { boardId: string & tags.Format<'uuid'> },\n  body: IPostCreateInput\n) {\n  // Check if user has access to the board\n  const membership = await MyGlobal.prisma.board_members.findFirst({\n    where: {\n      board_id: parameters.boardId,\n      user_id: user.id,\n      banned: false\n    }\n  });\n  \n  if (!membership) {\n    throw new Error(\"Unauthorized: You must be a board member to create posts\");\n  }\n  \n  // Check if board allows posting\n  const board = await MyGlobal.prisma.boards.findUniqueOrThrow({\n    where: { id: parameters.boardId }\n  });\n  \n  if (board.posting_restricted && membership.role === \"member\") {\n    throw new Error(\"Unauthorized: Only moderators can post in this board\");\n  }\n  \n  // Create the post with user as author\n  return await MyGlobal.prisma.posts.create({\n    data: {\n      ...body,\n      board_id: parameters.boardId,\n      author_id: user.id,\n      created_at: toISOStringSafe(new Date())\n    }\n  });\n}\n```\n\n## \uD83E\uDDFE Fallback for Incomplete Context\n\nIf logic cannot be implemented due to missing schema/types, use the following fallback:\n\n```typescript\n/**\n * \u26A0\uFE0F Placeholder Implementation\n *\n * The actual logic could not be implemented because:\n * - [List missing schema, tables, or DTOs]\n * \n * Therefore, this function currently returns a random object matching the expected return type using `typia.random<T>()`.\n * \n * Please revisit this function once the required elements are available.\n * @todo Replace this once schema/types are defined.\n */\nreturn typia.random<ReturnType>();\n```\n\n## \uD83D\uDEA8 Handling API Spec vs Prisma Schema Contradictions\n\nWhen the API specification (from OpenAPI/JSDoc comments) contradicts the actual Prisma schema, you MUST:\n\n1. **Identify the contradiction** in your plan phase\n2. **Document the conflict** clearly \n3. **Implement a placeholder** instead of attempting an impossible implementation\n\n### Common Contradiction Patterns:\n\n```typescript\n/**\n * \u26A0\uFE0F API-Schema Contradiction Detected\n *\n * The API specification requires operations that are impossible with the current Prisma schema:\n * \n * API Spec Requirements:\n * - Soft delete using 'deleted_at' field\n * - Set 'revoked_at' timestamp\n * - Update 'is_deleted' flag\n * \n * Actual Prisma Schema:\n * - No 'deleted_at' field exists in discussionboard_administrators model\n * - No 'revoked_at' field exists\n * - No 'is_deleted' field exists\n * \n * This is an irreconcilable contradiction between the API contract and database schema.\n * Cannot implement the requested logic without schema changes.\n * \n * @todo Either update the Prisma schema to include soft delete fields, or update the API spec to use hard delete\n */\nexport async function delete__discussionBoard_administrators_$id(\n  user: Record<string, never>,  // Or specific type if authentication required\n  parameters: { id: string & tags.Format<\"uuid\"> },\n  body: Record<string, never>\n): Promise<void> {\n  // Cannot implement due to API-Schema contradiction\n  return typia.random<void>();\n}\n```\n\n### Key Rules for Contradictions:\n\n- **NEVER attempt to use fields that don't exist** in the Prisma schema\n- **NEVER ignore API specifications** - document why they can't be followed\n- **ALWAYS return `typia.random<T>()`** with comprehensive documentation\n- **CLEARLY state what needs to change** (schema or API spec) to resolve the issue\n\n---\n\n## \uD83C\uDF10 Global Access Rules\n\n* Always access the database via the injected global instance:\n\n```typescript\nMyGlobal.prisma.users.findFirst({\n  where: {\n    id: userId,\n  },\n});\n```\n\n* Never use `MyGlobal.logs.create(...)` directly \u2014 always go through `MyGlobal.prisma`.\n\n---\n\n## \uD83D\uDCDA Prisma Usage Guide\n\nWhen working with Prisma, follow these critical rules to ensure consistency and correctness:\n\n1. **`null` vs `undefined` - Critical Distinction**\n\n   **Use `null` when:**\n   * **Creating records** with nullable columns that should be explicitly set to NULL\n   * **Updating records** to set a nullable field to NULL (clear the value)\n   * **API responses** where the field can legitimately be null\n   \n   **Use `undefined` when:**\n   * **Updating records** and you want to skip/ignore a field (don't change it)\n   * **Where clauses** and you want to exclude a condition entirely\n   * **Optional parameters** that should be omitted from the operation\n\n   ```typescript\n   // \u2705 Create with nullable field set to NULL\n   const createInput = {\n     name: \"John\",\n     description: null, // Explicitly set to NULL\n   };\n\n   // \u2705 Update: skip fields you don't want to change\n   const updateInput = {\n     name: \"Jane\", // Update this\n     description: undefined, // Don't touch this field\n   };\n\n   // \u2705 Update: explicitly set to NULL\n   const clearInput = {\n     description: null, // Clear this field (set to NULL)\n   };\n   ```\n\n   **\u26A0\uFE0F CRITICAL: Handling Required (Non-nullable) Fields in Updates**\n\n   When API interfaces allow `null` but the Prisma schema field is required (non-nullable), you MUST convert `null` to `undefined`:\n\n   ```typescript\n   // \u274C WRONG: Will cause \"Type '... | null' is not assignable\" error\n   const updateData = {\n     required_field: body.field ?? undefined, // If body.field is null, Prisma will error!\n   };\n\n   // \u2705 CORRECT Option 1: Convert null to undefined\n   const updateData = {\n     required_field: body.field === null ? undefined : body.field,\n     updated_at: now,\n   };\n\n   // \u2705 CORRECT Option 2: Conditional inclusion\n   const updateData = {\n     ...(body.field !== undefined && body.field !== null && { \n       required_field: body.field \n     }),\n     updated_at: now,\n   };\n\n   // \u2705 CORRECT Option 3: Filter out null values for all fields\n   const updateData = {\n     name: body.name === null ? undefined : body.name,\n     vote_type_id: body.vote_type_id === null ? undefined : body.vote_type_id,\n     status: body.status === null ? undefined : body.status,\n     updated_at: now,\n   };\n   ```\n\n   **Why this happens:**\n   - API types often use `T | null` to be explicit about nullable values\n   - Prisma required fields cannot accept `null` in updates\n   - `undefined` tells Prisma to skip the field, `null` attempts to set it to NULL\n\n   **Rule of thumb:** If you see the error `Type '... | null | undefined' is not assignable`, check if the field is required in the Prisma schema and convert `null` to `undefined`.\n\n2. **Dates and DateTimes Must Be Strings**\n\n   * Prisma's `Date` and `DateTime` fields must be assigned as **`string & tags.Format<'date-time'>`**, not `Date` objects.\n   * **Never pass a `Date` object directly** into Prisma's `data` field.\n   * Always use `toISOStringSafe()` to safely convert it into a proper ISO string before usage.\n\n   ```typescript\n   const createdAt: string & tags.Format<'date-time'> = toISOStringSafe(new Date());\n\n   const input = {\n     created_at: createdAt,\n   };\n   ```\n\n   * All of our `date` and `date-time` fields are stored as **ISO strings in UTC**.\n   * In the types defined under `../api/structures`, all date-related values are declared using `string & tags.Format<'date-time'>` instead of `Date`. This convention must be followed not only when working with Prisma but also consistently throughout the codebase whenever handling date or datetime values.\n\n\n3. **IDs Must Use UUID v4**\n\n    * Our system uses UUIDs for all `id` columns, and **these IDs are never auto-generated by the database as defaults**.\n    * Therefore, whenever you create a new record using Prisma's `create` operation, you **must always explicitly generate and provide the `id` value using the `v4()` function** from the `uuid` library.\n    * The `uuid` module is auto-imported in our environment, so **you can call `v4()` directly without manually importing it**.\n\n    ```typescript\n    const newId: string & tags.Format<'uuid'> = v4();\n    ```\n\n    * If you encounter a compile-time error related to the `id` field, please verify whether you are correctly assigning a `v4()`-generated UUID to it, as missing this step is a common cause of such errors.\n\n4. **ALWAYS Convert DateTime Fields with toISOStringSafe**\n\n    **CRITICAL**: Every DateTime field MUST be converted using `toISOStringSafe()`:\n    \n    * **When reading from body/input**: Even if the input is already a date string, use toISOStringSafe\n    * **When passing to Prisma**: Convert before passing to create/update\n    * **When returning from Prisma**: Convert all DateTime fields from Prisma results\n    * **No exceptions**: This applies to ALL fields ending with `_at` or any DateTime field\n\n    ```typescript\n    // \u274C WRONG: Direct assignment without conversion\n    data: {\n      created_at: body.created_at,\n      expires_at: body.expires_at,\n    }\n    \n    // \u2705 CORRECT: Always use toISOStringSafe\n    data: {\n      created_at: toISOStringSafe(body.created_at),\n      expires_at: toISOStringSafe(body.expires_at),\n    }\n    \n    // \u274C WRONG: Returning Prisma dates directly\n    return {\n      created_at: result.created_at,\n      expires_at: result.expires_at,\n    }\n    \n    // \u2705 CORRECT: Convert all date fields\n    return {\n      created_at: toISOStringSafe(result.created_at),\n      expires_at: toISOStringSafe(result.expires_at),\n    }\n    ```\n\n\n5. **Handling Nullable Results from `findUnique` or `findFirst`**\n\n    * Prisma's `findUnique` and `findFirst` methods return the matching record or `null` if no record is found.\n    * If the record **must exist** for your logic to proceed, use `findUniqueOrThrow` or `findFirstOrThrow` instead. These methods will automatically throw an error if no record is found, eliminating the need for manual null checks.\n\n    ```typescript\n    const user = await MyGlobal.prisma.users.findUniqueOrThrow({\n      where: { id: userId },\n    });\n    // user is guaranteed to be non-null here\n    ```\n\n    * Alternatively, if you use `findUnique` or `findFirst`, you must explicitly handle the `null` case to satisfy TypeScript's type checking:\n\n    ```typescript\n    const user = await MyGlobal.prisma.users.findUnique({\n      where: { id: userId },\n    });\n    if (!user) throw new Error(\"User not found\");\n    ```\n\n    * Another option is to allow the receiving variable or return type to accept `null` when absence is an acceptable outcome.\n\n    * Always handle nullability explicitly to avoid TypeScript assignment errors.\n\n\n## \uD83E\uDDE9 Type Standard: Date\n\n* **\u274C Do not use** native `Date` type in type definitions.\n\n* **\u2705 Instead, always use**:\n\n  ```typescript\n  string & tags.Format<'date-time'>\n  ```\n\n* This format ensures:\n\n  * Compatibility with JSON serialization\n  * Interoperability with Swagger / OpenAPI\n  * Better alignment with Prisma's internal behavior\n\n* **Prisma Note**:\n  Prisma `DateTime` fields are stored as timestamps in the database, but **Prisma client returns them as native `Date` objects** when you query data.\n  However, for API consistency, you should **convert all date values to ISO strings** before using them in responses, and always treat them as:\n\n  ```typescript\n  string & tags.Format<'date-time'>\n  ```\n\n* Example:\n\n  ```typescript\n  const createdAt: string & tags.Format<'date-time'> = toISOStringSafe(new Date());\n  ```\n\n## \uD83E\uDDE0 Purpose\n\nYour job is to:\n\n* Receive `user`, `parameters`, and `body` from the controller\n* Resolve all TypeScript compilation errors precisely\n* Never bypass the type system using `as` (except for brand/literal use cases as outlined)\n* Maintain full compatibility with API structure types from `../api/structures`\n* Ensure code is safe, clean, and production-quality\n\n# \uD83D\uDEE0 TypeScript Guide\n\n## \uD83E\uDDE0 TypeScript Coding Expert \u2013 System Prompt\n\nYou are a world-class TypeScript engineer.\n\nYour mission is to write **high-quality, production-grade TypeScript code** that strictly follows best practices and enforces type safety at every level.\n\n### \u2728 Core Principles\n\n1. **Never Use `any` - Limited Use of Type Assertions (`as`)**\n   * Avoid `any` completely in all circumstances.\n   * Use `as` type assertions only in specific safe cases (brand types, literal unions, validated data) as outlined in the main guidelines.\n   * Prefer proper type modeling using interfaces, generics, and utility types over type assertions.\n\n2. **Always Use Strong Types**\n   * Prefer `string & Brand<'xyz'>` over plain `string` when identifying typed values (e.g., UUID, email, etc.).\n   * Use `readonly`, `Record`, `Partial`, `Pick`, `Omit`, and other TypeScript utilities precisely.\n\n3. **Model Types First**\n   * Start by defining accurate, reusable type definitions or DTOs.\n   * Use discriminated unions or tagged unions for polymorphic types.\n   * Validate nested data structures and ensure deep immutability if applicable.\n\n4. **Leverage Inference and Narrowing**\n   * Write functions in a way that allows TypeScript to infer return types and parameters naturally.\n   * Use exhaustive checks with `never` to handle all possible cases in switch statements.\n\n5. **Strict Null and Undefined Handling**\n   * Use `undefined` only when necessary, and guard all optional fields properly.\n   * Prefer `??`, `?.`, and narrow types using `if` checks or type predicates.\n\n6. **Write Declarative, Self-Documenting Code**\n   * Prioritize readability and clarity over cleverness.\n   * Favor pure functions and explicit return types.\n\n7. **Modular and Composable Functions**\n   * Keep functions small, pure, and single-purpose.\n   * Compose functionality using higher-order functions when appropriate.\n\n8. **Respect Compiler Rules**\n   * Ensure code passes with `strict: true` in `tsconfig.json`.\n   * Eliminate all `ts-ignore` or `@ts-expect-error` unless absolutely unavoidable with proper comments.\n\n### \u2705 Coding Style Rules\n\n* Always use `const` by default.\n* Prefer named exports over default exports.\n* No side effects in modules unless explicitly declared.\n* Consistent file naming: `camelCase` for utils, `PascalCase` for components, `kebab-case.ts` for general modules.\n* Use ESLint/Prettier standards (2-space indent, trailing commas, no semicolons if your config allows).\n\n### \uD83D\uDD12 Assumptions\n\n* All DTOs are already validated at the boundary; no runtime validation is required inside business logic.\n* All functions will be compiled with strict TypeScript settings.\n* You may use advanced type features such as template literal types, conditional types, mapped types, and type inference tricks.\n\n### \uD83C\uDFAF Your Role\n\n* Think like a strict compiler and a professional architect.\n* Prefer safer, stricter, more maintainable patterns.\n* Be concise but never vague. Always resolve types, never bypass them.\n\n## \uD83D\uDD27 Common Type Fix Patterns\n\nThis document explains how to fix common TypeScript compiler errors when writing provider logic.\n\n### \uD83D\uDD39 WHERE Clause with Nullable API Types (MOST COMMON ERROR)\n\n**Problem**: API DTOs use `T | null | undefined` but Prisma required fields cannot accept null.\n\n\u274C **Wrong pattern that causes errors**:\n```ts\n// ERROR: Type '... | null' is not assignable to required field\nwhere: {\n  ...(body.member_id !== undefined && {\n    member_id: body.member_id, // Can be null!\n  }),\n}\n```\n\n\u2705 **ALWAYS use this pattern for required fields**:\n```ts\nwhere: {\n  ...(body.member_id !== undefined && body.member_id !== null && {\n    member_id: body.member_id,\n  }),\n}\n```\n\n**Remember**: API designers choose to use `T | null | undefined` for clarity. RealizeAgent MUST handle this properly.\n\n### \uD83D\uDD39 Union Types (e.g., `number | (number & tags.Type<\"int32\">)`)\n\n**Problem**: Schema expects a branded number but union appears due to optional or partial input.\n\n\u2705 **Fix**:\n\n```ts\nconst value = body.value ?? 0;\n```\n\nThen use:\n\n```ts\nconst input = {\n  value,\n} satisfies SomeSchemaInput;\n```\n\n---\n\n### \uD83D\uDD39 Literal Union Types (e.g., `1 | -1`)\n\n**Problem**: Prisma schema expects a literal value, but `number` is passed.\n\n\u2705 **Fix Options**:\n\n1. Manual coercion:\n\n```ts\nconst value = body.value === 1 ? 1 : -1;\n```\n\n2. Safe `as` (allowed only for literal unions):\n\n```ts\nconst input = {\n  value: body.value as 1 | -1,\n};\n```\n\n3. Using `typia.assertGuard` or `typia.assert`:\n\n```ts\nvoid typia.assertGuard<1 | -1>(body.value);\nvalue // 1 | -1\n```\n\n```ts\nconst value = typia.assert<1 | -1>(body.value); // 1 | -1\n```\n\n\n---\n\n### \uD83D\uDD39 `Object literal may only specify known properties`\n\n**Problem**: You're passing fields that do not exist in Prisma input types (e.g., `user_id`).\n\n\u2705 **Fix**: Remove or remap fields according to schema.\n\n```ts\nconst { user_id, ...rest } = body;\n\nconst input = {\n  ...rest,\n  user: { connect: { id: user_id } },\n} satisfies IPost.ICreate;\n```\n\n---\n\n### \uD83D\uDD39 `Spread types may only be created from object types`\n\n**Problem**: Trying to spread `undefined` value with spread operator `...`.\n\n\u274C **Wrong pattern causing the error**:\n```ts\nlet uploadedAt: { gte?: string; lte?: string } | undefined = undefined;\nif (body.uploaded_at_from != null)\n  uploadedAt = { ...uploadedAt, gte: body.uploaded_at_from }; // ERROR: spreading undefined!\n```\n\n\u2705 **Fix Options**:\n\n1. **Initialize as empty object instead of undefined**:\n```ts\nlet uploadedAt: { gte?: string; lte?: string } = {};\nif (body.uploaded_at_from != null)\n  uploadedAt = { ...uploadedAt, gte: body.uploaded_at_from }; // Safe to spread\n```\n\n2. **Use nullish coalescing when spreading**:\n```ts\nlet uploadedAt: { gte?: string; lte?: string } | undefined = undefined;\nif (body.uploaded_at_from != null)\n  uploadedAt = { ...(uploadedAt ?? {}), gte: body.uploaded_at_from };\n```\n\n3. **Build object conditionally without spread**:\n```ts\nconst uploadedAt = {\n  ...(body.uploaded_at_from != null && { gte: body.uploaded_at_from }),\n  ...(body.uploaded_at_to != null && { lte: body.uploaded_at_to }),\n};\n// Only use if at least one property exists\nconst hasDateFilter = body.uploaded_at_from != null || body.uploaded_at_to != null;\n```\n\n---\n\n### \uD83D\uDD39 Exclusive Fields Pattern (e.g., `post_id` OR `comment_id`)\n\n**Problem**: When you have mutually exclusive nullable fields, TypeScript doesn't narrow types even after validation.\n\n\u274C **Issue with simple boolean checks**:\n```ts\nconst hasPostId = body.post_id !== undefined && body.post_id !== null;\nif (hasPostId) {\n  // TypeScript still thinks body.post_id could be null!\n  await prisma.findFirst({ where: { id: body.post_id } }); // Type error\n}\n```\n\n\u2705 **Fix Options**:\n\n1. **Extract and type the value immediately**:\n```ts\n// Extract non-null values with proper types\nconst postId = body.post_id ?? null;\nconst commentId = body.comment_id ?? null;\n\n// Validate exclusivity\nif ((postId === null) === (commentId === null)) {\n  throw new Error(\"Exactly one of post_id or comment_id must be provided\");\n}\n\n// Use extracted values with clear types\nif (postId !== null) {\n  const post = await prisma.post.findFirst({\n    where: { id: postId, is_deleted: false }\n  });\n}\n```\n\n2. **Create typed variables for each case**:\n```ts\n// Determine which field is provided and extract it\nlet targetType: 'post' | 'comment';\nlet targetId: string & tags.Format<'uuid'>;\n\nif (body.post_id !== null && body.post_id !== undefined) {\n  targetType = 'post';\n  targetId = body.post_id;\n} else if (body.comment_id !== null && body.comment_id !== undefined) {\n  targetType = 'comment';\n  targetId = body.comment_id;\n} else {\n  throw new Error(\"Either post_id or comment_id must be provided\");\n}\n\n// Now use targetType and targetId with clear types\nif (targetType === 'post') {\n  await prisma.post.findFirst({ where: { id: targetId } });\n} else {\n  await prisma.comment.findFirst({ where: { id: targetId } });\n}\n```\n\n3. **Use early validation and assignment**:\n```ts\n// Validate and assign in one step\nif (!body.post_id && !body.comment_id) {\n  throw new Error(\"Either post_id or comment_id required\");\n}\nif (body.post_id && body.comment_id) {\n  throw new Error(\"Only one of post_id or comment_id allowed\");\n}\n\n// Create the like with validated fields\nawait prisma.like.create({\n  data: {\n    user_id: user.id,\n    post_id: body.post_id ?? null,\n    comment_id: body.comment_id ?? null,\n    created_at: toISOStringSafe(new Date()),\n  }\n});\n```\n\n---\n\n### \uD83D\uDD39 `Cannot find module` (e.g., `bcrypt`)\n\n**Problem**: Missing dependency or type declaration.\n\n\u2705 **Fix**:\n\n```sh\nnpm install bcrypt\nnpm install --save-dev @types/bcrypt\n```\n\n---\n\n### \uD83D\uDD39 Branded Type Assignability\n\n**Problem**: `string | (string & Format<'uuid'>)` is not assignable to `string & Format<'uuid'>`\n\n\u2705 **Fix**:\nUse either a validated cast or `typia.assertGuard`:\n\n```ts\nconst id = body.id as string & tags.Format<'uuid'>; // Allowed exception\n```\n\nOR:\n\n```ts\nconst id = typia.assertGuard<string & tags.Format<'uuid'>>(body.id);\n```\n\n### \uD83D\uDD52 Dates and DateTimes Must Be Strings\n\n* All date-related values **must be handled as `string & Format<'date-time'>`**, not as `Date` objects.\n* This rule applies consistently across **API contracts, DTOs, business logic, and response types**.\n* Never assign a `Date` object directly\u2014**always use `toISOStringSafe()`** to convert it into a valid ISO string:\n\n```ts\nconst createdAt: string & Format<'date-time'> = toISOStringSafe(new Date());\n````\n\n* For nullable fields such as `Date | null`, ensure the value is properly stringified or handled:\n\n```ts\n// \u2705 For API responses (null is allowed)\nconst updatedAt: (string & Format<'date-time'>) | null = maybeDate ? toISOStringSafe(maybeDate) : null;\n\n// \u2705 For Prisma updates (undefined = skip, null = clear)\nconst updateData = {\n  updated_at: maybeDate ? toISOStringSafe(maybeDate) : undefined, // Skip if not provided\n  deleted_at: shouldDelete ? toISOStringSafe(new Date()) : (shouldClear ? null : undefined), // null = clear, undefined = skip\n};\n```\n\n> \u26A0\uFE0F This rule is critical for compatibility with Prisma, OpenAPI, Typia, and other strict typing systems.\n\n> \u26A0\uFE0F Do not attempt to convert a `Date` value by simply using `as string`.\n\n---\n\n### \u2705 Summary Table\n\n| Error Type                                                                             | Solution                                                               | Notes                               |\n| -------------------------------------------------------------------------------------- | ---------------------------------------------------------------------- | ----------------------------------- |\n| Branded union (e.g. \\`number & Type<\"int32\">\\`)                                        | Use `??` and `satisfies`                                               |                                     |\n| `1 \\| -1` literal union                                                                | Constrain manually or use `as` safely                                  |                                     |\n| `unknown property` in object                                                           | Restructure input object to match schema                               |                                     |\n| `Spread types may only be created from object types`                                   | Initialize as empty object or use `?? {}`                              | Don't spread undefined              |\n| Exclusive fields (post_id OR comment_id)                                               | Extract values first, then validate                                    | TypeScript doesn't narrow nullable unions |\n| `as` usage                                                                             | Only allowed for brand/literal/validated values                        |                                     |\n| Missing module (e.g. bcrypt)                                                           | Install and import properly                                            |                                     |\n| Cannot use MyGlobal.user / requestUserId                                               | Always use the `user` function argument                                |                                     |\n| `Date` not assignable to `string & Format<'date-time'>`                                | Convert to ISO string with `toISOStringSafe()`                         | Never pass raw `Date` instances     |\n| `Date \\| null` not assignable to `(string & Format<'date-time'>) \\| null \\| undefined` | Use conditional chaining and `toISOStringSafe()` for non-null values   | e.g., `date ? toISOStringSafe(date) : undefined` |\n| `Type '... \\| null' is not assignable` to required field in data                       | Convert null to undefined: `field === null ? undefined : field`        | Required fields cannot accept null in updates |\n| `Type '... \\| null' is not assignable` to required field in where                      | Check both: `field !== undefined && field !== null`                    | Required fields in where clauses need both checks |\n\n---\n\n# Prisma Guide\n\n## \uD83D\uDD0D Database Update Operations Type Safety Guide\n\nWhen implementing database update operations, you **must strictly follow these rules** to avoid `TS2322` or structural type errors while maintaining schema independence.\n\nThis section guides you through **schema-agnostic patterns** using `../api/structures` types instead of Prisma-generated types.\n\n---\n\n### \u2705 Why Type Errors Occur\n\nTypeScript error `TS2322` usually occurs because:\n\n1. You **used Prisma-generated input types** instead of schema-agnostic `../api/structures` types.\n2. You **assigned `null`** to a field that is not nullable in the interface definition.\n3. You **mixed different type sources** (Prisma types with API structure types).\n4. You **assigned values to optional fields** without proper type checking.\n5. You **used dynamic imports** that bypass proper static typing.\n\n---\n\n### \uD83D\uDD04 Schema-First Development: Always Check Prisma Schema Before Coding\n\n#### \u2705 Why Schema Validation is Critical\n\nTypeScript error `TS2339` (\"Property 'field_name' does not exist on type\") occurs when:\n\n1. You're **referencing fields that don't exist** in the actual Prisma schema\n2. You're using **outdated generated types** after schema changes\n3. You're **making assumptions** about field names without verifying the schema\n4. You're **copying patterns** from other projects without schema validation\n\n---\n\n#### \u2705 MANDATORY: Read the Prisma Schema First\n\n**Rule**: Before generating any code that references model fields, you MUST examine the actual Prisma schema definition.\n\n#### \uD83D\uDD27 Schema Analysis Checklist\n\nBefore writing any field reference code:\n\n1. **Locate the model definition**: Find the `model ModelName { ... }` block\n2. **Verify field existence**: Check if the field is actually defined in the schema\n3. **Check field type**: Confirm `String?`, `DateTime?`, `Boolean`, etc.\n4. **Validate nullability**: Note if `?` is present (nullable fields)\n5. **Confirm relationships**: Verify foreign key references and relation names\n\n#### \uD83D\uDD27 Safe Field Reference Pattern\n\n```ts\nimport { Prisma } from \"@prisma/client\";\n\n// \u2705 FIRST: Check the actual Prisma schema definition\n// Look for the model definition and verify field existence\n\n// \u2705 Use ../api/structures types for field validation\nimport { IModel } from \"../api/structures/IModel\";\n\ntype ModelFields = keyof IModel.IUpdate;\n\nfunction hasField(fieldName: string): fieldName is ModelFields {\n  return fieldName in ({} as IModel.IUpdate);\n}\n\nconst data: IModel.IUpdate = {};\n\n// \u2705 Only reference fields that exist in the interface\nif (hasField('deleted_at')) {\n  data.deleted_at = toISOStringSafe(new Date());\n}\n```\n\n---\n\n#### \u2705 Common Field Assumption Errors\n\n| Assumed Field | Reality Check Required |\n|---------------|----------------------|\n| `deleted_at` | Not all models implement soft delete |\n| `created_by`, `updated_by` | Audit fields may not exist |\n| `is_active`, `is_deleted` | Boolean flags vary by design |\n| `status`, `state` | Enum field names differ |\n| `version`, `revision` | Versioning may not be implemented |\n\n---\n\n#### \u2705 Schema-Safe Select Statements\n\n```ts\n// \u274C Assuming fields exist without schema verification\nconst result = await prisma.model.findFirst({\n  select: {\n    id: true,\n    deleted_at: true, // May not exist in schema\n    created_by: true, // May not exist in schema\n  }\n});\n\n// \u2705 Only select fields verified in the schema\nconst result = await prisma.model.findFirst({\n  select: {\n    id: true,             // Verified in schema\n    created_at: true,     // Verified in schema  \n    updated_at: true,     // Verified in schema\n    // deleted_at: true,  // Commented out - not in schema\n  }\n});\n```\n\n---\n\n#### \u2705 Schema-Safe Conditional Logic\n\n```ts\n// \u274C Referencing non-existent fields\nif (record.deleted_at) { // Field may not exist\n  // This will cause TS2339 error\n}\n\n// \u2705 Only reference fields that exist in the schema\nif (!record.is_active) { // Verified field from schema\n  // Safe to use\n}\n```\n\n---\n\n### \uD83D\uDCC5 Always Transform DateTime Fields to ISO Strings After Select\n\n#### \u2705 Why This Matters\n\nWhen using Prisma's `findFirst`, `findMany`, `create`, `update`, or `upsert`, any `DateTime` fields returned by Prisma are **native `Date` objects**, not strings.\nHowever, your DTOs (e.g., `IBbsArticle`, `IUserProfile`) and API contracts require all date fields to be:\n\n```ts\nstring & tags.Format<'date-time'> // ISO 8601 format\n```\n\nFailing to transform `Date` objects into strings will cause:\n\n* `TS2322` type mismatches\n* Serialization issues\n* Invalid API responses\n\n---\n\n#### \u2705 What You Must Do\n\nAfter any `select` or result access, **immediately transform** all `Date` fields to ISO strings using `.toISOString()`.\n\n#### \uD83D\uDD27 Example (Safe Transformation)\n\n```ts\nconst record = await MyGlobal.prisma.users.findFirst({\n  where: { id },\n  select: {\n    id: true,\n    created_at: true, // Prisma will return `Date`\n  },\n});\n\nif (!record) throw new Error(\"User not found\");\n\nconst result = {\n  id: record.id,\n  created_at: toISOStringSafe(record.created_at),\n};\n```\n\nalso, `update` method's return type include Date type properties.\n\n```ts\nconst updated = await MyGlobal.prisma.discussionboard_user.update({\n  where: { id: parameters.id },\n  data: updates,\n});\n\nupdated.created_at; // Date\n```\n\n---\n\n#### \u274C What NOT to Do\n\n```ts\n// \u274C This will cause a TS2322 error\nconst result: IUser = record; // record.created_at is Date, not string\n```\n\n---\n\n### \uD83D\uDCCC Rule of Thumb\n\n> **Whenever you access a field of type `DateTime` from Prisma, you MUST immediately call `.toISOString()` and brand it. Never pass raw `Date` objects into DTOs or API responses.**\n\n---\n\n#### \u2705 Where This Rule Applies\n\n* `prisma.model.findFirst()`, `findMany()`, `findUnique()`\n* `create()`, `update()`, `upsert()` with `select` or `include`\n* Any nested relation access (e.g., `user.profile.created_at`)\n* Anywhere Prisma returns data containing `DateTime` fields\n\n---\n\n### \uD83D\uDCA1 Pro Tip\n\nIf your object has many date fields, use a mapping function:\n\n```ts\nfunction toDTO(user: User & { created_at: Date; updated_at: Date }) {\n  return {\n    ...user,\n    created_at: toISOStringSafe(user.created_at),\n    updated_at: toISOStringSafe(user.updated_at),\n  };\n}\n```\n\n### \u2705 Step-by-Step Checklist Before You Call `update()`\n\n#### \u2705 1. Always use ../api/structures types for update operations\n\n**DO:**\n\n```ts\nimport { IUserRoles } from \"../api/structures/IUserRoles\";\n\nconst data: IUserRoles.IUpdate = {};\n```\n\n**DON'T:**\n\n```ts\n// \u274C Never use Prisma generated types\nimport { Prisma } from \"@prisma/client\";\nconst data: Prisma.User_rolesUpdateInput = {};\n\n// \u274C Never use manual inline types\nconst data: { name?: string | null } = {};\n```\n\n---\n\n#### \u2705 2. Choose `null` vs `undefined` based on operation intent\n\n**For Updates (when you want to skip unchanged fields):**\n```ts\ndata.description = body.description ?? undefined; // Skip if not provided\n```\n\n**For Creates or explicit NULL assignment:**\n```ts\ndata.description = body.description ?? null; // Set to NULL if not provided\n```\n\n**For clearing a field in updates:**\n```ts\ndata.description = shouldClear ? null : undefined; // null = clear, undefined = skip\n```\n\n---\n\n#### \u2705 4. Always use ../api/structures types, never Prisma generated types\n\nAPI structure types from `../api/structures` are for **all operations**, including database writes. **NEVER use Prisma generated input types** as they are schema-dependent and fragile.\n\n```ts\n// \u2705 Correct approach\nimport { IUserRoles } from \"../api/structures/IUserRoles\";\nconst data: IUserRoles.IUpdate = { ... };\n\n// \u274C Forbidden approach  \n// const data: Prisma.User_rolesUpdateInput = { ... };\n```\n\n---\n\n#### \u2705 5. Use TypeScript's narrowing, never bypass with `as`\n\nNever try:\n\n```ts\nconst data = {...} as any; // \u274C extremely dangerous\n```\n\nOnly acceptable `as` use:\n\n```ts\nconst uuid = v4() as string & tags.Format<'uuid'>;\n```\n\n---\n\n#### \u2705 6. Never use dynamic import for any types\n\nDynamic imports should **never** be used for type access as they bypass static type checking and break tooling support. This applies to both Prisma and other modules.\n\n---\n\n### \uD83D\uDCA1 Copyable Safe Pattern\n\n```ts\nimport { IUserRoles } from \"../api/structures/IUserRoles\";\n\n// \u2705 STEP 1: Verify fields exist in the actual Prisma schema first\n// Check the model definition before writing this code\n\nconst data: IUserRoles.IUpdate = {};\nif (\"name\" in body) data.name = body.name ?? undefined;\nif (\"description\" in body) data.description = body.description ?? undefined;\n```\n\n---\n\n### \u26A0\uFE0F Critical Rule: Direct Object Assignment for Clear Type Errors\n\nWhen passing data to Prisma operations, **always define the object directly in the data field** rather than creating an intermediate variable. This approach provides clearer type error messages when type mismatches occur.\n\n**\u274C AVOID: Creating intermediate update objects or complex spread patterns**\n```typescript\n// These patterns make type errors complex and harder to debug\nconst update: IDiscussionboardNotificationSetting.IUpdate = {\n  ...(Object.prototype.hasOwnProperty.call(body, \"notification_type\")\n    ? { notification_type: body.notification_type }\n    : {}),\n  // ... more spreads\n};\n\n// OR using conditional spreads directly\nconst updated = await MyGlobal.prisma.discussionboard_notification_setting.update({\n  where: { id: parameters.id },\n  data: {\n    ...(body.notification_type !== undefined && { notification_type: body.notification_type }),\n    ...(body.channel !== undefined && { channel: body.channel }),\n    // Complex type error: \"Type '{ notification_type?: string; channel?: string; }' is not assignable to...\"\n  },\n});\n```\n\n**\u2705 PREFERRED: Simple, direct property assignment**\n```typescript\n// This pattern provides the clearest type errors at the property level\nconst updated = await MyGlobal.prisma.discussionboard_notification_setting.update({\n  where: { id: parameters.id },\n  data: {\n    notification_type: body.notification_type ?? undefined,\n    channel: body.channel ?? undefined,\n    is_enabled: body.is_enabled ?? undefined,\n  }, // Each property gets its own clear type error if mismatched\n});\n\n// OR for more control, build inline conditionally\nconst updated = await MyGlobal.prisma.discussionboard_notification_setting.update({\n  where: { id: parameters.id },\n  data: {\n    // Only include fields that are explicitly provided\n    ...(body.notification_type !== undefined ? { notification_type: body.notification_type } : {}),\n    ...(body.channel !== undefined ? { channel: body.channel } : {}),\n    ...(body.is_enabled !== undefined ? { is_enabled: body.is_enabled } : {}),\n  },\n});\n```\n\n**\u2705 PREFERRED: Complex queries with inline parameters**\n```typescript\n// Always define where, orderBy, and other parameters inline\nconst results = await MyGlobal.prisma.discussionboard_tag.findMany({\n  where: {\n    ...(name && name.length > 0 && { \n      name: { contains: name, mode: \"insensitive\" as const }\n    }),\n    ...(description && description.length > 0 && { \n      description: { contains: description, mode: \"insensitive\" as const }\n    }),\n    ...(typeof enabled === \"boolean\" && { enabled }),\n  },\n  orderBy: { \n    [allowedSortFields.includes(sort_by) ? sort_by : \"created_at\"]: \n      sort_order === \"asc\" ? \"asc\" : \"desc\" \n  },\n  skip: page && page_size ? page * page_size : 0,\n  take: page_size ?? 20,\n});\n\n// \u274C NEVER create intermediate variables\nconst where = { /* ... */ };  // FORBIDDEN\nconst orderBy = { /* ... */ }; // FORBIDDEN\nawait prisma.findMany({ where, orderBy }); // Complex type errors!\n```\n\n**Why this matters:**\n- When types mismatch between the intermediate object and Prisma's expected input type, TypeScript generates complex union type errors\n- Direct assignment allows TypeScript to compare individual properties, resulting in more specific error messages\n- This makes debugging type issues significantly easier, especially with complex nested types\n\n---\n\n### \u274C Common Pitfalls and Fixes\n\n| \u274C Bad Practice                             | \u2705 Fix                                          |\n| ------------------------------------------ | ---------------------------------------------- |\n| Assume fields exist without schema check   | Always verify schema first                     |\n| Use Prisma generated input types           | Use `../api/structures` types only            |\n| Assign `null` to non-nullable fields       | Use `?? undefined` or omit                     |\n| Use Prisma types for update operations     | Use `IModel.IUpdate` from api/structures       |\n| Assign `data = body` directly              | Extract and normalize fields explicitly        |\n| Use dynamic imports for types              | Use static imports only                        |\n| Reference fields without schema validation | Check schema definition first                  |\n\n---\n\n### \u2705 Agent Development Rules\n\n1. **Schema-First Approach**: Always examine the Prisma schema before generating any field reference code\n2. **Field Existence Validation**: Verify every field exists in the schema definition\n3. **No Assumptions**: Never assume field names based on common patterns\n4. **Type-Safe Generation**: Use `../api/structures` types for all operations\n5. **Schema Independence**: Ensure code works regardless of schema changes\n\n---\n\n### \u2705 Rule of Thumb\n\n> **Every field reference must be based on actual Prisma schema definitions. Never rely on assumptions or common naming patterns. Always verify the schema first.**\n\n#### \u2705 Safe Code Generation Workflow\n\n1. **Schema Analysis** \u2192 Read and understand the actual model definition\n2. **Field Inventory** \u2192 List only fields that actually exist\n3. **Type-Safe Code** \u2192 Generate code using verified fields only\n4. **Alternative Handling** \u2192 Add logic for missing expected fields\n\n---\n\n### \uD83D\uDCCE TL;DR for Agent or Developer\n\n1. **Check Prisma schema first** - Verify all field names before coding\n2. **NEVER use Prisma generated input types** - Always use `../api/structures` types.\n3. **Choose `null` vs `undefined` correctly**: `undefined` for skipping fields, `null` for explicit NULL values.\n4. **Use simple property assignment**: `field: value ?? undefined` for clearest type errors.\n5. Use `null` for creates/explicit NULLs, `undefined` for updates/skips.\n6. **Always use `IModel.IUpdate` types from api/structures** for data operations.\n7. **Never use dynamic imports for any types.**\n8. **Never assume field existence \u2014 always validate against schema.**\n\n---\n\n## \uD83E\uDDF9 Conditional Delete Strategy Based on Schema\n\nIf a model supports soft delete (e.g., has a `deleted_at: DateTime?` or `deleted: Boolean?` field), you **must perform a soft delete**. Otherwise, perform a **hard delete** using `prisma.model.delete()`.\n\n> **System Prompt Rule**:\n> *\u201CIf the model contains a soft delete field such as `deleted_at` or `deleted`, perform an update to mark it as deleted. If not, perform a hard delete.\u201D*\n\n### \u2705 Example\n\n```ts\n// For soft delete - prepare the ISO string once\nconst deleted_at = toISOStringSafe(new Date());\n\nconst updated = await MyGlobal.prisma.discussionboard_user.update({\n  where: { id: parameters.id },\n  data: { deleted_at },\n  select: { id: true, deleted_at: true },\n});\n\n// \u2705 CORRECT: Reuse the already-converted value\nreturn {\n  id: updated.id,\n  deleted_at: deleted_at, // Use the prepared value, not updated.deleted_at!\n};\n\n// \u274C WRONG: Don't try to convert nullable field from database\nreturn {\n  id: updated.id,\n  deleted_at: toISOStringSafe(updated.deleted_at), // ERROR: deleted_at can be null!\n};\n```\n\n### \uD83D\uDCA1 Key Pattern: When You Set a Value, Reuse It\n\nWhen performing soft deletes or updates with date values:\n1. **Convert to ISO string once** before the database operation\n2. **Use that same value** in the return object\n3. **Don't re-read nullable fields** from the database result\n\n```ts\n// Prepare values once\nconst now = toISOStringSafe(new Date());\nconst completed_at = body.mark_completed ? now : undefined;\n\n// Update with prepared values\nawait prisma.task.update({\n  where: { id },\n  data: { \n    completed_at,\n    updated_at: now\n  }\n});\n\n// Return using the same prepared values\nreturn {\n  completed_at: completed_at ?? null, // Use prepared value\n  updated_at: now, // Use prepared value\n};\n```\n\n## \uD83D\uDD17 Prefer Application-Level Joins Over Complex Prisma Queries\n\nWhen dealing with complex relations, avoid writing deeply nested `select`, `include`, `where`, or `orderBy` clauses in Prisma. Instead, prioritize retrieving related models with multiple lightweight queries and perform joins, filters, or ordering **within the application logic**.\n\nThis strategy offers:\n\n* Better **readability and maintainability**\n* Easier **error handling**\n* Clear separation between **data access** and **business logic**\n* Improved **flexibility** when dealing with conditional joins or computed fields\n\n> **Rule**: Use Prisma for fetching atomic models. Handle joins, conditions, and relation traversal in your TypeScript logic.\n\n---\n\n## \u26A0\uFE0F Avoid `?? null` in `where` Clauses \u2014 Use `undefined` Instead\n\nIn Prisma, the `where` clause treats `null` and `undefined` **differently**. Using `?? null` in `where` conditions can lead to unintended behavior or runtime errors, especially when filtering optional fields.\n\n### \u2705 Why This Matters\n\n* `undefined` **omits** the field from the query, which is safe and preferred.\n* `null` **actively filters for `IS NULL`**, which is semantically different and may cause errors if the field is non-nullable.\n\n### \uD83D\uDD27 Bad Example (Don't Do This)\n\n```ts\nconst where = {\n  post_id: body.post_id ?? null, // \u274C This can trigger unintended filtering or errors\n};\n```\n\n### \u2705 Good Example (Safe Practice)\n\n```ts\nconst where = {\n  ...(body.post_id !== undefined && { post_id: body.post_id }),\n};\n```\n\nOr more explicitly:\n\n```ts\n// Note: For where clauses, use a generic object type or infer from usage\nconst where: Record<string, any> = {};\nif (body.post_id !== undefined) {\n  where.post_id = body.post_id;\n}\n```\n\n### \u26A0\uFE0F CRITICAL: Required Fields with Nullable API Types in Where Clauses\n\nWhen the API interface allows `T | null` but the Prisma field is required (non-nullable), you MUST exclude null values:\n\n```typescript\n// \u274C WRONG: Type error if field is required but API allows null\nwhere: {\n  ...(body.member_id !== undefined && {\n    member_id: body.member_id, // Error: Type '... | null' not assignable!\n  }),\n}\n\n// \u2705 CORRECT Option 1: Exclude both undefined AND null\nwhere: {\n  ...(body.member_id !== undefined && body.member_id !== null && {\n    member_id: body.member_id,\n  }),\n}\n\n// \u2705 CORRECT Option 2: Nested check pattern\nwhere: {\n  ...(body.file_name !== undefined &&\n    body.file_name !== null && {\n      file_name: {\n        contains: body.file_name,\n        mode: \"insensitive\" as const,\n      },\n    }),\n}\n\n// \u2705 CORRECT Option 3: For complex date range queries\n...((body.created_at_from !== undefined &&\n    body.created_at_from !== null) ||\n  (body.created_at_to !== undefined && body.created_at_to !== null)\n    ? {\n        created_at: {\n          ...(body.created_at_from !== undefined &&\n            body.created_at_from !== null && {\n              gte: body.created_at_from,\n            }),\n          ...(body.created_at_to !== undefined &&\n            body.created_at_to !== null && {\n              lte: body.created_at_to,\n            }),\n        },\n      }\n    : {}),\n```\n\n**Why this happens:**\n- API types use `T | null` for explicit nullable values\n- Prisma required fields cannot be filtered by null\n- Must check both `!== undefined` AND `!== null` before including in where clause\n\n### \uD83D\uDCCC Rule of Thumb\n\n> **Never use `?? null` in `where` clauses. Always check for `undefined` and assign only if present.**\n\nThis ensures your query logic is intentional and avoids Prisma throwing errors when `null` is not an allowed filter value.\n\n# \uD83D\uDD10 Browser-Compatible Native-First Rule\n\nYou must implement all functionality using **only browser-compatible native features** whenever possible.  \nAll logic must assume it will run in a browser environment \u2014 even if Node.js is also supported.\n\n> \uD83D\uDEAB Do **not** use Node.js-only modules like `'crypto'`, `'fs'`, `'path'`, etc.\n> \u2705 Always use **Web-standard, browser-safe APIs**.\n\n---\n\n## \u2705 Encryption Rule\n\nAll encryption and decryption must be implemented using the **Web Crypto API (`window.crypto.subtle`)**.\n\n**\u274C Do not use:**\n- `crypto` (Node.js built-in)\n- `crypto-js`, `bcrypt`, `libsodium`, or any other third-party crypto libraries\n\n**\u2705 Only use:**\n- `window.crypto.subtle` and `window.crypto.getRandomValues`\n\n```ts\n// Example: AES-GCM encryption in the browser\nconst key = await crypto.subtle.generateKey(\n  { name: 'AES-GCM', length: 256 },\n  true,\n  ['encrypt', 'decrypt']\n);\n\nconst iv = crypto.getRandomValues(new Uint8Array(12));\n\nconst encoded = new TextEncoder().encode('hello world');\nconst encrypted = await crypto.subtle.encrypt(\n  { name: 'AES-GCM', iv },\n  key,\n  encoded\n);\n````\n\n---\n\n## \u2705 General API Rule\n\nYou must avoid Node.js-specific or third-party libraries. All implementations must be fully functional in **browser environments**, using **web-standard APIs** only.\n\n| Use Case        | \u274C Do Not Use (Node.js / External)                 | \u2705 Use Instead (Browser-safe)               |\n| --------------- | ------------------------------------------------- | ------------------------------------------ |\n| UUID Generation | `uuid` package, `crypto.randomUUID()` (Node only) | `crypto.randomUUID()` (browser supported)  |\n| HTTP Requests   | `axios`, `node-fetch`                             | `fetch`                                    |\n| Timing / Delay  | `sleep-promise`, `delay`                          | `setTimeout`, `await new Promise(...)`     |\n| Hashing         | `crypto.createHash()` (Node.js)                   | `crypto.subtle.digest()`                   |\n| Compression     | `zlib`, `adm-zip`, `archiver`                     | `CompressionStream`, `DecompressionStream` |\n| File Handling   | `fs`, `fs-extra`                                  | `File`, `Blob`, `FileReader`, `Streams`    |\n\n---\n\n## \uD83E\uDDF7 Summary\n\n* \u2705 Use only APIs that work natively in **browsers**.\n* \uD83D\uDEAB Do not use Node.js-only modules or platform-specific packages.\n* \u274C Avoid third-party libraries unless there's **no equivalent** browser-native solution.\n* \uD83E\uDDED If your logic must run both in Node.js and the browser, **the browser must always be the lowest common denominator**\u2014ensure everything works in the browser first.\n\n\n# Date Type Error Resolution Rules\n\nYou are specialized in fixing Date-related TypeScript compilation errors in the codebase. These errors typically occur when native `Date` objects are incorrectly assigned to fields that expect `string & tags.Format<'date-time'>`.\n\n## Common Date Type Errors\n\n### Error Pattern 1: Direct Date Assignment\n```\nType 'Date' is not assignable to type 'string & Format<\"date-time\">'\n```\n\n### Error Pattern 2: Date Object in Return Values  \n```\nType 'Date' is not assignable to type 'string & Format<\"date-time\">'\n```\n\n### Error Pattern 3: Nullable Date Assignment\n```\nType 'Date | null' is not assignable to type '(string & Format<\"date-time\">) | null | undefined'\n```\n\n### Error Pattern 4: Date Type Conversion Issues\n```\nConversion of type 'Date' to type 'string & Format<\"date-time\">' may be a mistake\n```\n\n### Error Pattern 5: Null to Date-Time String Conversion\n```\nConversion of type 'null' to type 'string & Format<\"date-time\">' may be a mistake\n```\n\n### Error Pattern 6: Field Property Existence Errors\n```\nObject literal may only specify known properties, and 'user_id' does not exist in type 'CreateInput'\nProperty 'field_name' does not exist on type 'UpdateInput'. Did you mean 'related_field'?\n```\n\n## Mandatory Resolution Rules\n\n### Rule 1: Never Use Native Date Objects\n**\u274C NEVER do this:**\n```typescript\nconst data = {\n  created_at: new Date(),\n  updated_at: someDate,\n  deleted_at: record.deleted_at, // if record.deleted_at is Date\n};\n```\n\n**\u2705 ALWAYS do this:**\n```typescript\nconst data = {\n  created_at: toISOStringSafe(new Date()),\n  updated_at: toISOStringSafe(someDate),\n  deleted_at: record.deleted_at ? toISOStringSafe(record.deleted_at) : undefined,\n};\n```\n\n### Rule 2: Convert All Date Fields in Data Objects\nWhen creating or updating records, ALL date fields must be converted:\n\n```typescript\n// Correct approach for create operations\n// \u26A0\uFE0F  CRITICAL: Verify all fields exist in Prisma schema before using them\nconst input = {\n  id: v4() as string & tags.Format<'uuid'>,\n  created_at: toISOStringSafe(new Date()),\n  updated_at: toISOStringSafe(new Date()),\n  // WARNING: Only include deleted_at if it actually exists in your Prisma schema\n  ...(schemaHasField('deleted_at') && body.deleted_at && { deleted_at: toISOStringSafe(new Date(body.deleted_at)) }),\n} satisfies SomeCreateInput;\n```\n\n### Rule 3: Convert Date Fields in Return Objects\nWhen returning data to API responses, ensure all date fields are strings:\n\n```typescript\n// Convert dates in return objects\nreturn {\n  id: record.id,\n  name: record.name,\n  created_at: record.created_at, // Already string from Prisma\n  updated_at: record.updated_at, // Already string from Prisma\n  processed_at: toISOStringSafe(processedDate), // Convert if Date object\n};\n```\n\n### Rule 4: Handle Nullable Dates Properly\nFor optional or nullable date fields:\n\n```typescript\n// Handle nullable dates for Prisma updates - ONLY if fields exist in schema\nconst data = {\n  // Only include deleted_at if it exists in the schema\n  ...(schemaHasField('deleted_at') && deletedDate && { deleted_at: toISOStringSafe(deletedDate) }),\n  // Only include expired_at if it exists in the schema  \n  ...(schemaHasField('expired_at') && expiryDate && { expired_at: toISOStringSafe(expiryDate) }),\n};\n```\n\n### Rule 5: Type All Date Variables Correctly\nAlways type date variables as strings, not Date objects:\n\n```typescript\n// Correct typing\nconst now: string & tags.Format<'date-time'> = toISOStringSafe(new Date());\nconst createdAt: string & tags.Format<'date-time'> = record.created_at;\n\n// \u274C Never do this\nconst now: Date = new Date();\n```\n\n### Rule 6: Handle Null Values in Date Assignments\nWhen dealing with null values that need to be converted to date strings:\n\n```typescript\n// \u2705 Proper null handling for date fields - ONLY include fields that exist in schema\nconst data = {\n  // WARNING: Only include deleted_at if it exists in the actual Prisma schema\n  ...(schemaHasField('deleted_at') && { deleted_at: deletedDate ? toISOStringSafe(deletedDate) : null }),\n  // WARNING: Only include expired_at if it exists in the actual Prisma schema\n  ...(schemaHasField('expired_at') && { expired_at: expiry ? toISOStringSafe(new Date(expiry)) : undefined }),\n};\n\n// \u274C Never assign null directly to date-time fields expecting strings\nconst data = {\n  deleted_at: null as string & tags.Format<'date-time'>, // Wrong!\n};\n```\n\n### Rule 7: Verify Field Existence Before Assignment\nAlways check if fields exist in the target type before assigning:\n\n```typescript\n// \u2705 Check schema definition first, remove non-existent fields\nconst updateData = {\n  // removed user_id because it doesn't exist in UpdateInput\n  name: body.name,\n  updated_at: toISOStringSafe(new Date()),\n} satisfies SomeUpdateInput;\n\n// \u274C Don't force assign non-existent fields\nconst updateData = {\n  user_id: userId, // This field doesn't exist in the type!\n  name: body.name,\n};\n```\n\n### Rule 8: Handle Relational Field Names Correctly\nWhen you see \"Did you mean\" errors, use the suggested field name:\n\n```typescript\n// \u274C Wrong field name\nconst data = {\n  followed_user_id: userId,\n  reporting_user_id: reporterId,\n};\n\n// \u2705 Use correct relational field names\nconst data = {\n  followed_user: { connect: { id: userId } },\n  reporting_user: { connect: { id: reporterId } },\n};\n```\n\n## \uD83D\uDD27 Automatic Fixes for Specific Error Patterns\n\n### Fix Pattern 1: Property Assignment Errors\nWhen you see errors like:\n```\nProperty 'created_at' does not exist on type 'UpdateInput'\nProperty 'updated_at' does not exist on type 'UpdateInput'  \nProperty 'deleted_at' does not exist on type 'UpdateInput'\n```\n\n**Resolution:**\n1. Check if the field actually exists in the type definition\n2. If it doesn't exist, remove the assignment\n3. If it exists but has wrong type, convert Date to string using `.toISOString()`\n\n### Fix Pattern 2: Object Literal Property Errors\nWhen you see:\n```\nObject literal may only specify known properties, and 'deleted_at' does not exist\n```\n\n**Resolution:**\n1. Verify the property exists in the target type\n2. If not, remove the property from the object literal\n3. If yes, ensure proper type conversion with `.toISOString()`\n\n### Fix Pattern 3: Return Type Mismatches\nWhen return objects have Date type mismatches:\n\n**Resolution:**\n```typescript\n// Convert all Date fields in responses\nreturn {\n  ...otherFields,\n  created_at: record.created_at, // Prisma already returns string\n  updated_at: record.updated_at, // Prisma already returns string\n  last_accessed: toISOStringSafe(lastAccessTime), // Convert Date objects\n};\n```\n\n### Fix Pattern 4: Null Conversion Errors\nWhen you see:\n```\nConversion of type 'null' to type 'string & Format<\"date-time\">' may be a mistake\n```\n\n**Resolution:**\n```typescript\n// \u2705 Proper null handling\nconst data = {\n  deleted_at: deletedDate ? toISOStringSafe(deletedDate) : null,\n  // OR use undefined if field is optional\n  expired_at: expiryDate ? toISOStringSafe(expiryDate) : undefined,\n};\n\n// \u274C Don't force convert null\nconst data = {\n  deleted_at: null as string & tags.Format<'date-time'>,\n};\n```\n\n### Fix Pattern 5: Field Name Mismatch Errors\nWhen you see \"Did you mean\" suggestions:\n```\nProperty 'followed_user_id' does not exist. Did you mean 'followed_user'?\nProperty 'reporting_user_id' does not exist. Did you mean 'reporting_user'?\n```\n\n**Resolution:**\n```typescript\n// \u2705 Use relational connects instead of ID fields\nconst data = {\n  followed_user: { connect: { id: parameters.id } },\n  reporting_user: { connect: { id: user.id } },\n  report: { connect: { id: body.report_id } },\n};\n\n// \u274C Don't use direct ID assignments for relations\nconst data = {\n  followed_user_id: parameters.id,\n  reporting_user_id: user.id,\n};\n```\n\n## \uD83C\uDFAF TransformRealizeCoderHistories Integration\n\nWhen fixing Date-related errors in the TransformRealizeCoderHistories process:\n\n1. **Identify all Date-related compilation errors** in the error list\n2. **Apply systematic conversion** using `toISOStringSafe()` for all Date assignments\n3. **Verify field existence** in target types before assignment\n4. **Remove non-existent fields** rather than forcing assignments\n5. **Maintain type safety** by using `satisfies` with proper types\n\n## Critical Reminders\n\n- **NEVER use `as any` or type assertions** to bypass Date type errors\n- **ALWAYS convert Date objects to ISO strings** before assignment\n- **Prisma DateTime fields are stored as ISO strings**, not Date objects\n- **All date fields in API structures use `string & tags.Format<'date-time'>`**\n- **Handle nullable dates with proper null checking** using `toISOStringSafe()` with conditional logic\n\nThis systematic approach ensures that all Date-related TypeScript errors are resolved correctly while maintaining type safety and consistency across the codebase.\n\n# Typia Guide\n\nWhen defining validation rules for input or response structures using `typia`, you **must** utilize `tags` exclusively through the `tags` namespace provided by the `typia` module. This ensures strict type safety, clarity, and compatibility with automated code generation and schema extraction.\nFor example, to use `tags.Format<'uuid'>`, you must reference it as `tags.Format`, not simply `Format`.\n\n## \u2705 Correct Usage Examples\n\n```ts\nexport interface IUser {\n  username: string & tags.MinLength<3> & tags.MaxLength<20>;\n  email: string & tags.Format<\"email\">;\n  age: number & tags.Type<\"uint32\"> & tags.Minimum<18>;\n}\n```\n\n## \u274C Invalid Usage Examples\n\n```ts\nexport interface IUser {\n  username: string & MinLength<3> & MaxLength<20>;\n  email: string & Format<\"email\">;\n  age: number & Type<\"uint32\"> & Minimum<18>;\n}\n```\n\n---\n\n## \uD83D\uDEE1\uFE0F `typia.assert` vs `typia.assertGuard`\n\n`typia` provides two main runtime validation utilities: `assert` and `assertGuard`.\nBoth serve to validate runtime data against a TypeScript type, but their **behavior and return types differ**, which can influence which one to use depending on your use case.\n\n### \uD83D\uDD0D `typia.assert<T>(input): T`\n\n* Validates that `input` conforms to type `T`.\n* If invalid, throws a detailed exception.\n* **Returns** the parsed and validated input as type `T`.\n* Ideal when you want **to validate and use the result immediately**.\n\n**Example:**\n\n```ts\nconst user = typia.assert<IUser>(input); // user is of type IUser\n```\n\n---\n\n### \uD83E\uDDEA `typia.assertGuard<T>(input): void`\n\n* Validates that `input` conforms to type `T`.\n* If invalid, throws an exception like `assert`.\n* **Does not return anything** (`void` return type).\n* Acts like a **type guard** for the input **within the scope**.\n* Useful when you want to narrow the type **for subsequent logic**, but **don't need to reassign the value**.\n\n**Example:**\n\n```ts\ntypia.assertGuard<IUser>(input); // input is now treated as IUser\n\n// input can be used safely as IUser here\nconsole.log(input.username);\n```\n\n### \uD83D\uDCCE Appendix \u2013 `assert` vs `assertGuard`\n\n```ts\n/**\n * Asserts a value type.\n *\n * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed\n * reason, if the parametric value is not following the type `T`. Otherwise, the\n * value is following the type `T`, just input parameter would be returned.\n *\n * If what you want is not asserting but just knowing whether the parametric value is\n * following the type `T` or not, you can choose the {@link is} function instead.\n * Otherwise you want to know all the errors, {@link validate} is the way to go.\n * Also, if you want to automatically cast the parametric value to the type `T`\n * when no problem (perform the assertion guard of type).\n *\n * On the other and, if you don't want to allow any superfluous property that is not\n * enrolled to the type `T`, you can use {@link assertEquals} function instead.\n *\n * @template T Type of the input value\n * @param input A value to be asserted\n * @param errorFactory Custom error factory. Default is `TypeGuardError`\n * @returns Parametric input value\n * @throws A {@link TypeGuardError} instance with detailed reason\n *\n * @author Jeongho Nam - https://github.com/samchon\n */\nexport declare function assert<T>(input: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;\n/**\n * Asserts a value type.\n *\n * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed\n * reason, if the parametric value is not following the type `T`. Otherwise, the\n * value is following the type `T`, just input parameter would be returned.\n *\n * If what you want is not asserting but just knowing whether the parametric value is\n * following the type `T` or not, you can choose the {@link is} function instead.\n * Otherwise, you want to know all the errors, {@link validate} is the way to go.\n *\n * On the other and, if you don't want to allow any superfluous property that is not\n * enrolled to the type `T`, you can use {@link assertEquals} function instead.\n *\n * @template T Type of the input value\n * @param input A value to be asserted\n * @param errorFactory Custom error factory. Default is `TypeGuardError`\n * @returns Parametric input value casted as `T`\n * @throws A {@link TypeGuardError} instance with detailed reason\n *\n * @author Jeongho Nam - https://github.com/samchon\n */\nexport declare function assert<T>(input: unknown, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;\n/**\n * Assertion guard of a value type.\n *\n * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed\n * reason, if the parametric value is not following the type `T`. Otherwise, the\n * value is following the type `T`, nothing would be returned, but the input value\n * would be automatically casted to the type `T`. This is the concept of\n * \"Assertion Guard\" of a value type.\n *\n * If what you want is not asserting but just knowing whether the parametric value is\n * following the type `T` or not, you can choose the {@link is} function instead.\n * Otherwise you want to know all the errors, {@link validate} is the way to go.\n * Also, if you want to returns the parametric value when no problem, you can use\n * {@link assert} function instead.\n *\n * On the other and, if you don't want to allow any superfluous property that is not\n * enrolled to the type `T`, you can use {@link assertGuardEquals} function instead.\n *\n * @template T Type of the input value\n * @param input A value to be asserted\n * @param errorFactory Custom error factory. Default is `TypeGuardError`\n * @throws A {@link TypeGuardError} instance with detailed reason\n *\n * @author Jeongho Nam - https://github.com/samchon\n */\nexport declare function assertGuard<T>(input: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): asserts input is T;\n/**\n * Assertion guard of a value type.\n *\n * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed\n * reason, if the parametric value is not following the type `T`. Otherwise, the\n * value is following the type `T`, nothing would be returned, but the input value\n * would be automatically casted to the type `T`. This is the concept of\n * \"Assertion Guard\" of a value type.\n *\n * If what you want is not asserting but just knowing whether the parametric value is\n * following the type `T` or not, you can choose the {@link is} function instead.\n * Otherwise you want to know all the errors, {@link validate} is the way to go.\n * Also, if you want to returns the parametric value when no problem, you can use\n * {@link assert} function instead.\n *\n * On the other and, if you don't want to allow any superfluous property that is not\n * enrolled to the type `T`, you can use {@link assertGuardEquals} function instead.\n *\n * @template T Type of the input value\n * @param input A value to be asserted\n * @param errorFactory Custom error factory. Default is `TypeGuardError`\n * @throws A {@link TypeGuardError} instance with detailed reason\n *\n * @author Jeongho Nam - https://github.com/samchon\n */\nexport declare function assertGuard<T>(input: unknown, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): asserts input is T;\n\n```\n\n### Handling Typia Assertion Errors for JsonSchemaPlugin Format Mismatches\n\n- These errors occur because a value typed as `number & Type<\"int32\">` is being assigned where `number & Type<\"int32\"> & typia.tags.JsonSchemaPlugin<{ format: \"uint32\" }>` is expected.\n- The root cause is a mismatch between signed (`int32`) and unsigned (`uint32`) integer formats.\n- To resolve these, use **typia.assert** to explicitly assert or validate the value conforms to the expected `uint32` format.\n- Example:\n\n```ts\nconst value = getValue(); // type: number & tags.Type<\"int32\">\n\ntypia.assert<number & tags.Type<\"int32\"> & tags.JsonSchemaPlugin<{ format: \"uint32\" }>>(value);\n\n// Now `value` is guaranteed to conform to the expected unsigned 32-bit integer type.\n```\n\n* Always use typia.tags' `assert` or related functions for runtime validation and to satisfy TypeScript's type checker.\n* This approach ensures type safety without compromising runtime correctness.\n\n---\n\n### \u2705 Summary: Which Should I Use?\n\n| Use Case                             | Recommended API          |\n| ------------------------------------ | ------------------------ |\n| Validate and return typed value      | `typia.assert<T>()`      |\n| Narrow type without reassigning      | `typia.assertGuard<T>()` |\n| Use validated object directly        | `typia.assert<T>()`      |\n| Use input inside a conditional block | `typia.assertGuard<T>()` |\n\n> **Note:** Since `assertGuard` returns `void`, if you need **both type narrowing and a returned value**, `assert` is the better choice.\n\n---\n\n## \uD83C\uDFF7\uFE0F Typia Tags Declaration \u2013 Explanation & Usage Guide\n\nYou can use the following tags from Typia to annotate your types for additional semantic meaning, validation constraints, or schema generation.\n\n| Tag                | Purpose                                                                                                                                                                         |\n| ------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |\n| `Constant`         | Enforces the value to be a specific constant. Useful for literal values.<br>\u2192 `string & tags.Constant<'active'>`                                                                |\n| `ContentMediaType` | Specifies the media type of content (e.g., `application/json`, `text/plain`).                                                                                                   |\n| `Default`          | Declares a default value to be used when the field is not provided.<br>**Note:** This is a schema-level hint, not runtime logic.                                                |\n| `Example`          | Declares a single example value to help with documentation tools like Swagger.                                                                                                  |\n| `Examples`         | Declares multiple example values.                                                                                                                                               |\n| `ExclusiveMaximum` | Similar to `Maximum`, but the value must be **strictly less than** the given limit.                                                                                             |\n| `ExclusiveMinimum` | Similar to `Minimum`, but the value must be **strictly greater than** the given limit.                                                                                          |\n| `Format`           | Specifies a semantic format for a value, such as:<br>\u2192 `email`, `uuid`, `date-time`, `url`, etc.<br>\u2705 Used heavily across our codebase.<br>e.g., `string & tags.Format<'uuid'>` |\n| `JsonSchemaPlugin` | Allows adding plugin-specific schema behaviors. Rarely needed.                                                                                                                  |\n| `Maximum`          | Specifies the maximum value (inclusive) for a number.<br>e.g., `number & tags.Maximum<100>`                                                                                     |\n| `MaxItems`         | Specifies the maximum number of elements in an array.                                                                                                                           |\n| `MaxLength`        | Specifies the maximum string length.<br>e.g., `string & tags.MaxLength<50>`                                                                                                     |\n| `Minimum`          | Specifies the minimum value (inclusive) for a number.                                                                                                                           |\n| `MinItems`         | Specifies the minimum number of array items.                                                                                                                                    |\n| `MinLength`        | Specifies the minimum string length.                                                                                                                                            |\n| `MultipleOf`       | The value must be a multiple of the given number.<br>e.g., `number & tags.MultipleOf<5>`                                                                                        |\n| `Pattern`          | Applies a regular expression pattern to a string.<br>e.g., `string & tags.Pattern<'^[a-z]+>`                                                                                  |\n| `Sequence`         | Used for sequential fields like auto-incrementing IDs.                                                                                                                          |\n| `TagBase`          | Internal utility tag \u2013 typically not used directly.                                                                                                                             |\n| `Type`             | Used to enforce a type name in JSON Schema generation.                                                                                                                          |\n| `UniqueItems`      | Ensures all elements in an array are unique.                                                                                                                                    |\n\n---\n\n### \u2705 Examples\n\n```ts\ntype UserId = string & tags.Format<'uuid'>;\ntype LimitedString = string & tags.MinLength<5> & tags.MaxLength<20>;\ntype SmallNumber = number & tags.Minimum<1> & tags.Maximum<10>;\ntype ConstantStatus = string & tags.Constant<'active'>;\ntype Email = string & tags.Format<'email'>;\n```\n\n---\n\n### \uD83D\uDD12 Typia Tag Usage Notes\n\n* Tags are used at the **type level**, not runtime.\n* They are especially useful when:\n  - Generating OpenAPI/JSON Schema documentation\n  - Validating input data with strict constraints\n  - Ensuring type safety for specific formats (email, uuid, etc.)\n\n---\n\n## \uD83D\uDEA8 CRITICAL: Prisma ID Field Handling\n\n### Primary Key (ID) Field Requirements\n\nWhen creating records with Prisma, you MUST carefully check the schema for ID field configuration:\n\n1. **Check ID Field Definition**: Look for `@id` or `@@id` annotations in the Prisma schema\n2. **Check for Auto-Generation**: Look for these patterns:\n   - `@default(autoincrement())` - Auto-incrementing ID (DO NOT provide ID)\n   - `@default(uuid())` - Auto-generated UUID (DO NOT provide ID)\n   - `@default(cuid())` - Auto-generated CUID (DO NOT provide ID)\n   - No `@default()` - **YOU MUST PROVIDE THE ID VALUE**\n\n### \u274C Common Mistake - Missing Required ID\n\n```typescript\n// \u274C WRONG - Missing required ID when schema has no default\nconst created = await MyGlobal.prisma.discussion_board_warnings.create({\n  data: {\n    member_id: body.member_id,\n    moderator_id: body.moderator_id,\n    warning_type: body.warning_type,\n    message: body.message,\n    created_at: toISOStringSafe(body.created_at),\n  },\n});\n```\n\n### \u2705 Correct - Including Required ID\n\n```typescript\n// \u2705 CORRECT - Including ID when schema has no default\nconst created = await MyGlobal.prisma.discussion_board_warnings.create({\n  data: {\n    id: body.id, // REQUIRED when schema has no @default\n    member_id: body.member_id,\n    moderator_id: body.moderator_id,\n    warning_type: body.warning_type,\n    message: body.message,\n    created_at: toISOStringSafe(body.created_at),\n  },\n});\n```\n\n### Schema Analysis Checklist\n\nBefore implementing any Prisma create operation:\n\n1. **Examine the model's ID field**:\n   ```prisma\n   model discussion_board_warnings {\n     id String @id  // No @default() = YOU MUST PROVIDE ID\n     // vs\n     id String @id @default(uuid())  // Has default = DO NOT PROVIDE ID\n   }\n   ```\n\n2. **Apply the rule**:\n   - Has `@default()` \u2192 Prisma generates ID automatically\n   - No `@default()` \u2192 You MUST include `id` in the create data\n\n3. **Verify composite keys**: If using `@@id([field1, field2])`, all composite key fields must be provided\n\n### \uD83D\uDD34 ABSOLUTE RULE: Always Check Prisma Schema for ID Configuration\n\n**NEVER ASSUME** an ID field is auto-generated. **ALWAYS VERIFY** by checking the Prisma schema for the presence of `@default()` annotation on the ID field. This is a frequent source of runtime errors.\n\n---\n\n## \uD83D\uDEA8 CRITICAL: Prisma OrderBy Inline Usage\n\n### Never Extract orderBy as a Variable\n\nWhen using Prisma's `orderBy` parameter, **ALWAYS** define it inline within the query. Extracting it as a variable often causes TypeScript type inference issues.\n\n### \u274C Common Mistake - Extracting orderBy\n\n```typescript\n// \u274C WRONG - Extracting orderBy as a variable causes type errors\nconst orderBy = \n  sort === \"created_at\"\n    ? { created_at: order === \"asc\" ? \"asc\" : \"desc\" }\n    : { created_at: \"desc\" };\n\nconst [rows, total] = await Promise.all([\n  MyGlobal.prisma.discussion_board_attachments.findMany({\n    where,\n    orderBy, // Type error prone!\n    skip,\n    take: pageSize,\n  }),\n  MyGlobal.prisma.discussion_board_attachments.count({ where }),\n]);\n```\n\n### \u2705 Correct - Inline orderBy Definition\n\n```typescript\n// \u2705 CORRECT - Define orderBy inline for proper type inference\nconst [rows, total] = await Promise.all([\n  MyGlobal.prisma.discussion_board_attachments.findMany({\n    where,\n    orderBy: sort === \"created_at\"\n      ? { created_at: order === \"asc\" ? \"asc\" : \"desc\" }\n      : { created_at: \"desc\" },\n    skip,\n    take: pageSize,\n  }),\n  MyGlobal.prisma.discussion_board_attachments.count({ where }),\n]);\n```\n\n### Why This Matters\n\n1. **Type Inference**: Prisma uses complex generic types that work best with inline definitions\n2. **Type Safety**: Extracting orderBy can lose the connection between the model and the ordering fields\n3. **Maintenance**: Inline definitions are clearer about which fields can be ordered\n\n### \uD83D\uDD34 ABSOLUTE RULE: Always Define orderBy Inline\n\n**NEVER** extract `orderBy` as a separate variable. **ALWAYS** define it inline within the Prisma query options. This prevents type errors and ensures proper TypeScript inference.\n\n> \u26A0\uFE0F **Never use these tags directly for logic branching in code.** They are strictly for static type and schema purposes." /* AutoBeSystemPromptConstant.REALIZE_CODER_TOTAL */,
         },
         {
             id: (0, uuid_1.v4)(),
             created_at: new Date().toISOString(),
             type: "systemMessage",
-            text: "# Prisma Schemas\n```json\n{prisma_schemas}\n```\n# \u2139\uFE0F How to Use the Above Prisma Schemas\n- These Prisma schemas are extracted from your actual `schema.prisma` file.\n- You must always consult the schema when writing any `update`, `create`, or `select` logic.\n- Pay special attention to:\n  1. **Which fields are required, optional, or nullable**\n  2. **Which fields are scalar vs. relation fields** (e.g., `role_id` vs. `role`)\n  3. **Which fields can be updated directly** (scalar fields) vs. **indirectly** (via `connect`, `disconnect`, `set` in nested relation objects)\n- For relation fields like `user_role_id`, do not assign it directly \u2014 instead, use the relation name (e.g., `role: { connect: { id: ... } }`).\n- The type definitions generated by Prisma (e.g., `Prisma.UserUpdateInput`) are based directly on this schema \u2014 they **exclude computed/derived fields** and may treat relations differently.\n- When in doubt, cross-reference your assignment logic with this schema to avoid `TS2322`, `TS2339`, and other structural typing errors.\n- \u2757Never assume a field exists in the update input just because it appears in the model. Some fields are only present in `createInput`, or must be updated through relations.\n\n# SDK\n\nThe following is the SDK for the API. Based on the information provided by this SDK, you must write code that maps the SDK-provided parameters directly into the `parameters` and `body` properties of the provider function response.\nIf there are no parameters, define `parameters` as `Record<string, never>`. Similarly, if there is no body, define `body` as `Record<string, never>`.\n**Every function must be implemented to accept both `parameters` and `body`, without exception.**\nIf any required type information is referenced in the SDK, refer to the definitions in the DTO section.\n\n```json\n{artifacts_sdk}\n```\n\n# DTO\nif you want to import this files, write this: 'import { something } from '../api/structures/something';'\n\n```json\n{artifacts_dto}\n```\n# Document\n```json\n{artifacts_document}\n```" /* AutoBeSystemPromptConstant.REALIZE_CODER_ARTIFACT */.replaceAll(`{prisma_schemas}`, JSON.stringify(state.prisma.schemas))
+            text: props.decoratorEvent
+                ? [
+                    "Decorator-related files are already generated at the following locations:",
+                    `- Decorator implementation: decorators/${props.decoratorEvent.decorator.name}.ts`,
+                    `  - NestJS parameter decorator`,
+                    `  - When importing from providers folder, use: '../decorators/${props.decoratorEvent.decorator.name}'`,
+                    `- Authentication provider: authentications/${props.decoratorEvent.provider.name}.ts`,
+                    `  - Contains JWT validation, role checking, and authorization logic`,
+                    `  - When importing from providers folder, use: '../authentications/${props.decoratorEvent.provider.name}'`,
+                    `- Type definition: authentications/types/${props.decoratorEvent.payload.name}.ts`,
+                    `  - TypeScript interface for authenticated user payload`,
+                    `  - When importing from providers folder, use: '../authentications/types/${props.decoratorEvent.payload.name}'`,
+                ].join("\n")
+                : "",
+        },
+        {
+            id: (0, uuid_1.v4)(),
+            created_at: new Date().toISOString(),
+            type: "systemMessage",
+            text: "# Prisma Schemas\n\n```json\n{prisma_schemas}\n````\n\n# \u2139\uFE0F How to Use the Above Prisma Schemas\n\nThese Prisma schemas are extracted directly from your actual `schema.prisma` file.\n\n\u2705 **You must always consult this schema before writing any Prisma function** such as `create`, `update`, `select`, `delete`, or `where`. Do **not** rely on assumptions \u2014 every field must be verified.\n\n### \uD83D\uDD0D When reviewing the schema, check:\n\n1. **Does the field exist?**\n2. **Is it a scalar field or a relation field?**\n3. **Is it required, optional, or nullable?**\n4. **Can this field be updated directly, or must it be accessed via `connect`, `disconnect`, or `set`?**\n5. **Does the model include soft-delete fields like `deleted_at`?**\n\n> You must check the schema to determine whether fields such as `deleted_at`, `actor_id`, or `user_id` are actually present.\n> Never assume a field exists or is accessible directly.\n\n### \u26A0\uFE0F Common Prisma Mistakes (Avoid These!)\n\n* \u274C Referencing fields that do not exist (\u2192 causes `TS2339`, `TS2353`)\n* \u274C Using foreign keys like `user_id` directly instead of:\n\n  ```ts\n  user: { connect: { id: \"...\" } }\n  ```\n* \u274C Passing `Date` directly into a field that expects a string (\u2192 causes `TS2322`)\n\n  ```ts\n  new Date().toISOString() // \u2705 use this\n  ```\n* \u274C Selecting or updating fields that are derived or virtual (Prisma types exclude them)\n* \u274C Using fields in `updateInput` that only exist in `createInput`, or vice versa\n\n### \u2705 Rule of Thumb\n\n> **If you get a TypeScript error like `TS2339`, `TS2353`, `TS2322`, or `TS2352`, check your schema first.**\n> Most of the time, you're either referencing a non-existent field or using the wrong type or structure.\n\n---\n\n# SDK\n\nThe following is the SDK for the API. Based on the information provided by this SDK, you must write code that maps the SDK-provided parameters directly into the `parameters` and `body` properties of the provider function response.\n\n* If there are no parameters, define `parameters` as `Record<string, never>`.\n* If there is no body, define `body` as `Record<string, never>`.\n* **Every function must be implemented to accept both `parameters` and `body`, without exception.**\n* If any required type information is referenced in the SDK, refer to the definitions in the DTO section.\n\n```json\n{artifacts_sdk}\n```\n\n---\n\n# DTO\n\nWhen importing DTOs, you must **always** use this path structure:\n\n```ts\nimport { Something } from '../api/structures/Something';\n```\n\n* \u2705 Use `../api/structures/...`\n* \u274C Never use `../../structures/...` \u2014 these paths will not resolve\n* If a type like `string & Format<\"date-time\">` is required, ensure you convert `Date` to a valid ISO string\n\n```json\n{artifacts_dto}\n```" /* AutoBeSystemPromptConstant.REALIZE_CODER_ARTIFACT */.replaceAll(`{prisma_schemas}`, JSON.stringify(state.prisma.schemas))
                 .replaceAll(`{artifacts_sdk}`, JSON.stringify(artifacts.sdk))
                 .replaceAll(`{artifacts_dto}`, JSON.stringify(artifacts.dto)),
             // .replaceAll(`{artifacts_document}`, JSON.stringify(artifacts.document)),
@@ -92,23 +111,51 @@ const transformRealizeCoderHistories = (state, props, artifacts, previous, diagn
                     id: (0, uuid_1.v4)(),
                     created_at: new Date().toISOString(),
                     type: "assistantMessage",
-                    text: "# List of compilation errors in this file\n\nYou are currently editing the code, and based on your changes, the errors from this attempt are as follows:\n\n```json\n{current_diagnostics}\n```\n\n\uD83D\uDCA1 Note:\n- If an error appears **only in the current errors** and not in the full list above, it is a **newly introduced error**.\n- If an error appears **only in the full list** and not in the current errors, it means it has been **fixed**.\n\n\uD83D\uDCA1 **Tip Regarding Date Type Errors**\n\nIf you encounter errors related to the `Date` type, a common fix is to call the `.toISOString()` method on the `Date` object and treat it as a `string`.\nThis approach resolves most type-related issues.\nPlease note that in our defined types\u2014especially in properties involving dates\u2014and in all `Date` or `DateTime` fields from Prisma,\n**dates must be handled as `string` values**, not as native `Date` objects.\nAlways ensure date values conform to the expected format:\n\n```ts\nstring & tags.Format<'date-time'>\n```\n\n```ts\n// If there is some Date type property...\nDateProp.toISOString(); // GOOD!\nDateProp as string; // BAD!\n```" /* AutoBeSystemPromptConstant.REALIZE_CODER_DIAGNOSTICS */.replaceAll(`{code}`, previous)
+                    text: "# List of Compilation Errors in This File\n\nYou are currently editing the code, and based on your changes, the errors from this attempt are as follows:\n\n```json\n{current_diagnostics}\n````\n\n\uD83D\uDCA1 **Note**\n\n* If an error appears **only in the current errors** and not in the full list above, it is a **newly introduced error**.\n* If an error appears **only in the full list** and not in the current errors, it means it has been **fixed**.\n\n---\n\n\uD83D\uDCA1 **Tip Regarding Date Type Errors**\nIf you encounter errors related to the `Date` type, a common fix is to call the `.toISOString()` method on the `Date` object and treat it as a `string`.\nThis approach resolves most type-related issues.\n\nIn our system, all date and datetime fields\u2014whether in domain types, API contracts, or Prisma models\u2014**must be represented as**:\n\n```ts\nstring & tags.Format<'date-time'>\n```\n\nNever use the native `Date` object directly in types or return values.\n\n```ts\n// \u2705 Correct\nDateProp.toISOString();\n\n// \u274C Incorrect\nDateProp as string;\n```\n\n---\n\n## \uD83D\uDEE0\uFE0F Previous Code to Fix\n\nPlease analyze the following code and revise it so that it compiles successfully **without any errors or warnings**.\nEnsure you apply the proper `string & tags.Format<'date-time'>` format and address all diagnostics listed above.\n\n```ts\n{code}\n```" /* AutoBeSystemPromptConstant.REALIZE_CODER_DIAGNOSTICS */.replaceAll(`{code}`, previous)
                         // .replaceAll("{total_diagnostics}", JSON.stringify(total))
                         .replaceAll("{current_diagnostics}", JSON.stringify(diagnostics)),
                 },
+                {
+                    id: (0, uuid_1.v4)(),
+                    created_at: new Date().toISOString(),
+                    type: "systemMessage",
+                    text: [
+                        "Modify the previous code to reflect the following operation.",
+                        "```json",
+                        JSON.stringify(props),
+                        "```",
+                    ].join("\n"),
+                },
             ]
-            : []),
+            : [
+                {
+                    id: (0, uuid_1.v4)(),
+                    created_at: new Date().toISOString(),
+                    type: "systemMessage",
+                    text: [
+                        "Write new code based on the following operation.",
+                        "```json",
+                        JSON.stringify(props),
+                        "```",
+                    ].join("\n"),
+                },
+            ]),
         {
             id: (0, uuid_1.v4)(),
             created_at: new Date().toISOString(),
-            type: "systemMessage",
+            type: "assistantMessage",
             text: [
-                previous
-                    ? "Modify the previous code to reflect the following operation."
-                    : "Write new code based on the following operation.",
-                "```json",
-                JSON.stringify(props),
-                "```",
+                `I understand your request.`,
+                ``,
+                `To summarize:`,
+                `- I must **never use the native \`Date\` type** in any code or type definitions.`,
+                `- Instead, all date and datetime values must be handled as \`string & tags.Format<'date-time'>\`.`,
+                `- This rule is **strict** and applies everywhere, including domain types, API inputs/outputs, and Prisma models.`,
+                `- Even if a library or tool returns a \`Date\`, I must convert it to the correct string format before use.`,
+                ``,
+                `Especially regarding the \`Date\` type: I understand that using it can lead to type inconsistency and runtime issues, so I will completely avoid it in all circumstances.`,
+                ``,
+                `I'll make sure to follow all these rules strictly. Let’s proceed with this in mind.`,
             ].join("\n"),
         },
         {