@abide/abide 0.123.0 → 0.123.2

package/CHANGELOG.md

@@ -1,5 +1,20 @@
 # @abide/abide
 
+## 0.123.2
+
+### Patch Changes
+
+- 4ce217a: `validateJson` reads a member left `undefined` as absent, so an `args: jsonSchema(...)` gate accepts `note: undefined` where `note` is optional rather than refusing it 422, as the derived args schema already did (RULEBOOK 19.25).
+
+## 0.123.1
+
+### Patch Changes
+
+- the args-as-sent walk returns the args it does not copy, walks a cycle once, and keeps a parsed __proto__ a member (RULEBOOK 19.25) ([`ee02cac`](https://github.com/briancray/abide/commit/ee02cacbb64f00374ae98154e788c59c5a4ec49b))
+- bf77c28: `abide check` no longer fails when an inline component is passed to a component that sits inside another component's body: the outer close tag's read in the check's projection now ends with a `;`, so the braces that scope the passed component are not parsed as an arrow function.
+- 7c24094: A no-argument mutation behind `middleware` no longer starts its body before its rungs run. Dropping the previous call's answer built the request's instance of the handler, which started the body ahead of every rung, so a refusing rung (`signedIn`) answered after the body had already run. Calling the same mutation twice in one request now writes twice behind rungs as well (RULEBOOK 16.7, 16.11, 16.16).
+- 94fbea7: A handler's derived args schema reads a member left `undefined` as absent, so an in-process call like `getResearch({ home, topic: undefined })` is answered as the wire answers it rather than refused 422 (RULEBOOK 19.25, 15.8).
+
 ## 0.123.0
 
 ### Minor Changes

package/docs/REGISTRY.md

@@ -279,7 +279,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | `Paths<T>` | `string` | The dot-joined leaf paths of a type. | 19.5 |
 | `JsonSchema` | `JsonValue` | A JSON Schema document, the native form. | 19.7, 19.14 |
 | `jsonSchema` | `<T>(document: JsonSchema) => StandardSchemaV1<T>` | A JSON Schema document as a `Schema`, carrying its validator. | 19.13, 19.14, 19.23, 20.11 |
-| `validateJson` | `<T>(schema: JsonSchema, value: unknown) => Issues<T> \| null` | The native validator. | 19.13 |
+| `validateJson` | `<T>(schema: JsonSchema, value: unknown) => Issues<T> \| null` | The native validator. | 19.13, 19.25 |
 
 ## Headers abide generates
 

package/docs/RULEBOOK.md

@@ -1335,6 +1335,9 @@ to, and MUST NOT change the type of the value that slot gates.
 19.24 The value a body produces MUST be typed from the body alone, and a `schema` declared beside it
 MUST NOT change that type.
 
+19.25 `validateJson` MUST read a member left `undefined`, at any depth of a record, as absent to
+`required`, `properties` and `additionalProperties` — in process as the wire carries it (30.28).
+
 # 20. Generated surfaces
 
 20.1 Every surface `Clients` names MUST be derived from the route table, and MUST NOT be authored

package/docs/abide.md

@@ -8158,7 +8158,7 @@ Transports: what is written in place rather than imported.
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `validateJson` | `<T>(schema: JsonSchema, value: unknown) => Issues<T> \| null` | The native validator. | [19.13](/rulebook#19.13) |
+| `validateJson` | `<T>(schema: JsonSchema, value: unknown) => Issues<T> \| null` | The native validator. | [19.13](/rulebook#19.13), [19.25](/rulebook#19.25) |
 
 ## Taught in
 

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@abide/abide",
-    "version": "0.123.0",
+    "version": "0.123.2",
     "type": "module",
     "description": "Isomorphic type-safe framework for reactive async interfaces for humans and machines",
     "license": "MIT",

package/src/compiler/projectShadow.ts

@@ -391,11 +391,13 @@ function project(file: AbideFile): Projection {
         }
         text += '}))\n'
         // 38.116 — a close tag of its own is a second read of the name, so it is renamed with it.
+        // Ended by its `;`: the braces a passed component is scoped in (32.51) can follow, and
+        // `(Name)\n{` parses as an arrow function's head.
         const closed = file.origins.closes.get(node)
         if (closed !== undefined) {
             text += ';('
             copied(node.tag, closed)
-            text += ')\n'
+            text += ');\n'
         }
         for (const attribute of refused)
             slots.set(

package/src/shared/rpc.ts

@@ -407,6 +407,12 @@ export function declare(method: Method): Declare {
             rungs.length === 0
                 ? null
                 : compose(rungs, async (ctx: RpcContext) => {
+                      // 16.7 behind rungs — the handler's spent answer is dropped HERE, once the
+                      // rungs let the call through: reading an unkeyed value's cell builds this
+                      // request's instance, which starts its body (1.7), and dropped in `call` that
+                      // ran the body ahead of every rung (16.11, 16.16).
+                      if (cacheOptions !== undefined && !keyed)
+                          dropAnswered(value)
                       const reached = reach(argsOf(ctx))
                       const started = performance.now()
                       try {
@@ -464,8 +470,9 @@ export function declare(method: Method): Declare {
             }
             // 16.7 — a mutation's call is a write each time, even where the last one settled this
             // turn: a keyed value's reach evicts an outlived entry itself, and an unkeyed one's
-            // spent answer is dropped here.
-            if (cacheOptions !== undefined && !keyed) dropAnswered(value)
+            // spent answer is dropped here — or, behind rungs, in the onion's center.
+            if (cacheOptions !== undefined && !keyed && wrapped === null)
+                dropAnswered(value)
             const reached = callLoad(
                 reachThrough,
                 args,

package/src/shared/validateJson.ts

@@ -486,6 +486,17 @@ function checkArray(
         check(items, value[index], join(path, String(index)), found)
 }
 
+/**
+ * Whether `value` carries `key` as JSON would: an own member, and not one left `undefined`.
+ *
+ * 19.25 — `undefined` IS NOT A JSON VALUE, so a member holding it is the member the wire leaves out:
+ * JSON drops it and a URL omits it (30.28). Read as present, `note?: string` refused a call in process
+ * passing `note: undefined` at 422 that the same call over the wire was answered for.
+ */
+function holds(value: Record<string, unknown>, key: string): boolean {
+    return value[key] !== undefined && Object.hasOwn(value, key)
+}
+
 function checkObject(
     node: Node,
     value: Record<string, unknown>,
@@ -504,7 +515,7 @@ function checkObject(
             // `required: ['toString']` was satisfied by `{}`, and — the one that matters —
             // `'__proto__' in declared` answered true, so `additionalProperties: false` accepted
             // `{"__proto__": …}` as a declared member and handed the object on unchecked.
-            if (!Object.hasOwn(value, key))
+            if (!holds(value, key))
                 noteOr(found, join(path, key), 'is required')
         }
     }
@@ -515,7 +526,7 @@ function checkObject(
             if (!Object.hasOwn(declared, key)) continue
             // An absent member is `required`'s business, not its schema's — checking it
             // here would report every optional member as the wrong type.
-            if (!Object.hasOwn(value, key)) continue
+            if (!holds(value, key)) continue
             check(
                 declared[key] as JsonValue,
                 value[key],
@@ -527,7 +538,7 @@ function checkObject(
     const extra = node.additionalProperties
     if (extra === undefined) return
     for (const key in value) {
-        if (!Object.hasOwn(value, key)) continue
+        if (!holds(value, key)) continue
         if (declared !== null && Object.hasOwn(declared, key)) continue
         if (extra === false) {
             noteOr(found, join(path, key), 'is not a known member')