@maravilla-labs/types 0.5.1 → 0.7.0

package/package.json

@@ -1,12 +1,13 @@
 {
   "name": "@maravilla-labs/types",
-  "version": "0.5.1",
+  "version": "0.7.0",
   "description": "TypeScript definitions for Maravilla Runtime platform APIs",
   "main": "index.ts",
   "types": "index.ts",
   "scripts": {
     "build": "tsc",
-    "typecheck": "tsc --noEmit"
+    "typecheck": "tsc --noEmit",
+    "typecheck:test-d": "tsc --noEmit -p tsconfig.test.json"
   },
   "keywords": [
     "maravilla",

package/tsconfig.test.json

@@ -0,0 +1,10 @@
+{
+  "compilerOptions": {
+    "noEmit": true,
+    "strict": true,
+    "target": "ES2022",
+    "module": "ESNext",
+    "moduleResolution": "bundler"
+  },
+  "include": ["index.ts", "types.test-d.ts"]
+}

package/types.test-d.ts

@@ -0,0 +1,46 @@
+/**
+ * Type-level checks for the canonical `@maravilla-labs/types` surface.
+ * Verified by `tsc --noEmit -p tsconfig.test.json` — no runtime asserts.
+ *
+ *   - `Platform['auth']` is exactly the canonical `AuthService`.
+ *   - `DbCollection.find<T>` / `findOne<T>` return `DbDocument<T>`.
+ *   - `insertOne` returns a `string`, NOT a `DbDocument` (@ts-expect-error).
+ */
+
+import type { Platform, AuthService, DbDocument, DbCollection } from './index.js';
+
+// BUG-8: the ambient platform auth surface IS the canonical AuthService.
+const _auth: AuthService = {} as Platform['auth'];
+const _authBack: Platform['auth'] = {} as AuthService;
+void _auth;
+void _authBack;
+
+// DbDocument<T> round-trip.
+interface Note {
+  body: string;
+}
+declare const note: DbDocument<Note>;
+const _body: string = note.body;
+const _id: string = note.id;
+const _underId: string = note._id;
+void _body;
+void _id;
+void _underId;
+
+// Collection generics.
+declare const col: DbCollection;
+async function check() {
+  const rows = await col.find<Note>({});
+  const _row: DbDocument<Note> = rows[0];
+  const _rowBody: string = rows[0].body;
+  void _row;
+  void _rowBody;
+
+  const id = await col.insertOne({ body: 'x' });
+  const _s: string = id;
+  void _s;
+  // @ts-expect-error insertOne resolves to a string id, never a DbDocument
+  const _bad: DbDocument<Note> = id;
+  void _bad;
+}
+void check;