@softarc/native-federation-orchestrator 4.5.1 → 4.5.3

package/types/lib/core/1.domain/externals/basis.d.ts

@@ -0,0 +1,7 @@
+import type { SharedVersion, SharedVersionMeta } from './version.contract';
+export declare function isBetterBasis(candidate: SharedVersionMeta, basis: SharedVersionMeta): boolean;
+export declare function addRemoteToVersion(version: SharedVersion, remote: SharedVersionMeta, isHost?: boolean): void;
+export declare function versionDemands(version: SharedVersion): SharedVersionMeta[];
+export declare function findVersionForTag(versions: SharedVersion[], tag: string): SharedVersion | undefined;
+export declare function uncoveredEntrypoints(remote: SharedVersionMeta, basis: Record<string, string>): string[];
+export declare function countUncoveredEntrypoints(remote: SharedVersionMeta, basis: Record<string, string>): number;

package/types/lib/core/1.domain/remote-entry/remote-entry.contract.d.ts

@@ -11,5 +11,6 @@ type RemoteEntry = Omit<FederationInfo, 'shared'> & {
 type SharedInfoActions = Record<string, {
     action: SharedVersionAction;
     override?: Record<string, string>;
+    covered?: string[];
 }>;
 export { RawRemoteEntry, RemoteEntry, FederationInfo, ExposesInfo, SharedInfo, DenseSharedInfo, SharedInfoActions, };

package/types/lib/core/2.app/config/mode.contract.d.ts

@@ -1,6 +1,7 @@
 export type ModeProfileConfig = {
     latestSharedExternal: boolean;
     skipInvalidExternalVersions: boolean;
+    scopeUncoveredEntrypoints: boolean;
     overrideCachedRemotes: 'always' | 'never' | 'init-only';
     overrideCachedRemotesIfURLMatches: boolean;
     cacheTag?: string;
@@ -15,6 +16,7 @@ export type ModeStrictnessConfig = {
     strictExternalSameVersionCompatibility: boolean;
     strictExternalVersion: boolean;
     strictImportMap: boolean;
+    strictEntryPointCoverage: boolean;
 };
 export type ModeConfig = {
     strict: ModeStrictnessConfig;

package/types/lib/core/2.app/driving-ports/for-shared-externals-storage.port.d.ts

@@ -7,7 +7,7 @@ export type ForSharedExternalsStorage = {
         includeGlobal: boolean;
     }) => string[];
     scopeType: (shareScope?: string) => 'global' | 'strict' | 'shareScope';
-    removeFromAllScopes: (remoteName: RemoteName) => void;
+    removeFromAllScopes: (remoteNames: ReadonlySet<RemoteName>) => void;
     addOrUpdate: (name: string, external: SharedExternal, shareScope?: string) => ForSharedExternalsStorage;
     markPoolTagPresent: () => void;
     hasPoolTag: () => boolean;

package/types/lib/core/2.app/steps/pooling/pool.types.d.ts

@@ -1,25 +1,6 @@
-import type { ExternalName, RemoteName, SharedExternal, VersionName } from '../../../1.domain';
+import type { ExternalName, SharedExternal } from '../../../1.domain';
 export type PoolName = string;
 export type PoolMember = {
     name: ExternalName;
     external: SharedExternal;
 };
-/**
- * The remote chosen to serve a whole pool, plus the version tag it provides for each member.
- * The anchor may be partial: members absent from `tagPerMember` are orphans (no coherent shared
- * build exists) and resolve scoped-only.
- */
-export type PoolAnchor = {
-    anchorRemote: RemoteName;
-    tagPerMember: Partial<Record<ExternalName, VersionName>>;
-};
-/**
- * How a remote is placed relative to the anchor, decided once for the whole pool:
- *  - `follow`         — every member it uses is compatible with the anchor tag;
- *  - `scope-incompat` — strict-incompatible on ≥1 member; the whole family scopes with no dedup
- *                       (deduping would inject a foreign build via a shared intermediary).
- *                       Dominates `scope-coverage`;
- *  - `scope-coverage` — compatible where the anchor covers, but uses ≥1 member it does not provide;
- *                       scoped for coverage, may still dedup same-version members.
- */
-export type RemoteClassification = 'follow' | 'scope-incompat' | 'scope-coverage';

package/types/lib/core/2.app/steps/pooling/pool.util.d.ts

@@ -1,4 +1,3 @@
-import type { RemoteName, SharedVersion } from '../../../1.domain';
+import type { RemoteName } from '../../../1.domain';
 import type { PoolMember } from './pool.types';
-export declare function versionForRemote(member: PoolMember, remote: RemoteName): SharedVersion | undefined;
 export declare function remotesInPool(members: PoolMember[]): RemoteName[];

package/types/lib/core/2.app/steps/store-remote-entry.d.ts

@@ -1,8 +1,15 @@
-import { type RemoteEntry, type SharedExternal, type DenseSharedInfo, type SharedVersion, type SharedVersionMeta } from '../../1.domain';
+import { type RemoteEntry, type RemoteName, type SharedExternal, type DenseSharedInfo, type SharedVersion, type SharedVersionMeta } from '../../1.domain';
 import type { DrivingContract } from '../driving-ports/driving.contract';
 import type { LoggingConfig } from '../config/log.contract';
 import type { ModeConfig } from '../config/mode.contract';
 export type StoreRemoteEntry = (remoteEntry: RemoteEntry, onSharedExternal: SharedExternalHandler) => void;
+export type RemoveCachedRemoteEntries = (remoteNames: ReadonlySet<RemoteName>) => void;
+/**
+ * Evict overridden remotes before their replacements are merged in. Kept out of `storeRemoteEntry`
+ * because `removeFromAllScopes` costs a full traversal of the shared-externals graph: the init
+ * pipeline evicts its whole override set at once, the dynamic pipeline passes a single name.
+ */
+export declare function createRemoveCachedRemoteEntries(ports: Pick<DrivingContract, 'remoteInfoRepo' | 'scopedExternalsRepo' | 'sharedExternalsRepo'>): RemoveCachedRemoteEntries;
 export type SharedExternalHandler = (remoteEntry: RemoteEntry, external: DenseSharedInfo, ctx: SharedExternalContext) => void;
 export type SharedExternalContext = {
     tag: string;
@@ -13,11 +20,12 @@ export type SharedExternalContext = {
     commit: () => void;
 };
 /**
- * Not a pipeline step but the template both storage steps specialize: it owns the full
- * storage sequence for a remoteEntry, and only the resolution of a singleton external
- * differs between the init pipeline (process-remote-entries, step 2) and the dynamic
- * pipeline (update-cache, step 8), injected per call. The pipelines must not be merged,
- * see docs/version-resolver.md "Dynamic Init". If a change ever needs a flag or
- * parameter here to serve only one caller, inline this back into the steps instead.
+ * Not a pipeline step but the template both storage steps specialize: it owns the merge sequence
+ * for a remoteEntry, and only the resolution of a singleton external differs between the init
+ * pipeline (process-remote-entries, step 2) and the dynamic pipeline (update-cache, step 8),
+ * injected per call. Evicting an overridden remote is the caller's job, see
+ * `createRemoveCachedRemoteEntries` — every entry reaching here is merged additively. The
+ * pipelines must not be merged, see docs/version-resolver.md "Dynamic Init". If a change ever
+ * needs a flag or parameter here to serve only one caller, inline this back into the steps instead.
  */
 export declare function createStoreRemoteEntry(config: LoggingConfig & ModeConfig, ports: Pick<DrivingContract, 'remoteInfoRepo' | 'scopedExternalsRepo' | 'sharedExternalsRepo' | 'sharedChunksRepo' | 'versionCheck'>, logStep: number): StoreRemoteEntry;