@reventlessdev/reventless-spec 3.0.0-alpha.132 → 3.0.0-alpha.133

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 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.133 (2026-09-08)
+
+### Features
+
+* **spec:** a field declares the value a form opens it on ([1d541fe](https://github.com/ReventlessDev/reventless-core/commit/1d541fe497e1df2ff48b72e26a06a1b8fd3c9e06))
+
+
 # 3.0.0-alpha.132 (2026-09-08)
 
 ### Features

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-spec",
-  "version": "3.0.0-alpha.132",
+  "version": "3.0.0-alpha.133",
   "description": "Specifications for Reventless",
   "license": "Apache-2.0",
   "bin": {
@@ -25,7 +25,7 @@
     "sury": "11.0.0-rc.2",
     "sury-ppx": "11.0.0-rc.2",
     "yaml": "^2.8.3",
-    "@reventlessdev/rescript-node": "2.0.0-alpha.9"
+    "@reventlessdev/rescript-node": "2.0.0-alpha.10"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/components/FieldDefault.res

@@ -0,0 +1,54 @@
+/**
+The value a field opens with where nobody has said otherwise, published as JSON
+Schema's own `default` keyword.
+
+A statement about the domain: an order line is for one of the thing unless the
+shopper says two. A consumer that finds no default opens the field blank rather
+than inventing one.
+
+Write `@default(1)` — see `DefaultInference`, which desugars to the constructors
+below. The marker rides on the field's own schema rather than in a record-level
+spec keyed by field name, which is what makes it work at any depth: a record
+nested inside a command carries no such spec, and its fields are the ones a
+repeating group opens blank.
+
+@example
+```rescript
+@schema
+type lineItem = {
+  @ref("AvailableProducts") productId: string,
+  @default(1) quantity: int,
+}
+```
+*/
+let defaultId: S.Metadata.Id.t<JSON.t> = S.Metadata.Id.make(
+  ~namespace="reventless",
+  ~name="default",
+)
+
+/** Layers a default onto whatever the field already resolved to. Wraps rather
+    than replaces, for the reason `Sensitive.mark` does: a field carries at most
+    one `@s.matches`. */
+let mark = (schema: S.t<'a>, value: JSON.t): S.t<'a> =>
+  schema->S.Metadata.set(~id=defaultId, value)
+
+let int = (schema: S.t<int>, value: int): S.t<int> => schema->mark(JSON.Encode.int(value))
+
+let float = (schema: S.t<float>, value: float): S.t<float> =>
+  schema->mark(JSON.Encode.float(value))
+
+let string = (schema: S.t<string>, value: string): S.t<string> =>
+  schema->mark(JSON.Encode.string(value))
+
+let bool = (schema: S.t<bool>, value: bool): S.t<bool> => schema->mark(JSON.Encode.bool(value))
+
+/** The default a field declares. An optional field keeps its marker inside the
+    wrapper sury builds for `f?: t`, so the outer schema is read first and a
+    marker on the wrapper wins — the precedence `Semantic.getFrom` follows. */
+let rec getFrom = (schema: S.t<unknown>): option<JSON.t> =>
+  switch S.Metadata.get(schema, ~id=defaultId) {
+  | Some(_) as found => found
+  | None => schema->Semantic.unwrapOptional->Option.flatMap(getFrom)
+  }
+
+let get = (fieldSchema: S.t<'a>): option<JSON.t> => fieldSchema->S.castToUnknown->getFrom

package/src/components/FieldDefault.res.mjs

@@ -0,0 +1,50 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Sury from "sury";
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Semantic$Reventless from "../semantic/Semantic.res.mjs";
+
+let defaultId = Sury.$Metadata_Id_make("reventless", "default");
+
+function mark(schema, value) {
+  return Sury.$Metadata_set(schema, defaultId, value);
+}
+
+function int(schema, value) {
+  return Sury.$Metadata_set(schema, defaultId, value);
+}
+
+function float(schema, value) {
+  return Sury.$Metadata_set(schema, defaultId, value);
+}
+
+function string(schema, value) {
+  return Sury.$Metadata_set(schema, defaultId, value);
+}
+
+function bool(schema, value) {
+  return Sury.$Metadata_set(schema, defaultId, value);
+}
+
+function getFrom(schema) {
+  let found = Sury.$Metadata_get(schema, defaultId);
+  if (found !== undefined) {
+    return found;
+  } else {
+    return Stdlib_Option.flatMap(Semantic$Reventless.unwrapOptional(schema), getFrom);
+  }
+}
+
+let get = getFrom;
+
+export {
+  defaultId,
+  mark,
+  int,
+  float,
+  string,
+  bool,
+  getFrom,
+  get,
+}
+/* defaultId Not a pure module */