standard-typed-config 0.0.1

package/.claude/homunculus/observations.jsonl

@@ -0,0 +1,79 @@
+{"timestamp":"2026-04-12T17:42:57Z","type":"tool","tool":"Bash","input":{"command":"cd /home/tiago/typed-builder && git remote -v","description":"Verify git remote is set up"},"response":"{\"stdout\":\"origin\\tgit@github.com:TiagoJacinto/typed-builder.git (fetch)\\norigin\\tgit@github.com:TiagoJacinto/typed-builder.git (push)\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T17:44:37Z","type":"prompt","prompt":"/simplify"}
+{"timestamp":"2026-04-12T17:44:44Z","type":"tool","tool":"ToolSearch","input":{"query":"select:Bash,Read,Agent,Glob,Grep","max_results":5},"response":"{\"matches\":[\"Bash\",\"Read\",\"Agent\",\"Glob\",\"Grep\"],\"query\":\"select:Bash,Read,Agent,Glob,Grep\",\"total_deferred_tools\":74}"}
+{"timestamp":"2026-04-12T17:45:01Z","type":"tool","tool":"Bash","input":{"command":"git diff","description":"Show unstaged changes"},"response":"{\"stdout\":\"diff --git a/.gitignore b/.gitignore\\nindex 5e9eee0..4dc4509 100644\\n--- a/.gitignore\\n+++ b/.gitignore\\n@@ -1,3 +1,6 @@\\n node_modules/\\n dist/\\n *.js.map\\n+\\n+# AgentOps session artifacts\\n+.agents/\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T17:45:01Z","type":"tool","tool":"Bash","input":{"command":"git status","description":"Show working tree status"},"response":"{\"stdout\":\"On branch master\\nYour branch is up to date with 'origin/master'.\\n\\nChanges not staged for commit:\\n  (use \\\"git add <file>...\\\" to update what will be committed)\\n  (use \\\"git restore <file>...\\\" to discard changes in working directory)\\n\\tmodified:   .gitignore\\n\\nUntracked files:\\n  (use \\\"git add <file>...\\\" to include in what will be committed)\\n\\t.claude/\\n\\nno changes added to commit (use \\\"git add\\\" and/or \\\"git commit -a\\\")\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T17:45:01Z","type":"tool","tool":"Bash","input":{"command":"git diff HEAD","description":"Show all staged and unstaged changes"},"response":"{\"stdout\":\"diff --git a/.gitignore b/.gitignore\\nindex 5e9eee0..4dc4509 100644\\n--- a/.gitignore\\n+++ b/.gitignore\\n@@ -1,3 +1,6 @@\\n node_modules/\\n dist/\\n *.js.map\\n+\\n+# AgentOps session artifacts\\n+.agents/\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T17:45:28Z","type":"prompt","prompt":"/naming-analyzer"}
+{"timestamp":"2026-04-12T17:45:38Z","type":"tool","tool":"ToolSearch","input":{"query":"select:mcp__jcodemunch__get_repo_outline,mcp__jcodemunch__get_file_tree,mcp__jcodemunch__get_file_content","max_results":3},"response":"{\"matches\":[\"mcp__jcodemunch__get_repo_outline\",\"mcp__jcodemunch__get_file_tree\",\"mcp__jcodemunch__get_file_content\"],\"query\":\"select:mcp__jcodemunch__get_repo_outline,mcp__jcodemunch__get_file_tree,mcp__jcodemunch__get_file_content\",\"total_deferred_tools\":74}"}
+{"timestamp":"2026-04-12T17:45:56Z","type":"tool","tool":"mcp__jcodemunch__get_repo_outline","input":{"repo":"typed-builder"},"response":"[{\"type\":\"text\",\"text\":\"{\\n  \\\"error\\\": \\\"Repository not found: typed-builder\\\"\\n}\"}]"}
+{"timestamp":"2026-04-12T17:46:04Z","type":"tool","tool":"ToolSearch","input":{"query":"select:mcp__jcodemunch__index_repo","max_results":1},"response":"{\"matches\":[\"mcp__jcodemunch__index_repo\"],\"query\":\"select:mcp__jcodemunch__index_repo\",\"total_deferred_tools\":74}"}
+{"timestamp":"2026-04-12T17:46:17Z","type":"tool","tool":"ToolSearch","input":{"query":"select:mcp__jcodemunch__index_folder","max_results":1},"response":"{\"matches\":[\"mcp__jcodemunch__index_folder\"],\"query\":\"select:mcp__jcodemunch__index_folder\",\"total_deferred_tools\":74}"}
+{"timestamp":"2026-04-12T17:46:31Z","type":"tool","tool":"mcp__jcodemunch__index_folder","input":{"path":"/home/tiago/typed-builder","use_ai_summaries":false},"response":"[{\"type\":\"text\",\"text\":\"{\\n  \\\"success\\\": true,\\n  \\\"repo\\\": \\\"local/typed-builder-3ceabb9e\\\",\\n  \\\"folder_path\\\": \\\"/home/tiago/typed-builder\\\",\\n  \\\"indexed_at\\\": \\\"2026-04-12T18:46:30.786595\\\",\\n  \\\"file_count\\\": 2,\\n  \\\"symbol_count\\\": 12,\\n  \\\"file_summary_count\\\": 2,\\n  \\\"languages\\\": {\\n    \\\"typescript\\\": 2\\n  },\\n  \\\"files\\\": [\\n    \\\"src/index.ts\\\",\\n    \\\"test/types.test-d.ts\\\"\\n  ],\\n  \\\"discovery_skip_counts\\\": {\\n    \\\"symlink\\\": 6,\\n    \\\"symlink_escape\\\": 0,\\n    \\\"path_traversal\\\": 0,\\n    \\\"skip_pattern\\\": 1525,\\n    \\\"gitignore\\\": 1,\\n    \\\"extra_ignore\\\": 0,\\n    \\\"secret\\\": 0,\\n    \\\"wrong_extension\\\": 6,\\n    \\\"too_large\\\": 0,\\n    \\\"unreadable\\\": 0,\\n    \\\"binary\\\": 0,\\n    \\\"file_limit\\\": 0\\n  },\\n  \\\"no_symbols_count\\\": 0,\\n  \\\"no_symbols_files\\\": []\\n}\"}]"}
+{"timestamp":"2026-04-12T17:46:40Z","type":"tool","tool":"mcp__jcodemunch__get_file_content","input":{"repo":"local/typed-builder-3ceabb9e","file_path":"src/index.ts"},"response":"[{\"type\":\"text\",\"text\":\"{\\n  \\\"repo\\\": \\\"local/typed-builder-3ceabb9e\\\",\\n  \\\"file\\\": \\\"src/index.ts\\\",\\n  \\\"language\\\": \\\"typescript\\\",\\n  \\\"file_summary\\\": \\\"Contains 1 functions: createBuilder\\\",\\n  \\\"start_line\\\": 1,\\n  \\\"end_line\\\": 104,\\n  \\\"line_count\\\": 104,\\n  \\\"content\\\": \\\"// \\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\n// Typed Builder \\\\u2014 domain-agnostic builder with accumulating type parameters\\\\n// \\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u25"}
+{"timestamp":"2026-04-12T17:46:42Z","type":"tool","tool":"mcp__jcodemunch__get_file_content","input":{"repo":"local/typed-builder-3ceabb9e","file_path":"test/types.test-d.ts"},"response":"[{\"type\":\"text\",\"text\":\"{\\n  \\\"repo\\\": \\\"local/typed-builder-3ceabb9e\\\",\\n  \\\"file\\\": \\\"test/types.test-d.ts\\\",\\n  \\\"language\\\": \\\"typescript\\\",\\n  \\\"file_summary\\\": \\\"Defines types: AIModelConfig, MenuItemConfig, RunnerConfig\\\",\\n  \\\"start_line\\\": 1,\\n  \\\"end_line\\\": 125,\\n  \\\"line_count\\\": 125,\\n  \\\"content\\\": \\\"import { expectType } from 'tsd';\\\\nimport { createBuilder, type Builder } from '../src/index';\\\\n\\\\n// \\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\u2550\\\\n// DOMAIN 1: AI M"}
+{"timestamp":"2026-04-12T17:47:35Z","type":"tool","tool":"ToolSearch","input":{"query":"select:mcp__jcodemunch__get_symbols","max_results":1},"response":"{\"matches\":[\"mcp__jcodemunch__get_symbols\"],\"query\":\"select:mcp__jcodemunch__get_symbols\",\"total_deferred_tools\":74}"}
+{"timestamp":"2026-04-12T17:50:32Z","type":"prompt","prompt":"/freestyle:best"}
+{"timestamp":"2026-04-12T17:53:26Z","type":"tool","tool":"ToolSearch","input":{"query":"select:Read,Edit","max_results":2},"response":"{\"matches\":[\"Read\",\"Edit\"],\"query\":\"select:Read,Edit\",\"total_deferred_tools\":74}"}
+{"timestamp":"2026-04-12T17:53:35Z","type":"tool","tool":"Read","input":{"file_path":"/home/tiago/typed-builder/src/index.ts"},"response":"{\"type\":\"text\",\"file\":{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"content\":\"// ════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\n// Core builder methods (use, routes)\\ntype BuilderCore<\\n  TConfig,\\n  TKey extends string,\\n  TRegistry extends Record<string, TConfig>,\\n  TContext extends Record<string, unknown>,\\n  TAccumulating extends string,\\n  TTerminal extends string\\n> = {\\n  use<\\n    UKey extends string,\\n    URegistry extends Record<string, TConfig>,\\n    UCo"}
+{"timestamp":"2026-04-12T17:53:35Z","type":"tool","tool":"Read","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts"},"response":"{\"type\":\"text\",\"file\":{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"content\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIModelConfig = {\\n  models: Array<{ provider: string; model: string }>;\\n  systemPrompt?: string;\\n  temperature?: number;\\n};\\n\\nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\\n  accumulating: ['beforeEachRun'],\\n  terminal: ['afterEachRun', 'tes"}
+{"timestamp":"2026-04-12T17:55:47Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/src/index.ts","old_string":"ReducerMethods","new_string":"AccumulatingMethods","replace_all":true},"response":"{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"oldString\":\"ReducerMethods\",\"newString\":\"AccumulatingMethods\",\"originalFile\":\"// ════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\n// Core builder methods (use, routes)\\ntype BuilderCore<\\n  TConfig,\\n  TKey extends string,\\n  TRegistry extends Record<string, TConfig>,\\n  TContext extends Record<string, unknown>,\\n  TAccumulating extends string,\\n  TTerminal extends string\\n> = {\\n  use<\\n    UKey extends string,\\n    URegi"}
+{"timestamp":"2026-04-12T17:55:54Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/src/index.ts","old_string":"HandlerMethods","new_string":"TerminalMethods","replace_all":true},"response":"{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"oldString\":\"HandlerMethods\",\"newString\":\"TerminalMethods\",\"originalFile\":\"// ════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\n// Core builder methods (use, routes)\\ntype BuilderCore<\\n  TConfig,\\n  TKey extends string,\\n  TRegistry extends Record<string, TConfig>,\\n  TContext extends Record<string, unknown>,\\n  TAccumulating extends string,\\n  TTerminal extends string\\n> = {\\n  use<\\n    UKey extends string,\\n    URegistry"}
+{"timestamp":"2026-04-12T17:56:08Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/src/index.ts","old_string":"// Core builder methods (use, routes)","new_string":"// Core builder methods (use, selectors)","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"oldString\":\"// Core builder methods (use, routes)\",\"newString\":\"// Core builder methods (use, selectors)\",\"originalFile\":\"// ════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\n// Core builder methods (use, routes)\\ntype BuilderCore<\\n  TConfig,\\n  TKey extends string,\\n  TRegistry extends Record<string, TConfig>,\\n  TContext extends Record<string, unknown>,\\n  TAccumulating extends string,\\n  TTerminal extends string\\n> = {\\"}
+{"timestamp":"2026-04-12T17:56:09Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/src/index.ts","old_string":"    other: Builder<TConfig, UKey, URegistry, UContext, TAccumulating, TTerminal>","new_string":"    source: Builder<TConfig, UKey, URegistry, UContext, TAccumulating, TTerminal>","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"oldString\":\"    other: Builder<TConfig, UKey, URegistry, UContext, TAccumulating, TTerminal>\",\"newString\":\"    source: Builder<TConfig, UKey, URegistry, UContext, TAccumulating, TTerminal>\",\"originalFile\":\"// ════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\n// Core builder methods (use, selectors)\\ntype BuilderCore<\\n  TConfig,\\n  TKey extends string,\\n  TRegistry extends Record<string, TConfig>,\\n  TContext extends Record"}
+{"timestamp":"2026-04-12T17:56:10Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/src/index.ts","old_string":"  routes<TRouteKey extends string>(\n    fns: Array<(ctx: { items: TRegistry }) => TRouteKey>\n  ): Builder<TConfig, TKey | TRouteKey, TRegistry, TContext, TAccumulating, TTerminal>;","new_string":"  selectors<TSelected extends string>(\n    functions: Array<(ctx: { items: TRegistry }) => TSelected>\n  ): Builder<TConfig, TKey | TSelected, TRegistry, TContext, TAccumulating, TTerminal>;","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"oldString\":\"  routes<TRouteKey extends string>(\\n    fns: Array<(ctx: { items: TRegistry }) => TRouteKey>\\n  ): Builder<TConfig, TKey | TRouteKey, TRegistry, TContext, TAccumulating, TTerminal>;\",\"newString\":\"  selectors<TSelected extends string>(\\n    functions: Array<(ctx: { items: TRegistry }) => TSelected>\\n  ): Builder<TConfig, TKey | TSelected, TRegistry, TContext, TAccumulating, TTerminal>;\",\"originalFile\":\"// ════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ══════════════════════════════════════════════════════════════════�"}
+{"timestamp":"2026-04-12T17:56:10Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/src/index.ts","old_string":"// Full builder = core + reducer methods + handler methods","new_string":"// Full builder = core + accumulating methods + terminal methods","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"oldString\":\"// Full builder = core + reducer methods + handler methods\",\"newString\":\"// Full builder = core + accumulating methods + terminal methods\",\"originalFile\":\"// ════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\n// Core builder methods (use, selectors)\\ntype BuilderCore<\\n  TConfig,\\n  TKey extends string,\\n  TRegistry extends Record<string, TConfig>,\\n  TContext extends Record<string, unknown>,\\n  TAccumulating ext"}
+{"timestamp":"2026-04-12T17:59:21Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/src/index.ts","old_string":"// Factory — curried: TConfig explicit, hook names inferred from spec\nfunction createBuilder<TConfig>() {\n  return function <TAccumulating extends string, TTerminal extends string>(hookSpec: {\n    accumulating: TAccumulating[];\n    terminal: TTerminal[];\n  }) {\n    type C = TConfig;\n    type Acc = TAccumulating;\n    type Term = TTerminal;\n\n    function define<I extends string>(options: {\n      items: Record<I, C>;\n      routes: Array<(ctx: { items: Record<I, C> }) => I>;\n    }): Builder<C, I, Record<I, C>, {}, Acc, Term>;\n\n    function define(): Builder<C, never, {}, {}, Acc, Term>;\n\n    function define(options?: {\n      items: Record<string, C>;\n      routes: Array<(ctx: { items: Record<string, C> }) => string>;\n    }): Builder<C, any, any, any, Acc, Term> {\n      const builder: any = {};\n      builder.routes = (fns: any) => builder;\n      builder.use = (other: any) => builder;\n      for (const hookName of hookSpec.accumulating) {\n        builder[hookName] = (fn: any) => builder;\n      }\n      for (const hookName of hookSpec.terminal) {\n        builder[hookName] = (fn: any) => builder;\n      }\n      return builder;\n    }\n\n    return { define };\n  };\n}\n\nexport { createBuilder, type Builder, type BuilderCore, type AccumulatingMethods, type TerminalMethods };","new_string":"// Factory — curried: TConfig explicit, hook names inferred from hooks\nfunction createBuilder<TConfig>() {\n  return function <TAccumulating extends string, TTerminal extends string>(hooks: {\n    accumulating: TAccumulating[];\n    terminal: TTerminal[];\n  }) {\n\n    function define<I extends string>(definition: {\n      items: Record<I, TConfig>;\n      selectors: Array<(ctx: { items: Record<I, TConfig> }) => I>;\n    }): Builder<TConfig, I, Record<I, TConfig>, {}, TAccumulating, TTerminal>;\n\n    function define(): Builder<TConfig, never, {}, {}, TAccumulating, TTerminal>;\n\n    function define(definition?: {\n      items: Record<string, TConfig>;\n      selectors: Array<(ctx: { items: Record<string, TConfig> }) => string>;\n    }): Builder<TConfig, any, any, any, TAccumulating, TTerminal> {\n      const instance: any = {};\n      instance.selectors = (functions: any) => instance;\n      instance.use = (source: any) => instance;\n      for (const hookName of hooks.accumulating) {\n        instance[hookName] = (fn: any) => instance;\n      }\n      for (const hookName of hooks.terminal) {\n        instance[hookName] = (fn: any) => instance;\n      }\n      return instance;\n    }\n\n    return { define };\n  };\n}\n\nexport { createBuilder, type Builder, type BuilderCore, type AccumulatingMethods, type TerminalMethods };","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"oldString\":\"// Factory — curried: TConfig explicit, hook names inferred from spec\\nfunction createBuilder<TConfig>() {\\n  return function <TAccumulating extends string, TTerminal extends string>(hookSpec: {\\n    accumulating: TAccumulating[];\\n    terminal: TTerminal[];\\n  }) {\\n    type C = TConfig;\\n    type Acc = TAccumulating;\\n    type Term = TTerminal;\\n\\n    function define<I extends string>(options: {\\n      items: Record<I, C>;\\n      routes: Array<(ctx: { items: Record<I, C> }) => I>;\\n    }): Builder<C, I, Record<I, C>, {}, Acc, Term>;\\n\\n    function define(): Builder<C, never, {}, {}, Acc, Term>;\\n\\n    function define(options?: {\\n      items: Record<string, C>;\\n      routes: Array<(ctx: { items: Record<string, C> }) => string>;\\n    }): Builder<C, any, any, any, Acc, Term> {\\n      const builder: any = {};\\n      builder.routes = (fns: any) => builder;\\n      builder.use = (other: any) => builder;\\n      for (const"}
+{"timestamp":"2026-04-12T17:59:30Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts","old_string":"const aiCfg = aiDefine({","new_string":"const aiBuilder = aiDefine({","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"oldString\":\"const aiCfg = aiDefine({\",\"newString\":\"const aiBuilder = aiDefine({\",\"originalFile\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIModelConfig = {\\n  models: Array<{ provider: string; model: string }>;\\n  systemPrompt?: string;\\n  temperature?: number;\\n};\\n\\nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\\n  ac"}
+{"timestamp":"2026-04-12T17:59:31Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts","old_string":"const menuCfg = menuDefine({","new_string":"const menuBuilder = menuDefine({","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"oldString\":\"const menuCfg = menuDefine({\",\"newString\":\"const menuBuilder = menuDefine({\",\"originalFile\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIModelConfig = {\\n  models: Array<{ provider: string; model: string }>;\\n  systemPrompt?: string;\\n  temperature?: number;\\n};\\n\\nconst { define: aiDefine } = createBuilder<AIModelConfig>()"}
+{"timestamp":"2026-04-12T17:59:31Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts","old_string":"const ciCfg = ciDefine()","new_string":"const ciBuilder = ciDefine()","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"oldString\":\"const ciCfg = ciDefine()\",\"newString\":\"const ciBuilder = ciDefine()\",\"originalFile\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIModelConfig = {\\n  models: Array<{ provider: string; model: string }>;\\n  systemPrompt?: string;\\n  temperature?: number;\\n};\\n\\nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\\n  ac"}
+{"timestamp":"2026-04-12T17:59:38Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts","old_string":"  routes: [","new_string":"  selectors: [","replace_all":true},"response":"{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"oldString\":\"  routes: [\",\"newString\":\"  selectors: [\",\"originalFile\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIModelConfig = {\\n  models: Array<{ provider: string; model: string }>;\\n  systemPrompt?: string;\\n  temperature?: number;\\n};\\n\\nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\\n  accumulating: ['beforeEachRun"}
+{"timestamp":"2026-04-12T17:59:46Z","type":"tool","tool":"Read","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts"},"response":"{\"type\":\"text\",\"file\":{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"content\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIModelConfig = {\\n  models: Array<{ provider: string; model: string }>;\\n  systemPrompt?: string;\\n  temperature?: number;\\n};\\n\\nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\\n  accumulating: ['beforeEachRun'],\\n  terminal: ['afterEachRun', 'tes"}
+{"timestamp":"2026-04-12T17:59:46Z","type":"tool","tool":"Read","input":{"file_path":"/home/tiago/typed-builder/src/index.ts"},"response":"{\"type\":\"text\",\"file\":{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"content\":\"// ════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\n// Core builder methods (use, selectors)\\ntype BuilderCore<\\n  TConfig,\\n  TKey extends string,\\n  TRegistry extends Record<string, TConfig>,\\n  TContext extends Record<string, unknown>,\\n  TAccumulating extends string,\\n  TTerminal extends string\\n> = {\\n  use<\\n    UKey extends string,\\n    URegistry extends Record<string, TConfig>,\\n    "}
+{"timestamp":"2026-04-12T18:00:01Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts","old_string":", routes: [","new_string":", selectors: [","replace_all":true},"response":"{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"oldString\":\", routes: [\",\"newString\":\", selectors: [\",\"originalFile\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIModelConfig = {\\n  models: Array<{ provider: string; model: string }>;\\n  systemPrompt?: string;\\n  temperature?: number;\\n};\\n\\nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\\n  accumulating: ['beforeEachRun"}
+{"timestamp":"2026-04-12T18:00:08Z","type":"tool","tool":"ToolSearch","input":{"query":"select:Bash","max_results":1},"response":"{\"matches\":[\"Bash\"],\"query\":\"select:Bash\",\"total_deferred_tools\":74}"}
+{"timestamp":"2026-04-12T18:00:26Z","type":"tool","tool":"Bash","input":{"command":"npx tsc --noEmit 2>&1","description":"Type-check the project"},"response":"{\"stdout\":\"\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T18:00:52Z","type":"tool","tool":"Bash","input":{"command":"ls /home/tiago/typed-builder/package.json /home/tiago/typed-builder/tsconfig.json 2>&1","description":"Check for project config files"},"response":"{\"stdout\":\"/home/tiago/typed-builder/package.json\\n/home/tiago/typed-builder/tsconfig.json\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T18:00:58Z","type":"tool","tool":"Read","input":{"file_path":"/home/tiago/typed-builder/package.json"},"response":"{\"type\":\"text\",\"file\":{\"filePath\":\"/home/tiago/typed-builder/package.json\",\"content\":\"{\\n  \\\"name\\\": \\\"typed-builder\\\",\\n  \\\"version\\\": \\\"0.0.1\\\",\\n  \\\"description\\\": \\\"TypeScript pattern: builder with accumulating type parameters, domain-defined hooks, Elysia-style .use() composition\\\",\\n  \\\"main\\\": \\\"dist/index.js\\\",\\n  \\\"types\\\": \\\"dist/index.d.ts\\\",\\n  \\\"scripts\\\": {\\n    \\\"build\\\": \\\"tsc\\\",\\n    \\\"typecheck\\\": \\\"tsc --noEmit\\\",\\n    \\\"test\\\": \\\"tsc --noEmit --strict --skipLibCheck test/types.test-d.ts\\\",\\n    \\\"prepublishOnly\\\": \\\"npm run build\\\"\\n  },\\n  \\\"keywords\\\": [\\n    \\\"typescript\\\",\\n    \\\"builder-pattern\\\",\\n    \\\"type-level\\\",\\n    \\\"generic\\\",\\n    \\\"fluent-api\\\",\\n    \\\"accumulating-types\\\",\\n    \\\"mapped-types\\\"\\n  ],\\n  \\\"license\\\": \\\"MIT\\\",\\n  \\\"devDependencies\\\": {\\n    \\\"tsd\\\": \\\"^0.33.0\\\",\\n    \\\"typescript\\\": \\\"^5.0.0\\\"\\n  }\\n}\\n\",\"numLines\":28,\"startLine\":1,\"totalLines\":28}}"}
+{"timestamp":"2026-04-12T18:01:15Z","type":"tool","tool":"Bash","input":{"command":"npx tsc --noEmit --strict --skipLibCheck test/types.test-d.ts 2>&1","description":"Run the test script from package.json"},"response":"{\"stdout\":\"\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T18:02:14Z","type":"prompt","prompt":"what is the \"selectors\" doing exactly?"}
+{"timestamp":"2026-04-12T18:08:29Z","type":"prompt","prompt":"/grill-me what is the \"selectors\" and \"items\" doing exactly? I want the user to be able to define what is going inside the define function. even the accumulating and terminal functions need all to be defined by the user. Everything must be defined by the user. let's define what the user must define from what our framework defines.\n\ne.g. \nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\n  accumulating: ['beforeEachRun'],\n  terminal: ['afterEachRun', 'test'],\n});\n\nconst aiCfg = aiDefi"}
+{"timestamp":"2026-04-12T18:10:08Z","type":"prompt","prompt":"the user be able to say \"my define takes { models, pickers }\""}
+{"timestamp":"2026-04-12T18:11:48Z","type":"prompt","prompt":"B"}
+{"timestamp":"2026-04-12T18:14:06Z","type":"prompt","prompt":"models? that is domain agnostic."}
+{"timestamp":"2026-04-12T18:15:35Z","type":"prompt","prompt":"models? that is domain agnostic."}
+{"timestamp":"2026-04-12T18:18:45Z","type":"prompt","prompt":"user defines what hooks receive."}
+{"timestamp":"2026-04-12T18:21:11Z","type":"prompt","prompt":"something like that"}
+{"timestamp":"2026-04-12T18:23:50Z","type":"prompt","prompt":"there are 2 users. the user of the framework and the user of our framework."}
+{"timestamp":"2026-04-12T18:24:15Z","type":"prompt","prompt":"there are 2 users. the user of the framework and the user of our framework. so which user are you talking about?"}
+{"timestamp":"2026-04-12T18:31:13Z","type":"prompt","prompt":"normally the end user returns the values he wants to return (he can even not return) and those values normally go to context. I want to think about 1 more thing first. I think that accumulating and terminal functions should for example get context from the top ones for example:\n\ndefine()\n.beforeEachRun(//returns some context, can't use the context from the next beforeEachRun)\n.beforeEachRun(//can use the context from the previous beforeEachRun)\n// same situation with .afterEachRun"}
+{"timestamp":"2026-04-12T18:34:38Z","type":"prompt","prompt":"yes. but accumulating methods should return unknown. for me there are 2 types of methods. methods that run before, methods that run during (for example test function) and methods that run after."}
+{"timestamp":"2026-04-12T18:35:41Z","type":"prompt","prompt":"yes. but accumulating methods should return unknown. for me there are 3 types of methods. methods that run before, methods that run during (for example test function) and methods that run after."}
+{"timestamp":"2026-04-12T18:38:24Z","type":"prompt","prompt":"A. It was more like void | Record<RecordKey, unknown>"}
+{"timestamp":"2026-04-12T18:40:17Z","type":"prompt","prompt":"but only the values that were returned (Record<RecordKey, unknown>) count for the intersection"}
+{"timestamp":"2026-04-12T18:44:04Z","type":"prompt","prompt":"but only the values that were returned (Record<RecordKey, unknown>) count for the intersection"}
+{"timestamp":"2026-04-12T18:46:20Z","type":"prompt","prompt":"/freestyle:best"}
+{"timestamp":"2026-04-12T18:53:30Z","type":"tool","tool":"ToolSearch","input":{"query":"select:Write","max_results":1},"response":"{\"matches\":[\"Write\"],\"query\":\"select:Write\",\"total_deferred_tools\":74}"}
+{"timestamp":"2026-04-12T18:53:50Z","type":"tool","tool":"Write","input":{"file_path":"/home/tiago/typed-builder/src/index.ts","content":"// ══════════════════════════════════════════════════════════════════════════════════\n// Typed Builder — domain-agnostic builder with accumulating type parameters\n// ══════════════════════════════════════════════════════════════════════════════════\n\ntype Builder<\n  TConfig,\n  TKeys extends string,\n  TItems extends Record<string, TConfig>,\n  TContext extends Record<string, unknown>,\n  THooks extends string\n> = {\n  use<\n    UKeys extends string,\n    UItems extends Record<string, TConfig>,\n    UContext extends Record<string, unknown>\n  >(\n    source: Builder<TConfig, UKeys, UItems, UContext, THooks>\n  ): Builder<TConfig, TKeys | UKeys, TItems & UItems, TContext & UContext, THooks>;\n} & {\n  [K in THooks]: <TReturn extends Record<string, unknown> = {}>(\n    fn: (ctx: { key: TKeys } & TItems & TContext) => void | TReturn\n  ) => Builder<TConfig, TKeys, TItems, TContext & TReturn, THooks>;\n};\n\n// Factory — curried: TConfig explicit, hook names inferred from spec\nfunction createBuilder<TConfig>() {\n  return function <TBefore extends string, TDuring extends string, TAfter extends string>(spec: {\n    before: TBefore[];\n    during: TDuring[];\n    after: TAfter[];\n  }) {\n\n    function define<TItems extends Record<string, TConfig>>(\n      items: TItems\n    ): Builder<TConfig, keyof TItems & string, TItems, {}, TBefore | TDuring | TAfter>;\n\n    function define(): Builder<TConfig, never, {}, {}, TBefore | TDuring | TAfter>;\n\n    function define(items?: any): any {\n      const instance: any = {};\n      instance.use = (source: any) => instance;\n      const allHooks = [...spec.before, ...spec.during, ...spec.after];\n      for (const hookName of allHooks) {\n        instance[hookName] = (fn: any) => instance;\n      }\n      return instance;\n    }\n\n    return { define };\n  };\n}\n\nexport { createBuilder, type Builder };\n"},"response":"{\"type\":\"update\",\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"content\":\"// ══════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ══════════════════════════════════════════════════════════════════════════════════\\n\\ntype Builder<\\n  TConfig,\\n  TKeys extends string,\\n  TItems extends Record<string, TConfig>,\\n  TContext extends Record<string, unknown>,\\n  THooks extends string\\n> = {\\n  use<\\n    UKeys extends string,\\n    UItems extends Record<string, TConfig>,\\n    UContext extends Record<string, unknown>\\n  >(\\n    source: Builder<TConfig, UKe"}
+{"timestamp":"2026-04-12T18:54:21Z","type":"tool","tool":"Write","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts","content":"import { expectType } from 'tsd';\nimport { createBuilder, type Builder } from '../src/index';\n\n// ══════════════════════════════════════════════════════════════════════════════════\n// DOMAIN 1: AI Model Testing — verify types\n// ══════════════════════════════════════════════════════════════════════════════════\n\ntype AIModelConfig = {\n  models: Array<{ provider: string; model: string }>;\n  systemPrompt?: string;\n  temperature?: number;\n};\n\nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\n  before: ['beforeEachRun'],\n  during: ['test'],\n  after: ['afterEachRun'],\n});\n\nconst aiBuilder = aiDefine({\n  opus: { models: [{ provider: \"anthropic\", model: \"claude-opus\" }], temperature: 0.7 },\n  gpt4: { models: [{ provider: \"openai\", model: \"gpt-4\" }] },\n})\n  .beforeEachRun((ctx) => {\n    expectType<\"opus\" | \"gpt4\">(ctx.key);\n    expectType<AIModelConfig>(ctx.opus);\n    expectType<number>(ctx.opus.temperature!);\n    expectType<string>(ctx.gpt4.models[0].provider);\n    return { cost: 0.01 };\n  })\n  .test((ctx) => {\n    expectType<\"opus\" | \"gpt4\">(ctx.key);\n    expectType<number>(ctx.cost);\n    expectType<AIModelConfig>(ctx.opus);\n  })\n  .afterEachRun((ctx) => {\n    expectType<\"opus\" | \"gpt4\">(ctx.key);\n    expectType<number>(ctx.cost);\n    expectType<AIModelConfig>(ctx.opus);\n  });\n\n// ══════════════════════════════════════════════════════════════════════════════════\n// DOMAIN 2: Restaurant — DIFFERENT hook names\n// ══════════════════════════════════════════════════════════════════════════════════\n\ntype MenuItemConfig = {\n  inStock: boolean;\n  price: number;\n  calories: number;\n  allergens: string[];\n};\n\nconst { define: menuDefine } = createBuilder<MenuItemConfig>()({\n  before: ['beforePrep'],\n  during: [],\n  after: ['receipt'],\n});\n\nconst menuBuilder = menuDefine({\n  burger: { inStock: true, price: 12.99, calories: 650, allergens: [\"gluten\", \"dairy\"] },\n  salad: { inStock: true, price: 8.99, calories: 320, allergens: [] },\n})\n  .beforePrep((ctx) => {\n    expectType<\"burger\" | \"salad\">(ctx.key);\n    expectType<MenuItemConfig>(ctx.burger);\n    expectType<number>(ctx.salad.price);\n    return { totalPrice: 15.49, hasAllergens: true };\n  })\n  .receipt((ctx) => {\n    expectType<\"burger\" | \"salad\">(ctx.key);\n    expectType<number>(ctx.totalPrice);\n    expectType<boolean>(ctx.hasAllergens);\n  });\n\n// ══════════════════════════════════════════════════════════════════════════════════\n// DOMAIN 3: CI/CD — .use() composition\n// ══════════════════════════════════════════════════════════════════════════════════\n\ntype RunnerConfig = { capabilities: string[]; maxParallel: number; costPerMinute: number; region: string };\n\nconst { define: ciDefine } = createBuilder<RunnerConfig>()({\n  before: ['beforeJob'],\n  during: ['execute'],\n  after: ['afterJob'],\n});\n\nconst gpuRunner = ciDefine({\n  \"gpu-runner\": { capabilities: [\"gpu\"], maxParallel: 4, costPerMinute: 0.5, region: \"us-east\" },\n  \"cpu-runner\": { capabilities: [\"cpu\"], maxParallel: 16, costPerMinute: 0.05, region: \"eu-west\" },\n});\n\nconst ciBuilder = ciDefine()\n  .use(gpuRunner)\n  .beforeJob((ctx) => {\n    expectType<\"gpu-runner\" | \"cpu-runner\">(ctx.key);\n    expectType<string[]>(ctx[\"gpu-runner\"].capabilities);\n    return { estimatedCost: 2.5, region: \"us-east\" };\n  })\n  .execute((ctx) => {\n    expectType<\"gpu-runner\" | \"cpu-runner\">(ctx.key);\n    expectType<number>(ctx.estimatedCost);\n    expectType<string>(ctx.region);\n  });\n\n// ══════════════════════════════════════════════════════════════════════════════════\n// CROSS-DOMAIN REJECTION\n// ══════════════════════════════════════════════════════════════════════════════════\n\n// @ts-expect-error — cannot .use() a CI builder in an AI builder\naiDefine().use(gpuRunner);\n\n// @ts-expect-error — AI builder has no .beforePrep()\naiDefine({ opus: { models: [{ provider: \"a\", model: \"b\" }] } }).beforePrep(() => {});\n\n// @ts-expect-error — Restaurant builder has no .test()\nmenuDefine({ salad: { inStock: true, price: 5, calories: 200, allergens: [] } }).test(() => {});\n\n// @ts-expect-error — CI builder has no .beforeEachRun()\nciDefine({ r: { capabilities: [], maxParallel: 1, costPerMinute: 0, region: \"us\" } }).beforeEachRun(() => {});\n"},"response":"{\"type\":\"update\",\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"content\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ══════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ══════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIModelConfig = {\\n  models: Array<{ provider: string; model: string }>;\\n  systemPrompt?: string;\\n  temperature?: number;\\n};\\n\\nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\\n  before: ['beforeEachRun'],\\n  during: ['test'],\\n  after: ['a"}
+{"timestamp":"2026-04-12T18:54:42Z","type":"tool","tool":"Bash","input":{"command":"npx tsc --noEmit 2>&1","description":"Type-check the project"},"response":"{\"stdout\":\"\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T18:54:52Z","type":"tool","tool":"Bash","input":{"command":"npx tsc --noEmit --strict --skipLibCheck test/types.test-d.ts 2>&1","description":"Type-check the test file with strict mode"},"response":"{\"stdout\":\"\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T18:55:01Z","type":"tool","tool":"Read","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts"},"response":"{\"type\":\"text\",\"file\":{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"content\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ══════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ══════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIModelConfig = {\\n  models: Array<{ provider: string; model: string }>;\\n  systemPrompt?: string;\\n  temperature?: number;\\n};\\n\\nconst { define: aiDefine } = createBuilder<AIModelConfig>()({\\n  before: ['beforeEachRun'],\\n  during: ['test'],\\n  afte"}
+{"timestamp":"2026-04-12T18:55:02Z","type":"tool","tool":"Read","input":{"file_path":"/home/tiago/typed-builder/src/index.ts"},"response":"{\"type\":\"text\",\"file\":{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"content\":\"// ══════════════════════════════════════════════════════════════════════════════════\\n// Typed Builder — domain-agnostic builder with accumulating type parameters\\n// ══════════════════════════════════════════════════════════════════════════════════\\n\\ntype Builder<\\n  TConfig,\\n  TKeys extends string,\\n  TItems extends Record<string, TConfig>,\\n  TContext extends Record<string, unknown>,\\n  THooks extends string\\n> = {\\n  use<\\n    UKeys extends string,\\n    UItems extends Record<string, TConfig>,\\n    UContext extends Record<string, unknown>\\n  >(\\n    source: Builder<TConfi"}
+{"timestamp":"2026-04-12T18:56:04Z","type":"prompt","prompt":"commit and push"}
+{"timestamp":"2026-04-12T18:56:15Z","type":"tool","tool":"Bash","input":{"command":"git -C /home/tiago/typed-builder status","description":"Show working tree status"},"response":"{\"stdout\":\"On branch master\\nYour branch is up to date with 'origin/master'.\\n\\nChanges not staged for commit:\\n  (use \\\"git add <file>...\\\" to update what will be committed)\\n  (use \\\"git restore <file>...\\\" to discard changes in working directory)\\n\\tmodified:   .gitignore\\n\\tmodified:   src/index.ts\\n\\tmodified:   test/types.test-d.ts\\n\\nUntracked files:\\n  (use \\\"git add <file>...\\\" to include in what will be committed)\\n\\t.claude/\\n\\nno changes added to commit (use \\\"git add\\\" and/or \\\"git commit -a\\\")\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T18:56:16Z","type":"tool","tool":"Bash","input":{"command":"git -C /home/tiago/typed-builder diff","description":"Show staged and unstaged changes"},"response":"{\"stdout\":\"diff --git a/.gitignore b/.gitignore\\nindex 5e9eee0..4dc4509 100644\\n--- a/.gitignore\\n+++ b/.gitignore\\n@@ -1,3 +1,6 @@\\n node_modules/\\n dist/\\n *.js.map\\n+\\n+# AgentOps session artifacts\\n+.agents/\\ndiff --git a/src/index.ts b/src/index.ts\\nindex d4b3355..c7aeb63 100644\\n--- a/src/index.ts\\n+++ b/src/index.ts\\n@@ -1,104 +1,53 @@\\n-// ════════════════════════════════════════════════════════════════════════════════\\n+// ══════════════════════════════════════════════════════════════════════════════════\\n // Typed Builder — domain-agnostic builder with accumulating type parameters\\n-// ═══════════════════════�"}
+{"timestamp":"2026-04-12T18:56:16Z","type":"tool","tool":"Bash","input":{"command":"git -C /home/tiago/typed-builder log --oneline -5","description":"Show recent commit messages"},"response":"{\"stdout\":\"28dd8e2 Initial commit: typed builder with accumulating generics and domain-defined hooks\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T18:56:29Z","type":"tool","tool":"Bash","input":{"command":"git -C /home/tiago/typed-builder add src/index.ts test/types.test-d.ts .gitignore","description":"Stage modified files"},"response":"{\"stdout\":\"\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T18:56:42Z","type":"tool","tool":"Bash","input":{"command":"git -C /home/tiago/typed-builder commit -m \"$(cat <<'EOF'\nRedesign: unified hooks with before/during/after lifecycle categories\n\nReplace the accumulating/terminal split with three lifecycle categories\n(before, during, after) where all hooks can accumulate context. Remove\nselectors and items wrapper — define() now takes a flat Record directly.\nHook callbacks receive a single ctx parameter with key + items spread\nflat + accumulated returns. Collapse BuilderCore/AccumulatingMethods/\nTerminalMethods into a single Builder type.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>\nEOF\n)\"","description":"Commit the redesigned builder"},"response":"{\"stdout\":\"[master a30ecbf] Redesign: unified hooks with before/during/after lifecycle categories\\n 3 files changed, 78 insertions(+), 132 deletions(-)\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T18:56:58Z","type":"tool","tool":"Bash","input":{"command":"git -C /home/tiago/typed-builder push 2>&1","description":"Push to remote"},"response":"{\"stdout\":\"To github.com:TiagoJacinto/typed-builder.git\\n   28dd8e2..a30ecbf  master -> master\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T19:00:37Z","type":"prompt","prompt":"I think the real value of this should be mostly the pluming and connecting of methods. I think there should be no before, during, after. there should be plumming of dependencies. or maybe more simply just let the user define functions in the order of the pipeline that they come. I want it to be agnostic to what the developer wants."}
+{"timestamp":"2026-04-12T19:01:25Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/src/index.ts","old_string":"// Factory — curried: TConfig explicit, hook names inferred from spec\nfunction createBuilder<TConfig>() {\n  return function <TBefore extends string, TDuring extends string, TAfter extends string>(spec: {\n    before: TBefore[];\n    during: TDuring[];\n    after: TAfter[];\n  }) {\n\n    function define<TItems extends Record<string, TConfig>>(\n      items: TItems\n    ): Builder<TConfig, keyof TItems & string, TItems, {}, TBefore | TDuring | TAfter>;\n\n    function define(): Builder<TConfig, never, {}, {}, TBefore | TDuring | TAfter>;\n\n    function define(items?: any): any {\n      const instance: any = {};\n      instance.use = (source: any) => instance;\n      const allHooks = [...spec.before, ...spec.during, ...spec.after];\n      for (const hookName of allHooks) {","new_string":"// Factory — curried: TConfig explicit, hook names inferred from spec\nfunction createBuilder<TConfig>() {\n  return function <THooks extends string>(hooks: THooks[]) {\n\n    function define<TItems extends Record<string, TConfig>>(\n      items: TItems\n    ): Builder<TConfig, keyof TItems & string, TItems, {}, THooks>;\n\n    function define(): Builder<TConfig, never, {}, {}, THooks>;\n\n    function define(items?: any): any {\n      const instance: any = {};\n      instance.use = (source: any) => instance;\n      for (const hookName of hooks) {","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/src/index.ts\",\"oldString\":\"// Factory — curried: TConfig explicit, hook names inferred from spec\\nfunction createBuilder<TConfig>() {\\n  return function <TBefore extends string, TDuring extends string, TAfter extends string>(spec: {\\n    before: TBefore[];\\n    during: TDuring[];\\n    after: TAfter[];\\n  }) {\\n\\n    function define<TItems extends Record<string, TConfig>>(\\n      items: TItems\\n    ): Builder<TConfig, keyof TItems & string, TItems, {}, TBefore | TDuring | TAfter>;\\n\\n    function define(): Builder<TConfig, never, {}, {}, TBefore | TDuring | TAfter>;\\n\\n    function define(items?: any): any {\\n      const instance: any = {};\\n      instance.use = (source: any) => instance;\\n      const allHooks = [...spec.before, ...spec.during, ...spec.after];\\n      for (const hookName of allHooks) {\",\"newString\":\"// Factory — curried: TConfig explicit, hook names inferred from spec\\nfunction createBuilder<TConfig>() {\\n  return function <THoo"}
+{"timestamp":"2026-04-12T19:01:39Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts","old_string":"const { define: aiDefine } = createBuilder<AIModelConfig>()({\n  before: ['beforeEachRun'],\n  during: ['test'],\n  after: ['afterEachRun'],\n});","new_string":"const { define: aiDefine } = createBuilder<AIModelConfig>()([\n  'beforeEachRun',\n  'test',\n  'afterEachRun',\n]);","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"oldString\":\"const { define: aiDefine } = createBuilder<AIModelConfig>()({\\n  before: ['beforeEachRun'],\\n  during: ['test'],\\n  after: ['afterEachRun'],\\n});\",\"newString\":\"const { define: aiDefine } = createBuilder<AIModelConfig>()([\\n  'beforeEachRun',\\n  'test',\\n  'afterEachRun',\\n]);\",\"originalFile\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ══════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ═════════════════════════════════════════════════════════════════════════════�"}
+{"timestamp":"2026-04-12T19:01:39Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts","old_string":"const { define: menuDefine } = createBuilder<MenuItemConfig>()({\n  before: ['beforePrep'],\n  during: [],\n  after: ['receipt'],\n});","new_string":"const { define: menuDefine } = createBuilder<MenuItemConfig>()([\n  'beforePrep',\n  'receipt',\n]);","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"oldString\":\"const { define: menuDefine } = createBuilder<MenuItemConfig>()({\\n  before: ['beforePrep'],\\n  during: [],\\n  after: ['receipt'],\\n});\",\"newString\":\"const { define: menuDefine } = createBuilder<MenuItemConfig>()([\\n  'beforePrep',\\n  'receipt',\\n]);\",\"originalFile\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ══════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ══════════════════════════════════════════════════════════════════════════════════\\n\\ntype AIMo"}
+{"timestamp":"2026-04-12T19:01:41Z","type":"tool","tool":"Edit","input":{"file_path":"/home/tiago/typed-builder/test/types.test-d.ts","old_string":"const { define: ciDefine } = createBuilder<RunnerConfig>()({\n  before: ['beforeJob'],\n  during: ['execute'],\n  after: ['afterJob'],\n});","new_string":"const { define: ciDefine } = createBuilder<RunnerConfig>()([\n  'beforeJob',\n  'execute',\n  'afterJob',\n]);","replace_all":false},"response":"{\"filePath\":\"/home/tiago/typed-builder/test/types.test-d.ts\",\"oldString\":\"const { define: ciDefine } = createBuilder<RunnerConfig>()({\\n  before: ['beforeJob'],\\n  during: ['execute'],\\n  after: ['afterJob'],\\n});\",\"newString\":\"const { define: ciDefine } = createBuilder<RunnerConfig>()([\\n  'beforeJob',\\n  'execute',\\n  'afterJob',\\n]);\",\"originalFile\":\"import { expectType } from 'tsd';\\nimport { createBuilder, type Builder } from '../src/index';\\n\\n// ══════════════════════════════════════════════════════════════════════════════════\\n// DOMAIN 1: AI Model Testing — verify types\\n// ═════════════════════════════════════════════════════════════════════════════════�"}
+{"timestamp":"2026-04-12T19:01:59Z","type":"tool","tool":"Bash","input":{"command":"npx tsc --noEmit 2>&1","description":"Type-check the project"},"response":"{\"stdout\":\"\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T19:02:08Z","type":"tool","tool":"Bash","input":{"command":"npx tsc --noEmit --strict --skipLibCheck test/types.test-d.ts 2>&1","description":"Strict type-check the test file"},"response":"{\"stdout\":\"\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T19:02:31Z","type":"tool","tool":"Bash","input":{"command":"git -C /home/tiago/typed-builder add src/index.ts test/types.test-d.ts && git -C /home/tiago/typed-builder commit -m \"$(cat <<'EOF'\nRemove lifecycle categories — flat hook list instead of before/during/after\n\nThe builder is now fully agnostic about hook semantics. The developer\nprovides a flat array of hook names and decides the pipeline order.\nThe framework only provides plumbing: accumulation, composition via\n.use(), and type threading.\n\nCo-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>\nEOF\n)\" && git -C /home/tiago/typed-builder push 2>&1","description":"Stage, commit, and push"},"response":"{\"stdout\":\"[master fc491f8] Remove lifecycle categories — flat hook list instead of before/during/after\\n 2 files changed, 18 insertions(+), 24 deletions(-)\\nTo github.com:TiagoJacinto/typed-builder.git\\n   a30ecbf..fc491f8  master -> master\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}
+{"timestamp":"2026-04-12T19:04:54Z","type":"prompt","prompt":"commit and push"}
+{"timestamp":"2026-04-12T19:05:07Z","type":"tool","tool":"Bash","input":{"command":"git -C /home/tiago/typed-builder status","description":"Check for uncommitted changes"},"response":"{\"stdout\":\"On branch master\\nYour branch is up to date with 'origin/master'.\\n\\nUntracked files:\\n  (use \\\"git add <file>...\\\" to include in what will be committed)\\n\\t.claude/\\n\\nnothing added to commit but untracked files present (use \\\"git add\\\" to track)\",\"stderr\":\"\",\"interrupted\":false,\"isImage\":false,\"noOutputExpected\":false}"}

package/API.md

@@ -0,0 +1,124 @@
+# API Reference
+
+Hook signatures, type parameters, and runtime behavior for `typed-builder`.
+
+## `createBuilder<TConfig, THooksMap>(hookNames)`
+
+Factory function that creates a domain-specific builder factory.
+
+**Parameters:**
+
+| Name | Type | Description |
+|------|------|-------------|
+| `TConfig` | `object` | Your domain's item configuration type. Fixed for all items in this builder. |
+| `THooksMap` | `Record<string, THookDef>` | Map of hook names to their `{ input, output }` type definitions. |
+| `hookNames` | `Array<keyof THooksMap>` | Array of hook names that this builder will use. |
+
+**Returns:**
+
+```typescript
+{
+  define: {
+    <TItems extends Record<string, TConfig>>(items: TItems): Builder<TConfig, keyof TItems & string, TItems, {}, THooksMap>;
+    (): Builder<TConfig, never, {}, {}, THooksMap>;
+  };
+}
+```
+
+## Builder Type Parameters
+
+The `Builder` type carries six parameters:
+
+| Parameter | Bounded by | Accumulates via | Description |
+|-----------|-----------|-----------------|-------------|
+| `TConfig` | `object` | — (fixed) | Your domain's item configuration type |
+| `TKey` | `string` | `TKey \| TRouteKey` | Union of all item keys from routes and composition |
+| `TRegistry` | `Record<string, TConfig>` | `TRegistry & URegistry` | Map of item names to their configs |
+| `TContext` | `Record<string, unknown>` | `TContext & TReturn` | Data returned by accumulating hooks |
+| `TAccumulating` | `string` | — (from factory) | Hook names that return data downstream |
+| `TTerminal` | `string` | — (from factory) | Hook names that only observe |
+
+## Hook Signatures
+
+### Accumulating Hook
+
+```typescript
+(key: TKey, ctx: { items: TRegistry }) => TReturn | void
+```
+
+**Behavior:** Return value merges into `TContext` via intersection — available to all downstream hooks and terminal hooks.
+
+**Type narrowing:**
+
+| Return value | Merged into `TContext` |
+|-------------|----------------------|
+| `{ cost: number }` | `TContext & { cost: number }` |
+| `void` | No change to `TContext` |
+| `{ items: string[] }` | `TContext & { items: string[] }` (overwrites) |
+
+### Terminal Hook
+
+```typescript
+(ctx: { key: TKey } & { items: TRegistry } & TContext) => string | void
+```
+
+**Behavior:** Receives all accumulated data; return value is the builder's final output. Cannot pass data further downstream.
+
+## Route Signature
+
+```typescript
+(ctx: { key: TKey } & { items: TRegistry }) => string | void
+```
+
+Routes are defined in `BuilderConfig.routes` as named methods.
+
+## Builder Methods
+
+### Accumulating Hook Methods
+
+For each name in the `accumulating` array, the builder exposes a method:
+
+```typescript
+.beforeHookName(
+  callback: (key: TKey, ctx: { items: TRegistry }) => TReturn
+): BuilderWithNarrowedContext
+```
+
+### Terminal Hook Methods
+
+For each name in the `terminal` array, the builder exposes a method:
+
+```typescript
+.terminalHookName(
+  callback: (ctx: { key: TKey } & { items: TRegistry } & TContext) => string | void
+): string | void
+```
+
+### `.use()`
+
+Composes another builder's types into this one. Both builders must have the same `TConfig`.
+
+```typescript
+.use(other: OtherBuilder<TConfig>): ComposedBuilder
+```
+
+**Effect:** `TKey`, `TRegistry`, and `TContext` are all intersected between the two builders.
+
+## Type Safety Guarantees
+
+| What you do | TypeScript catches |
+|------------|-------------------|
+| Return a key not in `items` | Error: key not in registry |
+| Use wrong hook name | Error: method doesn't exist on builder |
+| Access hook data before it accumulates | Error: property doesn't exist on context |
+| Compose builders with different `TConfig` | Error: TConfig mismatch |
+| Call terminal hook as accumulating | Error: return value not permitted |
+
+## Limitations
+
+| Limitation | Why it exists |
+|-----------|---------------|
+| Hook signatures are fixed | Enables mapped-type method generation |
+| No runtime validation | Types are erased at compile time |
+| TypeScript only | Relies on erased generic inference |
+| Single TConfig per factory | Enables safe composition via `.use()` |

package/DESIGN.md

@@ -0,0 +1,244 @@
+# Accumulating Type Builder
+
+A TypeScript pattern for **type-safe builder chains** where each method call narrows the types available to all subsequent calls. Generic type parameters carry accumulated information — item keys, item maps, and hook return data — through the entire chain.
+
+The library provides the **type machinery**. The domain provides the **vocabulary**.
+
+---
+
+## Quick Start
+
+```typescript
+import { createBuilder } from 'typed-builder';
+
+type RunnerConfig = { capabilities: string[]; maxParallel: number; region: string };
+
+type PipelineHooks = {
+  beforeJob: { input: { items: Record<string, RunnerConfig> }; output: { estimatedCost: number } };
+  execute: { input: { items: Record<string, RunnerConfig> } & { estimatedCost: number }; output: string };
+};
+
+const { define } = createBuilder<RunnerConfig, PipelineHooks>()(['beforeJob', 'execute']);
+
+const result = define({
+  'gpu-runner': { capabilities: ['cuda'], maxParallel: 4, region: 'us-east-1' },
+})
+  .beforeJob((ctx) => ({ estimatedCost: ctx.items['gpu-runner'].maxParallel * 0.25 }))
+  .execute((ctx) => `Running on ${ctx.items['gpu-runner'].region}. Cost: $${ctx.estimatedCost}`);
+// result: string
+```
+
+---
+
+## How It Works
+
+### The core idea
+
+Regular builders lose type information as you chain methods. With `typed-builder`, types *accumulate*:
+
+```typescript
+define({ 'gpu-runner': { capabilities: ['cuda'], region: 'us-east' } })
+  .beforeJob((ctx) => ({ estimatedCost: 1.5 }))
+  .execute((ctx) => {
+    ctx.estimatedCost; // ✅ number — accumulated from beforeJob
+    return `Cost: $${ctx.estimatedCost}`;
+  });
+```
+
+`execute` knows about `estimatedCost` because `beforeJob` accumulated it into the type context. No manual type declarations — TypeScript derives everything from the chain.
+
+### Accumulating hooks
+
+Hooks that return a `Record<string, unknown>` accumulate their return value into the type context for all downstream hooks:
+
+```typescript
+.beforeJob((ctx) => ({ estimatedCost: 1.5 }))
+// TContext = {} & { estimatedCost: number }
+
+// later hook sees ctx.estimatedCost
+.execute((ctx) => { ctx.estimatedCost; })
+```
+
+### Terminal hooks
+
+Hooks that return `void`, `never`, or anything that isn't a `Record<string, unknown>` end the chain. The `output` type determines what you get back:
+
+| Return value | Effect on chain |
+|-------------|-----------------|
+| `{ cost: number }` | Continues — `TContext` gains `cost` |
+| `void` | Ends — returns `TerminalResult` |
+| `never` | Ends — returns `TerminalResult` |
+| `string` | Ends — returns `TerminalResult` |
+
+```typescript
+type PipelineHooks = {
+  beforeJob: { input: { items: Record<string, RunnerConfig> }; output: { estimatedCost: number } };
+  execute: {
+    input: { items: Record<string, RunnerConfig> } & { estimatedCost: number };
+    output: string; // does not accumulate — chain ends here
+  };
+};
+```
+
+### Composition with `.use()`
+
+Merge two builders that share the same `TConfig`. Their types are combined via union/intersection:
+
+```typescript
+runnerBuilder
+  .use(notifyBuilder)
+  .notify((ctx) => {
+    ctx.estimatedCost; // ✅ from runnerBuilder
+    ctx.notifyCount;   // ✅ from notifyBuilder
+  });
+```
+
+---
+
+## Defining Your Domain
+
+### 1. Item configuration type
+
+`TConfig` is the shape of each item. Fixed for the entire builder.
+
+```typescript
+type RunnerConfig = {
+  capabilities: string[];
+  maxParallel: number;
+  region: string;
+};
+```
+
+### 2. Hook definitions
+
+Each hook in `THooksMap` declares its `input` (what it receives) and `output` (what it returns):
+
+```typescript
+type PipelineHooks = {
+  beforeJob: {
+    input: { items: Record<string, RunnerConfig> };
+    output: { estimatedCost: number }; // non-void record → accumulates
+  };
+  report: {
+    input: { items: Record<string, RunnerConfig> } & { estimatedCost: number };
+    output: void; // void → does NOT accumulate, chain ends here
+  };
+};
+```
+
+- **`input`** — what the hook receives as context when called. TypeScript merges it with `{ key: TKeys }`, `TItems`, and `TContext`.
+- **`output`** — a non-void `Record<string, unknown>` accumulates into `TContext`. `void` or `never` ends the chain.
+
+### 3. Create the factory
+
+```typescript
+const { define } = createBuilder<RunnerConfig, PipelineHooks>()([
+  'beforeJob',
+  'report',
+]);
+```
+
+### 4. Use the builder
+
+```typescript
+define({
+  'gpu-runner': { capabilities: ['cuda'], maxParallel: 4, region: 'us-east-1' },
+})
+  .beforeJob((ctx) => ({ estimatedCost: ctx.items['gpu-runner'].maxParallel * 0.25 }))
+  .report((ctx) => {
+    ctx.estimatedCost; // ✅ number
+  });
+```
+
+---
+
+## Type Parameters Reference
+
+| Parameter | Bounds | What it means |
+|-----------|--------|---------------|
+| `TConfig` | `object` | Your domain's item configuration shape. Fixed per factory. |
+| `TKeys` | `string` | Union of all item keys. Accumulates via `TKeys \| UKeys`. |
+| `TItems` | `Record<string, TConfig>` | Map of item names to configs. Accumulates via `TItems & UItems`. |
+| `TContext` | `Record<string, unknown>` | Data returned by accumulating hooks. Accumulates via `TContext & UContext`. |
+| `THooksMap` | `Record<string, THookDef>` | Hook name → `{ input, output }` map. Fixed at construction. |
+
+### `TerminalResult`
+
+When a chain terminates, you get this instead of a builder:
+
+```typescript
+type TerminalResult<TConfig, TItems, TContext> = {
+  config: TConfig;
+  items: TItems;
+  context: TContext;
+};
+```
+
+---
+
+## The Builder Type — Full Definition
+
+```typescript
+type Builder<
+  TConfig,                                    // Domain item configuration (fixed)
+  TKeys extends string,                       // Union of item keys
+  TItems extends Record<string, TConfig>,     // Map of item names to configs
+  TContext extends Record<string, unknown>,   // Accumulated hook return data
+  THooksMap extends Record<string, THookDef>  // Hook definitions (fixed)
+> = {
+  use<UKeys, UItems, UContext, UHooksMap>(
+    source: Builder<TConfig, UKeys, UItems, UContext, UHooksMap>
+  ): Builder<
+    TConfig,
+    TKeys | UKeys,         // union accumulation
+    TItems & UItems,       // intersection accumulation
+    TContext & UContext,  // intersection accumulation
+    THooksMap
+  >;
+} & {
+  [K in keyof THooksMap]: (
+    fn: (ctx: THooksMap[K]['input'] & { key: TKeys } & TItems & TContext) => void | THooksMap[K]['output']
+  ) => [THooksMap[K]['output']] extends [never]
+    ? TerminalResult<TConfig, TItems, TContext>
+    : THooksMap[K]['output'] extends Record<string, unknown>
+      ? Builder<TConfig, TKeys, TItems, TContext & THooksMap[K]['output'], THooksMap>
+      : TerminalResult<TConfig, TItems, TContext>;
+};
+```
+
+The `[THooksMap[K]['output']] extends [never]` tuple wrapper is a TypeScript pattern to prevent `never` from being distribute-checked across the union.
+
+---
+
+## Implementation Notes
+
+### Runtime vs compile time
+
+At runtime, `createBuilder` creates a plain object with `use` and one method per hook name. Types are fully erased — only the type-level `THooksMap` carries hook definitions forward.
+
+### Mapped types generate methods
+
+`[K in keyof THooksMap]` generates a method for every hook in the map. No manual method declarations — the mapped type handles it generically.
+
+### Why intersection for `TItems` and `TContext`
+
+`TItems & UItems` merges item maps. If both builders define the same key, the intersection requires both shapes to be satisfied.
+
+`TContext & UContext` merges accumulated data. If two hooks return `{ cost: number }`, the intersection keeps one `cost` field.
+
+### Why union for `TKeys`
+
+`TKeys | UKeys` is a string literal union. A builder composed from two sources knows all keys from both.
+
+---
+
+## Type Safety Properties
+
+| Property | How it's enforced |
+|----------|-------------------|
+| Hook receives valid item keys | `{ key: TKeys }` — the union of all declared keys |
+| Hook return data available downstream | `TContext & THooksMap[K]['output']` on the next builder |
+| Wrong hook name rejected | Only `keyof THooksMap` methods exist |
+| Cross-domain composition rejected | Both builders must share `TConfig` |
+| Terminal hooks don't return a builder | `output: void` or `output: never` returns `TerminalResult` |
+| Accumulating hooks narrow context | Non-void `Record<string, unknown>` output merges into `TContext` |