@inf-monkeys-tech/monkeys 1.0.68 → 1.0.69

package/lib/esm/runtime/index.mjs

@@ -10076,6 +10076,12 @@ var ResolvedNavigationTargetSchema = z9.object({
   targetRevisionRef: RevisionRefSchema,
   releaseRevisionRef: RevisionRefSchema.optional()
 }).strict();
+var UnavailableNavigationTargetSchema = z9.object({
+  nodeId: ContractIdentifierSchema,
+  stableTargetRef: StableRefSchema.refine((reference) => reference.kind === "page", "Only missing Pages can be isolated."),
+  reason: z9.literal("page-missing"),
+  accessPolicy: AccessPolicySchema.nullable()
+}).strict();
 var NavigationReleaseSchema = z9.object({
   contract: z9.literal("NavigationRelease"),
   ...ReleaseBaseShape,
@@ -10085,13 +10091,17 @@ var NavigationReleaseSchema = z9.object({
     surface: ProductSurfaceSchema,
     placement: ContractIdentifierSchema
   }).strict(),
-  resolvedTargets: z9.array(ResolvedNavigationTargetSchema)
+  resolvedTargets: z9.array(ResolvedNavigationTargetSchema),
+  unavailableTargets: z9.array(UnavailableNavigationTargetSchema).optional()
 }).strict().superRefine((value, context) => {
   validateDependencySnapshot(value.dependencySnapshot, context);
   validateReleaseExpectedHead(value, "navigation-release", context);
   if (value.navigationRevisionRef.kind !== "navigation") context.addIssue({ code: "custom", path: ["navigationRevisionRef", "kind"], message: "Expected a navigation revision." });
   if (value.target.environmentRef.kind !== "environment") context.addIssue({ code: "custom", path: ["target", "environmentRef", "kind"], message: "Navigation release target requires an environment reference." });
   if (uniqueArray(value.resolvedTargets, (target) => target.nodeId)) context.addIssue({ code: "custom", path: ["resolvedTargets"], message: "Resolved Navigation node IDs must be unique." });
+  if (uniqueArray([...value.resolvedTargets, ...value.unavailableTargets ?? []], (target) => target.nodeId)) {
+    context.addIssue({ code: "custom", path: ["unavailableTargets"], message: "Navigation target resolutions must have unique node IDs." });
+  }
 });
 var RuntimeDiagnosticSchema = z9.object({
   code: ContractIdentifierSchema,
@@ -10179,7 +10189,8 @@ var CompiledNavigationDomainCommandTargetSchema = ResolvedNavigationTargetSchema
 var CompiledNavigationResolvedTargetSchema = z9.discriminatedUnion("kind", [
   CompiledNavigationTargetSchema,
   CompiledNavigationRegisteredMenuActionTargetSchema,
-  CompiledNavigationDomainCommandTargetSchema
+  CompiledNavigationDomainCommandTargetSchema,
+  UnavailableNavigationTargetSchema.omit({ reason: true }).extend({ kind: z9.literal("unavailable") }).strict()
 ]);
 var CompiledNavigationGroupNodeSchema = NavigationGroupNodeSchema.extend({
   ancestorAccessPolicies: z9.array(AccessPolicySchema)
@@ -10187,7 +10198,14 @@ var CompiledNavigationGroupNodeSchema = NavigationGroupNodeSchema.extend({
 var CompiledNavigationTargetNodeSchema = NavigationTargetNodeSchema.extend({
   ancestorAccessPolicies: z9.array(AccessPolicySchema),
   resolvedTarget: CompiledNavigationResolvedTargetSchema
-}).strict();
+}).strict().superRefine((node, context) => {
+  if (node.resolvedTarget.nodeId !== node.nodeId || stableRefIdentity(node.resolvedTarget.stableTargetRef) !== stableRefIdentity(node.targetRef)) {
+    context.addIssue({ code: "custom", path: ["resolvedTarget"], message: "Resolved target identity must match the source node." });
+  }
+  if (node.resolvedTarget.kind === "unavailable" && (node.disabled !== true || Object.keys(node.parameterMapping).length > 0)) {
+    context.addIssue({ code: "custom", path: ["resolvedTarget"], message: "Unavailable targets must be disabled and contain no executable input." });
+  }
+});
 var CompiledNavigationSeparatorNodeSchema = NavigationSeparatorNodeSchema.extend({
   ancestorAccessPolicies: z9.array(AccessPolicySchema)
 }).strict();
@@ -11407,7 +11425,14 @@ var compileNavigationRuntimeBundle = (input) => {
   assertUniqueRegistryKeys(targetRegistry.map((registration) => stableRefKey(registration.stableTargetRef)), "targetRegistry");
   const targetsByStableRef = new Map(targetRegistry.map((registration) => [stableRefKey(registration.stableTargetRef), registration]));
   const releasedByNodeId = new Map(release.resolvedTargets.map((target) => [target.nodeId, target]));
+  const unavailableByNodeId = new Map((release.unavailableTargets ?? []).map((target) => [target.nodeId, target]));
   const nodesById = new Map(navigation.nodes.map((node) => [node.nodeId, node]));
+  for (const target of release.unavailableTargets ?? []) {
+    const node = nodesById.get(target.nodeId);
+    if (node?.kind !== "target" || !sameStableRef(node.targetRef, target.stableTargetRef)) {
+      throw new DeclarativeControlCompilationError("NAV_TARGET_UNRELEASED", "release.unavailableTargets", "An unavailable target must identify its source Page node exactly.");
+    }
+  }
   const nodes = orderedNavigationNodes(navigation).map((node, index) => {
     const ancestors = [];
     let parentId = node.parentNodeId;
@@ -11422,6 +11447,25 @@ var compileNavigationRuntimeBundle = (input) => {
     }
     const registration = targetsByStableRef.get(stableRefKey(node.targetRef));
     const released = releasedByNodeId.get(node.nodeId);
+    const unavailable = unavailableByNodeId.get(node.nodeId);
+    if (!registration && unavailable && node.targetRef.kind === "page" && sameStableRef(unavailable.stableTargetRef, node.targetRef)) {
+      assertTenantCompatible(node.targetRef, scope, `nodes[${index}].targetRef`);
+      if (unavailable.accessPolicy && !accessPolicyChainImplies([...ancestors, node.audience], unavailable.accessPolicy)) {
+        throw new DeclarativeControlCompilationError("AUDIENCE_WIDER_THAN_TARGET", `nodes[${index}].audience`, "Effective Navigation audience is wider than the last verified target audience.");
+      }
+      return {
+        ...node,
+        disabled: true,
+        parameterMapping: {},
+        ancestorAccessPolicies: ancestors,
+        resolvedTarget: {
+          kind: "unavailable",
+          nodeId: node.nodeId,
+          stableTargetRef: node.targetRef,
+          accessPolicy: unavailable.accessPolicy
+        }
+      };
+    }
     if (!registration || !released || !sameStableRef(registration.stableTargetRef, stableFromRevision(registration.targetRevisionRef)) || !sameStableRef(registration.stableTargetRef, released.stableTargetRef) || !sameRevisionRef(registration.targetRevisionRef, released.targetRevisionRef) || registration.kind === "route" && (Boolean(registration.releaseRevisionRef) !== Boolean(released.releaseRevisionRef) || registration.releaseRevisionRef && released.releaseRevisionRef && !sameRevisionRef(registration.releaseRevisionRef, released.releaseRevisionRef))) {
       throw new DeclarativeControlCompilationError("NAV_TARGET_UNRELEASED", `nodes[${index}].targetRef`, "Navigation target is not resolved to the exact active release recorded by NavigationRelease.");
     }
@@ -11551,6 +11595,16 @@ var resolveWorkbenchEntry = (input) => {
   return { status: "forbidden", workbenchId: "" };
 };
 
+// src/runtime/navigation-availability.ts
+var NAVIGATION_UNAVAILABLE_CAPABILITY_HEADER = "x-monkeys-navigation-capabilities";
+var NAVIGATION_UNAVAILABLE_CAPABILITY = "unavailable-pages-v1";
+function projectNavigationCompatibility(bundle, supportsUnavailable) {
+  if (supportsUnavailable || !bundle.nodes.some((node) => node.kind === "target" && node.resolvedTarget.kind === "unavailable")) return bundle;
+  const { contentHash: _hash, ...unsigned } = bundle;
+  const nodes = bundle.nodes.filter((node) => node.kind !== "target" || node.resolvedTarget.kind !== "unavailable");
+  return NavigationRuntimeBundleSchema.parse({ ...unsigned, nodes, contentHash: canonicalContentHash({ ...unsigned, nodes }) });
+}
+
 // src/runtime/menu-compiler.ts
 var MenuCompilationError = class extends Error {
   constructor(code, path, message) {
@@ -11823,6 +11877,13 @@ var compileMenuRuntimeBundle = (input) => {
   const contributionProviders = input.contributionProviders.map((registration) => MenuContributionProviderRegistrationSchema.parse(registration));
   const inputValidators = input.inputValidators ?? /* @__PURE__ */ new Map();
   const knownPermissions = new Set(input.permissionCodes.map((permission) => ContractIdentifierSchema.parse(permission)));
+  const completeApplications = new Set(input.missingPagePolicy?.completeApplicationIds.map((id) => ContractIdentifierSchema.parse(id)) ?? []);
+  const unavailableAccess = input.missingPagePolicy ? MenuAccessRequirementSchema.parse(input.missingPagePolicy.unavailableAccess) : void 0;
+  if (unavailableAccess) {
+    validatePermissionCodes(unavailableAccess.permissionAllOf, knownPermissions, "missingPagePolicy.unavailableAccess.permissionAllOf");
+    validatePermissionCodes(unavailableAccess.permissionAnyOf, knownPermissions, "missingPagePolicy.unavailableAccess.permissionAnyOf");
+  }
+  const diagnostics = [];
   pages.forEach((registration, index) => {
     if (!registration.page.visibility.productContexts.some((context) => context === registration.applicationId)) {
       throw new MenuCompilationError(
@@ -11887,6 +11948,35 @@ var compileMenuRuntimeBundle = (input) => {
       if (node.behavior.kind === "navigate") {
         const registration = pagesByKey.get(pageKey(node.behavior.page));
         if (!registration) {
+          if (unavailableAccess && completeApplications.has(node.behavior.page.applicationId)) {
+            const activationId2 = resolveMenuActivationId(node.behavior.page, node.behavior.activationId);
+            const identity2 = targetKey(node.behavior.page, activationId2);
+            const signature2 = stableSerialize2({ ...node.behavior, activationId: activationId2 });
+            const previous = targetSourceSignatures.get(identity2);
+            if (previous !== void 0 && previous !== signature2) {
+              throw new MenuCompilationError("conflicting-navigation-target", `${nodePath}.behavior`, "Missing navigation target has conflicting behavior or input.");
+            }
+            targetSourceSignatures.set(identity2, signature2);
+            if (definition.applicationId === applicationId) {
+              diagnostics.push({
+                code: "missing-page",
+                severity: "warning",
+                applicationId: definition.applicationId,
+                surface: definition.surface,
+                menuId: definition.menuId,
+                nodeId: node.nodeId,
+                page: node.behavior.page,
+                path: `${nodePath}.behavior.page`
+              });
+            }
+            const { requiredPermission: requiredPermission3, behavior: _behavior3, ...presentation3 } = node;
+            return CompiledMenuItemNodeSchema.parse({
+              ...presentation3,
+              disabled: true,
+              behavior: { kind: "navigate", page: node.behavior.page, activationId: activationId2 },
+              access: { ...unavailableAccess, requiredPermission: requiredPermission3 }
+            });
+          }
           throw new MenuCompilationError(
             "unknown-page",
             `${nodePath}.behavior.page`,
@@ -12049,6 +12139,7 @@ var compileMenuRuntimeBundle = (input) => {
   };
   return Object.freeze({
     document: deepFreeze2(document),
+    diagnostics: deepFreeze2(diagnostics),
     menusByKey,
     navigationTargetsByKey: documentTargetsByKey,
     serverInputByTargetKey,
@@ -15852,6 +15943,8 @@ export {
   DeclarativeControlCompilationError,
   MONKEYS_REQUIRED_THEME_TOKEN_PATHS,
   MenuCompilationError,
+  NAVIGATION_UNAVAILABLE_CAPABILITY,
+  NAVIGATION_UNAVAILABLE_CAPABILITY_HEADER,
   ThemeTokenValidationError,
   accessPolicyChainImplies,
   applyViewRuntimeBindings,
@@ -15896,6 +15989,7 @@ export {
   mergeThemeTokenDocuments,
   parseApplicationHandoff,
   projectAgentSessionEvents,
+  projectNavigationCompatibility,
   publishOpenApiToolCapabilityManifests,
   readApplicationHandoffFromUrl,
   readMenuActivationFromSearch,