@bastani/atomic 0.9.16-alpha.2 → 0.9.16-alpha.4

package/dist/builtin/workflows/src/authoring/keep-context.ts

@@ -1,46 +0,0 @@
-/**
- * `keepContext` marks prompt text that compaction must never compress.
- *
- * This is a pure string transform rather than a `ctx.*` primitive: it creates no graph node,
- * has no side effect, and needs no durability, so it is safe to call anywhere a prompt is
- * assembled — including outside a run.
- */
-
-export const KEEP_CONTEXT_OPEN_TAG = "<keepContext>";
-export const KEEP_CONTEXT_CLOSE_TAG = "</keepContext>";
-
-/**
- * Wrap text so compaction protects it verbatim.
- *
- * Every line of the span, tag lines included, becomes a protected line, and protected lines are
- * removed from the planner's deletion ranges after it responds, so the span survives regardless
- * of the compression ratio. Because the tag lines are protected too, the span is re-detected on
- * each subsequent boundary and stays protected for the life of the session.
- *
- * Tags must sit on their own line, and a span is scoped to one message. User and assistant
- * messages may both protect, so an agent can pin its own core information as well as its prompt;
- * tags inside tool results are inert, so file, page, or command output an agent reads cannot
- * mark itself unreclaimable.
- *
- * Reserve it for text whose loss silently changes behavior — role constraints, acceptance
- * criteria and immutable contracts, explicit prohibitions, and identifiers a stage must not
- * lose such as a target branch, worktree path, or run ID. Compaction ranks lines individually,
- * so a terse constraint loses to the verbose objective it qualifies, and a prohibition deleted
- * from context reads as permission.
- *
- * Do not wrap bulk context. Protected lines count against the keep target rather than raising
- * it, so a large protected span makes the surrounding transcript compress harder; tag the
- * constraint, not the material it applies to, and pass that through files and `reads`.
- *
- * Nesting is flattened rather than rejected: an already-wrapped string is returned unchanged.
- *
- * @example
- * ```ts
- * const prompt = `${keepContext("Research only. Do not implement code changes.")}\n\n${question}`;
- * ```
- */
-export function keepContext(text: string): string {
-	const trimmed = text.trim();
-	if (trimmed.startsWith(KEEP_CONTEXT_OPEN_TAG) && trimmed.endsWith(KEEP_CONTEXT_CLOSE_TAG)) return trimmed;
-	return `${KEEP_CONTEXT_OPEN_TAG}\n${trimmed}\n${KEEP_CONTEXT_CLOSE_TAG}`;
-}

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

@@ -1,41 +0,0 @@
-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 Str\u0069ng<const TOptions extends TypeBoxDefaultOptions<TStringOptions>>(options: TOptions): TString & TypeBoxDefaulted<TOptions>;
-        function Numb\u0065r<const TOptions extends TypeBoxDefaultOptions<TNumberOptions>>(options: TOptions): TNumber & TypeBoxDefaulted<TOptions>;
-        function Integer<const TOptions extends TypeBoxDefaultOptions<TNumberOptions>>(options: TOptions): TInteger & TypeBoxDefaulted<TOptions>;
-        function Bool\u0065an<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 Arr\u0061y<const TItem extends TSchema, const TOptions extends TypeBoxDefaultOptions<TArrayOptions>>(items: TItem, options: TOptions): TArray<TItem> & TypeBoxDefaulted<TOptions>;
-        function Obj\u0065ct<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

@@ -1,180 +0,0 @@
-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>>;
-
-// The escaped characters below still declare TypeBox's exact public member names
-// (`String`, `Number`, `Boolean`, `Array`, and `Object`). They are ambient module
-// overloads, not local bindings that shadow JavaScript globals.
-
-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 Str\u0069ng<const TOptions extends TypeBoxDefaultOptions<TStringOptions>>(
-			options: TOptions,
-		): TString & TypeBoxDefaulted<TOptions>;
-
-		export function Numb\u0065r<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 Bool\u0065an<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 Arr\u0061y<
-			const TItem extends TSchema,
-			const TOptions extends TypeBoxDefaultOptions<TArrayOptions>,
-		>(items: TItem, options: TOptions): TArray<TItem> & TypeBoxDefaulted<TOptions>;
-
-		export function Obj\u0065ct<
-			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>;
-	}
-}

package/dist/builtin/workflows/src/authoring/workflow.ts

@@ -1,206 +0,0 @@
-import { basename } from "node:path";
-import { fileURLToPath } from "node:url";
-import { assertWorkflowBudget, type WorkflowBudget } from "../shared/budget.js";
-import type {
-	WorkflowDefinition,
-	WorkflowInputBindings,
-	WorkflowInputSchemaMap,
-	WorkflowInputValues,
-	WorkflowOutputSchemaMap,
-	WorkflowOutputValues,
-	WorkflowRunContext,
-	WorkflowRunFn,
-	WorkflowWorktreeInputBinding,
-} from "../shared/types.js";
-import type {
-	AuthoredWorkflowSpec as SharedAuthoredWorkflowSpec,
-	WorkflowInputsFromSchemas,
-	WorkflowOutputsFromSchemas,
-	WorkflowProvidedInputsFromSchemas,
-} from "../shared/workflow-authoring-types.js";
-import { DEFAULT_WORKFLOW_HEARTBEAT_INTERVAL_MINUTES } from "../shared/workflow-heartbeat-contract.js";
-import { normalizeWorkflowName } from "../workflows/identity.js";
-
-export type {
-	WorkflowInputsFromSchemas,
-	WorkflowOutputsFromSchemas,
-	WorkflowProvidedInputsFromSchemas,
-} from "../shared/workflow-authoring-types.js";
-
-const BRANDED_WORKFLOW_DEFINITIONS = new WeakSet<object>();
-
-export type AuthoredWorkflowSpec<
-	TInputs extends WorkflowInputSchemaMap = Record<never, never>,
-	TOutputs extends WorkflowOutputSchemaMap = WorkflowOutputSchemaMap,
-	TActualOutputs extends WorkflowOutputsFromSchemas<TOutputs> = WorkflowOutputsFromSchemas<TOutputs>,
-> = SharedAuthoredWorkflowSpec<
-	TInputs,
-	TOutputs,
-	TActualOutputs,
-	WorkflowRunContext<WorkflowInputsFromSchemas<TInputs>, WorkflowOutputsFromSchemas<TOutputs>>
->;
-
-export type AuthoredWorkflowDefinition<
-	TInputs extends WorkflowInputSchemaMap,
-	TOutputs extends WorkflowOutputSchemaMap,
-> = WorkflowDefinition<
-	WorkflowInputsFromSchemas<TInputs>,
-	WorkflowOutputsFromSchemas<TOutputs>,
-	WorkflowProvidedInputsFromSchemas<TInputs>
-> & {
-	readonly outputs: Readonly<TOutputs>;
-};
-
-// Package-internal runtime brand. It deliberately is not exported through the
-// public SDK surface; workflow({...}) and executor-created direct workflows are
-// the only package code paths that can mint accepted runtime definitions.
-export function stampWorkflowDefinition<
-	TInputs extends WorkflowInputValues,
-	TOutputs extends WorkflowOutputValues,
-	TRunInputs extends WorkflowInputValues = TInputs,
->(definition: object): WorkflowDefinition<TInputs, TOutputs, TRunInputs> {
-	BRANDED_WORKFLOW_DEFINITIONS.add(definition);
-	return definition as never as WorkflowDefinition<TInputs, TOutputs, TRunInputs>;
-}
-
-export function isBrandedWorkflowDefinition(value: object): value is WorkflowDefinition {
-	return BRANDED_WORKFLOW_DEFINITIONS.has(value);
-}
-
-function requireNonEmptyString(value: string, label: string): void {
-	if (value.trim().length === 0) {
-		throw new TypeError(`workflow: ${label} must be a non-empty string`);
-	}
-}
-
-function freezeSchemaMap<TSchemas extends WorkflowInputSchemaMap | WorkflowOutputSchemaMap>(
-	schemas: TSchemas,
-): Readonly<TSchemas> {
-	return Object.freeze({ ...schemas }) as Readonly<TSchemas>;
-}
-
-function stackFilePath(line: string): string | undefined {
-	const fileUrlMatch = line.match(/\(?((?:file:\/\/)[^\s)]+?\.[cm]?[jt]sx?):\d+:\d+\)?/);
-	const rawPath = fileUrlMatch?.[1] ?? line.match(/\(?((?:\/|[A-Za-z]:[\\/])[^():]+?\.[cm]?[jt]sx?):\d+:\d+\)?/)?.[1];
-	if (rawPath === undefined) return undefined;
-	if (!rawPath.startsWith("file://")) return rawPath;
-	try {
-		return fileURLToPath(rawPath);
-	} catch {
-		return undefined;
-	}
-}
-
-function isWorkflowAuthoringImplementationFrame(filePath: string): boolean {
-	const normalized = filePath.replace(/\\/g, "/");
-	if (!/\/authoring\/workflow\.[cm]?[jt]sx?$/.test(normalized)) return false;
-	return (
-		normalized.includes("/packages/workflows/") ||
-		normalized.includes("/node_modules/@bastani/workflows/") ||
-		normalized.includes("/dist/builtin/workflows/") ||
-		normalized.includes("/.atomic/agent/extensions/workflows/") ||
-		normalized.includes("/.pi/agent/extensions/workflows/")
-	);
-}
-
-function workflowNameFromCaller(): string | undefined {
-	const stack = new Error().stack;
-	if (stack === undefined) return undefined;
-
-	for (const line of stack.split("\n")) {
-		const filePath = stackFilePath(line);
-		if (filePath === undefined) continue;
-		if (isWorkflowAuthoringImplementationFrame(filePath)) continue;
-		const base = basename(filePath.replace(/\\/g, "/")).replace(/\.[cm]?[jt]sx?$/, "");
-		if (base.length > 0) return base;
-	}
-
-	return undefined;
-}
-
-function resolveWorkflowName(name: string | undefined): string {
-	const resolved = name ?? workflowNameFromCaller();
-	if (resolved === undefined) {
-		throw new TypeError("workflow: name must be provided when caller filename cannot be inferred");
-	}
-	requireNonEmptyString(resolved, "name");
-	return resolved;
-}
-
-function freezeInputBindings(binding: WorkflowWorktreeInputBinding | undefined): WorkflowInputBindings | undefined {
-	if (binding === undefined) return undefined;
-	return Object.freeze({
-		worktree: Object.freeze({ ...binding }),
-	});
-}
-
-function freezeBudget(budget: WorkflowBudget | undefined): WorkflowBudget | undefined {
-	return budget === undefined ? undefined : Object.freeze({ ...budget });
-}
-
-export function workflow<
-	const TInputs extends WorkflowInputSchemaMap = Record<never, never>,
-	const TOutputs extends WorkflowOutputSchemaMap = WorkflowOutputSchemaMap,
-	TActualOutputs extends WorkflowOutputsFromSchemas<TOutputs> = WorkflowOutputsFromSchemas<TOutputs>,
->(spec: AuthoredWorkflowSpec<TInputs, TOutputs, TActualOutputs>): AuthoredWorkflowDefinition<TInputs, TOutputs> {
-	const specRun = spec.run;
-	if (typeof spec.description !== "string") {
-		throw new TypeError("workflow: description must be a string");
-	}
-	if (typeof specRun !== "function") {
-		throw new TypeError("workflow: run must be a function");
-	}
-	if (
-		spec.outputs === undefined ||
-		spec.outputs === null ||
-		typeof spec.outputs !== "object" ||
-		Array.isArray(spec.outputs)
-	) {
-		throw new TypeError("workflow: outputs must be a schema map");
-	}
-	if (
-		spec.inputs !== undefined &&
-		(spec.inputs === null || typeof spec.inputs !== "object" || Array.isArray(spec.inputs))
-	) {
-		throw new TypeError("workflow: inputs must be a schema map");
-	}
-	const heartbeatIntervalMinutes =
-		spec.heartbeatIntervalMinutes === undefined
-			? DEFAULT_WORKFLOW_HEARTBEAT_INTERVAL_MINUTES
-			: spec.heartbeatIntervalMinutes;
-	if (!Number.isFinite(heartbeatIntervalMinutes) || heartbeatIntervalMinutes < 0) {
-		throw new TypeError("workflow: heartbeatIntervalMinutes must be a non-negative finite number");
-	}
-	assertWorkflowBudget(spec.budget, "workflow: budget");
-
-	const name = resolveWorkflowName(spec.name);
-	const normalizedName = normalizeWorkflowName(name);
-	requireNonEmptyString(normalizedName, "normalized name");
-	const frozenInputs = freezeSchemaMap(spec.inputs ?? ({} as TInputs));
-	const frozenOutputs = freezeSchemaMap(spec.outputs);
-	const inputBindings = freezeInputBindings(spec.worktreeFromInputs);
-	const budget = freezeBudget(spec.budget);
-	const run: WorkflowRunFn<WorkflowInputsFromSchemas<TInputs>, WorkflowOutputsFromSchemas<TOutputs>> = async (ctx) =>
-		specRun(ctx);
-
-	const definition = {
-		__piWorkflow: true,
-		name,
-		normalizedName,
-		description: spec.description,
-		...(spec.autoAttach === true ? { autoAttach: true } : {}),
-		heartbeatIntervalMinutes,
-		inputs: frozenInputs,
-		outputs: frozenOutputs,
-		...(inputBindings !== undefined ? { inputBindings } : {}),
-		...(budget !== undefined ? { budget } : {}),
-		run,
-	};
-
-	const branded = stampWorkflowDefinition<
-		WorkflowInputsFromSchemas<TInputs>,
-		WorkflowOutputsFromSchemas<TOutputs>,
-		WorkflowProvidedInputsFromSchemas<TInputs>
-	>(definition);
-	return Object.freeze(branded) as AuthoredWorkflowDefinition<TInputs, TOutputs>;
-}