refactor(sql-runtime): move budgets plugin with AST rewrite

packages/1-framework/3-tooling/cli/src/utils/formatters/help.ts

@@ -93,8 +93,7 @@ function formatReadMoreLine(options: {
   readonly useColor: boolean;
   readonly formatDimText: (text: string) => string;
 }): string {
-  const labelPadded =
-    'Read more' + ' '.repeat(Math.max(0, options.maxLabelWidth - 'Read more'.length));
+  const labelPadded = `Read more${' '.repeat(Math.max(0, options.maxLabelWidth - 'Read more'.length))}`;
   const valueColored = options.useColor ? blue(options.url) : options.url;
   return `${options.formatDimText('│')} ${labelPadded}  ${valueColored}`;
 }

packages/1-framework/4-runtime-executor/README.md

@@ -64,7 +64,7 @@ const core = createRuntimeCore({
   driver,
   verify: { mode: 'onFirstUse', requireMarker: false },
   operationRegistry,
-  plugins: [budgets()],
+  plugins: [],
 });
 ```
 
@@ -73,13 +73,10 @@ const core = createRuntimeCore({
 - `createRuntimeCore` - Create a target-neutral runtime instance
 - `RuntimeFamilyAdapter` - Interface for family runtimes
 - `MarkerReader` - Interface for marker reading
-- `budgets` - Target-neutral budgets plugin
 - `runtimeError` - Error envelope utilities
 - `computeSqlFingerprint` - SQL fingerprint computation
 - `parseContractMarkerRow` - Marker parsing utilities
 
-**Note:** The `lints` plugin has been migrated to the SQL domain. Import `lints` and `LintsOptions` from `@prisma-next/sql-runtime` instead. See [ADR 162](../../../docs/architecture docs/adrs/ADR 162 - Kysely lane emits PN SQL AST.md) for rationale.
-
 ## Testing
 
 Includes a mock-family smoke test (`test/mock-family.test.ts`) that proves runtime-executor can work without SQL dependencies.

packages/1-framework/4-runtime-executor/src/exports/index.ts

@@ -6,8 +6,6 @@ export type { BudgetFinding, LintFinding, RawGuardrailResult } from '../guardrai
 export { evaluateRawGuardrails } from '../guardrails/raw';
 export type { ContractMarkerRecord } from '../marker';
 export { parseContractMarkerRow } from '../marker';
-export type { BudgetsOptions } from '../plugins/budgets';
-export { budgets } from '../plugins/budgets';
 export type {
   AfterExecuteResult,
   Log,

packages/2-sql/5-runtime/README.md

@@ -118,7 +118,7 @@ for await (const row of runtime.execute(plan)) {
 
 ### Plugins
 
-- `budgets` - Re-exported from `@prisma-next/runtime-executor` (target-neutral)
+- `budgets` - **AST-first budget plugin** (canonical in SQL domain), inspects `plan.ast` when present for row estimation
 - `lints` - **AST-first lint plugin** (canonical in SQL domain), inspects `plan.ast` when present
 - `BudgetsOptions`, `LintsOptions` - Plugin option types
 - `Plugin`, `PluginContext` - Plugin interface types (from runtime-executor)

packages/2-sql/5-runtime/src/exports/index.ts

@@ -1,17 +1,17 @@
 export type {
   AfterExecuteResult,
-  BudgetsOptions,
   Log,
   Plugin,
   PluginContext,
 } from '@prisma-next/runtime-executor';
-export { budgets } from '@prisma-next/runtime-executor';
 export {
   extractCodecIds,
   validateCodecRegistryCompleteness,
   validateContractCodecMappings,
 } from '../codecs/validation';
 export { lowerSqlPlan } from '../lower-sql-plan';
+export type { BudgetsOptions } from '../plugins/budgets';
+export { budgets } from '../plugins/budgets';
 export type { LintsOptions } from '../plugins/lints';
 export { lints } from '../plugins/lints';
 export type {