@cynodia/axiom-server 0.17.0-alpha.1 → 1.0.0

package/README.md

@@ -3,7 +3,7 @@
 Part of [Axiom](https://github.com/cynodia/axiom), an AI-native semantic web application
 framework.
 
-**Status: experimental / alpha.** The API may change between alpha releases.
+**Status: stable (1.0.0).** The public API and portable semantics follow the 1.x compatibility policy (`docs/COMPATIBILITY.md`, shipped in @cynodia/axiom).
 
 **AI agents:** read `docs/AGENT_REFERENCE.md` and `docs/AUTHORITY.md` inside the installed
 `@cynodia/axiom` package before authoring an application. This package's semantics are

package/conformance/authenticated-client-rejects-system-only-action.json

@@ -13,7 +13,7 @@
     "contract": "axiom.server.v4",
     "id": "conformance-integrations",
     "name": "Conformance integrations",
-    "version": "0.17.0",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_effect_outcome",

package/conformance/authorization/action-allow-deny-anonymous.json

@@ -103,7 +103,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/constant-deny-policy.json

@@ -84,7 +84,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/legacy-action-constant-public.json

@@ -83,7 +83,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/legacy-action-neq-absent-deny.json

@@ -112,7 +112,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/legacy-action-not-eq-absent-deny.json

@@ -112,7 +112,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/legacy-action-positive-role.json

@@ -112,7 +112,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/legacy-plus-policy-absent-conjunction.json

@@ -103,7 +103,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/live-query-resume.json

@@ -114,7 +114,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/manifest.json

@@ -2,7 +2,7 @@
   "conformance": "axiom.conformance.v9",
   "baseContract": "axiom.server.v9",
   "protocol": "axiom.protocol.v1",
-  "release": "0.17.0-alpha.1",
+  "release": "1.0.0",
   "description": "Portable authorization conformance fixtures (spec15 §71-§73). Each file carries a compiled axiom.server.v9 Server IR, the principal records each credential resolves to, provider seed rows, and a deterministic driver script — every step carrying the decision the fixture author computed independently (ALLOW/DENY, and for a query the exact authorized row set). Running one needs only runAuthorizationConformanceFixture from @cynodia/axiom-server and the semantics in docs/AUTHORIZATION.md. Full mixed-build semantic-fingerprint divergence and real-process crash boundaries are the spec15 Phase I suite.",
   "fixtures": [
     {

package/conformance/authorization/operation-scope.json

@@ -83,7 +83,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/pt2-deny-list-absent-value.json

@@ -111,7 +111,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/pt2-owner-both-absent.json

@@ -102,7 +102,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/query-public-preserved.json

@@ -83,7 +83,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/query-tenant-isolation.json

@@ -113,7 +113,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/workflow-cancellation-owner.json

@@ -102,7 +102,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/workflow-cancellation-policy.json

@@ -109,7 +109,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/workflow-inspection.json

@@ -108,7 +108,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/authorization/workflow-start.json

@@ -98,7 +98,7 @@
     "contract": "axiom.server.v9",
     "id": "authz-conformance",
     "name": "Authorization Conformance",
-    "version": "0.17.0-alpha.1",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_user",

package/conformance/conversion-number-to-text.json

@@ -0,0 +1,184 @@
+{
+  "conformance": "axiom.conformance.v1",
+  "name": "conversion-number-to-text",
+  "covers": [
+    "expression evaluation",
+    "conversions"
+  ],
+  "description": "spec17 SEM-1: number → canonical decimal string. Fixed notation within 1e-6 ≤ |x| < 1e21, exponential outside it, shortest round-trip digits, no trailing zeros — the ECMAScript Number::toString radix-10 algorithm restated language-neutrally in docs/EXPRESSIONS.md#conversions.",
+  "principals": {},
+  "serverIR": {
+    "contract": "axiom.server.v1",
+    "id": "conformance-conversion",
+    "name": "Conformance conversion",
+    "version": "0.6.0",
+    "entities": [],
+    "fields": {},
+    "states": [
+      {
+        "id": "state_conv_log",
+        "kind": "state",
+        "name": "log",
+        "authority": "server",
+        "valueType": {
+          "kind": "collection",
+          "itemType": {
+            "kind": "primitive",
+            "primitive": "string"
+          }
+        },
+        "initialValue": []
+      }
+    ],
+    "actions": {
+      "action_text_to_number": {
+        "id": "action_text_to_number",
+        "kind": "action",
+        "name": "textToNumber",
+        "parameters": [
+          {
+            "id": "param_text",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            },
+            "required": true
+          }
+        ],
+        "operations": [
+          {
+            "kind": "insert",
+            "target": {
+              "kind": "state",
+              "stateId": "state_conv_log"
+            },
+            "value": {
+              "kind": "call",
+              "function": "to-string",
+              "arguments": [
+                {
+                  "kind": "binary",
+                  "operator": "add",
+                  "left": {
+                    "kind": "ref",
+                    "targetId": "param_text"
+                  },
+                  "right": {
+                    "kind": "literal",
+                    "value": 0
+                  }
+                }
+              ]
+            }
+          }
+        ],
+        "preconditions": [],
+        "failureModes": []
+      },
+      "action_number_to_text": {
+        "id": "action_number_to_text",
+        "kind": "action",
+        "name": "numberToText",
+        "parameters": [
+          {
+            "id": "param_num",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "number"
+            },
+            "required": true
+          }
+        ],
+        "operations": [
+          {
+            "kind": "insert",
+            "target": {
+              "kind": "state",
+              "stateId": "state_conv_log"
+            },
+            "value": {
+              "kind": "call",
+              "function": "to-string",
+              "arguments": [
+                {
+                  "kind": "ref",
+                  "targetId": "param_num"
+                }
+              ]
+            }
+          }
+        ],
+        "preconditions": [],
+        "failureModes": []
+      }
+    },
+    "constraints": [],
+    "transitionConstraints": [],
+    "observableStateIds": [
+      "state_conv_log"
+    ]
+  },
+  "initialState": [
+    {
+      "stateId": "state_conv_log",
+      "value": [],
+      "revision": 1
+    }
+  ],
+  "invocations": [
+    {
+      "actionId": "action_number_to_text",
+      "arguments": {
+        "param_num": 123456789
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_number_to_text",
+      "arguments": {
+        "param_num": 0.5
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_number_to_text",
+      "arguments": {
+        "param_num": 1e+21
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_number_to_text",
+      "arguments": {
+        "param_num": 1e-7
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_number_to_text",
+      "arguments": {
+        "param_num": 1000000
+      },
+      "expect": {
+        "ok": true
+      }
+    }
+  ],
+  "expectedState": {
+    "state_conv_log": [
+      "123456789",
+      "0.5",
+      "1e+21",
+      "1e-7",
+      "1000000"
+    ]
+  }
+}

package/conformance/conversion-text-to-number.json

@@ -0,0 +1,204 @@
+{
+  "conformance": "axiom.conformance.v1",
+  "name": "conversion-text-to-number",
+  "covers": [
+    "expression evaluation",
+    "conversions"
+  ],
+  "description": "spec17 SEM-1: text → number coercion (add(text, 0)) then canonical decimal text. Trimmed decimal, empty text (→ 0), exponent form, radix-prefixed 0x1F (→ 31), and unparseable text (→ NaN → \"NaN\") each map by the language-neutral rules in docs/EXPRESSIONS.md#conversions.",
+  "principals": {},
+  "serverIR": {
+    "contract": "axiom.server.v1",
+    "id": "conformance-conversion",
+    "name": "Conformance conversion",
+    "version": "0.6.0",
+    "entities": [],
+    "fields": {},
+    "states": [
+      {
+        "id": "state_conv_log",
+        "kind": "state",
+        "name": "log",
+        "authority": "server",
+        "valueType": {
+          "kind": "collection",
+          "itemType": {
+            "kind": "primitive",
+            "primitive": "string"
+          }
+        },
+        "initialValue": []
+      }
+    ],
+    "actions": {
+      "action_text_to_number": {
+        "id": "action_text_to_number",
+        "kind": "action",
+        "name": "textToNumber",
+        "parameters": [
+          {
+            "id": "param_text",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            },
+            "required": true
+          }
+        ],
+        "operations": [
+          {
+            "kind": "insert",
+            "target": {
+              "kind": "state",
+              "stateId": "state_conv_log"
+            },
+            "value": {
+              "kind": "call",
+              "function": "to-string",
+              "arguments": [
+                {
+                  "kind": "binary",
+                  "operator": "add",
+                  "left": {
+                    "kind": "ref",
+                    "targetId": "param_text"
+                  },
+                  "right": {
+                    "kind": "literal",
+                    "value": 0
+                  }
+                }
+              ]
+            }
+          }
+        ],
+        "preconditions": [],
+        "failureModes": []
+      },
+      "action_number_to_text": {
+        "id": "action_number_to_text",
+        "kind": "action",
+        "name": "numberToText",
+        "parameters": [
+          {
+            "id": "param_num",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "number"
+            },
+            "required": true
+          }
+        ],
+        "operations": [
+          {
+            "kind": "insert",
+            "target": {
+              "kind": "state",
+              "stateId": "state_conv_log"
+            },
+            "value": {
+              "kind": "call",
+              "function": "to-string",
+              "arguments": [
+                {
+                  "kind": "ref",
+                  "targetId": "param_num"
+                }
+              ]
+            }
+          }
+        ],
+        "preconditions": [],
+        "failureModes": []
+      }
+    },
+    "constraints": [],
+    "transitionConstraints": [],
+    "observableStateIds": [
+      "state_conv_log"
+    ]
+  },
+  "initialState": [
+    {
+      "stateId": "state_conv_log",
+      "value": [],
+      "revision": 1
+    }
+  ],
+  "invocations": [
+    {
+      "actionId": "action_text_to_number",
+      "arguments": {
+        "param_text": "  5  "
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_text_to_number",
+      "arguments": {
+        "param_text": ""
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_text_to_number",
+      "arguments": {
+        "param_text": "1e3"
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_text_to_number",
+      "arguments": {
+        "param_text": "-1.5"
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_text_to_number",
+      "arguments": {
+        "param_text": "0x1F"
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_text_to_number",
+      "arguments": {
+        "param_text": "1_000"
+      },
+      "expect": {
+        "ok": true
+      }
+    },
+    {
+      "actionId": "action_text_to_number",
+      "arguments": {
+        "param_text": "abc"
+      },
+      "expect": {
+        "ok": true
+      }
+    }
+  ],
+  "expectedState": {
+    "state_conv_log": [
+      "5",
+      "0",
+      "1000",
+      "-1.5",
+      "31",
+      "NaN",
+      "NaN"
+    ]
+  }
+}

package/conformance/distributed/manifest.json

@@ -1,7 +1,7 @@
 {
   "conformance": "axiom.conformance.v6",
   "baseContract": "axiom.server.v7",
-  "release": "0.17.0-alpha.1",
+  "release": "1.0.0",
   "description": "Portable distributed-authority conformance fixtures (spec12 §59, §85). Each is a deterministic step list against the memory reference providers with a fixed clock and token sequence. Server IR is retained at axiom.server.v7 — 0.12 adds no IR vocabulary (spec12 §58).",
   "covers": [
     "lease acquisition",

package/conformance/effect-retry-sequence.json

@@ -11,7 +11,7 @@
     "contract": "axiom.server.v4",
     "id": "conformance-integrations",
     "name": "Conformance integrations",
-    "version": "0.17.0",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_effect_outcome",

package/conformance/effect-success-event.json

@@ -12,7 +12,7 @@
     "contract": "axiom.server.v4",
     "id": "conformance-integrations",
     "name": "Conformance integrations",
-    "version": "0.17.0",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_effect_outcome",

package/conformance/event-payload-invalid.json

@@ -10,7 +10,7 @@
     "contract": "axiom.server.v4",
     "id": "conformance-integrations",
     "name": "Conformance integrations",
-    "version": "0.17.0",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_effect_outcome",

package/conformance/failed-effect-structured-outcome.json

@@ -11,7 +11,7 @@
     "contract": "axiom.server.v4",
     "id": "conformance-integrations",
     "name": "Conformance integrations",
-    "version": "0.17.0",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_effect_outcome",

package/conformance/integration-query-success.json

@@ -10,7 +10,7 @@
     "contract": "axiom.server.v4",
     "id": "conformance-integrations",
     "name": "Conformance integrations",
-    "version": "0.17.0",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_effect_outcome",

package/conformance/integration-query-timeout.json

@@ -11,7 +11,7 @@
     "contract": "axiom.server.v4",
     "id": "conformance-integrations",
     "name": "Conformance integrations",
-    "version": "0.17.0",
+    "version": "1.0.0",
     "entities": [
       {
         "id": "entity_effect_outcome",