@xanots/sdk 0.0.10 → 0.0.12

package/dist/index.d.ts

@@ -1,7 +1,9 @@
-import { ef as Condition, eg as FilterResults, eh as ElementResult, ei as SameArrayResult, ej as GroupedArrayResult, ek as AgentResultOf, b3 as AddonDef, el as OutputPath, cZ as TableDef, em as QualifiedCol, bx as DbEval, cY as SortDirective, bz as DbWhere, en as OutputRoot, bM as InferRow, eo as AggregateRow, ep as EvalFields, eq as OutputAuthored, cb as MicroserviceDef, ah as generated, F as FunctionDef, co as QueryHandle } from './store-BG1UPZ3Z.js';
-export { b4 as AddonXdo, A as AdoptChange, a as AdoptResult, b5 as AgentDef, b6 as AgentHandle, b7 as AgentOutput, b8 as AgentSettingsXdo, b9 as AgentXdo, ba as AmbientBindings, bb as AnthropicLlm, bc as ApiGroupDef, bd as ApiGroupXdo, be as AuthRef, bf as Authored, B as Bundle, b as BundlePayload, c as BundleType, bg as Capturable, b0 as CaptureRecord, a_ as CaptureValue, bh as ChannelConversationDef, bi as ChannelDeliveryDef, bj as ChannelDeliveryGuarantee, bk as ChannelPublishDef, bl as ChannelPublishWho, bm as ChannelRateLimitDef, bn as ColumnDef, bo as Comparison, bp as ContainerEnv, bq as ContainerPort, br as ContainerResources, bs as ContainerVolume, bt as CorsConfig, bu as CorsMode, bv as DatabaseActions, bw as DatabaseInputs, by as DbEvalFilter, bA as ErrorInputs, bB as ExceptionPolicy, bC as FieldAccessor, bD as FieldRule, bE as GoogleGenAiLlm, bF as HistoryInput, bG as HttpVerb, bH as IndexDef, bI as IndexLang, bJ as IndexOp, bK as IndexType, bL as IndexXdo, bN as InputDescriptor, bO as InputOptions, bP as IteratingBindings, bQ as KnowledgeDef, bR as KnowledgeDirSource, bS as KnowledgeFileSource, bT as KnowledgeMode, bU as KnowledgeType, bV as LAMBDA_BINDINGS, bW as LAMBDA_CODE_FILTERS, bX as LAMBDA_GLOBALS, bY as LAMBDA_MODULE_GLOBALS, bZ as LAMBDA_STATEMENTS, b1 as LambdaBindings, b_ as LambdaBody, aZ as LambdaOptions, a$ as LambdaSurface, b$ as LlmPrompt, c0 as LlmProvider, c1 as LlmSettings, g as LockEntry, h as LockExportContext, i as LockFile, M as Manifest, j as ManifestField, k as ManifestKind, l as ManifestStatement, c2 as ManifestValue, c3 as McpPathOptions, c4 as McpServerDef, c5 as McpServerHandle, c6 as McpServerXdo, m as MergeResult, c7 as MessageDeliverTo, c8 as MicroserviceChart, c9 as MicroserviceConfig, ca as MicroserviceContainer, cc as MicroserviceDeployment, cd as MicroserviceIngress, ce as MicroserviceRegistryAuth, cf as MicroserviceVolume, cg as MicroserviceXdo, ch as MiddlewareAttach, ci as MiddlewareAttachEntry, cj as MiddlewareDef, ck as MiddlewareXdo, O as ObjectKind, cl as OpenAiLlm, n as PayloadArrayKey, cm as QueryDef, cn as QueryFilterName, cp as QueryResponseType, cq as QueryXdo, cr as RealtimeActions, cs as RealtimeChannelActions, ct as RealtimeChannelDef, cu as RealtimeChannelHandle, cv as RealtimeChannelRef, cw as RealtimeChannelTriggerInputs, cx as RealtimeChannelXdo, cy as RealtimeClient, cz as RealtimeInputs, cA as RealtimeMessageDef, cB as RealtimeMessageXdo, cC as RealtimeServerActions, cD as RealtimeServerDef, cE as RealtimeServerHandle, cF as RealtimeServerRef, cG as RealtimeServerTriggerInputs, cH as RealtimeServerXdo, cI as RealtimeUrlOptions, R as RenameResult, cJ as ResultStrategy, cK as Route, cL as RowOf, cM as ScheduleDef, cN as SchemaCols, cO as SchemaDef, cP as SearchComparison, cQ as SearchGroup, cR as SearchNode, cS as SearchOp, cT as SearchParamValue, cU as SeedFileSource, cV as SeedRow, cW as SeedSource, cX as SortDir, S as StatementSpec, c_ as TableXdo, c$ as TaskDef, d0 as TaskXdo, d1 as ToolDef, d2 as ToolXdo, d3 as ToolsetBaseDef, d4 as ToolsetBaseXdo, d5 as ToolsetInputs, d6 as ToolsetToolEntry, d7 as ToolsetToolRef, d8 as TriggerDef, d9 as TriggerObjType, da as TriggerXdo, db as ViewDef, dc as ViewXdo, dd as WorkflowTestDef, de as WorkflowTestXdo, df as WorkspaceActions, dg as WorkspaceConfigDef, dh as WorkspaceConfigXdo, di as WorkspaceHistoryDef, dj as WorkspaceHistoryXdo, dk as WorkspaceInputs, dl as WorkspaceMiddlewareDef, dm as WorkspaceMiddlewareXdo, b2 as Xano, dn as XanoFreeLlm, dp as addon, dq as agent, dr as agentTrigger, ds as and, dt as apiGroup, du as assertLambdaBody, dv as bitwiseAnd, dw as bitwiseOr, dx as bitwiseXor, dy as cmp, dz as defineFunction, dA as emit, dB as emitBundle, dC as errorTrigger, dD as expr, dE as fl, dF as input, dG as knowledge, dH as knowledgeDir, dI as knowledgeFile, er as lam, dJ as mathAdd, dK as mathDiv, dL as mathMul, dM as mathSub, dN as mcpServer, dO as mcpServerTrigger, dP as microservice, dQ as middleware, dR as mixed, dS as objectEntries, dT as objectKeys, dU as objectValues, dV as or, dW as query, dX as realtimeChannel, dY as realtimeChannelTrigger, dZ as realtimeMessage, d_ as realtimeServer, d$ as realtimeServerTrigger, e0 as realtimeTrigger, e1 as resetLockOverrides, e2 as seedFile, e3 as seedLockOverrides, e4 as table, e5 as tableTrigger, e6 as task, e7 as textAppend, e8 as textPrepend, e9 as toSearchParams, ea as tool, eb as workflowTest, ec as workspace, ed as workspaceConfig, ee as workspaceTrigger } from './store-BG1UPZ3Z.js';
-import { a2 as StatementAnnotations, a1 as Statement, y as FromFieldMap, w as FilterXdo, V as Value, S as ObjValue, aH as Prettify, x as FilteredValue, X as RefValue, aM as AsShapeBrand, aj as XanoFileRef, a4 as StatementOptions, T as ObjectRef, P as ObjInput, F as FunctionXdo } from './response-CVAE2kMj.js';
-export { B as BrandOpts, c as BrandValue, C as CacheXdo, f as CaughtField, h as ConditionalContext, j as ConditionalElifContext, D as DecimalMethod, E as EmailMethod, k as ExprGroup, l as ExprNode, m as ExprOperand, n as ExprStatement, o as FieldAccess, p as FieldDescriptor, q as FieldMap, s as FieldOpts, u as FieldStyleType, v as FieldXdo, H as HistoryXdo, I as InputXdo, z as IntMethod, L as ListBoundsXdo, M as MethodArg, A as MethodOpts, G as MethodSpec, J as MethodXdo, K as MockEntry, N as MockMap, O as MockXdo, Q as ObjMember, U as PasswordMethod, W as PersistedFunctionRow, Y as RegexValue, Z as ResponseDef, _ as ResultItemXdo, $ as RowFromFieldMap, a0 as StackItemXdo, a3 as StatementInputXdo, a5 as TAGS, a6 as TEST_EXPECT_TYPES, a7 as TableRefMethod, a8 as Tag, a9 as TaggedValue, aa as TestDef, ab as TestExpect, ac as TestExpectType, ad as TestXdo, ae as TextFormat, af as TextMethod, ag as TypeBrand, ah as ValueOf, ai as VectorMethod, ak as XanoGeoPosition, al as XanoGeoValue, am as annotate, an as auth, ao as c, ap as caught, aq as col, ar as env, as as expect, at as f, au as filter, av as inp, aw as obj, ax as out, ay as ref, az as resp, aA as setting, aB as statements, aC as sys, aD as test, aE as toolset, aF as withFilters } from './response-CVAE2kMj.js';
+import { ef as Condition, eg as FilterResults, eh as ElementResult, ei as SameArrayResult, ej as GroupedArrayResult, ek as AgentResultOf, b3 as AddonDef, el as OutputPath, cZ as TableDef, em as QualifiedCol, bx as DbEval, cY as SortDirective, bz as DbWhere, en as OutputRoot, bM as InferRow, eo as AggregateRow, ep as EvalFields, eq as OutputAuthored, cb as MicroserviceDef, ah as generated, F as FunctionDef, co as QueryHandle } from './store-DAnUIi1T.js';
+export { b4 as AddonXdo, A as AdoptChange, a as AdoptResult, b5 as AgentDef, b6 as AgentHandle, b7 as AgentOutput, b8 as AgentSettingsXdo, b9 as AgentXdo, ba as AmbientBindings, bb as AnthropicLlm, bc as ApiGroupDef, bd as ApiGroupXdo, be as AuthRef, bf as Authored, B as Bundle, b as BundlePayload, c as BundleType, bg as Capturable, b0 as CaptureRecord, a_ as CaptureValue, bh as ChannelConversationDef, bi as ChannelDeliveryDef, bj as ChannelDeliveryGuarantee, bk as ChannelPublishDef, bl as ChannelPublishWho, bm as ChannelRateLimitDef, bn as ColumnDef, bo as Comparison, bp as ContainerEnv, bq as ContainerPort, br as ContainerResources, bs as ContainerVolume, bt as CorsConfig, bu as CorsMode, bv as DatabaseActions, bw as DatabaseInputs, by as DbEvalFilter, bA as ErrorInputs, bB as ExceptionPolicy, bC as FieldAccessor, bD as FieldRule, bE as GoogleGenAiLlm, bF as HistoryInput, bG as HttpVerb, bH as IndexDef, bI as IndexLang, bJ as IndexOp, bK as IndexType, bL as IndexXdo, bN as InputDescriptor, bO as InputOptions, bP as IteratingBindings, bQ as KnowledgeDef, bR as KnowledgeDirSource, bS as KnowledgeFileSource, bT as KnowledgeMode, bU as KnowledgeType, bV as LAMBDA_BINDINGS, bW as LAMBDA_CODE_FILTERS, bX as LAMBDA_GLOBALS, bY as LAMBDA_MODULE_GLOBALS, bZ as LAMBDA_STATEMENTS, b1 as LambdaBindings, b_ as LambdaBody, aZ as LambdaOptions, a$ as LambdaSurface, b$ as LlmPrompt, c0 as LlmProvider, c1 as LlmSettings, g as LockEntry, h as LockExportContext, i as LockFile, M as Manifest, j as ManifestField, k as ManifestKind, l as ManifestStatement, c2 as ManifestValue, c3 as McpPathOptions, c4 as McpServerDef, c5 as McpServerHandle, c6 as McpServerXdo, m as MergeResult, c7 as MessageDeliverTo, c8 as MicroserviceChart, c9 as MicroserviceConfig, ca as MicroserviceContainer, cc as MicroserviceDeployment, cd as MicroserviceIngress, ce as MicroserviceRegistryAuth, cf as MicroserviceVolume, cg as MicroserviceXdo, ch as MiddlewareAttach, ci as MiddlewareAttachEntry, cj as MiddlewareDef, ck as MiddlewareXdo, O as ObjectKind, cl as OpenAiLlm, n as PayloadArrayKey, cm as QueryDef, cn as QueryFilterName, cp as QueryResponseType, cq as QueryXdo, cr as RealtimeActions, cs as RealtimeChannelActions, ct as RealtimeChannelDef, cu as RealtimeChannelHandle, cv as RealtimeChannelRef, cw as RealtimeChannelTriggerInputs, cx as RealtimeChannelXdo, cy as RealtimeClient, cz as RealtimeInputs, cA as RealtimeMessageDef, cB as RealtimeMessageXdo, cC as RealtimeServerActions, cD as RealtimeServerDef, cE as RealtimeServerHandle, cF as RealtimeServerRef, cG as RealtimeServerTriggerInputs, cH as RealtimeServerXdo, cI as RealtimeUrlOptions, R as RenameResult, cJ as ResultStrategy, cK as Route, cL as RowOf, cM as ScheduleDef, cN as SchemaCols, cO as SchemaDef, cP as SearchComparison, cQ as SearchGroup, cR as SearchNode, cS as SearchOp, cT as SearchParamValue, cU as SeedFileSource, cV as SeedRow, cW as SeedSource, cX as SortDir, S as StatementSpec, c_ as TableXdo, c$ as TaskDef, d0 as TaskXdo, d1 as ToolDef, d2 as ToolXdo, d3 as ToolsetBaseDef, d4 as ToolsetBaseXdo, d5 as ToolsetInputs, d6 as ToolsetToolEntry, d7 as ToolsetToolRef, d8 as TriggerDef, d9 as TriggerObjType, da as TriggerXdo, db as ViewDef, dc as ViewXdo, dd as WorkflowTestDef, de as WorkflowTestXdo, df as WorkspaceActions, dg as WorkspaceConfigDef, dh as WorkspaceConfigXdo, di as WorkspaceHistoryDef, dj as WorkspaceHistoryXdo, dk as WorkspaceInputs, dl as WorkspaceMiddlewareDef, dm as WorkspaceMiddlewareXdo, b2 as Xano, dn as XanoFreeLlm, dp as addon, dq as agent, dr as agentTrigger, ds as and, dt as apiGroup, du as assertLambdaBody, dv as bitwiseAnd, dw as bitwiseOr, dx as bitwiseXor, dy as cmp, dz as defineFunction, dA as emit, dB as emitBundle, dC as errorTrigger, dD as expr, dE as fl, dF as input, dG as knowledge, dH as knowledgeDir, dI as knowledgeFile, er as lam, dJ as mathAdd, dK as mathDiv, dL as mathMul, dM as mathSub, dN as mcpServer, dO as mcpServerTrigger, dP as microservice, dQ as middleware, dR as mixed, dS as objectEntries, dT as objectKeys, dU as objectValues, dV as or, dW as query, dX as realtimeChannel, dY as realtimeChannelTrigger, dZ as realtimeMessage, d_ as realtimeServer, d$ as realtimeServerTrigger, e0 as realtimeTrigger, e1 as resetLockOverrides, e2 as seedFile, e3 as seedLockOverrides, e4 as table, e5 as tableTrigger, e6 as task, e7 as textAppend, e8 as textPrepend, e9 as toSearchParams, ea as tool, eb as workflowTest, ec as workspace, ed as workspaceConfig, ee as workspaceTrigger } from './store-DAnUIi1T.js';
+import { y as StatementAnnotations, S as Statement, l as FromFieldMap, u as ObjValue, Y as Prettify, a1 as AsShapeBrand, X as XanoFileRef, z as StatementOptions, v as ObjectRef, O as ObjInput } from './response-D6xGLEIn.js';
+export { B as BrandOpts, b as BrandValue, D as DecimalMethod, E as EmailMethod, c as FieldAccess, f as FieldDescriptor, h as FieldMap, j as FieldOpts, k as FieldStyleType, I as IntMethod, M as MethodArg, m as MethodOpts, n as MethodSpec, o as MockEntry, p as MockMap, q as MockXdo, s as ObjMember, P as PasswordMethod, w as ResponseDef, x as RowFromFieldMap, T as TableRefMethod, A as TextFormat, C as TextMethod, G as TypeBrand, V as ValueOf, H as VectorMethod, J as XanoGeoPosition, K as XanoGeoValue, L as annotate, N as f, Q as obj, U as statements } from './response-D6xGLEIn.js';
+import { h as FilterXdo, V as Value, i as FilteredValue, R as RefValue, F as FunctionXdo } from './xdo-ODuJklk6.js';
+export { C as CacheXdo, a as CaughtField, b as ConditionalContext, c as ConditionalElifContext, E as ExprGroup, d as ExprNode, e as ExprOperand, f as ExprStatement, g as FieldXdo, H as HistoryXdo, I as InputXdo, L as ListBoundsXdo, M as MethodXdo, P as PersistedFunctionRow, j as RegexValue, k as ResultItemXdo, S as StackItemXdo, l as StatementInputXdo, T as TAGS, m as TEST_EXPECT_TYPES, n as Tag, o as TaggedValue, p as TestDef, q as TestExpect, r as TestExpectType, s as TestXdo, t as auth, u as c, v as caught, w as col, x as env, y as expect, z as filter, A as inp, B as out, D as ref, G as resp, J as setting, K as sys, N as test, O as toolset, Q as withFilters } from './xdo-ODuJklk6.js';
 
 /** One `else if (when) { then }` branch of a {@link conditional}'s elif stack. */
 interface ConditionalElifArgs extends StatementAnnotations {
@@ -19,7 +21,7 @@ interface ConditionalArgs extends StatementAnnotations {
 declare function conditional(args: ConditionalArgs): Statement;
 
 /**
- * `InferInput<Q>` (U2) — the request-payload TS type for a query (or function)
+ * `InferInput<Q>` — the request-payload TS type for a query (or function)
  * def's declared inputs, computed at compile time from the value brands added in
  * U1. No codegen, no build step: the type is derived from the def, so it can
  * never drift from what the endpoint actually accepts.
@@ -88,7 +90,7 @@ type NameOf<F> = F extends FilterXdo<infer N> ? N : string;
  * Apply ONE filter's declared result to `Shape`.
  *
  * Null propagates rather than being erased, matching `IndexShape`'s treatment of
- * a nullable base (#105) and the engine's runtime, where a filter over a null
+ * a nullable base and the engine's runtime, where a filter over a null
  * binding yields null: a `db.get` row is `Row | null`, so counting it is
  * `number | null`, not `number`.
  *
@@ -107,7 +109,7 @@ type ApplyFilter<Shape, N extends string> = string extends N ? unknown : null ex
 type ApplyFilters<Shape, Fs> = Fs extends readonly [infer Head, ...infer Tail] ? ApplyFilters<ApplyFilter<Shape, NameOf<Head>>, Tail> : Fs extends readonly [] ? Shape : unknown;
 
 /**
- * `InferResponse<Q>` (issue #5) — the response type for a query or function def,
+ * `InferResponse<Q>` — the response type for a query or function def,
  * the read-side counterpart of `InferInput`. Closes the round trip: rename or
  * retype what an endpoint returns and every consumer that types a response
  * against `InferResponse` lights up at compile time.
@@ -127,9 +129,9 @@ type ApplyFilters<Shape, Fs> = Fs extends readonly [infer Head, ...infer Tail] ?
  * knowable):
  *   1. A declared `responseShape` on the def always wins (the override).
  *   2. Otherwise the shape is auto-derived from `response` + `stack`
- *      ({@link DeriveResponse}) — object-literal keys (U2) and a single variable
- *      traced to a typed `db.get`/`db.query` (U5). A dotted `ref("var.field")`
- *      traces the base variable, then indexes the subpath into its shape (#93).
+ *      ({@link DeriveResponse}) — object-literal keys and a single variable
+ *      traced to a typed `db.get`/`db.query`. A dotted `ref("var.field")`
+ *      traces the base variable, then indexes the subpath into its shape.
  *   3. Anything the walk can't resolve (filters, lambdas, control-flow vars,
  *      `set_var`, function-produced vars, streams) resolves to `unknown`, which
  *      the author narrows or overrides via `responseShape`.
@@ -160,7 +162,7 @@ type DeclaredResponse<Q> = Q extends {
  */
 /**
  * What a response resolves to when the stack is a plain `Statement[]` rather
- * than a tuple — the collapse issue #11 reported.
+ * than a tuple.
  *
  * A widened stack has no heads to walk, so EVERY `as` binding in it is invisible
  * and every `ref()` bottoms out. Resolving that to `unknown` made the failure
@@ -196,12 +198,12 @@ type TraceBinding<Name extends string, S> = S extends readonly [infer Head, ...i
  * Walk a dotted subpath `Path` into an already-traced binding `Shape`, one
  * segment at a time: `IndexShape<AgentRunResult<string>, "result">` → `string`.
  *
- * **Null-propagating** (#105): when the base is nullable (e.g. a `db.get` row,
+ * **Null-propagating**: when the base is nullable (e.g. a `db.get` row,
  * `Row | null`), the null flows *through* the projection rather than erasing it —
  * `IndexShape<Row | null, "slug">` → `string | null`, mirroring the engine's
  * runtime where `$row.slug` on a missed (null) row is itself null. Without this,
  * `keyof (Row | null)` narrows to `never` and every dotted ref into a nullable
- * base would bottom out at `unknown`, silently dropping the #93 projection.
+ * base would bottom out at `unknown`, silently dropping the projection.
  *
  * A segment that genuinely isn't a key of the (non-null) shape — including a
  * shape that is already `unknown` (whose `keyof` is `never`) — still bottoms out
@@ -219,7 +221,7 @@ type IndexShape<Shape, Path extends string> = unknown extends Shape ? IndexStep<
 type IndexStep<Shape, Path extends string> = Path extends `${infer Head}.${infer Rest}` ? Head extends keyof Shape ? IndexShape<Shape[Head], Rest> : unknown : Path extends keyof Shape ? Shape[Path] : unknown;
 /**
  * Resolve a `ref` name against the branded stack `S`. A **dotted** name projects
- * a subpath (#93): the head names the bound variable (traced via
+ * a subpath: the head names the bound variable (traced via
  * {@link TraceBinding}) and the tail indexes into that variable's shape (via
  * {@link IndexShape}), so `ref("generated.result")` types to the completion, not
  * `unknown`. A bare name traces the whole binding. Stack-variable names are
@@ -249,11 +251,11 @@ type TraceVar<Name extends string, S> = Name extends `${infer Base}.${infer Path
  * values, and it is deliberate rather than a gap: typing a constant's key would
  * mean branding the return of every constant constructor, and `Value` is the
  * currency of every statement field in the SDK. Declare `responseShape` when a
- * client needs those keys typed (issue #79).
+ * client needs those keys typed.
  */
 type ResolveValue<V, S> = V extends ObjValue<infer Members> ? ResolveObj<Members, S> : V extends FilteredValue<infer Base, infer Chain> ? ApplyFilters<ResolveValue<Base, S>, Chain> : V extends RefValue<infer Name> ? TraceVar<Name, S> : unknown;
 /**
- * Resolve every member of an {@link ObjValue}'s record (issue #118) — the same
+ * Resolve every member of an {@link ObjValue}'s record — the same
  * walk {@link DeriveResponse} runs over a top-level object literal, one level
  * down. `obj()` is the SDK's answer for a nested response object, and it used to
  * cost the caller its types: the members are ordinary {@link Value}s with
@@ -277,8 +279,7 @@ type ResolveObj<Members, S> = Prettify<{
  *
  * The branch order is load-bearing:
  *   - a {@link Value} (including a nested `obj()`, a filtered value, or a `ref`)
- *     goes to {@link ResolveValue}, so `c.*` constants keep the `unknown` floor
- *     issue #79 documents;
+ *     goes to {@link ResolveValue}, so `c.*` constants keep their `unknown` floor;
  *   - a RAW SCALAR literal types itself — `obj({ count: 3 })` really is a number,
  *     and unlike `c.int(3)` the type is right there to read. A boolean is widened
  *     explicitly because inference does not treat it like its siblings: `3` and
@@ -289,7 +290,7 @@ type ResolveObj<Members, S> = Prettify<{
  *   - an ARRAY resolves element-wise (checked before the record branch, since an
  *     array is also an object);
  *   - a nested plain RECORD recurses. This is the spelling `response: { user: {
- *     id: ref(...) } }` uses — the #133 auto-wrap, which `encodeResponse` hands
+ *     id: ref(...) } }` uses — the auto-wrap, which `encodeResponse` hands
  *     to `obj()` anyway, so the two spellings must and now do infer alike.
  */
 type ResolveMember<M, S> = M extends Value ? ResolveValue<M, S> : M extends boolean ? boolean : M extends string | number ? M : M extends readonly (infer Element)[] ? ResolveMember<Element, S>[] : M extends object ? ResolveObj<M, S> : unknown;
@@ -298,7 +299,7 @@ type ResolveMember<M, S> = M extends Value ? ResolveValue<M, S> : M extends bool
  * field and branded `stack`. Mirrors the Xano engine's static walk:
  *   - a record response (object literal) → an object with **those keys** (each
  *     member resolved individually, recursing into a nested `obj()` or plain
- *     object literal — #118); keys are known regardless of traceability;
+ *     object literal); keys are known regardless of traceability;
  *   - a single {@link Value} response → resolve it against the stack;
  *   - no response / an unresolvable shape → `unknown`.
  * Kept separate from {@link DeclaredResponse} so the user override always wins.
@@ -317,7 +318,7 @@ type DeriveResponse<Q> = Q extends {
 type InferResponse<Q> = [DeclaredResponse<Q>] extends [never] ? DeriveResponse<Q> : DeclaredResponse<Q>;
 
 /**
- * Addressing a stored file from a client (issue #31).
+ * Addressing a stored file from a client.
  *
  * A file column comes back as a {@link XanoFileRef}: a `path` into the vault
  * plus metadata, and an absolute, authoritative-looking `url`. On a
@@ -371,7 +372,7 @@ declare function setVar(as: string, value: Value, a?: StatementOptions): Stateme
 declare function updateVar(name: string, value: Value, a?: StatementAnnotations): Statement;
 
 /**
- * Hand-authored `!class` control-flow / terminal statements (U10). These carry
+ * Hand-authored `!class` control-flow / terminal statements. These carry
  * PHP transforms in the engine, so they're authored by hand and validated
  * against persisted fixtures rather than codegen'd. (`conditional` — also a
  * `!class` special — already lives in `src/statements/conditional.ts`.)
@@ -405,7 +406,7 @@ declare function foreachContinue(a?: StatementAnnotations): Statement;
 declare function foreachRemove(a?: StatementAnnotations): Statement;
 
 /**
- * Hand-authored control-flow block statements (U10). These carry non-trivial
+ * Hand-authored control-flow block statements. These carry non-trivial
  * transforms in the engine (for, foreach, while, group), so they're authored by
  * hand — like `conditional` — rather than codegen'd. Each nests a `run[]` stack
  * encoded through the shared statement encoder, and `while` reuses the
@@ -418,7 +419,7 @@ declare function foreachRemove(a?: StatementAnnotations): Statement;
  *   group   → context: { run:[…] }
  *
  * All four are golden-verified: `for`/`foreach` from vendored goldens, and
- * `while`/`group` from live engine captures (see the conformance corpus). The
+ * `while`/`group` from live engine captures. The
  * `while` shape (`expr` comparison + `run[]`) and `group`'s bare `{run}` are
  * confirmed byte-exact.
  */
@@ -451,7 +452,7 @@ declare function whileLoop(args: WhileArgs): Statement;
 declare function group(body: Statement[], a?: StatementAnnotations): Statement;
 
 /**
- * Hand-authored branching block statements (U10) — `switch` and `try_catch`.
+ * Hand-authored branching block statements — `switch` and `try_catch`.
  * Both carry structural control-flow transforms in the engine, so
  * (like `conditional` and the loops) they're authored by hand rather than
  * codegen'd. Each nests `run[]` stacks encoded through the shared statement
@@ -512,7 +513,7 @@ declare function tryCatch(args: TryCatchArgs): Statement;
  * Two families live here. The HTTP-request fields (`api.request`,
  * `stream.from_request`, `webflow.request`, `microservice.request`) were hoisted
  * per the rule of three once the second wrapper landed. The DB row CELL joined
- * them (issue #92): it is a self-contained coercion unit that landed in `db.ts`
+ * them: it is a self-contained coercion unit that landed in `db.ts`
  * only because that is where its caller is, and its siblings — `coerceScalar`,
  * `coerceObj`, `coerceHeaders` — were already here.
  */
@@ -523,7 +524,7 @@ declare function tryCatch(args: TryCatchArgs): Statement;
  * spec now carries the same set and rejects a constant outside it.
  */
 type HttpMethod = "GET" | "POST" | "PUT" | "DELETE" | "HEAD" | "OPTIONS" | "PATCH";
-/** A headers map: full header lines built from `Name: value` pairs (issue #72). */
+/** A headers map: full header lines built from `Name: value` pairs. */
 type HeaderMap = Readonly<Record<string, string | Value>>;
 /**
  * A value acceptable in a call/agent `input` map — a raw scalar literal, a nested
@@ -549,7 +550,7 @@ interface HttpRequestFields {
 /**
  * The bare JS literals a row cell accepts for a column whose row type is `V`,
  * mirroring the `Scalar` union `fl.*` arguments and `seed` rows already take
- * (issue #75).
+ *.
  *
  * Keyed on the column's own inferred type, so the widening is STRICTER than the
  * tagged spelling it replaces: `{ is_hidden: "yes" }` on an `f.bool()` column is
@@ -559,7 +560,7 @@ interface HttpRequestFields {
  * `null` is admitted on EVERY column, including the ones that refuse every other
  * literal — an `obj`/`json`/list/`geo`/`vector` column has no bare-literal form
  * and throws for a string, number or boolean, but takes `null`. That asymmetry
- * is the decision, not an oversight (issue #90): nulling a cell is a legitimate
+ * is the decision, not an oversight: nulling a cell is a legitimate
  * write whatever the column reads back as, and it matches what a seed row does
  * with a `null` (see `coerceScalarValue` — nullability is the engine's to
  * enforce, and a column config this layer does not fully model is not something
@@ -618,7 +619,7 @@ interface AsyncRuntime {
 }
 
 /**
- * Hand-authored call-family block statements (U10) — invoking another workspace
+ * Hand-authored call-family block statements — invoking another workspace
  * object from a stack. These carry `!class` transforms in the engine
  * (FunctionRun, FunctionCall, ApiCall, …) so they're authored by hand.
  *
@@ -652,17 +653,6 @@ interface AsyncRuntime {
  * `action.call` / `action.package.call` are the exception to the paragraph
  * above: their target is NOT a workspace object, so no id is derived for them
  * and the author supplies one. See {@link ActionCallArgs} for why.
- *
- * @TODO(byte-verify): `function.run` (mvp:function), `api.call` (context.token
- *   confirmed tagged), and — since the workflow-test capture — `function.call`
- *   (mvp:workspace_run_function) are golden-verified. Still modeled/unverified:
- *   - the remaining `workspace_run_*` (task/tool/trigger/middleware/addon) — no
- *     golden, but they share the single-key `id` context two goldens now pin.
- *   - `workflow_test` → context.{datasource,id} — decode-accurate, no golden.
- *   - action / action_package — the stored shape is pinned against the engine's
- *     own authoring schema and its two transforms, and the ids are now carried
- *     verbatim rather than derived, so a capture is finally meaningful. It needs
- *     an instance with the package actually installed.
  */
 
 /** A call/agent `{name: value}` input map — raw scalar literals coerce to constants. */
@@ -695,7 +685,7 @@ interface FunctionRunArgs<Fn extends FnRef = FnRef, As extends string = string>
 /**
  * `function.run <fn>` — run another function inline.
  *
- * Branded `AsShapeBrand<As, InferResponse<Fn>>` (issue #209): the bound variable
+ * Branded `AsShapeBrand<As, InferResponse<Fn>>`: the bound variable
  * carries the TARGET's response type, so `ref("<as>.field")` in the caller's
  * response types to that field instead of `unknown`. See {@link functionCall}
  * for what the propagation can and cannot see.
@@ -717,7 +707,7 @@ interface FunctionCallArgs<Fn extends ObjectRef = ObjectRef, As extends string =
 /**
  * `function.call <fn>` — invoke a function as a workspace run.
  *
- * Branded `AsShapeBrand<As, InferResponse<Fn>>` (issue #209). `InferResponse` of
+ * Branded `AsShapeBrand<As, InferResponse<Fn>>`. `InferResponse` of
  * the TARGET is exactly what a client would get back from it, so drilling into
  * the binding now types:
  *
@@ -772,7 +762,7 @@ interface ApiCallArgs<Api extends ObjectRef = ObjectRef, As extends string = str
      * entry in {@link ApiCallArgs.headers} instead.
      *
      * The `Value` spelling stays accepted so a pulled workspace holding one
-     * round-trips as itself (issue #139) — it is a shape to carry, not to author.
+     * round-trips as itself — it is a shape to carry, not to author.
      */
     auth?: {
         token: Value | string;
@@ -808,7 +798,7 @@ interface ToolCallArgs<Tool extends ObjectRef = ObjectRef, As extends string = s
 }
 /**
  * `tool.call <tool>` — invoke a tool as a workspace run. Branded with the
- * TARGET's `InferResponse` (issue #209), like {@link functionCall}.
+ * TARGET's `InferResponse`, like {@link functionCall}.
  */
 declare function toolCall<const Tool extends ObjectRef = ObjectRef, const As extends string = "", const Fs extends readonly FilterXdo[] = readonly []>(args: ToolCallArgs<Tool, As> & {
     asFilters?: Fs;
@@ -919,14 +909,14 @@ interface WorkflowTestCallArgs extends StatementOptions {
 declare function workflowTestCall(args: WorkflowTestCallArgs): Statement;
 
 /**
- * Hand-authored AI-agent and cloud-job specials (U10). All carry `!class`
+ * Hand-authored AI-agent and cloud-job specials. All carry `!class`
  * transforms in the engine (AgentRun, CloudJob, CloudJobAwait, CloudJobStatus).
  * The stored shapes here are modeled on those transforms' `decode()` methods
  * (authoritative for the persisted form), so they're grounded — but still have
  * no golden fixture to deep-equal against.
  *
  * call_agent and cloud_job{,_await,_status} are golden-verified against live
- * engine captures (see the conformance corpus): agent → context.toolset.id +
+ * engine captures: agent → context.toolset.id +
  * top-level runtime + input[]; cloud jobs → everything in input[] with the
  * captured entry order. `runtime` is omitted at the default "shared" mode, and
  * `await` is passed through as authored.
@@ -934,7 +924,7 @@ declare function workflowTestCall(args: WorkflowTestCallArgs): Statement;
 
 /**
  * The rich result object an agent run binds to its `as` variable — modeled on
- * the engine's agent-run result envelope (issue #89). **The completion is at
+ * the engine's agent-run result envelope. **The completion is at
  * `.result`**, not the top level; the surrounding fields are run metadata.
  *
  * `R` is the completion type: `string` for a text agent (the default — including
@@ -994,8 +984,8 @@ interface AiAgentRunArgs<As extends string = "", A extends ObjectRef = ObjectRef
     /**
      * Type-only override for the `.result` completion type. Usually unnecessary:
      * when `agent` is a def handle from `agent({ output: { schema } })`, `.result`
-     * is inferred straight from that schema via {@link AgentResultOf} (issue
-     * #124.1). Pass a witness only to override that inference or to type the
+     * is inferred straight from that schema via {@link AgentResultOf}.
+     * Pass a witness only to override that inference or to type the
      * `.result` of an agent referenced by bare name (which carries no schema) —
      * e.g. `resultShape: {} as { sentiment: string }`. Never emitted into the
      * statement (phantom, like the response brand).
@@ -1010,8 +1000,8 @@ interface AiAgentRunArgs<As extends string = "", A extends ObjectRef = ObjectRef
  *
  * Branded with `AsShapeBrand<As, AgentRunResult<R>>` (like the `db.*` producers)
  * so `ref(as)` traces to the typed {@link AgentRunResult} envelope via
- * `InferResponse` instead of `unknown` — the completion is at `.result` (#89).
- * A dotted `ref("<as>.result")` now projects that completion directly (#93), so
+ * `InferResponse` instead of `unknown` — the completion is at `.result`.
+ * A dotted `ref("<as>.result")` now projects that completion directly, so
  * the common "return just the answer" endpoint no longer needs a `responseShape`.
  * The brand is phantom; the emitted statement bytes are unchanged.
  */
@@ -1023,8 +1013,7 @@ interface CloudJobArgs extends StatementOptions {
     /**
      * Container image to run. REQUIRED — the engine validates the parameter before
      * the job launches and answers `400 ERROR_CODE_INPUT_ERROR "Missing param:
-     * image"` without it. Measured on a live ephemeral by
-     * `scripts/probe-special-required.ts`.
+     * image"` without it. Measured on a live engine.
      */
     image: Value;
     /** Command to run in the container. REQUIRED, the same way `image` is. */
@@ -1068,7 +1057,7 @@ interface CloudJobStatusArgs extends StatementOptions {
 declare function cloudJobStatus(a: CloudJobStatusArgs): Statement;
 
 /**
- * Hand-authored miscellaneous specials (U10) — the remaining `!class` /
+ * Hand-authored miscellaneous specials — the remaining `!class` /
  * `!function` / declarative statements without a generated factory: array
  * map/union, the comment & placeholder nodes, raw-input access, post-process,
  * realtime events, auth-token creation, and the `expect.to_throw` test
@@ -1080,8 +1069,8 @@ declare function cloudJobStatus(a: CloudJobStatusArgs): Statement;
  * later). Block fields map to same-named `context` entries unless the schema's
  * declarative transform says otherwise.
  *
- * array_map, array_union, get_input, and test_expect_to_throw are now
- * golden-verified against live engine captures (see the conformance corpus);
+ * array_map, array_union, get_input, and test_expect_to_throw are
+ * golden-verified against live engine captures;
  * post_process is parser-verified. Remaining unverified spots:
  *   (1) array_map — the scalar `transform_value` path is byte-exact. The
  *       object-literal form (`transform_object` + `output_type:"object"`) is now
@@ -1166,8 +1155,7 @@ interface ArrayUnionArgs extends StatementOptions {
      * `source` — but the engine has no absent state for it: `right` declares
      * `tag?=input` with an undefaulted `value`, so an omitted block resolves as an
      * input named `""` and the request dies with
-     * `500 ERROR_FATAL "Unable to locate input: "`. Measured on a live ephemeral
-     * by `scripts/probe-special-required.ts`.
+     * `500 ERROR_FATAL "Unable to locate input: "`. Measured on a live engine.
      */
     with: Value;
     as?: string;
@@ -1371,7 +1359,7 @@ interface ExpectToThrowArgs extends StatementAnnotations {
  * The matcher is stored as `context.value1` — the numbered slot every
  * `expect.*` statement keeps its operands in. It was emitted as
  * `context.exception` through 2.0.21, a key the engine never reads, so a
- * to_throw carrying one accepted ANY error instead of the one named (issue #228).
+ * to_throw carrying one accepted ANY error instead of the one named.
  */
 declare function expectToThrow(a: ExpectToThrowArgs): Statement;
 interface ExpectToMatchArgs extends StatementAnnotations {
@@ -1384,7 +1372,7 @@ interface ExpectToMatchArgs extends StatementAnnotations {
  * `expect.to_match` — assert a value matches a regex (`mvp:test_expect_to_match`).
  *
  * A typed, guarded pass-through to the generated factory: same bytes, same
- * fields. What it adds is the refusal that issue #211 asked for. The `value`
+ * fields. What it adds is a refusal. The `value`
  * slot is a PHP `preg_*` PATTERN, so a `c.text("^XanoTS.*Engine$")` there is not
  * a stricter assertion — it is a pattern the engine cannot run, and the test
  * fails against the very string it was written for:
@@ -1394,14 +1382,14 @@ interface ExpectToMatchArgs extends StatementAnnotations {
  * ```
  *
  * The refusal is build-time and inspects the value it was handed, exactly as the
- * `fl.regex_*` guard does (#128): a bare `const` is refused and pointed at
+ * `fl.regex_*` guard does: a bare `const` is refused and pointed at
  * `c.regex`, while a `ref`/`inp`/`env` pattern — whose text is not visible here —
  * is passed through untouched.
  */
 declare function expectToMatch(a?: ExpectToMatchArgs): Statement;
 
 /**
- * Hand-authored typed wrapper for `util.ip_lookup` (#226) — the geolocation
+ * Hand-authored typed wrapper for `util.ip_lookup` — the geolocation
  * statement whose bound variable is a NESTED object that nothing in the
  * signature hints at.
  *
@@ -1496,11 +1484,11 @@ declare function ipLookup<const As extends string = "", const Fs extends readonl
  *
  * - the reference field is named `addon` (an {@link ObjectRef}), so the nesting
  *   field is named `children` to avoid the collision — which also matches the
- *   stored/export key (KTD-3);
+ *   stored/export key;
  * - the target is a guid-native `ObjectRef`, resolved to a guid and emitted under
  *   the stored `id` key. In a packageExport bundle the engine matches addons by
  *   guid (`importAddonId` → `guidMatch`), so emitting the guid as `id` is correct
- *   — the same precedent `s.addon.call` uses (KTD-1).
+ *   — the same precedent `s.addon.call` uses.
  */
 
 /**
@@ -1545,7 +1533,7 @@ interface AddonSpec<Graft = unknown> {
 }
 
 /**
- * Hand-authored database statements (U10) — the `!map:dbo` family: read/delete/
+ * Hand-authored database statements — the `!map:dbo` family: read/delete/
  * exists/patch/truncate/schema against a table. Codegen defers these because the
  * target table is a `!map:dbo context.dbo.id` reference; with the guid
  * foundation (refs/guid.ts) the table resolves to its deterministic guid.
@@ -1594,7 +1582,7 @@ type EvalAliases<E> = E extends readonly (infer Item)[] ? Item extends {
     as: infer A extends string;
 } ? A : never : never;
 /**
- * The single-row shape a db read yields, for `InferResponse`'s trace (U5): the
+ * The single-row shape a db read yields, for `InferResponse`'s trace: the
  * table's {@link InferRow}, narrowed to the selected `Cols` when an `output`
  * list is given, else the full row. A bare-name / raw-`ColumnDef[]` table has no
  * field brands, so `InferRow` is `never` → `unknown` (nothing to infer).
@@ -1667,7 +1655,7 @@ type AddonFields<A> = A extends readonly [infer H, ...infer Rest] ? (H extends {
  * the field with the addon result at runtime, so when an alias shadows an
  * existing column the honest type is the graft (`unknown`), not the base column.
  * An intersection would collapse `unknown & string` back to the base column and
- * silently desync the type from runtime (issue #61).
+ * silently desync the type from runtime.
  */
 type WithAddons<Row, A> = [keyof AddonFields<A>] extends [never] ? Row : Prettify<Omit<Row, keyof AddonFields<A>> & AddonFields<A>>;
 /**
@@ -1678,11 +1666,11 @@ type WithAddons<Row, A> = [keyof AddonFields<A>] extends [never] ? Row : Prettif
 type WithEval<Row, E> = [keyof EvalFields<E>] extends [never] ? Row : Prettify<Omit<Row, keyof EvalFields<E>> & EvalFields<E>>;
 /**
  * The paging metadata envelope a `db.query` returns when `paging` is set with
- * metadata on — the engine's `packageListMeta` shape (issue #58). The result
+ * metadata on — the engine's `packageListMeta` shape. The result
  * list lives under `items`; `totals:true` adds `itemsTotal`/`pageTotal`. A query
  * with no `paging`, or `paging:{ metadata:false }`, returns the bare list instead.
  *
- * **Has-next signal (issue #66 bonus):** read `nextPage` — it is `number` when
+ * **Has-next signal:** read `nextPage` — it is `number` when
  * another page exists and `null` on the last page (the engine fetches one extra
  * row to decide, so this needs no second scan). For a total count, set
  * `paging:{ totals:true }` and read `itemsTotal`/`pageTotal`. Both are typed on
@@ -1758,7 +1746,7 @@ interface DbAggregatePaging {
  * (the engine requires the qualified form) and the statement declares that alias
  * so the qualified name resolves; pass an already-dotted `name` for a
  * `bind`ed/joined column and it is left as-is (and declares nothing, which is
- * what keeps a pulled workspace byte-exact — see issue #213).
+ * what keeps a pulled workspace byte-exact).
  */
 interface DbAggregate {
     group?: DbEval[];
@@ -1794,7 +1782,7 @@ type DbTableRef<T extends ObjectRef = ObjectRef> = T | null;
  * widen what `where`/`sort`/`eval` can address by dotted path (`"author.id"`);
  * they do not by themselves change the returned row shape.
  *
- * ⚠ **The two sides of a join condition are spelled differently** (issue #213).
+ * ⚠ **The two sides of a join condition are spelled differently**.
  * The JOINED column takes the dotted alias path; the query's OWN column stays
  * BARE:
  *
@@ -1890,7 +1878,7 @@ interface DbGetArgs<T extends ObjectRef = ObjectRef, As extends string = string,
  * written row rather than null and so stay non-nullable — a genuine miss throws
  * instead of yielding null (`NotFound`/404 for `edit`/`patch`; a
  * unique-constraint error for `add`; `add_or_edit` upserts, so it never misses)
- * (issue #105). */
+ *. */
 declare function dbGet<T extends ObjectRef, const As extends string = "", const Cols extends readonly OutputPath<ColsOf<T>>[] = readonly [], const A extends readonly AddonSpec[] = readonly [], const Fs extends readonly FilterXdo[] = readonly []>(args: DbGetArgs<T, As, Cols, A> & {
     asFilters?: Fs;
 }): DbResult<As, ApplyFilters<WithAddons<RowShapeOf<T, Cols>, A> | null, Fs>>;
@@ -2045,7 +2033,7 @@ interface DbField {
  * A row cell: any authored {@link Value} **except** a `col()` reference. A `col()`
  * (bare or wrapped in `withFilters`) does not resolve to the row's stored value
  * inside a `db.edit`/`db.add` `row` — it evaluates to `null` at runtime and a
- * following `fl.add(1)` aborts the engine (issue #32). The `__col?: never` bound
+ * following `fl.add(1)` aborts the engine. The `__col?: never` bound
  * turns that live-only failure into a compile error; read the row first and pipe
  * `ref("...")` through the filter instead.
  */
@@ -2071,9 +2059,9 @@ type RowsOf<T> = T extends TableDef<string, infer Row> ? Row : unknown;
 /**
  * A partial row keyed by column name — the values to write. Unspecified columns
  * get a type default on `db.add`; on `db.edit` they are marked `ignore:true` and
- * keep their stored value instead (issue #33 — see `expandRow`).
+ * keep their stored value instead (see `expandRow`).
  *
- * A cell is a tagged {@link Value}, a {@link NestedCell}, or — since #75 — a bare
+ * A cell is a tagged {@link Value}, a {@link NestedCell}, or a bare
  * JS literal typed against that column ({@link ScalarCell}), which `expandRow`
  * coerces to the constant the author would otherwise have written by hand.
  */
@@ -2163,7 +2151,7 @@ interface DbEditArgs<T extends ObjectRef = ObjectRef, As extends string = string
      * A **partial** row keyed by column name: only the columns you list are
      * written. Columns you omit are emitted with `ignore:true` and keep their
      * stored value — a `{ votes }` edit updates `votes` alone and leaves every
-     * other column intact (issue #33). Expanded against the table's declared
+     * other column intact. Expanded against the table's declared
      * columns. Use `data` for byte-exact control over each entry's `ignore` flag.
      */
     row?: RowMap<ColsOf<T>, RowsOf<T>>;
@@ -2314,7 +2302,7 @@ interface DbBulkAddArgs extends StatementOptions {
      * ⚠ **Unset/`false` means the engine STRIPS `id` from every item** and assigns
      * the next sequence value instead — silently, with no error and no warning.
      * The rows then sit at ids nothing else expects, which surfaces much later as
-     * a foreign key pointing at the wrong row (issue #259).
+     * a foreign key pointing at the wrong row.
      *
      * This is the opposite of a `table` `seed`, where supplying `id` pins it. If
      * you are inserting rows whose ids other rows reference, set this to `true`.
@@ -2328,7 +2316,7 @@ interface DbBulkAddArgs extends StatementOptions {
  *
  * ⚠ An `id` on a row is DISCARDED unless {@link DbBulkAddArgs.allowIdField} is
  * `true` — see that field. Literal rows carrying one are rejected here rather
- * than silently renumbered by the engine (issue #259).
+ * than silently renumbered by the engine.
  */
 declare function dbBulkAdd(args: DbBulkAddArgs): Statement;
 interface DbBulkDeleteArgs<As extends string = string> extends StatementOptions {
@@ -2417,7 +2405,7 @@ declare function dbBulkPatch<T extends ObjectRef, const As extends string = "",
  * replacing rows wholesale. `export()` warns when a STATIC `items` array omits
  * columns of the bound table, and `--strict` / `export({ strict: true })` fails
  * the build on it — but an `items` built from a `ref`/`inp` cannot be inspected,
- * so nothing catches that one for you (issue #15).
+ * so nothing catches that one for you.
  *
  * Left **unbranded** (plain {@link Statement}): the engine declares no output
  * schema for `dbo_bulkupdate`/`dbo_bulkadd`, so
@@ -2432,7 +2420,7 @@ declare function dbBulkUpdate(args: DbBulkWriteArgs): Statement;
  * mirror the engine schema's `return.list.paging` block: `page=1`, `per_page=25`,
  * `offset=0`, `totals=false`, `metadata=true`.
  *
- * **Input-bound (dynamic) paging (issue #66):** pass a {@link Value} (e.g.
+ * **Input-bound (dynamic) paging:** pass a {@link Value} (e.g.
  * `inp("page")`) for `page`/`per_page`/`offset` instead of a number and it is
  * emitted into `context.simpleExternal.<field>` as a tagged `{value,tag,filters}`
  * (byte shape from the `simpleExternal` golden — the inner key is `value`, not
@@ -2462,7 +2450,7 @@ interface DbPaging {
      * **Leave this unset.** It defaults to being DERIVED — on whenever a
      * `page`/`per_page`/`offset` field or a classic `external` blob is present —
      * which is what stops a `search`/`sort`-only `paging` from silently truncating a
-     * result to 25 rows (issue #41). Setting it overrides that derivation.
+     * result to 25 rows. Setting it overrides that derivation.
      *
      * It exists because a stored query can carry the two apart: real workspaces
      * persist a non-default `per_page` with the gate OFF, and a derived-only encoder
@@ -2544,7 +2532,7 @@ interface DbQueryArgs<T extends ObjectRef = ObjectRef, As extends string = strin
      * on (the default) the result is wrapped in a paging envelope
      * (`{ items, curPage, nextPage, prevPage, offset, perPage, itemsReceived }`,
      * plus `itemsTotal`/`pageTotal` when `totals:true`) instead of a bare row list,
-     * and `InferResponse` reflects that (issue #58). Pass `metadata:false` to keep
+     * and `InferResponse` reflects that. Pass `metadata:false` to keep
      * the bare array.
      */
     paging?: P;
@@ -2610,7 +2598,7 @@ interface DbTransactionArgs extends StatementAnnotations {
      * Capture the transaction's result into this stack variable.
      *
      * A transaction returns whatever its sub-stack returned, so the binding is
-     * real state and not decoration — a pulled workspace stores one (issue #147).
+     * real state and not decoration — a pulled workspace stores one.
      * The engine's XanoScript schema for this statement declares no `as`
      * argument, which is why nothing here modelled it; the statement class
      * returns a value all the same, and the stack item carries the binding like
@@ -2640,7 +2628,7 @@ interface DbExternalQueryArgs extends StatementOptions {
      * workspace environment variable unless it already looks like a URL, and
      * falls back to it whenever the tagged value is empty. The two are separate
      * stored fields, so a workspace holding the older one round-trips as the older
-     * one rather than being quietly rewritten (issue #138).
+     * one rather than being quietly rewritten.
      */
     connectionString: Value | string;
     responseType?: DbResponseType;
@@ -2659,8 +2647,8 @@ interface DbExternalQueryArgs extends StatementOptions {
  * Golden-verified against a live postgres capture: the engine persists
  * `context.{code,response_type,connection_string_flex,arg}` and does NOT store
  * `parser` at its default, so the SDK's omission is correct. The rich envelope
- * matches. @TODO(byte-verify): only postgres captured; the other 4 engines share
- * the format and stay modeled-by-analogy.
+ * matches. Only postgres is capture-verified; the other 4 engines share the
+ * format and stay modeled by analogy.
  */
 declare function dbExternalQuery(args: DbExternalQueryArgs): Statement;
 
@@ -2818,11 +2806,9 @@ type PortArg<D> = string extends PortsOf<D> ? number | string : [PortsOf<D>] ext
  * The five request fields this statement shares with the external-HTTP family,
  * taken FROM that family's field set rather than restated.
  *
- * The two declarations used to be typed byte-for-byte identically in two files,
- * and the cost showed up the first time one of them widened: the `headers`
- * record form (issue #72) had to be hand-added in both places, and missing the
- * second would have left the record spelling silently unavailable here (issue
- * #92). The per-field docs stay local because the DEFAULTS differ — this
+ * Deriving them keeps the two in step: a widening on the HTTP side (the
+ * `headers` record form, say) reaches here without a second hand-edit.
+ * The per-field docs stay local because the DEFAULTS differ — this
  * statement's block schema requires all five, so it emits them (see
  * {@link MICROSERVICE_DEFAULTS}) where `api.request` may leave them out.
  */
@@ -2894,7 +2880,7 @@ declare function microserviceRequest<const As extends string = "", const H exten
 }): Statement & AsShapeBrand<As, ApplyFilters<ApiRequestResult, Fs>>;
 
 /**
- * Typed `precondition` / `throw` overrides (issue #21).
+ * Typed `precondition` / `throw` overrides.
  *
  * `s.throw` raises a generic error the runtime returns with **HTTP 200** and an
  * error body — a client checking `res.ok` (or any non-2xx guard) treats a
@@ -2911,7 +2897,7 @@ declare function microserviceRequest<const As extends string = "", const H exten
 /**
  * The exception a failed {@link precondition} raises, and the HTTP status the
  * runtime returns for it. Mirrors the engine's `mvp:precondition` `error_type`
- * enum ({@link https://github.com/xanots/sdk/issues/21 #21}):
+ * enum:
  *
  * - `standard` — generic error (the default).
  * - `badrequest` — **400** Bad Request.
@@ -2954,7 +2940,7 @@ interface PreconditionArgs extends StatementAnnotations {
  * `precondition { … }` — assert a condition and raise a **status-bearing** error
  * if it fails (`mvp:precondition`). Prefer this over {@link throwError} (`s.throw`)
  * whenever the rejection must be observable via HTTP status — a client guarding
- * on `res.ok` sees a real 4xx instead of a 200 with an error body. See issue #21.
+ * on `res.ok` sees a real 4xx instead of a 200 with an error body.
  *
  * @example
  * s.precondition({
@@ -2976,13 +2962,13 @@ interface ThrowArgs extends StatementAnnotations {
  * ⚠️ The runtime returns a thrown error with **HTTP 200** and an error body, so
  * a client checking `res.ok` treats it as success. For a rejection that surfaces
  * as a real 4xx status, use {@link precondition} (`s.precondition`) with an
- * `error_type`. See issue #21.
+ * `error_type`.
  */
 declare function throwError(a: ThrowArgs): Statement;
 
 /**
  * Typed overrides for statement args the engine declares as a CLOSED SET but the
- * codegen ships as a bare `string` (issue #65).
+ * codegen ships as a bare `string`.
  *
  * The generated catalog harvests `enum` from the engine's runtime INPUT schemas,
  * so a closed set declared on a `context`-routed field arrives untyped. Both
@@ -3069,7 +3055,7 @@ declare function createVideo(a: CreateVideoArgs): Statement;
 declare function setHeader(a: SetHeaderArgs): Statement;
 
 /**
- * Typed refusal of `capture` on `s.lambda` (issue #73).
+ * Typed refusal of `capture` on `s.lambda`.
  *
  * The grounding docs introduce an inline `code:` arrow and then, several
  * paragraphs later, `lam.fn(fn, { surface?, capture? })`. Nothing connected the
@@ -3095,7 +3081,7 @@ type LambdaArgs = Parameters<typeof generated.lambda>[0] & {
  * `lambda { … }` — run a JavaScript body (`mvp:lambda`).
  *
  * Delegates to the generated factory unchanged. The only addition is a typed
- * refusal of `capture` (issue #73): the grounding docs introduce an inline
+ * refusal of `capture`: the grounding docs introduce an inline
  * `code:` arrow and then `lam.fn(fn, { capture })` several paragraphs later, so
  * `capture` reads as a property of lambda bodies generally. The bare
  * "does not exist in type" error that produced implies the wrong fix — drop the
@@ -4448,7 +4434,7 @@ declare const s: {
 
 /**
  * Wide aliases for the def types that carry generics — the annotation that lets
- * a workspace be assembled out of independently-authored modules (issue #71).
+ * a workspace be assembled out of independently-authored modules.
  *
  * The problem is TypeScript's, not the SDK's. `register*` stores defs and does
  * not read their brands, so it takes them however they arrive. What fails is the
@@ -4498,7 +4484,7 @@ type AnyFunctionDef = FunctionDef;
 type AnyAddonDef = AddonDef;
 
 /**
- * `compile()` — façade over the `function` object kind (KTD-2). The envelope
+ * `compile()` — façade over the `function` object kind. The envelope
  * encoding now lives in `src/kinds/function.ts`; this keeps the MVP's public
  * `compile`/`encodeResponse` surface stable.
  */
@@ -4522,7 +4508,7 @@ declare function compile(fn: FunctionDef): FunctionXdo;
  *
  * It applies to EVERY spec-routed statement, not only the handful whose stored
  * envelope spells the entry members out in full — the lean and full input forms
- * are two serializations of one entry model (issue #16).
+ * are two serializations of one entry model.
  *
  * The marker is carried on a non-enumerable property, so it never reaches
  * `JSON.stringify` and an ignored value serializes exactly like the value it