@inf-monkeys-tech/monkeys 1.1.38 → 1.1.40

package/lib/contracts/declarative-control.js

@@ -1,8 +1,8 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.CursorWindowBindingSchema = exports.DomainQueryDefinitionSchema = exports.DomainQueryDataSourceSchema = exports.RegisteredServiceDomainQueryDataSourceSchema = exports.GovernedCatalogDomainQueryDataSourceSchema = exports.GovernedCatalogResourceKindSchema = exports.InteractionBindingSchema = exports.PageStateDefinitionSchema = exports.LegacyBrowserPreferenceImportSchema = exports.ResolvedPageEntryTransitionSchema = exports.PageEntryTransitionSchema = exports.PageStateActivationSchema = exports.PageStateConditionSchema = exports.BindingSourceSchema = exports.DeclarativeRouteClaimSchema = exports.LegacyRouteTakeoverAuthorizationSchema = exports.LegacySlotRestorationSchema = exports.WorkbenchIdentitySchema = exports.PublicationPlanSchema = exports.PublicationPlanOperationSchema = exports.ReleaseEvidenceSchema = exports.ReleaseValidationSchema = exports.ReleaseDependencySchema = exports.ReleaseDependencyRoleSchema = exports.ReleaseOperationSchema = exports.CompiledRouteClaimSchema = exports.CompiledRouteMatcherSchema = exports.RouteClaimSchema = exports.LegacyRouteClaimSchema = exports.RouteSpaceSchema = exports.RouteSpaceParameterSchema = exports.RoutePathTemplateSchema = exports.ManagementAccessSchema = exports.PermissionAlternativePolicySchema = exports.AccessPolicySchema = exports.DeclarativeRuntimeShellDescriptorSchema = exports.DeclarativeShellSurfaceChromeSchema = exports.DeclarativeShellHeaderChromeSchema = exports.ProductSurfaceSchema = exports.DeclarativeLifecycleSchema = exports.StableRefAliasMapSchema = exports.StableRefAliasSchema = exports.RevisionRefSchema = exports.StableRefSchema = exports.ReferenceVisibilitySchema = exports.TenantScopeSchema = exports.ScopedIdentityRefSchema = exports.I18nTextSchema = exports.DECLARATIVE_CONTROL_SCHEMA_VERSION = exports.analyzePageBindingDependencies = void 0;
-exports.ResolvedWorkbenchAppInstanceSchema = exports.DeclarativeWorkbenchCatalogSchema = exports.DeclarativeWorkbenchCatalogEntrySchema = exports.DeclarativeRouteOwnerIndexSchema = exports.DeclarativeRouteOwnerIndexEntrySchema = exports.NavigationReleaseSchema = exports.UnavailableNavigationTargetSchema = exports.ResolvedNavigationTargetSchema = exports.NavigationSchema = exports.NavigationNodeSchema = exports.NavigationHeadbarModeSwitchSchema = exports.NavigationSeparatorNodeSchema = exports.NavigationTargetNodeSchema = exports.NavigationGroupNodeSchema = exports.WorkbenchReleaseSchema = exports.WorkbenchSchema = exports.WorkbenchAppInstanceSchema = exports.WorkbenchGroupSchema = exports.PageReleaseSchema = exports.ResolvedPageSchema = exports.PageSchema = exports.PageSharedStateBindingSchema = exports.PageNodeSchema = exports.PageActionSchema = exports.ProgramBindingSchema = exports.PageProgramActionSchema = exports.ActionProgramArtifactSchema = exports.ActionProgramDefinitionSchema = exports.ActionProgramDependencySchema = exports.DEFAULT_ACTION_PROGRAM_BUDGETS = exports.ActionProgramBudgetsSchema = exports.ACTION_PROGRAM_ABI = exports.PageDataSchema = exports.PageInteractionSchema = exports.PageEntrySchema = exports.PageEntryTargetSchema = exports.PageStateSchema = exports.PageRouteStatePresentationSchema = exports.PageMigrationEquivalenceSchema = exports.PageMigrationEquivalenceDimensionSchema = exports.ActionBindingSchema = exports.ActionResultClipboardEffectSchema = exports.ActionResultBindingEffectSchema = exports.ActionResultBindingEffectSourceSchema = exports.PersistedOntologyBindingSchema = exports.LegacyOntologyBindingSchema = exports.OntologyBindingSchema = exports.CapabilityInstanceSchema = exports.QueryBindingSchema = exports.QueryResultStateBindingSchema = void 0;
-exports.DECLARATIVE_CONTROL_ONTOLOGY_DEFINITIONS = exports.DeclarativeControlOntologyDefinitionSchema = exports.NavigationRuntimeBundleSchema = exports.CompiledNavigationNodeSchema = exports.CompiledNavigationSeparatorNodeSchema = exports.CompiledNavigationTargetNodeSchema = exports.CompiledNavigationGroupNodeSchema = exports.CompiledNavigationResolvedTargetSchema = exports.CompiledNavigationDomainCommandTargetSchema = exports.CompiledNavigationRegisteredMenuActionTargetSchema = exports.WorkbenchRuntimeBundleSchema = exports.WorkbenchRuntimeIdentitySchema = exports.ReadablePageRuntimeBundleSchema = exports.LegacyPageRuntimeBundleSchema = exports.PageRuntimeBundleSchema = void 0;
+exports.DeclarativeWorkbenchCatalogSchema = exports.DeclarativeWorkbenchCatalogEntrySchema = exports.DeclarativeRouteOwnerIndexSchema = exports.DeclarativeRouteOwnerIndexEntrySchema = exports.NavigationReleaseSchema = exports.UnavailableNavigationTargetSchema = exports.ResolvedNavigationTargetSchema = exports.NavigationSchema = exports.NavigationNodeSchema = exports.NavigationHeadbarSchema = exports.NavigationHeadbarActionSchema = exports.NavigationSeparatorNodeSchema = exports.NavigationTargetNodeSchema = exports.NavigationGroupNodeSchema = exports.WorkbenchReleaseSchema = exports.WorkbenchSchema = exports.WorkbenchAppInstanceSchema = exports.WorkbenchGroupSchema = exports.PageReleaseSchema = exports.ResolvedPageSchema = exports.PageSchema = exports.PageSharedStateBindingSchema = exports.PageNodeSchema = exports.PageActionSchema = exports.ProgramBindingSchema = exports.PageProgramActionSchema = exports.ActionProgramArtifactSchema = exports.ActionProgramDefinitionSchema = exports.ActionProgramDependencySchema = exports.DEFAULT_ACTION_PROGRAM_BUDGETS = exports.ActionProgramBudgetsSchema = exports.ACTION_PROGRAM_ABI = exports.PageDataSchema = exports.PageInteractionSchema = exports.PageEntrySchema = exports.PageEntryTargetSchema = exports.PageStateSchema = exports.PageRouteStatePresentationSchema = exports.PageMigrationEquivalenceSchema = exports.PageMigrationEquivalenceDimensionSchema = exports.ActionBindingSchema = exports.ActionResultClipboardEffectSchema = exports.ActionResultBindingEffectSchema = exports.ActionResultBindingEffectSourceSchema = exports.PersistedOntologyBindingSchema = exports.LegacyOntologyBindingSchema = exports.OntologyBindingSchema = exports.CapabilityInstanceSchema = exports.QueryBindingSchema = exports.QueryResultStateBindingSchema = void 0;
+exports.DECLARATIVE_CONTROL_ONTOLOGY_DEFINITIONS = exports.DeclarativeControlOntologyDefinitionSchema = exports.NavigationRuntimeBundleSchema = exports.CompiledNavigationNodeSchema = exports.CompiledNavigationSeparatorNodeSchema = exports.CompiledNavigationTargetNodeSchema = exports.CompiledNavigationGroupNodeSchema = exports.CompiledNavigationResolvedTargetSchema = exports.CompiledNavigationDomainCommandTargetSchema = exports.CompiledNavigationRegisteredMenuActionTargetSchema = exports.WorkbenchRuntimeBundleSchema = exports.WorkbenchRuntimeIdentitySchema = exports.ReadablePageRuntimeBundleSchema = exports.LegacyPageRuntimeBundleSchema = exports.PageRuntimeBundleSchema = exports.ResolvedWorkbenchAppInstanceSchema = void 0;
 const zod_1 = require("zod");
 const common_1 = require("./common");
 const data_1 = require("./data");
@@ -4272,64 +4272,84 @@ exports.NavigationSeparatorNodeSchema = zod_1.z
     kind: zod_1.z.literal("separator"),
 })
     .strict();
-const NavigationHeadbarModeSchema = zod_1.z
-    .object({
-    id: common_1.ContractIdentifierSchema,
-    label: exports.I18nTextSchema,
-    icon: zod_1.z.string().trim().min(1).max(16),
-    navigationVisible: zod_1.z.boolean(),
-    targetNodeId: common_1.ContractIdentifierSchema.optional(),
-})
-    .strict()
-    .superRefine((value, context) => {
-    if (value.id === "smart" && !value.targetNodeId) {
-        context.addIssue({
-            code: "custom",
-            path: ["targetNodeId"],
-            message: "The smart Headbar mode must identify a Navigation target node.",
-        });
-    }
-});
-exports.NavigationHeadbarModeSwitchSchema = zod_1.z
-    .object({
-    defaultMode: zod_1.z.enum(["professional", "smart"]),
-    storageKey: common_1.ContractIdentifierSchema,
-    modes: zod_1.z.array(NavigationHeadbarModeSchema).length(2),
-})
-    .strict()
-    .superRefine((value, context) => {
-    const ids = value.modes.map((mode) => mode.id);
-    if (new Set(ids).size !== ids.length || !ids.includes("professional") || !ids.includes("smart")) {
-        context.addIssue({
-            code: "custom",
-            path: ["modes"],
-            message: "Headbar mode switches must define exactly professional and smart modes once.",
-        });
-    }
-    const professional = value.modes.find((mode) => mode.id === "professional");
-    const smart = value.modes.find((mode) => mode.id === "smart");
-    if (professional && (!professional.navigationVisible || professional.targetNodeId)) {
-        context.addIssue({
-            code: "custom",
-            path: ["modes"],
-            message: "Professional mode must retain Navigation and cannot declare a route target.",
-        });
-    }
-    if (smart && smart.navigationVisible) {
-        context.addIssue({
-            code: "custom",
-            path: ["modes"],
-            message: "Smart mode must hide the declared Navigation.",
-        });
-    }
-    if (value.defaultMode === "smart" && !value.modes.find((mode) => mode.id === "smart")?.targetNodeId) {
-        context.addIssue({
-            code: "custom",
-            path: ["defaultMode"],
-            message: "A smart default requires an executable smart target.",
+const HeadbarActionConditionShape = { when: page_expression_1.PageExpressionSchema.optional() };
+exports.NavigationHeadbarActionSchema = zod_1.z.discriminatedUnion("kind", [
+    zod_1.z.object({
+        ...HeadbarActionConditionShape,
+        kind: zod_1.z.literal("navigate"),
+        nodeId: common_1.ContractIdentifierSchema,
+        rememberLocation: common_1.ContractIdentifierSchema.optional(),
+    }).strict(),
+    zod_1.z.object({
+        ...HeadbarActionConditionShape,
+        kind: zod_1.z.literal("restore-location"),
+        key: common_1.ContractIdentifierSchema,
+    }).strict(),
+    zod_1.z.object({
+        ...HeadbarActionConditionShape,
+        kind: zod_1.z.literal("set-state"),
+        stateId: common_1.ContractIdentifierSchema,
+        value: page_expression_1.PageExpressionSchema,
+    }).strict(),
+]);
+exports.NavigationHeadbarSchema = zod_1.z.object({
+    state: zod_1.z.record(common_1.ContractIdentifierSchema, zod_1.z.object({
+        defaultValue: zod_1.z.union([zod_1.z.string(), zod_1.z.number().finite(), zod_1.z.boolean(), zod_1.z.null()]),
+        persistence: zod_1.z.enum(["none", "user-preference"]),
+    }).strict()).default({}),
+    navigationVisible: page_expression_1.PageExpressionSchema.optional(),
+    buttons: zod_1.z.array(zod_1.z.object({
+        id: common_1.ContractIdentifierSchema,
+        label: exports.I18nTextSchema,
+        icon: zod_1.z.discriminatedUnion("kind", [
+            zod_1.z.object({ kind: zod_1.z.literal("text"), value: zod_1.z.string().trim().min(1).max(16) }).strict(),
+            zod_1.z.object({ kind: zod_1.z.literal("design-icon"), name: common_1.ContractIdentifierSchema }).strict(),
+        ]),
+        presentation: zod_1.z.enum(["icon", "icon-label"]).default("icon"),
+        when: page_expression_1.PageExpressionSchema.optional(),
+        onPress: zod_1.z.array(exports.NavigationHeadbarActionSchema).min(1).max(8),
+    }).strict()).max(32),
+}).strict().superRefine((value, context) => {
+    if (Object.keys(value.state).length > 32)
+        context.addIssue({ code: "custom", path: ["state"], message: "Headbar supports at most 32 state values." });
+    const ids = value.buttons.map(button => button.id);
+    if (new Set(ids).size !== ids.length)
+        context.addIssue({ code: "custom", path: ["buttons"], message: "Headbar button identities must be unique." });
+    const checkExpression = (expression, path) => {
+        if (!expression)
+            return;
+        for (const read of (0, page_expression_1.collectExternalPageExpressionReads)(expression)) {
+            if (read.root === "state" && read.path.length && Object.prototype.hasOwnProperty.call(value.state, read.path[0]))
+                continue;
+            if (read.root === "scope" && read.path[0] === "targets")
+                continue;
+            context.addIssue({ code: "custom", path, message: "Headbar expressions may read declared state and resolved navigation targets only." });
+        }
+    };
+    checkExpression(value.navigationVisible, ["navigationVisible"]);
+    value.buttons.forEach((button, index) => {
+        checkExpression(button.when, ["buttons", index, "when"]);
+        button.onPress.forEach((action, actionIndex) => {
+            const path = ["buttons", index, "onPress", actionIndex];
+            checkExpression(action.when, [...path, "when"]);
+            if (action.kind === "set-state") {
+                if (!Object.prototype.hasOwnProperty.call(value.state, action.stateId))
+                    context.addIssue({ code: "custom", path, message: "Headbar actions must update declared state." });
+                checkExpression(action.value, [...path, "value"]);
+            }
         });
-    }
+    });
 });
+const validateHeadbarTargets = (headbar, nodes, context) => {
+    headbar?.buttons.forEach((button, index) => button.onPress.forEach((action, actionIndex) => {
+        if (action.kind !== "navigate")
+            return;
+        const target = nodes.find(node => node.nodeId === action.nodeId);
+        if (!target || target.kind !== "target" || !["page", "workbench"].includes(target.targetRef?.kind ?? "")) {
+            context.addIssue({ code: "custom", path: ["headbar", "buttons", index, "onPress", actionIndex], message: "Headbar navigation requires a Page or Workbench target in this Navigation." });
+        }
+    }));
+};
 exports.NavigationNodeSchema = zod_1.z.discriminatedUnion("kind", [
     exports.NavigationGroupNodeSchema,
     exports.NavigationTargetNodeSchema,
@@ -4399,7 +4419,14 @@ exports.NavigationSchema = zod_1.z
     placements: zod_1.z.array(common_1.ContractIdentifierSchema).min(1),
     lifecycle: exports.DeclarativeLifecycleSchema,
     nodes: zod_1.z.array(exports.NavigationNodeSchema),
-    headbarModeSwitch: exports.NavigationHeadbarModeSwitchSchema.optional(),
+    headbar: exports.NavigationHeadbarSchema.optional(),
+    /** Historical releases retain this opaque payload for revision readback and rolling upgrades. New Headbar runtimes ignore it. */
+    headbarModeSwitch: common_1.JsonObjectSchema.optional(),
+    menuRef: zod_1.z.object({
+        applicationId: common_1.ContractIdentifierSchema,
+        surface: common_1.ContractIdentifierSchema,
+        menuId: common_1.ContractIdentifierSchema,
+    }).strict().optional(),
     managementAccess: exports.ManagementAccessSchema,
     performanceBudgetRef: exports.RevisionRefSchema,
     observationPolicyRevisionRef: exports.RevisionRefSchema,
@@ -4407,17 +4434,13 @@ exports.NavigationSchema = zod_1.z
     .strict()
     .superRefine((value, context) => {
     validateNavigationTree(value.nodes, context);
-    const smartTargetNodeId = value.headbarModeSwitch?.modes.find((mode) => mode.id === "smart")?.targetNodeId;
-    if (smartTargetNodeId) {
-        const target = value.nodes.find((node) => node.nodeId === smartTargetNodeId);
-        if (!target || target.kind !== "target" || target.targetRef.kind !== "page") {
-            context.addIssue({
-                code: "custom",
-                path: ["headbarModeSwitch", "modes"],
-                message: "The smart Headbar mode must point to a Page target in the same Navigation.",
-            });
-        }
-    }
+    validateHeadbarTargets(value.headbar, value.nodes, context);
+    if (value.headbar && value.headbarModeSwitch)
+        context.addIssue({ code: "custom", path: ["headbar"], message: "Headbar controls replace the historical declaration; both cannot be authored together." });
+    if (value.menuRef && (value.nodes.length || value.headbar))
+        context.addIssue({
+            code: "custom", path: ["menuRef"], message: "A menu reference delegates menu ownership and cannot duplicate nodes or controls.",
+        });
     value.nodes.forEach((node, index) => {
         if (node.kind === "target" &&
             !["page", "workbench", "menu-action", "domain-command"].includes(node.targetRef.kind)) {
@@ -4926,7 +4949,14 @@ exports.NavigationRuntimeBundleSchema = zod_1.z
     surface: exports.ProductSurfaceSchema,
     placement: common_1.ContractIdentifierSchema,
     nodes: zod_1.z.array(exports.CompiledNavigationNodeSchema),
-    headbarModeSwitch: exports.NavigationHeadbarModeSwitchSchema.optional(),
+    headbar: exports.NavigationHeadbarSchema.optional(),
+    /** Historical releases retain this opaque payload for revision readback and rolling upgrades. New Headbar runtimes ignore it. */
+    headbarModeSwitch: common_1.JsonObjectSchema.optional(),
+    menuRef: zod_1.z.object({
+        applicationId: common_1.ContractIdentifierSchema,
+        surface: common_1.ContractIdentifierSchema,
+        menuId: common_1.ContractIdentifierSchema,
+    }).strict().optional(),
     performanceBudgetRef: exports.RevisionRefSchema,
     observationPolicyRevisionRef: exports.RevisionRefSchema,
 })
@@ -4934,20 +4964,6 @@ exports.NavigationRuntimeBundleSchema = zod_1.z
     .superRefine((value, context) => {
     validateRuntimeBundleBase(value, "navigation-release", context);
     validateRuntimeBundleReference(value.navigationRevisionRef, value.tenantScope, "navigationRevisionRef", "navigation", value.navigationId, context);
-    const targetNodeId = value.headbarModeSwitch?.modes.find((mode) => mode.id === "smart")?.targetNodeId;
-    if (targetNodeId) {
-        const target = value.nodes.find((node) => node.nodeId === targetNodeId);
-        if (target?.kind !== "target" ||
-            target.targetRef.kind !== "page" ||
-            target.resolvedTarget.kind !== "route" ||
-            target.disabled) {
-            context.addIssue({
-                code: "custom",
-                path: ["headbarModeSwitch", "modes"],
-                message: "The smart Headbar mode must resolve to an enabled Page route in the compiled Navigation.",
-            });
-        }
-    }
 });
 exports.DeclarativeControlOntologyDefinitionSchema = data_1.OntologyDefinitionSchema.extend({
     classification: zod_1.z.literal("control"),