@ggui-ai/protocol-conformance 0.18.0 → 0.20.0

package/dist/n1-compat-conformance/cases/forward-app-theme-carry-unknown-member.json

@@ -0,0 +1,32 @@
+{
+    "name": "forward-app-theme-carry-unknown-member",
+    "description": "FORWARD tolerance on the theme CARRY read (ggui#1155, VERSION-POLICY §3.6): a theme GET response exactly as a LATER release's door returns it — the stored document VERBATIM, carrying a synthetic `futureMember` this release does not name, with `interpreted.stripped` naming it. Today's response schema must accept it with the member INTACT, and the names in `interpreted.stripped` must be exactly the members today's parser cannot name. A reader that strips here is the ggui#1124 defect at the door built to prevent it.",
+    "direction": "forward",
+    "release": {
+        "label": "a later ggui release (synthetic): the theme GET's response with a synthetic `futureMember`",
+        "sha": "synthetic"
+    },
+    "wire": "app-theme-carry",
+    "payload": {
+        "theme": {
+            "overlayHash": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
+            "overlays": {
+                "light": {
+                    "--ggui-color-primary-600": "#7c3aed"
+                },
+                "dark": {
+                    "--ggui-color-primary-600": "#a78bfa"
+                }
+            },
+            "mode": "dark",
+            "name": "violet",
+            "futureMember": {
+                "any": "shape"
+            }
+        },
+        "interpreted": {
+            "stripped": ["futureMember"]
+        }
+    },
+    "expect": "accepted"
+}

package/dist/n1-compat-conformance/index.d.ts

@@ -1,5 +1,5 @@
 /** The protocol-owned wires the catalog can grade. */
-export declare const N1_COMPAT_WIRES: readonly ["app-theme", "app-theme-read", "render-meta", "generation-profile", "ops-generate-blueprint"];
+export declare const N1_COMPAT_WIRES: readonly ["app-theme", "app-theme-read", "app-theme-carry", "render-meta", "generation-profile", "ops-generate-blueprint"];
 /** `backward`: the previous release's payload against today's parser. `forward`: a later release's payload against today's READ door. */
 export declare const N1_COMPAT_DIRECTIONS: readonly ["backward", "forward"];
 export type N1CompatDirection = (typeof N1_COMPAT_DIRECTIONS)[number];

package/dist/n1-compat-conformance/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/n1-compat-conformance/index.ts"],"names":[],"mappings":"AA4BA,sDAAsD;AACtD,eAAO,MAAM,eAAe,yGAA0G,CAAC;AAEvI,yIAAyI;AACzI,eAAO,MAAM,oBAAoB,kCAAmC,CAAC;AACrE,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AACtE,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,MAAM,WAAW,eAAe;IAC9B,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iKAAiK;IACjK,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,4FAA4F;IAC5F,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,gGAAgG;IAChG,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAgDD,eAAO,MAAM,eAAe,EAAE,SAAS,YAAY,EAMhC,CAAC;AA6CpB,4DAA4D;AAC5D,wBAAgB,sBAAsB,IAAI,SAAS,cAAc,EAAE,CAclE"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/n1-compat-conformance/index.ts"],"names":[],"mappings":"AA6BA,sDAAsD;AACtD,eAAO,MAAM,eAAe,4HAA6H,CAAC;AAE1J,yIAAyI;AACzI,eAAO,MAAM,oBAAoB,kCAAmC,CAAC;AACrE,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AACtE,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,MAAM,WAAW,eAAe;IAC9B,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iKAAiK;IACjK,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,4FAA4F;IAC5F,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,gGAAgG;IAChG,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAgDD,eAAO,MAAM,eAAe,EAAE,SAAS,YAAY,EAOhC,CAAC;AAkEpB,4DAA4D;AAC5D,wBAAgB,sBAAsB,IAAI,SAAS,cAAc,EAAE,CAgBlE"}

package/dist/n1-compat-conformance/index.js

@@ -14,15 +14,16 @@
  * Pure-function catalog: no transport, no adopter input — graded on every
  * `runConformance()` and by the kit's own unit lane.
  */
-import { appGenerationProfileSchema, appThemeSchema, opsGenerateBlueprintInputSchema, parseAppThemeAtReadDoor } from '@ggui-ai/protocol';
+import { appGenerationProfileSchema, appThemeGetResponseSchema, appThemeSchema, opsGenerateBlueprintInputSchema, parseAppThemeAtReadDoor } from '@ggui-ai/protocol';
 import { MCP_APP_AI_GGUI_RENDER_META_KEY, parseMcpAppAiGguiRenderMeta, } from '@ggui-ai/protocol/integrations/mcp-apps';
 import release2AppThemeV2 from './cases/release-2-app-theme-v2.json' with { type: 'json' };
 import release2RenderMeta from './cases/release-2-render-meta.json' with { type: 'json' };
 import release2GenerationProfile from './cases/release-2-generation-profile.json' with { type: 'json' };
 import release2OpsGenerateBlueprint from './cases/release-2-ops-generate-blueprint.json' with { type: 'json' };
 import forwardAppThemeUnknownMember from './cases/forward-app-theme-unknown-member.json' with { type: 'json' };
+import forwardAppThemeCarryUnknownMember from './cases/forward-app-theme-carry-unknown-member.json' with { type: 'json' };
 /** The protocol-owned wires the catalog can grade. */
-export const N1_COMPAT_WIRES = ['app-theme', 'app-theme-read', 'render-meta', 'generation-profile', 'ops-generate-blueprint'];
+export const N1_COMPAT_WIRES = ['app-theme', 'app-theme-read', 'app-theme-carry', 'render-meta', 'generation-profile', 'ops-generate-blueprint'];
 /** `backward`: the previous release's payload against today's parser. `forward`: a later release's payload against today's READ door. */
 export const N1_COMPAT_DIRECTIONS = ['backward', 'forward'];
 function isN1CompatWire(v) {
@@ -79,6 +80,7 @@ export const N1_COMPAT_CASES = [
     release2GenerationProfile,
     release2OpsGenerateBlueprint,
     forwardAppThemeUnknownMember,
+    forwardAppThemeCarryUnknownMember,
 ].map(n1CompatCase);
 function gradeAppTheme(payload) {
     const r = appThemeSchema.safeParse(payload);
@@ -97,6 +99,31 @@ function gradeAppThemeRead(payload) {
         return { pass: false, detail: 'the read door changed the overlays while stripping' };
     return { pass: true, detail: `parseAppThemeAtReadDoor: kept, stripped [${r.stripped.join(', ')}]` };
 }
+/** Key-order-insensitive JSON — a parser may emit named members first; VERBATIM is about content, not key order. */
+function canonicalJson(v) {
+    const sortKeysDeep = (x) => Array.isArray(x) ? x.map(sortKeysDeep) : isRecord(x) ? Object.fromEntries(Object.keys(x).sort().map((k) => [k, sortKeysDeep(x[k])])) : x;
+    return JSON.stringify(sortKeysDeep(v));
+}
+function gradeAppThemeCarry(payload) {
+    // ggui#1155 — the CARRY read must return the stored document VERBATIM and name,
+    // beside it, exactly the members an INTERPRET reader on this release would drop.
+    const r = appThemeGetResponseSchema.safeParse(payload);
+    if (!r.success)
+        return { pass: false, detail: `appThemeGetResponseSchema refused a later release's carry response: ${r.error.issues.map((i) => i.message).join('; ')}` };
+    const sentTheme = isRecord(payload) ? payload['theme'] : undefined;
+    if (!isRecord(sentTheme))
+        return { pass: false, detail: 'the case must carry a non-null theme' };
+    if (canonicalJson(r.data.theme) !== canonicalJson(sentTheme))
+        return { pass: false, detail: 'the carry read did not return the stored document VERBATIM' };
+    const known = new Set(Object.keys(appThemeSchema.shape));
+    const unknown = Object.keys(sentTheme).filter((k) => !known.has(k)).sort();
+    const named = [...(r.data.interpreted?.stripped ?? [])].sort();
+    if (unknown.length === 0)
+        return { pass: false, detail: 'the case must carry a member today does not name' };
+    if (JSON.stringify(named) !== JSON.stringify(unknown))
+        return { pass: false, detail: `interpreted.stripped [${named.join(', ')}] must name exactly the members today cannot name [${unknown.join(', ')}]` };
+    return { pass: true, detail: `appThemeGetResponseSchema: verbatim, named [${unknown.join(', ')}]` };
+}
 function gradeGenerationProfile(payload) {
     const r = appGenerationProfileSchema.safeParse(payload);
     return r.success
@@ -130,11 +157,13 @@ export function runN1CompatConformance() {
             ? gradeAppTheme(c.payload)
             : c.wire === 'app-theme-read'
                 ? gradeAppThemeRead(c.payload)
-                : c.wire === 'render-meta'
-                    ? gradeRenderMeta(c.payload)
-                    : c.wire === 'generation-profile'
-                        ? gradeGenerationProfile(c.payload)
-                        : gradeOpsGenerateBlueprint(c.payload);
+                : c.wire === 'app-theme-carry'
+                    ? gradeAppThemeCarry(c.payload)
+                    : c.wire === 'render-meta'
+                        ? gradeRenderMeta(c.payload)
+                        : c.wire === 'generation-profile'
+                            ? gradeGenerationProfile(c.payload)
+                            : gradeOpsGenerateBlueprint(c.payload);
         return { name: c.name, direction: c.direction, pass: graded.pass, detail: `${c.release.label} (${c.release.sha}) → ${graded.detail}` };
     });
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ggui-ai/protocol-conformance",
-  "version": "0.18.0",
+  "version": "0.20.0",
   "description": "Conformance test kit for the ggui protocol. Drives a behavioral fixture catalog against a live implementation over WebSocket, a resources/read catalog against a live MCP server, and nine pure-function catalogs (schema, registration, resolution, binding, props-schema, host-helper, refusal-envelope, registry-completeness, transport-refusal) for the gadget, tool-binding, schema-precise-render, host-helper and pre-generation-refusal obligations, reporting a scorecard-style pass / fail / skip. MCP builders adopt this kit to prove their implementation is protocol-conformant.",
   "license": "Apache-2.0",
   "keywords": [
@@ -99,7 +99,7 @@
   },
   "dependencies": {
     "ws": "^8.20.1",
-    "@ggui-ai/protocol": "0.18.0"
+    "@ggui-ai/protocol": "0.20.0"
   },
   "devDependencies": {
     "@types/node": "^22.0.0",