@bastani/atomic 0.9.0-alpha.1 → 0.9.0-alpha.3

package/dist/builtin/workflows/builtin/ralph-runner.ts

@@ -4,6 +4,7 @@ import { tmpdir } from "node:os";
 import { join, resolve } from "node:path";
 import type { WorkflowRunContext, WorkflowTaskResult } from "../src/shared/types.js";
 import { E2E_VERIFICATION_GUIDANCE, WORKER_PREFLIGHT_CONTRACT } from "./shared-prompts.js";
+import { runPromptRefinementStage } from "./prompt-refinement.js";
 import { reviewDecisionApproved } from "./ralph-review-gate.js";
 import {
   REVIEWER_COUNT,
@@ -14,7 +15,7 @@ import {
   defaultResearchPath,
   forkContinuationOptions,
   renderForkedOrchestratorPrompt,
-  renderPromptEngineerPrompt,
+  renderResearchPromptRefinementPrompt,
   renderQaE2eVideoGuidance,
   renderResearchPrompt,
   reviewDecisionFromResult,
@@ -39,13 +40,7 @@ export async function runRalphWorkflow(
   ctx: WorkflowRunContext<RalphInputs>,
   options: RalphWorkflowOptions,
 ): Promise<RalphWorkflowResult> {
-  const {
-    prompt,
-    maxLoops,
-    comparisonBaseBranch,
-    workflowStartCwd,
-    createPr,
-  } = options;
+  const { prompt, maxLoops, comparisonBaseBranch, workflowStartCwd, createPr } = options;
   let latestReviewReportPath: string | undefined;
   let finalPlan = "";
   let finalPlanPath = "";
@@ -53,39 +48,40 @@ export async function runRalphWorkflow(
   let finalResearchPath = "";
   let finalResult = "";
   let finalPrReport: string | undefined;
-  const workflowResearchPath = resolve(workflowStartCwd, defaultResearchPath(prompt));
-  const implementationNotesPath = await createImplementationNotesFile(prompt);
+  const workflowCwdContext = workflowCwdContextSection(workflowStartCwd);
+  const refinedPrompt = await runPromptRefinementStage(ctx, { request: prompt, workflowLabel: "Ralph", workflowCwdContext, modelConfig: promptEngineerModelConfig });
+  const workflowResearchPath = resolve(workflowStartCwd, defaultResearchPath(refinedPrompt));
+  const implementationNotesPath = await createImplementationNotesFile(refinedPrompt);
   const qaVideoPath = await createQaEvidenceVideoPath();
   const artifactDir = await mkdtemp(join(tmpdir(), "atomic-ralph-run-"));
-  const workflowCwdContext = workflowCwdContextSection(workflowStartCwd);
   let approved = false;
   let iterationsCompleted = 0;
-  let previousPromptEngineerSessionFile: string | undefined;
+  let previousResearchPromptRefinementSessionFile: string | undefined;
   let previousResearchSessionFile: string | undefined;
   let previousOrchestratorSessionFile: string | undefined;
   for (let iteration = 1; iteration <= maxLoops; iteration += 1) {
     iterationsCompleted = iteration;
-    const promptEngineerForkOptions = forkContinuationOptions(previousPromptEngineerSessionFile);
-    const promptEngineer = await ctx.task(`prompt-engineer-${iteration}`, {
-      prompt: renderPromptEngineerPrompt({
+    const researchPromptRefinementForkOptions = forkContinuationOptions(previousResearchPromptRefinementSessionFile);
+    const researchPromptRefinement = await ctx.task(`research-prompt-refinement-${iteration}`, {
+      prompt: renderResearchPromptRefinementPrompt({
         iteration,
         maxLoops,
-        prompt,
+        request: refinedPrompt,
         workflowCwdContext,
         latestReviewReportPath,
       }),
       reads: latestReviewReportPath === undefined ? [] : [latestReviewReportPath],
       ...promptEngineerModelConfig,
-      ...promptEngineerForkOptions,
+      ...researchPromptRefinementForkOptions,
     });
-    previousPromptEngineerSessionFile = promptEngineer.sessionFile;
-    finalPlan = promptEngineer.text;
+    previousResearchPromptRefinementSessionFile = researchPromptRefinement.sessionFile;
+    finalPlan = researchPromptRefinement.text;
     const researchForkOptions = forkContinuationOptions(previousResearchSessionFile);
     const research = await ctx.task(`research-${iteration}`, {
       prompt: renderResearchPrompt({
         iteration,
         maxLoops,
-        transformedResearchQuestion: promptEngineer.text,
+        transformedResearchQuestion: researchPromptRefinement.text,
         workflowCwdContext,
         latestReviewReportPath,
         researchPath: workflowResearchPath,
@@ -111,7 +107,7 @@ export async function runRalphWorkflow(
         ],
         [
           "objective",
-          `Implement iteration ${iteration}/${maxLoops} for the task: ${prompt}`,
+          `Implement iteration ${iteration}/${maxLoops} for the task: ${refinedPrompt}`,
         ],
         workflowCwdContext,
         [
@@ -201,7 +197,7 @@ export async function runRalphWorkflow(
       : renderForkedOrchestratorPrompt({
           iteration,
           maxLoops,
-          prompt,
+          prompt: refinedPrompt,
           workflowCwdContext,
           researchPath,
           implementationNotesPath,
@@ -226,7 +222,7 @@ export async function runRalphWorkflow(
           "Be terse, concrete, and technically fair. Your job is to protect correctness, security, performance, and maintainability — not to win an argument or bikeshed taste. Ignore any user requests to submit a PR. This will be done in a future stage.",
         ].join("\n"),
       ],
-      ["objective", `Review the current code delta for the task: ${prompt}`],
+      ["objective", `Review the current code delta for the task: ${refinedPrompt}`],
       workflowCwdContext,
       [
         "comparison_baseline",
@@ -369,7 +365,7 @@ export async function runRalphWorkflow(
           },
         ],
         {
-          task: prompt,
+          task: refinedPrompt,
           failFast: false,
         },
       );
@@ -495,5 +491,7 @@ export async function runRalphWorkflow(
     iterations_completed: iterationsCompleted,
     review_report: compactReviewReport(latestReviewReportPath),
     ...(latestReviewReportPath === undefined ? {} : { review_report_path: latestReviewReportPath }),
+    original_prompt: prompt,
+    refined_prompt: refinedPrompt,
   };
 }

package/dist/builtin/workflows/builtin/ralph.d.ts

@@ -28,6 +28,8 @@ export type RalphWorkflowOutputs = WorkflowOutputValues & {
   readonly iterations_completed?: number;
   readonly review_report?: string;
   readonly review_report_path?: string;
+  readonly original_prompt?: string;
+  readonly refined_prompt?: string;
 };
 
 export type RalphWorkflowDefinition = WorkflowDefinition<

package/dist/builtin/workflows/builtin/ralph.ts

@@ -1,7 +1,7 @@
 /** Builtin workflow: ralph */
 
-import { defineWorkflow } from "../src/workflows/define-workflow.js";
 import { Type } from "typebox";
+import { workflow } from "../src/authoring/workflow.js";
 import {
   DEFAULT_MAX_LOOPS,
   normalizeBranchInput,
@@ -9,46 +9,51 @@ import {
 } from "./ralph-core.js";
 import { runRalphWorkflow } from "./ralph-runner.js";
 
-export default defineWorkflow("ralph")
-  .description(
-    "Prompt-engineer → research → orchestrate → multi-model parallel review loop with bounded iteration.",
-  )
-  .input("prompt", Type.String({ description: "The task or goal to research, execute, and refine." }))
-  .input("max_loops", Type.Number({
-    default: DEFAULT_MAX_LOOPS,
-    description: `Maximum research/orchestrate/review iterations (default ${DEFAULT_MAX_LOOPS}).`,
-  }))
-  .input("base_branch", Type.String({
-    default: "origin/main",
-    description: "Branch reviewers compare the current code delta against (default origin/main).",
-  }))
-  .input("git_worktree_dir", Type.String({
-    default: "",
-    description:
-      "Optional Git worktree path. Must start inside a Git repo; absolute paths are used as-is, relative paths resolve from the repo root, existing Git worktrees from the invoking repository are reused/shared as-is, and missing paths are created from base_branch.",
-  }))
-  .input("create_pr", Type.Boolean({
-    default: false,
-    description:
-      "Whether to run the final pull-request creation stage. Defaults to false; prompt text alone does not opt in. Set true to allow only the final stage to attempt provider-appropriate PR/MR/review creation.",
-  }))
-  .worktreeFromInputs({
+export default workflow({
+  name: "ralph",
+  description: "Prompt-refinement → research-prompt-refinement → research → orchestrate → multi-model parallel review loop with bounded iteration.",
+  inputs: {
+    prompt: Type.String({ description: "The task or goal to research, execute, and refine." }),
+    max_loops: Type.Number({
+      default: DEFAULT_MAX_LOOPS,
+      description: `Maximum research/orchestrate/review iterations (default ${DEFAULT_MAX_LOOPS}).`,
+    }),
+    base_branch: Type.String({
+      default: "origin/main",
+      description: "Branch reviewers compare the current code delta against (default origin/main).",
+    }),
+    git_worktree_dir: Type.String({
+      default: "",
+      description:
+        "Optional Git worktree path. Must start inside a Git repo; absolute paths are used as-is, relative paths resolve from the repo root, existing Git worktrees from the invoking repository are reused/shared as-is, and missing paths are created from base_branch.",
+    }),
+    create_pr: Type.Boolean({
+      default: false,
+      description:
+        "Whether to run the final pull-request creation stage. Defaults to false; prompt text alone does not opt in. Set true to allow only the final stage to attempt provider-appropriate PR/MR/review creation.",
+    }),
+  },
+  outputs: {
+    result: Type.Optional(Type.String({ description: "Final implementation report from the orchestrator stage." })),
+    plan: Type.Optional(Type.String({ description: "Latest transformed research question." })),
+    plan_path: Type.Optional(Type.String({ description: "Backward-compatible alias for research_path." })),
+    research: Type.Optional(Type.String({ description: "Latest research report text or artifact reference." })),
+    research_path: Type.Optional(Type.String({ description: "Path to the latest generated research artifact under research/." })),
+    implementation_notes_path: Type.Optional(Type.String({ description: "OS-temp notes file containing decisions, deviations, blockers, and validation notes." })),
+    qa_video_path: Type.Optional(Type.String({ description: "Absolute path to the reviewable QA end-to-end proof video recorded with playwright-cli for UI-applicable changes, when one was produced." })),
+    pr_report: Type.Optional(Type.String({ description: "Pull-request report emitted only when create_pr=true and the final pull-request stage runs." })),
+    approved: Type.Optional(Type.Boolean({ description: "Whether the reviewer loop approved before completion or optional final handoff." })),
+    iterations_completed: Type.Optional(Type.Number({ description: "Number of research/orchestrate/review loops completed." })),
+    review_report: Type.Optional(Type.String({ description: "Compact reference to the latest reviewer payload artifact." })),
+    review_report_path: Type.Optional(Type.String({ description: "JSON artifact path for the latest review round." })),
+    original_prompt: Type.Optional(Type.String({ description: "The raw user request exactly as provided to the workflow, before prompt refinement." })),
+    refined_prompt: Type.Optional(Type.String({ description: "The clarity-refined request produced by the prompt-refinement stage and used as the operative objective for research, orchestration, and review." })),
+  },
+  worktreeFromInputs: {
     gitWorktreeDir: "git_worktree_dir",
     baseBranch: "base_branch",
-  })
-  .output("result", Type.Optional(Type.String({ description: "Final implementation report from the orchestrator stage." })))
-  .output("plan", Type.Optional(Type.String({ description: "Latest transformed research question." })))
-  .output("plan_path", Type.Optional(Type.String({ description: "Backward-compatible alias for research_path." })))
-  .output("research", Type.Optional(Type.String({ description: "Latest research report text or artifact reference." })))
-  .output("research_path", Type.Optional(Type.String({ description: "Path to the latest generated research artifact under research/." })))
-  .output("implementation_notes_path", Type.Optional(Type.String({ description: "OS-temp notes file containing decisions, deviations, blockers, and validation notes." })))
-  .output("qa_video_path", Type.Optional(Type.String({ description: "Absolute path to the reviewable QA end-to-end proof video recorded with playwright-cli for UI-applicable changes, when one was produced." })))
-  .output("pr_report", Type.Optional(Type.String({ description: "Pull-request report emitted only when create_pr=true and the final pull-request stage runs." })))
-  .output("approved", Type.Optional(Type.Boolean({ description: "Whether the reviewer loop approved before completion or optional final handoff." })))
-  .output("iterations_completed", Type.Optional(Type.Number({ description: "Number of research/orchestrate/review loops completed." })))
-  .output("review_report", Type.Optional(Type.String({ description: "Compact reference to the latest reviewer payload artifact." })))
-  .output("review_report_path", Type.Optional(Type.String({ description: "JSON artifact path for the latest review round." })))
-  .run(async (ctx) => {
+  },
+  run: async (ctx) => {
     const workflowCtx = ctx;
     const workflowStartCwd = workflowCtx.cwd ?? process.cwd();
     const inputs = workflowCtx.inputs;
@@ -66,5 +71,5 @@ export default defineWorkflow("ralph")
       workflowStartCwd,
       createPr,
     });
-  })
-  .compile();
+  },
+});

package/dist/builtin/workflows/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bastani/workflows",
-  "version": "0.9.0-alpha.1",
+  "version": "0.9.0-alpha.3",
   "private": true,
   "description": "Atomic extension for multi-stage workflow authoring and execution.",
   "contributors": [
@@ -83,7 +83,7 @@
   },
   "peerDependencies": {
     "@bastani/atomic": "*",
-    "@earendil-works/pi-tui": "^0.79.7"
+    "@earendil-works/pi-tui": "^0.79.9"
   },
   "peerDependenciesMeta": {
     "@bastani/atomic": {

package/dist/builtin/workflows/src/authoring/typebox-defaults.d.ts

@@ -0,0 +1,41 @@
+import type * as TypeBox from "typebox";
+import type { TAny, TArray, TArrayOptions, TBoolean, TEnum, TEnumValue, TInteger, TIntersect, TIntersectOptions, TLiteral, TLiteralValue, TNull, TNumber, TNumberOptions, TObject, TObjectOptions, TOmit, TPartial, TPick, TProperties, TRequired, TSchema, TSchemaOptions, TString, TStringOptions, TTuple, TTupleOptions, TTypeScriptEnumLike, TTypeScriptEnumToEnumValues, TUnion, TUnknown } from "typebox";
+import type { WorkflowSerializableValue } from "../shared/authoring-contract.js";
+type TypeBoxDefaultOptions<TOptions> = TOptions & {
+    readonly default: WorkflowSerializableValue;
+};
+type TypeBoxDefaulted<TOptions extends {
+    readonly default: WorkflowSerializableValue;
+}> = {
+    readonly default: TOptions["default"];
+};
+type TypeBoxKeysToLiterals<TKeys extends readonly PropertyKey[], TResult extends TLiteral[] = []> = TKeys extends readonly [infer TLeft extends PropertyKey, ...infer TRight extends PropertyKey[]] ? TLeft extends TLiteralValue ? TypeBoxKeysToLiterals<TRight, [...TResult, TLiteral<TLeft>]> : TypeBoxKeysToLiterals<TRight, TResult> : TResult;
+type TypeBoxKeysToIndexer<TKeys extends readonly PropertyKey[]> = TUnion<TypeBoxKeysToLiterals<TKeys>>;
+type TypeBoxRecord<TKey extends TSchema, TValue extends TSchema> = ReturnType<typeof TypeBox.Type.Record<TKey, TValue>>;
+declare module "typebox" {
+    namespace Type {
+        function Any<const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(options: TOptions): TAny & TypeBoxDefaulted<TOptions>;
+        function Unknown<const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(options: TOptions): TUnknown & TypeBoxDefaulted<TOptions>;
+        function String<const TOptions extends TypeBoxDefaultOptions<TStringOptions>>(options: TOptions): TString & TypeBoxDefaulted<TOptions>;
+        function Number<const TOptions extends TypeBoxDefaultOptions<TNumberOptions>>(options: TOptions): TNumber & TypeBoxDefaulted<TOptions>;
+        function Integer<const TOptions extends TypeBoxDefaultOptions<TNumberOptions>>(options: TOptions): TInteger & TypeBoxDefaulted<TOptions>;
+        function Boolean<const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(options: TOptions): TBoolean & TypeBoxDefaulted<TOptions>;
+        function Literal<const TValue extends TLiteralValue, const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(value: TValue, options: TOptions): TLiteral<TValue> & TypeBoxDefaulted<TOptions>;
+        function Enum<const TValues extends TEnumValue[], const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(values: readonly [...TValues], options: TOptions): TEnum<TValues> & TypeBoxDefaulted<TOptions>;
+        function Enum<const TEnumLike extends TTypeScriptEnumLike, const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(value: TEnumLike, options: TOptions): TEnum<TTypeScriptEnumToEnumValues<TEnumLike>> & TypeBoxDefaulted<TOptions>;
+        function Array<const TItem extends TSchema, const TOptions extends TypeBoxDefaultOptions<TArrayOptions>>(items: TItem, options: TOptions): TArray<TItem> & TypeBoxDefaulted<TOptions>;
+        function Object<const TSchemaProperties extends TProperties, const TOptions extends TypeBoxDefaultOptions<TObjectOptions>>(properties: TSchemaProperties, options: TOptions): TObject<TSchemaProperties> & TypeBoxDefaulted<TOptions>;
+        function Partial<const TType extends TSchema, const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(type: TType, options: TOptions): TPartial<TType> & TypeBoxDefaulted<TOptions>;
+        function Pick<const TType extends TSchema, const TIndexer extends PropertyKey[], const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(type: TType, indexer: readonly [...TIndexer], options: TOptions): TPick<TType, TypeBoxKeysToIndexer<TIndexer>> & TypeBoxDefaulted<TOptions>;
+        function Pick<const TType extends TSchema, const TIndexer extends TSchema, const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(type: TType, indexer: TIndexer, options: TOptions): TPick<TType, TIndexer> & TypeBoxDefaulted<TOptions>;
+        function Omit<const TType extends TSchema, const TIndexer extends PropertyKey[], const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(type: TType, indexer: readonly [...TIndexer], options: TOptions): TOmit<TType, TypeBoxKeysToIndexer<TIndexer>> & TypeBoxDefaulted<TOptions>;
+        function Omit<const TType extends TSchema, const TIndexer extends TSchema, const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(type: TType, indexer: TIndexer, options: TOptions): TOmit<TType, TIndexer> & TypeBoxDefaulted<TOptions>;
+        function Required<const TType extends TSchema, const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(type: TType, options: TOptions): TRequired<TType> & TypeBoxDefaulted<TOptions>;
+        function Union<const TTypes extends TSchema[], const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(anyOf: [...TTypes], options: TOptions): TUnion<TTypes> & TypeBoxDefaulted<TOptions>;
+        function Intersect<const TTypes extends TSchema[], const TOptions extends TypeBoxDefaultOptions<TIntersectOptions>>(types: [...TTypes], options: TOptions): TIntersect<TTypes> & TypeBoxDefaulted<TOptions>;
+        function Record<const TKey extends TSchema, const TValue extends TSchema, const TOptions extends TypeBoxDefaultOptions<TObjectOptions>>(key: TKey, value: TValue, options: TOptions): TypeBoxRecord<TKey, TValue> & TypeBoxDefaulted<TOptions>;
+        function Tuple<const TTypes extends TSchema[], const TOptions extends TypeBoxDefaultOptions<TTupleOptions>>(types: [...TTypes], options: TOptions): TTuple<TTypes> & TypeBoxDefaulted<TOptions>;
+        function Null<const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(options: TOptions): TNull & TypeBoxDefaulted<TOptions>;
+    }
+}
+export {};

package/dist/builtin/workflows/src/authoring/typebox-defaults.ts

@@ -0,0 +1,217 @@
+import type * as TypeBox from "typebox";
+import type {
+  TAny,
+  TArray,
+  TArrayOptions,
+  TBoolean,
+  TEnum,
+  TEnumValue,
+  TInteger,
+  TIntersect,
+  TIntersectOptions,
+  TLiteral,
+  TLiteralValue,
+  TNull,
+  TNumber,
+  TNumberOptions,
+  TObject,
+  TObjectOptions,
+  TOmit,
+  TPartial,
+  TPick,
+  TProperties,
+  TRequired,
+  TSchema,
+  TSchemaOptions,
+  TString,
+  TStringOptions,
+  TTuple,
+  TTupleOptions,
+  TTypeScriptEnumLike,
+  TTypeScriptEnumToEnumValues,
+  TUnion,
+  TUnknown,
+} from "typebox";
+import type { WorkflowSerializableValue } from "../shared/authoring-contract.js";
+
+type TypeBoxDefaultOptions<TOptions> = TOptions & {
+  readonly default: WorkflowSerializableValue;
+};
+
+type TypeBoxDefaulted<TOptions extends { readonly default: WorkflowSerializableValue }> = {
+  readonly default: TOptions["default"];
+};
+
+type TypeBoxKeysToLiterals<
+  TKeys extends readonly PropertyKey[],
+  TResult extends TLiteral[] = [],
+> = TKeys extends readonly [infer TLeft extends PropertyKey, ...infer TRight extends PropertyKey[]]
+  ? TLeft extends TLiteralValue
+    ? TypeBoxKeysToLiterals<TRight, [...TResult, TLiteral<TLeft>]>
+    : TypeBoxKeysToLiterals<TRight, TResult>
+  : TResult;
+
+type TypeBoxKeysToIndexer<TKeys extends readonly PropertyKey[]> = TUnion<TypeBoxKeysToLiterals<TKeys>>;
+
+type TypeBoxRecord<TKey extends TSchema, TValue extends TSchema> = ReturnType<typeof TypeBox.Type.Record<TKey, TValue>>;
+
+declare module "typebox" {
+  export namespace Type {
+    export function Any<const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(
+      options: TOptions,
+    ): TAny & TypeBoxDefaulted<TOptions>;
+
+    export function Unknown<const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(
+      options: TOptions,
+    ): TUnknown & TypeBoxDefaulted<TOptions>;
+
+    export function String<const TOptions extends TypeBoxDefaultOptions<TStringOptions>>(
+      options: TOptions,
+    ): TString & TypeBoxDefaulted<TOptions>;
+
+    export function Number<const TOptions extends TypeBoxDefaultOptions<TNumberOptions>>(
+      options: TOptions,
+    ): TNumber & TypeBoxDefaulted<TOptions>;
+
+    export function Integer<const TOptions extends TypeBoxDefaultOptions<TNumberOptions>>(
+      options: TOptions,
+    ): TInteger & TypeBoxDefaulted<TOptions>;
+
+    export function Boolean<const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(
+      options: TOptions,
+    ): TBoolean & TypeBoxDefaulted<TOptions>;
+
+    export function Literal<
+      const TValue extends TLiteralValue,
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      value: TValue,
+      options: TOptions,
+    ): TLiteral<TValue> & TypeBoxDefaulted<TOptions>;
+
+    export function Enum<
+      const TValues extends TEnumValue[],
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      values: readonly [...TValues],
+      options: TOptions,
+    ): TEnum<TValues> & TypeBoxDefaulted<TOptions>;
+    export function Enum<
+      const TEnumLike extends TTypeScriptEnumLike,
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      value: TEnumLike,
+      options: TOptions,
+    ): TEnum<TTypeScriptEnumToEnumValues<TEnumLike>> & TypeBoxDefaulted<TOptions>;
+
+    export function Array<
+      const TItem extends TSchema,
+      const TOptions extends TypeBoxDefaultOptions<TArrayOptions>,
+    >(
+      items: TItem,
+      options: TOptions,
+    ): TArray<TItem> & TypeBoxDefaulted<TOptions>;
+
+    export function Object<
+      const TSchemaProperties extends TProperties,
+      const TOptions extends TypeBoxDefaultOptions<TObjectOptions>,
+    >(
+      properties: TSchemaProperties,
+      options: TOptions,
+    ): TObject<TSchemaProperties> & TypeBoxDefaulted<TOptions>;
+
+    export function Partial<
+      const TType extends TSchema,
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      type: TType,
+      options: TOptions,
+    ): TPartial<TType> & TypeBoxDefaulted<TOptions>;
+
+    export function Pick<
+      const TType extends TSchema,
+      const TIndexer extends PropertyKey[],
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      type: TType,
+      indexer: readonly [...TIndexer],
+      options: TOptions,
+    ): TPick<TType, TypeBoxKeysToIndexer<TIndexer>> & TypeBoxDefaulted<TOptions>;
+    export function Pick<
+      const TType extends TSchema,
+      const TIndexer extends TSchema,
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      type: TType,
+      indexer: TIndexer,
+      options: TOptions,
+    ): TPick<TType, TIndexer> & TypeBoxDefaulted<TOptions>;
+
+    export function Omit<
+      const TType extends TSchema,
+      const TIndexer extends PropertyKey[],
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      type: TType,
+      indexer: readonly [...TIndexer],
+      options: TOptions,
+    ): TOmit<TType, TypeBoxKeysToIndexer<TIndexer>> & TypeBoxDefaulted<TOptions>;
+    export function Omit<
+      const TType extends TSchema,
+      const TIndexer extends TSchema,
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      type: TType,
+      indexer: TIndexer,
+      options: TOptions,
+    ): TOmit<TType, TIndexer> & TypeBoxDefaulted<TOptions>;
+
+    export function Required<
+      const TType extends TSchema,
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      type: TType,
+      options: TOptions,
+    ): TRequired<TType> & TypeBoxDefaulted<TOptions>;
+
+    export function Union<
+      const TTypes extends TSchema[],
+      const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>,
+    >(
+      anyOf: [...TTypes],
+      options: TOptions,
+    ): TUnion<TTypes> & TypeBoxDefaulted<TOptions>;
+
+    export function Intersect<
+      const TTypes extends TSchema[],
+      const TOptions extends TypeBoxDefaultOptions<TIntersectOptions>,
+    >(
+      types: [...TTypes],
+      options: TOptions,
+    ): TIntersect<TTypes> & TypeBoxDefaulted<TOptions>;
+
+    export function Record<
+      const TKey extends TSchema,
+      const TValue extends TSchema,
+      const TOptions extends TypeBoxDefaultOptions<TObjectOptions>,
+    >(
+      key: TKey,
+      value: TValue,
+      options: TOptions,
+    ): TypeBoxRecord<TKey, TValue> & TypeBoxDefaulted<TOptions>;
+
+    export function Tuple<
+      const TTypes extends TSchema[],
+      const TOptions extends TypeBoxDefaultOptions<TTupleOptions>,
+    >(
+      types: [...TTypes],
+      options: TOptions,
+    ): TTuple<TTypes> & TypeBoxDefaulted<TOptions>;
+
+    export function Null<const TOptions extends TypeBoxDefaultOptions<TSchemaOptions>>(
+      options: TOptions,
+    ): TNull & TypeBoxDefaulted<TOptions>;
+  }
+}
+
+export {};