@abide/abide 0.110.0 → 0.110.2

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # @abide/abide
 
+## 0.110.2
+
+### Patch Changes
+
+- 14ee265: an SVG element spelled in camelCase hydrates, the compiler asking for the tag the parser writes inside an <svg> ([`f10c81b`](https://github.com/briancray/abide/commit/f10c81bff3ce0e43762a71e24634a218312c0d93))
+
+## 0.110.1
+
+### Patch Changes
+
+- 2aac4eb: an MCP tool's inputSchema is an object at its top level, and args that can never be one refuse the app at boot ([`ec9d80b`](https://github.com/briancray/abide/commit/ec9d80bb6f8902ba1d9f016f6dcd85eba83a47ef))
+
 ## 0.110.0
 
 ### Minor Changes

package/docs/REGISTRY.md

@@ -313,7 +313,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `/__abide/mcp` | `POST` | The streamable-http MCP endpoint. | 19.21, 19.22, 20.5, 20.7, 20.8, 20.9, 20.10, 20.12, 20.13, 20.14, 20.16, 20.17, 36.7, 16.78 |
+| `/__abide/mcp` | `POST` | The streamable-http MCP endpoint. | 19.21, 19.22, 20.5, 20.7, 20.8, 20.9, 20.10, 20.12, 20.13, 20.14, 20.16, 20.17, 20.19, 20.20, 36.7, 16.78 |
 
 # Assistant
 
@@ -325,7 +325,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | `AssistantOptions` | `{ mcp?: boolean; maxTurns?: number }` | What `assistant` takes beside a provider. | 44.6, 44.8, 44.11 |
 | `Provider` | `{ run(messages: AssistantMessage[], tools: Toolbox, limits: { maxTurns: number; signal: AbortSignal }): AsyncGenerator<AssistantEvent> }` | What runs a conversation. | 44.2, 44.29 |
 | `Toolbox` | `{ list: ToolDefinition[]; call(name: string, input: unknown): Promise<{ text: string; failed: boolean }> }` | The app's MCP tools, called as the asker. | 44.6, 44.7 |
-| `ToolDefinition` | `{ name: string; description: string; inputSchema: unknown; annotations: { readOnlyHint: boolean; destructiveHint: boolean; idempotentHint: boolean }; outputSchema: unknown }` | A tool as the app's MCP surface lists it. | 20.14, 20.16, 44.6 |
+| `ToolDefinition` | `{ name: string; description: string; inputSchema: unknown; annotations: { readOnlyHint: boolean; destructiveHint: boolean; idempotentHint: boolean }; outputSchema: unknown }` | A tool as the app's MCP surface lists it. | 20.14, 20.16, 20.19, 44.6 |
 
 ## `claudeApi`
 

package/docs/RULEBOOK.md

@@ -1320,6 +1320,12 @@ tool, the status it was answered with and how long it took, whether `/__abide/mc
 made the call — a call naming a tool it does not publish answered 404, and one whose answer threw
 500.
 
+20.19 A tool `/__abide/mcp` lists MUST declare an `inputSchema` whose top-level `type` is `object`,
+whatever its handler's args schema declares there.
+
+20.20 A handler `/__abide/mcp` would list whose args schema can never be an object MUST refuse the
+app at boot, naming the handler.
+
 # 21. Generated headers
 
 21.1 Every response MUST carry `x-content-type-options: nosniff`.

package/docs/abide.md

@@ -7661,7 +7661,7 @@ Generated surfaces: what is written in place rather than imported.
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `/__abide/mcp` | `POST` | The streamable-http MCP endpoint. | [19.21](/rulebook#19.21), [19.22](/rulebook#19.22), [20.5](/rulebook#20.5), [20.7](/rulebook#20.7), [20.8](/rulebook#20.8), [20.9](/rulebook#20.9), [20.10](/rulebook#20.10), [20.12](/rulebook#20.12), [20.13](/rulebook#20.13), [20.14](/rulebook#20.14), [20.16](/rulebook#20.16), [20.17](/rulebook#20.17), [36.7](/rulebook#36.7), [16.78](/rulebook#16.78) |
+| `/__abide/mcp` | `POST` | The streamable-http MCP endpoint. | [19.21](/rulebook#19.21), [19.22](/rulebook#19.22), [20.5](/rulebook#20.5), [20.7](/rulebook#20.7), [20.8](/rulebook#20.8), [20.9](/rulebook#20.9), [20.10](/rulebook#20.10), [20.12](/rulebook#20.12), [20.13](/rulebook#20.13), [20.14](/rulebook#20.14), [20.16](/rulebook#20.16), [20.17](/rulebook#20.17), [20.19](/rulebook#20.19), [20.20](/rulebook#20.20), [36.7](/rulebook#36.7), [16.78](/rulebook#16.78) |
 
 ## Taught in
 
@@ -7787,7 +7787,7 @@ Generated surfaces: what is written in place rather than imported.
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `ToolDefinition` | `{ name: string; description: string; inputSchema: unknown; annotations: { readOnlyHint: boolean; destructiveHint: boolean; idempotentHint: boolean }; outputSchema: unknown }` | A tool as the app's MCP surface lists it. | [20.14](/rulebook#20.14), [20.16](/rulebook#20.16), [44.6](/rulebook#44.6) |
+| `ToolDefinition` | `{ name: string; description: string; inputSchema: unknown; annotations: { readOnlyHint: boolean; destructiveHint: boolean; idempotentHint: boolean }; outputSchema: unknown }` | A tool as the app's MCP surface lists it. | [20.14](/rulebook#20.14), [20.16](/rulebook#20.16), [20.19](/rulebook#20.19), [44.6](/rulebook#44.6) |
 
 ## Taught in
 

package/package.json

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

package/src/compiler/Cursor.ts

@@ -81,7 +81,8 @@ export type PlacedNode = {
      */
     parent: string
     /**
-     * An element's FOLDED tag, for the kind check `elementHere` makes. '' for the other two kinds.
+     * An element's tag as the parser writes it, for the kind check `elementHere` makes: folded,
+     * then given back SVG's camelCase (`SVG_CASE`). '' for the other two kinds.
      */
     tag: string
     /**
@@ -115,6 +116,51 @@ export type PlacedNode = {
     children: PlacedNode[]
 }
 
+// THE NAMES THE PARSER GIVES BACK SVG'S CASE, folded to the case it writes — the HTML standard's
+// adjustment table for foreign content. None is an HTML element, so one stands under an `<svg>`
+// even where the compiler cannot see it: a component's root does not know where it is invoked.
+const SVG_CASE = new Map<string, string>()
+for (const name of [
+    'altGlyph',
+    'altGlyphDef',
+    'altGlyphItem',
+    'animateColor',
+    'animateMotion',
+    'animateTransform',
+    'clipPath',
+    'feBlend',
+    'feColorMatrix',
+    'feComponentTransfer',
+    'feComposite',
+    'feConvolveMatrix',
+    'feDiffuseLighting',
+    'feDisplacementMap',
+    'feDistantLight',
+    'feDropShadow',
+    'feFlood',
+    'feFuncA',
+    'feFuncB',
+    'feFuncG',
+    'feFuncR',
+    'feGaussianBlur',
+    'feImage',
+    'feMerge',
+    'feMergeNode',
+    'feMorphology',
+    'feOffset',
+    'fePointLight',
+    'feSpecularLighting',
+    'feSpotLight',
+    'feTile',
+    'feTurbulence',
+    'foreignObject',
+    'glyphRef',
+    'linearGradient',
+    'radialGradient',
+    'textPath',
+])
+    SVG_CASE.set(name.toLowerCase(), name)
+
 /** A run of siblings being walked: the region's own root, or the inside of one element. */
 type Frame = {
     /**
@@ -202,7 +248,13 @@ export class Cursor {
      * emitted between its open and close tags and nowhere else. A void element is left at once.
      */
     element(node: ElementNode): PlacedNode {
-        const at = this.record('element', node, node.lowerTag, false, [])
+        const at = this.record(
+            'element',
+            node,
+            SVG_CASE.get(node.lowerTag) ?? node.lowerTag,
+            false,
+            [],
+        )
         this.frames.push({
             parent: at.name,
             within: at,

package/src/server/generatedSurfaces.ts

@@ -253,6 +253,14 @@ export class McpSurface {
         handlers: Map<string, Mounted>,
         answer: (request: Request) => Promise<Response>,
     ) {
+        // 20.20 — a tool's arguments are an object, so args that can never be one are no tool.
+        for (const mounted of handlers.values()) {
+            const tool = surfaceOf(mounted, 'mcp')
+            if (tool !== undefined && toolInput(tool.schema) === undefined)
+                throw new Error(
+                    `abide: ${tool.name}'s args can never be an object, which is all an MCP tool is called with — give it object args, or \`clients: { mcp: false }\`. RULEBOOK 20.20.`,
+                )
+        }
         this.#handlers = handlers
         this.#answer = answer
     }
@@ -280,7 +288,7 @@ export class McpSurface {
             listing.push({
                 name: tool.name,
                 description: tool.description ?? '',
-                inputSchema: tool.schema ?? { type: 'object' },
+                inputSchema: toolInput(tool.schema),
                 // 20.14 — what the method promises: a `GET` is safe, and a `GET`, a `PUT` and a
                 // `DELETE` idempotent. Any other write may destroy, and nothing says it does not.
                 annotations: {
@@ -411,6 +419,32 @@ function logCall(
     )
 }
 
+/**
+ * `schema` as a tool's `inputSchema`, its top-level `type` `object` whatever it declared there, or
+ * `undefined` where no value it admits is an object. 20.19, 20.20.
+ */
+function toolInput(schema: unknown): object | undefined {
+    if (schema === undefined || schema === true) return { type: 'object' }
+    if (!admitsObject(schema)) return undefined
+    return { ...(schema as object), type: 'object' }
+}
+
+/** Whether a JSON Schema admits some object — its `type`, and each of `anyOf`, `oneOf` and `allOf`. */
+function admitsObject(schema: unknown): boolean {
+    if (schema === true) return true
+    if (schema === null || typeof schema !== 'object') return false
+    const { type, anyOf, oneOf, allOf } = schema as Record<string, unknown>
+    if (
+        type !== undefined &&
+        type !== 'object' &&
+        !(Array.isArray(type) && type.includes('object'))
+    )
+        return false
+    if (Array.isArray(anyOf) && !anyOf.some(admitsObject)) return false
+    if (Array.isArray(oneOf) && !oneOf.some(admitsObject)) return false
+    return !Array.isArray(allOf) || allOf.every(admitsObject)
+}
+
 /**
  * Whether a tool declares an `outputSchema`: MCP's structured content is an object, so only a
  * result schema that is one. 20.16.