@lunora/values 1.0.0-alpha.40 → 1.0.0-alpha.42

package/dist/index.d.mts

@@ -521,7 +521,7 @@ interface JsonSchema {
  * no runtime metadata — so `constraints`/`isNullable` may be inert there).
  *
  * A reader normalizes a `TNode` to the small set of children/leaves the mapper
- * recurses over. Composite accessors (`inner`/`shape`/`members`/`valueChild`)
+ * recurses over. Composite accessors (`inner`/`shape`/`members`/`keyChild`/`valueChild`)
  * return the same `TNode` type so the mapper can recurse uniformly; leaf concerns
  * that differ between the two sources — how a literal's `const` is computed,
  * whether a `.check()`/`.meta()` constraint fragment exists, whether `.nullable()`
@@ -539,6 +539,12 @@ interface SchemaNodeReader<TNode> {
   inner: (node: TNode) => TNode | undefined;
   /** Whether `.nullable()` was applied (runtime: `_meta.column.notNull === false`). */
   isNullable: (node: TNode) => boolean;
+  /**
+   * Key-child of a `record` node, mapped to `propertyNames`. May be absent on
+   * the IR side (and on a `v.record(v.string(), …)` whose key validator adds
+   * no constraint beyond `type: "string"` it is merely redundant, not wrong).
+   */
+  keyChild: (node: TNode) => TNode | undefined;
   /** Discriminating validator kind. */
   kind: (node: TNode) => ValidatorKind;
   /**
@@ -563,10 +569,13 @@ interface SchemaNodeReader<TNode> {
  * so nested objects/arrays/unions/records are fully expanded (never collapsed to
  * one level).
  *
- * `date`/`timestamp` are epoch-millisecond numbers in Lunora (not ISO strings),
- * so they schema as integers; `bigint` schemas as an int64 (JSON has no bigint
- * type, so `format: int64` is the conventional OpenAPI carrier); `bytes` is an
- * `ArrayBuffer`, surfaced as base64 per JSON Schema 2020-12 content encoding.
+ * Each node names the JSON CARRIER, not the decoded JS type — the transport
+ * decodes before the parser sees a value, so describing the JS type would
+ * advertise shapes no JSON body can hold. `date`/`timestamp` are
+ * epoch-millisecond numbers in Lunora (not ISO strings), so they schema as
+ * integers; `bigint` rides as an int64 decimal string, the same carrier the
+ * wire codec and `v.literal(5n)` use; `bytes` is an `ArrayBuffer`, surfaced as
+ * base64 per JSON Schema 2020-12 content encoding.
  *
  * A `.check()`/`.meta()` JSON Schema fragment (when the reader exposes one) is
  * shallow-merged onto the node — constraint keys win on conflict. A `.nullable()`
@@ -575,9 +584,16 @@ interface SchemaNodeReader<TNode> {
  */
 declare const jsonSchemaFromNode: <TNode>(node: TNode, reader: SchemaNodeReader<TNode>) => JsonSchema;
 /**
- * Build `{ type: "object", properties, required, additionalProperties: false }`
- * from a node shape. A `v.optional(...)` property is the only thing that drops
- * out of `required`; every other property is required.
+ * Build `{ type: "object", properties, required }` from a node shape.
+ *
+ * Deliberately NOT `additionalProperties: false`: `v.object` STRIPS an
+ * undeclared key rather than refusing it (only `.output()`'s
+ * `rejectUnknownKeys` mode refuses one, and it is not what this schema
+ * describes), so closing the object had a spec-validating client reject bodies
+ * the server accepts. Absent means allowed, which is what the parser does.
+ *
+ * `required` lists every key whose field cannot be absent — see
+ * {@link acceptsAbsent}.
  */
 declare const objectSchemaFromNodes: <TNode>(shape: Record<string, TNode>, reader: SchemaNodeReader<TNode>) => JsonSchema;
 /**

package/dist/index.d.ts

@@ -521,7 +521,7 @@ interface JsonSchema {
  * no runtime metadata — so `constraints`/`isNullable` may be inert there).
  *
  * A reader normalizes a `TNode` to the small set of children/leaves the mapper
- * recurses over. Composite accessors (`inner`/`shape`/`members`/`valueChild`)
+ * recurses over. Composite accessors (`inner`/`shape`/`members`/`keyChild`/`valueChild`)
  * return the same `TNode` type so the mapper can recurse uniformly; leaf concerns
  * that differ between the two sources — how a literal's `const` is computed,
  * whether a `.check()`/`.meta()` constraint fragment exists, whether `.nullable()`
@@ -539,6 +539,12 @@ interface SchemaNodeReader<TNode> {
   inner: (node: TNode) => TNode | undefined;
   /** Whether `.nullable()` was applied (runtime: `_meta.column.notNull === false`). */
   isNullable: (node: TNode) => boolean;
+  /**
+   * Key-child of a `record` node, mapped to `propertyNames`. May be absent on
+   * the IR side (and on a `v.record(v.string(), …)` whose key validator adds
+   * no constraint beyond `type: "string"` it is merely redundant, not wrong).
+   */
+  keyChild: (node: TNode) => TNode | undefined;
   /** Discriminating validator kind. */
   kind: (node: TNode) => ValidatorKind;
   /**
@@ -563,10 +569,13 @@ interface SchemaNodeReader<TNode> {
  * so nested objects/arrays/unions/records are fully expanded (never collapsed to
  * one level).
  *
- * `date`/`timestamp` are epoch-millisecond numbers in Lunora (not ISO strings),
- * so they schema as integers; `bigint` schemas as an int64 (JSON has no bigint
- * type, so `format: int64` is the conventional OpenAPI carrier); `bytes` is an
- * `ArrayBuffer`, surfaced as base64 per JSON Schema 2020-12 content encoding.
+ * Each node names the JSON CARRIER, not the decoded JS type — the transport
+ * decodes before the parser sees a value, so describing the JS type would
+ * advertise shapes no JSON body can hold. `date`/`timestamp` are
+ * epoch-millisecond numbers in Lunora (not ISO strings), so they schema as
+ * integers; `bigint` rides as an int64 decimal string, the same carrier the
+ * wire codec and `v.literal(5n)` use; `bytes` is an `ArrayBuffer`, surfaced as
+ * base64 per JSON Schema 2020-12 content encoding.
  *
  * A `.check()`/`.meta()` JSON Schema fragment (when the reader exposes one) is
  * shallow-merged onto the node — constraint keys win on conflict. A `.nullable()`
@@ -575,9 +584,16 @@ interface SchemaNodeReader<TNode> {
  */
 declare const jsonSchemaFromNode: <TNode>(node: TNode, reader: SchemaNodeReader<TNode>) => JsonSchema;
 /**
- * Build `{ type: "object", properties, required, additionalProperties: false }`
- * from a node shape. A `v.optional(...)` property is the only thing that drops
- * out of `required`; every other property is required.
+ * Build `{ type: "object", properties, required }` from a node shape.
+ *
+ * Deliberately NOT `additionalProperties: false`: `v.object` STRIPS an
+ * undeclared key rather than refusing it (only `.output()`'s
+ * `rejectUnknownKeys` mode refuses one, and it is not what this schema
+ * describes), so closing the object had a spec-validating client reject bodies
+ * the server accepts. Absent means allowed, which is what the parser does.
+ *
+ * `required` lists every key whose field cannot be absent — see
+ * {@link acceptsAbsent}.
  */
 declare const objectSchemaFromNodes: <TNode>(shape: Record<string, TNode>, reader: SchemaNodeReader<TNode>) => JsonSchema;
 /**

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-DtU81nPr.mjs";import{argsToJsonSchema as l,toJsonSchema as d}from"./packem_shared/argsToJsonSchema-ujumcrdC.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{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};

package/dist/packem_shared/argsToJsonSchema-BN05tFLL.mjs

@@ -0,0 +1 @@
+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};

package/dist/packem_shared/jsonSchemaFromNode-BSWBXSLL.mjs

@@ -0,0 +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};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lunora/values",
-  "version": "1.0.0-alpha.40",
+  "version": "1.0.0-alpha.42",
   "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.32",
+    "@lunora/errors": "1.0.0-alpha.34",
     "@standard-schema/spec": "1.1.0"
   },
   "engines": {

package/dist/packem_shared/argsToJsonSchema-ujumcrdC.mjs

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

package/dist/packem_shared/jsonSchemaFromNode-DtU81nPr.mjs

@@ -1 +0,0 @@
-const o=(e,t)=>{const i=(()=>{switch(t.kind(e)){case"any":return{};case"array":{const n=t.inner(e);return{items:n===void 0?{}:o(n,t),type:"array"}}case"bigint":return{format:"int64",type:"integer"};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 c(t.shape(e),t);case"optional":{const n=t.inner(e);return n===void 0?{}:o(n,t)}case"record":{const n=t.valueChild(e);return{additionalProperties:n===void 0?{}:o(n,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=>o(n,t))};default:return{}}})(),r=t.constraints(e),s=r===void 0?i:{...i,...r};return t.isNullable(e)?{anyOf:[s,{type:"null"}]}:s},c=(e,t)=>{const i={},r=[];for(const[s,n]of Object.entries(e))i[s]=o(n,t),t.kind(n)!=="optional"&&r.push(s);return{additionalProperties:!1,properties:i,required:r,type:"object"}};export{o as jsonSchemaFromNode,c as objectSchemaFromNodes};