@velarscript/web 0.30.1 → 0.32.0

package/dist/modules/http.js

@@ -0,0 +1,127 @@
+/**
+ * `velar/http` — the request and response shapes, the form body, and the three error classes.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { optionalOf as optional } from "@velarscript/compiler";
+import { arrayString, blobType, boolType, bytesType, fileArrayType, fileType, mapString, moduleInterface, namedFunction, namedIntrinsic, nullType, numberType, object, promise, stringType, unknownType, } from "./types.js";
+const formBodyType = object({
+    field: namedFunction(["name", "value"], [stringType, stringType], nullType),
+    file: namedFunction(["name", "value", "fileName"], [stringType, fileType, stringType], nullType, 2),
+    files: namedFunction(["name", "values"], [stringType, fileArrayType], nullType),
+    remove: namedFunction(["name"], [stringType], nullType),
+    has: namedFunction(["name"], [stringType], boolType),
+    names: namedFunction([], [], arrayString),
+});
+const httpChunkConsumerType = namedFunction(["chunk"], [stringType], promise(nullType));
+const httpTransportPhaseIdentity = "velar/http#enum:HttpTransportPhase";
+const httpTransportPhaseMembers = new Set(["request", "response"]);
+const httpTransportPhaseWireValues = new Map([...httpTransportPhaseMembers].map((member) => [member, member]));
+const httpTransportPhaseType = { kind: "enum", name: "HttpTransportPhase", identity: httpTransportPhaseIdentity };
+const httpTransportErrorIdentity = "velar/http#class:HttpTransportError";
+// D90 R20: `ok` is gone from the response. `response()` throws
+// `HttpResponseError` for every non-2xx, so the only response an author can
+// hold has `ok === true` — a field that is always true is a lie in the type,
+// and `if not r.ok:` was a dead branch the tour taught twice. The failure
+// path is a `catch` that narrows with `is HttpResponseError`, and the
+// analyzer says so when the old field is read.
+const httpResponseType = object({
+    status: numberType,
+    statusText: stringType,
+    url: stringType,
+    headers: mapString(stringType),
+    json: namedFunction([], [], promise(unknownType)),
+    text: namedFunction([], [], promise(stringType)),
+    bytes: namedFunction([], [], promise(bytesType)),
+    streamText: namedFunction(["consume"], [httpChunkConsumerType], promise(nullType)),
+    blob: namedFunction([], [], promise(blobType)),
+    parse: namedIntrinsic("runtime.parseAsync", ["target"], [unknownType], promise(unknownType)),
+});
+const requestType = object({
+    response: namedFunction([], [], promise(httpResponseType)),
+    json: namedFunction([], [], promise(unknownType)),
+    text: namedFunction([], [], promise(stringType)),
+    bytes: namedFunction([], [], promise(bytesType)),
+    streamText: namedFunction(["consume"], [httpChunkConsumerType], promise(nullType)),
+    blob: namedFunction([], [], promise(blobType)),
+    parse: namedIntrinsic("runtime.parseAsync", ["target"], [unknownType], promise(unknownType)),
+    cancel: namedFunction([], [], nullType),
+});
+const httpOptionsType = object({
+    headers: optional(mapString(stringType)),
+    body: optional(unknownType),
+    timeout: optional(numberType),
+    maxBytes: optional(numberType),
+    credentials: optional(stringType),
+    cache: optional(stringType),
+});
+const httpType = object({
+    request: namedIntrinsic("http.request", ["method", "url", "options"], [stringType, stringType, httpOptionsType], requestType, 2),
+    get: namedIntrinsic("http.request", ["url", "options"], [stringType, httpOptionsType], requestType, 1),
+    post: namedIntrinsic("http.request", ["url", "options"], [stringType, httpOptionsType], requestType, 1),
+    put: namedIntrinsic("http.request", ["url", "options"], [stringType, httpOptionsType], requestType, 1),
+    patch: namedIntrinsic("http.request", ["url", "options"], [stringType, httpOptionsType], requestType, 1),
+    delete: namedIntrinsic("http.request", ["url", "options"], [stringType, httpOptionsType], requestType, 1),
+    head: namedIntrinsic("http.request", ["url", "options"], [stringType, httpOptionsType], requestType, 1),
+});
+export const velarHttpModuleEntry = ["velar/http", moduleInterface(new Map([
+        ["http", httpType],
+        ["formBody", namedFunction([], [], formBodyType)],
+        ["HttpTransportPhase", { kind: "enumObject", name: "HttpTransportPhase", identity: httpTransportPhaseIdentity, members: httpTransportPhaseMembers }],
+        ["HttpAbortError", { kind: "classConstructor", name: "HttpAbortError" }],
+        ["HttpResponseError", { kind: "classConstructor", name: "HttpResponseError" }],
+        ["HttpTransportError", { kind: "classConstructor", name: "HttpTransportError", identity: httpTransportErrorIdentity }],
+    ]), new Map([
+        ["HttpAbortError", {
+                parameters: [stringType],
+                parameterNames: ["reason"],
+                requiredParameters: 1,
+                base: "Error",
+                abstract: false,
+                fields: new Map([["reason", { mutable: false, type: stringType }]]),
+                getters: new Set(),
+                abstractGetters: new Set(),
+                methods: new Map(),
+                abstractMethods: new Set(),
+                staticFields: new Map(),
+                staticGetters: new Set(),
+                staticMethods: new Map(),
+            }],
+        ["HttpResponseError", {
+                parameters: [stringType, numberType, stringType, unknownType],
+                parameterNames: ["message", "status", "url", "body"],
+                requiredParameters: 3,
+                base: "Error",
+                abstract: false,
+                fields: new Map([
+                    ["status", { mutable: false, type: numberType }],
+                    ["url", { mutable: false, type: stringType }],
+                    ["body", { mutable: false, type: unknownType }],
+                ]),
+                getters: new Set(),
+                abstractGetters: new Set(),
+                methods: new Map(),
+                abstractMethods: new Set(),
+                staticFields: new Map(),
+                staticGetters: new Set(),
+                staticMethods: new Map(),
+            }],
+        ["HttpTransportError", {
+                identity: httpTransportErrorIdentity,
+                parameters: [stringType, httpTransportPhaseType],
+                parameterNames: ["message", "phase"],
+                requiredParameters: 2,
+                base: "Error",
+                abstract: false,
+                fields: new Map([["phase", { mutable: false, type: httpTransportPhaseType }]]),
+                getters: new Set(),
+                abstractGetters: new Set(),
+                methods: new Map(),
+                abstractMethods: new Set(),
+                staticFields: new Map(),
+                staticGetters: new Set(),
+                staticMethods: new Map(),
+            }],
+    ]), new Map(), new Map(), new Map([["HttpTransportPhase", { identity: httpTransportPhaseIdentity, members: httpTransportPhaseMembers, wireValues: httpTransportPhaseWireValues }]]))];
+//# sourceMappingURL=http.js.map

package/dist/modules/http.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"http.js","sourceRoot":"","sources":["../../src/modules/http.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,IAAI,QAAQ,EAAwC,MAAM,uBAAuB,CAAC;AACrG,OAAO,EACL,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,aAAa,EACb,QAAQ,EACR,SAAS,EACT,eAAe,EACf,aAAa,EACb,cAAc,EACd,QAAQ,EACR,UAAU,EACV,MAAM,EACN,OAAO,EACP,UAAU,EACV,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,MAAM,YAAY,GAAG,MAAM,CAAC;IAC1B,KAAK,EAAE,aAAa,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,QAAQ,CAAC;IAC3E,IAAI,EAAE,aAAa,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IACnG,KAAK,EAAE,aAAa,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,QAAQ,CAAC;IAC/E,MAAM,EAAE,aAAa,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC;IACvD,GAAG,EAAE,aAAa,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC;IACpD,KAAK,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC;CAC1C,CAAC,CAAC;AACH,MAAM,qBAAqB,GAAG,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AACxF,MAAM,0BAA0B,GAAG,oCAAoC,CAAC;AACxE,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AACnE,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAC/G,MAAM,sBAAsB,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,0BAA0B,EAAE,CAAC;AAC7H,MAAM,0BAA0B,GAAG,qCAAqC,CAAC;AAEzE,+DAA+D;AAC/D,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,sEAAsE;AACtE,+CAA+C;AAC/C,MAAM,gBAAgB,GAAG,MAAM,CAAC;IAC9B,MAAM,EAAE,UAAU;IAClB,UAAU,EAAE,UAAU;IACtB,GAAG,EAAE,UAAU;IACf,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC;IAC9B,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACjD,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAChD,KAAK,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAChD,UAAU,EAAE,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,qBAAqB,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClF,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9C,KAAK,EAAE,cAAc,CAAC,oBAAoB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;CAC7F,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,MAAM,CAAC;IACzB,QAAQ,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC1D,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACjD,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAChD,KAAK,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAChD,UAAU,EAAE,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,qBAAqB,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClF,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9C,KAAK,EAAE,cAAc,CAAC,oBAAoB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC5F,MAAM,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC;CACxC,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,MAAM,CAAC;IAC7B,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC;IAC3B,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC;IAC7B,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC;IAC9B,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC;IACjC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC;CAC5B,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,MAAM,CAAC;IACtB,OAAO,EAAE,cAAc,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,eAAe,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;IAChI,GAAG,EAAE,cAAc,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;IACtG,IAAI,EAAE,cAAc,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;IACvG,GAAG,EAAE,cAAc,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;IACtG,KAAK,EAAE,cAAc,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;IACxG,MAAM,EAAE,cAAc,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;IACzG,IAAI,EAAE,cAAc,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;CACxG,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAuC,CAAC,YAAY,EAAE,eAAe,CAAC,IAAI,GAAG,CAAC;QAC7G,CAAC,MAAM,EAAE,QAAQ,CAAC;QAClB,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QACjD,CAAC,oBAAoB,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC;QACpJ,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;QACxE,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;QAC9E,CAAC,oBAAoB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,0BAA0B,EAAE,CAAC;KACvH,CAAC,EAAE,IAAI,GAAG,CAAC;QACV,CAAC,gBAAgB,EAAE;gBACjB,UAAU,EAAE,CAAC,UAAU,CAAC;gBACxB,cAAc,EAAE,CAAC,QAAQ,CAAC;gBAC1B,kBAAkB,EAAE,CAAC;gBACrB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;gBACnE,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,eAAe,EAAE,IAAI,GAAG,EAAE;gBAC1B,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,eAAe,EAAE,IAAI,GAAG,EAAE;gBAC1B,YAAY,EAAE,IAAI,GAAG,EAAE;gBACvB,aAAa,EAAE,IAAI,GAAG,EAAE;gBACxB,aAAa,EAAE,IAAI,GAAG,EAAE;aACzB,CAAC;QACF,CAAC,mBAAmB,EAAE;gBACpB,UAAU,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC;gBAC7D,cAAc,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC;gBACpD,kBAAkB,EAAE,CAAC;gBACrB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,IAAI,GAAG,CAAC;oBACd,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;oBAChD,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;oBAC7C,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;iBAChD,CAAC;gBACF,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,eAAe,EAAE,IAAI,GAAG,EAAE;gBAC1B,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,eAAe,EAAE,IAAI,GAAG,EAAE;gBAC1B,YAAY,EAAE,IAAI,GAAG,EAAE;gBACvB,aAAa,EAAE,IAAI,GAAG,EAAE;gBACxB,aAAa,EAAE,IAAI,GAAG,EAAE;aACzB,CAAC;QACF,CAAC,oBAAoB,EAAE;gBACrB,QAAQ,EAAE,0BAA0B;gBACpC,UAAU,EAAE,CAAC,UAAU,EAAE,sBAAsB,CAAC;gBAChD,cAAc,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC;gBACpC,kBAAkB,EAAE,CAAC;gBACrB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC;gBAC9E,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,eAAe,EAAE,IAAI,GAAG,EAAE;gBAC1B,OAAO,EAAE,IAAI,GAAG,EAAE;gBAClB,eAAe,EAAE,IAAI,GAAG,EAAE;gBAC1B,YAAY,EAAE,IAAI,GAAG,EAAE;gBACvB,aAAa,EAAE,IAAI,GAAG,EAAE;gBACxB,aAAa,EAAE,IAAI,GAAG,EAAE;aACzB,CAAC;KACH,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,oBAAoB,EAAE,EAAE,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,yBAAyB,EAAE,UAAU,EAAE,4BAA4B,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/modules/look.d.ts

@@ -0,0 +1,9 @@
+/**
+ * `velar/look` — the builders and public visual type names the module publishes.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { type ModuleInterface } from "@velarscript/compiler";
+export declare const velarLookModuleEntry: readonly [string, ModuleInterface];
+//# sourceMappingURL=look.d.ts.map

package/dist/modules/look.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"look.d.ts","sourceRoot":"","sources":["../../src/modules/look.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,KAAK,eAAe,EAAkB,MAAM,uBAAuB,CAAC;AAwE7E,eAAO,MAAM,oBAAoB,EAAE,SAAS,CAAC,MAAM,EAAE,eAAe,CAAsD,CAAC"}

package/dist/modules/look.js

@@ -0,0 +1,58 @@
+/**
+ * `velar/look` — the builders and public visual type names the module publishes.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import {} from "@velarscript/compiler";
+import { LOOK_PUBLIC_TYPE_NAMES } from "../look.js";
+import { webLengthPercentageInput } from "../types.js";
+import { angleType, boolType, colorInputType, durationType, filterType, keyframesType, lengthType, lookBuilder, lookScalarType, moduleInterface, numberType, percentageType, repeatCountType, stringType, trackInputType, } from "./types.js";
+const lookModuleExports = new Map([
+    ...LOOK_PUBLIC_TYPE_NAMES.map((name) => [name, { kind: "typeObject", name, value: { kind: "named", name } }]),
+    // D103: a token reference has no visual kind of its own, because the design
+    // system owns the value and the compiler cannot see it. `string` is the type
+    // every checked Look property kind already admits alongside its own visual
+    // type, which is what makes one spelling legal in all of them; the kinds keep
+    // their D37 keyword tables, which read literals and folded keywords and so
+    // never see a call.
+    ["token", lookBuilder("token", [stringType])],
+    ["color", lookBuilder("color", [stringType])],
+    ["rgb", lookBuilder("rgb", [numberType, numberType, numberType])],
+    ["rgba", lookBuilder("rgba", [numberType, numberType, numberType, numberType])],
+    ["hsl", lookBuilder("hsl", [numberType, percentageType, percentageType])], // LK-I3: CSS spells those two slots as percentages and so does this language.
+    ["alpha", lookBuilder("alpha", [colorInputType, numberType])],
+    ["lighten", lookBuilder("lighten", [colorInputType, numberType])],
+    ["darken", lookBuilder("darken", [colorInputType, numberType])],
+    ["border", lookBuilder("border", [lengthType, colorInputType, stringType])],
+    ["shadow", lookBuilder("shadow", [lengthType, lengthType, lengthType, colorInputType, lengthType, boolType])],
+    ["blur", lookBuilder("blur", [lengthType])],
+    ["brightness", lookBuilder("brightness", [numberType])],
+    ["contrast", lookBuilder("contrast", [numberType])],
+    ["dropShadow", lookBuilder("dropShadow", [lengthType, lengthType, lengthType, colorInputType])],
+    ["grayscale", lookBuilder("grayscale", [numberType])],
+    ["hueRotate", lookBuilder("hueRotate", [angleType])],
+    ["invert", lookBuilder("invert", [numberType])],
+    ["filterOpacity", lookBuilder("filterOpacity", [numberType])],
+    ["saturate", lookBuilder("saturate", [numberType])],
+    ["sepia", lookBuilder("sepia", [numberType])],
+    ["filters", lookBuilder("filters", [filterType], filterType)],
+    ["linearGradient", lookBuilder("linearGradient", [angleType, colorInputType, colorInputType])],
+    ["asset", lookBuilder("asset", [stringType])],
+    ["minmax", lookBuilder("minmax", [trackInputType, trackInputType])],
+    ["repeat", lookBuilder("repeat", [repeatCountType, trackInputType])],
+    ["tracks", lookBuilder("tracks", [trackInputType], trackInputType)],
+    ["transition", lookBuilder("transition", [stringType, durationType, stringType, durationType])],
+    ["spacing", lookBuilder("spacing", [lookScalarType, lookScalarType, lookScalarType, lookScalarType])],
+    ["min", lookBuilder("min", [webLengthPercentageInput, webLengthPercentageInput])],
+    ["max", lookBuilder("max", [webLengthPercentageInput, webLengthPercentageInput])],
+    ["clamp", lookBuilder("clamp", [webLengthPercentageInput, webLengthPercentageInput, webLengthPercentageInput])],
+    ["animate", lookBuilder("animate", [keyframesType, durationType, stringType, durationType, numberType, boolType, stringType, stringType])],
+]);
+// D52 rule 114: `Look.` is gone. JavaScript has no `Look` global, so the
+// prefix was ours to invent and ours to withdraw — and a look block is the
+// densest run of calls in the language, which is the worst place to spend four
+// characters per call on a word that adds nothing. The builders are named
+// imports again; `Look` survives only as the type of a look value.
+export const velarLookModuleEntry = ["velar/look", moduleInterface(lookModuleExports)];
+//# sourceMappingURL=look.js.map

package/dist/modules/look.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"look.js","sourceRoot":"","sources":["../../src/modules/look.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAwC,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EACL,SAAS,EACT,QAAQ,EACR,cAAc,EACd,YAAY,EACZ,UAAU,EACV,aAAa,EACb,UAAU,EACV,WAAW,EACX,cAAc,EACd,eAAe,EACf,UAAU,EACV,cAAc,EACd,eAAe,EACf,UAAU,EACV,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAoB;IACnD,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAe,CAAU,CAAC;IACnI,4EAA4E;IAC5E,6EAA6E;IAC7E,2EAA2E;IAC3E,8EAA8E;IAC9E,2EAA2E;IAC3E,oBAAoB;IACpB,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IACjE,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/E,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,8EAA8E;IACzJ,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC7D,CAAC,SAAS,EAAE,WAAW,CAAC,SAAS,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IACjE,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/D,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3E,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7G,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3C,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IACvD,CAAC,UAAU,EAAE,WAAW,CAAC,UAAU,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IACnD,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC;IAC/F,CAAC,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IACrD,CAAC,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACpD,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/C,CAAC,eAAe,EAAE,WAAW,CAAC,eAAe,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7D,CAAC,UAAU,EAAE,WAAW,CAAC,UAAU,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IACnD,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC,SAAS,EAAE,WAAW,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;IAC7D,CAAC,gBAAgB,EAAE,WAAW,CAAC,gBAAgB,EAAE,CAAC,SAAS,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC;IAC9F,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC;IACnE,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC;IACpE,CAAC,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC,CAAC;IACnE,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;IAC/F,CAAC,SAAS,EAAE,WAAW,CAAC,SAAS,EAAE,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC;IACrG,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC,CAAC;IACjF,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC,CAAC;IACjF,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAC/G,CAAC,SAAS,EAAE,WAAW,CACrB,SAAS,EACT,CAAC,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CACtG,CAAC;CACH,CAAC,CAAC;AAEH,yEAAyE;AACzE,2EAA2E;AAC3E,+EAA+E;AAC/E,0EAA0E;AAC1E,mEAAmE;AAEnE,MAAM,CAAC,MAAM,oBAAoB,GAAuC,CAAC,YAAY,EAAE,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC"}

package/dist/modules/realtime.d.ts

@@ -0,0 +1,9 @@
+/**
+ * `velar/realtime` — the server-sent event stream, and the typed reconnecting client composed over `velar/websocket`.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { type ModuleInterface } from "@velarscript/compiler";
+export declare const velarRealtimeModuleEntry: readonly [string, ModuleInterface];
+//# sourceMappingURL=realtime.d.ts.map

package/dist/modules/realtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"realtime.d.ts","sourceRoot":"","sources":["../../src/modules/realtime.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAgE,KAAK,eAAe,EAAkB,MAAM,uBAAuB,CAAC;AAwJ3I,eAAO,MAAM,wBAAwB,EAAE,SAAS,CAAC,MAAM,EAAE,eAAe,CA8BtE,CAAC"}

package/dist/modules/realtime.js

@@ -0,0 +1,163 @@
+/**
+ * `velar/realtime` — the server-sent event stream, and the typed reconnecting client composed over `velar/websocket`.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { optionalOf as optional } from "@velarscript/compiler";
+import { boolType, capabilityHandle, durationType, errorType, functionType, moduleInterface, namedFunction, nullType, numberType, object, promise, stringType, unknownType, } from "./types.js";
+import { webSocketCloseType, webSocketMessageType } from "./websocket.js";
+// D51 (audit 12): the realtime handle is a standard capability handle that
+// publishes `close()`, so `using` supplies its release contract (charter
+// section 16). It is declared structurally rather than as a named type, and
+// the marker is what lets Core see it without ever detecting a shape.
+//
+// `velar/websocket.connect` remains the sole raw WebSocket transport. The
+// higher-level `realtimeClient` below composes it with typed codecs, lifecycle,
+// and reconnect policy; it does not duplicate framing or invent a second
+// socket contract.
+const eventStreamHandlersType = object({
+    open: optional(functionType([], unknownType)),
+    message: optional(functionType([stringType, stringType], unknownType)),
+    error: optional(functionType([stringType], unknownType)),
+});
+const eventStreamType = capabilityHandle({ url: stringType, state: namedFunction([], [], stringType), close: namedFunction([], [], nullType) });
+const realtimeWireType = webSocketMessageType;
+const realtimeCodecIdentity = "velar/realtime#type:RealtimeCodec";
+const realtimeClientIdentity = "velar/realtime#type:RealtimeClient";
+const realtimeFailureIdentity = "velar/realtime#type:RealtimeFailure";
+const realtimeOpenIdentity = "velar/realtime#type:RealtimeOpen";
+const realtimeClientStateIdentity = "velar/realtime#enum:RealtimeClientState";
+const realtimeFailureActionIdentity = "velar/realtime#enum:RealtimeClientFailureAction";
+const realtimeUnavailableIdentity = "velar/realtime#class:RealtimeUnavailableError";
+const realtimeClientStates = new Set(["idle", "connecting", "open", "reconnecting", "closed"]);
+const realtimeFailureActions = new Set(["continue", "reconnect", "stop"]);
+const realtimeClientStateType = { kind: "enum", name: "RealtimeClientState", identity: realtimeClientStateIdentity };
+const realtimeFailureActionType = { kind: "enum", name: "RealtimeClientFailureAction", identity: realtimeFailureActionIdentity };
+const realtimeFailureType = { kind: "named", name: "RealtimeFailure", identity: realtimeFailureIdentity };
+const realtimeOpenType = { kind: "named", name: "RealtimeOpen", identity: realtimeOpenIdentity };
+const realtimeCodecIncoming = { kind: "parameter", name: "Incoming", index: 0 };
+const realtimeCodecOutgoing = { kind: "parameter", name: "Outgoing", index: 1 };
+const realtimeClientOutgoing = { kind: "parameter", name: "T", index: 0 };
+const realtimeInput = { kind: "parameter", name: "Incoming", index: 0 };
+const realtimeOutput = { kind: "parameter", name: "Outgoing", index: 1 };
+function realtimeGenericApplication(name, identity, arguments_) {
+    const labels = arguments_.map((argument, index) => argument.kind === "parameter" ? argument.name : `T${index + 1}`);
+    return { kind: "named", name: `${name}<${labels.join(", ")}>`, identity, application: { declaration: identity, name, arguments: arguments_ } };
+}
+const realtimeCodecOf = (incoming, outgoing) => realtimeGenericApplication("RealtimeCodec", realtimeCodecIdentity, [incoming, outgoing]);
+const realtimeClientOf = (outgoing) => realtimeGenericApplication("RealtimeClient", realtimeClientIdentity, [outgoing]);
+const realtimeCodecTemplate = {
+    identity: realtimeCodecIdentity,
+    name: "RealtimeCodec",
+    parameterNames: ["Incoming", "Outgoing"],
+    parameterBounds: [null, null],
+    fields: new Map([
+        ["decode", namedFunction(["message"], [realtimeWireType], realtimeCodecIncoming)],
+        ["encode", namedFunction(["message"], [realtimeCodecOutgoing], realtimeWireType)],
+    ]),
+    readonlyFields: new Set(["decode", "encode"]),
+};
+const realtimeClientTemplate = {
+    identity: realtimeClientIdentity,
+    name: "RealtimeClient",
+    parameterNames: ["T"],
+    parameterBounds: [null],
+    fields: new Map([
+        ["state", namedFunction([], [], realtimeClientStateType)],
+        ["generation", namedFunction([], [], numberType)],
+        ["start", namedFunction([], [], promise(nullType))],
+        ["whenOpen", namedFunction([], [], promise(numberType))],
+        ["whenClosed", namedFunction([], [], promise(nullType))],
+        ["send", namedFunction(["message"], [realtimeClientOutgoing], promise(nullType))],
+        ["close", namedFunction(["code", "reason"], [numberType, stringType], promise(nullType), 0)],
+    ]),
+    readonlyFields: new Set(["state", "generation", "start", "whenOpen", "whenClosed", "send", "close"]),
+};
+const realtimeGenericTypes = new Map([
+    ["RealtimeCodec", realtimeCodecTemplate],
+    ["RealtimeClient", realtimeClientTemplate],
+]);
+const realtimeFailureFields = new Map([
+    ["phase", stringType],
+    ["error", errorType],
+    ["recoverable", boolType],
+]);
+const realtimeOpenFields = new Map([
+    ["generation", numberType],
+    ["reconnected", boolType],
+]);
+const realtimeClientOptions = object({
+    connectTimeout: optional(durationType),
+    maxMessageBytes: optional(numberType),
+    maxQueuedMessages: optional(numberType),
+    maxQueuedBytes: optional(numberType),
+    maxPendingSendBytes: optional(numberType),
+    reconnectDelays: optional({ kind: "list", element: durationType }),
+    reconnectJitter: optional(numberType),
+    retryInitial: optional(boolType),
+});
+const realtimeClientOutput = realtimeClientOf(realtimeOutput);
+const realtimeUrlType = { kind: "union", members: [stringType, namedFunction([], [], stringType)] };
+const realtimeReceive = namedFunction(["message", "client"], [realtimeInput, realtimeClientOutput], promise(nullType));
+const realtimeOpened = namedFunction(["client", "open"], [realtimeClientOutput, realtimeOpenType], promise(nullType));
+const realtimeFailed = namedFunction(["failure", "client"], [realtimeFailureType, realtimeClientOutput], promise(realtimeFailureActionType));
+const realtimeClosed = namedFunction(["client", "close"], [realtimeClientOutput, webSocketCloseType], promise(nullType));
+const realtimeStateChanged = namedFunction(["client", "state"], [realtimeClientOutput, realtimeClientStateType], promise(nullType));
+const realtimeClientFunction = {
+    kind: "function",
+    typeParameterNames: ["Incoming", "Outgoing"],
+    parameterNames: ["url", "codec", "receive", "opened", "failed", "closed", "stateChanged", "options"],
+    parameters: [
+        realtimeUrlType,
+        realtimeCodecOf(realtimeInput, realtimeOutput),
+        realtimeReceive,
+        optional(realtimeOpened),
+        optional(realtimeFailed),
+        optional(realtimeClosed),
+        optional(realtimeStateChanged),
+        realtimeClientOptions,
+    ],
+    requiredParameters: 3,
+    result: realtimeClientOutput,
+};
+const realtimeUnavailableClass = {
+    identity: realtimeUnavailableIdentity,
+    parameters: [stringType],
+    parameterNames: ["message"],
+    requiredParameters: 0,
+    base: "Error",
+    abstract: false,
+    fields: new Map(),
+    getters: new Set(),
+    abstractGetters: new Set(),
+    methods: new Map(),
+    abstractMethods: new Set(),
+    staticFields: new Map(),
+    staticGetters: new Set(),
+    staticMethods: new Map(),
+};
+export const velarRealtimeModuleEntry = ["velar/realtime", moduleInterface(new Map([
+        ["RealtimeClient", { kind: "typeObject", name: "RealtimeClient", value: realtimeClientOf(realtimeClientOutgoing) }],
+        ["RealtimeClientFailureAction", { kind: "enumObject", name: "RealtimeClientFailureAction", identity: realtimeFailureActionIdentity, members: realtimeFailureActions }],
+        ["RealtimeClientState", { kind: "enumObject", name: "RealtimeClientState", identity: realtimeClientStateIdentity, members: realtimeClientStates }],
+        ["RealtimeCodec", { kind: "typeObject", name: "RealtimeCodec", value: realtimeCodecOf(realtimeCodecIncoming, realtimeCodecOutgoing) }],
+        ["RealtimeFailure", { kind: "typeObject", name: "RealtimeFailure", value: realtimeFailureType }],
+        ["RealtimeOpen", { kind: "typeObject", name: "RealtimeOpen", value: realtimeOpenType }],
+        ["RealtimeUnavailableError", { kind: "classConstructor", name: "RealtimeUnavailableError", identity: realtimeUnavailableIdentity }],
+        ["eventStream", namedFunction(["url", "handlers", "credentials"], [stringType, eventStreamHandlersType, boolType], eventStreamType, 1)],
+        ["realtimeClient", realtimeClientFunction],
+    ]), new Map([["RealtimeUnavailableError", realtimeUnavailableClass]]), new Map([
+        ["RealtimeFailure", realtimeFailureFields],
+        ["RealtimeOpen", realtimeOpenFields],
+    ]), new Map([
+        ["RealtimeFailure", realtimeFailureIdentity],
+        ["RealtimeOpen", realtimeOpenIdentity],
+    ]), new Map([
+        ["RealtimeClientFailureAction", { identity: realtimeFailureActionIdentity, members: realtimeFailureActions, wireValues: new Map([...realtimeFailureActions].map((member) => [member, member])) }],
+        ["RealtimeClientState", { identity: realtimeClientStateIdentity, members: realtimeClientStates, wireValues: new Map([...realtimeClientStates].map((member) => [member, member])) }],
+    ]), new Map([
+        ["RealtimeFailure", new Set(realtimeFailureFields.keys())],
+        ["RealtimeOpen", new Set(realtimeOpenFields.keys())],
+    ]), realtimeGenericTypes)];
+//# sourceMappingURL=realtime.js.map

package/dist/modules/realtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"realtime.js","sourceRoot":"","sources":["../../src/modules/realtime.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,IAAI,QAAQ,EAA8E,MAAM,uBAAuB,CAAC;AAC3I,OAAO,EACL,QAAQ,EACR,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,eAAe,EACf,aAAa,EACb,QAAQ,EACR,UAAU,EACV,MAAM,EACN,OAAO,EACP,UAAU,EACV,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E,2EAA2E;AAC3E,yEAAyE;AACzE,4EAA4E;AAC5E,sEAAsE;AACtE,EAAE;AACF,0EAA0E;AAC1E,gFAAgF;AAChF,yEAAyE;AACzE,mBAAmB;AACnB,MAAM,uBAAuB,GAAG,MAAM,CAAC;IACrC,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IAC7C,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;IACtE,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;CACzD,CAAC,CAAC;AACH,MAAM,eAAe,GAAG,gBAAgB,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;AAEhJ,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAC9C,MAAM,qBAAqB,GAAG,mCAAmC,CAAC;AAClE,MAAM,sBAAsB,GAAG,oCAAoC,CAAC;AACpE,MAAM,uBAAuB,GAAG,qCAAqC,CAAC;AACtE,MAAM,oBAAoB,GAAG,kCAAkC,CAAC;AAChE,MAAM,2BAA2B,GAAG,yCAAyC,CAAC;AAC9E,MAAM,6BAA6B,GAAG,iDAAiD,CAAC;AACxF,MAAM,2BAA2B,GAAG,+CAA+C,CAAC;AACpF,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC/F,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;AAC1E,MAAM,uBAAuB,GAAc,EAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,2BAA2B,EAAC,CAAC;AAC9H,MAAM,yBAAyB,GAAc,EAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,6BAA6B,EAAE,QAAQ,EAAE,6BAA6B,EAAC,CAAC;AAC1I,MAAM,mBAAmB,GAAc,EAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,uBAAuB,EAAC,CAAC;AACnH,MAAM,gBAAgB,GAAc,EAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,oBAAoB,EAAC,CAAC;AAC1G,MAAM,qBAAqB,GAAc,EAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAC,CAAC;AACzF,MAAM,qBAAqB,GAAc,EAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAC,CAAC;AACzF,MAAM,sBAAsB,GAAc,EAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAC,CAAC;AACnF,MAAM,aAAa,GAAc,EAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAC,CAAC;AACjF,MAAM,cAAc,GAAc,EAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAC,CAAC;AAElF,SAAS,0BAA0B,CAAC,IAAY,EAAE,QAAgB,EAAE,UAAgC;IAClG,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;IACpH,OAAO,EAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAC,EAAC,CAAC;AAC7I,CAAC;AAED,MAAM,eAAe,GAAG,CAAC,QAAmB,EAAE,QAAmB,EAAa,EAAE,CAAC,0BAA0B,CAAC,eAAe,EAAE,qBAAqB,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC1K,MAAM,gBAAgB,GAAG,CAAC,QAAmB,EAAa,EAAE,CAAC,0BAA0B,CAAC,gBAAgB,EAAE,sBAAsB,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC9I,MAAM,qBAAqB,GAAoB;IAC7C,QAAQ,EAAE,qBAAqB;IAC/B,IAAI,EAAE,eAAe;IACrB,cAAc,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IACxC,eAAe,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;IAC7B,MAAM,EAAE,IAAI,GAAG,CAAC;QACd,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,qBAAqB,CAAC,CAAC;QACjF,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,qBAAqB,CAAC,EAAE,gBAAgB,CAAC,CAAC;KAClF,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;CAC9C,CAAC;AACF,MAAM,sBAAsB,GAAoB;IAC9C,QAAQ,EAAE,sBAAsB;IAChC,IAAI,EAAE,gBAAgB;IACtB,cAAc,EAAE,CAAC,GAAG,CAAC;IACrB,eAAe,EAAE,CAAC,IAAI,CAAC;IACvB,MAAM,EAAE,IAAI,GAAG,CAAC;QACd,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,uBAAuB,CAAC,CAAC;QACzD,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACjD,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnD,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QACxD,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxD,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjF,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;KAC7F,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;CACrG,CAAC;AACF,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAA0B;IAC5D,CAAC,eAAe,EAAE,qBAAqB,CAAC;IACxC,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;CAC3C,CAAC,CAAC;AACH,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAoB;IACvD,CAAC,OAAO,EAAE,UAAU,CAAC;IACrB,CAAC,OAAO,EAAE,SAAS,CAAC;IACpB,CAAC,aAAa,EAAE,QAAQ,CAAC;CAC1B,CAAC,CAAC;AACH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAoB;IACpD,CAAC,YAAY,EAAE,UAAU,CAAC;IAC1B,CAAC,aAAa,EAAE,QAAQ,CAAC;CAC1B,CAAC,CAAC;AACH,MAAM,qBAAqB,GAAG,MAAM,CAAC;IACnC,cAAc,EAAE,QAAQ,CAAC,YAAY,CAAC;IACtC,eAAe,EAAE,QAAQ,CAAC,UAAU,CAAC;IACrC,iBAAiB,EAAE,QAAQ,CAAC,UAAU,CAAC;IACvC,cAAc,EAAE,QAAQ,CAAC,UAAU,CAAC;IACpC,mBAAmB,EAAE,QAAQ,CAAC,UAAU,CAAC;IACzC,eAAe,EAAE,QAAQ,CAAC,EAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAC,CAAC;IAChE,eAAe,EAAE,QAAQ,CAAC,UAAU,CAAC;IACrC,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC;CACjC,CAAC,CAAC;AACH,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,cAAc,CAAC,CAAC;AAC9D,MAAM,eAAe,GAAc,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,EAAC,CAAC;AAC7G,MAAM,eAAe,GAAG,aAAa,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,aAAa,EAAE,oBAAoB,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AACvH,MAAM,cAAc,GAAG,aAAa,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AACtH,MAAM,cAAc,GAAG,aAAa,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,EAAE,OAAO,CAAC,yBAAyB,CAAC,CAAC,CAAC;AAC7I,MAAM,cAAc,GAAG,aAAa,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AACzH,MAAM,oBAAoB,GAAG,aAAa,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AACpI,MAAM,sBAAsB,GAAc;IACxC,IAAI,EAAE,UAAU;IAChB,kBAAkB,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IAC5C,cAAc,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,cAAc,EAAE,SAAS,CAAC;IACpG,UAAU,EAAE;QACV,eAAe;QACf,eAAe,CAAC,aAAa,EAAE,cAAc,CAAC;QAC9C,eAAe;QACf,QAAQ,CAAC,cAAc,CAAC;QACxB,QAAQ,CAAC,cAAc,CAAC;QACxB,QAAQ,CAAC,cAAc,CAAC;QACxB,QAAQ,CAAC,oBAAoB,CAAC;QAC9B,qBAAqB;KACtB;IACD,kBAAkB,EAAE,CAAC;IACrB,MAAM,EAAE,oBAAoB;CAC7B,CAAC;AACF,MAAM,wBAAwB,GAAc;IAC1C,QAAQ,EAAE,2BAA2B;IACrC,UAAU,EAAE,CAAC,UAAU,CAAC;IACxB,cAAc,EAAE,CAAC,SAAS,CAAC;IAC3B,kBAAkB,EAAE,CAAC;IACrB,IAAI,EAAE,OAAO;IACb,QAAQ,EAAE,KAAK;IACf,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,eAAe,EAAE,IAAI,GAAG,EAAE;IAC1B,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,eAAe,EAAE,IAAI,GAAG,EAAE;IAC1B,YAAY,EAAE,IAAI,GAAG,EAAE;IACvB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,aAAa,EAAE,IAAI,GAAG,EAAE;CACzB,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAuC,CAAC,gBAAgB,EAAE,eAAe,CAC5G,IAAI,GAAG,CAAC;QACN,CAAC,gBAAgB,EAAE,EAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,gBAAgB,CAAC,sBAAsB,CAAC,EAAC,CAAC;QACjH,CAAC,6BAA6B,EAAE,EAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,6BAA6B,EAAE,QAAQ,EAAE,6BAA6B,EAAE,OAAO,EAAE,sBAAsB,EAAC,CAAC;QACpK,CAAC,qBAAqB,EAAE,EAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,2BAA2B,EAAE,OAAO,EAAE,oBAAoB,EAAC,CAAC;QAChJ,CAAC,eAAe,EAAE,EAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,CAAC,qBAAqB,EAAE,qBAAqB,CAAC,EAAC,CAAC;QACpI,CAAC,iBAAiB,EAAE,EAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,mBAAmB,EAAC,CAAC;QAC9F,CAAC,cAAc,EAAE,EAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,gBAAgB,EAAC,CAAC;QACrF,CAAC,0BAA0B,EAAE,EAAC,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,0BAA0B,EAAE,QAAQ,EAAE,2BAA2B,EAAC,CAAC;QACjI,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,aAAa,CAAC,EAAE,CAAC,UAAU,EAAE,uBAAuB,EAAE,QAAQ,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;QACvI,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;KAC3C,CAAC,EACF,IAAI,GAAG,CAAC,CAAC,CAAC,0BAA0B,EAAE,wBAAwB,CAAC,CAAC,CAAC,EACjE,IAAI,GAAG,CAAC;QACN,CAAC,iBAAiB,EAAE,qBAAqB,CAAC;QAC1C,CAAC,cAAc,EAAE,kBAAkB,CAAC;KACrC,CAAC,EACF,IAAI,GAAG,CAAC;QACN,CAAC,iBAAiB,EAAE,uBAAuB,CAAC;QAC5C,CAAC,cAAc,EAAE,oBAAoB,CAAC;KACvC,CAAC,EACF,IAAI,GAAG,CAAC;QACN,CAAC,6BAA6B,EAAE,EAAC,QAAQ,EAAE,6BAA6B,EAAE,OAAO,EAAE,sBAAsB,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAC,CAAC;QAC/L,CAAC,qBAAqB,EAAE,EAAC,QAAQ,EAAE,2BAA2B,EAAE,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAC,CAAC;KAClL,CAAC,EACF,IAAI,GAAG,CAAC;QACN,CAAC,iBAAiB,EAAE,IAAI,GAAG,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1D,CAAC,cAAc,EAAE,IAAI,GAAG,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC;KACrD,CAAC,EACF,oBAAoB,CACrB,CAAC,CAAC"}

package/dist/modules/storage.d.ts

@@ -0,0 +1,9 @@
+/**
+ * `velar/storage` — the local, session and scoped key/value areas, the database, and their error classes.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { type ModuleInterface } from "@velarscript/compiler";
+export declare const velarStorageModuleEntry: readonly [string, ModuleInterface];
+//# sourceMappingURL=storage.d.ts.map

package/dist/modules/storage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage.d.ts","sourceRoot":"","sources":["../../src/modules/storage.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAA0C,KAAK,eAAe,EAAkB,MAAM,uBAAuB,CAAC;AAyDrH,eAAO,MAAM,uBAAuB,EAAE,SAAS,CAAC,MAAM,EAAE,eAAe,CAWnE,CAAC"}

package/dist/modules/storage.js

@@ -0,0 +1,59 @@
+/**
+ * `velar/storage` — the local, session and scoped key/value areas, the database, and their error classes.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { optionalOf as optional } from "@velarscript/compiler";
+import { arrayString, boolType, bytesType, cleanupType, moduleInterface, namedFunction, namedIntrinsic, nullType, numberType, object, promise, stringType, unknownType, } from "./types.js";
+function createStorageType() {
+    const common = () => new Map([
+        ["get", namedIntrinsic("storage.get", ["key", "target", "fallback", "maxBytes"], [stringType, unknownType, unknownType, numberType], unknownType, 2)],
+        ["set", namedIntrinsic("storage.set", ["key", "value", "maxBytes"], [stringType, unknownType, numberType], nullType, 2)],
+        ["has", namedFunction(["key"], [stringType], boolType)],
+        ["keys", namedFunction([], [], arrayString)],
+        ["remove", namedFunction(["key"], [stringType], nullType)],
+        ["clear", namedFunction([], [], nullType)],
+        ["watch", namedIntrinsic("storage.watch", ["key", "target", "callback", "maxBytes"], [stringType, unknownType, unknownType, numberType], cleanupType, 3)],
+    ]);
+    const scoped = { kind: "object", fields: common() };
+    const fields = common();
+    fields.set("scope", namedFunction(["name"], [stringType], scoped));
+    return { kind: "object", fields };
+}
+const storageType = createStorageType();
+const storageBatchChangeType = object({ key: stringType, bytes: optional(bytesType) });
+const databaseType = object({
+    get: namedIntrinsic("storage.databaseGet", ["key", "target", "fallback", "maxBytes"], [stringType, unknownType, unknownType, numberType], promise(unknownType), 2),
+    set: namedIntrinsic("storage.set", ["key", "value", "maxBytes"], [stringType, unknownType, numberType], promise(nullType), 2),
+    getBytes: namedFunction(["key", "fallback", "maxBytes"], [stringType, optional(bytesType), numberType], promise(optional(bytesType)), 1),
+    setBytes: namedFunction(["key", "value", "maxBytes"], [stringType, bytesType, numberType], promise(nullType), 2),
+    batch: namedFunction(["changes"], [{ kind: "list", element: storageBatchChangeType }], promise(nullType)),
+    has: namedFunction(["key"], [stringType], promise(boolType)),
+    keys: namedFunction([], [], promise(arrayString)),
+    remove: namedFunction(["key"], [stringType], promise(nullType)),
+    clear: namedFunction([], [], promise(nullType)),
+});
+const storageQuotaErrorIdentity = "velar/storage#class:StorageQuotaError";
+const storageTransactionErrorIdentity = "velar/storage#class:StorageTransactionError";
+const storageUpgradeErrorIdentity = "velar/storage#class:StorageUpgradeError";
+function storageErrorClass(identity) {
+    return {
+        identity, parameters: [stringType], parameterNames: ["message"], requiredParameters: 0,
+        base: "Error", abstract: false, fields: new Map(), getters: new Set(), abstractGetters: new Set(),
+        methods: new Map(), abstractMethods: new Set(), staticFields: new Map(), staticGetters: new Set(), staticMethods: new Map(),
+    };
+}
+export const velarStorageModuleEntry = ["velar/storage", moduleInterface(new Map([
+        ["storage", storageType],
+        ["session", storageType],
+        ["database", namedFunction(["name"], [stringType], databaseType)],
+        ["StorageQuotaError", { kind: "classConstructor", name: "StorageQuotaError", identity: storageQuotaErrorIdentity }],
+        ["StorageTransactionError", { kind: "classConstructor", name: "StorageTransactionError", identity: storageTransactionErrorIdentity }],
+        ["StorageUpgradeError", { kind: "classConstructor", name: "StorageUpgradeError", identity: storageUpgradeErrorIdentity }],
+    ]), new Map([
+        ["StorageQuotaError", storageErrorClass(storageQuotaErrorIdentity)],
+        ["StorageTransactionError", storageErrorClass(storageTransactionErrorIdentity)],
+        ["StorageUpgradeError", storageErrorClass(storageUpgradeErrorIdentity)],
+    ]))];
+//# sourceMappingURL=storage.js.map

package/dist/modules/storage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage.js","sourceRoot":"","sources":["../../src/modules/storage.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,IAAI,QAAQ,EAAwD,MAAM,uBAAuB,CAAC;AACrH,OAAO,EACL,WAAW,EACX,QAAQ,EACR,SAAS,EACT,WAAW,EACX,eAAe,EACf,aAAa,EACb,cAAc,EACd,QAAQ,EACR,UAAU,EACV,MAAM,EACN,OAAO,EACP,UAAU,EACV,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,SAAS,iBAAiB;IACxB,MAAM,MAAM,GAAG,GAA2B,EAAE,CAAC,IAAI,GAAG,CAAC;QACnD,CAAC,KAAK,EAAE,cAAc,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QACrJ,CAAC,KAAK,EAAE,cAAc,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QACxH,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;QAC5C,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC1D,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC1C,CAAC,OAAO,EAAE,cAAc,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;KAC1J,CAAC,CAAC;IACH,MAAM,MAAM,GAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;IAC/D,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC;IACxB,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,WAAW,GAAG,iBAAiB,EAAE,CAAC;AACxC,MAAM,sBAAsB,GAAG,MAAM,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;AACvF,MAAM,YAAY,GAAG,MAAM,CAAC;IAC1B,GAAG,EAAE,cAAc,CAAC,qBAAqB,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IAClK,GAAG,EAAE,cAAc,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC7H,QAAQ,EAAE,aAAa,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;IACxI,QAAQ,EAAE,aAAa,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAChH,KAAK,EAAE,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzG,GAAG,EAAE,aAAa,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,EAAE,aAAa,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC/D,KAAK,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;CAChD,CAAC,CAAC;AACH,MAAM,yBAAyB,GAAG,uCAAuC,CAAC;AAC1E,MAAM,+BAA+B,GAAG,6CAA6C,CAAC;AACtF,MAAM,2BAA2B,GAAG,yCAAyC,CAAC;AAC9E,SAAS,iBAAiB,CAAC,QAAgB;IACzC,OAAO;QACL,QAAQ,EAAE,UAAU,EAAE,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,CAAC,SAAS,CAAC,EAAE,kBAAkB,EAAE,CAAC;QACtF,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,GAAG,EAAE;QACjG,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,GAAG,EAAE,EAAE,YAAY,EAAE,IAAI,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,GAAG,EAAE;KAC5H,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAuC,CAAC,eAAe,EAAE,eAAe,CAAC,IAAI,GAAG,CAAC;QACnH,CAAC,SAAS,EAAE,WAAW,CAAC;QACxB,CAAC,SAAS,EAAE,WAAW,CAAC;QACxB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC,CAAC;QACjE,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,yBAAyB,EAAE,CAAC;QACnH,CAAC,yBAAyB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,yBAAyB,EAAE,QAAQ,EAAE,+BAA+B,EAAE,CAAC;QACrI,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,2BAA2B,EAAE,CAAC;KAC1H,CAAC,EAAE,IAAI,GAAG,CAAC;QACV,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,yBAAyB,CAAC,CAAC;QACnE,CAAC,yBAAyB,EAAE,iBAAiB,CAAC,+BAA+B,CAAC,CAAC;QAC/E,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,2BAA2B,CAAC,CAAC;KACxE,CAAC,CAAC,CAAC,CAAC"}

package/dist/modules/types.d.ts

@@ -0,0 +1,78 @@
+/**
+ * The type vocabulary every `velar/*` table in `modules/` is written in.
+ *
+ * D115 §三, the shape `packages/core/src/interfaces/` and `packages/node/src/modules/`
+ * already have: the primitive `ValueType` singletons, the constructors a Web
+ * export is built with, and the `ModuleInterface` constructor that fills in the
+ * fields a Web module never uses. What one surface alone owns lives in that
+ * surface's file.
+ */
+import { type ClassInfo, type EnumInfo, type ModuleInterface, type ValueType } from "@velarscript/compiler";
+import type { Expression } from "@velarscript/compiler/extension";
+export declare const bytesType: ValueType;
+export declare const nullType: ValueType;
+export declare const stringType: ValueType;
+export declare const numberType: ValueType;
+export declare const boolType: ValueType;
+export declare const nodeType: ValueType;
+export declare const elementType: ValueType;
+export declare const inputElementType: ValueType;
+export declare const textAreaElementType: ValueType;
+export declare const canvasElementType: ValueType;
+export declare const dialogElementType: ValueType;
+export declare const blobType: ValueType;
+export declare const lengthType: ValueType;
+export declare const percentageType: ValueType;
+export declare const lengthPercentageType: ValueType;
+export declare const trackFractionType: ValueType;
+export declare const colorType: ValueType;
+export declare const colorInputType: ValueType;
+export declare const borderType: ValueType;
+export declare const shadowType: ValueType;
+export declare const filterType: ValueType;
+export declare const imageType: ValueType;
+export declare const trackType: ValueType;
+export declare const trackListType: ValueType;
+/**
+ * Native JSX construction preserves the order and count of a collection
+ * projection. Attribute and child holes still have to pass Core's stability
+ * proof; event arrows are inert values here and run only after dispatch.
+ * Components, custom elements, refs, and bindings keep the explicit loop
+ * because their setup can execute user code or write through a binding.
+ */
+export declare function webCanonicalCollectionProjection(expression: Expression, pure: (expression: Expression) => boolean): boolean | undefined;
+export declare const transitionType: ValueType;
+export declare const keyframesType: ValueType;
+export declare const animationType: ValueType;
+export declare const durationType: ValueType;
+export declare const angleType: ValueType;
+export declare const spacingType: ValueType;
+export declare const mountTargetType: ValueType;
+export declare const lookScalarType: ValueType;
+export declare const trackInputType: ValueType;
+export declare const repeatCountType: ValueType;
+export declare function namedFunction(parameterNames: readonly string[], parameters: readonly ValueType[], result: ValueType, requiredParameters?: number): ValueType;
+/**
+ * A velar/look builder's published type, with its parameter names and required
+ * count read from LOOK_BUILDER_SIGNATURES rather than repeated here. The static
+ * keyframe lowering places named arguments from that same table, so the two
+ * cannot disagree about what `spread=0px` means.
+ */
+export declare function lookBuilder(name: string, parameters: readonly ValueType[], rest?: ValueType): ValueType;
+export declare const unknownType: ValueType;
+export declare function functionType(parameters: readonly ValueType[], result: ValueType, requiredParameters?: number): ValueType;
+export declare function namedIntrinsic(name: string, parameterNames: readonly string[], parameters: readonly ValueType[], result: ValueType, requiredParameters?: number): ValueType;
+export declare function promise(value: ValueType): ValueType;
+export declare function object(fields: Readonly<Record<string, ValueType>>): ValueType;
+/** A structurally declared standard capability handle; see ValueType.capabilityHandle. */
+export declare function capabilityHandle(fields: Readonly<Record<string, ValueType>>): ValueType;
+export declare const errorType: ValueType;
+export declare const cleanupType: ValueType;
+export declare const arrayString: ValueType;
+export declare const arrayNumber: ValueType;
+export declare const mapString: (value: ValueType) => ValueType;
+export declare const webElementType: ValueType;
+export declare const fileType: ValueType;
+export declare const fileArrayType: ValueType;
+export declare function moduleInterface(exports: ReadonlyMap<string, ValueType>, classes?: ReadonlyMap<string, ClassInfo>, namedTypes?: ReadonlyMap<string, ReadonlyMap<string, ValueType>>, namedTypeIdentities?: ReadonlyMap<string, string>, enums?: ReadonlyMap<string, EnumInfo>, namedTypeReadonlyFields?: ReadonlyMap<string, ReadonlySet<string>>, genericTypes?: NonNullable<ModuleInterface["genericTypes"]>): ModuleInterface;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/modules/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,KAAK,eAAe,EAAE,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAC5G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAMlE,eAAO,MAAM,SAAS,EAAE,SAAiF,CAAC;AAE1G,eAAO,MAAM,QAAQ,EAAE,SAA4B,CAAC;AACpD,eAAO,MAAM,UAAU,EAAE,SAA8B,CAAC;AACxD,eAAO,MAAM,UAAU,EAAE,SAA8B,CAAC;AACxD,eAAO,MAAM,QAAQ,EAAE,SAA4B,CAAC;AACpD,eAAO,MAAM,QAAQ,EAAE,SAAuB,CAAC;AAC/C,eAAO,MAAM,WAAW,EAAE,SAA8C,CAAC;AACzE,eAAO,MAAM,gBAAgB,EAAE,SAAmD,CAAC;AACnF,eAAO,MAAM,mBAAmB,EAAE,SAAsD,CAAC;AACzF,eAAO,MAAM,iBAAiB,EAAE,SAAoD,CAAC;AACrF,eAAO,MAAM,iBAAiB,EAAE,SAAoD,CAAC;AACrF,eAAO,MAAM,QAAQ,EAAE,SAA2C,CAAC;AACnE,eAAO,MAAM,UAAU,EAAE,SAA6C,CAAC;AACvE,eAAO,MAAM,cAAc,EAAE,SAAiD,CAAC;AAC/E,eAAO,MAAM,oBAAoB,EAAE,SAAuD,CAAC;AAC3F,eAAO,MAAM,iBAAiB,EAAE,SAAoD,CAAC;AACrF,eAAO,MAAM,SAAS,EAAE,SAA4C,CAAC;AACrE,eAAO,MAAM,cAAc,EAAE,SAAqB,CAAC;AACnD,eAAO,MAAM,UAAU,EAAE,SAA6C,CAAC;AACvE,eAAO,MAAM,UAAU,EAAE,SAA6C,CAAC;AACvE,eAAO,MAAM,UAAU,EAAE,SAA6C,CAAC;AACvE,eAAO,MAAM,SAAS,EAAE,SAA4C,CAAC;AACrE,eAAO,MAAM,SAAS,EAAE,SAA4C,CAAC;AACrE,eAAO,MAAM,aAAa,EAAE,SAAgD,CAAC;AAE7E;;;;;;GAMG;AACH,wBAAgB,gCAAgC,CAC9C,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,KAAK,OAAO,GACxC,OAAO,GAAG,SAAS,CAkBrB;AACD,eAAO,MAAM,cAAc,EAAE,SAAiD,CAAC;AAC/E,eAAO,MAAM,aAAa,EAAE,SAAgD,CAAC;AAC7E,eAAO,MAAM,aAAa,EAAE,SAAgD,CAAC;AAC7E,eAAO,MAAM,YAAY,EAAE,SAA+C,CAAC;AAC3E,eAAO,MAAM,SAAS,EAAE,SAA4C,CAAC;AACrE,eAAO,MAAM,WAAW,EAAE,SAA8C,CAAC;AACzE,eAAO,MAAM,eAAe,EAAE,SAAiE,CAAC;AAChG,eAAO,MAAM,cAAc,EAAE,SAAkH,CAAC;AAChJ,eAAO,MAAM,cAAc,EAAE,SAA+J,CAAC;AAC7L,eAAO,MAAM,eAAe,EAAE,SAAgE,CAAC;AAgB/F,wBAAgB,aAAa,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,EAAE,UAAU,EAAE,SAAS,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,kBAAkB,SAAoB,GAAG,SAAS,CAEvK;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,SAAS,EAAE,EAAE,IAAI,CAAC,EAAE,SAAS,GAAG,SAAS,CAiBvG;AAED,eAAO,MAAM,WAAW,EAAE,SAA+B,CAAC;AAE1D,wBAAgB,YAAY,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,kBAAkB,SAAoB,GAAG,SAAS,CAEnI;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,SAAS,MAAM,EAAE,EAAE,UAAU,EAAE,SAAS,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,kBAAkB,SAAoB,GAAG,SAAS,CAEtL;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,CAEnD;AAED,wBAAgB,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,SAAS,CAE7E;AAED,0FAA0F;AAC1F,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,SAAS,CAEvF;AAED,eAAO,MAAM,SAAS,EAAE,SAA4C,CAAC;AACrE,eAAO,MAAM,WAAW,WAAkC,CAAC;AAC3D,eAAO,MAAM,WAAW,EAAE,SAAiD,CAAC;AAC5E,eAAO,MAAM,WAAW,EAAE,SAAiD,CAAC;AAC5E,eAAO,MAAM,SAAS,UAAW,SAAS,KAAG,SAAsD,CAAC;AACpG,eAAO,MAAM,cAAc,EAAE,SAA6G,CAAC;AAC3I,eAAO,MAAM,QAAQ,EAAE,SAA2C,CAAC;AACnE,eAAO,MAAM,aAAa,EAAE,SAA+C,CAAC;AAE5E,wBAAgB,eAAe,CAC7B,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,EACvC,OAAO,GAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAa,EACnD,UAAU,GAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAa,EAC3E,mBAAmB,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,EAC5D,KAAK,GAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAa,EAChD,uBAAuB,GAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAa,EAC7E,YAAY,GAAE,WAAW,CAAC,eAAe,CAAC,cAAc,CAAC,CAAa,GACrE,eAAe,CAEjB"}