@endo/compartment-mapper 2.0.0 → 2.1.0

package/src/types/node-modules.ts

@@ -1,26 +1,61 @@
 import type { GenericGraph } from '../generic-graph.js';
-import type {
-  ATTENUATORS_COMPARTMENT,
-  ENTRY_COMPARTMENT,
-} from '../policy-format.js';
 import type {
   CanonicalName,
-  CompartmentMapDescriptor,
   PackageCompartmentDescriptorName,
   PolicyOption,
-  SomePolicy,
 } from '../types.js';
 import type {
   Language,
   LanguageForExtension,
-  PackageCompartmentMapDescriptor,
 } from './compartment-map-schema.js';
 import type {
   FileUrlString,
   LogOptions,
   PackageDependenciesHook,
 } from './external.js';
+import type { PatternDescriptor } from './pattern-replacement.js';
 import type { LiteralUnion } from './typescript.js';
+import { ATTENUATORS_COMPARTMENT } from '../policy-format.js';
+
+/**
+ * A mapping of conditions to their resolved exports.
+ * Each condition key (e.g., "import", "require", "node", "default")
+ * maps to an {@link Exports} value.
+ *
+ * @see {@link https://github.com/sindresorhus/type-fest/blob/850b33c4dd292e0ff8cff039ee167d69be324fce/source/package-json.d.ts#L227-L248 | type-fest ExportConditions}
+ */
+export type ExportConditions = {
+  // eslint-disable-next-line no-use-before-define
+  [condition: string]: Exports;
+};
+
+/**
+ * Entry points of a module, optionally with conditions and subpath exports.
+ * Follows the recursive structure defined by Node.js for `package.json`
+ * `exports` and `imports` fields.
+ *
+ * - `null` excludes a subpath (null target).
+ * - `string` is a direct path.
+ * - `Array` is a fallback list (first match wins).
+ * - `ExportConditions` is a mapping of conditions to nested `Exports`.
+ *
+ * @see {@link https://github.com/sindresorhus/type-fest/blob/850b33c4dd292e0ff8cff039ee167d69be324fce/source/package-json.d.ts#L227-L248 | type-fest Exports}
+ */
+export type Exports =
+  | null
+  | string
+  | Array<string | ExportConditions>
+  | ExportConditions;
+
+/**
+ * The `imports` field of `package.json`.
+ * Keys must start with `#`.
+ *
+ * @see {@link https://github.com/sindresorhus/type-fest/blob/850b33c4dd292e0ff8cff039ee167d69be324fce/source/package-json.d.ts#L227-L248 | type-fest Imports}
+ */
+export type Imports = {
+  [key: `#${string}`]: Exports;
+};
 
 export type CommonDependencyDescriptors = Record<
   string,
@@ -35,7 +70,7 @@ export type CommonDependencyDescriptorsOptions = {
   /**
    * Dependencies added to _all_ packages
    */
-  commonDependencyDescriptors?: CommonDependencyDescriptors;
+  commonDependencyDescriptors?: CommonDependencyDescriptors | undefined;
 };
 
 /**
@@ -64,11 +99,11 @@ export type GraphPackagesOptions = LogOptions &
  * Options for `gatherDependency()`
  */
 export type GatherDependencyOptions = {
-  childLogicalPath?: string[];
+  childLogicalPath?: string[] | undefined;
   /**
    * If `true` the dependency is optional
    */
-  optional?: boolean;
+  optional?: boolean | undefined;
 } & LogOptions &
   PackageDependenciesHookOption &
   PolicyOption &
@@ -85,10 +120,8 @@ export interface PackageDescriptor {
    */
   name: string;
   version?: string;
-  /**
-   * TODO: Update with proper type when this field is handled.
-   */
-  exports?: unknown;
+  exports?: Exports;
+  imports?: Imports;
   type?: 'module' | 'commonjs';
   dependencies?: Record<string, string>;
   devDependencies?: Record<string, string>;
@@ -126,6 +159,11 @@ export interface Node {
   explicitExports: boolean;
   internalAliases: Record<string, string>;
   externalAliases: Record<string, string>;
+  /**
+   * Wildcard patterns extracted from the `exports` and `imports` fields.
+   * `*` matches exactly one path segment (Node.js semantics).
+   */
+  patterns: PatternDescriptor[];
   /**
    * The name of the original package's parent directory, for reconstructing
    * a sourceURL that is likely to converge with the original location in an IDE.
@@ -164,7 +202,10 @@ export interface FinalNode extends Node {
  * Keys may either be a file URL string to a package or the special
  * `<ATTENUATORS>` string.
  */
-export type Graph = Record<LiteralUnion<'<ATTENUATORS>', FileUrlString>, Node>;
+export type Graph = Record<
+  LiteralUnion<typeof ATTENUATORS_COMPARTMENT, FileUrlString>,
+  Node
+>;
 
 /**
  * A graph, but contains {@link FinalNode}s instead of {@link Node}s.

package/src/types/pattern-replacement.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Types for subpath pattern matching.
+ *
+ * @module
+ */
+/**
+ * Result of a successful pattern match.
+ */
+export interface SubpathReplacerResult {
+    /** The resolved module path, or null for null-target exclusions */
+    result: string | null;
+    /** Optional compartment name for cross-compartment patterns */
+    compartment?: string;
+}
+/**
+ * A function that attempts to match a specifier against patterns
+ * and returns the replacement path (with optional compartment), or null if no match.
+ */
+export type SubpathReplacer = (specifier: string) => SubpathReplacerResult | null;
+/**
+ * Input format for pattern mappings - either an array of tuples,
+ * an array of PatternDescriptors, or a record object.
+ */
+export type SubpathMapping = Array<[pattern: string, replacement: string]> | Record<string, string>;
+/**
+ * Internal representation of a parsed pattern entry, split into
+ * prefix/suffix for efficient matching.
+ */
+export interface ResolvedPattern {
+    /** The original pattern key */
+    pattern: string;
+    /** The part of the pattern before `*` */
+    prefix: string;
+    /** The part of the pattern after `*` */
+    suffix: string;
+    /** The part of the replacement before `*`, or null for exclusions */
+    replacementPrefix: string | null;
+    /** The part of the replacement after `*`, or null for exclusions */
+    replacementSuffix: string | null;
+    /** Optional compartment for cross-compartment patterns */
+    compartment?: string;
+}
+/**
+ * A pattern descriptor for wildcard-based module resolution.
+ * The `from` pattern is matched against module specifiers,
+ * and `to` is the replacement pattern.
+ *
+ * Wildcards (`*`) match any substring including `/` (Node.js semantics).
+ */
+export interface PatternDescriptor {
+    /** Source pattern with wildcard, e.g., "./lib/*.js" */
+    from: string;
+    /** Target pattern with wildcard, e.g., "./*.js". Null means exclusion. */
+    to: string | null;
+    /**
+     * Optional compartment name where the resolved module lives.
+     * When absent, the pattern resolves within the owning compartment.
+     * Set when propagating export patterns from a dependency package.
+     */
+    compartment?: string;
+}
+//# sourceMappingURL=pattern-replacement.d.ts.map

package/src/types/pattern-replacement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-replacement.d.ts","sourceRoot":"","sources":["pattern-replacement.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,mEAAmE;IACnE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG,CAC5B,SAAS,EAAE,MAAM,KACd,qBAAqB,GAAG,IAAI,CAAC;AAElC;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB,KAAK,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,GAC7C,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE3B;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,+BAA+B;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,wCAAwC;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,oEAAoE;IACpE,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,0DAA0D;IAC1D,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB"}

package/src/types/pattern-replacement.ts

@@ -0,0 +1,70 @@
+/**
+ * Types for subpath pattern matching.
+ *
+ * @module
+ */
+
+/**
+ * Result of a successful pattern match.
+ */
+export interface SubpathReplacerResult {
+  /** The resolved module path, or null for null-target exclusions */
+  result: string | null;
+  /** Optional compartment name for cross-compartment patterns */
+  compartment?: string;
+}
+
+/**
+ * A function that attempts to match a specifier against patterns
+ * and returns the replacement path (with optional compartment), or null if no match.
+ */
+export type SubpathReplacer = (
+  specifier: string,
+) => SubpathReplacerResult | null;
+
+/**
+ * Input format for pattern mappings - either an array of tuples,
+ * an array of PatternDescriptors, or a record object.
+ */
+export type SubpathMapping =
+  | Array<[pattern: string, replacement: string]>
+  | Record<string, string>;
+
+/**
+ * Internal representation of a parsed pattern entry, split into
+ * prefix/suffix for efficient matching.
+ */
+export interface ResolvedPattern {
+  /** The original pattern key */
+  pattern: string;
+  /** The part of the pattern before `*` */
+  prefix: string;
+  /** The part of the pattern after `*` */
+  suffix: string;
+  /** The part of the replacement before `*`, or null for exclusions */
+  replacementPrefix: string | null;
+  /** The part of the replacement after `*`, or null for exclusions */
+  replacementSuffix: string | null;
+  /** Optional compartment for cross-compartment patterns */
+  compartment?: string;
+}
+
+/**
+ * A pattern descriptor for wildcard-based module resolution.
+ * The `from` pattern is matched against module specifiers,
+ * and `to` is the replacement pattern.
+ *
+ * Wildcards (`*`) match any substring including `/` (Node.js semantics).
+ */
+export interface PatternDescriptor {
+  /** Source pattern with wildcard, e.g., "./lib/*.js" */
+  from: string;
+  /** Target pattern with wildcard, e.g., "./*.js". Null means exclusion. */
+  to: string | null;
+  /**
+   * Optional compartment name where the resolved module lives.
+   * When absent, the pattern resolves within the owning compartment.
+   * Set when propagating export patterns from a dependency package.
+   */
+  compartment?: string;
+}

package/src/types/powers.d.ts

@@ -15,14 +15,14 @@ import type { SomeObject } from './typescript.js';
 export type ReadPowers<T extends string = any> = {
     canonical: CanonicalFn<T>;
     read: ReadFn;
-    maybeRead?: MaybeReadFn;
-    readNow?: ReadNowFn;
-    maybeReadNow?: MaybeReadNowFn;
-    computeSha512?: HashFn;
-    fileURLToPath?: FileURLToPathFn;
-    pathToFileURL?: PathToFileURLFn;
-    requireResolve?: RequireResolveFn;
-    isAbsolute?: IsAbsoluteFn;
+    maybeRead?: MaybeReadFn | undefined;
+    readNow?: ReadNowFn | undefined;
+    maybeReadNow?: MaybeReadNowFn | undefined;
+    computeSha512?: HashFn | undefined;
+    fileURLToPath?: FileURLToPathFn | undefined;
+    pathToFileURL?: PathToFileURLFn | undefined;
+    requireResolve?: RequireResolveFn | undefined;
+    isAbsolute?: IsAbsoluteFn | undefined;
 };
 /**
  * @template T The expected input/output type of the {@link CanonicalFn}.
@@ -42,7 +42,9 @@ export type MaybeReadPowers<T extends string = any> = ReadPowers<T> & {
  *
  * @template T The expected input/output type of the {@link CanonicalFn}.
  */
-export type ReadNowPowers<T extends string = any> = Omit<ReadPowers<T>, ReadNowPowersProp> & Required<Pick<ReadPowers<T>, ReadNowPowersProp>>;
+export type ReadNowPowers<T extends string = any> = Omit<ReadPowers<T>, ReadNowPowersProp> & {
+    [P in ReadNowPowersProp]-?: NonNullable<ReadPowers<T>[P]>;
+};
 /**
  * These properties are necessary for dynamic require support
  */

package/src/types/powers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"powers.d.ts","sourceRoot":"","sources":["powers.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAIlD;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,IAAI;IAC/C,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,WAAW,CAAC;IACxB,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,YAAY,CAAC,EAAE,cAAc,CAAC;IAC9B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,eAAe,CAAC;IAChC,aAAa,CAAC,EAAE,eAAe,CAAC;IAChC,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAClC,UAAU,CAAC,EAAE,YAAY,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG;IACpE,SAAS,EAAE,WAAW,CAAC;CACxB,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,IAAI,IAAI,CACtD,UAAU,CAAC,CAAC,CAAC,EACb,iBAAiB,CAClB,GACC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAEnD;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,YAAY,GAAG,cAAc,CAAC;AAEhF;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,CACnD,QAAQ,EAAE,CAAC,KACR,OAAO,CAAC,CAAC,CAAC,CAAC;AAEhB;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC;AAEhF;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,UAAU,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,UAAU,GAAG,SAAS,CAAC;AAE1E;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,KAAK,EAAE,UAAU,KAAK,MAAM,CAAC;AAEnD,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,KAAK,MAAM,CAAC;AAE5D,MAAM,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,GAAG,CAAC;AAEpD,MAAM,MAAM,gBAAgB,GAAG,CAC7B,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EACJ;IACE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB,GACD,SAAS,KACV,GAAG,CAAC;AAET,MAAM,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;AAEzD,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,IAAI;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAIF,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;AAE7E,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,UAAU,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,CAAC;AAInD,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC"}
+{"version":3,"file":"powers.d.ts","sourceRoot":"","sources":["powers.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAIlD;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,IAAI;IAC/C,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IACpC,OAAO,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAChC,YAAY,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;IAC1C,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,aAAa,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IAC5C,aAAa,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IAC5C,cAAc,CAAC,EAAE,gBAAgB,GAAG,SAAS,CAAC;IAC9C,UAAU,CAAC,EAAE,YAAY,GAAG,SAAS,CAAC;CACvC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG;IACpE,SAAS,EAAE,WAAW,CAAC;CACxB,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,IAAI,IAAI,CACtD,UAAU,CAAC,CAAC,CAAC,EACb,iBAAiB,CAClB,GAAG;KACD,CAAC,IAAI,iBAAiB,CAAC,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC1D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,YAAY,GAAG,cAAc,CAAC;AAEhF;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,CACnD,QAAQ,EAAE,CAAC,KACR,OAAO,CAAC,CAAC,CAAC,CAAC;AAEhB;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC;AAEhF;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,UAAU,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,UAAU,GAAG,SAAS,CAAC;AAE1E;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,KAAK,EAAE,UAAU,KAAK,MAAM,CAAC;AAEnD,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,KAAK,MAAM,CAAC;AAE5D,MAAM,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,GAAG,CAAC;AAEpD,MAAM,MAAM,gBAAgB,GAAG,CAC7B,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EACJ;IACE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB,GACD,SAAS,KACV,GAAG,CAAC;AAET,MAAM,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;AAEzD,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,IAAI;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAIF,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;AAE7E,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,UAAU,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,CAAC;AAInD,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC"}

package/src/types/powers.ts

@@ -21,14 +21,14 @@ import type { SomeObject } from './typescript.js';
 export type ReadPowers<T extends string = any> = {
   canonical: CanonicalFn<T>;
   read: ReadFn;
-  maybeRead?: MaybeReadFn;
-  readNow?: ReadNowFn;
-  maybeReadNow?: MaybeReadNowFn;
-  computeSha512?: HashFn;
-  fileURLToPath?: FileURLToPathFn;
-  pathToFileURL?: PathToFileURLFn;
-  requireResolve?: RequireResolveFn;
-  isAbsolute?: IsAbsoluteFn;
+  maybeRead?: MaybeReadFn | undefined;
+  readNow?: ReadNowFn | undefined;
+  maybeReadNow?: MaybeReadNowFn | undefined;
+  computeSha512?: HashFn | undefined;
+  fileURLToPath?: FileURLToPathFn | undefined;
+  pathToFileURL?: PathToFileURLFn | undefined;
+  requireResolve?: RequireResolveFn | undefined;
+  isAbsolute?: IsAbsoluteFn | undefined;
 };
 
 /**
@@ -53,8 +53,9 @@ export type MaybeReadPowers<T extends string = any> = ReadPowers<T> & {
 export type ReadNowPowers<T extends string = any> = Omit<
   ReadPowers<T>,
   ReadNowPowersProp
-> &
-  Required<Pick<ReadPowers<T>, ReadNowPowersProp>>;
+> & {
+  [P in ReadNowPowersProp]-?: NonNullable<ReadPowers<T>[P]>;
+};
 
 /**
  * These properties are necessary for dynamic require support