@reventlessdev/reventless-spec 3.0.0-alpha.136 → 3.0.0-alpha.137

package/CHANGELOG.md

@@ -3,6 +3,16 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 3.0.0-alpha.137 (2026-09-20)
+
+### Bug Fixes
+
+* **spec:** resolve the drift guard's paths from the module, not the cwd ([7f4d8de](https://github.com/ReventlessDev/reventless-core/commit/7f4d8de896f37ce4a855ecc6a980788f01d0e1c7))
+### Features
+
+* **spec:** enumerate the transparent-string semantics, and check the list against the sources ([995c31c](https://github.com/ReventlessDev/reventless-core/commit/995c31c5eb1a9bdb2ad88d39b2b9a8a5348be0da))
+
+
 # 3.0.0-alpha.136 (2026-09-16)
 
 ### Bug Fixes

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-spec",
-  "version": "3.0.0-alpha.136",
+  "version": "3.0.0-alpha.137",
   "description": "Specifications for Reventless",
   "license": "Apache-2.0",
   "bin": {

package/src/semantic/Semantic.res

@@ -113,6 +113,50 @@ module Id = {
   let geolocation = "geolocation"
 }
 
+/** One transparent-string semantic: a `semantic/` module whose `type t` is a
+    bare `string`. */
+type brandedString = {
+  moduleName: string,
+  /** The `Id` values of this module carry. Not derivable from the module name —
+      `CalendarDate` carries `date`. */
+  id: string,
+  /** Whether the module exposes the `let schema` that sury-ppx resolves `X.t`
+      to by convention. The `false`s build theirs from a function taking
+      arguments (`forStore` / `forField` / `forCollection`), so such a field
+      always carries an explicit `@s.matches` and there is no name a pass could
+      derive. Offering one as a plain type pick emits code that does not
+      compile. */
+  hasDerivableSchema: bool,
+}
+
+/** Every transparent-string semantic, so a consumer can ask what they are
+    instead of transcribing the set.
+
+    A check written against the literal `string` keyword sees only the brand and
+    refuses the field, which would make declaring a semantic cost the field
+    whatever that check gates — so a pass that must leave these alone needs the
+    set, not a guess. It cannot be guessed from the names: `Money.t` is a record,
+    `Duration.t` an int, `Percent.t` and `Bytes.t` floats, and all four are
+    deliberately absent.
+
+    Both facts here are computable from the sources, and `SemanticBrandedStringsTest`
+    recomputes them rather than trusting this list — so adding a module without
+    adding it here fails, and so does the ppx's copy drifting from either. */
+let brandedStrings: array<brandedString> = [
+  {moduleName: "DateTime", id: Id.dateTime, hasDerivableSchema: true},
+  {moduleName: "CalendarDate", id: Id.date, hasDerivableSchema: true},
+  {moduleName: "Email", id: Id.email, hasDerivableSchema: true},
+  {moduleName: "Phone", id: Id.phone, hasDerivableSchema: true},
+  {moduleName: "Url", id: Id.url, hasDerivableSchema: true},
+  {moduleName: "Color", id: Id.color, hasDerivableSchema: true},
+  {moduleName: "FileRef", id: Id.fileRef, hasDerivableSchema: true},
+  {moduleName: "ImageRef", id: Id.imageRef, hasDerivableSchema: true},
+  {moduleName: "MemberRef", id: Id.memberRef, hasDerivableSchema: false},
+  {moduleName: "StorageRef", id: Id.storageRef, hasDerivableSchema: false},
+  {moduleName: "UploadableFile", id: Id.uploadableFile, hasDerivableSchema: false},
+  {moduleName: "UploadableImage", id: Id.uploadableImage, hasDerivableSchema: false},
+]
+
 let semanticId: S.Metadata.Id.t<t> = S.Metadata.Id.make(~namespace="reventless", ~name="semantic")
 
 /** Mark a schema as carrying a semantic. */

package/src/semantic/Semantic.res.mjs

@@ -4,25 +4,49 @@ import * as S from "sury/src/S.res.mjs";
 import * as Sury from "sury";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 
+let dateTime = "dateTime";
+
+let date = "date";
+
+let storageRef = "storageRef";
+
+let uploadableImage = "uploadableImage";
+
+let uploadableFile = "uploadableFile";
+
+let imageRef = "imageRef";
+
+let fileRef = "fileRef";
+
+let memberRef = "memberRef";
+
+let email = "email";
+
+let phone = "phone";
+
+let url = "url";
+
+let color = "color";
+
 let Id = {
-  dateTime: "dateTime",
-  date: "date",
+  dateTime: dateTime,
+  date: date,
   reference: "reference",
-  storageRef: "storageRef",
+  storageRef: storageRef,
   offload: "offload",
-  uploadableImage: "uploadableImage",
-  uploadableFile: "uploadableFile",
-  imageRef: "imageRef",
-  fileRef: "fileRef",
+  uploadableImage: uploadableImage,
+  uploadableFile: uploadableFile,
+  imageRef: imageRef,
+  fileRef: fileRef,
   captionedImage: "captionedImage",
-  memberRef: "memberRef",
-  email: "email",
-  phone: "phone",
-  url: "url",
+  memberRef: memberRef,
+  email: email,
+  phone: phone,
+  url: url,
   percent: "percent",
   bytes: "bytes",
   duration: "duration",
-  color: "color",
+  color: color,
   money: "money",
   dateRange: "dateRange",
   geoPoint: "geoPoint",
@@ -30,6 +54,69 @@ let Id = {
   geolocation: "geolocation"
 };
 
+let brandedStrings = [
+  {
+    moduleName: "DateTime",
+    id: dateTime,
+    hasDerivableSchema: true
+  },
+  {
+    moduleName: "CalendarDate",
+    id: date,
+    hasDerivableSchema: true
+  },
+  {
+    moduleName: "Email",
+    id: email,
+    hasDerivableSchema: true
+  },
+  {
+    moduleName: "Phone",
+    id: phone,
+    hasDerivableSchema: true
+  },
+  {
+    moduleName: "Url",
+    id: url,
+    hasDerivableSchema: true
+  },
+  {
+    moduleName: "Color",
+    id: color,
+    hasDerivableSchema: true
+  },
+  {
+    moduleName: "FileRef",
+    id: fileRef,
+    hasDerivableSchema: true
+  },
+  {
+    moduleName: "ImageRef",
+    id: imageRef,
+    hasDerivableSchema: true
+  },
+  {
+    moduleName: "MemberRef",
+    id: memberRef,
+    hasDerivableSchema: false
+  },
+  {
+    moduleName: "StorageRef",
+    id: storageRef,
+    hasDerivableSchema: false
+  },
+  {
+    moduleName: "UploadableFile",
+    id: uploadableFile,
+    hasDerivableSchema: false
+  },
+  {
+    moduleName: "UploadableImage",
+    id: uploadableImage,
+    hasDerivableSchema: false
+  }
+];
+
 let semanticId = Sury.$Metadata_Id_make("reventless", "semantic");
 
 function mark(schema, id, payloadOpt) {
@@ -129,6 +216,7 @@ function has(fieldSchema, id) {
 
 export {
   Id,
+  brandedStrings,
   semanticId,
   mark,
   refined,