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

package/src/semantic/Capabilities.res

@@ -27,6 +27,15 @@ type t = {
   /** Send a message to a person, and say which channels this deployment can
       attempt at all. See `Messaging.provider`. */
   messaging: Messaging.provider,
+  /** Make, group and unmake principals, and say which of those this
+      deployment's provider can do at all. Administrative only — authenticating
+      one is `Auth_Adapter.Provider`'s. See `IdentityProvider.t`. */
+  identityProvider: IdentityProvider.t,
+  /** Unguessable material and a one-way function over it. Injected rather than
+      imported so a test can pin the secret a flow is about to use — a suite
+      cannot assert what a flow does with a value it cannot predict. See
+      `Secrets.t`. */
+  secrets: Secrets.t,
 }
 
 /**
@@ -50,10 +59,16 @@ let none: t = {
   // `UnsupportedChannel` because a caller that got this far is looking at a
   // deployment gap, not at a fact about the recipient, and abandoning the message
   // would record the second.
-  messaging: {
-    channels: [],
-    send: async (~recipient as _, ~message as _) => Error(
-      Unavailable("no messaging provider is configured for this platform"),
-    ),
-  },
+  messaging: Messaging.makeProvider(~emailAndSms=[], ~pushServices=[], ~send=async (
+    ~recipient as _,
+    ~message as _,
+  ) => Error(Unavailable("no messaging provider is configured for this platform"))),
+  identityProvider: IdentityProvider.unavailable(
+    ~reason="no identity provider is configured for this platform",
+  ),
+  // Refusing rather than falling back to a weak source. Every runtime has a
+  // cryptographic one, so a platform reaching this arm has skipped wiring rather
+  // than declined to provision — and a guessable token would be accepted
+  // everywhere while looking exactly like a real one.
+  secrets: Secrets.unavailable(~reason="no secret source is configured for this platform"),
 }

package/src/semantic/Capabilities.res.mjs

@@ -1,5 +1,8 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as Secrets$Reventless from "./Secrets.res.mjs";
+import * as Messaging$Reventless from "./Messaging.res.mjs";
+import * as IdentityProvider$Reventless from "./IdentityProvider.res.mjs";
 
 async function none_geocode(param) {
   return {
@@ -11,23 +14,26 @@ async function none_geocode(param) {
   };
 }
 
-let none_messaging = {
-  channels: [],
-  send: async (param, param$1) => ({
-    TAG: "Error",
-    _0: {
-      TAG: "Unavailable",
-      _0: "no messaging provider is configured for this platform"
-    }
-  })
-};
+let none_messaging = Messaging$Reventless.makeProvider([], [], async (param, param$1) => ({
+  TAG: "Error",
+  _0: {
+    TAG: "Unavailable",
+    _0: "no messaging provider is configured for this platform"
+  }
+}));
+
+let none_identityProvider = IdentityProvider$Reventless.unavailable("no identity provider is configured for this platform");
+
+let none_secrets = Secrets$Reventless.unavailable("no secret source is configured for this platform");
 
 let none = {
   geocode: none_geocode,
-  messaging: none_messaging
+  messaging: none_messaging,
+  identityProvider: none_identityProvider,
+  secrets: none_secrets
 };
 
 export {
   none,
 }
-/* No side effect */
+/* none Not a pure module */

package/src/semantic/CapabilityNeed.res

@@ -18,12 +18,22 @@ rather than a string a README repeats.
 */
 type t =
   | Geocoding
-  | /** Sending a message to a person, reached through `Capabilities.messaging`.
+  /** Sending a message to a person, reached through `Capabilities.messaging`.
         One need however many channels the platform provisions — which channels
         those are is a runtime answer the provider publishes, not a second
         declaration, because a plugin that named `Sms` would fail a deploy it
         could have run on email. */
-  Messaging
+  | Messaging
+  /** Making, grouping and unmaking principals, reached through
+        `Capabilities.identityProvider`. No payload, for the reason `Geocoding`
+        has none: one identity provider per deployment is a real answer, and a
+        deployment wanting a second pool is the `{alternatives, min}` question
+        `Messaging` already answers by publishing what it provisioned.
+
+        Not authentication. Token issuance and session handling are
+        `Auth_Adapter.Provider`'s, read at a different time — two seams over one
+        provider, the way this type and `Capabilities.t` are already two. */
+  | IdentityProvider
 
 /** The spelling carried in `pluginStructure` and in `capabilities.json`.
     Persisted structures hold strings, not enum members, so a plugin built
@@ -32,6 +42,7 @@ let toString = (need: t): string =>
   switch need {
   | Geocoding => "Geocoding"
   | Messaging => "Messaging"
+  | IdentityProvider => "IdentityProvider"
   }
 
 /** The inverse, for readers of a persisted structure or a committed manifest.
@@ -41,6 +52,7 @@ let fromString = (name: string): option<t> =>
   switch name {
   | "Geocoding" => Some(Geocoding)
   | "Messaging" => Some(Messaging)
+  | "IdentityProvider" => Some(IdentityProvider)
   | _ => None
   }
 
@@ -62,7 +74,7 @@ unprovisioned capability it never named degrades exactly as it always has, which
 is the modelled outcome for a deployment that simply does not have one.
 */
 let unmet = (~declared: array<(string, string)>, ~provisioned: array<t>): array<unmet> =>
-  declared->Array.filterMap((((capability, component))) =>
+  declared->Array.filterMap(((capability, component)) =>
     switch fromString(capability) {
     | Some(need) if !(provisioned->Array.includes(need)) => Some({need, component})
     | _ => None
@@ -77,5 +89,4 @@ let unmetMessage = (unmet: array<unmet>): string =>
     ->Array.map(u => `${toString(u.need)} (${u.component})`)
     ->Array.join(", ")}.\n` ++
   `  Provision them in the platform stack and redeploy the platform first.\n` ++
-  `  Without it every call answers Unavailable, the slice exhausts its retries, and a ` ++
-  `permanent verdict is recorded against data that is fine — no error anywhere.`
+  `  Without it every call answers Unavailable, the slice exhausts its retries, and a ` ++ `permanent verdict is recorded against data that is fine — no error anywhere.`

package/src/semantic/CapabilityNeed.res.mjs

@@ -3,10 +3,13 @@
 import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
 
 function toString(need) {
-  if (need === "Geocoding") {
-    return "Geocoding";
-  } else {
-    return "Messaging";
+  switch (need) {
+    case "Geocoding" :
+      return "Geocoding";
+    case "Messaging" :
+      return "Messaging";
+    case "IdentityProvider" :
+      return "IdentityProvider";
   }
 }
 
@@ -14,6 +17,8 @@ function fromString(name) {
   switch (name) {
     case "Geocoding" :
       return "Geocoding";
+    case "IdentityProvider" :
+      return "IdentityProvider";
     case "Messaging" :
       return "Messaging";
     default:

package/src/semantic/CaptionedImage.res

@@ -59,7 +59,6 @@ value depicts, not in how a reference to it is written. It would carry no
 }
 ```
 */
-
 /** The record itself. No `@schema`: the derived schema would have to name a
     store, and the store is the host field's — so `forField` is the only way to
     a schema, and a field the ppx did not reach fails to compile rather than

package/src/semantic/Color.res

@@ -26,7 +26,6 @@ full triplet, and the triplet with alpha. Case is not significant.
     })
 ```
 */
-
 /** The colour's representation. Transparent `string`; see `Email.t`. */
 type t = string
 

package/src/semantic/Currency.res

@@ -47,182 +47,201 @@ a checked type in the domain.
 */
 @schema
 type t =
-  | /** Australian Dollar */ AUD
-  | /** Canadian Dollar */ CAD
-  | /** Swiss Franc */ CHF
-  | /** Yuan Renminbi */ CNY
-  | /** Euro */ EUR
-  | /** Pound Sterling */ GBP
-  | /** Yen */ JPY
-  | /** Norwegian Krone */ NOK
-  | /** Swedish Krona */ SEK
-  | /** US Dollar */ USD
+  /** Australian Dollar */
+  | AUD
+  /** Canadian Dollar */
+  | CAD
+  /** Swiss Franc */
+  | CHF
+  /** Yuan Renminbi */
+  | CNY
+  /** Euro */
+  | EUR
+  /** Pound Sterling */
+  | GBP
+  /** Yen */
+  | JPY
+  /** Norwegian Krone */
+  | NOK
+  /** Swedish Krona */
+  | SEK
+  /** US Dollar */
+  | USD
 
-  // ── Dormant ─────────────────────────────────────────────────────────────
-  // The rest of ISO 4217, kept for the day one of them is needed. Uncomment
-  // the code here and in the other three blocks — or add it to `active` in
-  // scripts/GenerateCurrency.res and regenerate — to admit it.
-  // | /** UAE Dirham */ AED
-  // | /** Afghani */ AFN
-  // | /** Lek */ ALL
-  // | /** Armenian Dram */ AMD
-  // | /** Kwanza */ AOA
-  // | /** Argentine Peso */ ARS
-  // | /** Aruban Florin */ AWG
-  // | /** Azerbaijan Manat */ AZN
-  // | /** Convertible Mark */ BAM
-  // | /** Barbados Dollar */ BBD
-  // | /** Taka */ BDT
-  // | /** Bahraini Dinar */ BHD
-  // | /** Burundi Franc */ BIF
-  // | /** Bermudian Dollar */ BMD
-  // | /** Brunei Dollar */ BND
-  // | /** Boliviano */ BOB
-  // | /** BOV */ BOV
-  // | /** Brazilian Real */ BRL
-  // | /** Bahamian Dollar */ BSD
-  // | /** Ngultrum */ BTN
-  // | /** Pula */ BWP
-  // | /** Belarusian Ruble */ BYN
-  // | /** Belize Dollar */ BZD
-  // | /** Congolese Franc */ CDF
-  // | /** CHE */ CHE
-  // | /** CHW */ CHW
-  // | /** CLF */ CLF
-  // | /** Chilean Peso */ CLP
-  // | /** Colombian Peso */ COP
-  // | /** COU */ COU
-  // | /** Costa Rican Colon */ CRC
-  // | /** Cuban Peso */ CUP
-  // | /** Cabo Verde Escudo */ CVE
-  // | /** Czech Koruna */ CZK
-  // | /** Djibouti Franc */ DJF
-  // | /** Danish Krone */ DKK
-  // | /** Dominican Peso */ DOP
-  // | /** Algerian Dinar */ DZD
-  // | /** Egyptian Pound */ EGP
-  // | /** Nakfa */ ERN
-  // | /** Ethiopian Birr */ ETB
-  // | /** Fiji Dollar */ FJD
-  // | /** Falkland Islands Pound */ FKP
-  // | /** Lari */ GEL
-  // | /** Ghana Cedi */ GHS
-  // | /** Gibraltar Pound */ GIP
-  // | /** Dalasi */ GMD
-  // | /** Guinean Franc */ GNF
-  // | /** Quetzal */ GTQ
-  // | /** Guyana Dollar */ GYD
-  // | /** Hong Kong Dollar */ HKD
-  // | /** Lempira */ HNL
-  // | /** Gourde */ HTG
-  // | /** Forint */ HUF
-  // | /** Rupiah */ IDR
-  // | /** New Israeli Sheqel */ ILS
-  // | /** Indian Rupee */ INR
-  // | /** Iraqi Dinar */ IQD
-  // | /** Iranian Rial */ IRR
-  // | /** Iceland Krona */ ISK
-  // | /** Jamaican Dollar */ JMD
-  // | /** Jordanian Dinar */ JOD
-  // | /** Kenyan Shilling */ KES
-  // | /** Som */ KGS
-  // | /** Riel */ KHR
-  // | /** Comorian Franc */ KMF
-  // | /** North Korean Won */ KPW
-  // | /** Won */ KRW
-  // | /** Kuwaiti Dinar */ KWD
-  // | /** Cayman Islands Dollar */ KYD
-  // | /** Tenge */ KZT
-  // | /** Lao Kip */ LAK
-  // | /** Lebanese Pound */ LBP
-  // | /** Sri Lanka Rupee */ LKR
-  // | /** Liberian Dollar */ LRD
-  // | /** Loti */ LSL
-  // | /** Libyan Dinar */ LYD
-  // | /** Moroccan Dirham */ MAD
-  // | /** Moldovan Leu */ MDL
-  // | /** Malagasy Ariary */ MGA
-  // | /** Denar */ MKD
-  // | /** Kyat */ MMK
-  // | /** Tugrik */ MNT
-  // | /** Pataca */ MOP
-  // | /** Ouguiya */ MRU
-  // | /** Mauritius Rupee */ MUR
-  // | /** Rufiyaa */ MVR
-  // | /** Malawi Kwacha */ MWK
-  // | /** Mexican Peso */ MXN
-  // | /** MXV */ MXV
-  // | /** Malaysian Ringgit */ MYR
-  // | /** Mozambique Metical */ MZN
-  // | /** Namibia Dollar */ NAD
-  // | /** Naira */ NGN
-  // | /** Cordoba Oro */ NIO
-  // | /** Nepalese Rupee */ NPR
-  // | /** New Zealand Dollar */ NZD
-  // | /** Rial Omani */ OMR
-  // | /** Balboa */ PAB
-  // | /** Sol */ PEN
-  // | /** Kina */ PGK
-  // | /** Philippine Peso */ PHP
-  // | /** Pakistan Rupee */ PKR
-  // | /** Zloty */ PLN
-  // | /** Guarani */ PYG
-  // | /** Qatari Rial */ QAR
-  // | /** Romanian Leu */ RON
-  // | /** Serbian Dinar */ RSD
-  // | /** Russian Ruble */ RUB
-  // | /** Rwanda Franc */ RWF
-  // | /** Saudi Riyal */ SAR
-  // | /** Solomon Islands Dollar */ SBD
-  // | /** Seychelles Rupee */ SCR
-  // | /** Sudanese Pound */ SDG
-  // | /** Singapore Dollar */ SGD
-  // | /** Saint Helena Pound */ SHP
-  // | /** Leone */ SLE
-  // | /** Somali Shilling */ SOS
-  // | /** Surinam Dollar */ SRD
-  // | /** South Sudanese Pound */ SSP
-  // | /** Dobra */ STN
-  // | /** El Salvador Colon */ SVC
-  // | /** Syrian Pound */ SYP
-  // | /** Lilangeni */ SZL
-  // | /** Baht */ THB
-  // | /** Somoni */ TJS
-  // | /** Turkmenistan New Manat */ TMT
-  // | /** Tunisian Dinar */ TND
-  // | /** Pa’anga */ TOP
-  // | /** Turkish Lira */ TRY
-  // | /** Trinidad and Tobago Dollar */ TTD
-  // | /** New Taiwan Dollar */ TWD
-  // | /** Tanzanian Shilling */ TZS
-  // | /** Hryvnia */ UAH
-  // | /** Uganda Shilling */ UGX
-  // | /** USN */ USN
-  // | /** UYI */ UYI
-  // | /** Peso Uruguayo */ UYU
-  // | /** Unidad Previsional */ UYW
-  // | /** Uzbekistan Sum */ UZS
-  // | /** Bolívar Soberano */ VED
-  // | /** Bolívar Soberano */ VES
-  // | /** Dong */ VND
-  // | /** Vatu */ VUV
-  // | /** Tala */ WST
-  // | /** Arab Accounting Dinar */ XAD
-  // | /** CFA Franc BEAC */ XAF
-  // | /** East Caribbean Dollar */ XCD
-  // | /** Caribbean Guilder */ XCG
-  // | /** CFA Franc BCEAO */ XOF
-  // | /** CFP Franc */ XPF
-  // | /** Yemeni Rial */ YER
-  // | /** Rand */ ZAR
-  // | /** Zambian Kwacha */ ZMW
-  // | /** Zimbabwe Gold */ ZWG
+// ── Dormant ─────────────────────────────────────────────────────────────
+// The rest of ISO 4217, kept for the day one of them is needed. Uncomment
+// the code here and in the other three blocks — or add it to `active` in
+// scripts/GenerateCurrency.res and regenerate — to admit it.
+// | /** UAE Dirham */ AED
+// | /** Afghani */ AFN
+// | /** Lek */ ALL
+// | /** Armenian Dram */ AMD
+// | /** Kwanza */ AOA
+// | /** Argentine Peso */ ARS
+// | /** Aruban Florin */ AWG
+// | /** Azerbaijan Manat */ AZN
+// | /** Convertible Mark */ BAM
+// | /** Barbados Dollar */ BBD
+// | /** Taka */ BDT
+// | /** Bahraini Dinar */ BHD
+// | /** Burundi Franc */ BIF
+// | /** Bermudian Dollar */ BMD
+// | /** Brunei Dollar */ BND
+// | /** Boliviano */ BOB
+// | /** BOV */ BOV
+// | /** Brazilian Real */ BRL
+// | /** Bahamian Dollar */ BSD
+// | /** Ngultrum */ BTN
+// | /** Pula */ BWP
+// | /** Belarusian Ruble */ BYN
+// | /** Belize Dollar */ BZD
+// | /** Congolese Franc */ CDF
+// | /** CHE */ CHE
+// | /** CHW */ CHW
+// | /** CLF */ CLF
+// | /** Chilean Peso */ CLP
+// | /** Colombian Peso */ COP
+// | /** COU */ COU
+// | /** Costa Rican Colon */ CRC
+// | /** Cuban Peso */ CUP
+// | /** Cabo Verde Escudo */ CVE
+// | /** Czech Koruna */ CZK
+// | /** Djibouti Franc */ DJF
+// | /** Danish Krone */ DKK
+// | /** Dominican Peso */ DOP
+// | /** Algerian Dinar */ DZD
+// | /** Egyptian Pound */ EGP
+// | /** Nakfa */ ERN
+// | /** Ethiopian Birr */ ETB
+// | /** Fiji Dollar */ FJD
+// | /** Falkland Islands Pound */ FKP
+// | /** Lari */ GEL
+// | /** Ghana Cedi */ GHS
+// | /** Gibraltar Pound */ GIP
+// | /** Dalasi */ GMD
+// | /** Guinean Franc */ GNF
+// | /** Quetzal */ GTQ
+// | /** Guyana Dollar */ GYD
+// | /** Hong Kong Dollar */ HKD
+// | /** Lempira */ HNL
+// | /** Gourde */ HTG
+// | /** Forint */ HUF
+// | /** Rupiah */ IDR
+// | /** New Israeli Sheqel */ ILS
+// | /** Indian Rupee */ INR
+// | /** Iraqi Dinar */ IQD
+// | /** Iranian Rial */ IRR
+// | /** Iceland Krona */ ISK
+// | /** Jamaican Dollar */ JMD
+// | /** Jordanian Dinar */ JOD
+// | /** Kenyan Shilling */ KES
+// | /** Som */ KGS
+// | /** Riel */ KHR
+// | /** Comorian Franc */ KMF
+// | /** North Korean Won */ KPW
+// | /** Won */ KRW
+// | /** Kuwaiti Dinar */ KWD
+// | /** Cayman Islands Dollar */ KYD
+// | /** Tenge */ KZT
+// | /** Lao Kip */ LAK
+// | /** Lebanese Pound */ LBP
+// | /** Sri Lanka Rupee */ LKR
+// | /** Liberian Dollar */ LRD
+// | /** Loti */ LSL
+// | /** Libyan Dinar */ LYD
+// | /** Moroccan Dirham */ MAD
+// | /** Moldovan Leu */ MDL
+// | /** Malagasy Ariary */ MGA
+// | /** Denar */ MKD
+// | /** Kyat */ MMK
+// | /** Tugrik */ MNT
+// | /** Pataca */ MOP
+// | /** Ouguiya */ MRU
+// | /** Mauritius Rupee */ MUR
+// | /** Rufiyaa */ MVR
+// | /** Malawi Kwacha */ MWK
+// | /** Mexican Peso */ MXN
+// | /** MXV */ MXV
+// | /** Malaysian Ringgit */ MYR
+// | /** Mozambique Metical */ MZN
+// | /** Namibia Dollar */ NAD
+// | /** Naira */ NGN
+// | /** Cordoba Oro */ NIO
+// | /** Nepalese Rupee */ NPR
+// | /** New Zealand Dollar */ NZD
+// | /** Rial Omani */ OMR
+// | /** Balboa */ PAB
+// | /** Sol */ PEN
+// | /** Kina */ PGK
+// | /** Philippine Peso */ PHP
+// | /** Pakistan Rupee */ PKR
+// | /** Zloty */ PLN
+// | /** Guarani */ PYG
+// | /** Qatari Rial */ QAR
+// | /** Romanian Leu */ RON
+// | /** Serbian Dinar */ RSD
+// | /** Russian Ruble */ RUB
+// | /** Rwanda Franc */ RWF
+// | /** Saudi Riyal */ SAR
+// | /** Solomon Islands Dollar */ SBD
+// | /** Seychelles Rupee */ SCR
+// | /** Sudanese Pound */ SDG
+// | /** Singapore Dollar */ SGD
+// | /** Saint Helena Pound */ SHP
+// | /** Leone */ SLE
+// | /** Somali Shilling */ SOS
+// | /** Surinam Dollar */ SRD
+// | /** South Sudanese Pound */ SSP
+// | /** Dobra */ STN
+// | /** El Salvador Colon */ SVC
+// | /** Syrian Pound */ SYP
+// | /** Lilangeni */ SZL
+// | /** Baht */ THB
+// | /** Somoni */ TJS
+// | /** Turkmenistan New Manat */ TMT
+// | /** Tunisian Dinar */ TND
+// | /** Pa’anga */ TOP
+// | /** Turkish Lira */ TRY
+// | /** Trinidad and Tobago Dollar */ TTD
+// | /** New Taiwan Dollar */ TWD
+// | /** Tanzanian Shilling */ TZS
+// | /** Hryvnia */ UAH
+// | /** Uganda Shilling */ UGX
+// | /** USN */ USN
+// | /** UYI */ UYI
+// | /** Peso Uruguayo */ UYU
+// | /** Unidad Previsional */ UYW
+// | /** Uzbekistan Sum */ UZS
+// | /** Bolívar Soberano */ VED
+// | /** Bolívar Soberano */ VES
+// | /** Dong */ VND
+// | /** Vatu */ VUV
+// | /** Tala */ WST
+// | /** Arab Accounting Dinar */ XAD
+// | /** CFA Franc BEAC */ XAF
+// | /** East Caribbean Dollar */ XCD
+// | /** Caribbean Guilder */ XCG
+// | /** CFA Franc BCEAO */ XOF
+// | /** CFP Franc */ XPF
+// | /** Yemeni Rial */ YER
+// | /** Rand */ ZAR
+// | /** Zambian Kwacha */ ZMW
+// | /** Zimbabwe Gold */ ZWG
 
 /** Every currency the type admits, in code order. `fromString` is derived from
     this, so a code that parses and a code that exists are the same set by
     construction. */
 let all: array<t> = [
-  AUD, CAD, CHF, CNY, EUR, GBP, JPY, NOK, SEK, USD,
+  AUD,
+  CAD,
+  CHF,
+  CNY,
+  EUR,
+  GBP,
+  JPY,
+  NOK,
+  SEK,
+  USD,
   // AED, AFN, ALL, AMD, AOA, ARS, AWG, AZN, BAM, BBD, BDT, BHD, BIF, BMD, BND, BOB, BOV, BRL,
   // BSD, BTN, BWP, BYN, BZD, CDF, CHE, CHW, CLF, CLP, COP, COU, CRC, CUP, CVE, CZK, DJF, DKK,
   // DOP, DZD, EGP, ERN, ETB, FJD, FKP, GEL, GHS, GIP, GMD, GNF, GTQ, GYD, HKD, HNL, HTG, HUF,

package/src/semantic/DateRange.res

@@ -66,7 +66,6 @@ projection rebuild. It costs a log something only if it *collapses* an existing
 `start*`/`end*` pair, which rewrites the wire shape the way `Money` rewrote
 `price: float`. That collapse belongs to whoever builds the upcaster.
 */
-
 @schema
 type t = {
   /** The instant the range opens, inclusive. */
@@ -83,7 +82,8 @@ type t = {
     Shadows the schema sury-ppx derived from the type above: the derived one is
     the shape, and this adds the marker the shape cannot carry. The ordering rule
     is deliberately *not* refined in here — see the module doc. */
-let schema: S.t<t> = schema->Semantic.mark(~id=Semantic.Id.dateRange)
+let schema: S.t<t> =
+  schema->Semantic.mark(~id=Semantic.Id.dateRange)
 
 /** An instant as milliseconds since the epoch. `DateTime`'s, so end-exclusivity
     and the ordering rule are expressed against the same single parse the type
@@ -101,8 +101,7 @@ that both parse, the earlier one second.
 let validate = (range: t): result<t, string> =>
   millis(range.start) > millis(range.end_)
     ? Error(
-        `a range ends before it starts: ${range.start} is after ${range.end_}. ` ++
-        `A range is [start, end) — the start is the earlier instant.`,
+        `a range ends before it starts: ${range.start} is after ${range.end_}. ` ++ `A range is [start, end) — the start is the earlier instant.`,
       )
     : Ok(range)
 

package/src/semantic/DateTime.res

@@ -38,7 +38,6 @@ type state = {
 }
 ```
 */
-
 /** The instant's representation. Transparent `string`: the marker refines an
     existing field rather than replacing it, so nothing stored changes, and
     `placedAt: meta.time` keeps compiling. */
@@ -55,18 +54,19 @@ let grammar: S.t<string> = S.isoDateTime
 let fromString = (raw: string): result<t, string> =>
   switch raw->S.parseOrThrow(~to=grammar) {
   | value => Ok(value)
-  | exception _ =>
-    Error(`expected a UTC ISO-8601 instant, got ${Semantic.showString(raw)}`)
+  | exception _ => Error(`expected a UTC ISO-8601 instant, got ${Semantic.showString(raw)}`)
   }
 
 /** The sury schema for an instant field. Use with `@s.matches(Reventless.DateTime.schema)`,
     or write the field's type as `Reventless.DateTime.t` and let sury-ppx resolve it. */
-let schema: S.t<t> = S.string->Semantic.refined(~id=Semantic.Id.dateTime, ~check=fromString)
+let schema: S.t<t> =
+  S.string->Semantic.refined(~id=Semantic.Id.dateTime, ~check=fromString)
 
 /** A sury string schema annotated as an instant, without the grammar.
 
     @deprecated Use `schema`, which carries the same marker and checks the value. */
-let string: S.t<string> = S.string->Semantic.mark(~id=Semantic.Id.dateTime)
+let string: S.t<string> =
+  S.string->Semantic.mark(~id=Semantic.Id.dateTime)
 
 /** Whether a field schema carries the date-time marker. */
 let isDateTime = (fieldSchema: S.t<unknown>) => fieldSchema->Semantic.has(~id=Semantic.Id.dateTime)

package/src/semantic/Duration.res

@@ -14,7 +14,6 @@ wire. `int` is safe here — int32 seconds is 68 years.
 }
 ```
 */
-
 /** The duration's representation, in seconds. Transparent `int`. */
 type t = int
 
@@ -31,7 +30,8 @@ let fromInt = (raw: int): result<t, string> =>
 
 /** The sury schema for a duration field, in seconds.
     Use with `@s.matches(Reventless.Duration.schema)`. */
-let schema: S.t<t> = S.int->Semantic.refined(~id=Semantic.Id.duration, ~check=fromInt)
+let schema: S.t<t> =
+  S.int->Semantic.refined(~id=Semantic.Id.duration, ~check=fromInt)
 
 let scales = [(86400, "d"), (3600, "h"), (60, "m"), (1, "s")]
 

package/src/semantic/Email.res

@@ -28,7 +28,6 @@ check can honestly do.
     })
 ```
 */
-
 /** The address's representation. Transparent `string`: the marker refines an
     existing field rather than replacing it, so nothing stored changes. */
 type t = string