desen-core 1.0.3-draft

package/.turbo/turbo-build.log

@@ -0,0 +1,5 @@
+
+
+> desen-core@1.0.3-draft build /Users/selmanay/Desktop/desen/packages/core
+> tsc
+

package/dist/index.d.ts

@@ -0,0 +1,16 @@
+export { bindingSourceEnum, bindingSpec, bindWrapper, modifiersSpec, } from "./schemas/binding";
+export type { BindingSource, BindingSpec, BindWrapper, ModifiersSpec, } from "./schemas/binding";
+export { telemetrySpec, telemetryEnvelopeSpec, } from "./schemas/telemetry";
+export type { TelemetrySpec, TelemetryEnvelope, } from "./schemas/telemetry";
+export { actionSpec } from "./schemas/action";
+export type { ActionSpec } from "./schemas/action";
+export { styleSpec } from "./schemas/style";
+export type { StyleSpec } from "./schemas/style";
+export { dtcgTokenLeaf, tokenThemeSchema } from "./schemas/token";
+export type { DTCGTokenLeaf, DTCGTokenGroup, TokenTheme } from "./schemas/token";
+export { elementSpec } from "./schemas/element";
+export type { ElementSpec } from "./schemas/element";
+export { positioningSpec, layoutSpec, nodeSpec, compositionSpec, repeaterSpec, } from "./schemas/composition";
+export type { PositioningSpec, LayoutSpec, NodeSpec, CompositionSpec, RepeaterSpec, } from "./schemas/composition";
+export { surfaceSpec } from "./schemas/surface";
+export type { SurfaceSpec } from "./schemas/surface";

package/dist/index.js

@@ -0,0 +1,40 @@
+"use strict";
+// ─── desen-core ─────────────────────────────────────────────────
+// DESEN Protocol Validation Engine
+// Pure TypeScript + Zod — Zero UI dependencies
+//
+// All schemas and types adhere to SPEC.md v1.0.0-RC
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.surfaceSpec = exports.repeaterSpec = exports.compositionSpec = exports.nodeSpec = exports.layoutSpec = exports.positioningSpec = exports.elementSpec = exports.tokenThemeSchema = exports.dtcgTokenLeaf = exports.styleSpec = exports.actionSpec = exports.telemetryEnvelopeSpec = exports.telemetrySpec = exports.modifiersSpec = exports.bindWrapper = exports.bindingSpec = exports.bindingSourceEnum = void 0;
+// ── Binding & Modifiers (§2.7, §2.11) ──
+var binding_1 = require("./schemas/binding");
+Object.defineProperty(exports, "bindingSourceEnum", { enumerable: true, get: function () { return binding_1.bindingSourceEnum; } });
+Object.defineProperty(exports, "bindingSpec", { enumerable: true, get: function () { return binding_1.bindingSpec; } });
+Object.defineProperty(exports, "bindWrapper", { enumerable: true, get: function () { return binding_1.bindWrapper; } });
+Object.defineProperty(exports, "modifiersSpec", { enumerable: true, get: function () { return binding_1.modifiersSpec; } });
+// ── Telemetry (§2.3, §4.5) ──
+var telemetry_1 = require("./schemas/telemetry");
+Object.defineProperty(exports, "telemetrySpec", { enumerable: true, get: function () { return telemetry_1.telemetrySpec; } });
+Object.defineProperty(exports, "telemetryEnvelopeSpec", { enumerable: true, get: function () { return telemetry_1.telemetryEnvelopeSpec; } });
+// ── Actions (§2.4) ──
+var action_1 = require("./schemas/action");
+Object.defineProperty(exports, "actionSpec", { enumerable: true, get: function () { return action_1.actionSpec; } });
+// ── Style & Tokens (§2.6) ──
+var style_1 = require("./schemas/style");
+Object.defineProperty(exports, "styleSpec", { enumerable: true, get: function () { return style_1.styleSpec; } });
+var token_1 = require("./schemas/token");
+Object.defineProperty(exports, "dtcgTokenLeaf", { enumerable: true, get: function () { return token_1.dtcgTokenLeaf; } });
+Object.defineProperty(exports, "tokenThemeSchema", { enumerable: true, get: function () { return token_1.tokenThemeSchema; } });
+// ── Element (§2.2) ──
+var element_1 = require("./schemas/element");
+Object.defineProperty(exports, "elementSpec", { enumerable: true, get: function () { return element_1.elementSpec; } });
+// ── Composition, Layout, Repeater, Node (§2.3, §2.5, §3.5) ──
+var composition_1 = require("./schemas/composition");
+Object.defineProperty(exports, "positioningSpec", { enumerable: true, get: function () { return composition_1.positioningSpec; } });
+Object.defineProperty(exports, "layoutSpec", { enumerable: true, get: function () { return composition_1.layoutSpec; } });
+Object.defineProperty(exports, "nodeSpec", { enumerable: true, get: function () { return composition_1.nodeSpec; } });
+Object.defineProperty(exports, "compositionSpec", { enumerable: true, get: function () { return composition_1.compositionSpec; } });
+Object.defineProperty(exports, "repeaterSpec", { enumerable: true, get: function () { return composition_1.repeaterSpec; } });
+// ── Surface (§2.8) ──
+var surface_1 = require("./schemas/surface");
+Object.defineProperty(exports, "surfaceSpec", { enumerable: true, get: function () { return surface_1.surfaceSpec; } });

package/dist/schemas/action.d.ts

@@ -0,0 +1,3 @@
+import { z } from "zod";
+export declare const actionSpec: z.ZodType<any>;
+export type ActionSpec = z.infer<typeof actionSpec>;

package/dist/schemas/action.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.actionSpec = void 0;
+const zod_1 = require("zod");
+// ─── ActionSpec ──────────────────────────────────────────────────
+// SPEC.md §2.4: Standardized behavior primitives.
+// kind is REQUIRED; target, params, actions are optional.
+// "sequence" kind uses recursive `actions` array.
+exports.actionSpec = zod_1.z.lazy(() => zod_1.z.object({
+    kind: zod_1.z.enum(["navigate", "mutate", "trigger_event", "sequence"]),
+    target: zod_1.z.string().optional(),
+    params: zod_1.z.record(zod_1.z.any()).optional(),
+    actions: zod_1.z.array(exports.actionSpec).optional(),
+}).passthrough());

package/dist/schemas/binding.d.ts

@@ -0,0 +1,91 @@
+import { z } from "zod";
+export declare const bindingSourceEnum: z.ZodEnum<["session", "backend", "local", "feature_flag"]>;
+export declare const bindingSpec: z.ZodObject<{
+    source: z.ZodEnum<["session", "backend", "local", "feature_flag"]>;
+    path: z.ZodString;
+    fallback: z.ZodOptional<z.ZodAny>;
+}, "strip", z.ZodTypeAny, {
+    source: "session" | "backend" | "local" | "feature_flag";
+    path: string;
+    fallback?: any;
+}, {
+    source: "session" | "backend" | "local" | "feature_flag";
+    path: string;
+    fallback?: any;
+}>;
+export declare const bindWrapper: z.ZodObject<{
+    bind: z.ZodObject<{
+        source: z.ZodEnum<["session", "backend", "local", "feature_flag"]>;
+        path: z.ZodString;
+        fallback: z.ZodOptional<z.ZodAny>;
+    }, "strip", z.ZodTypeAny, {
+        source: "session" | "backend" | "local" | "feature_flag";
+        path: string;
+        fallback?: any;
+    }, {
+        source: "session" | "backend" | "local" | "feature_flag";
+        path: string;
+        fallback?: any;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    bind: {
+        source: "session" | "backend" | "local" | "feature_flag";
+        path: string;
+        fallback?: any;
+    };
+}, {
+    bind: {
+        source: "session" | "backend" | "local" | "feature_flag";
+        path: string;
+        fallback?: any;
+    };
+}>;
+export declare const modifiersSpec: z.ZodObject<{
+    visible: z.ZodOptional<z.ZodUnion<[z.ZodBoolean, z.ZodObject<{
+        bind: z.ZodObject<{
+            source: z.ZodEnum<["session", "backend", "local", "feature_flag"]>;
+            path: z.ZodString;
+            fallback: z.ZodOptional<z.ZodAny>;
+        }, "strip", z.ZodTypeAny, {
+            source: "session" | "backend" | "local" | "feature_flag";
+            path: string;
+            fallback?: any;
+        }, {
+            source: "session" | "backend" | "local" | "feature_flag";
+            path: string;
+            fallback?: any;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        bind: {
+            source: "session" | "backend" | "local" | "feature_flag";
+            path: string;
+            fallback?: any;
+        };
+    }, {
+        bind: {
+            source: "session" | "backend" | "local" | "feature_flag";
+            path: string;
+            fallback?: any;
+        };
+    }>]>>;
+}, "strip", z.ZodTypeAny, {
+    visible?: boolean | {
+        bind: {
+            source: "session" | "backend" | "local" | "feature_flag";
+            path: string;
+            fallback?: any;
+        };
+    } | undefined;
+}, {
+    visible?: boolean | {
+        bind: {
+            source: "session" | "backend" | "local" | "feature_flag";
+            path: string;
+            fallback?: any;
+        };
+    } | undefined;
+}>;
+export type BindingSource = z.infer<typeof bindingSourceEnum>;
+export type BindingSpec = z.infer<typeof bindingSpec>;
+export type BindWrapper = z.infer<typeof bindWrapper>;
+export type ModifiersSpec = z.infer<typeof modifiersSpec>;

package/dist/schemas/binding.js

@@ -0,0 +1,31 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.modifiersSpec = exports.bindWrapper = exports.bindingSpec = exports.bindingSourceEnum = void 0;
+const zod_1 = require("zod");
+// ─── Binding Sources ─────────────────────────────────────────────
+// SPEC.md §2.7: source MUST be an implementation-defined identifier
+// for a trusted data source. Runtimes MUST maintain a fixed allowlist.
+exports.bindingSourceEnum = zod_1.z.enum([
+    "session",
+    "backend",
+    "local",
+    "feature_flag",
+]);
+// ─── bindingSpec ─────────────────────────────────────────────────
+// SPEC.md §2.7: { source, path } required; fallback optional
+exports.bindingSpec = zod_1.z.object({
+    source: exports.bindingSourceEnum,
+    path: zod_1.z.string().min(1),
+    fallback: zod_1.z.any().optional(),
+});
+// ─── Bind Wrapper ────────────────────────────────────────────────
+// Standard wrapper: { bind: bindingSpec }
+exports.bindWrapper = zod_1.z.object({
+    bind: exports.bindingSpec,
+});
+// ─── modifiersSpec ───────────────────────────────────────────────
+// SPEC.md §2.11: visible can be a boolean or a bind reference.
+// If binding fails and no fallback is present, default is false (fail-closed).
+exports.modifiersSpec = zod_1.z.object({
+    visible: zod_1.z.union([zod_1.z.boolean(), exports.bindWrapper]).optional(),
+});

package/dist/schemas/composition.d.ts

@@ -0,0 +1,51 @@
+import { z } from "zod";
+export type NodeSpec = {
+    type: string;
+    [key: string]: any;
+};
+export declare const positioningSpec: z.ZodObject<{
+    type: z.ZodEnum<["relative", "sticky", "absolute"]>;
+}, "strip", z.ZodTypeAny, {
+    type: "relative" | "sticky" | "absolute";
+}, {
+    type: "relative" | "sticky" | "absolute";
+}>;
+export declare const layoutSpec: z.ZodObject<{
+    kind: z.ZodEnum<["stack", "grid"]>;
+    direction: z.ZodOptional<z.ZodEnum<["vertical", "horizontal"]>>;
+    gap: z.ZodOptional<z.ZodNumber>;
+    columns: z.ZodOptional<z.ZodNumber>;
+    align: z.ZodOptional<z.ZodEnum<["start", "center", "end", "stretch"]>>;
+    positioning: z.ZodOptional<z.ZodObject<{
+        type: z.ZodEnum<["relative", "sticky", "absolute"]>;
+    }, "strip", z.ZodTypeAny, {
+        type: "relative" | "sticky" | "absolute";
+    }, {
+        type: "relative" | "sticky" | "absolute";
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    kind: "stack" | "grid";
+    direction?: "vertical" | "horizontal" | undefined;
+    gap?: number | undefined;
+    columns?: number | undefined;
+    align?: "start" | "center" | "end" | "stretch" | undefined;
+    positioning?: {
+        type: "relative" | "sticky" | "absolute";
+    } | undefined;
+}, {
+    kind: "stack" | "grid";
+    direction?: "vertical" | "horizontal" | undefined;
+    gap?: number | undefined;
+    columns?: number | undefined;
+    align?: "start" | "center" | "end" | "stretch" | undefined;
+    positioning?: {
+        type: "relative" | "sticky" | "absolute";
+    } | undefined;
+}>;
+export declare const nodeSpec: z.ZodType<NodeSpec>;
+export declare const compositionSpec: z.ZodType<any>;
+export declare const repeaterSpec: z.ZodType<any>;
+export type PositioningSpec = z.infer<typeof positioningSpec>;
+export type LayoutSpec = z.infer<typeof layoutSpec>;
+export type CompositionSpec = z.infer<typeof compositionSpec>;
+export type RepeaterSpec = z.infer<typeof repeaterSpec>;

package/dist/schemas/composition.js

@@ -0,0 +1,99 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.repeaterSpec = exports.compositionSpec = exports.nodeSpec = exports.layoutSpec = exports.positioningSpec = void 0;
+const zod_1 = require("zod");
+const binding_1 = require("./binding");
+const telemetry_1 = require("./telemetry");
+// ─── Positioning ─────────────────────────────────────────────────
+// SPEC.md §3.5: relative, sticky, absolute
+exports.positioningSpec = zod_1.z.object({
+    type: zod_1.z.enum(["relative", "sticky", "absolute"]),
+});
+// ─── layoutSpec ──────────────────────────────────────────────────
+// SPEC.md §2.3: kind REQUIRED, rest optional
+exports.layoutSpec = zod_1.z.object({
+    kind: zod_1.z.enum(["stack", "grid"]),
+    direction: zod_1.z.enum(["vertical", "horizontal"]).optional(),
+    gap: zod_1.z.number().min(0).optional(),
+    columns: zod_1.z.number().int().min(1).optional(),
+    align: zod_1.z.enum(["start", "center", "end", "stretch"]).optional(),
+    positioning: exports.positioningSpec.optional(),
+});
+// ─── Composition types ───────────────────────────────────────────
+const compositionTypeEnum = zod_1.z.enum(["Card", "Stack", "Grid", "Header", "Footer"]);
+const compositionTypes = new Set(["Card", "Stack", "Grid", "Header", "Footer"]);
+// ─── Constraints (shared) ────────────────────────────────────────
+const constraintsSpec = zod_1.z.object({
+    a11y: zod_1.z.object({
+        aria_label: zod_1.z.string().optional(),
+        aria_role: zod_1.z.string().optional(),
+        min_contrast_ratio: zod_1.z.number().min(1).optional(),
+        focusable: zod_1.z.boolean().optional(),
+    }).optional(),
+}).passthrough().optional();
+// ─── nodeSpec (discriminated by type field) ───────────────────────
+// SPEC.md §1.3: Node = Element | Composition | Repeater
+//
+// PERFORMANCE FIX: Instead of z.union() which tries all branches,
+// we use a custom z.lazy() that checks the `type` field to
+// dispatch to the correct schema — avoiding exponential backtracking.
+exports.nodeSpec = zod_1.z.lazy(() => zod_1.z.any().superRefine((val, ctx) => {
+    if (typeof val !== "object" || val === null || typeof val.type !== "string") {
+        ctx.addIssue({
+            code: zod_1.z.ZodIssueCode.custom,
+            message: "Node must be an object with a 'type' string property.",
+        });
+        return;
+    }
+    let result;
+    if (val.type === "Repeater") {
+        result = exports.repeaterSpec.safeParse(val);
+    }
+    else if (compositionTypes.has(val.type)) {
+        result = exports.compositionSpec.safeParse(val);
+    }
+    else {
+        // Any other type is treated as an ElementSpec
+        result = elementSpecInternal.safeParse(val);
+    }
+    if (!result.success) {
+        for (const issue of result.error.issues) {
+            ctx.addIssue(issue);
+        }
+    }
+}));
+// ─── Internal ElementSpec (no refine to avoid double-checking in nodeSpec) ──
+const elementSpecInternal = zod_1.z.object({
+    type: zod_1.z.string().min(1),
+    id: zod_1.z.string().min(1),
+    props: zod_1.z.record(zod_1.z.any()),
+    constraints: constraintsSpec,
+    modifiers: binding_1.modifiersSpec.optional(),
+    telemetry: telemetry_1.telemetrySpec.optional(),
+}).passthrough()
+    .refine((data) => !("children" in data), { message: "ElementSpec MUST NOT contain 'children'. Use CompositionSpec for containers." })
+    .refine((data) => !("layout" in data), { message: "ElementSpec MUST NOT contain 'layout'. Use CompositionSpec for layout." });
+// ─── CompositionSpec ─────────────────────────────────────────────
+// SPEC.md §2.3: type (enum), id, layout, children, telemetry REQUIRED.
+exports.compositionSpec = zod_1.z.lazy(() => zod_1.z.object({
+    type: compositionTypeEnum,
+    id: zod_1.z.string().min(1).regex(/^[A-Za-z][A-Za-z0-9_.:-]{0,127}$/),
+    layout: exports.layoutSpec,
+    children: zod_1.z.array(exports.nodeSpec).min(0),
+    constraints: constraintsSpec,
+    modifiers: binding_1.modifiersSpec.optional(),
+    telemetry: telemetry_1.telemetrySpec,
+}).passthrough());
+// ─── RepeaterSpec ────────────────────────────────────────────────
+// SPEC.md §2.5: type MUST be "Repeater", data.bind REQUIRED,
+// template MUST be a valid nodeSpec, telemetry REQUIRED.
+exports.repeaterSpec = zod_1.z.lazy(() => zod_1.z.object({
+    type: zod_1.z.literal("Repeater"),
+    id: zod_1.z.string().min(1),
+    data: zod_1.z.object({
+        bind: binding_1.bindingSpec,
+    }),
+    template: exports.nodeSpec,
+    modifiers: binding_1.modifiersSpec.optional(),
+    telemetry: telemetry_1.telemetrySpec,
+}).passthrough());