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

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

package/src/semantic/FileRef.res

@@ -14,7 +14,6 @@ the pair exists and what the grammar refuses.
     })
 ```
 */
-
 /** Transparent `string`; see `Email.t`. */
 type t = string
 
@@ -25,4 +24,5 @@ let fromString = (raw: string): result<t, string> => Media_Ref.check(~what="file
 
 /** The sury schema for a file-reference field.
     Use with `@s.matches(Reventless.FileRef.schema)`. */
-let schema: S.t<t> = S.string->Semantic.refined(~id=Semantic.Id.fileRef, ~check=fromString)
+let schema: S.t<t> =
+  S.string->Semantic.refined(~id=Semantic.Id.fileRef, ~check=fromString)

package/src/semantic/GeoPoint.res

@@ -64,7 +64,6 @@ type has, and it is the one most existing coordinate fields are on. It costs a
 log something only if it *collapses* two flattened scalar fields back into one,
 which rewrites that shape.
 */
-
 /**
 Validate a latitude, saying why when it is out of range.
 
@@ -76,8 +75,9 @@ let validateLat = (raw: float): result<float, string> =>
     Error(`a latitude must be a finite number of degrees, got ${Float.toString(raw)}`)
   } else if raw < -90.0 || raw > 90.0 {
     Error(
-      `a latitude runs from -90 to 90 degrees, got ${Float.toString(raw)}. ` ++
-      `A value beyond ±90 is usually a longitude in the latitude's place.`,
+      `a latitude runs from -90 to 90 degrees, got ${Float.toString(
+          raw,
+        )}. ` ++ `A value beyond ±90 is usually a longitude in the latitude's place.`,
     )
   } else {
     Ok(raw)
@@ -99,25 +99,20 @@ let validateLng = (raw: float): result<float, string> =>
     11-alpha miscompiles a refinement wrapping a *record* schema. Refining the
     field is both the honest placement and the one that works. */
 let latSchema: S.t<float> =
-  S.float->S.refine(
-    raw =>
-      switch validateLat(raw) {
-      | Ok(_) => true
-      | Error(_) => false
-      },
-    ~error="expected a latitude in -90…90",
-  )
+  S.float->S.refine(raw =>
+    switch validateLat(raw) {
+    | Ok(_) => true
+    | Error(_) => false
+    }
+  , ~error="expected a latitude in -90…90")
 
 /** The longitude's own schema, for the same reason. */
-let lngSchema: S.t<float> =
-  S.float->S.refine(
-    raw =>
-      switch validateLng(raw) {
-      | Ok(_) => true
-      | Error(_) => false
-      },
-    ~error="expected a longitude in -180…180",
-  )
+let lngSchema: S.t<float> = S.float->S.refine(raw =>
+  switch validateLng(raw) {
+  | Ok(_) => true
+  | Error(_) => false
+  }
+, ~error="expected a longitude in -180…180")
 
 @schema
 type t = {
@@ -131,7 +126,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. */
-let schema: S.t<t> = schema->Semantic.mark(~id=Semantic.Id.geoPoint)
+let schema: S.t<t> =
+  schema->Semantic.mark(~id=Semantic.Id.geoPoint)
 
 /** Build a validated point. Both coordinates are checked, and the message names
     which one is wrong — the common mistake is a swapped pair, where the

package/src/semantic/Geocoding.res

@@ -5,7 +5,6 @@ The transport is provider-specific and lives with its provider. What is here is
 provider-neutral: the shape of an answer, the two ways a lookup fails, and the
 confidence rule — decided once, so no transport invents its own.
 */
-
 /** One candidate a geocoder returned. */
 type candidate = {
   /** The provider's canonical rendering of the address it matched. */
@@ -19,10 +18,10 @@ type candidate = {
 /** Why a lookup produced no usable point. Two constructors because the retry
     decision turns on the distinction: an outage must not become a verdict. */
 type failure =
-  | /** The provider could not be reached, or refused the call. Retry. */
-  Unavailable(string)
-  | /** The provider answered, and had nothing for this text. Do not retry. */
-  NoMatch
+  /** The provider could not be reached, or refused the call. Retry. */
+  | Unavailable(string)
+  /** The provider answered, and had nothing for this text. Do not retry. */
+  | NoMatch
 
 /**
 The port a caller reaches a geocoder through, so swapping the implementation is a
@@ -51,11 +50,11 @@ let defaultAmbiguityMargin = 0.01
 type assessment =
   | Confident(candidate)
   | NoCandidates
-  | /** Unscored is not a low score, and must not read as a high one. */
-  Unscored(candidate)
+  /** Unscored is not a low score, and must not read as a high one. */
+  | Unscored(candidate)
   | LowRelevance({top: candidate, score: float, floor: float})
-  | /** Several matches about equally well. */
-  Ambiguous({top: candidate, runnerUp: candidate, margin: float})
+  /** Several matches about equally well. */
+  | Ambiguous({top: candidate, runnerUp: candidate, margin: float})
 
 /** The confidence rule, stated once. Everything else here derives from it. */
 let assess = (

package/src/semantic/Geolocation.res

@@ -5,14 +5,13 @@ Three arms rather than `option<GeoPoint.t>`, whose `None` means both "has not ru
 and "ran and failed". Emitted as a GraphQL union (see `Reventless.TaggedUnion`).
 Replacing a point/status/note trio with it is wire-breaking.
 */
-
 @schema
 type t =
-  | /** `requestedFor` is the address asked about, so a stale answer is detectable. */
-  Pending({requestedFor: string})
+  /** `requestedFor` is the address asked about, so a stale answer is detectable. */
+  | Pending({requestedFor: string})
   | Located({point: GeoPoint.t})
-  | /** Answered, with nothing storable unattended. A verdict for a human. */
-  Unresolvable({reason: string})
+  /** Answered, with nothing storable unattended. A verdict for a human. */
+  | Unresolvable({reason: string})
 
 /** Adds the two markers the shape cannot carry: the semantic, and the union name
     the SDL and the `__typename` stamp share. */
@@ -59,8 +58,7 @@ let ofSearch = (
     | Unscored(top) =>
       Some(
         Unresolvable({
-          reason: `the geocoder returned "${top.label}" for "${requestedFor}" without scoring it, ` ++
-          `and an unscored answer cannot be accepted unattended`,
+          reason: `the geocoder returned "${top.label}" for "${requestedFor}" without scoring it, ` ++ `and an unscored answer cannot be accepted unattended`,
         }),
       )
     | LowRelevance({top, score, floor}) =>
@@ -73,8 +71,7 @@ let ofSearch = (
     | Ambiguous({top, runnerUp}) =>
       Some(
         Unresolvable({
-          reason: `"${requestedFor}" matched "${top.label}" and "${runnerUp.label}" ` ++
-          `about equally well`,
+          reason: `"${requestedFor}" matched "${top.label}" and "${runnerUp.label}" ` ++ `about equally well`,
         }),
       )
     }

package/src/semantic/ImageRef.res

@@ -30,7 +30,6 @@ a field that declares no store.
     })
 ```
 */
-
 /** Transparent `string`; see `Email.t`. */
 type t = string
 
@@ -48,4 +47,5 @@ let fromString = (raw: string): result<t, string> => Media_Ref.check(~what="imag
 
 /** The sury schema for an image-reference field.
     Use with `@s.matches(Reventless.ImageRef.schema)`. */
-let schema: S.t<t> = S.string->Semantic.refined(~id=Semantic.Id.imageRef, ~check=fromString)
+let schema: S.t<t> =
+  S.string->Semantic.refined(~id=Semantic.Id.imageRef, ~check=fromString)

package/src/semantic/MemberRef.res

@@ -55,7 +55,6 @@ declares one there today: a view that carried a scalar *and* the set it was
 drawn from needed a marker saying the two were one thing, and a view whose
 primary is simply the first member has no second field to reconcile.
 */
-
 /** Transparent `string`, as every ref-shaped semantic here is: the marker
     refines an existing field rather than replacing it, so nothing stored
     changes when a field adopts it. */