@cynodia/axiom-server 0.14.0-alpha.3 → 0.14.0-alpha.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/conformance/live/aggregate-reset.json +1 -1
- package/conformance/live/dependency-commit-no-change.json +1 -1
- package/conformance/live/f2-state-ref-refused.json +1 -1
- package/conformance/live/initial-result.json +1 -1
- package/conformance/live/insert-on-filter-entry.json +1 -1
- package/conformance/live/limit-boundary.json +1 -1
- package/conformance/live/manifest.json +1 -1
- package/conformance/live/not-live-capable.json +1 -1
- package/conformance/live/provider-only-sequence.json +1 -1
- package/conformance/live/provider-record-remove.json +1 -1
- package/conformance/live/remove-on-filter-exit.json +1 -1
- package/conformance/live/update-with-move.json +1 -1
- package/conformance/live/update-without-move.json +1 -1
- package/conformance/workflow/manifest.json +1 -1
- package/conformance/workflow/workflow-action-on-error.json +1 -1
- package/conformance/workflow/workflow-action-retry.json +1 -1
- package/conformance/workflow/workflow-action-success.json +1 -1
- package/conformance/workflow/workflow-action-terminal-failure.json +1 -1
- package/conformance/workflow/workflow-branch-false.json +1 -1
- package/conformance/workflow/workflow-branch-true.json +1 -1
- package/conformance/workflow/workflow-cancel-waiting.json +1 -1
- package/conformance/workflow/workflow-event-match.json +1 -1
- package/conformance/workflow/workflow-event-nonmatch.json +1 -1
- package/conformance/workflow/workflow-event-timeout.json +1 -1
- package/conformance/workflow/workflow-start-complete.json +1 -1
- package/conformance/workflow/workflow-start-idempotency.json +1 -1
- package/conformance/workflow/workflow-timer.json +1 -1
- package/dist/server.js +12 -1
- package/package.json +3 -3
- package/schema/protocol.v1.schema.json +1 -1
- package/schema/server-ir.v1.schema.json +1 -1
- package/schema/server-ir.v2.schema.json +1 -1
- package/schema/server-ir.v3.schema.json +1 -1
- package/schema/server-ir.v4.schema.json +1 -1
- package/schema/server-ir.v5.schema.json +1 -1
- package/schema/server-ir.v6.schema.json +1 -1
- package/schema/server-ir.v7.schema.json +1 -1
- package/schema/server-ir.v8.schema.json +1 -1
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
"conformance": "axiom.conformance.v7",
|
|
3
3
|
"baseContract": "axiom.server.v7",
|
|
4
4
|
"protocol": "axiom.protocol.v1",
|
|
5
|
-
"release": "0.14.0-alpha.
|
|
5
|
+
"release": "0.14.0-alpha.4",
|
|
6
6
|
"description": "Portable live-query conformance fixtures (spec13 §152, §194). Each file carries a compiled axiom.server.v7 Server IR, a dataset of provider rows, the live query to open, its required initial result, and a script of committed mutations each paired with the live message that must follow (canonical update / whole reset / none). The runner also checks the primary invariant: folding the delivered stream must equal a fresh one-shot execution of the same QueryDef. Running one needs only a DataProvider and the semantics in docs/LIVE_QUERIES.md.",
|
|
7
7
|
"fixtures": [
|
|
8
8
|
{
|
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
"conformance": "axiom.conformance.v8",
|
|
3
3
|
"baseContract": "axiom.server.v8",
|
|
4
4
|
"protocol": "axiom.protocol.v1",
|
|
5
|
-
"release": "0.14.0-alpha.
|
|
5
|
+
"release": "0.14.0-alpha.4",
|
|
6
6
|
"description": "Portable workflow conformance fixtures (spec14 §156-§159). Each file carries a compiled axiom.server.v8 Server IR, the start arguments, a deterministic driver script, and the required logical transition history + terminal state. Physical action attempts may be duplicated; the logical history must match exactly. Running one needs only the in-memory WorkflowStore and the semantics in docs/WORKFLOWS.md.",
|
|
7
7
|
"fixtures": [
|
|
8
8
|
{
|
package/dist/server.js
CHANGED
|
@@ -5,7 +5,7 @@ import { createMemoryPersistence } from './persistence.js';
|
|
|
5
5
|
import { createServerHost } from './host.js';
|
|
6
6
|
import { createEffectRunner } from './effects.js';
|
|
7
7
|
import { resolveCoordinationConfig, } from './coordination.js';
|
|
8
|
-
import { createWorkflowEngine } from './workflows.js';
|
|
8
|
+
import { WorkflowIRError, createWorkflowEngine } from './workflows.js';
|
|
9
9
|
import { createMemoryWorkflowStore } from './workflow-store.js';
|
|
10
10
|
import { createDistributedEffectRunner, } from './distributed-effects.js';
|
|
11
11
|
import { createDurableWorkStore, createMemoryDurableWorkStorage, } from './durable-work.js';
|
|
@@ -182,6 +182,17 @@ export function createAxiomServer(options) {
|
|
|
182
182
|
if (!SERVER_IR_CONTRACTS.includes(String(options.ir.contract))) {
|
|
183
183
|
throw new Error(`Unsupported Server IR contract "${String(options.ir.contract)}"; this runtime executes ${SERVER_IR_CONTRACTS.join(', ')}`);
|
|
184
184
|
}
|
|
185
|
+
// spec14pt5 — the workflow admission boundary. `understatedContract` /
|
|
186
|
+
// `serverIRExpressions` and the compatibility fingerprint below all traverse
|
|
187
|
+
// `ir.workflows`; a hand-tampered IR where `workflows` is present but not an array (a
|
|
188
|
+
// number, a plain object, a boolean, a string) must fail closed **here** with the same
|
|
189
|
+
// structured `WorkflowIRError` `createWorkflowEngine` raises — never a native iteration
|
|
190
|
+
// error, and never coerced to `[]`. Absent or `[]` is admissible; per-element / reference
|
|
191
|
+
// validation runs later in `createWorkflowEngine`.
|
|
192
|
+
const workflowsContainer = options.ir.workflows;
|
|
193
|
+
if (workflowsContainer !== undefined && !Array.isArray(workflowsContainer)) {
|
|
194
|
+
throw new WorkflowIRError([{ code: 'WORKFLOW_INVALID_IR', message: 'workflows is not an array' }]);
|
|
195
|
+
}
|
|
185
196
|
// A document may not claim a contract older than the vocabulary it uses. Executing it
|
|
186
197
|
// anyway would make the label meaningless, and the label is what another implementation
|
|
187
198
|
// decides by.
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cynodia/axiom-server",
|
|
3
|
-
"version": "0.14.0-alpha.
|
|
3
|
+
"version": "0.14.0-alpha.4",
|
|
4
4
|
"description": "Authoritative server runtime that executes an Axiom Server IR.",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"author": "AskTech AS",
|
|
@@ -37,8 +37,8 @@
|
|
|
37
37
|
"./schema/*": "./schema/*"
|
|
38
38
|
},
|
|
39
39
|
"dependencies": {
|
|
40
|
-
"@cynodia/axiom-core": "0.14.0-alpha.
|
|
41
|
-
"@cynodia/axiom-runtime": "0.14.0-alpha.
|
|
40
|
+
"@cynodia/axiom-core": "0.14.0-alpha.4",
|
|
41
|
+
"@cynodia/axiom-runtime": "0.14.0-alpha.4"
|
|
42
42
|
},
|
|
43
43
|
"scripts": {
|
|
44
44
|
"build": "tsc -b tsconfig.json tsconfig.test.json",
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
"title": "Axiom semantic protocol v1",
|
|
5
5
|
"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.",
|
|
6
6
|
"contract": "axiom.protocol.v1",
|
|
7
|
-
"release": "0.14.0-alpha.
|
|
7
|
+
"release": "0.14.0-alpha.4",
|
|
8
8
|
"oneOf": [
|
|
9
9
|
{
|
|
10
10
|
"$ref": "#/$defs/ServerRequest"
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
"title": "Axiom Server IR v1",
|
|
5
5
|
"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.",
|
|
6
6
|
"contract": "axiom.server.v1",
|
|
7
|
-
"release": "0.14.0-alpha.
|
|
7
|
+
"release": "0.14.0-alpha.4",
|
|
8
8
|
"type": "object",
|
|
9
9
|
"required": [
|
|
10
10
|
"contract",
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
"title": "Axiom Server IR v2",
|
|
5
5
|
"description": "The normative structure of an `axiom.server.v2` 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.",
|
|
6
6
|
"contract": "axiom.server.v2",
|
|
7
|
-
"release": "0.14.0-alpha.
|
|
7
|
+
"release": "0.14.0-alpha.4",
|
|
8
8
|
"type": "object",
|
|
9
9
|
"required": [
|
|
10
10
|
"contract",
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
"title": "Axiom Server IR v3",
|
|
5
5
|
"description": "The normative structure of an `axiom.server.v3` 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.",
|
|
6
6
|
"contract": "axiom.server.v3",
|
|
7
|
-
"release": "0.14.0-alpha.
|
|
7
|
+
"release": "0.14.0-alpha.4",
|
|
8
8
|
"type": "object",
|
|
9
9
|
"required": [
|
|
10
10
|
"contract",
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
"title": "Axiom Server IR v4",
|
|
5
5
|
"description": "The normative structure of an `axiom.server.v4` 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.",
|
|
6
6
|
"contract": "axiom.server.v4",
|
|
7
|
-
"release": "0.14.0-alpha.
|
|
7
|
+
"release": "0.14.0-alpha.4",
|
|
8
8
|
"type": "object",
|
|
9
9
|
"required": [
|
|
10
10
|
"contract",
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
"title": "Axiom Server IR v5",
|
|
5
5
|
"description": "The normative structure of an `axiom.server.v5` 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.",
|
|
6
6
|
"contract": "axiom.server.v5",
|
|
7
|
-
"release": "0.14.0-alpha.
|
|
7
|
+
"release": "0.14.0-alpha.4",
|
|
8
8
|
"type": "object",
|
|
9
9
|
"required": [
|
|
10
10
|
"contract",
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
"title": "Axiom Server IR v6",
|
|
5
5
|
"description": "The normative structure of an `axiom.server.v6` 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.",
|
|
6
6
|
"contract": "axiom.server.v6",
|
|
7
|
-
"release": "0.14.0-alpha.
|
|
7
|
+
"release": "0.14.0-alpha.4",
|
|
8
8
|
"type": "object",
|
|
9
9
|
"required": [
|
|
10
10
|
"contract",
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
"title": "Axiom Server IR v7",
|
|
5
5
|
"description": "The normative structure of an `axiom.server.v7` 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.",
|
|
6
6
|
"contract": "axiom.server.v7",
|
|
7
|
-
"release": "0.14.0-alpha.
|
|
7
|
+
"release": "0.14.0-alpha.4",
|
|
8
8
|
"type": "object",
|
|
9
9
|
"required": [
|
|
10
10
|
"contract",
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
"title": "Axiom Server IR v8",
|
|
5
5
|
"description": "The normative structure of an `axiom.server.v8` 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.",
|
|
6
6
|
"contract": "axiom.server.v8",
|
|
7
|
-
"release": "0.14.0-alpha.
|
|
7
|
+
"release": "0.14.0-alpha.4",
|
|
8
8
|
"type": "object",
|
|
9
9
|
"required": [
|
|
10
10
|
"contract",
|