@escape-game-over/atlas 0.1.113 → 0.1.114

package/README.md

@@ -109,7 +109,9 @@ declares, and `override` and every `override*` is a patch over it.
 The copy comes first so a deployment's other files can name its messages by
 key. Anything declared before the project, its venues or its settings, types a
 message as `CatalogKey<typeof messages>`: the default catalog's keys and the
-deployment's own, exactly the ones `t()` takes. A typo fails on its line.
+deployment's own, exactly the ones `t()` takes. A typo fails on its line. A
+field that only ever names one kind of message narrows to it:
+`CatalogKey<typeof messages, \`events.facts.${string}\`>`.
 
 ## The four steps
 

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@escape-game-over/atlas",
-    "version": "0.1.113",
+    "version": "0.1.114",
     "type": "module",
     "description": "Typed, data-driven machinery for static multi-locale, multi-deployment Astro sites.",
     "private": false,

package/src/i18n/catalog.ts

@@ -36,10 +36,14 @@ export interface ProjectCatalog<Base, Published extends string, Override, Add> {
  *
  * What a site built from the project translates, so a key typed with it is
  * one `t()` takes as it is.
+ *
+ * `Family` narrows to one kind of message, for a field that only ever names
+ * that kind: `CatalogKey<typeof messages, \`events.facts.${string}\`>` is the
+ * event facts the catalog has, the base's and the project's own.
  */
-export type CatalogKey<C> =
+export type CatalogKey<C, Family extends string = string> =
     C extends ProjectCatalog<infer Base, string, unknown, infer Add>
-        ? StringKeys<Base> | StringKeys<Add>
+        ? Extract<StringKeys<Base> | StringKeys<Add>, Family>
         : never;
 
 /** The messages a site built from the catalog reads: the base's and its own. */