functionalscript · sergey-shandar · Aug 20, 2026 · Aug 19, 2026 · Aug 19, 2026 · Aug 20, 2026
diff --git a/changelog/unreleased/1647.md b/changelog/unreleased/1647.md
@@ -0,0 +1,3 @@
+- **BREAKING CHANGES:** `fjs/media/lock/types` drops its `LockMap` re-export
+  of `fjs/media/revision`'s type — import it from `fjs/media/revision/types.ts`
+  directly instead
diff --git a/fjs/media/lock/proof.f.mjs b/fjs/media/lock/proof.f.mjs
@@ -1,6 +1,6 @@
 /**
  * @import { Object as JsonObject } from '../json/types.ts'
- * @import { LockMap } from './types.ts'
+ * @import { LockMap } from '../revision/types.ts'
  */
 
 import { assert, assertEq } from '../../asserts/module.f.mjs'

diff --git a/fjs/media/lock/types.ts b/fjs/media/lock/types.ts
@@ -2,16 +2,13 @@
  * Type-level API for `fjs/media/lock/module.f.mjs`: `Lock` and `LockError`.
  *
  * The map type itself is not restated here — it is `fjs/media/revision`'s
- * `LockMap`, re-exported so a consumer of the shared form needs only one
- * import, and so nothing can define a second, drifting spelling of it.
+ * `LockMap`; import it from there directly rather than through this module.
  */
 
 import type { ValidationError } from '../../types/rtti/common/types.ts'
 import type { Ts } from '../../types/rtti/ts/types.ts'
 import type { lockSchema } from './module.f.mjs'
 
-export type { LockMap } from '../revision/types.ts'
-
 /** The TypeScript type derived from `lockSchema` — the single source of truth. */
 export type Lock = Ts<typeof lockSchema>
 

diff --git a/fjs/types/rtti/module.f.mjs b/fjs/types/rtti/module.f.mjs
@@ -107,6 +107,7 @@ export const option = t =>
 
 /**
  * Schema that never matches any value — the empty union, corresponding to TypeScript's `never`.
+ *
  * @type {Or<readonly []>}
  */
 export const never = or()