@pwfabric/runtime 0.0.0-stage → 1.0.0-rc.0

package/dist/surface/types.d.ts

@@ -0,0 +1,161 @@
+/**
+ * Surface Rendering Types
+ *
+ * Internal types for surface rendering pipeline
+ *
+ * @module @pwfabric/runtime/surface/types
+ */
+import type { CapabilityId, SurfaceId } from '@pwfabric/contracts';
+/**
+ * Primitive types supported by the runtime
+ */
+export type PrimitiveType = 'text' | 'container' | 'button' | 'input' | 'image' | 'link' | 'list' | 'list-item' | 'divider' | 'spacer' | 'heading' | 'paragraph' | 'slot' | 'fragment' | 'conditional' | 'loop';
+/**
+ * Base properties shared by all render nodes
+ */
+export interface BaseNodeProps {
+    readonly id?: string;
+    readonly key?: string;
+    readonly className?: string;
+    readonly style?: Record<string, string | number>;
+    readonly data?: Record<string, unknown>;
+}
+/**
+ * Render node - the output of surface rendering
+ */
+export interface RenderNode {
+    readonly type: PrimitiveType | string;
+    readonly props: BaseNodeProps & Record<string, unknown>;
+    readonly children: readonly RenderNode[];
+}
+/**
+ * Create a render node
+ */
+export declare function createNode(type: PrimitiveType | string, props?: BaseNodeProps & Record<string, unknown>, children?: readonly RenderNode[]): RenderNode;
+/**
+ * Surface JSON definition (input format)
+ */
+export interface SurfaceJSON {
+    readonly $schema?: string;
+    readonly id: string;
+    readonly version: string;
+    readonly environment: string;
+    readonly metadata?: {
+        readonly name?: string;
+        readonly description?: string;
+        readonly tags?: readonly string[];
+    };
+    readonly bindings?: readonly BindingJSON[];
+    readonly layout: LayoutJSON;
+}
+/**
+ * Capability binding in JSON
+ */
+export interface BindingJSON {
+    readonly capability: string;
+    readonly alias?: string;
+    readonly transform?: {
+        readonly input?: Record<string, unknown>;
+        readonly output?: Record<string, unknown>;
+    };
+}
+/**
+ * Layout definition in JSON
+ */
+export interface LayoutJSON {
+    readonly type: PrimitiveType | string;
+    readonly props?: Record<string, unknown>;
+    readonly children?: readonly LayoutJSON[];
+    readonly slot?: string;
+    readonly if?: string;
+    readonly each?: {
+        readonly items: string;
+        readonly as: string;
+        readonly key?: string;
+    };
+}
+/**
+ * Context passed during rendering
+ */
+export interface RenderContext {
+    readonly surfaceId: SurfaceId;
+    readonly bindings: Map<string, CapabilityId>;
+    readonly data: Record<string, unknown>;
+    readonly slots: Map<string, readonly RenderNode[]>;
+    readonly parent?: RenderContext;
+}
+/**
+ * Create a render context
+ */
+export declare function createRenderContext(options: {
+    surfaceId: SurfaceId;
+    bindings?: Map<string, CapabilityId>;
+    data?: Record<string, unknown>;
+    slots?: Map<string, readonly RenderNode[]>;
+    parent?: RenderContext;
+}): RenderContext;
+/**
+ * Create a child context with additional data
+ */
+export declare function createChildContext(parent: RenderContext, additionalData: Record<string, unknown>): RenderContext;
+/**
+ * Result of rendering a surface
+ */
+export type RenderResult = {
+    readonly success: true;
+    readonly output: RenderOutput;
+} | {
+    readonly success: false;
+    readonly error: RenderError;
+};
+/**
+ * Render output
+ */
+export interface RenderOutput {
+    readonly surfaceId: SurfaceId;
+    readonly root: RenderNode;
+    readonly metadata: {
+        readonly renderTime: number;
+        readonly nodeCount: number;
+        readonly bindings: readonly string[];
+    };
+}
+/**
+ * Formalized error code vocabulary for render errors
+ */
+export type RenderErrorCode = 'invalid_surface' | 'missing_binding' | 'layout_error' | 'slot_error' | 'expression_error';
+/**
+ * Render error types
+ */
+export type RenderError = {
+    readonly type: 'invalid_surface';
+    readonly message: string;
+    readonly details?: Record<string, unknown>;
+} | {
+    readonly type: 'missing_binding';
+    readonly binding: string;
+    readonly details?: Record<string, unknown>;
+} | {
+    readonly type: 'layout_error';
+    readonly message: string;
+    readonly details?: Record<string, unknown>;
+} | {
+    readonly type: 'slot_error';
+    readonly slot: string;
+    readonly message: string;
+    readonly details?: Record<string, unknown>;
+} | {
+    readonly type: 'expression_error';
+    readonly expression: string;
+    readonly message: string;
+    readonly details?: Record<string, unknown>;
+};
+/**
+ * Create a successful render result
+ */
+export declare function renderSuccess(output: RenderOutput): RenderResult;
+/**
+ * Create a failed render result
+ */
+export declare function renderError(error: RenderError): RenderResult;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/surface/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAMlE;;GAEG;AACH,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,WAAW,GACX,QAAQ,GACR,OAAO,GACP,OAAO,GACP,MAAM,GACN,MAAM,GACN,WAAW,GACX,SAAS,GACT,QAAQ,GACR,SAAS,GACT,WAAW,GACX,MAAM,GACN,UAAU,GACV,aAAa,GACb,MAAM,CAAA;AAEV;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAA;IAChD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CAAA;IACrC,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACvD,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAA;CACzC;AAED;;GAEG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,aAAa,GAAG,MAAM,EAC5B,KAAK,GAAE,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,EACnD,QAAQ,GAAE,SAAS,UAAU,EAAO,GACnC,UAAU,CAEZ;AAMD;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;QAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;KAClC,CAAA;IACD,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,WAAW,EAAE,CAAA;IAC1C,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE;QACnB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAC1C,CAAA;CACF;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CAAA;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACxC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,UAAU,EAAE,CAAA;IACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE;QACd,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;QACnB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KACtB,CAAA;CACF;AAMD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACtC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAA;IAClD,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAA;CAChC;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE;IAC3C,SAAS,EAAE,SAAS,CAAA;IACpB,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IACpC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9B,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAA;IAC1C,MAAM,CAAC,EAAE,aAAa,CAAA;CACvB,GAAG,aAAa,CAWhB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,EACrB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACtC,aAAa,CAMf;AAMD;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,CAAA;AAE5D;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;QAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;KACrC,CAAA;CACF;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,iBAAiB,GACjB,iBAAiB,GACjB,cAAc,GACd,YAAY,GACZ,kBAAkB,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC3C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC3C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC3C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC3C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC3C,CAAA;AAEL;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAEhE;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,YAAY,CAE5D"}

package/dist/surface/types.js

@@ -0,0 +1,51 @@
+/**
+ * Surface Rendering Types
+ *
+ * Internal types for surface rendering pipeline
+ *
+ * @module @pwfabric/runtime/surface/types
+ */
+/**
+ * Create a render node
+ */
+export function createNode(type, props = {}, children = []) {
+    return { type, props, children };
+}
+/**
+ * Create a render context
+ */
+export function createRenderContext(options) {
+    const result = {
+        surfaceId: options.surfaceId,
+        bindings: options.bindings ?? new Map(),
+        data: options.data ?? {},
+        slots: options.slots ?? new Map(),
+    };
+    if (options.parent) {
+        return { ...result, parent: options.parent };
+    }
+    return result;
+}
+/**
+ * Create a child context with additional data
+ */
+export function createChildContext(parent, additionalData) {
+    return {
+        ...parent,
+        data: { ...parent.data, ...additionalData },
+        parent,
+    };
+}
+/**
+ * Create a successful render result
+ */
+export function renderSuccess(output) {
+    return { success: true, output };
+}
+/**
+ * Create a failed render result
+ */
+export function renderError(error) {
+    return { success: false, error };
+}
+//# sourceMappingURL=types.js.map

package/dist/surface/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/surface/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAiDH;;GAEG;AACH,MAAM,UAAU,UAAU,CACxB,IAA4B,EAC5B,QAAiD,EAAE,EACnD,WAAkC,EAAE;IAEpC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;AAClC,CAAC;AAkED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAMnC;IACC,MAAM,MAAM,GAAkB;QAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,IAAI,GAAG,EAAE;QACvC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI,GAAG,EAAE;KAClC,CAAA;IACD,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAA;IAC9C,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAqB,EACrB,cAAuC;IAEvC,OAAO;QACL,GAAG,MAAM;QACT,IAAI,EAAE,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,cAAc,EAAE;QAC3C,MAAM;KACP,CAAA;AACH,CAAC;AAoED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,MAAoB;IAChD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;AAClC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,KAAkB;IAC5C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AAClC,CAAC"}

package/dist/surface/validation.d.ts

@@ -0,0 +1,124 @@
+/**
+ * Block Props Validation
+ *
+ * Runtime validation of block props using injected Zod schemas.
+ * the legacy `blockSchemas` map is gone — production
+ * callers supply a schema map sourced from the install pipeline (per-atom
+ * `manifest.definition.props[*].jsonSchema` rebuilt into Zod). Without a
+ * schema map the validator runs in lenient mode and passes everything
+ * through.
+ *
+ * @module @pwfabric/runtime/surface/validation
+ */
+import type { ZodSchema } from 'zod';
+/** Map of block type → Zod schema. Supply via options to enable strict checks. */
+export type BlockSchemaMap = Readonly<Record<string, ZodSchema>>;
+/**
+ * Options for block props validation
+ */
+export interface BlockPropsValidationOptions {
+    /**
+     * When true, unknown block types cause validation failure.
+     * When false (default), unknown block types pass through.
+     */
+    readonly strict?: boolean;
+    /**
+     * Per-block-type Zod schemas. the runtime no longer
+     * ships a built-in schema map — callers that want prop validation
+     * supply their own (typically rebuilt from
+     * each installed block manifest's `definition.props[*].jsonSchema`).
+     * Omitting the map yields lenient pass-through behaviour.
+     */
+    readonly schemas?: BlockSchemaMap;
+    /**
+     * Per-block-type manifest props. When supplied, props a manifest
+     * does not declare and templates on `bindable: false` props are reported as
+     * WARNINGS (`manifestPropFindings`); they never fail validation.
+     */
+    readonly manifests?: BlockManifestPropsMap;
+}
+/**
+ * Result of validating block props against the schema
+ */
+export interface BlockPropsValidationResult {
+    readonly valid: boolean;
+    readonly errors: readonly string[];
+    readonly coerced?: Record<string, unknown>;
+}
+/**
+ * Validate block props against the known Zod schema for the given block type.
+ *
+ * - Known block types are validated against the schema from @pwfabric/core.
+ * - Unknown block types pass through in lenient mode (default) and fail in strict mode.
+ * - On success, returns coerced data (with defaults applied by Zod).
+ */
+export declare function validateBlockProps(type: string, props: Record<string, unknown>, options?: BlockPropsValidationOptions): BlockPropsValidationResult;
+/**
+ * Layout node shape for recursive validation.
+ * Matches LayoutJSON structure without importing it to avoid circular deps.
+ */
+interface LayoutNode {
+    readonly type: string;
+    readonly props?: Record<string, unknown>;
+    readonly children?: readonly LayoutNode[];
+}
+/**
+ * A single validation issue with path context
+ */
+export interface LayoutPropsIssue {
+    readonly path: string;
+    readonly type: string;
+    readonly errors: readonly string[];
+}
+/**
+ * Validate all block props in a layout tree recursively.
+ *
+ * Returns a flat list of validation issues with path context.
+ */
+export declare function validateLayoutProps(layout: LayoutNode, options?: BlockPropsValidationOptions, path?: string): readonly LayoutPropsIssue[];
+/**
+ * One prop a pack manifest declares: `manifest.definition.props[*]`. Only the
+ * two fields the check reads; a full manifest entry passes as it is.
+ */
+export interface ManifestPropSpec {
+    readonly name: string;
+    /** `false` = the prop takes a literal only; a `{{ }}` template is not resolved for it. */
+    readonly bindable?: boolean;
+}
+/** Block type → the props its manifest declares. */
+export type BlockManifestPropsMap = Readonly<Record<string, readonly ManifestPropSpec[]>>;
+export type ManifestPropFindingCode = 'UNKNOWN_PROP' | 'TEMPLATE_ON_UNBINDABLE';
+/**
+ * A prop that does not match its block's manifest. Always a WARNING:
+ * existing apps carry such props and must keep rendering; a caller
+ * decides whether to show, count or (later) refuse them.
+ */
+export interface ManifestPropFinding {
+    readonly path: string;
+    readonly type: string;
+    readonly prop: string;
+    readonly code: ManifestPropFindingCode;
+    readonly severity: 'warning';
+    readonly message: string;
+}
+/**
+ * The props of ONE block that its manifest does not allow.
+ *
+ * WHY: a prop the manifest does not declare was
+ * accepted silently. The schema check rebuilds each prop's JSON schema into a
+ * passthrough object, so a misspelt or invented prop (`tone` on a block that
+ * has none, `paddingY` where the block reads `padding`) validated clean and
+ * did nothing on screen. And a `{{ }}` template on a `bindable: false` prop was
+ * shown to the visitor as literal braces. Both are now named.
+ *
+ * @param specs the block's declared props; `undefined` (block not in the map)
+ *   yields nothing, because an unknown block type is a different finding.
+ */
+export declare function blockManifestPropFindings(type: string, props: Record<string, unknown> | undefined, specs: readonly ManifestPropSpec[] | undefined, path?: string): ManifestPropFinding[];
+/**
+ * Every manifest finding in a layout tree, with path context. Blocks whose
+ * type is not in `manifests` are skipped.
+ */
+export declare function manifestPropFindings(layout: LayoutNode, manifests: BlockManifestPropsMap, path?: string): ManifestPropFinding[];
+export {};
+//# sourceMappingURL=validation.d.ts.map

package/dist/surface/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/surface/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,KAAK,CAAA;AAEpC,kFAAkF;AAClF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;AAMhE;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C;;;OAGG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAA;IACjC;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAA;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC3C;AAMD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,OAAO,GAAE,2BAAgC,GACxC,0BAA0B,CAgC5B;AAED;;;GAGG;AACH,UAAU,UAAU;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACxC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,UAAU,EAAE,CAAA;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CACnC;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,UAAU,EAClB,OAAO,GAAE,2BAAgC,EACzC,IAAI,SAAS,GACZ,SAAS,gBAAgB,EAAE,CAuB7B;AAMD;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,0FAA0F;IAC1F,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAC5B;AAED,oDAAoD;AACpD,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC,CAAC,CAAA;AAEzF,MAAM,MAAM,uBAAuB,GAAG,cAAc,GAAG,wBAAwB,CAAA;AAE/E;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAA;IACtC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAYD;;;;;;;;;;;;GAYG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC1C,KAAK,EAAE,SAAS,gBAAgB,EAAE,GAAG,SAAS,EAC9C,IAAI,SAAS,GACZ,mBAAmB,EAAE,CA8BvB;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,UAAU,EAClB,SAAS,EAAE,qBAAqB,EAChC,IAAI,SAAS,GACZ,mBAAmB,EAAE,CAQvB"}

package/dist/surface/validation.js

@@ -0,0 +1,147 @@
+/**
+ * Block Props Validation
+ *
+ * Runtime validation of block props using injected Zod schemas.
+ * the legacy `blockSchemas` map is gone — production
+ * callers supply a schema map sourced from the install pipeline (per-atom
+ * `manifest.definition.props[*].jsonSchema` rebuilt into Zod). Without a
+ * schema map the validator runs in lenient mode and passes everything
+ * through.
+ *
+ * @module @pwfabric/runtime/surface/validation
+ */
+// ============================================================
+// VALIDATION FUNCTIONS
+// ============================================================
+/**
+ * Validate block props against the known Zod schema for the given block type.
+ *
+ * - Known block types are validated against the schema from @pwfabric/core.
+ * - Unknown block types pass through in lenient mode (default) and fail in strict mode.
+ * - On success, returns coerced data (with defaults applied by Zod).
+ */
+export function validateBlockProps(type, props, options = {}) {
+    const { strict = false, schemas } = options;
+    const schema = schemas?.[type];
+    if (!schema) {
+        if (strict) {
+            return {
+                valid: false,
+                errors: [`Unknown block type: ${type}`],
+            };
+        }
+        // Lenient mode: unknown / unsupplied types pass through
+        return { valid: true, errors: [] };
+    }
+    const result = schema.safeParse(props);
+    if (result.success) {
+        return {
+            valid: true,
+            errors: [],
+            coerced: result.data,
+        };
+    }
+    return {
+        valid: false,
+        errors: result.error.issues.map((i) => `${i.path.join('.')}: ${i.message}`),
+    };
+}
+/**
+ * Validate all block props in a layout tree recursively.
+ *
+ * Returns a flat list of validation issues with path context.
+ */
+export function validateLayoutProps(layout, options = {}, path = 'root') {
+    const issues = [];
+    const result = validateBlockProps(layout.type, layout.props ?? {}, options);
+    if (!result.valid) {
+        issues.push({
+            path,
+            type: layout.type,
+            errors: result.errors,
+        });
+    }
+    if (layout.children) {
+        for (let i = 0; i < layout.children.length; i++) {
+            const child = layout.children[i];
+            if (child) {
+                const childIssues = validateLayoutProps(child, options, `${path}.children[${i}]`);
+                issues.push(...childIssues);
+            }
+        }
+    }
+    return issues;
+}
+function carriesTemplate(value, depth = 0) {
+    if (depth > 8)
+        return false;
+    if (typeof value === 'string')
+        return value.includes('{{');
+    if (Array.isArray(value))
+        return value.some((v) => carriesTemplate(v, depth + 1));
+    if (value && typeof value === 'object') {
+        return Object.values(value).some((v) => carriesTemplate(v, depth + 1));
+    }
+    return false;
+}
+/**
+ * The props of ONE block that its manifest does not allow.
+ *
+ * WHY: a prop the manifest does not declare was
+ * accepted silently. The schema check rebuilds each prop's JSON schema into a
+ * passthrough object, so a misspelt or invented prop (`tone` on a block that
+ * has none, `paddingY` where the block reads `padding`) validated clean and
+ * did nothing on screen. And a `{{ }}` template on a `bindable: false` prop was
+ * shown to the visitor as literal braces. Both are now named.
+ *
+ * @param specs the block's declared props; `undefined` (block not in the map)
+ *   yields nothing, because an unknown block type is a different finding.
+ */
+export function blockManifestPropFindings(type, props, specs, path = 'root') {
+    if (!specs || !props)
+        return [];
+    const byName = new Map(specs.map((s) => [s.name, s]));
+    const out = [];
+    for (const [prop, value] of Object.entries(props)) {
+        if (value === undefined)
+            continue;
+        const spec = byName.get(prop);
+        if (!spec) {
+            out.push({
+                path,
+                type,
+                prop,
+                code: 'UNKNOWN_PROP',
+                severity: 'warning',
+                message: `"${prop}" is not a prop of ${type}; the block ignores it.`,
+            });
+            continue;
+        }
+        if (spec.bindable === false && carriesTemplate(value)) {
+            out.push({
+                path,
+                type,
+                prop,
+                code: 'TEMPLATE_ON_UNBINDABLE',
+                severity: 'warning',
+                message: `"${prop}" on ${type} takes a literal value; its {{ }} template is shown as written.`,
+            });
+        }
+    }
+    return out;
+}
+/**
+ * Every manifest finding in a layout tree, with path context. Blocks whose
+ * type is not in `manifests` are skipped.
+ */
+export function manifestPropFindings(layout, manifests, path = 'root') {
+    const out = blockManifestPropFindings(layout.type, layout.props, manifests[layout.type], path);
+    if (layout.children) {
+        layout.children.forEach((child, i) => {
+            if (child)
+                out.push(...manifestPropFindings(child, manifests, `${path}.children[${i}]`));
+        });
+    }
+    return out;
+}
+//# sourceMappingURL=validation.js.map

package/dist/surface/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../src/surface/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AA6CH,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAY,EACZ,KAA8B,EAC9B,UAAuC,EAAE;IAEzC,MAAM,EAAE,MAAM,GAAG,KAAK,EAAE,OAAO,EAAE,GAAG,OAAO,CAAA;IAE3C,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC,IAAI,CAAC,CAAA;IAE9B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,IAAI,MAAM,EAAE,CAAC;YACX,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,CAAC,uBAAuB,IAAI,EAAE,CAAC;aACxC,CAAA;QACH,CAAC;QACD,wDAAwD;QACxD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;IACpC,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,OAAO;YACL,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,MAAM,CAAC,IAA+B;SAChD,CAAA;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAC7B,CAAC,CAAiD,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAC3F;KACF,CAAA;AACH,CAAC;AAqBD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAkB,EAClB,UAAuC,EAAE,EACzC,IAAI,GAAG,MAAM;IAEb,MAAM,MAAM,GAAuB,EAAE,CAAA;IAErC,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,CAAA;IAC3E,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI;YACJ,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM;SACtB,CAAC,CAAA;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAChC,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC,CAAA;gBACjF,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAmCD,SAAS,eAAe,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC;IAChD,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,KAAK,CAAA;IAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC1D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAA;IACjF,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAA;IACnG,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAY,EACZ,KAA0C,EAC1C,KAA8C,EAC9C,IAAI,GAAG,MAAM;IAEb,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAA;IAC/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACrD,MAAM,GAAG,GAA0B,EAAE,CAAA;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC7B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI,EAAE,cAAc;gBACpB,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,IAAI,IAAI,sBAAsB,IAAI,yBAAyB;aACrE,CAAC,CAAA;YACF,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI,EAAE,wBAAwB;gBAC9B,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,IAAI,IAAI,QAAQ,IAAI,iEAAiE;aAC/F,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAkB,EAClB,SAAgC,EAChC,IAAI,GAAG,MAAM;IAEb,MAAM,GAAG,GAAG,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IAC9F,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YACnC,IAAI,KAAK;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAA;QAC1F,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/validator.d.ts

@@ -0,0 +1,56 @@
+/**
+ * Contract Validator
+ *
+ * Runtime validation for contracts
+ *
+ * @module @pwfabric/runtime/validator
+ */
+import type { Contract, Capability, ValidationResult, ValidationError } from '@pwfabric/contracts';
+/**
+ * Contract validator interface
+ */
+export interface ContractValidator {
+    /**
+     * Validate input against a contract
+     */
+    validateInput<T>(contract: Contract<T, unknown>, data: unknown): ValidationResult<T>;
+    /**
+     * Validate output against a contract
+     */
+    validateOutput<T>(contract: Contract<unknown, T>, data: unknown): ValidationResult<T>;
+    /**
+     * Validate a capability's contract
+     */
+    validateCapability(capability: Capability): ValidationResult<void>;
+}
+/**
+ * Runtime contract validator
+ */
+export declare class RuntimeContractValidator implements ContractValidator {
+    validateInput<T>(contract: Contract<T, unknown>, data: unknown): ValidationResult<T>;
+    validateOutput<T>(contract: Contract<unknown, T>, data: unknown): ValidationResult<T>;
+    validateCapability(capability: Capability): ValidationResult<void>;
+}
+/**
+ * Create a contract validator
+ */
+export declare function createValidator(): ContractValidator;
+/**
+ * Validation result type guard
+ */
+export declare function isValidationSuccess<T>(result: ValidationResult<T>): result is {
+    success: true;
+    data: T;
+};
+/**
+ * Validation result type guard for errors
+ */
+export declare function isValidationFailure<T>(result: ValidationResult<T>): result is {
+    success: false;
+    error: ValidationError[];
+};
+/**
+ * Format validation errors as a string
+ */
+export declare function formatValidationErrors(errors: ValidationError[]): string;
+//# sourceMappingURL=validator.d.ts.map

package/dist/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAOlG;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAA;IAEpF;;OAEG;IACH,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAA;IAErF;;OAEG;IACH,kBAAkB,CAAC,UAAU,EAAE,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;CACnE;AAMD;;GAEG;AACH,qBAAa,wBAAyB,YAAW,iBAAiB;IAChE,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC;IAepF,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC;IAerF,kBAAkB,CAAC,UAAU,EAAE,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC;CAmDnE;AAMD;;GAEG;AACH,wBAAgB,eAAe,IAAI,iBAAiB,CAEnD;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EACnC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAC1B,MAAM,IAAI;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAEtC;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EACnC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAC1B,MAAM,IAAI;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,eAAe,EAAE,CAAA;CAAE,CAExD;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,CAOxE"}

package/dist/validator.js

@@ -0,0 +1,100 @@
+/**
+ * Contract Validator
+ *
+ * Runtime validation for contracts
+ *
+ * @module @pwfabric/runtime/validator
+ */
+import { ok, err, validationError } from '@pwfabric/contracts';
+// ============================================================
+// RUNTIME VALIDATOR IMPLEMENTATION
+// ============================================================
+/**
+ * Runtime contract validator
+ */
+export class RuntimeContractValidator {
+    validateInput(contract, data) {
+        try {
+            return contract.validateInput(data);
+        }
+        catch (error) {
+            const errors = [
+                validationError([], error instanceof Error ? error.message : 'Unknown validation error', 'validation_error'),
+            ];
+            return err(errors);
+        }
+    }
+    validateOutput(contract, data) {
+        try {
+            return contract.validateOutput(data);
+        }
+        catch (error) {
+            const errors = [
+                validationError([], error instanceof Error ? error.message : 'Unknown validation error', 'validation_error'),
+            ];
+            return err(errors);
+        }
+    }
+    validateCapability(capability) {
+        const errors = [];
+        // Validate capability has required fields
+        if (!capability.id) {
+            errors.push(validationError(['id'], 'Capability ID is required', 'required'));
+        }
+        if (!capability.version) {
+            errors.push(validationError(['version'], 'Capability version is required', 'required'));
+        }
+        if (!capability.contract) {
+            errors.push(validationError(['contract'], 'Capability contract is required', 'required'));
+        }
+        if (!capability.execute) {
+            errors.push(validationError(['execute'], 'Capability execute function is required', 'required'));
+        }
+        // Validate contract exists and has required methods
+        if (capability.contract) {
+            if (!capability.contract.validateInput) {
+                errors.push(validationError(['contract', 'validateInput'], 'Contract validateInput method is required', 'required'));
+            }
+            if (!capability.contract.validateOutput) {
+                errors.push(validationError(['contract', 'validateOutput'], 'Contract validateOutput method is required', 'required'));
+            }
+        }
+        if (errors.length > 0) {
+            return err(errors);
+        }
+        return ok(undefined);
+    }
+}
+// ============================================================
+// VALIDATION UTILITIES
+// ============================================================
+/**
+ * Create a contract validator
+ */
+export function createValidator() {
+    return new RuntimeContractValidator();
+}
+/**
+ * Validation result type guard
+ */
+export function isValidationSuccess(result) {
+    return result.success === true;
+}
+/**
+ * Validation result type guard for errors
+ */
+export function isValidationFailure(result) {
+    return result.success === false;
+}
+/**
+ * Format validation errors as a string
+ */
+export function formatValidationErrors(errors) {
+    return errors
+        .map((e) => {
+        const path = e.path.length > 0 ? `${e.path.join('.')}: ` : '';
+        return `${path}${e.message} (${e.code})`;
+    })
+        .join('\n');
+}
+//# sourceMappingURL=validator.js.map