@cynodia/axiom-server 0.6.3-alpha.1 → 0.7.0-alpha.2

package/conformance/manifest.json

@@ -2,7 +2,7 @@
   "conformance": "axiom.conformance.v1",
   "contract": "axiom.server.v1",
   "protocol": "axiom.protocol.v1",
-  "release": "0.6.3-alpha.1",
+  "release": "0.7.0-alpha.2",
   "description": "Portable conformance fixtures for the Axiom Server IR. Each entry is a self-contained JSON document: the Server IR, the state to start from, the principals, the invocations to perform and the results required. Running them needs no part of this implementation.",
   "areas": [
     "action guards",

package/dist/index.d.ts

@@ -7,7 +7,7 @@
  * ApplicationGraph.
  */
 export type { ServerIR, ServerIRContract } from '@cynodia/axiom-core';
-export { SERVER_IR_CONTRACT, PRINCIPAL } from '@cynodia/axiom-core';
+export { SERVER_IR_CONTRACT, SERVER_IR_CONTRACTS, SERVER_IR_LATEST_CONTRACT, PRINCIPAL, } from '@cynodia/axiom-core';
 export * from './protocol.js';
 export * from './persistence.js';
 export * from './sqlite-persistence.js';

package/dist/index.js

@@ -1,4 +1,4 @@
-export { SERVER_IR_CONTRACT, PRINCIPAL } from '@cynodia/axiom-core';
+export { SERVER_IR_CONTRACT, SERVER_IR_CONTRACTS, SERVER_IR_LATEST_CONTRACT, PRINCIPAL, } from '@cynodia/axiom-core';
 export * from './protocol.js';
 export * from './persistence.js';
 export * from './sqlite-persistence.js';

package/dist/server.js

@@ -1,4 +1,4 @@
-import { DEFAULT_THEME, PRINCIPAL, SERVER_IR_CONTRACT, optionalType, entityType, validateValueAgainstType, } from '@cynodia/axiom-core';
+import { DEFAULT_THEME, PRINCIPAL, SERVER_IR_CONTRACTS, optionalType, entityType, requiredServerContract, serverIRExpressions, validateValueAgainstType, } from '@cynodia/axiom-core';
 import { MemoryElement, createAxiomRuntime, createMemoryHost, valuesEqual } from '@cynodia/axiom-runtime';
 import { createMemoryPersistence } from './persistence.js';
 import { createServerHost } from './host.js';
@@ -83,8 +83,15 @@ function disclosable(diagnostic) {
     return { ...diagnostic, details };
 }
 export function createAxiomServer(options) {
-    if (options.ir.contract !== SERVER_IR_CONTRACT) {
-        throw new Error(`Unsupported Server IR contract "${String(options.ir.contract)}"; this runtime executes ${SERVER_IR_CONTRACT}`);
+    if (!SERVER_IR_CONTRACTS.includes(String(options.ir.contract))) {
+        throw new Error(`Unsupported Server IR contract "${String(options.ir.contract)}"; this runtime executes ${SERVER_IR_CONTRACTS.join(', ')}`);
+    }
+    // A document may not claim a contract older than the vocabulary it uses. Executing it
+    // anyway would make the label meaningless, and the label is what another implementation
+    // decides by.
+    const understated = understatedContract(options.ir);
+    if (understated) {
+        throw new Error(`Server IR declares "${String(options.ir.contract)}" but uses ${understated} semantics; label it ${understated}`);
     }
     const ir = options.ir;
     const persistence = options.persistence ?? createMemoryPersistence();
@@ -465,6 +472,20 @@ export function createAxiomServer(options) {
  * runs the ordinary semantic engine over it. Nothing about transactions, constraints or
  * iteration is reimplemented, which is the only way to guarantee the semantics match.
  */
+/**
+ * The contract a document needs, when that is newer than the one it declares.
+ *
+ * The check runs in the direction that matters: a v2 runtime executing a document labelled
+ * v1 would accept vocabulary a v1 runtime elsewhere would refuse, and the two would then
+ * disagree about the same file.
+ */
+function understatedContract(ir) {
+    const required = ir.expressionDefs
+        ? 'axiom.server.v2'
+        : requiredServerContract(serverIRExpressions(ir));
+    const order = SERVER_IR_CONTRACTS;
+    return order.indexOf(required) > order.indexOf(String(ir.contract)) ? required : undefined;
+}
 function buildRuntime(ir, host) {
     const nodes = {};
     for (const entity of ir.entities) {
@@ -509,6 +530,7 @@ function buildRuntime(ir, host) {
         uiNodes: {},
         constraints: ir.constraints,
         transitionConstraints: ir.transitionConstraints,
+        expressionDefs: ir.expressionDefs ?? {},
         routes: [],
         edges: [],
         locationTypes: {},

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cynodia/axiom-server",
-  "version": "0.6.3-alpha.1",
+  "version": "0.7.0-alpha.2",
   "description": "Authoritative server runtime that executes an Axiom Server IR.",
   "license": "MIT",
   "author": "AskTech AS",
@@ -36,8 +36,8 @@
     "./schema/*": "./schema/*"
   },
   "dependencies": {
-    "@cynodia/axiom-core": "0.6.3-alpha.1",
-    "@cynodia/axiom-runtime": "0.6.3-alpha.1"
+    "@cynodia/axiom-core": "0.7.0-alpha.2",
+    "@cynodia/axiom-runtime": "0.7.0-alpha.2"
   },
   "scripts": {
     "build": "tsc -b tsconfig.json tsconfig.test.json",

package/schema/protocol.v1.schema.json

@@ -4,7 +4,7 @@
   "title": "Axiom semantic protocol v1",
   "description": "What a client may send an authority and what it may receive back. A client requests semantic operations — \"invoke action X with arguments Y\" — never a mutation program. Nothing here mentions a transport.",
   "contract": "axiom.protocol.v1",
-  "release": "0.6.3-alpha.1",
+  "release": "0.7.0-alpha.2",
   "oneOf": [
     {
       "$ref": "#/$defs/ServerRequest"

package/schema/server-ir.v1.schema.json

@@ -4,7 +4,7 @@
   "title": "Axiom Server IR v1",
   "description": "The normative structure of an `axiom.server.v1` document. Structure only: what a conforming runtime must *do* with it is the semantic contract, and the conformance fixtures are the executable statement of that.",
   "contract": "axiom.server.v1",
-  "release": "0.6.3-alpha.1",
+  "release": "0.7.0-alpha.2",
   "type": "object",
   "required": [
     "contract",