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

package/README.md

@@ -14,13 +14,24 @@ A client requests semantic actions; it never sends operations. Authorization, gu
 argument validation are evaluated here and nowhere else.
 
 Adapters keep the semantics free of infrastructure: `PersistenceAdapter` (in-memory and
-SQLite), `TransportAdapter` (in-process and HTTP), and `ServerHost` for time, identifiers
-and authentication. Nothing in an ApplicationGraph mentions HTTP, SQL or a route.
+SQLite), `TransportAdapter` (in-process and HTTP), `ServerHost` for time, identifiers,
+scheduling and authentication, and `IntegrationAdapter` for external systems. Nothing in
+an ApplicationGraph mentions HTTP, SQL, a route or an SDK.
+
+As of 0.8 this package also owns timed and event-driven execution: it schedules and
+dispatches `TriggerDef`s, records `integration-effect` intent atomically with the state
+write that requested it (the transactional outbox), dispatches an effect's committed
+intents to its `IntegrationAdapter` post-commit with retry, and translates verified
+webhook deliveries into semantic events. See
+[`docs/INTEGRATIONS.md`](https://github.com/cynodia/axiom/blob/main/docs/INTEGRATIONS.md),
+[`docs/EFFECTS.md`](https://github.com/cynodia/axiom/blob/main/docs/EFFECTS.md) and
+[`docs/TRIGGERS.md`](https://github.com/cynodia/axiom/blob/main/docs/TRIGGERS.md).
 
 Main exports: `createAxiomServer`, `createMemoryPersistence`, `createSqlitePersistence`,
 `createServerHost`, `createDeterministicServerHost`, `createDirectTransport`,
 `createHttpTransport`, `createRemoteGateway`, `serveOverHttp`, `serveAxiomApplication`,
-`SERVER_DIAGNOSTIC_CODES`.
+`createFakeIntegrationAdapter`, `createHttpIntegrationAdapter`, `createTriggerRuntime`,
+`createEffectRunner`, `SERVER_DIAGNOSTIC_CODES`.
 
 `serveAxiomApplication` is the whole deployment story: it serves the generated page at `GET /`
 and the semantic endpoint at `POST /axiom`, from one process, for any Axiom application. No
@@ -34,7 +45,9 @@ implementation in another language needs to conform to it:
 ```
 @cynodia/axiom-server/conformance                       the fixture manifest
 @cynodia/axiom-server/conformance/<name>.json           one fixture: IR, state, invocations, expectations
-@cynodia/axiom-server/schema/server-ir.v1.schema.json   JSON Schema for the IR
+@cynodia/axiom-server/schema/server-ir.v1.schema.json   JSON Schema for the frozen v1 IR
+@cynodia/axiom-server/schema/server-ir.v2.schema.json   JSON Schema for v2 (+ group, expression-ref)
+@cynodia/axiom-server/schema/server-ir.v3.schema.json   JSON Schema for v3 (+ integrations, effects, triggers, events)
 @cynodia/axiom-server/schema/protocol.v1.schema.json    JSON Schema for the protocol
 ```
 

package/conformance/effect-success-event.json

@@ -0,0 +1,425 @@
+{
+  "conformance": "axiom.conformance.v2",
+  "name": "effect-success-event",
+  "covers": [
+    "effects",
+    "events",
+    "invocation source"
+  ],
+  "description": "A succeeded effect dispatches its structured outcome to a system-only follow-up action — never reachable by a client directly.",
+  "principals": {},
+  "serverIR": {
+    "contract": "axiom.server.v4",
+    "id": "conformance-integrations",
+    "name": "Conformance integrations",
+    "version": "0.8.0",
+    "entities": [
+      {
+        "id": "entity_effect_outcome",
+        "kind": "entity",
+        "fields": [
+          {
+            "id": "field_effect_id",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            },
+            "required": true
+          },
+          {
+            "id": "field_effect_integration_id",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            },
+            "required": true
+          },
+          {
+            "id": "field_effect_operation_id",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            },
+            "required": true
+          },
+          {
+            "id": "field_effect_result",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            }
+          },
+          {
+            "id": "field_effect_code",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            }
+          },
+          {
+            "id": "field_effect_message",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            }
+          },
+          {
+            "id": "field_effect_retryable",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "boolean"
+            }
+          },
+          {
+            "id": "field_effect_idempotency_key",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            }
+          },
+          {
+            "id": "field_effect_correlation_id",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            }
+          }
+        ]
+      }
+    ],
+    "fields": {
+      "field_effect_id": {
+        "entityId": "entity_effect_outcome",
+        "field": {
+          "id": "field_effect_id",
+          "valueType": {
+            "kind": "primitive",
+            "primitive": "string"
+          },
+          "required": true
+        }
+      },
+      "field_effect_integration_id": {
+        "entityId": "entity_effect_outcome",
+        "field": {
+          "id": "field_effect_integration_id",
+          "valueType": {
+            "kind": "primitive",
+            "primitive": "string"
+          },
+          "required": true
+        }
+      },
+      "field_effect_operation_id": {
+        "entityId": "entity_effect_outcome",
+        "field": {
+          "id": "field_effect_operation_id",
+          "valueType": {
+            "kind": "primitive",
+            "primitive": "string"
+          },
+          "required": true
+        }
+      },
+      "field_effect_result": {
+        "entityId": "entity_effect_outcome",
+        "field": {
+          "id": "field_effect_result",
+          "valueType": {
+            "kind": "primitive",
+            "primitive": "string"
+          }
+        }
+      },
+      "field_effect_code": {
+        "entityId": "entity_effect_outcome",
+        "field": {
+          "id": "field_effect_code",
+          "valueType": {
+            "kind": "primitive",
+            "primitive": "string"
+          }
+        }
+      },
+      "field_effect_message": {
+        "entityId": "entity_effect_outcome",
+        "field": {
+          "id": "field_effect_message",
+          "valueType": {
+            "kind": "primitive",
+            "primitive": "string"
+          }
+        }
+      },
+      "field_effect_retryable": {
+        "entityId": "entity_effect_outcome",
+        "field": {
+          "id": "field_effect_retryable",
+          "valueType": {
+            "kind": "primitive",
+            "primitive": "boolean"
+          }
+        }
+      },
+      "field_effect_idempotency_key": {
+        "entityId": "entity_effect_outcome",
+        "field": {
+          "id": "field_effect_idempotency_key",
+          "valueType": {
+            "kind": "primitive",
+            "primitive": "string"
+          }
+        }
+      },
+      "field_effect_correlation_id": {
+        "entityId": "entity_effect_outcome",
+        "field": {
+          "id": "field_effect_correlation_id",
+          "valueType": {
+            "kind": "primitive",
+            "primitive": "string"
+          }
+        }
+      }
+    },
+    "states": [
+      {
+        "id": "state_status",
+        "kind": "state",
+        "name": "status",
+        "authority": "server",
+        "valueType": {
+          "kind": "primitive",
+          "primitive": "string"
+        },
+        "initialValue": "unknown"
+      },
+      {
+        "id": "state_message",
+        "kind": "state",
+        "name": "message",
+        "authority": "server",
+        "valueType": {
+          "kind": "primitive",
+          "primitive": "string"
+        },
+        "initialValue": ""
+      }
+    ],
+    "actions": {
+      "action_refresh": {
+        "id": "action_refresh",
+        "kind": "action",
+        "name": "refresh",
+        "operations": [
+          {
+            "kind": "integration-query",
+            "operationId": "integration_operation_fetch",
+            "bindAs": "scope_query",
+            "timeoutMs": 500
+          },
+          {
+            "kind": "set",
+            "target": {
+              "kind": "state",
+              "stateId": "state_status"
+            },
+            "value": {
+              "kind": "ref",
+              "targetId": "scope_query"
+            }
+          }
+        ],
+        "preconditions": [],
+        "failureModes": []
+      },
+      "action_reboot": {
+        "id": "action_reboot",
+        "kind": "action",
+        "name": "reboot",
+        "operations": [
+          {
+            "kind": "integration-effect",
+            "operationId": "integration_operation_reboot",
+            "succeededEventId": "event_succeeded",
+            "failedEventId": "event_failed"
+          }
+        ],
+        "preconditions": [],
+        "failureModes": []
+      },
+      "action_apply_message": {
+        "id": "action_apply_message",
+        "kind": "action",
+        "name": "apply message",
+        "invocation": {
+          "allowedSources": [
+            "system"
+          ]
+        },
+        "parameters": [
+          {
+            "id": "param_message",
+            "valueType": {
+              "kind": "primitive",
+              "primitive": "string"
+            },
+            "required": true
+          }
+        ],
+        "operations": [
+          {
+            "kind": "set",
+            "target": {
+              "kind": "state",
+              "stateId": "state_message"
+            },
+            "value": {
+              "kind": "ref",
+              "targetId": "param_message"
+            }
+          }
+        ],
+        "preconditions": [],
+        "failureModes": []
+      }
+    },
+    "constraints": [],
+    "transitionConstraints": [],
+    "observableStateIds": [
+      "state_status",
+      "state_message"
+    ],
+    "integrations": [
+      {
+        "id": "integration_provider",
+        "kind": "integration",
+        "name": "Provider"
+      }
+    ],
+    "integrationOperations": {
+      "integration_operation_fetch": {
+        "id": "integration_operation_fetch",
+        "kind": "integration-operation",
+        "integrationId": "integration_provider",
+        "name": "fetchStatus",
+        "mode": "query",
+        "resultType": {
+          "kind": "primitive",
+          "primitive": "string"
+        }
+      },
+      "integration_operation_reboot": {
+        "id": "integration_operation_reboot",
+        "kind": "integration-operation",
+        "integrationId": "integration_provider",
+        "name": "reboot",
+        "mode": "effect",
+        "idempotent": true,
+        "resultType": {
+          "kind": "primitive",
+          "primitive": "string"
+        }
+      }
+    },
+    "events": [
+      {
+        "id": "event_succeeded",
+        "kind": "event",
+        "payloadType": {
+          "kind": "entity",
+          "entityId": "entity_effect_outcome"
+        }
+      },
+      {
+        "id": "event_failed",
+        "kind": "event",
+        "payloadType": {
+          "kind": "entity",
+          "entityId": "entity_effect_outcome"
+        }
+      }
+    ],
+    "triggers": [
+      {
+        "id": "trigger_poll",
+        "kind": "trigger",
+        "actionId": "action_refresh",
+        "when": {
+          "kind": "interval",
+          "everyMs": 1000,
+          "overlap": "skip"
+        }
+      },
+      {
+        "id": "trigger_succeeded",
+        "kind": "trigger",
+        "actionId": "action_apply_message",
+        "when": {
+          "kind": "event",
+          "eventId": "event_succeeded"
+        },
+        "arguments": {
+          "param_message": {
+            "kind": "field",
+            "source": {
+              "kind": "ref",
+              "targetId": "trigger_succeeded"
+            },
+            "fieldId": "field_effect_result"
+          }
+        }
+      },
+      {
+        "id": "trigger_failed",
+        "kind": "trigger",
+        "actionId": "action_apply_message",
+        "when": {
+          "kind": "event",
+          "eventId": "event_failed"
+        },
+        "arguments": {
+          "param_message": {
+            "kind": "field",
+            "source": {
+              "kind": "ref",
+              "targetId": "trigger_failed"
+            },
+            "fieldId": "field_effect_message"
+          }
+        }
+      }
+    ]
+  },
+  "initialState": [
+    {
+      "stateId": "state_message",
+      "value": "",
+      "revision": 1
+    }
+  ],
+  "externalAdapters": {
+    "integration_provider": {
+      "effect": [
+        {
+          "result": {
+            "ok": true,
+            "value": "rebooted"
+          }
+        }
+      ]
+    }
+  },
+  "steps": [
+    {
+      "kind": "invoke",
+      "actionId": "action_reboot",
+      "expect": {
+        "ok": true
+      }
+    }
+  ],
+  "expectedState": {
+    "state_message": "rebooted"
+  }
+}