@lunora/values 1.0.0-alpha.43 → 1.0.0-alpha.45

package/dist/index.d.mts

@@ -361,6 +361,15 @@ declare const array: <V extends Validator>(inner: V) => ArrayColumnValidator<Inf
  * inference (`InferValidatorMap` in `./validator-map`), so the two can never
  * drift. (`InsertShape` stays separate — it additionally `Exclude`s `undefined`
  * from the optional value, a deliberate insert-type difference.)
+ *
+ * `undefined extends M[K]` is the type-level spelling of "the parser accepts
+ * this field absent" — the same question `acceptsAbsent` in
+ * `./json-schema-core` answers structurally. It is broader than
+ * `v.optional(...)` on purpose: `v.any()` returns its input unchanged, so it
+ * parses an absent field happily, and a `v.union(...)` with an `any`/optional
+ * member does too. Anything narrower would mark a key required that the runtime
+ * does not require — which is how a generated `_generated/api.ts` came to reject
+ * args the server accepts (issue #688).
  */
 type OptionalizeShape<M> = { [K in keyof M as undefined extends M[K] ? K : never]?: M[K]; } & { [K in keyof M as undefined extends M[K] ? never : K]: M[K]; };
 type ObjectShape = Record<string, Validator>;
@@ -583,6 +592,24 @@ interface SchemaNodeReader<TNode> {
  * so they ride inside the non-null branch rather than on the wrapping `anyOf`.
  */
 declare const jsonSchemaFromNode: <TNode>(node: TNode, reader: SchemaNodeReader<TNode>) => JsonSchema;
+/**
+ * True when the parser accepts this node's field ABSENT — the only honest test
+ * for whether a key is optional.
+ *
+ * `kind === "optional"` used to be the whole test, which called two kinds
+ * required that parse `{}` happily: `v.any()` (its parser returns `undefined`
+ * unchanged) and a `v.union(...)` with an optional or `any` member (the union
+ * tries members, one of which accepts `undefined`). A contract that requires a
+ * field the server does not cannot be satisfied by a generated client.
+ *
+ * Shared beyond JSON Schema's `required`: `@lunora/codegen`'s api emitter runs it
+ * over the build-time validator IR to decide `key?: T` vs `key: T`, so the
+ * generated `_generated/api.ts` argument types, the emitted OpenAPI/OpenRPC
+ * specs, and `Infer`'s `undefined extends …` optionality rule all answer this
+ * one question the same way.
+ * @returns `true` when an absent value parses.
+ */
+declare const acceptsAbsent: <TNode>(node: TNode, reader: SchemaNodeReader<TNode>) => boolean;
 /**
  * Build `{ type: "object", properties, required }` from a node shape.
  *
@@ -678,4 +705,4 @@ declare const installCompiledValidatorMap: (validators: object, compiled: Compil
  * which case the interpreted loop below runs and owns the result (and any error).
  */
 declare const parseValidatorMap: (validators: ValidatorMap, source: Record<string, unknown>, label: string) => Record<string, unknown>;
-export { type ArrayColumnValidator, type CheckOptions, type Column, type ColumnMeta, type ColumnValidator, type CompiledValidatorMap, DEFER_VALIDATION, type GeoPoint, type Id, type Infer, type InferInsert, type InferSelect, type InferStandardInput, type InferStandardOutput, type InferValidatorMap, type InsertShape, type JsonSchema, type JsonSchemaFragment, type MetaOptions, type NumberColumnValidator, type ObjectColumnValidator, type ParseOptions, type SchemaNodeReader, type SelectShape, type ServerDefaultContext, type StringColumnValidator, type TimestampColumnValidator, ValidationError, type ValidationPath, type Validator, type ValidatorKind, type ValidatorMap, argsToJsonSchema, describeValue, formatPath, installCompiledValidatorMap, isOrWrapsFromValidator, jsonSchemaFromNode, objectSchemaFromNodes, optionalInner, parseValidatorMap, toJsonSchema, v };
+export { type ArrayColumnValidator, type CheckOptions, type Column, type ColumnMeta, type ColumnValidator, type CompiledValidatorMap, DEFER_VALIDATION, type GeoPoint, type Id, type Infer, type InferInsert, type InferSelect, type InferStandardInput, type InferStandardOutput, type InferValidatorMap, type InsertShape, type JsonSchema, type JsonSchemaFragment, type MetaOptions, type NumberColumnValidator, type ObjectColumnValidator, type ParseOptions, type SchemaNodeReader, type SelectShape, type ServerDefaultContext, type StringColumnValidator, type TimestampColumnValidator, ValidationError, type ValidationPath, type Validator, type ValidatorKind, type ValidatorMap, acceptsAbsent, argsToJsonSchema, describeValue, formatPath, installCompiledValidatorMap, isOrWrapsFromValidator, jsonSchemaFromNode, objectSchemaFromNodes, optionalInner, parseValidatorMap, toJsonSchema, v };

package/dist/index.d.ts

@@ -361,6 +361,15 @@ declare const array: <V extends Validator>(inner: V) => ArrayColumnValidator<Inf
  * inference (`InferValidatorMap` in `./validator-map`), so the two can never
  * drift. (`InsertShape` stays separate — it additionally `Exclude`s `undefined`
  * from the optional value, a deliberate insert-type difference.)
+ *
+ * `undefined extends M[K]` is the type-level spelling of "the parser accepts
+ * this field absent" — the same question `acceptsAbsent` in
+ * `./json-schema-core` answers structurally. It is broader than
+ * `v.optional(...)` on purpose: `v.any()` returns its input unchanged, so it
+ * parses an absent field happily, and a `v.union(...)` with an `any`/optional
+ * member does too. Anything narrower would mark a key required that the runtime
+ * does not require — which is how a generated `_generated/api.ts` came to reject
+ * args the server accepts (issue #688).
  */
 type OptionalizeShape<M> = { [K in keyof M as undefined extends M[K] ? K : never]?: M[K]; } & { [K in keyof M as undefined extends M[K] ? never : K]: M[K]; };
 type ObjectShape = Record<string, Validator>;
@@ -583,6 +592,24 @@ interface SchemaNodeReader<TNode> {
  * so they ride inside the non-null branch rather than on the wrapping `anyOf`.
  */
 declare const jsonSchemaFromNode: <TNode>(node: TNode, reader: SchemaNodeReader<TNode>) => JsonSchema;
+/**
+ * True when the parser accepts this node's field ABSENT — the only honest test
+ * for whether a key is optional.
+ *
+ * `kind === "optional"` used to be the whole test, which called two kinds
+ * required that parse `{}` happily: `v.any()` (its parser returns `undefined`
+ * unchanged) and a `v.union(...)` with an optional or `any` member (the union
+ * tries members, one of which accepts `undefined`). A contract that requires a
+ * field the server does not cannot be satisfied by a generated client.
+ *
+ * Shared beyond JSON Schema's `required`: `@lunora/codegen`'s api emitter runs it
+ * over the build-time validator IR to decide `key?: T` vs `key: T`, so the
+ * generated `_generated/api.ts` argument types, the emitted OpenAPI/OpenRPC
+ * specs, and `Infer`'s `undefined extends …` optionality rule all answer this
+ * one question the same way.
+ * @returns `true` when an absent value parses.
+ */
+declare const acceptsAbsent: <TNode>(node: TNode, reader: SchemaNodeReader<TNode>) => boolean;
 /**
  * Build `{ type: "object", properties, required }` from a node shape.
  *
@@ -678,4 +705,4 @@ declare const installCompiledValidatorMap: (validators: object, compiled: Compil
  * which case the interpreted loop below runs and owns the result (and any error).
  */
 declare const parseValidatorMap: (validators: ValidatorMap, source: Record<string, unknown>, label: string) => Record<string, unknown>;
-export { type ArrayColumnValidator, type CheckOptions, type Column, type ColumnMeta, type ColumnValidator, type CompiledValidatorMap, DEFER_VALIDATION, type GeoPoint, type Id, type Infer, type InferInsert, type InferSelect, type InferStandardInput, type InferStandardOutput, type InferValidatorMap, type InsertShape, type JsonSchema, type JsonSchemaFragment, type MetaOptions, type NumberColumnValidator, type ObjectColumnValidator, type ParseOptions, type SchemaNodeReader, type SelectShape, type ServerDefaultContext, type StringColumnValidator, type TimestampColumnValidator, ValidationError, type ValidationPath, type Validator, type ValidatorKind, type ValidatorMap, argsToJsonSchema, describeValue, formatPath, installCompiledValidatorMap, isOrWrapsFromValidator, jsonSchemaFromNode, objectSchemaFromNodes, optionalInner, parseValidatorMap, toJsonSchema, v };
+export { type ArrayColumnValidator, type CheckOptions, type Column, type ColumnMeta, type ColumnValidator, type CompiledValidatorMap, DEFER_VALIDATION, type GeoPoint, type Id, type Infer, type InferInsert, type InferSelect, type InferStandardInput, type InferStandardOutput, type InferValidatorMap, type InsertShape, type JsonSchema, type JsonSchemaFragment, type MetaOptions, type NumberColumnValidator, type ObjectColumnValidator, type ParseOptions, type SchemaNodeReader, type SelectShape, type ServerDefaultContext, type StringColumnValidator, type TimestampColumnValidator, ValidationError, type ValidationPath, type Validator, type ValidatorKind, type ValidatorMap, acceptsAbsent, argsToJsonSchema, describeValue, formatPath, installCompiledValidatorMap, isOrWrapsFromValidator, jsonSchemaFromNode, objectSchemaFromNodes, optionalInner, parseValidatorMap, toJsonSchema, v };

package/dist/index.mjs

@@ -1 +1 @@
-import{ValidationError as a,describeValue as e,formatPath as t}from"./packem_shared/ValidationError-BdVoGndu.mjs";import{jsonSchemaFromNode as p,objectSchemaFromNodes as i}from"./packem_shared/jsonSchemaFromNode-BSWBXSLL.mjs";import{argsToJsonSchema as l,toJsonSchema as d}from"./packem_shared/argsToJsonSchema-BN05tFLL.mjs";import{isOrWrapsFromValidator as c,optionalInner as f,v as V}from"./packem_shared/isOrWrapsFromValidator-Drhf5Ake.mjs";import{DEFER_VALIDATION as x,installCompiledValidatorMap as F,parseValidatorMap as S}from"./packem_shared/DEFER_VALIDATION-C0nIiPG-.mjs";export{x as DEFER_VALIDATION,a as ValidationError,l as argsToJsonSchema,e as describeValue,t as formatPath,F as installCompiledValidatorMap,c as isOrWrapsFromValidator,p as jsonSchemaFromNode,i as objectSchemaFromNodes,f as optionalInner,S as parseValidatorMap,d as toJsonSchema,V as v};
+import{ValidationError as a,describeValue as e,formatPath as t}from"./packem_shared/ValidationError-BdVoGndu.mjs";import{acceptsAbsent as p,jsonSchemaFromNode as s,objectSchemaFromNodes as i}from"./packem_shared/acceptsAbsent-Biqy6mRN.mjs";import{argsToJsonSchema as n,toJsonSchema as c}from"./packem_shared/argsToJsonSchema-ATrQFtr_.mjs";import{isOrWrapsFromValidator as f,optionalInner as V,v as h}from"./packem_shared/isOrWrapsFromValidator-Drhf5Ake.mjs";import{DEFER_VALIDATION as F,installCompiledValidatorMap as S,parseValidatorMap as b}from"./packem_shared/DEFER_VALIDATION-C0nIiPG-.mjs";export{F as DEFER_VALIDATION,a as ValidationError,p as acceptsAbsent,n as argsToJsonSchema,e as describeValue,t as formatPath,S as installCompiledValidatorMap,f as isOrWrapsFromValidator,s as jsonSchemaFromNode,i as objectSchemaFromNodes,V as optionalInner,b as parseValidatorMap,c as toJsonSchema,h as v};

package/dist/packem_shared/{jsonSchemaFromNode-BSWBXSLL.mjs → acceptsAbsent-Biqy6mRN.mjs}

@@ -1 +1 @@
-const r=(e,t)=>{const i=(()=>{switch(t.kind(e)){case"any":return{};case"array":{const n=t.inner(e);return{items:n===void 0?{}:r(n,t),type:"array"}}case"bigint":return{format:"int64",type:"string"};case"boolean":return{type:"boolean"};case"bytes":return{contentEncoding:"base64",description:"binary (ArrayBuffer)",type:"string"};case"date":return{description:"epoch milliseconds (date)",type:"integer"};case"geoPoint":return{description:"geographic point (WGS84 decimal degrees)",properties:{lat:{maximum:90,minimum:-90,type:"number"},lng:{maximum:180,minimum:-180,type:"number"}},required:["lat","lng"],type:"object"};case"id":return{description:`Id<"${String(t.tableName(e))}">`,type:"string","x-lunora-table":t.tableName(e)};case"literal":return t.literalSchema(e);case"null":return{type:"null"};case"number":return{type:"number"};case"object":return u(t.shape(e),t);case"optional":{const n=t.inner(e);return n===void 0?{}:r(n,t)}case"record":{const n=t.valueChild(e),o=t.keyChild(e);return{additionalProperties:n===void 0?{}:r(n,t),...o===void 0?{}:{propertyNames:r(o,t)},type:"object"}}case"storage":return{description:"storage object key",type:"string","x-lunora-storage":!0};case"string":return{type:"string"};case"timestamp":return{description:"epoch milliseconds (timestamp)",type:"integer"};case"union":return{anyOf:t.members(e).map(n=>r(n,t))};default:return{}}})(),s=t.constraints(e),c=s===void 0?i:{...i,...s};return t.isNullable(e)?{anyOf:[c,{type:"null"}]}:c},a=(e,t)=>{const i=t.kind(e);return i==="any"||i==="optional"?!0:i==="union"&&t.members(e).some(s=>a(s,t))},u=(e,t)=>{const i={},s=[];for(const[c,n]of Object.entries(e))i[c]=r(n,t),a(n,t)||s.push(c);return{properties:i,required:s,type:"object"}};export{r as jsonSchemaFromNode,u as objectSchemaFromNodes};
+const r=(e,t)=>{const i=(()=>{switch(t.kind(e)){case"any":return{};case"array":{const n=t.inner(e);return{items:n===void 0?{}:r(n,t),type:"array"}}case"bigint":return{format:"int64",type:"string"};case"boolean":return{type:"boolean"};case"bytes":return{contentEncoding:"base64",description:"binary (ArrayBuffer)",type:"string"};case"date":return{description:"epoch milliseconds (date)",type:"integer"};case"geoPoint":return{description:"geographic point (WGS84 decimal degrees)",properties:{lat:{maximum:90,minimum:-90,type:"number"},lng:{maximum:180,minimum:-180,type:"number"}},required:["lat","lng"],type:"object"};case"id":return{description:`Id<"${String(t.tableName(e))}">`,type:"string","x-lunora-table":t.tableName(e)};case"literal":return t.literalSchema(e);case"null":return{type:"null"};case"number":return{type:"number"};case"object":return u(t.shape(e),t);case"optional":{const n=t.inner(e);return n===void 0?{}:r(n,t)}case"record":{const n=t.valueChild(e),o=t.keyChild(e);return{additionalProperties:n===void 0?{}:r(n,t),...o===void 0?{}:{propertyNames:r(o,t)},type:"object"}}case"storage":return{description:"storage object key",type:"string","x-lunora-storage":!0};case"string":return{type:"string"};case"timestamp":return{description:"epoch milliseconds (timestamp)",type:"integer"};case"union":return{anyOf:t.members(e).map(n=>r(n,t))};default:return{}}})(),s=t.constraints(e),c=s===void 0?i:{...i,...s};return t.isNullable(e)?{anyOf:[c,{type:"null"}]}:c},a=(e,t)=>{const i=t.kind(e);return i==="any"||i==="optional"?!0:i==="union"&&t.members(e).some(s=>a(s,t))},u=(e,t)=>{const i={},s=[];for(const[c,n]of Object.entries(e))i[c]=r(n,t),a(n,t)||s.push(c);return{properties:i,required:s,type:"object"}};export{a as acceptsAbsent,r as jsonSchemaFromNode,u as objectSchemaFromNodes};

package/dist/packem_shared/argsToJsonSchema-ATrQFtr_.mjs

@@ -0,0 +1 @@
+import{objectSchemaFromNodes as n,jsonSchemaFromNode as s}from"./acceptsAbsent-Biqy6mRN.mjs";const r=e=>e,t=e=>r(e)._meta??{},a={constraints:e=>t(e).constraints,inner:e=>t(e).inner,isNullable:e=>t(e).column?.notNull===!1,keyChild:e=>t(e).keyValidator,kind:e=>e.kind,literalSchema:e=>{const{value:o}=t(e);return typeof o=="bigint"?{const:o.toString(),format:"int64",type:"string"}:{const:o}},members:e=>t(e).members,shape:e=>t(e).shape,tableName:e=>t(e).tableName,valueChild:e=>t(e).valueValidator},l=e=>s(e,a),m=e=>n(e,a);export{m as argsToJsonSchema,l as toJsonSchema};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lunora/values",
-  "version": "1.0.0-alpha.43",
+  "version": "1.0.0-alpha.45",
   "description": "Validators for Lunora: the v.* validator suite with end-to-end return-type inference",
   "keywords": [
     "cloudflare",
@@ -46,7 +46,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@lunora/errors": "1.0.0-alpha.35",
+    "@lunora/errors": "1.0.0-alpha.36",
     "@standard-schema/spec": "1.1.0"
   },
   "engines": {

package/dist/packem_shared/argsToJsonSchema-BN05tFLL.mjs

@@ -1 +0,0 @@
-import{objectSchemaFromNodes as n,jsonSchemaFromNode as s}from"./jsonSchemaFromNode-BSWBXSLL.mjs";const r=e=>e,t=e=>r(e)._meta??{},a={constraints:e=>t(e).constraints,inner:e=>t(e).inner,isNullable:e=>t(e).column?.notNull===!1,keyChild:e=>t(e).keyValidator,kind:e=>e.kind,literalSchema:e=>{const{value:o}=t(e);return typeof o=="bigint"?{const:o.toString(),format:"int64",type:"string"}:{const:o}},members:e=>t(e).members,shape:e=>t(e).shape,tableName:e=>t(e).tableName,valueChild:e=>t(e).valueValidator},l=e=>s(e,a),m=e=>n(e,a);export{m as argsToJsonSchema,l as toJsonSchema};