@reventlessdev/reventless-spec 3.0.0-alpha.100

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2019-2026 Martin Lorenz
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -0,0 +1,109 @@
+[![npm](https://img.shields.io/npm/v/@reventlessdev/reventless-spec.svg?label=npm)](https://www.npmjs.com/package/@reventlessdev/reventless-spec)
+[![License: Apache-2.0](https://img.shields.io/badge/License-Apache_2.0-blue.svg)](https://opensource.org/licenses/Apache-2.0)
+[![Docs](https://img.shields.io/badge/docs-reventless.dev-blue)](https://docs.reventless.dev)
+
+# @reventlessdev/reventless-spec
+
+> ⚠️ **Alpha.** APIs and on-disk formats can change without notice between releases.
+> Pin exact versions and expect breaking changes.
+
+The **specification layer** of [Reventless](https://docs.reventless.dev) — a
+spec-driven, event-sourced CQRS framework written in [ReScript](https://rescript-lang.org).
+This package holds the type specifications and module-type interfaces that the rest of the
+framework is built on: the contracts application domain code implements (commands, events,
+behaviors, projections) and the component-kind vocabulary the whole framework shares. It
+has **no** runtime, cloud, or storage dependency, so domain code can declare its shape
+against `reventless-spec` without pulling in an implementation. Modules are exposed under
+the `Reventless` namespace.
+
+## What it provides
+
+ReScript modules, consumed by adding the package to your `rescript.json` `dependencies`.
+
+**Domain contracts (`types/`)**
+
+- **`Message`** — the envelope metadata carried by every event and command (`meta`,
+  `event'<>`, `command'<>`), used for audit, correlation, tracing, and routing.
+- **`Behavior`** — the module type application code implements to define aggregate business
+  logic: `initialState`, `evolve(state, event)`, and `decide(command, state)`.
+- **`Projection`** — `Source` / `Target` module types describing a read model projected
+  from an aggregate's events.
+- **`Handler`** — function signatures for handling commands, events, and errors.
+- **`SideEffect`** — module type for an imperative side effect triggered by aggregate events
+  (read-only access to the query engine; emits no events).
+- **`StoredEvent`** — the logical envelope for an event as it lives in storage; single
+  source of truth for the on-disk event shape.
+- **`Authorization`** / **`Identity`** — provider-agnostic permission rules evaluated against
+  a resolved identity.
+- **`QueryEngine`** — typed filter values and operations for read-model queries.
+- **`Id`**, **`EventMapping`**, **`ReadConsistency`**, **`Schedule`**, **`Visibility`** —
+  supporting spec types for identifiers, event translation, consistency, scheduling, and
+  exposure.
+
+**Component vocabulary (`components/`)**
+
+- **`ComponentKind`** — the single source of truth for the Reventless component-kind
+  vocabulary (aggregates, read models, tasks, extension points, DCB slices), including every
+  accepted folder spelling and body-file suffix.
+- Per-kind spec modules: `Aggregate`, `ReadModel`, `Task`, `ExtensionPoint`, `Plugin`, and
+  the DCB slices (`StateChangeSlice`, `StateViewSlice`, `AutomationSlice`,
+  `InboundTranslationSlice`, `OutboundTranslationSlice`), plus DCB tagging/validation helpers.
+
+**`generate-plugin` CLI**
+
+`reventless-spec` ships a `generate-plugin` binary that auto-generates `src/Plugin.res` from
+a plugin's folder structure, classifying `.res` files by their parent folder name — no
+hand-authored composition root required.
+
+```bash
+generate-plugin src/          # generate src/Plugin.res from the src/ folder
+```
+
+Wire it into your build via a `prebuild` script so it runs before `rescript build`. The
+generated `Plugin.res` is committed to git, so CI compiles it directly.
+
+## Where it fits
+
+`reventless-spec` is the foundation package in the Reventless framework:
+
+```
+reventless-spec (specifications)  ← this package
+  ↓
+reventless-core (provider-agnostic framework)
+  ↓
+reventless-aws / reventless-postgres / reventless-local (storage & deployment adapters)
+```
+
+- [`@reventlessdev/reventless-core`](https://www.npmjs.com/package/@reventlessdev/reventless-core)
+  builds on these specs to provide the runtime building blocks.
+- [`@reventlessdev/reventless-infra`](https://www.npmjs.com/package/@reventlessdev/reventless-infra)
+  layers deploy-time infrastructure types on top of the same specs.
+
+You normally obtain `reventless-spec` transitively by scaffolding an app rather than
+installing it on its own.
+
+## Install
+
+```bash
+pnpm add @reventlessdev/reventless-spec
+```
+
+Then register it as a ReScript dependency in `rescript.json`:
+
+```json
+{
+  "dependencies": ["@reventlessdev/reventless-spec"]
+}
+```
+
+Requires ReScript `^12.3.0` (peer dependency).
+
+## Links
+
+- 📚 Documentation — [docs.reventless.dev](https://docs.reventless.dev)
+- 📦 Repository — [ReventlessDev/reventless-core](https://github.com/ReventlessDev/reventless-core)
+- 📋 [Changelog](./CHANGELOG.md)
+
+## License
+
+[Apache-2.0](https://opensource.org/licenses/Apache-2.0)

package/package.json

@@ -0,0 +1,49 @@
+{
+  "name": "@reventlessdev/reventless-spec",
+  "version": "3.0.0-alpha.100",
+  "description": "Specifications for Reventless",
+  "license": "Apache-2.0",
+  "bin": {
+    "generate-plugin": "./run-generator.mjs",
+    "generate-platform": "./run-platform-generator.mjs"
+  },
+  "jest": {
+    "testMatch": [
+      "<rootDir>/tests/**/*Test.res.mjs"
+    ],
+    "moduleFileExtensions": [
+      "js",
+      "mjs"
+    ]
+  },
+  "dependencies": {
+    "jsonschema2graphql": "1.1.1",
+    "sury": "11.0.0-alpha.4",
+    "sury-ppx": "11.0.0-alpha.2",
+    "yaml": "^2.8.3",
+    "@reventlessdev/rescript-node": "2.0.0-alpha.1"
+  },
+  "devDependencies": {
+    "rescript": "12.3.0",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.10"
+  },
+  "peerDependencies": {
+    "rescript": "12.3.0"
+  },
+  "publishConfig": {
+    "registry": "https://registry.npmjs.org"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ReventlessDev/reventless-core.git",
+    "directory": "reventless/spec"
+  },
+  "scripts": {
+    "build": "rescript build",
+    "start": "rescript start",
+    "clean": "rescript clean",
+    "generate:currency": "node ./scripts/generate-currency.mjs",
+    "test": "NODE_OPTIONS='--experimental-vm-modules' jest",
+    "dev": "NODE_OPTIONS='--experimental-vm-modules' jest --watchAll"
+  }
+}

package/rescript.json

@@ -0,0 +1,32 @@
+{
+  "name": "@reventlessdev/reventless-spec",
+  "package-specs": {
+    "module": "esmodule",
+    "in-source": true
+  },
+  "namespace": "Reventless",
+  "ppx-flags": [
+    "sury-ppx/bin"
+  ],
+  "warnings": {
+    "error": "-44+101"
+  },
+  "sources": [
+    {
+      "dir": "src",
+      "subdirs": true
+    },
+    {
+      "dir": "tests",
+      "subdirs": true,
+      "type": "dev"
+    }
+  ],
+  "dependencies": [
+    "sury",
+    "@reventlessdev/rescript-jest",
+    "@reventlessdev/rescript-node"
+  ],
+  "compiler-flags": [],
+  "suffix": ".res.mjs"
+}

package/run-generator.mjs

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+import "./src/generator/PluginGenerator.res.mjs"

package/run-platform-generator.mjs

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+import "./src/generator/PlatformGenerator.res.mjs"

package/scripts/generate-currency.mjs

@@ -0,0 +1,215 @@
+#!/usr/bin/env node
+// Generates `src/semantic/Currency.res` from the ISO 4217 table beside this
+// script (`iso-4217-list-one.xml`, the standard's own "current currency & funds"
+// publication).
+//
+// Why generated rather than hand-written: the codes and the minor-unit
+// exponents have to agree, and the exponent is what makes `Money.format`
+// derivable instead of a hardcoded `/100`. Taking both from one source makes
+// them agree by construction — nobody has to remember that JPY has no decimals
+// and TND has three.
+//
+// Updating to a newer ISO publication:
+//
+//     curl -sL https://www.six-group.com/dam/download/financial-information/\
+//     data-center/iso-currrency/lists/list-one.xml \
+//       -o reventless/spec/scripts/iso-4217-list-one.xml
+//     pnpm --filter @reventlessdev/reventless-spec run generate:currency
+//
+// The output is committed: it is read in review, and a currency appearing or
+// disappearing is exactly the kind of change that has to show up in a diff.
+
+import {readFileSync, writeFileSync} from 'node:fs'
+import {dirname, join} from 'node:path'
+import {fileURLToPath} from 'node:url'
+
+const here = dirname(fileURLToPath(import.meta.url))
+const source = join(here, 'iso-4217-list-one.xml')
+const target = join(here, '..', 'src', 'semantic', 'Currency.res')
+
+const xml = readFileSync(source, 'utf8')
+
+const published = xml.match(/<ISO_4217[^>]*Pblshd="([^"]+)"/)?.[1]
+if (!published) throw new Error(`no Pblshd date in ${source} — is this the ISO 4217 list?`)
+
+const field = (entry, tag) => entry.match(new RegExp(`<${tag}>([^<]*)</${tag}>`))?.[1]?.trim()
+
+// One entry per country, so a currency used in several countries repeats. Keyed
+// by code; a repeat that disagrees about the exponent is a corrupt table, not
+// something to pick a winner from.
+const byCode = new Map()
+const skipped = []
+
+for (const [, entry] of xml.matchAll(/<CcyNtry>([\s\S]*?)<\/CcyNtry>/g)) {
+  const code = field(entry, 'Ccy')
+  // Territories with no currency of their own (Antarctica) carry no <Ccy>.
+  if (!code) continue
+  const minorUnits = field(entry, 'CcyMnrUnts')
+  const name = field(entry, 'CcyNm')
+
+  // `N.A.` means the entry has no minor unit at all: the precious metals (XAU,
+  // XAG, XPD, XPT), the bond market units (XBA–XBD), XDR, XUA, XSU, the testing
+  // code XTS and the "no currency" sentinel XXX. Admitting them would make
+  // `exponent` partial, which is the one property this type exists to have — so
+  // the standard's own table draws the line rather than a curated opinion. A
+  // field holding a weight of gold is not holding money.
+  if (!/^\d+$/.test(minorUnits ?? '')) {
+    if (!skipped.some(s => s.code === code)) skipped.push({code, name, minorUnits})
+    continue
+  }
+
+  const exponent = Number(minorUnits)
+  const seen = byCode.get(code)
+  if (seen && seen.exponent !== exponent) {
+    throw new Error(
+      `${code} has two exponents in ${source}: ${seen.exponent} and ${exponent}`,
+    )
+  }
+  if (!seen) byCode.set(code, {code, name, exponent})
+}
+
+const currencies = [...byCode.values()].sort((a, b) => a.code.localeCompare(b.code))
+if (currencies.length < 100) {
+  throw new Error(`only ${currencies.length} currencies parsed — the table did not parse`)
+}
+
+// The generated file quotes each currency's ISO name beside its constructor, so
+// a reviewer reading a three-letter code does not have to look it up.
+const constructors = currencies
+  .map(c => `  | /** ${c.name} */ ${c.code}`)
+  .join('\n')
+
+const exponentArms = currencies
+  .map(c => `  | ${c.code} => ${c.exponent}`)
+  .join('\n')
+
+const toStringArms = currencies.map(c => `  | ${c.code} => "${c.code}"`).join('\n')
+
+// Wrapped rather than one 1,000-character line, so a code added or removed by a
+// future ISO publication shows up as a one-line diff.
+const all = currencies
+  .map(c => c.code)
+  .reduce((lines, code) => {
+    const last = lines[lines.length - 1]
+    if (last && `${last} ${code},`.length <= 96) lines[lines.length - 1] = `${last} ${code},`
+    else lines.push(`  ${code},`)
+    return lines
+  }, [])
+  .join('\n')
+
+const exponentCounts = [...new Set(currencies.map(c => c.exponent))]
+  .sort()
+  .map(e => `${currencies.filter(c => c.exponent === e).length}×${e}`)
+  .join(', ')
+
+const skippedCodes = skipped.map(s => s.code).sort()
+const group = codes => codes.filter(c => skippedCodes.includes(c)).join(', ')
+const metals = group(['XAG', 'XAU', 'XPD', 'XPT'])
+const bondUnits = group(['XBA', 'XBB', 'XBC', 'XBD'])
+const rights = group(['XDR', 'XSU', 'XUA'])
+
+const out = `// AUTO-GENERATED from ISO 4217 (published ${published}) — do not edit.
+// Run \`pnpm --filter @reventlessdev/reventless-spec run generate:currency\`,
+// or see \`scripts/generate-currency.mjs\` to update the source table first.
+
+/**
+A currency, closed to the ${currencies.length} codes ISO 4217 defines a minor unit for.
+
+## Why a type and not a three-letter string
+
+A string field invites \`"eur"\` beside \`"EUR"\`, and two spellings of one
+currency is a class of bug that reads as a data problem long after it became a
+correctness problem — the values are present, and they simply never match. A
+closed type makes the second spelling unwritable.
+
+## Why generated, and why every code
+
+The alternative was a curated handful (EUR, USD, GBP, JPY, …), which is small
+and readable and wrong the first time an application needs a currency nobody
+listed — a compile error in someone else's domain, fixable only by a framework
+release. The thing being avoided by curating is ${currencies.length} constructors that are
+machine-written and never read in full; the thing being risked is a release.
+
+Generation also buys the property that makes this type worth having: \`exponent\`
+comes from the *same* source as the codes, so it cannot drift from them
+(${exponentCounts} decimal places across the set). That is what lets
+\`Money.format\` derive its decimal placement instead of hardcoding \`/100\`, and
+therefore what makes it correct for JPY and TND without anyone remembering that
+those two are special.
+
+## What is deliberately absent
+
+The ${skipped.length} entries ISO lists with no minor unit: the precious metals
+(${metals}), the bond market units (${bondUnits}), the accounting
+units (${rights}), the testing code XTS, and the "no currency"
+sentinel XXX. Each would make \`exponent\` partial, and a weight of gold is not
+an amount of money. The standard's own table draws that line, so it is not a
+curated opinion after all.
+
+## The wire form
+
+A payload-less variant, so the stored and transmitted form is the three-letter
+code itself — \`{"amount": 1000, "currency": "EUR"}\`. Standard at the boundary,
+a checked type in the domain.
+*/
+@schema
+type t =
+${constructors}
+
+/** Every currency, 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> = [
+${all}
+]
+
+/** The currency's ISO 4217 alphabetic code. */
+let toString = (currency: t): string =>
+  switch currency {
+${toStringArms}
+  }
+
+/**
+How many decimal places the currency's minor unit is: 2 for EUR, **0 for JPY**,
+**3 for TND**, 4 for the Chilean Unidad de Fomento.
+
+Total by construction — this is the whole reason the type is closed and the
+table is generated. An amount is stored in integer minor units, so this is the
+only thing that says where its decimal point goes.
+*/
+let exponent = (currency: t): int =>
+  switch currency {
+${exponentArms}
+  }
+
+let byCode: dict<t> = {
+  let d = Dict.make()
+  all->Array.forEach(c => d->Dict.set(toString(c), c))
+  d
+}
+
+/**
+Parse an ISO 4217 alphabetic code, saying why when it is not one.
+
+Case-sensitive on purpose: \`"eur"\` is rejected rather than repaired. This type
+exists because a silent case mismatch is expensive to find, and quietly
+accepting the wrong spelling at the boundary would put it back — a producer
+sending lowercase codes should learn that at its first request, not at the first
+report that two halves of a ledger disagree.
+*/
+let fromString = (raw: string): result<t, string> =>
+  switch byCode->Dict.get(raw) {
+  | Some(c) => Ok(c)
+  | None =>
+    Error(
+      \`expected an ISO 4217 currency code such as "EUR", got \${raw
+        ->JSON.Encode.string
+        ->JSON.stringify}. Codes are upper-case and exactly three letters.\`,
+    )
+  }
+`
+
+writeFileSync(target, out)
+console.log(
+  `Currency.res: ${currencies.length} currencies (${exponentCounts} decimals), ` +
+    `ISO 4217 published ${published}, ${skipped.length} minor-unit-less entries skipped.`,
+)