@ggui-ai/protocol-conformance 0.7.0 → 0.9.0

package/dist/resource-read-conformance/index.d.ts

@@ -76,6 +76,15 @@ export type ResourceReadSeed = {
     /** A live render row that has committed a component. */
     readonly kind: 'committed-render';
     readonly session: string;
+    /**
+     * Size class of the committed component relative to the inline
+     * `codeB64` cap. `'under-inline-cap'` (the default) seeds a
+     * component the server can deliver inline even with no wired
+     * channels; `'over-inline-cap'` seeds one it cannot — the shape
+     * that still exercises the no-delivery-channel failure arm on a
+     * channel-less server.
+     */
+    readonly size: 'under-inline-cap' | 'over-inline-cap';
 } | {
     /** A live render row whose generation has not committed yet. */
     readonly kind: 'uncommitted-render';
@@ -89,6 +98,19 @@ export type ResourceReadSeed = {
      */
     readonly kind: 'registered-blueprint';
     readonly as: string;
+} | {
+    /**
+     * A session with epoch HISTORY (#483): `records[0]` is the mint
+     * (epoch 0), each later entry one `ggui_update` (epoch N). The
+     * driver seeds the ledger so every superseded record is
+     * reconstructable (an in-reign props event per record) and the
+     * row carries the head epoch.
+     */
+    readonly kind: 'epoch-history';
+    readonly session: string;
+    readonly records: ReadonlyArray<{
+        readonly props: Readonly<Record<string, unknown>>;
+    }>;
 };
 /**
  * The blueprint-key segment of a locator.
@@ -118,6 +140,14 @@ export type ResourceReadLocator = {
     readonly kind: 'render';
     readonly session: string;
     readonly key?: ResourceReadKey;
+    /**
+     * Epoch pin (#483, SPEC §7.1.2.2): present ⇒ the kit reads the
+     * PINNED history record (`…#N`); absent ⇒ the live head. The
+     * fragment encoding is pinned HERE deliberately — the kit is
+     * the arbiter of the wire grammar, so an encoding change is a
+     * conscious, visible kit change.
+     */
+    readonly epoch?: number;
 } | {
     readonly kind: 'raw';
     readonly uri: string;
@@ -160,6 +190,15 @@ export type ResourceReadExpectation = {
 } | {
     /** A result whose contents declare a delivery channel. */
     readonly kind: 'live-mount';
+} | {
+    /**
+     * A mount serving a HISTORY record (#483): still a real mount
+     * (delivery channel required), graded additionally on its
+     * props — every `propsInclude` entry must appear in the parsed
+     * `propsJson` with the authored value.
+     */
+    readonly kind: 'pinned-mount';
+    readonly propsInclude?: Readonly<Record<string, unknown>>;
 };
 /** One read within a case. */
 export interface ResourceReadProbe {
@@ -200,6 +239,14 @@ export interface ResourceReadConformanceCase {
      * not excused here.
      */
     readonly indistinguishable?: readonly string[];
+    /**
+     * Probe names whose MOUNT outcomes must carry byte-identical
+     * `propsJson` (#483 — pinned-record immutability). Deliberately
+     * compares ONLY the props: live-channel tokens and expiries on the
+     * same meta legitimately differ per read; the RECORD is what may
+     * not.
+     */
+    readonly identicalMounts?: readonly string[];
     /**
      * Literal substrings that MUST NOT appear anywhere in any error frame
      * this case produces. The values a refusal would leak if a diagnostic
@@ -225,14 +272,22 @@ export interface ResourceReadScenario {
  * markup that transports it is not.
  */
 export interface ResourceReadRenderMeta {
-    /** A fetchable component URL — the static delivery channel. */
+    /** A fetchable component URL — the fetched static delivery channel. */
     readonly codeUrl?: string;
+    /** Base64 component source — the inline static delivery channel. */
+    readonly codeB64?: string;
     /** The live channel's endpoint. Only a channel WITH a token. */
     readonly wsUrl?: string;
     /** The live channel's token. Only a channel WITH an endpoint. */
     readonly wsToken?: string;
     /** A server-emitted system card, which carries its own content. */
     readonly kind?: string;
+    /**
+     * The mount's props as a JSON string (#483). Graded by the
+     * `pinned-mount` expectation and the `identicalMounts` group;
+     * ungraded elsewhere.
+     */
+    readonly propsJson?: string;
 }
 /** The raw JSON-RPC error body a server put on the wire. */
 export interface JsonRpcErrorFrame {
@@ -280,7 +335,7 @@ export type ResourceReadScenarioDriver = (scenario: ResourceReadScenario) => Pro
 /**
  * Every resource-read case the kit ships, in deterministic order: the
  * four typed classes, then the disclosure fusions, then the boundary of
- * the classification, then the two mount cases.
+ * the classification, then the three mount cases.
  */
 export declare const resourceReadCases: readonly ResourceReadConformanceCase[];
 /** The resource URI every render locator hangs off. */
@@ -293,8 +348,9 @@ export declare const GGUI_RENDER_RESOURCE_URI = "ui://ggui/render";
 export declare function renderLocatorUri(locator: ResourceReadLocator, registeredKeys?: Readonly<Record<string, string>>): string;
 /**
  * Does this render meta carry enough to paint something? One of the
- * three delivery channels a runtime knows: a static component URL, a
- * live channel, or a server-emitted system card.
+ * four delivery channels a runtime knows: a fetchable static component
+ * URL, inline base64 component source, a live channel, or a
+ * server-emitted system card.
  *
  * The live channel needs BOTH halves — an endpoint with no token cannot
  * be opened, and a token with no endpoint has nowhere to go — so a

package/dist/resource-read-conformance/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/resource-read-conformance/index.ts"],"names":[],"mappings":"AAsHA;;;;;;;;;GASG;AACH,MAAM,MAAM,yBAAyB,GACjC,WAAW,GACX,wBAAwB,GACxB,eAAe,GACf,eAAe,CAAC;AAEpB;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,sBAAsB,GAC9B,KAAK,GACL,MAAM,GACN,eAAe,GACf,iBAAiB,GACjB,eAAe,CAAC;AAEpB,uEAAuE;AACvE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAClD,0EAA0E;IAC1E,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,iFAAiF;IACjF,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,qDAAqD;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,OAAO,CAAC;AAEnD;;;;;;;;GAQG;AACH,MAAM,MAAM,gBAAgB,GACxB;IACE,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,mDAAmD;IACnD,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,SAAS,CAAC;CACzC,GACD;IACE,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,oEAAoE;IACpE,QAAQ,CAAC,YAAY,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC5C,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;CACpC,GACD;IACE,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACD;IACE,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACD;IACE;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3D;;;;;;;;GAQG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,eAAe,CAAC;CAChC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnD;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAC/B;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC,GACD;IACE;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;CACpC,GACD;IACE,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B,CAAC;AAEN,8BAA8B;AAC9B,MAAM,WAAW,iBAAiB;IAChC,uEAAuE;IACvE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;CAC1C;AAED;;;;;;GAMG;AACH,MAAM,WAAW,2BAA2B;IAC1C,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,0BAA0B;IAC1B,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAMD,4CAA4C;AAC5C,MAAM,WAAW,oBAAoB;IACnC,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAC7C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,sBAAsB;IACrC,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,4DAA4D;AAC5D,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,8BAA8B;AAC9B,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAElE,iEAAiE;AACjE,MAAM,WAAW,4BAA4B;IAC3C;;;;;;;;;OASG;IACH,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAChD;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,sEAAsE;IACtE,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC3B;AAED;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,GAAG,CACvC,QAAQ,EAAE,oBAAoB,KAC3B,OAAO,CAAC,4BAA4B,CAAC,CAAC;AAM3C;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,2BAA2B,EAcnE,CAAC;AAMF,uDAAuD;AACvD,eAAO,MAAM,wBAAwB,qBAAqB,CAAC;AAE3D;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,mBAAmB,EAC5B,cAAc,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,GACpD,MAAM,CAWR;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,sBAAsB,GAAG,OAAO,CAS7E;AAMD,uDAAuD;AACvD,MAAM,WAAW,8BAA8B;IAC7C,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,iDAAiD;AACjD,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,uDAAuD;AACvD,MAAM,WAAW,6BAA6B;IAC5C,2CAA2C;IAC3C,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,SAAS,8BAA8B,EAAE,CAAC;IAC3D,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAC1D;AAED,sDAAsD;AACtD,MAAM,WAAW,iCAAiC;IAChD,yEAAyE;IACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAMD;;;;;;;;;;;;GAYG;AACH,wBAAsB,0BAA0B,CAC9C,KAAK,EAAE,0BAA0B,EACjC,OAAO,GAAE,iCAAsC,GAC9C,OAAO,CAAC,6BAA6B,CAAC,CA8CxC;AA2SD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,2BAA2B,CAkFrE"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/resource-read-conformance/index.ts"],"names":[],"mappings":"AAyHA;;;;;;;;;GASG;AACH,MAAM,MAAM,yBAAyB,GACjC,WAAW,GACX,wBAAwB,GACxB,eAAe,GACf,eAAe,CAAC;AAEpB;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,sBAAsB,GAC9B,KAAK,GACL,MAAM,GACN,eAAe,GACf,iBAAiB,GACjB,eAAe,CAAC;AAEpB,uEAAuE;AACvE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAClD,0EAA0E;IAC1E,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,iFAAiF;IACjF,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,qDAAqD;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,OAAO,CAAC;AAEnD;;;;;;;;GAQG;AACH,MAAM,MAAM,gBAAgB,GACxB;IACE,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,mDAAmD;IACnD,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,SAAS,CAAC;CACzC,GACD;IACE,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,oEAAoE;IACpE,QAAQ,CAAC,YAAY,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC5C,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;CACpC,GACD;IACE,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;;;;OAOG;IACH,QAAQ,CAAC,IAAI,EAAE,kBAAkB,GAAG,iBAAiB,CAAC;CACvD,GACD;IACE,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACD;IACE;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,GACD;IACE;;;;;;OAMG;IACH,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;KACnD,CAAC,CAAC;CACJ,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3D;;;;;;;;GAQG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,eAAe,CAAC;IAC/B;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnD;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAC/B;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC,GACD;IACE;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;CACpC,GACD;IACE,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B,GACD;IACE;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3D,CAAC;AAEN,8BAA8B;AAC9B,MAAM,WAAW,iBAAiB;IAChC,uEAAuE;IACvE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;CAC1C;AAED;;;;;;GAMG;AACH,MAAM,WAAW,2BAA2B;IAC1C,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,0BAA0B;IAC1B,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAMD,4CAA4C;AAC5C,MAAM,WAAW,oBAAoB;IACnC,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAC7C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,sBAAsB;IACrC,uEAAuE;IACvE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,4DAA4D;AAC5D,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,8BAA8B;AAC9B,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAElE,iEAAiE;AACjE,MAAM,WAAW,4BAA4B;IAC3C;;;;;;;;;OASG;IACH,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAChD;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,sEAAsE;IACtE,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC3B;AAED;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,GAAG,CACvC,QAAQ,EAAE,oBAAoB,KAC3B,OAAO,CAAC,4BAA4B,CAAC,CAAC;AAM3C;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,2BAA2B,EAiBnE,CAAC;AAMF,uDAAuD;AACvD,eAAO,MAAM,wBAAwB,qBAAqB,CAAC;AAE3D;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,mBAAmB,EAC5B,cAAc,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,GACpD,MAAM,CAYR;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,sBAAsB,GAAG,OAAO,CAU7E;AAMD,uDAAuD;AACvD,MAAM,WAAW,8BAA8B;IAC7C,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,iDAAiD;AACjD,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,uDAAuD;AACvD,MAAM,WAAW,6BAA6B;IAC5C,2CAA2C;IAC3C,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,SAAS,8BAA8B,EAAE,CAAC;IAC3D,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAC1D;AAED,sDAAsD;AACtD,MAAM,WAAW,iCAAiC;IAChD,yEAAyE;IACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAMD;;;;;;;;;;;;GAYG;AACH,wBAAsB,0BAA0B,CAC9C,KAAK,EAAE,0BAA0B,EACjC,OAAO,GAAE,iCAAsC,GAC9C,OAAO,CAAC,6BAA6B,CAAC,CA8CxC;AAkYD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,2BAA2B,CA4FrE"}

package/dist/resource-read-conformance/index.js

@@ -110,13 +110,16 @@ import registryFusion from './cases/registry-match-fuses-on-not-mountable.json'
 import malformedLocator from './cases/malformed-locator-stays-outside-the-typed-set.json' with { type: 'json' };
 import liveRowMount from './cases/live-row-read-returns-mount-material.json' with { type: 'json' };
 import remintMount from './cases/evicted-row-remints-from-the-durable-record.json' with { type: 'json' };
+import inlineMount from './cases/channel-less-read-mounts-inline.json' with { type: 'json' };
+import pinnedImmutable from './cases/pinned-superseded-record-serves-its-reign-immutably.json' with { type: 'json' };
+import pinPastHead from './cases/pin-past-the-head-answers-not-found.json' with { type: 'json' };
 // =============================================================================
 // Catalog
 // =============================================================================
 /**
  * Every resource-read case the kit ships, in deterministic order: the
  * four typed classes, then the disclosure fusions, then the boundary of
- * the classification, then the two mount cases.
+ * the classification, then the three mount cases.
  */
 export const resourceReadCases = [
     notFoundOnAMiss,
@@ -132,6 +135,9 @@ export const resourceReadCases = [
     malformedLocator,
     liveRowMount,
     remintMount,
+    inlineMount,
+    pinnedImmutable,
+    pinPastHead,
 ];
 // =============================================================================
 // Locator grammar + the mount predicate
@@ -146,22 +152,24 @@ export const GGUI_RENDER_RESOURCE_URI = 'ui://ggui/render';
 export function renderLocatorUri(locator, registeredKeys = {}) {
     if (locator.kind === 'raw')
         return locator.uri;
+    const pin = locator.epoch === undefined ? '' : `#${locator.epoch}`;
     const base = `${GGUI_RENDER_RESOURCE_URI}/${locator.session}`;
     const keyRef = locator.key;
     if (keyRef === undefined)
-        return base;
+        return `${base}${pin}`;
     if (keyRef.kind === 'literal')
-        return `${base}/${keyRef.value}`;
+        return `${base}/${keyRef.value}${pin}`;
     const key = registeredKeys[keyRef.seed];
     if (key === undefined) {
         throw new Error(`no key was reported for registry seed '${keyRef.seed}'`);
     }
-    return `${base}/${key}`;
+    return `${base}/${key}${pin}`;
 }
 /**
  * Does this render meta carry enough to paint something? One of the
- * three delivery channels a runtime knows: a static component URL, a
- * live channel, or a server-emitted system card.
+ * four delivery channels a runtime knows: a fetchable static component
+ * URL, inline base64 component source, a live channel, or a
+ * server-emitted system card.
  *
  * The live channel needs BOTH halves — an endpoint with no token cannot
  * be opened, and a token with no endpoint has nowhere to go — so a
@@ -170,6 +178,8 @@ export function renderLocatorUri(locator, registeredKeys = {}) {
 export function declaresDeliveryChannel(meta) {
     if (typeof meta.codeUrl === 'string' && meta.codeUrl.length > 0)
         return true;
+    if (typeof meta.codeB64 === 'string' && meta.codeB64.length > 0)
+        return true;
     if (typeof meta.kind === 'string' && meta.kind.length > 0)
         return true;
     return (typeof meta.wsUrl === 'string' &&
@@ -284,6 +294,9 @@ async function gradeCase(testCase, prepared) {
     const fusion = gradeIndistinguishable(testCase, outcomes);
     if (fusion !== null)
         return { kind: 'fail', failure: fusion };
+    const pinned = gradeIdenticalMounts(testCase, outcomes);
+    if (pinned !== null)
+        return { kind: 'fail', failure: pinned };
     return { kind: 'pass' };
 }
 function gradeProbe(testCase, probe, uri, outcome) {
@@ -304,6 +317,38 @@ function gradeProbe(testCase, probe, uri, outcome) {
         }
         return null;
     }
+    if (probe.expect.kind === 'pinned-mount') {
+        if (outcome.kind !== 'mount') {
+            return fail('a pinned history record within the servable window mounts (SPEC §7.1.2.2)', 'a result whose contents declare a delivery channel and carry the record props', `reading '${uri}' failed, but this pinned record resolves on this server.`);
+        }
+        if (!declaresDeliveryChannel(outcome.renderMeta)) {
+            return fail('a pinned mount is still a mount', 'render meta declaring a delivery channel', `reading '${uri}' succeeded with contents that declare no delivery channel.`);
+        }
+        const include = probe.expect.propsInclude;
+        if (include !== undefined) {
+            const raw = outcome.renderMeta.propsJson;
+            let parsed = null;
+            if (typeof raw === 'string') {
+                try {
+                    const candidate = JSON.parse(raw);
+                    if (isRecord(candidate))
+                        parsed = candidate;
+                }
+                catch {
+                    parsed = null;
+                }
+            }
+            if (parsed === null) {
+                return fail('a pinned mount carries its record props (SPEC §7.1.2.2)', 'parseable propsJson on the render meta', `reading '${uri}' mounted, but its render meta carries no parseable propsJson to grade the record against.`);
+            }
+            for (const [key, expected] of Object.entries(include)) {
+                if (JSON.stringify(parsed[key]) !== JSON.stringify(expected)) {
+                    return fail('a pinned record serves the props of ITS epoch, never a neighbor\'s', `propsJson entry '${key}' = ${JSON.stringify(expected)}`, `reading '${uri}' served '${key}' = ${JSON.stringify(parsed[key])}.`);
+                }
+            }
+        }
+        return null;
+    }
     if (outcome.kind !== 'error') {
         return fail('a read that cannot be mounted answers with a typed error, never a success-shaped result', probe.expect, `reading '${uri}' returned a result, but this locator cannot be mounted on this server.`);
     }
@@ -371,6 +416,40 @@ function gradeDisclosure(testCase, outcomes) {
     }
     return null;
 }
+function gradeIdenticalMounts(testCase, outcomes) {
+    const group = testCase.identicalMounts ?? [];
+    if (group.length < 2)
+        return null;
+    let reference = null;
+    for (const probeName of group) {
+        const outcome = outcomes.get(probeName);
+        if (outcome === undefined || outcome.kind !== 'mount' || outcome.renderMeta.propsJson === undefined) {
+            return {
+                name: testCase.name,
+                probe: probeName,
+                obligation: 'a pinned history record serves identical props on every read (SPEC §7.1.2.2)',
+                expected: 'a mount outcome carrying propsJson to compare',
+                actual: outcome ?? '(no outcome recorded)',
+                message: `probe '${probeName}' is named in this case's identicalMounts group but did not produce a props-carrying mount, so immutability cannot even be compared.`,
+            };
+        }
+        if (reference === null) {
+            reference = { probe: probeName, propsJson: outcome.renderMeta.propsJson };
+            continue;
+        }
+        if (outcome.renderMeta.propsJson !== reference.propsJson) {
+            return {
+                name: testCase.name,
+                probe: probeName,
+                obligation: 'a pinned history record serves identical props on every read (SPEC §7.1.2.2)',
+                expected: reference.propsJson,
+                actual: outcome.renderMeta.propsJson,
+                message: `probes '${reference.probe}' and '${probeName}' read the same pinned record and got different props — the record mutated between reads.`,
+            };
+        }
+    }
+    return null;
+}
 function gradeIndistinguishable(testCase, outcomes) {
     const group = testCase.indistinguishable ?? [];
     if (group.length < 2)
@@ -526,6 +605,14 @@ export function parseCase(input) {
         probeNames.add(parsed.as);
         return parsed;
     });
+    const mountGroup = input['identicalMounts'];
+    if (mountGroup !== undefined) {
+        if (!Array.isArray(mountGroup))
+            throw bad("'identicalMounts' must be an array of probe names");
+        if (mountGroup.length < 2) {
+            throw bad("'identicalMounts' names a single probe — a group of one asserts nothing, which reads as an obligation being graded when it is not");
+        }
+    }
     const group = input['indistinguishable'];
     if (group !== undefined) {
         if (!Array.isArray(group))
@@ -560,6 +647,7 @@ export function parseCase(input) {
         seeds,
         reads,
         ...(group !== undefined ? { indistinguishable: group.map(String) } : {}),
+        ...(mountGroup !== undefined ? { identicalMounts: mountGroup.map(String) } : {}),
         ...(secrets !== undefined ? { disclosesNothing: secrets.map(String) } : {}),
     };
 }
@@ -588,6 +676,7 @@ const CASE_KEYS = [
     'seeds',
     'reads',
     'indistinguishable',
+    'identicalMounts',
     'disclosesNothing',
 ];
 const SERVER_KEYS = [
@@ -600,12 +689,13 @@ const PROBE_KEYS = ['as', 'locator', 'expect'];
 const SEED_KEYS = {
     'identity-record': ['kind', 'session', 'key', 'blueprint'],
     'durable-blueprint': ['kind', 'componentRef', 'body'],
-    'committed-render': ['kind', 'session'],
+    'committed-render': ['kind', 'session', 'size'],
+    'epoch-history': ['kind', 'session', 'records'],
     'uncommitted-render': ['kind', 'session'],
     'registered-blueprint': ['kind', 'as'],
 };
 const LOCATOR_KEYS = {
-    render: ['kind', 'session', 'key'],
+    render: ['kind', 'session', 'key', 'epoch'],
     raw: ['kind', 'uri'],
 };
 const KEY_KEYS = {
@@ -616,6 +706,7 @@ const EXPECTATION_KEYS = {
     'typed-error': ['kind', 'jsonRpcCode', 'dataCode', 'detailAbsent'],
     'outside-typed-set': ['kind'],
     'live-mount': ['kind'],
+    'pinned-mount': ['kind', 'propsInclude'],
 };
 function parseSubstrate(bad, value) {
     switch (value) {
@@ -665,16 +756,37 @@ function parseSeed(bad, seed) {
             }
             return { kind: 'durable-blueprint', componentRef, body };
         }
-        case 'committed-render':
+        case 'committed-render': {
+            const size = seed['size'] ?? 'under-inline-cap';
+            if (size !== 'under-inline-cap' && size !== 'over-inline-cap') {
+                throw bad("a committed-render seed's 'size' must be 'under-inline-cap' or 'over-inline-cap' (or omitted for the default)");
+            }
             return {
                 kind: 'committed-render',
                 session: requireText(bad, seed['session'], "a committed-render seed's 'session'"),
+                size,
             };
+        }
         case 'uncommitted-render':
             return {
                 kind: 'uncommitted-render',
                 session: requireText(bad, seed['session'], "an uncommitted-render seed's 'session'"),
             };
+        case 'epoch-history': {
+            const session = requireText(bad, seed['session'], "epoch-history seed 'session'");
+            const rawRecords = seed['records'];
+            if (!Array.isArray(rawRecords) || rawRecords.length < 2) {
+                throw bad("epoch-history seed 'records' must be an array of at least TWO entries — one mint plus one update; a single-record history has nothing superseded to pin");
+            }
+            const records = rawRecords.map((entry, i) => {
+                if (!isRecord(entry) || !isRecord(entry['props'])) {
+                    throw bad(`epoch-history seed record ${i} authors no 'props' object`);
+                }
+                rejectUnknownKeys(bad, entry, ['props'], `epoch-history seed record ${i}`);
+                return { props: entry['props'] };
+            });
+            return { kind: 'epoch-history', session, records };
+        }
         case 'registered-blueprint':
             return {
                 kind: 'registered-blueprint',
@@ -705,10 +817,19 @@ function parseLocator(bad, as, locator) {
     switch (locator['kind']) {
         case 'render': {
             const session = requireText(bad, locator['session'], `probe '${as}' locator 'session'`);
+            const rawEpoch = locator['epoch'];
+            let epoch;
+            if (rawEpoch !== undefined) {
+                if (typeof rawEpoch !== 'number' || !Number.isInteger(rawEpoch) || rawEpoch < 0) {
+                    throw bad(`probe '${as}' locator 'epoch' must be a non-negative integer`);
+                }
+                epoch = rawEpoch;
+            }
             const key = locator['key'];
+            const base = { kind: 'render', session, ...(epoch !== undefined ? { epoch } : {}) };
             if (key === undefined)
-                return { kind: 'render', session };
-            return { kind: 'render', session, key: parseKey(bad, as, key) };
+                return base;
+            return { ...base, key: parseKey(bad, as, key) };
         }
         case 'raw':
             return { kind: 'raw', uri: requireText(bad, locator['uri'], `probe '${as}' locator 'uri'`) };
@@ -744,6 +865,18 @@ function parseExpectation(bad, as, expect) {
     switch (expect['kind']) {
         case 'outside-typed-set':
             return { kind: 'outside-typed-set' };
+        case 'pinned-mount': {
+            const rawInclude = expect['propsInclude'];
+            if (rawInclude !== undefined && !isRecord(rawInclude)) {
+                throw bad(`probe '${as}' 'propsInclude' must be an object of expected prop entries`);
+            }
+            return {
+                kind: 'pinned-mount',
+                ...(rawInclude !== undefined
+                    ? { propsInclude: rawInclude }
+                    : {}),
+            };
+        }
         case 'live-mount':
             return { kind: 'live-mount' };
         case 'typed-error': {

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@ggui-ai/protocol-conformance",
-  "version": "0.7.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 three pure-function catalogs (schema, registration, resolution) for the gadget obligations, reporting a scorecard-style pass / fail / skip. MCP builders adopt this kit to prove their implementation is protocol-conformant.",
+  "version": "0.9.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 four pure-function catalogs (schema, registration, resolution, binding) for the gadget and tool-binding 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": [
     "ggui",
@@ -50,11 +50,16 @@
       "types": "./dist/resource-read-conformance/index.d.ts",
       "import": "./dist/resource-read-conformance/index.js",
       "default": "./dist/resource-read-conformance/index.js"
+    },
+    "./binding-conformance": {
+      "types": "./dist/binding-conformance/index.d.ts",
+      "import": "./dist/binding-conformance/index.js",
+      "default": "./dist/binding-conformance/index.js"
     }
   },
   "dependencies": {
     "ws": "^8.20.1",
-    "@ggui-ai/protocol": "0.7.0"
+    "@ggui-ai/protocol": "0.9.0"
   },
   "devDependencies": {
     "@types/node": "^22.0.0",