@cynodia/axiom-compiler 0.9.0-alpha.2 → 0.11.0-alpha.1

package/dist/normalize.js

@@ -162,11 +162,16 @@ export function compileToIR(graph, options = {}) {
             case 'event':
             case 'subscription':
             case 'storage':
+            case 'query':
+            case 'relationship':
+            case 'read-policy':
+            case 'migration':
                 // Server-only vocabulary: no client concern ever needs to know an integration, its
-                // operations, the events it can raise (spec §80), the live sources it subscribes to
-                // or the object stores it reaches. A subscription in particular has no client half
-                // at all — the browser maintains no long-lived external source — so it is absent
-                // here rather than present and inert (spec 0.9 §62-64).
+                // operations, the events it can raise (spec §80), the live sources it subscribes to,
+                // the object stores it reaches, or — new in 0.10 — the registered queries,
+                // entity relationships and row-level read policies the authority executes. A client
+                // invokes a query by id and receives a typed page; it never sees a clause or a
+                // policy predicate (spec 0.10 §6, §46-49).
                 delete nodes[node.id];
                 break;
             case 'trigger': {

package/dist/server.js

@@ -1,4 +1,4 @@
-import { actionAuthority, actionGuards, authorityContext, expressionDefsIn, isObservable, maxContract, requiredServerContract, serverIRExpressions, serverStateClosure, stateAuthority, usesExternalIOVocabulary, usesIntegrationVocabulary, usesInvocationVocabulary, usesV4Semantics, validateGraph, } from '@cynodia/axiom-core';
+import { actionAuthority, actionGuards, authorityContext, expressionDefsIn, isObservable, maxContract, requiredServerContract, schemaFingerprint, stripAuthoringMetadata, serverIRExpressions, serverStateClosure, stateAuthority, usesExternalIOVocabulary, usesIntegrationVocabulary, usesInvocationVocabulary, usesMigrationVocabulary, usesQueryVocabulary, usesV4Semantics, validateGraph, } from '@cynodia/axiom-core';
 import { GraphValidationError } from './normalize.js';
 /**
  * Compiles the authoritative half of a graph.
@@ -30,6 +30,10 @@ export function compileToServerIR(graph, options = {}) {
     const events = [];
     const subscriptions = [];
     const storages = [];
+    const queries = [];
+    const relationships = [];
+    const readPolicies = [];
+    const migrations = [];
     for (const node of nodes) {
         if (node.kind === 'entity') {
             entities.push(node);
@@ -61,6 +65,30 @@ export function compileToServerIR(graph, options = {}) {
         else if (node.kind === 'storage') {
             storages.push(node);
         }
+        else if (node.kind === 'query') {
+            // A query reads authoritative data, so it is executed on the authority and nowhere
+            // else. The client invokes it by id (spec 0.10 §6); it never receives the clauses.
+            queries.push(node);
+        }
+        else if (node.kind === 'relationship') {
+            relationships.push(node);
+        }
+        else if (node.kind === 'read-policy') {
+            readPolicies.push(node);
+        }
+        else if (node.kind === 'migration') {
+            // A migration is authority-side by construction: only the authoritative runtime
+            // executes a schema evolution, and only against persisted canonical data (spec11
+            // §73). It never reaches a client. Authoring markers on the migration or its
+            // operations are stripped like any other trust-boundary payload.
+            migrations.push({
+                ...stripAuthoringMetadata(node),
+                operations: node.operations.map((operation) => stripAuthoringMetadata(operation)),
+                ...(node.reverseOperations
+                    ? { reverseOperations: node.reverseOperations.map((operation) => stripAuthoringMetadata(operation)) }
+                    : {}),
+            });
+        }
     }
     const states = [];
     const observableStateIds = [];
@@ -104,10 +132,25 @@ export function compileToServerIR(graph, options = {}) {
     for (const entry of graph.listFields()) {
         fields[entry.field.id] = entry;
     }
+    // Schema-evolution vocabulary is emitted only when the document actually uses it — a
+    // migration node, or a schemaVersion past the default 1. A plain graph compiles to the
+    // byte-identical pre-v7 document it always did, so the frozen v1–v6 contracts and their
+    // conformance fixtures are untouched (spec11 §87).
+    const emitSchemaEvolution = usesMigrationVocabulary({
+        migrations,
+        schemaVersion: graph.schemaVersion,
+    });
     const rules = {
         id: graph.id,
         name: graph.name,
         version: graph.version,
+        ...(emitSchemaEvolution
+            ? {
+                schemaVersion: graph.schemaVersion,
+                schemaFingerprint: schemaFingerprint(graph),
+                ...(migrations.length > 0 ? { migrations } : {}),
+            }
+            : {}),
         entities,
         fields,
         states,
@@ -122,6 +165,9 @@ export function compileToServerIR(graph, options = {}) {
         ...(triggers.length > 0 ? { triggers } : {}),
         ...(subscriptions.length > 0 ? { subscriptions } : {}),
         ...(storages.length > 0 ? { storages } : {}),
+        ...(queries.length > 0 ? { queries } : {}),
+        ...(relationships.length > 0 ? { relationships } : {}),
+        ...(readPolicies.length > 0 ? { readPolicies } : {}),
     };
     // 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.
@@ -151,6 +197,8 @@ export function compileToServerIR(graph, options = {}) {
         usesIntegrationVocabulary(document) ? 'axiom.server.v3' : 'axiom.server.v1',
         usesV4Semantics(document) ? 'axiom.server.v4' : 'axiom.server.v1',
         usesExternalIOVocabulary(document) ? 'axiom.server.v5' : 'axiom.server.v1',
+        usesQueryVocabulary(document) ? 'axiom.server.v6' : 'axiom.server.v1',
+        usesMigrationVocabulary(document) ? 'axiom.server.v7' : 'axiom.server.v1',
     ];
     const contract = contractCandidates.reduce(maxContract);
     return { contract, ...document };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cynodia/axiom-compiler",
-  "version": "0.9.0-alpha.2",
+  "version": "0.11.0-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.9.0-alpha.2",
-    "@cynodia/axiom-runtime": "0.9.0-alpha.2"
+    "@cynodia/axiom-core": "0.11.0-alpha.1",
+    "@cynodia/axiom-runtime": "0.11.0-alpha.1"
   },
   "scripts": {
     "build": "tsc -b tsconfig.json tsconfig.test.json",