@ggui-ai/protocol 0.9.0 → 0.10.0

package/dist/types/render.d.ts

@@ -3,6 +3,7 @@ import type { PropsSpec, StreamSpec, ActionSpec, ContextSpec, ClientCapabilities
 import type { EndUserIdentity } from './auth';
 import type { HostContextProjection } from './host-context';
 import type { AppTheme } from '../schemas/app-theme';
+import type { RenderErrorCode } from '../schemas/mcp';
 import type { McpAppsGguiSession } from '../integrations/mcp-apps';
 /**
  * Recognised system-card kinds the runtime renders via built-in
@@ -167,6 +168,22 @@ export interface GguiSessionBase {
  * ```
  */
 export type GguiSession<TProps = JsonObject> = ComponentGguiSession<TProps> | SystemGguiSession | McpAppsGguiSession;
+/**
+ * Outcome-facet predicate (#495): true iff a generation failure was
+ * recorded on this render. The failure writer commits component
+ * renders only, so non-component variants are never errored. Rows
+ * written before {@link ComponentGguiSession.errorCode} existed carry
+ * {@link ComponentGguiSession.error} alone — either field's presence
+ * means errored. This is the single definition of "errored": store
+ * filters (`GguiSessionFilter.erroredOnly`) MUST match it.
+ */
+export declare function isErroredGguiSession(render: GguiSession): boolean;
+/**
+ * Companion accessor to {@link isErroredGguiSession}: the recorded
+ * failure classification, or `undefined` when the render is not
+ * errored or predates the `errorCode` field (message-only rows).
+ */
+export declare function erroredGguiSessionCode(render: GguiSession): RenderErrorCode | undefined;
 /**
  * GguiSession variant: LLM-generated / native React component.
  *
@@ -195,6 +212,22 @@ export interface ComponentGguiSession<TProps = JsonObject> extends GguiSessionBa
     readonly schema?: JsonSchema;
     /** Generation error message (populated on failure). */
     readonly error?: string;
+    /**
+     * Canonical failure classification for the recorded failure —
+     * `renderErrorCodeSchema`'s closed enum, the same code the failed
+     * `ggui_render` result carried on the wire (#495).
+     *
+     * **Outcome facet, orthogonal to lifecycle.** {@link status} stays
+     * `'active' | 'expired'` — an errored row still TTL-expires like any
+     * other; "errored" means a generation failure was recorded here, not
+     * a third lifecycle state. Written by exactly one site (the error
+     * commit in `@ggui-ai/mcp-server-handlers`' render handler) in the
+     * same commit as {@link error}; invariant: `errorCode` present ⇒
+     * `error` present. Rows written before this field exists carry
+     * `error` alone — readers filtering "errored" MUST treat either
+     * field's presence as errored.
+     */
+    readonly errorCode?: RenderErrorCode;
     /** Stream contract — describes what data the component accepts in
      *  real-time via `ggui_emit`. */
     readonly streamSpec?: StreamSpec;

package/dist/types/render.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../src/types/render.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,KAAK,EACV,SAAS,EACT,UAAU,EACV,UAAU,EACV,WAAW,EACX,sBAAsB,EACtB,gBAAgB,EAChB,UAAU,EACV,UAAU,EACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAKrD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AA6BnE;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAC7B,gBAAgB,GAChB,gBAAgB,GAEhB,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAElB;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE/D;;;;;;;GAOG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,gBAAgB;CAC3E,CAAC;AAMF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,SAAS,CAAC;AAErD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,eAAe;IAC9B;kEAC8D;IAC9D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;iBACa;IACb,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,wEAAwE;IACxE,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;IAC3C;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE;QACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;KAChC,CAAC;IACF;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,qBAAqB,CAAC;IAC7C;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACjD,uEAAuE;IACvE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC;wCACoC;IACpC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,qCAAqC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,0CAA0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,mCAAmC;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,WAAW,CAAC,MAAM,GAAG,UAAU,IACvC,oBAAoB,CAAC,MAAM,CAAC,GAC5B,iBAAiB,GACjB,kBAAkB,CAAC;AAEvB;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB,CAAC,MAAM,GAAG,UAAU,CAAE,SAAQ,eAAe;IAChF,+DAA+D;IAC/D,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAC5B,0CAA0C;IAC1C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;qFACiF;IACjF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,oEAAoE;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B;qDACiD;IACjD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B;gCAC4B;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,uDAAuD;IACvD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB;qCACiC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC;+BAC2B;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B;+BAC2B;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC;mDAC+C;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,sBAAsB,CAAC;IACrD;;;;;OAKG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACzD;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;IAC1B;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,UAAU,CAAC;CACvC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,iBAAiB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,CACvE,SAAQ,eAAe;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,gDAAgD;IAChD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,yEAAyE;IACzE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB,CAAC,SAAS,GAAG,UAAU;IACtD,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;IAChD,SAAS,EAAE,MAAM,CAAC;CACnB"}
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../src/types/render.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,KAAK,EACV,SAAS,EACT,UAAU,EACV,UAAU,EACV,WAAW,EACX,sBAAsB,EACtB,gBAAgB,EAChB,UAAU,EACV,UAAU,EACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAKtD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AA6BnE;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAC7B,gBAAgB,GAChB,gBAAgB,GAEhB,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAElB;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE/D;;;;;;;GAOG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,gBAAgB;CAC3E,CAAC;AAMF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,SAAS,CAAC;AAErD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,eAAe;IAC9B;kEAC8D;IAC9D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;iBACa;IACb,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,wEAAwE;IACxE,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;IAC3C;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE;QACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;KAChC,CAAC;IACF;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,qBAAqB,CAAC;IAC7C;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACjD,uEAAuE;IACvE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC;wCACoC;IACpC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,qCAAqC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,0CAA0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,mCAAmC;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,WAAW,CAAC,MAAM,GAAG,UAAU,IACvC,oBAAoB,CAAC,MAAM,CAAC,GAC5B,iBAAiB,GACjB,kBAAkB,CAAC;AAEvB;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAKjE;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,WAAW,GAClB,eAAe,GAAG,SAAS,CAG7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB,CAAC,MAAM,GAAG,UAAU,CAAE,SAAQ,eAAe;IAChF,+DAA+D;IAC/D,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAC5B,0CAA0C;IAC1C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;qFACiF;IACjF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,oEAAoE;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B;qDACiD;IACjD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B;gCAC4B;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,uDAAuD;IACvD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,eAAe,CAAC;IACrC;qCACiC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC;+BAC2B;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B;+BAC2B;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC;mDAC+C;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,sBAAsB,CAAC;IACrD;;;;;OAKG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACzD;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;IAC1B;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,UAAU,CAAC;CACvC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,iBAAiB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,CACvE,SAAQ,eAAe;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,gDAAgD;IAChD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,yEAAyE;IACzE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB,CAAC,SAAS,GAAG,UAAU;IACtD,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;IAChD,SAAS,EAAE,MAAM,CAAC;CACnB"}

package/dist/types/render.js

@@ -1 +1,26 @@
-export {};
+/**
+ * Outcome-facet predicate (#495): true iff a generation failure was
+ * recorded on this render. The failure writer commits component
+ * renders only, so non-component variants are never errored. Rows
+ * written before {@link ComponentGguiSession.errorCode} existed carry
+ * {@link ComponentGguiSession.error} alone — either field's presence
+ * means errored. This is the single definition of "errored": store
+ * filters (`GguiSessionFilter.erroredOnly`) MUST match it.
+ */
+export function isErroredGguiSession(render) {
+    // `type` absent ⇒ component (back-compat default, see the variant's
+    // discriminator docstring below).
+    if (render.type !== undefined && render.type !== 'component')
+        return false;
+    return render.errorCode !== undefined || render.error !== undefined;
+}
+/**
+ * Companion accessor to {@link isErroredGguiSession}: the recorded
+ * failure classification, or `undefined` when the render is not
+ * errored or predates the `errorCode` field (message-only rows).
+ */
+export function erroredGguiSessionCode(render) {
+    if (render.type !== undefined && render.type !== 'component')
+        return undefined;
+    return render.errorCode;
+}

package/dist/validation/ajv-runtime.d.ts

@@ -29,12 +29,18 @@
  *
  * Tolerated metadata keywords:
  *   - `example` (singular, OpenAPI-ish; JSON Schema standard is
- *     `examples` array). Treated as informational.
- *   - `nullable` (OpenAPI 3.0 shorthand). Tolerated; the canonical
- *     way to express nullability is `type: [<original>, 'null']`.
- *
- * Both are registered as no-op keywords so Ajv strict mode doesn't
- * reject schemas that carry them.
+ *     `examples` array). Registered by us as a genuine no-op keyword
+ *     (informational only) so strict mode doesn't reject it.
+ *   - `nullable` (OpenAPI 3.0 shorthand). NOT a no-op: Ajv 8
+ *     pre-registers `nullable` itself with WIDENING semantics —
+ *     `{type:'string', nullable:true}` accepts `null` (empirically
+ *     verified 2026-08-19; the `getKeyword` guard below never fires
+ *     for it). Behaviorally equivalent to the canonical
+ *     `type: [<original>, 'null']` union, which is what the enforced
+ *     props schema emission (`buildEnforcedPropsSchema`) rewrites it
+ *     to — the wire artifact carries the widening explicitly so a
+ *     strict reader of the emitted schema sees the same acceptance
+ *     the validator enforces.
  */
 import type { ErrorObject, ValidateFunction } from 'ajv';
 /**
@@ -102,6 +108,20 @@ export declare function compileForValidation(schema: JsonSchema): ValidateFuncti
  * layer-B meta-validation side effect as {@link compileForValidation}.
  */
 export declare function compileValidatorModule(schema: JsonSchema): string;
+/**
+ * Compile a JSON Schema into a standalone validator as a JS
+ * **EXPRESSION** — an IIFE over the CJS standalone emission, runtime
+ * helpers inlined, evaluating to the validate function.
+ *
+ * The expression form is what makes the eval-free EXECUTABLE contract
+ * bundle possible (ggui#522 slice 2): N validators concatenate into
+ * ONE plain ES module (`v.actions["submit"] = <expr>;`) that a
+ * strict-CSP iframe imports directly — no per-validator `blob:`
+ * import, no `new Function`, the browser just parses code. Closed
+ * shape + strict-mode meta-validation semantics are identical to
+ * {@link compileValidatorModule} (same options, same injection).
+ */
+export declare function compileValidatorFunctionExpr(schema: JsonSchema): string;
 /**
  * Convert Ajv error objects into our {@link ContractViolation} shape.
  *

package/dist/validation/ajv-runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ajv-runtime.d.ts","sourceRoot":"","sources":["../../src/validation/ajv-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAGzD;;;;;GAKG;AACH,YAAY,EAAE,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAI5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAoF9D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,CAqChE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,UAAU,GAAG,gBAAgB,CAGzE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAIjE;AA4DD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,GAAG,SAAS,EACxC,IAAI,EAAE,OAAO,GACZ,iBAAiB,EAAE,CAGrB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,iBAAiB,EAAE,EAC/B,MAAM,EAAE,MAAM,GACb,iBAAiB,EAAE,CAMrB"}
+{"version":3,"file":"ajv-runtime.d.ts","sourceRoot":"","sources":["../../src/validation/ajv-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAGzD;;;;;GAKG;AACH,YAAY,EAAE,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAI5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAyG9D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,CA4ChE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,UAAU,GAAG,gBAAgB,CAGzE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAIjE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAWvE;AAqFD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,GAAG,SAAS,EACxC,IAAI,EAAE,OAAO,GACZ,iBAAiB,EAAE,CAUrB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,iBAAiB,EAAE,EAC/B,MAAM,EAAE,MAAM,GACb,iBAAiB,EAAE,CAMrB"}

package/dist/validation/ajv-runtime.js

@@ -29,12 +29,18 @@
  *
  * Tolerated metadata keywords:
  *   - `example` (singular, OpenAPI-ish; JSON Schema standard is
- *     `examples` array). Treated as informational.
- *   - `nullable` (OpenAPI 3.0 shorthand). Tolerated; the canonical
- *     way to express nullability is `type: [<original>, 'null']`.
- *
- * Both are registered as no-op keywords so Ajv strict mode doesn't
- * reject schemas that carry them.
+ *     `examples` array). Registered by us as a genuine no-op keyword
+ *     (informational only) so strict mode doesn't reject it.
+ *   - `nullable` (OpenAPI 3.0 shorthand). NOT a no-op: Ajv 8
+ *     pre-registers `nullable` itself with WIDENING semantics —
+ *     `{type:'string', nullable:true}` accepts `null` (empirically
+ *     verified 2026-08-19; the `getKeyword` guard below never fires
+ *     for it). Behaviorally equivalent to the canonical
+ *     `type: [<original>, 'null']` union, which is what the enforced
+ *     props schema emission (`buildEnforcedPropsSchema`) rewrites it
+ *     to — the wire artifact carries the widening explicitly so a
+ *     strict reader of the emitted schema sees the same acceptance
+ *     the validator enforces.
  */
 import Ajv from 'ajv';
 import addFormats from 'ajv-formats';
@@ -118,6 +124,25 @@ if (!standaloneAjv.getKeyword('example')) {
 if (!standaloneAjv.getKeyword('nullable')) {
     standaloneAjv.addKeyword({ keyword: 'nullable' });
 }
+/**
+ * A third instance for {@link compileValidatorFunctionExpr} — CJS
+ * standalone emission (`code.esm` off). CJS sources can be wrapped in
+ * a function scope and CONCATENATED into one executable bundle module
+ * (ggui#522 slice 2); ESM sources cannot — `export` is illegal inside
+ * a function body, which is why the v1 bundle carried them as strings
+ * the iframe had to `blob:`-import one by one.
+ */
+const standaloneCjsAjv = new Ajv({
+    ...AJV_OPTIONS,
+    code: { source: true },
+});
+addFormats(standaloneCjsAjv);
+if (!standaloneCjsAjv.getKeyword('example')) {
+    standaloneCjsAjv.addKeyword({ keyword: 'example' });
+}
+if (!standaloneCjsAjv.getKeyword('nullable')) {
+    standaloneCjsAjv.addKeyword({ keyword: 'nullable' });
+}
 /**
  * Recursively walk a JSON Schema and inject
  * `additionalProperties: false` at every object node. Authors who
@@ -133,7 +158,12 @@ if (!standaloneAjv.getKeyword('nullable')) {
  * Returns a new schema tree; never mutates the input.
  */
 export function injectClosedShape(schema) {
-    const isObjectNode = schema.type === 'object' || schema.properties !== undefined;
+    // `type` may be a draft-07 type ARRAY (`['object','null']` — the
+    // canonical nullable form since draft-2026-08-19); read it as a SET
+    // so nullable object/array nodes get the same closed-shape treatment
+    // as their single-type forms.
+    const typeSet = new Set(Array.isArray(schema.type) ? schema.type : schema.type ? [schema.type] : []);
+    const isObjectNode = typeSet.has('object') || schema.properties !== undefined;
     if (isObjectNode) {
         const out = { ...schema };
         if (out.properties) {
@@ -155,7 +185,7 @@ export function injectClosedShape(schema) {
             out.anyOf = out.anyOf.map(injectClosedShape);
         return out;
     }
-    if (schema.type === 'array' && schema.items) {
+    if (typeSet.has('array') && schema.items) {
         return { ...schema, items: injectClosedShape(schema.items) };
     }
     if (schema.oneOf || schema.anyOf) {
@@ -216,6 +246,27 @@ export function compileValidatorModule(schema) {
     const validate = standaloneAjv.compile(injected);
     return inlineRuntimeHelpers(standaloneCode(standaloneAjv, validate));
 }
+/**
+ * Compile a JSON Schema into a standalone validator as a JS
+ * **EXPRESSION** — an IIFE over the CJS standalone emission, runtime
+ * helpers inlined, evaluating to the validate function.
+ *
+ * The expression form is what makes the eval-free EXECUTABLE contract
+ * bundle possible (ggui#522 slice 2): N validators concatenate into
+ * ONE plain ES module (`v.actions["submit"] = <expr>;`) that a
+ * strict-CSP iframe imports directly — no per-validator `blob:`
+ * import, no `new Function`, the browser just parses code. Closed
+ * shape + strict-mode meta-validation semantics are identical to
+ * {@link compileValidatorModule} (same options, same injection).
+ */
+export function compileValidatorFunctionExpr(schema) {
+    const injected = injectClosedShape(schema);
+    const validate = standaloneCjsAjv.compile(injected);
+    const source = inlineRuntimeHelpersCjs(standaloneCode(standaloneCjsAjv, validate));
+    return (`(function(){var module={exports:{}};var exports=module.exports;\n` +
+        `${source}\n` +
+        `return module.exports.default||module.exports;})()`);
+}
 /**
  * Inlinable Ajv runtime helpers, keyed by bare specifier. Ajv standalone
  * references these by `import`; the CSP-sandboxed iframe has no bundler
@@ -258,6 +309,26 @@ function inlineRuntimeHelpers(source) {
     }
     return out;
 }
+/**
+ * CJS twin of {@link inlineRuntimeHelpers} for
+ * {@link compileValidatorFunctionExpr}: inline each supported runtime
+ * helper's source in place of its `require(...)`, keeping the emission
+ * CJS throughout (no `import` may appear — the result is embedded
+ * inside a function body). Same survivor check, on the `require` form.
+ */
+function inlineRuntimeHelpersCjs(source) {
+    const out = source.replace(/const (\w+) = require\("([^"]+)"\)(\.default)?;/g, (match, binding, specifier) => {
+        const helperSource = RUNTIME_HELPER_SOURCES[specifier];
+        if (helperSource === undefined)
+            return match;
+        return `const ${binding} = ${helperSource};`;
+    });
+    const leftover = /require\("(ajv\/dist\/runtime\/[^"]+)"\)/.exec(out);
+    if (leftover) {
+        throw new Error(`compileValidatorFunctionExpr: emitted validator has an un-inlined require of "${leftover[1]}". Add it to RUNTIME_HELPER_SOURCES.`);
+    }
+    return out;
+}
 /**
  * Convert Ajv error objects into our {@link ContractViolation} shape.
  *
@@ -282,7 +353,14 @@ function inlineRuntimeHelpers(source) {
 export function mapAjvErrorsToViolations(errors, data) {
     if (!errors)
         return [];
-    return errors.map(err => mapOne(err, data));
+    // `keyword` is stamped uniformly at this single assembly seam (not
+    // per-case inside `mapOne`) so every mapped violation — including
+    // the default-case fallthrough — retains the producing JSON Schema
+    // keyword for downstream failure-class segmentation.
+    return errors.map(err => ({
+        ...mapOne(err, data),
+        ...(err.keyword ? { keyword: err.keyword } : {}),
+    }));
 }
 /**
  * Re-anchor a list of Ajv-mapped violations under a stable field

package/dist/validation/contract-validator.d.ts

@@ -9,6 +9,16 @@ export interface ContractViolation extends JsonObject {
     message: string;
     expected?: string;
     received?: string;
+    /**
+     * The JSON Schema keyword whose assertion failed (`'enum'`,
+     * `'required'`, `'type'`, `'additionalProperties'`, …) — retained
+     * verbatim from the underlying validator error. Absent on synthetic
+     * violations that no schema keyword produced (e.g. the
+     * props-without-propsSpec rejection). Consumers segment failure
+     * classes on it (telemetry `violationKeywords`); it is additive
+     * metadata, never part of the violation's identity.
+     */
+    keyword?: string;
 }
 export interface ValidationResult {
     valid: boolean;
@@ -29,6 +39,19 @@ export interface ValidationResult {
  * semantics to the runtime validator — one synthesis, no drift.
  */
 export declare function buildPropsWrapperSchema(spec: PropsSpec): JsonSchema;
+/**
+ * Validate runtime props against an EXPLICIT enforced schema — the
+ * persisted-schema render path of the schema-precise render contract
+ * (docs/plans/2026-08-19-schema-precise-render.md P1). The paired
+ * `ggui_handshake` persists the exact `buildEnforcedPropsSchema`
+ * artifact it returned on the wire; `ggui_render` validates against
+ * that PERSISTED schema rather than recomputing from the propsSpec,
+ * so the returned and enforced schemas cannot diverge under
+ * rolling-deploy version skew (the AUTHORITY obligation is structural,
+ * not best-effort). Closed-shape injection at compile is idempotent —
+ * a pre-injected enforced schema round-trips unchanged.
+ */
+export declare function validatePropsDataWithSchema(props: Record<string, unknown>, schema: JsonSchema): ValidationResult;
 /**
  * Validate runtime props data against a PropsSpec contract.
  *
@@ -199,45 +222,78 @@ export declare function compileContractValidators(specs: {
     readonly contextSpec?: ContextSpec;
 }): CompiledContractValidators | undefined;
 /**
- * Wrap a {@link CompiledContractValidators} object as the source text of
- * an ES module whose `default` export is the same object. This is the
- * wire format served from the content-addressable contract route
- * (`GET /contract/<hash>.js`) in #109's decomposition slice — one URL,
- * one fetch, one dynamic-import per unique contract.
+ * A contract's runtime-validator compilation in **expression form** —
+ * same grouping as {@link CompiledContractValidators}, but each string
+ * is a JS EXPRESSION evaluating to the validate function (see
+ * `compileValidatorFunctionExpr`), not an ESM module source. The
+ * expression form exists so the executable bundle below can be one
+ * plain module; the ESM-module form remains the inline
+ * `_meta.compiledValidators` channel's shape.
+ *
+ * @public
+ */
+export interface ContractValidatorExprs {
+    readonly props?: string;
+    readonly actions?: Readonly<Record<string, string>>;
+    readonly streams?: Readonly<Record<string, string>>;
+    readonly context?: Readonly<Record<string, string>>;
+}
+/**
+ * Compile a contract's runtime-validated sub-schemas into
+ * expression-form validators ({@link ContractValidatorExprs}) — the
+ * same four surfaces, guards, and closed-shape semantics as
+ * {@link compileContractValidators}, differing only in emission form.
+ * Returns `undefined` when the contract declares no runtime-validated
+ * schema at all.
+ */
+export declare function compileContractValidatorExprs(specs: {
+    readonly propsSpec?: PropsSpec;
+    readonly actionSpec?: ActionSpec;
+    readonly streamSpec?: StreamSpec;
+    readonly contextSpec?: ContextSpec;
+}): ContractValidatorExprs | undefined;
+/**
+ * Wrap {@link ContractValidatorExprs} as the source text of ONE plain
+ * ES module whose `default` export carries the validate FUNCTIONS
+ * themselves — the v2 wire format of the content-addressable contract
+ * route (`GET /contract/<hash>.js`), ggui#522 slice 2.
  *
- * Why a wrapping module rather than emitting the validator-modules
- * raw: each inner validator-module is independently `export default ...`,
- * so they can't share a single file without name collisions. The
- * iframe-runtime's existing `loadCompiledValidators` already knows how
- * to take a `CompiledContractValidators` and load each inner module via
- * `blob:` import; this wrapper just hands it the same shape it expects,
- * sourced from one HTTP round-trip instead of inline.
+ * The v1 format exported the validator-module SOURCES as strings, so
+ * the iframe still needed one `blob:` dynamic import per validator —
+ * exactly the scheme-source grant a strict host CSP refuses, which
+ * made client-side validation silently fail open on such hosts. Here
+ * the expressions concatenate at BUILD time into ordinary code: the
+ * frame does one `import(validatorsUrl)` (a plain https module load,
+ * governed by `script-src` origins alone) and receives functions. No
+ * `blob:`, no `data:`, no eval anywhere.
  *
- * `JSON.stringify` is deterministic on objects with string keys in V8
- * + Node — the producer's iteration order is preserved, so a given
- * contract always serializes to identical bytes. {@link computeContractBundle}
- * leans on that determinism so the resulting hash is stable across
- * renders of the same contract.
+ * Key emission order follows the producer's iteration order, which is
+ * deterministic in V8/Node for string keys — {@link computeContractBundle}
+ * hashes the INPUT specs anyway, so byte-level determinism of this
+ * source is a courtesy, not a correctness requirement.
  *
  * @public
  */
-export declare function bundleCompiledValidatorsAsModule(compiled: CompiledContractValidators): string;
+export declare function bundleValidatorExprsAsExecutableModule(exprs: ContractValidatorExprs): string;
 /**
- * Convenience over {@link compileContractValidators} +
- * {@link bundleCompiledValidatorsAsModule} + sha256 — produces the
- * `{contractHash, bundleSource, validators}` triple the emitter (render.ts
- * / update.ts in #109 C4) writes to the content-addressable store and
- * emits as `_meta["ai.ggui/contract"] = {contractHash, validatorsUrl}`.
+ * Convenience over {@link compileContractValidatorExprs} +
+ * {@link bundleValidatorExprsAsExecutableModule} + sha256 — produces
+ * the `{contractHash, bundleSource, validators}` triple the emitter
+ * (render.ts / the resource read / the /state route) writes to the
+ * content-addressable store and emits as
+ * `{contractHash, validatorsUrl}` on the render slice.
  *
- * `contractHash` is `sha256(canonicalJsonStringify(specs))` (hex). Hashing
- * the INPUT specs — not the compiled output — guarantees a stable hash
- * across server processes and Ajv version bumps: the same contract
- * definition always lands at the same URL. Compiled output bytes may
- * differ across calls (Ajv's standalone emitter uses incrementing
- * counter names like `validate10`/`validate11`), but the CodeStore is
- * idempotent (first write wins) and the URL response carries
- * `Cache-Control: immutable`, so browsers + CDNs lock in the
- * first-served bytes and never observe a counter-name reshuffle.
+ * `contractHash` is `sha256(salt + canonicalJsonStringify(specs))`
+ * (hex). Hashing the INPUT specs — not the compiled output —
+ * guarantees a stable hash across server processes and Ajv version
+ * bumps: the same contract definition always lands at the same URL.
+ * Compiled output bytes may differ across calls (Ajv's standalone
+ * emitter uses incrementing counter names like `validate10`/
+ * `validate11`), but the CodeStore is idempotent (first write wins)
+ * and the URL response carries `Cache-Control: immutable`, so browsers
+ * + CDNs lock in the first-served bytes and never observe a
+ * counter-name reshuffle. The salt exists precisely because of that
+ * immutability — see {@link CONTRACT_BUNDLE_HASH_SALT}.
  *
  * Returns `undefined` when the contract declares no runtime-validated
  * schema at all (matches {@link compileContractValidators}'s posture).
@@ -252,7 +308,7 @@ export declare function computeContractBundle(specs: {
 }): Promise<{
     readonly contractHash: string;
     readonly bundleSource: string;
-    readonly validators: CompiledContractValidators;
+    readonly validators: ContractValidatorExprs;
 } | undefined>;
 /**
  * Format violations into a human-readable error message for the target agent.
@@ -285,10 +341,24 @@ export declare class ContractViolationError extends Error {
     readonly violations: ContractViolation[];
     readonly tool: 'ggui_render' | 'ggui_update' | 'ggui_amend' | 'ggui_emit' | 'ggui_event';
     readonly hint: string;
+    /**
+     * sha256 (lowercase hex) of the RFC 8785 canonical bytes of the
+     * ENFORCED props schema this violation was validated against —
+     * present when the enforcing site holds one (the handshake-persisted
+     * schema on the render path). The breach classifier of the
+     * schema-precise render contract: a caller holding the handshake's
+     * `propsSchemaHash` compares it to this value — mismatch means the
+     * server enforced a different schema than it returned (server
+     * breach); match means the props themselves were at fault. Absent on
+     * violations produced without an enforced-schema identity (synthetic
+     * violations, stream/context/action validation).
+     */
+    readonly propsSchemaHash?: string;
     constructor(opts: {
         tool: 'ggui_render' | 'ggui_update' | 'ggui_amend' | 'ggui_emit' | 'ggui_event';
         violations: ContractViolation[];
         hint?: string;
+        propsSchemaHash?: string;
     });
     /** Structured payload for MCP error response `data` field. */
     toErrorData(): {
@@ -296,6 +366,7 @@ export declare class ContractViolationError extends Error {
         tool: string;
         violations: ContractViolation[];
         hint: string;
+        propsSchemaHash?: string;
     };
 }
 //# sourceMappingURL=contract-validator.d.ts.map

package/dist/validation/contract-validator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract-validator.d.ts","sourceRoot":"","sources":["../../src/validation/contract-validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEnI,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAO3E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAItD,YAAY,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAKtD,OAAO,EAKL,KAAK,wBAAwB,EAC9B,MAAM,qBAAqB,CAAC;AAE7B,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,UAAU,EAAE,iBAAiB,EAAE,CAAC;CACjC;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,SAAS,GAAG,UAAU,CAcnE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,IAAI,EAAE,SAAS,EACf,WAAW,CAAC,EAAE,gBAAgB,GAC7B,gBAAgB,CAWlB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,UAAU,EAChB,uBAAuB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,EACvE,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,GAC1D,gBAAgB,CAyClB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EACjB,gBAAgB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,GACvD,gBAAgB,CA+BlB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,UAAU,EAChB,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,GACzD,gBAAgB,CAoDlB;AAQD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,GACzD,gBAAgB,CAIlB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;CACpC,GAAG,0BAA0B,GAAG,SAAS,CAuCzC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,0BAA0B,GACnC,MAAM,CAER;AAiCD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,qBAAqB,CAAC,KAAK,EAAE;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;CACpC,GAAG,OAAO,CACP;IACE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC;CACjD,GACD,SAAS,CACZ,CAeA;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,iBAAiB,EAAE,GAAG,MAAM,CAIxE;AAMD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,YAAY,GAAG,gBAAgB,CAiGlF;AAyPD,qBAAa,sBAAuB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,UAAU,EAAE,iBAAiB,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC;IACzF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;gBAEV,IAAI,EAAE;QAChB,IAAI,EAAE,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC;QAChF,UAAU,EAAE,iBAAiB,EAAE,CAAC;QAChC,IAAI,CAAC,EAAE,MAAM,CAAC;KACf;IASD,8DAA8D;IAC9D,WAAW,IAAI;QACb,KAAK,EAAE,oBAAoB,CAAC;QAC5B,IAAI,EAAE,MAAM,CAAC;QACb,UAAU,EAAE,iBAAiB,EAAE,CAAC;QAChC,IAAI,EAAE,MAAM,CAAC;KACd;CAQF"}
+{"version":3,"file":"contract-validator.d.ts","sourceRoot":"","sources":["../../src/validation/contract-validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEnI,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAQ3E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAItD,YAAY,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAKtD,OAAO,EAKL,KAAK,wBAAwB,EAC9B,MAAM,qBAAqB,CAAC;AAE7B,MAAM,WAAW,iBAAkB,SAAQ,UAAU;IACnD,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;;;;OAQG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,UAAU,EAAE,iBAAiB,EAAE,CAAC;CACjC;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,SAAS,GAAG,UAAU,CAcnE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,MAAM,EAAE,UAAU,GACjB,gBAAgB,CAQlB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,IAAI,EAAE,SAAS,EACf,WAAW,CAAC,EAAE,gBAAgB,GAC7B,gBAAgB,CAWlB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,UAAU,EAChB,uBAAuB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,EACvE,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,GAC1D,gBAAgB,CAyClB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EACjB,gBAAgB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,GACvD,gBAAgB,CA+BlB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,UAAU,EAChB,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,GACzD,gBAAgB,CAoDlB;AAQD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,GACzD,gBAAgB,CAIlB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;CACpC,GAAG,0BAA0B,GAAG,SAAS,CAuCzC;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD;AAED;;;;;;;GAOG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE;IACnD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;CACpC,GAAG,sBAAsB,GAAG,SAAS,CAoCrC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,sCAAsC,CACpD,KAAK,EAAE,sBAAsB,GAC5B,MAAM,CAeR;AA6CD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,qBAAqB,CAAC,KAAK,EAAE;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;CACpC,GAAG,OAAO,CACP;IACE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC;CAC7C,GACD,SAAS,CACZ,CAiBA;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,iBAAiB,EAAE,GAAG,MAAM,CAIxE;AAMD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,YAAY,GAAG,gBAAgB,CAiGlF;AAiQD,qBAAa,sBAAuB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,UAAU,EAAE,iBAAiB,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC;IACzF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;gBAEtB,IAAI,EAAE;QAChB,IAAI,EAAE,aAAa,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC;QAChF,UAAU,EAAE,iBAAiB,EAAE,CAAC;QAChC,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,eAAe,CAAC,EAAE,MAAM,CAAC;KAC1B;IAYD,8DAA8D;IAC9D,WAAW,IAAI;QACb,KAAK,EAAE,oBAAoB,CAAC;QAC5B,IAAI,EAAE,MAAM,CAAC;QACb,UAAU,EAAE,iBAAiB,EAAE,CAAC;QAChC,IAAI,EAAE,MAAM,CAAC;QACb,eAAe,CAAC,EAAE,MAAM,CAAC;KAC1B;CAWF"}