@ggui-ai/protocol-conformance 0.25.0 → 0.27.0

package/dist/n1-compat-conformance/cases/forward-ops-list-blueprints-stamped.json

@@ -0,0 +1,77 @@
+{
+    "name": "forward-ops-list-blueprints-stamped",
+    "description": "FORWARD (ggui#1280 emit, VERSION-POLICY §3.6): the ggui_ops_list_blueprints result the NEXT release writes once generation mints are stamped — synthetic by construction, so it carries no landed sha. Two rows built on tag 14's served row (release-14-ops-list-blueprints): the first carries a valid `build` (the minting engine's version, mode and template digests), the second carries none (registered, installed and older rows). The reader MUST accept the result, keep the stamp VERBATIM on the first row and leave the second row unstamped. It is the half the backward case cannot test: a reader that dropped or rewrote the stamp — tag 14's reader declares it (`d9132ae6f`), and a later change to `opsListBlueprintsOutputSchema` must not lose it — fails here.",
+    "direction": "forward",
+    "release": {
+        "label": "a later ggui release (synthetic): tag 14's served row, once stamped and once not",
+        "sha": "synthetic"
+    },
+    "wire": "ops-list-blueprints",
+    "payload": {
+        "blueprints": [
+            {
+                "blueprintId": "bp_00000000-0000-4000-8000-000000001280",
+                "contractHash": "a8b8be414e9e53f7",
+                "appId": "IMud3W0m",
+                "codeS3Url": "s3://blueprint-code/code/be997120c9425551b4db6c041c32d632255ba166e5d3746fe3c4cbbbf3a2edd9.js",
+                "codeHash": "be997120c9425551b4db6c041c32d632255ba166e5d3746fe3c4cbbbf3a2edd9",
+                "source": {
+                    "kind": "llm",
+                    "generator": "ui-gen-default",
+                    "model": "openai/gpt-6-luna"
+                },
+                "variance": {},
+                "createdAt": "2026-09-27T16:40:27.386Z",
+                "createdBy": "agent",
+                "contract": {
+                    "propsSpec": {
+                        "properties": {
+                            "harbour": {
+                                "schema": {
+                                    "type": "string"
+                                },
+                                "required": true
+                            }
+                        }
+                    }
+                },
+                "build": {
+                    "version": "0.25.0",
+                    "mode": "constrained",
+                    "digests": {
+                        "promptTemplateSha256": "fdf5de0bdc977b698772e337d552dbe27cbc984382e6c0f68b0f5a7d8a953f00",
+                        "boilerplateTemplateSha256": "9b4393cd686244d9e06d480f477dc85aa5b4469d45dfb103b76b873e22e65c24"
+                    }
+                }
+            },
+            {
+                "blueprintId": "bp_00000000-0000-4000-8000-000000001281",
+                "contractHash": "a8b8be414e9e53f7",
+                "appId": "IMud3W0m",
+                "codeS3Url": "s3://blueprint-code/code/be997120c9425551b4db6c041c32d632255ba166e5d3746fe3c4cbbbf3a2edd9.js",
+                "codeHash": "be997120c9425551b4db6c041c32d632255ba166e5d3746fe3c4cbbbf3a2edd9",
+                "source": {
+                    "kind": "llm",
+                    "generator": "ui-gen-default",
+                    "model": "openai/gpt-6-luna"
+                },
+                "variance": {},
+                "createdAt": "2026-09-27T16:40:27.386Z",
+                "createdBy": "agent",
+                "contract": {
+                    "propsSpec": {
+                        "properties": {
+                            "harbour": {
+                                "schema": {
+                                    "type": "string"
+                                },
+                                "required": true
+                            }
+                        }
+                    }
+                }
+            }
+        ]
+    },
+    "expect": "accepted"
+}

package/dist/n1-compat-conformance/cases/forward-view-proof-later-version.json

@@ -0,0 +1,14 @@
+{
+    "name": "forward-view-proof-later-version",
+    "description": "FORWARD tolerance for the view-origin proof (ggui#1415, SPEC §4.7, VERSION-POLICY §3.6): a LATER release's runtime may send a proof of a later version (`v2.`, with more fields). SPEC §4.7 fixes the door shape for every version at 1 to 1024 characters of `[A-Za-z0-9._-]`, and a v1 proof is at most 901, so the room above 901 is the later versions'. This proof is longer than any v1 proof can be. It must still fit `VIEW_PROOF_RELAY_SHAPE`, so a relay that checks the shape keeps forwarding it (a relay capped at v1's maximum would fail this case), and today's parser must read it as `version_unknown`, never `malformed`: an unknown version is a runtime newer than the server, which is a different finding from a mangled proof, and at this release the call is accepted either way. Synthetic by construction: no landed release sends `v2`.",
+    "direction": "forward",
+    "release": {
+        "label": "a later ggui release (synthetic): a view proof of version 2",
+        "sha": "synthetic"
+    },
+    "wire": "view-proof",
+    "payload": {
+        "proof": "v2.eyJzZXNzaW9uSWQiOiJyZW5kZXJfbjEtdmlldy1wcm9vZiIsImFwcElkIjoiYXBwLTEiLCJraW5kIjoid3MiLCJpYXQiOjE3OTAwMDAwMDAsImV4cCI6MTc5MDAwMDE4MCwianRpIjoiai1uMS0xIiwia2lkIjoiYWJjZGVmZ2giLCJzcmMiOiJyZWFkIiwibGFuZSI6Mn0.Gxax31OLoS3D-X7buFyqcA.1790000000000.1.ypeBEsobvcr6wjGzmiPcTaeG7_gUfE5yuYB3ha_uSLs.Ln0sA6lQeuJl7PW1NWiFpTOTogKdJBOUmXJloaJa78Y.jPPrvazd_d1vE2c_lF9SPMmBPfL83ypCCiMNKDvfSno.JApCN0-oHSRQhjgoKkFsRrL_fR3FKYcecVHl7v_XexM.BbtfBFC9euhD7PCwpZaY_ZPYOjkwaG63z88z-7Ju3eQ.lqYQruNzWtZm16QKDwMEmLa4sm6jJApzCHI7Yad5Soc._jcik6xvyHZ9JIJ46c6su1OqV96NOzDvIIE5M5NdEzI.XkpFATZZBLlION0kvopTmR0WA6WUpj4WT8Dqs2HTJbU.OQV6gjuSVFmNqGnYyvwUltb3GXuhpgFqY390evoeb4k.rgEOb9-vL-iVxaOqeHwaQElHhJZDe1VWZ8QPISDTbHs.vbY9a3w12K0d4TugPWHEJlgTw7stAPR9rQXp0c4epHQ.p03as9nh6E5xhKe3G_i1kDlCEJMtJobtPXmTLy8kgJo.5XGKXuUJv0IF1IylJHO7pxtTM4xrnNFttSC71C71-dQ.KgBoV_T71GnQmivxHXAsRS30ih8q9bQ-XzytF87sQIg.0bt43PDDGf_ogPbxCfmYB_J9YxSp9aI63NLia26OY7I.M4QsAgRfWyfexpO2gj1vLHeC-aKxkMLa-4vhGDdKldM.E8RjxoojvGM2N7YT5j4AJeLUmM9S73aHeubtNHX0q6Y"
+    },
+    "expect": "accepted"
+}

package/dist/n1-compat-conformance/cases/forward-view-proof-root-later-claim.json

@@ -0,0 +1,14 @@
+{
+    "name": "forward-view-proof-root-later-claim",
+    "description": "FORWARD tolerance for the view-origin proof's root (ggui#1415, SPEC §4.7, VERSION-POLICY §3.6): a LATER release's server may stamp its ws token's payload with a claim this release does not name (`lane`). SPEC §4.7: a reader decodes the root claims it names and ignores any others, so a v1 proof rooted in that token must still parse. A new value of the closed `src` set is deliberately NOT a forward case: §4.7 names `src` as the exception, and VERSION-POLICY §3.6 widens that set one release before any door stamps the value. Synthetic by construction.",
+    "direction": "forward",
+    "release": {
+        "label": "a later ggui release (synthetic): a v1 proof whose root carries an unnamed claim",
+        "sha": "synthetic"
+    },
+    "wire": "view-proof",
+    "payload": {
+        "proof": "v1.eyJzZXNzaW9uSWQiOiJyZW5kZXJfbjEtdmlldy1wcm9vZiIsImFwcElkIjoiYXBwLTEiLCJraW5kIjoid3MiLCJpYXQiOjE3OTAwMDAwMDAsImV4cCI6MTc5MDAwMDE4MCwianRpIjoiai1uMS0xIiwia2lkIjoiYWJjZGVmZ2giLCJzcmMiOiJyZWFkIiwibGFuZSI6Mn0.Gxax31OLoS3D-X7buFyqcA.1790000000000.1.ypeBEsobvcr6wjGzmiPcTaeG7_gUfE5yuYB3ha_uSLs.Ln0sA6lQeuJl7PW1NWiFpTOTogKdJBOUmXJloaJa78Y"
+    },
+    "expect": "accepted"
+}

package/dist/n1-compat-conformance/cases/release-14-ops-list-blueprints.json

@@ -0,0 +1,41 @@
+{
+    "name": "release-14-ops-list-blueprints",
+    "description": "A ggui_ops_list_blueprints result as ggui tag 14 (b68b964a7, serving prod and staging) emitted it for one generation-minted row, captured from staging serving that tag (`ggui-protocol-b68b964a7737`, 2026-09-27T16:40Z) on a fixture app after one cold render. Every byte is verbatim except `codeS3Url`: its bucket names the hosted deployment's store, so the value keeps the served shape (`s3://<bucket>/code/<codeHash>.js`) over a neutral bucket. The row carries NO `build`: tag 14 declares the stamp and no writer emits it. Today's opsListBlueprintsOutputSchema MUST accept the result, and the parsed row MUST still carry no `build` — an unstamped row reads as an unknown minting build, never an error, and a reader never invents one (ggui#1280, VERSION-POLICY §3.6).",
+    "release": {
+        "label": "ggui tag 14",
+        "sha": "b68b964a7"
+    },
+    "wire": "ops-list-blueprints",
+    "payload": {
+        "blueprints": [
+            {
+                "blueprintId": "bp_35eb73be-51be-479f-a0e3-dad47ea57739",
+                "contractHash": "a8b8be414e9e53f7",
+                "appId": "IMud3W0m",
+                "codeS3Url": "s3://blueprint-code/code/be997120c9425551b4db6c041c32d632255ba166e5d3746fe3c4cbbbf3a2edd9.js",
+                "codeHash": "be997120c9425551b4db6c041c32d632255ba166e5d3746fe3c4cbbbf3a2edd9",
+                "source": {
+                    "kind": "llm",
+                    "generator": "ui-gen-default",
+                    "model": "openai/gpt-6-luna"
+                },
+                "variance": {},
+                "createdAt": "2026-09-27T16:40:27.386Z",
+                "createdBy": "agent",
+                "contract": {
+                    "propsSpec": {
+                        "properties": {
+                            "harbour": {
+                                "schema": {
+                                    "type": "string"
+                                },
+                                "required": true
+                            }
+                        }
+                    }
+                }
+            }
+        ]
+    },
+    "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", "app-theme-carry", "render-meta", "generation-profile", "ops-generate-blueprint", "handshake-suggestion", "render-result"];
+export declare const N1_COMPAT_WIRES: readonly ["app-theme", "app-theme-read", "app-theme-carry", "render-meta", "generation-profile", "ops-generate-blueprint", "handshake-suggestion", "render-result", "ops-list-blueprints", "view-proof"];
 /** `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":"AAgCA,sDAAsD;AACtD,eAAO,MAAM,eAAe,qKAAsK,CAAC;AAEnM,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,EAUhC,CAAC;AA6GpB,4DAA4D;AAC5D,wBAAgB,sBAAsB,IAAI,SAAS,cAAc,EAAE,CAoBlE"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/n1-compat-conformance/index.ts"],"names":[],"mappings":"AA2CA,sDAAsD;AACtD,eAAO,MAAM,eAAe,0MAA2M,CAAC;AAExO,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,EAgBhC,CAAC;AAuNpB,4DAA4D;AAC5D,wBAAgB,sBAAsB,IAAI,SAAS,cAAc,EAAE,CAKlE"}

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

@@ -3,10 +3,12 @@
  *
  * Every BACKWARD case is the PREVIOUS release's payload for a protocol-owned
  * wire, tagged with that release's sha, and passes iff today's parser accepts
- * it. Every FORWARD case (ggui#1093 belt) is a LATER release's payload —
- * today's shape plus a top-level member today does not name, synthetic by
- * construction — and passes iff today's READ door keeps it, overlays intact,
- * stripping and naming the member. A case that starts failing is a receiver
+ * it. Every FORWARD case is a LATER release's payload, synthetic by
+ * construction, and passes iff today's READ side keeps it: a top-level
+ * member today does not name is stripped and named, overlays intact
+ * (ggui#1093 belt), and a view proof of a later version, or over a root
+ * claim today does not name, is recognised rather than refused as
+ * malformed (ggui#1415). A case that starts failing is a receiver
  * that broke N−1 across a rolling release — the fix is the receiver, never
  * the fixture; a fixture changes only when the pairing of record moves
  * (`docs/protocol/VERSION-POLICY.md` §3.6).
@@ -14,19 +16,25 @@
  * Pure-function catalog: no transport, no adopter input — graded on every
  * `runConformance()` and by the kit's own unit lane.
  */
-import { appGenerationProfileSchema, appThemeGetResponseSchema, appThemeSchema, handshakeSuggestionSchema, opsGenerateBlueprintInputSchema, parseAppThemeAtReadDoor, renderOutputSchema } from '@ggui-ai/protocol';
-import { MCP_APP_AI_GGUI_RENDER_META_KEY, parseMcpAppAiGguiRenderMeta, } from '@ggui-ai/protocol/integrations/mcp-apps';
+import { appGenerationProfileSchema, appThemeGetResponseSchema, appThemeSchema, handshakeSuggestionSchema, opsGenerateBlueprintInputSchema, opsListBlueprintsOutputSchema, parseAppThemeAtReadDoor, renderOutputSchema } from '@ggui-ai/protocol';
+import { MCP_APP_AI_GGUI_RENDER_META_KEY, parseMcpAppAiGguiRenderMeta, parseViewProof, VIEW_PROOF_RELAY_SHAPE, VIEW_PROOF_V1_MAX_CHARS, } 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 release91HandshakeSuggestion from './cases/release-9-1-handshake-suggestion.json' with { type: 'json' };
 import release13RenderResult from './cases/release-13-render-result.json' with { type: 'json' };
+import release14OpsListBlueprints from './cases/release-14-ops-list-blueprints.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' };
+import forwardAppThemeCarryUninterpretable from './cases/forward-app-theme-carry-uninterpretable.json' with { type: 'json' };
 import forwardRenderMetaUnknownMember from './cases/forward-render-meta-unknown-member.json' with { type: 'json' };
+import forwardOpsListBlueprintsStamped from './cases/forward-ops-list-blueprints-stamped.json' with { type: 'json' };
+import forwardOpsListBlueprintsCloned from './cases/forward-ops-list-blueprints-cloned.json' with { type: 'json' };
+import forwardViewProofLaterVersion from './cases/forward-view-proof-later-version.json' with { type: 'json' };
+import forwardViewProofRootLaterClaim from './cases/forward-view-proof-root-later-claim.json' with { type: 'json' };
 /** The protocol-owned wires the catalog can grade. */
-export const N1_COMPAT_WIRES = ['app-theme', 'app-theme-read', 'app-theme-carry', 'render-meta', 'generation-profile', 'ops-generate-blueprint', 'handshake-suggestion', 'render-result'];
+export const N1_COMPAT_WIRES = ['app-theme', 'app-theme-read', 'app-theme-carry', 'render-meta', 'generation-profile', 'ops-generate-blueprint', 'handshake-suggestion', 'render-result', 'ops-list-blueprints', 'view-proof'];
 /** `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) {
@@ -84,9 +92,15 @@ export const N1_COMPAT_CASES = [
     release2OpsGenerateBlueprint,
     release91HandshakeSuggestion,
     release13RenderResult,
+    release14OpsListBlueprints,
     forwardAppThemeUnknownMember,
     forwardAppThemeCarryUnknownMember,
+    forwardAppThemeCarryUninterpretable,
     forwardRenderMetaUnknownMember,
+    forwardOpsListBlueprintsStamped,
+    forwardOpsListBlueprintsCloned,
+    forwardViewProofLaterVersion,
+    forwardViewProofRootLaterClaim,
 ].map(n1CompatCase);
 function gradeAppTheme(payload) {
     const r = appThemeSchema.safeParse(payload);
@@ -116,6 +130,14 @@ function gradeAppThemeCarry(payload) {
     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('; ')}` };
+    // ggui#1175 — a stored document that is not a theme comes back `theme: null` WITH `uninterpretable`;
+    // the case grades that today's schema reads it as that, never as "no theme".
+    if (r.data.theme === null) {
+        const u = r.data.uninterpretable;
+        if (u === undefined)
+            return { pass: false, detail: 'a null-theme case must carry `uninterpretable`: a bare null is "no theme", not a forward case' };
+        return { pass: true, detail: `appThemeGetResponseSchema: theme null, uninterpretable (${u.issueCount} issue(s): ${u.issues.map((i) => i.code).join(', ')})` };
+    }
     const sentTheme = isRecord(payload) ? payload['theme'] : undefined;
     if (!isRecord(sentTheme))
         return { pass: false, detail: 'the case must carry a non-null theme' };
@@ -196,24 +218,108 @@ function gradeRenderResult(payload) {
         ? { pass: true, detail: 'renderOutputSchema: accepted' }
         : { pass: false, detail: `renderOutputSchema refused the previous release's render result: ${r.error.issues.map((i) => i.message).join('; ')}` };
 }
+// ggui#1280 — the blueprint rows the served release lists must keep parsing once
+// rows carry the minting build, and a row that carries none must not gain one:
+// absence is the unknown-build category, never a value a reader fills in.
+// ggui#1570 — the same for a copied row's `clonedFrom`: kept verbatim on the
+// copy, and never filled in on a row that is not one.
+function gradeOpsListBlueprints(payload) {
+    const r = opsListBlueprintsOutputSchema.safeParse(payload);
+    if (!r.success) {
+        return { pass: false, detail: `opsListBlueprintsOutputSchema refused the previous release's list: ${r.error.issues.map((i) => i.message).join('; ')}` };
+    }
+    const sent = isRecord(payload) && Array.isArray(payload['blueprints']) ? payload['blueprints'] : [];
+    for (const [i, row] of r.data.blueprints.entries()) {
+        const sentRow = sent[i];
+        const sentBuild = isRecord(sentRow) ? sentRow['build'] : undefined;
+        if (canonicalJson(row.build) !== canonicalJson(sentBuild)) {
+            return { pass: false, detail: `row ${i}'s build changed across the parse (sent ${canonicalJson(sentBuild)}, parsed ${canonicalJson(row.build)})` };
+        }
+        const sentClonedFrom = isRecord(sentRow) ? sentRow['clonedFrom'] : undefined;
+        if (canonicalJson(row.clonedFrom) !== canonicalJson(sentClonedFrom)) {
+            return { pass: false, detail: `row ${i}'s clonedFrom changed across the parse (sent ${canonicalJson(sentClonedFrom)}, parsed ${canonicalJson(row.clonedFrom)})` };
+        }
+    }
+    return { pass: true, detail: `opsListBlueprintsOutputSchema: accepted, ${r.data.blueprints.length} row(s), build and clonedFrom kept as sent` };
+}
+/** The keys of a root's JSON payload, decoded without trusting it; `undefined` when it is not a JSON object. */
+function rootKeys(root) {
+    try {
+        const padded = root.replace(/-/g, '+').replace(/_/g, '/') + '==='.slice((root.length + 3) % 4);
+        const json = JSON.parse(new TextDecoder('utf-8', { fatal: true }).decode(Uint8Array.from(atob(padded), (c) => c.charCodeAt(0))));
+        return isRecord(json) ? Object.keys(json) : undefined;
+    }
+    catch {
+        // Not base64url JSON: the case's own root is broken, reported by the caller.
+        return undefined;
+    }
+}
+// ggui#1415 — a later release's view proof (SPEC §4.7). The door shape is fixed
+// for every version, so a relay that checks it must keep forwarding the proof,
+// including one longer than any v1 proof. A later version reads
+// `version_unknown`, never `malformed`; a v1 proof whose root carries a claim
+// this release does not name still parses.
+function gradeViewProof(payload) {
+    const proof = isRecord(payload) ? payload['proof'] : undefined;
+    if (typeof proof !== 'string')
+        return { pass: false, detail: 'the case must carry a proof string' };
+    if (!VIEW_PROOF_RELAY_SHAPE.test(proof)) {
+        return { pass: false, detail: "the later release's proof is off the relay door shape, so a relay that checks it would drop it" };
+    }
+    const parsed = parseViewProof(proof);
+    if (!proof.startsWith('v1.')) {
+        if (proof.length <= VIEW_PROOF_V1_MAX_CHARS) {
+            return { pass: false, detail: `the case must use the room the door keeps for later versions: its proof is ${proof.length} characters, within v1's ${VIEW_PROOF_V1_MAX_CHARS}` };
+        }
+        return !parsed.ok && parsed.reason === 'version_unknown'
+            ? { pass: true, detail: `parseViewProof: a later version of ${proof.length} characters reads version_unknown, and the relay shape holds` }
+            : { pass: false, detail: `parseViewProof read a later version as ${parsed.ok ? 'a v1 proof' : parsed.reason}, not version_unknown` };
+    }
+    if (!parsed.ok)
+        return { pass: false, detail: `parseViewProof refused a v1 proof over a later root claim: ${parsed.reason}` };
+    const named = new Set(Object.keys(parsed.proof.claims));
+    const unnamed = (rootKeys(parsed.proof.root) ?? []).filter((k) => !named.has(k));
+    return unnamed.length > 0
+        ? { pass: true, detail: `parseViewProof: a v1 proof whose root carries [${unnamed.join(', ')}] still parses` }
+        : { pass: false, detail: 'the case must root its proof in claims this release does not name' };
+}
+/**
+ * One grader per wire, exhaustively: a wire added to {@link N1_COMPAT_WIRES}
+ * without an arm here does not compile, rather than falling through to
+ * another wire's grader.
+ */
+function gradeWire(wire, payload) {
+    switch (wire) {
+        case 'app-theme':
+            return gradeAppTheme(payload);
+        case 'app-theme-read':
+            return gradeAppThemeRead(payload);
+        case 'app-theme-carry':
+            return gradeAppThemeCarry(payload);
+        case 'render-meta':
+            return gradeRenderMeta(payload);
+        case 'generation-profile':
+            return gradeGenerationProfile(payload);
+        case 'ops-generate-blueprint':
+            return gradeOpsGenerateBlueprint(payload);
+        case 'handshake-suggestion':
+            return gradeHandshakeSuggestion(payload);
+        case 'render-result':
+            return gradeRenderResult(payload);
+        case 'ops-list-blueprints':
+            return gradeOpsListBlueprints(payload);
+        case 'view-proof':
+            return gradeViewProof(payload);
+        default: {
+            const unhandled = wire;
+            return { pass: false, detail: `no grader for wire ${String(unhandled)}` };
+        }
+    }
+}
 /** Grade every N−1 case against the protocol as shipped. */
 export function runN1CompatConformance() {
     return N1_COMPAT_CASES.map((c) => {
-        const graded = c.wire === 'app-theme'
-            ? gradeAppTheme(c.payload)
-            : c.wire === 'app-theme-read'
-                ? gradeAppThemeRead(c.payload)
-                : c.wire === 'app-theme-carry'
-                    ? gradeAppThemeCarry(c.payload)
-                    : c.wire === 'render-meta'
-                        ? gradeRenderMeta(c.payload)
-                        : c.wire === 'generation-profile'
-                            ? gradeGenerationProfile(c.payload)
-                            : c.wire === 'handshake-suggestion'
-                                ? gradeHandshakeSuggestion(c.payload)
-                                : c.wire === 'render-result'
-                                    ? gradeRenderResult(c.payload)
-                                    : gradeOpsGenerateBlueprint(c.payload);
+        const graded = gradeWire(c.wire, c.payload);
         return { name: c.name, direction: c.direction, pass: graded.pass, detail: `${c.release.label} (${c.release.sha}) → ${graded.detail}` };
     });
 }

package/dist/reporter.d.ts

@@ -24,6 +24,11 @@ export declare function formatSummary(result: ConformanceResult): string;
  * programmatic consumers that want a post-run diagnostic dump.
  */
 export declare function formatFailures(failures: readonly ConformanceFailure[]): string;
+/**
+ * Emit the full set of warnings (ggui#1526): SHOULD fixtures whose
+ * expectation was not met, with the same evidence a failure carries.
+ */
+export declare function formatWarnings(warnings: readonly ConformanceFailure[]): string;
 /**
  * Emit the full set of skip reasons — useful for `--verbose` mode to
  * see which directives an implementation hasn't wired yet.

package/dist/reporter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reporter.d.ts","sourceRoot":"","sources":["../src/reporter.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EACV,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACf,MAAM,sBAAsB,CAAC;AAM9B,MAAM,WAAW,sBAAsB;IACrC;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,GAAE,sBAA2B,GACnC,mBAAmB,CA0CrB;AAMD,wBAAgB,eAAe,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAejE;AAyBD,wBAAgB,aAAa,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAW/D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,GAAG,MAAM,CAW9E;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,GAAG,MAAM,CAStE"}
+{"version":3,"file":"reporter.d.ts","sourceRoot":"","sources":["../src/reporter.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EACV,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACf,MAAM,sBAAsB,CAAC;AAM9B,MAAM,WAAW,sBAAsB;IACrC;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,GAAE,sBAA2B,GACnC,mBAAmB,CA+CrB;AAMD,wBAAgB,eAAe,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAejE;AA2BD,wBAAgB,aAAa,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAa/D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,GAAG,MAAM,CAW9E;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,GAAG,MAAM,CAW9E;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,GAAG,MAAM,CAStE"}

package/dist/reporter.js

@@ -46,6 +46,12 @@ export function createDefaultReporter(options = {}) {
             write(`  ${MARK_FAIL}  ${padRight(failure.name, 48)}  ${failure.criterion}`);
             write(`        → ${failure.message}`);
         },
+        onFixtureWarn(warning) {
+            if (!streaming)
+                return;
+            write(`  ${MARK_WARN}  ${padRight(warning.name, 48)}  ${warning.criterion}`);
+            write(`        → ${warning.message}`);
+        },
         onFixtureSkip(name, reason) {
             if (!streaming)
                 return;
@@ -92,23 +98,26 @@ export function formatScorecard(result) {
 function scorecardRow(slug, result, belongs) {
     const passedCount = result.passed.filter(belongs).length;
     const failedCount = result.failed.filter((f) => belongs(f.name)).length;
+    const warnedCount = result.warned.filter((w) => belongs(w.name)).length;
     const skippedCount = result.skipped.filter((s) => belongs(s.name)).length;
-    const total = passedCount + failedCount + skippedCount;
+    const total = passedCount + failedCount + warnedCount + skippedCount;
     if (total === 0)
         return [];
-    const tone = failedCount > 0 ? MARK_FAIL : passedCount > 0 ? MARK_PASS : MARK_SKIP;
+    const tone = failedCount > 0 ? MARK_FAIL : warnedCount > 0 ? MARK_WARN : passedCount > 0 ? MARK_PASS : MARK_SKIP;
     return [
-        `  ${tone}  ${padRight(slug, 38)}  ${passedCount}/${total} pass${failedCount > 0 ? ` · ${failedCount} fail` : ''}${skippedCount > 0 ? ` · ${skippedCount} skip` : ''}`,
+        `  ${tone}  ${padRight(slug, 38)}  ${passedCount}/${total} pass${failedCount > 0 ? ` · ${failedCount} fail` : ''}${warnedCount > 0 ? ` · ${warnedCount} warn` : ''}${skippedCount > 0 ? ` · ${skippedCount} skip` : ''}`,
     ];
 }
 export function formatSummary(result) {
     const passed = result.passed.length;
     const failed = result.failed.length;
+    const warned = result.warned.length;
     const skipped = result.skipped.length;
-    const total = passed + failed + skipped;
+    const total = passed + failed + warned + skipped;
     return [
         `  Passed:   ${String(passed).padStart(3)}`,
         `  Failed:   ${String(failed).padStart(3)}`,
+        `  Warned:   ${String(warned).padStart(3)}   (SHOULD, never fails a run)`,
         `  Skipped:  ${String(skipped).padStart(3)}`,
         `  Total:    ${String(total).padStart(3)}   (${result.totalMs}ms)`,
     ].join('\n');
@@ -130,6 +139,23 @@ export function formatFailures(failures) {
     }
     return lines.join('\n');
 }
+/**
+ * Emit the full set of warnings (ggui#1526): SHOULD fixtures whose
+ * expectation was not met, with the same evidence a failure carries.
+ */
+export function formatWarnings(warnings) {
+    if (warnings.length === 0)
+        return '';
+    const lines = ['', 'Warnings (SHOULD):', ''];
+    for (const warning of warnings) {
+        lines.push(`${MARK_WARN} ${warning.name}  (${warning.criterion})`);
+        lines.push(`   ${warning.message}`);
+        lines.push(`   expected: ${safeStringify(warning.expected)}`);
+        lines.push(`   received: ${safeStringify(warning.received)}`);
+        lines.push('');
+    }
+    return lines.join('\n');
+}
 /**
  * Emit the full set of skip reasons — useful for `--verbose` mode to
  * see which directives an implementation hasn't wired yet.

package/dist/run-conformance.d.ts

@@ -1,7 +1,7 @@
 import type { HostContextObservedPayload } from '@ggui-ai/protocol';
 import type { ConformanceHost, SetupStep as HostSetupStep } from './conformance-host.js';
 import { type MatchResult } from './match-behavior.js';
-import type { AuthConfig, SessionStateBehavior, StreamUpdateBehavior, VersionMismatchBehavior } from './types.js';
+import type { AuthConfig, SessionStateBehavior, StreamUpdateBehavior, TestCase, VersionMismatchBehavior } from './types.js';
 import { type PreGenerationRefusalInput, type ProjectedRefusalResult } from './refusal-envelope-conformance/index.js';
 import { type RefusalRegistryView } from './registry-completeness/index.js';
 import { type ProjectedTransportRefusal, type TransportRefusalInput } from './transport-refusal-conformance/index.js';
@@ -79,6 +79,13 @@ export type PureFunctionCatalogSlug = (typeof PURE_FUNCTION_CATALOG_SLUGS)[numbe
 export interface ConformanceResult {
     readonly passed: readonly string[];
     readonly failed: readonly ConformanceFailure[];
+    /**
+     * SHOULD fixtures (`TestCase.level: 'should'`) whose expectation was
+     * not met, with the same evidence a failure carries. A warning never
+     * fails a run: a SHOULD is a recommendation the implementation may
+     * decline, and the kit reports it so the declining is visible.
+     */
+    readonly warned: readonly ConformanceFailure[];
     readonly skipped: readonly SkippedFixture[];
     readonly totalMs: number;
 }
@@ -97,6 +104,8 @@ export interface ConformanceReporter {
     onStart?(totalFixtures: number): void;
     onFixturePass?(name: string, elapsedMs: number): void;
     onFixtureFail?(failure: ConformanceFailure): void;
+    /** A SHOULD fixture's expectation was not met (see `ConformanceResult.warned`). */
+    onFixtureWarn?(warning: ConformanceFailure): void;
     onFixtureSkip?(name: string, reason: string): void;
     /**
      * Invoked when a teardown step throws. Non-fatal — the fixture's
@@ -107,6 +116,33 @@ export interface ConformanceReporter {
     onComplete?(result: ConformanceResult): void;
 }
 export declare function runConformance(config: RunConformanceConfig): Promise<ConformanceResult>;
+/**
+ * One fixture's verdict. Exported for unit tests; not part of the
+ * package's public API.
+ */
+export type FixtureOutcome = {
+    readonly kind: 'pass';
+    readonly elapsedMs: number;
+} | {
+    readonly kind: 'fail';
+    readonly failure: ConformanceFailure;
+} | {
+    readonly kind: 'warn';
+    readonly warning: ConformanceFailure;
+} | {
+    readonly kind: 'skip';
+    readonly reason: string;
+};
+/**
+ * Turn an observed match into a fixture's verdict (ggui#1526). An unmet
+ * expectation is a failure for a MUST fixture and a warning for a
+ * SHOULD one (`TestCase.level: 'should'`), carrying the same evidence
+ * either way; what the transport cannot observe is a skip at either
+ * level.
+ *
+ * Exported for unit tests; not part of the package's public API.
+ */
+export declare function gradeFixtureMatch(fixture: Pick<TestCase, 'name' | 'level'>, match: MatchResult, elapsedMs: number): FixtureOutcome;
 /**
  * Resolve the WS endpoint from `config.serverUrl`:
  *   - `http://` / `https://` schemes become `ws://` / `wss://`; a

package/dist/run-conformance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run-conformance.d.ts","sourceRoot":"","sources":["../src/run-conformance.ts"],"names":[],"mappings":"AA8DA,OAAO,KAAK,EACV,0BAA0B,EAG3B,MAAM,mBAAmB,CAAC;AAG3B,OAAO,KAAK,EACV,eAAe,EACf,SAAS,IAAI,aAAa,EAE3B,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAwC,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC7F,OAAO,KAAK,EAEV,UAAU,EAEV,oBAAoB,EACpB,oBAAoB,EAEpB,uBAAuB,EACxB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAGL,KAAK,yBAAyB,EAC9B,KAAK,sBAAsB,EAC5B,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAGL,KAAK,yBAAyB,EAC9B,KAAK,qBAAqB,EAC3B,MAAM,0CAA0C,CAAC;AAGlD,OAAO,EAGL,KAAK,cAAc,EACpB,MAAM,qCAAqC,CAAC;AAM7C,MAAM,WAAW,oBAAoB;IACnC;;;;;;;OAOG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,qDAAqD;IACrD,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;IACxC;;;OAGG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,sDAAsD;IACtD,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAC1B,OAAO,EAAE,yBAAyB,KAC/B,sBAAsB,GAAG,IAAI,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,mBAAmB,CAAC;IAC/C;;;;;;OAMG;IACH,QAAQ,CAAC,yBAAyB,CAAC,EAAE,CACnC,OAAO,EAAE,qBAAqB,KAC3B,yBAAyB,GAAG,IAAI,CAAC;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;CAC1C;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,2HAO9B,CAAC;AAEX,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,CAAC,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,aAAa,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACtD,aAAa,CAAC,CAAC,OAAO,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAClD,aAAa,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACnD;;;;OAIG;IACH,iBAAiB,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACxD,UAAU,CAAC,CAAC,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC9C;AAMD,wBAAsB,cAAc,CAClC,MAAM,EAAE,oBAAoB,GAC3B,OAAO,CAAC,iBAAiB,CAAC,CA+C5B;AAqWD;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAWrD;AAoBD;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;CAC9C;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACvD;IACE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,gCAAgC,CAAC;CACrD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9B;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,OAAO,GAChB,qBAAqB,CAcvB;AAkOD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,iBAAiB,CACrC,QAAQ,EAAE,oBAAoB,EAC9B,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,eAAe,GAAG,SAAS,GAChC,OAAO,CAAC,WAAW,CAAC,CA8BtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAChD;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,OAAO,GACf,wBAAwB,CAmC1B;AAqED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,aAAa,CAmEhF;AAqHD,YAAY,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,CAAC"}
+{"version":3,"file":"run-conformance.d.ts","sourceRoot":"","sources":["../src/run-conformance.ts"],"names":[],"mappings":"AA8DA,OAAO,KAAK,EACV,0BAA0B,EAG3B,MAAM,mBAAmB,CAAC;AAG3B,OAAO,KAAK,EACV,eAAe,EACf,SAAS,IAAI,aAAa,EAE3B,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAwC,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC7F,OAAO,KAAK,EAEV,UAAU,EAEV,oBAAoB,EACpB,oBAAoB,EACpB,QAAQ,EACR,uBAAuB,EACxB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAGL,KAAK,yBAAyB,EAC9B,KAAK,sBAAsB,EAC5B,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAGL,KAAK,yBAAyB,EAC9B,KAAK,qBAAqB,EAC3B,MAAM,0CAA0C,CAAC;AAGlD,OAAO,EAGL,KAAK,cAAc,EACpB,MAAM,qCAAqC,CAAC;AAM7C,MAAM,WAAW,oBAAoB;IACnC;;;;;;;OAOG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,qDAAqD;IACrD,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;IACxC;;;OAGG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,sDAAsD;IACtD,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAC1B,OAAO,EAAE,yBAAyB,KAC/B,sBAAsB,GAAG,IAAI,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,mBAAmB,CAAC;IAC/C;;;;;;OAMG;IACH,QAAQ,CAAC,yBAAyB,CAAC,EAAE,CACnC,OAAO,EAAE,qBAAqB,KAC3B,yBAAyB,GAAG,IAAI,CAAC;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;CAC1C;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,2HAO9B,CAAC;AAEX,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC/C;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,CAAC,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,aAAa,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACtD,aAAa,CAAC,CAAC,OAAO,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAClD,mFAAmF;IACnF,aAAa,CAAC,CAAC,OAAO,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAClD,aAAa,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACnD;;;;OAIG;IACH,iBAAiB,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACxD,UAAU,CAAC,CAAC,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAAC;CAC9C;AAMD,wBAAsB,cAAc,CAClC,MAAM,EAAE,oBAAoB,GAC3B,OAAO,CAAC,iBAAiB,CAAC,CAqD5B;AAqMD;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,EACzC,KAAK,EAAE,WAAW,EAClB,SAAS,EAAE,MAAM,GAChB,cAAc,CAWhB;AA6ID;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAWrD;AAoBD;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;CAC9C;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GACvD;IACE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,gCAAgC,CAAC;CACrD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9B;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,OAAO,GAChB,qBAAqB,CAcvB;AAkOD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,iBAAiB,CACrC,QAAQ,EAAE,oBAAoB,EAC9B,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,eAAe,GAAG,SAAS,GAChC,OAAO,CAAC,WAAW,CAAC,CA8BtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAChD;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,OAAO,GACf,wBAAwB,CAmC1B;AAuED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,aAAa,CAmEhF;AAqHD,YAAY,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,CAAC"}

package/dist/run-conformance.js

@@ -96,6 +96,7 @@ export async function runConformance(config) {
     reporter.onStart?.(fixtures.length);
     const passed = [];
     const failed = [];
+    const warned = [];
     const skipped = [];
     for (const fixture of fixtures) {
         if (config.signal?.aborted === true) {
@@ -116,6 +117,10 @@ export async function runConformance(config) {
                 failed.push(outcome.failure);
                 reporter.onFixtureFail?.(outcome.failure);
                 break;
+            case 'warn':
+                warned.push(outcome.warning);
+                reporter.onFixtureWarn?.(outcome.warning);
+                break;
             case 'skip':
                 skipped.push({ name: fixture.name, reason: outcome.reason });
                 reporter.onFixtureSkip?.(fixture.name, outcome.reason);
@@ -126,6 +131,7 @@ export async function runConformance(config) {
     const result = {
         passed,
         failed,
+        warned,
         skipped,
         totalMs: Date.now() - started,
     };
@@ -299,6 +305,29 @@ async function runPureFunctionCatalogs(config, reporter, buckets) {
         }
     }
 }
+/**
+ * Turn an observed match into a fixture's verdict (ggui#1526). An unmet
+ * expectation is a failure for a MUST fixture and a warning for a
+ * SHOULD one (`TestCase.level: 'should'`), carrying the same evidence
+ * either way; what the transport cannot observe is a skip at either
+ * level.
+ *
+ * Exported for unit tests; not part of the package's public API.
+ */
+export function gradeFixtureMatch(fixture, match, elapsedMs) {
+    if (match.kind === 'pass')
+        return { kind: 'pass', elapsedMs };
+    if (match.kind === 'unmatchable-on-ws')
+        return { kind: 'skip', reason: match.reason };
+    const unmet = {
+        name: fixture.name,
+        criterion: criterionForFixture(fixture.name),
+        expected: match.expected,
+        received: match.received,
+        message: match.message,
+    };
+    return fixture.level === 'should' ? { kind: 'warn', warning: unmet } : { kind: 'fail', failure: unmet };
+}
 async function runOneFixture(fixture, config, _reporter) {
     const fixtureStarted = Date.now();
     if (fixture.skipReason !== null) {
@@ -393,23 +422,7 @@ async function runOneFixture(fixture, config, _reporter) {
                 }
             }
         }
-        if (match.kind === 'pass') {
-            return { kind: 'pass', elapsedMs: Date.now() - fixtureStarted };
-        }
-        if (match.kind === 'fail') {
-            return {
-                kind: 'fail',
-                failure: {
-                    name: fixture.name,
-                    criterion: criterionForFixture(fixture.name),
-                    expected: match.expected,
-                    received: match.received,
-                    message: match.message,
-                },
-            };
-        }
-        // match.kind === 'unmatchable-on-ws'
-        return { kind: 'skip', reason: match.reason };
+        return gradeFixtureMatch(fixture, match, Date.now() - fixtureStarted);
     }
     catch (err) {
         return {
@@ -758,6 +771,8 @@ function slugToCriterion(slug) {
             return 'Host-context persistence — host_context_observed MUST persist onto GguiSession.hostContext';
         case 'reserved-channel-authority':
             return 'SPEC §4.4 reserved-channel authority';
+        case 'reserved-channel-replay':
+            return 'SPEC §12.2.1 — a fresh subscribe SHOULD replay known-reserved channels after the ack (ggui#1521)';
         case 'schema-version-handshake':
             return 'Protocol #3 version negotiation';
         case 'subscribe-app-scope':