@cynodia/axiom-compiler 0.7.0-alpha.2 → 0.8.1-alpha.1

package/dist/normalize.d.ts

@@ -1,5 +1,5 @@
 import type { ApplicationGraph, ApplicationIR, ValidationIssue, ValidationResult } from '@cynodia/axiom-core';
-import type { RendererCapabilities } from '@cynodia/axiom-core';
+import type { RendererCapabilities, TriggerRuntimeCapabilities } from '@cynodia/axiom-core';
 export declare class GraphValidationError extends Error {
     readonly problems: ValidationIssue[];
     constructor(result: ValidationResult);
@@ -21,6 +21,12 @@ export interface CompileOptions {
      * rejected at compile time rather than discovered on screen.
      */
     renderer?: RendererCapabilities;
+    /**
+     * The trigger runtime the IR is being compiled for. Defaults to the browser's real (empty)
+     * capability set, because the browser runtime implements no trigger kind — so a
+     * client-authority trigger is rejected at compile time rather than compiled inert.
+     */
+    triggerRuntime?: TriggerRuntimeCapabilities;
 }
 /**
  * Validates a graph and normalizes it into the runtime-ready IR: references resolved,

package/dist/normalize.js

@@ -1,6 +1,6 @@
 import { actionAuthority, actionGuards, authorityContext, inferExpressionType, inferLocationType, itemTypeOf, locationFieldIds, locationRootStateId, referencedIds, resolvePresentationMap, semanticContextFromGraph, stateAuthority, validateGraph, } from '@cynodia/axiom-core';
 import { isUINode, stripAuthoringMetadata } from '@cynodia/axiom-core';
-import { BROWSER_RENDERER_CAPABILITIES } from '@cynodia/axiom-runtime';
+import { BROWSER_RENDERER_CAPABILITIES, BROWSER_TRIGGER_CAPABILITIES } from '@cynodia/axiom-runtime';
 export class GraphValidationError extends Error {
     problems;
     constructor(result) {
@@ -41,6 +41,7 @@ export function compileToIR(graph, options = {}) {
     if (options.validate !== false) {
         const result = validateGraph(graph, {
             renderer: options.renderer ?? BROWSER_RENDERER_CAPABILITIES,
+            triggerRuntime: options.triggerRuntime ?? BROWSER_TRIGGER_CAPABILITIES,
         });
         if (!result.valid) {
             throw new GraphValidationError(result);
@@ -71,6 +72,7 @@ export function compileToIR(graph, options = {}) {
     const transitionConstraints = [];
     const expressionDefs = {};
     const routes = [];
+    const triggers = [];
     // Authoring metadata is stripped on the way in, so no later stage has to remember to.
     const forIR = (node) => options.includeAuthoringMetadata ? node : stripAuthoringMetadata(node);
     for (const raw of graph.listNodes()) {
@@ -155,6 +157,30 @@ export function compileToIR(graph, options = {}) {
                 }
                 expressionDefs[node.id] = node;
                 break;
+            case 'integration':
+            case 'integration-operation':
+            case 'event':
+                // Server-only vocabulary: no client concern ever needs to know an integration,
+                // its operations or the events it can raise exist (spec §80).
+                delete nodes[node.id];
+                break;
+            case 'trigger': {
+                // Only client-authority, non-event triggers belong in the client IR. An `event`
+                // trigger only ever fires from a server-dispatched event, and a trigger whose
+                // target action is server-authority executes there, not here.
+                const target = authorityOf.actions.get(node.actionId);
+                const triggerAuthority = target ? actionAuthority(target, authorityOf) : 'client';
+                const triggerExpressions = [
+                    ...Object.values(node.arguments ?? {}),
+                    ...(node.enabledWhen ? [node.enabledWhen] : []),
+                ];
+                if (node.when.kind === 'event' || triggerAuthority === 'server' || readsHiddenState(triggerExpressions)) {
+                    delete nodes[node.id];
+                    break;
+                }
+                triggers.push(node);
+                break;
+            }
             default:
         }
     }
@@ -231,6 +257,7 @@ export function compileToIR(graph, options = {}) {
         remoteActionIds,
         theme,
         presentation,
+        triggers,
     };
 }
 export function serializeIR(ir) {

package/dist/server.js

@@ -1,4 +1,4 @@
-import { actionAuthority, actionGuards, authorityContext, expressionDefsIn, isObservable, requiredServerContract, serverIRExpressions, serverStateClosure, stateAuthority, validateGraph, } from '@cynodia/axiom-core';
+import { actionAuthority, actionGuards, authorityContext, expressionDefsIn, isObservable, maxContract, requiredServerContract, serverIRExpressions, serverStateClosure, stateAuthority, usesIntegrationVocabulary, usesInvocationVocabulary, usesV4Semantics, validateGraph, } from '@cynodia/axiom-core';
 import { GraphValidationError } from './normalize.js';
 /**
  * Compiles the authoritative half of a graph.
@@ -25,6 +25,9 @@ export function compileToServerIR(graph, options = {}) {
     const constraints = [];
     const transitionConstraints = [];
     const expressionDefs = {};
+    const integrations = [];
+    const integrationOperations = {};
+    const events = [];
     for (const node of nodes) {
         if (node.kind === 'entity') {
             entities.push(node);
@@ -38,6 +41,15 @@ export function compileToServerIR(graph, options = {}) {
         else if (node.kind === 'expression') {
             expressionDefs[node.id] = node;
         }
+        else if (node.kind === 'integration') {
+            integrations.push(node);
+        }
+        else if (node.kind === 'integration-operation') {
+            integrationOperations[node.id] = node;
+        }
+        else if (node.kind === 'event') {
+            events.push(node);
+        }
     }
     const states = [];
     const observableStateIds = [];
@@ -65,6 +77,18 @@ export function compileToServerIR(graph, options = {}) {
             failureModes: guards.map((guard) => guard.failureMode ?? { code: 'precondition-failed' }),
         };
     }
+    // Only the triggers whose target action executes here. A `route-enter`/`route-leave`
+    // trigger's target is always client-authority (validated), so it is naturally excluded.
+    const triggers = [];
+    for (const node of nodes) {
+        if (node.kind !== 'trigger') {
+            continue;
+        }
+        const target = context.actions.get(node.actionId);
+        if (target && actionAuthority(target, context) === 'server') {
+            triggers.push(node);
+        }
+    }
     const fields = {};
     for (const entry of graph.listFields()) {
         fields[entry.field.id] = entry;
@@ -81,6 +105,10 @@ export function compileToServerIR(graph, options = {}) {
         transitionConstraints,
         ...(graph.principalEntityId ? { principalEntityId: graph.principalEntityId } : {}),
         observableStateIds,
+        ...(integrations.length > 0 ? { integrations } : {}),
+        ...(Object.keys(integrationOperations).length > 0 ? { integrationOperations } : {}),
+        ...(events.length > 0 ? { events } : {}),
+        ...(triggers.length > 0 ? { triggers } : {}),
     };
     // Only the definitions the authority's own rules reach. A calculation used by the client
     // alone decides nothing here, and the Server IR carries nothing that decides nothing.
@@ -99,12 +127,18 @@ export function compileToServerIR(graph, options = {}) {
     const document = { ...rules, ...(carriesDefinitions ? { expressionDefs: used } : {}) };
     /**
      * The label follows the vocabulary the document actually uses. An application that uses
-     * nothing from 0.7 compiles to the same `axiom.server.v1` document it always did; one
-     * that groups or names an expression says so, because a v1 runtime could not execute it.
+     * nothing from 0.7 or 0.8 compiles to the same `axiom.server.v1` document it always did;
+     * one that groups or names an expression, or uses any integration/trigger/event
+     * vocabulary, says so, because an older runtime could not execute it.
      */
-    const contract = carriesDefinitions
-        ? 'axiom.server.v2'
-        : requiredServerContract(serverIRExpressions(document));
+    const contractCandidates = [
+        carriesDefinitions || usesInvocationVocabulary(document)
+            ? 'axiom.server.v2'
+            : requiredServerContract(serverIRExpressions(document)),
+        usesIntegrationVocabulary(document) ? 'axiom.server.v3' : 'axiom.server.v1',
+        usesV4Semantics(document) ? 'axiom.server.v4' : 'axiom.server.v1',
+    ];
+    const contract = contractCandidates.reduce(maxContract);
     return { contract, ...document };
 }
 export function serializeServerIR(ir) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cynodia/axiom-compiler",
-  "version": "0.7.0-alpha.2",
+  "version": "0.8.1-alpha.1",
   "description": "Normalizes an Axiom application graph and emits a self-contained page.",
   "license": "MIT",
   "author": "AskTech AS",
@@ -31,8 +31,8 @@
     }
   },
   "dependencies": {
-    "@cynodia/axiom-core": "0.7.0-alpha.2",
-    "@cynodia/axiom-runtime": "0.7.0-alpha.2"
+    "@cynodia/axiom-core": "0.8.1-alpha.1",
+    "@cynodia/axiom-runtime": "0.8.1-alpha.1"
   },
   "scripts": {
     "build": "tsc -b tsconfig.json tsconfig.test.json",