@company-semantics/contracts 47.1.0 → 47.1.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@company-semantics/contracts",
-  "version": "47.1.0",
+  "version": "47.1.1",
   "private": false,
   "repository": {
     "type": "git",

package/src/resource-keys.ts

@@ -303,9 +303,15 @@ type Assert<T extends true> = T;
  * The false branch resolves to the UNROUTED LITERALS rather than to `false`, so
  * the diagnostic names the culprit:
  *   `Type '"directGrants"' does not satisfy the constraint 'true'`.
- * Deliberately unexported: this is an assertion, not vocabulary.
+ *
+ * EXPORTED, though nothing consumes it. This package ships `src`, so every
+ * consumer typechecks this file under ITS OWN compiler options — and the
+ * backend sets `noUnusedLocals`, which rejects an unexported type alias that
+ * nothing references. Keeping it private broke `tsc` in a consumer while
+ * passing here, so the export is what makes the assertion portable, not a
+ * widening of the public vocabulary. Do not "tidy" it away.
  */
-type _EveryResourceKeyIsRouted = Assert<
+export type RoutingExhaustivenessWitness = Assert<
   [Exclude<ResourceKey["type"], RoutedType>] extends [never]
     ? true
     : Exclude<ResourceKey["type"], RoutedType>