@cynodia/axiom 0.16.0-alpha.2 → 0.16.0-alpha.4

package/AGENTS.md

@@ -26,7 +26,8 @@ justified. That is framework debugging, not application authoring.
 ## Do not
 
 - **Do not clone or reverse-engineer the Axiom repository to learn normal usage.** Everything
-  needed to author an application is in this package. There is no published Axiom CLI.
+  needed to author an application is in this package. `@cynodia/axiom-cli` publishes an
+  `axiom` executable (`npm install -g @cynodia/axiom-cli`) for command-line inspection.
 - **Do not search the web or scrape npm for documentation.** This package is the primary
   source, and it describes this exact version.
 - **Do not read, edit or patch generated output.** The emitted JavaScript, HTML and CSS are

package/README.md

@@ -33,7 +33,7 @@ Shorter forms of the same routing: [`AGENTS.md`](AGENTS.md) and [`llms.txt`](llm
 at this package's root.
 
 **Status: experimental / alpha.** The API may change between alpha releases. The
-documentation in `docs/` describes this exact version, `0.16.0-alpha.2`.
+documentation in `docs/` describes this exact version, `0.16.0-alpha.4`.
 
 ## Installation
 
@@ -47,7 +47,7 @@ Every release of this project is a pre-release and npm's `latest` tag points at
 plain command above installs the current version. **There is no `alpha` dist-tag** — the tag
 was removed once it stopped tracking releases, and `npm install @cynodia/axiom@alpha` now
 fails with a 404. Pin the exact version instead when one is needed:
-`npm install @cynodia/axiom@0.16.0-alpha.2`.
+`npm install @cynodia/axiom@0.16.0-alpha.4`.
 
 These are ES modules compiled to ES2022; import them with `import`, not `require`.
 `@cynodia/axiom-cli` (`npm install -g @cynodia/axiom-cli`) publishes the `axiom` executable
@@ -72,7 +72,7 @@ reports its absence rather than failing at import.
 | `Theme` | Translation of presentation intent into visual design. |
 | Renderer | Platform-specific materialization. Not part of the graph. |
 | `StateDef.authority` | Who may commit a value: the client, or the server. The one declaration the split follows from. |
-| `ServerIR` | The half an authority executes. Portable JSON. `axiom.server.v1` is frozen; the current contract is `axiom.server.v7`, computed from the document's vocabulary. |
+| `ServerIR` | The half an authority executes. Portable JSON. `axiom.server.v1` is frozen; the current contract is `axiom.server.v9`, computed from the document's vocabulary. |
 | Semantic protocol | What a client may ask for: named actions with arguments, never mutation programs. |
 | `PersistenceAdapter` | Where a decided value survives. Not part of the semantics. |
 

package/docs/ACTIONS_TRANSACTIONS.md

@@ -1,6 +1,6 @@
 # Actions and transactions
 
-Axiom 0.16.0-alpha.2. An action is behavior expressed as data, executed as a transaction.
+Axiom 0.16.0-alpha.4. An action is behavior expressed as data, executed as a transaction.
 
 ```ts
 {

package/docs/AGENT_API.md

@@ -1,6 +1,6 @@
 # Agent API
 
-Axiom 0.16.0-alpha.2. The machine-facing interface. Agents query semantics and apply
+Axiom 0.16.0-alpha.4. The machine-facing interface. Agents query semantics and apply
 structural transformations; they never edit generated code.
 
 ```ts

package/docs/AGENT_REFERENCE.md

@@ -1,6 +1,6 @@
 # Agent reference
 
-Axiom 0.16.0-alpha.2. Compressed operational contract. Read this plus the `.d.ts`
+Axiom 0.16.0-alpha.4. Compressed operational contract. Read this plus the `.d.ts`
 declarations before authoring or modifying an Axiom application.
 
 Formal guarantees: [`SEMANTIC_CONTRACT.md`](SEMANTIC_CONTRACT.md). Mistakes that compile:
@@ -15,7 +15,9 @@ npm install @cynodia/axiom-server     # only if a StateDef declares server autho
 ```
 
 Everything is imported from `@cynodia/axiom`; the four re-exported packages need not be
-installed individually. There is no published CLI.
+installed individually. `@cynodia/axiom-cli` (`npm install -g @cynodia/axiom-cli`) publishes
+the `axiom` executable — `explain` / `analyze` / `diff` over `AgentAPI`, plus `inspect` /
+`validate` / `build` / `serve` — for command-line inspection.
 
 A complete runnable skeleton — graph, state, action, UI, route, compile, run — is the
 minimal application in [`../README.md`](../README.md). Read this document for the rules;
@@ -603,7 +605,7 @@ authoring an application that crosses the trust boundary.
 10. **FORM SUBMIT** — a declared submit button invokes with its own arguments, clicked or submitted.
 11. **IDEMPOTENCY** — a generated request id is unique across runtime instances; records are scoped by principal.
 12. **CHANGES** — `changes` names every observable state whose value moved, and no others.
-13. **PORTABILITY** — `axiom.server.v1` is frozen and language-independent. It is not the *current* contract: a document declares the oldest contract that carries its vocabulary; `axiom.server.v7` is current (migrations, schema identity).
+13. **PORTABILITY** — `axiom.server.v1` is frozen and language-independent. It is not the *current* contract: a document declares the oldest contract that carries its vocabulary; `axiom.server.v9` is current (authorization policies).
 14. **INTEGRATION** — external systems are accessed through typed integration operations.
 15. **QUERY** — an external query is explicit action/trigger execution, never a pure `Expression`.
 16. **EFFECT** — external effects are not rollback-capable state mutations.
@@ -1043,7 +1045,8 @@ Providers advertise capabilities (`distributed-lease`, `fencing`, `atomic-work-c
 `durable-retry`, `event-dedup`, `durable-subscription-cursor`, `revision-observation`); a
 missing one **fails explicitly**, never a silent single-node fallback. Portable
 `axiom.conformance.v6` fixtures (`conformance/distributed/`) + `runCoordinationConformanceSuite`.
-Server IR stays `axiom.server.v7`.
+Distributed authority adds no Server IR vocabulary of its own — the required contract is
+whatever the rest of the graph already needs (currently up to `axiom.server.v9`).
 
 Diagnostics: `WORK_IN_PROGRESS` `WORK_FENCED` `WORK_NOT_CLAIMABLE` `INCOMPATIBLE_AUTHORITY`
 `EVENT_ID_CONFLICT`.
@@ -1115,7 +1118,8 @@ pump the handle over any duplex frame channel (`open`/`resume`/`close` ⇄
 application code, not normative.
 
 Portable tier: `axiom.conformance.v7` (`conformance/live/`), `runLiveQueryConformanceFixture`
-/ `runLiveQueryConformanceSuite`. Server IR stays `axiom.server.v7`.
+/ `runLiveQueryConformanceSuite`. Live queries add no Server IR vocabulary of their own —
+`semanticFingerprint` is computed *from* the IR, not the other way around.
 
 Diagnostics: `LIVE_QUERY_NOT_CAPABLE` `LIVE_QUERY_CURSOR_INVALID`
 `LIVE_QUERY_CURSOR_INCOMPATIBLE` `LIVE_QUERY_EVALUATION_FAILED`

package/docs/ANTI_PATTERNS.md

@@ -1,6 +1,6 @@
 # Anti-patterns
 
-Axiom 0.16.0-alpha.2. Each of these compiles. Each is wrong. Each is followed by the correct
+Axiom 0.16.0-alpha.4. Each of these compiles. Each is wrong. Each is followed by the correct
 alternative.
 
 ## 1. Field names as entity runtime keys

package/docs/AUTHORITY.md

@@ -1,6 +1,6 @@
 # Authority
 
-Axiom 0.16.0-alpha.2. How an application crosses the trust boundary.
+Axiom 0.16.0-alpha.4. How an application crosses the trust boundary.
 
 Until 0.5.x an Axiom application executed locally. 0.6 adds an **authority**: a generic
 runtime that owns state, decides mutations and persists them. The same semantic graph

package/docs/AUTHORIZATION.md

@@ -1,6 +1,6 @@
 # Authorization
 
-Axiom 0.16.0-alpha.2. The operational contract for **authorization completeness** — the 0.15
+Axiom 0.16.0-alpha.4. The operational contract for **authorization completeness** — the 0.15
 milestone (spec15). Whether a principal may perform a semantic operation is part of the
 graph's executable meaning — not a runtime concern, not UI visibility, not something that
 varies by transport, provider, process, retry path or authority topology. `axiom.server.v9`

package/docs/CONSTRAINTS.md

@@ -1,6 +1,6 @@
 # Constraints
 
-Axiom 0.16.0-alpha.2. Two constructs, answering different questions. They are not
+Axiom 0.16.0-alpha.4. Two constructs, answering different questions. They are not
 interchangeable.
 
 | | Question | Sees |

package/docs/DISTRIBUTED_AUTHORITY.md

@@ -1,6 +1,6 @@
 # Distributed authority
 
-*This document describes Axiom `0.16.0-alpha.2`.*
+*This document describes Axiom `0.16.0-alpha.4`.*
 
 The authoritative runtime (`docs/AUTHORITY.md`) may run as **more than one process at the
 same time**, over one shared persistence provider, without any change to the
@@ -401,7 +401,8 @@ schedule firing, schedule reclaim, event deduplication, subscription cursor fenc
 revision visibility and mixed-build refusal. Each fixture is a deterministic step list
 against the memory reference providers with a fixed clock and token sequence; the public
 `runCoordinationConformanceFixture` / `runCoordinationConformanceSuite` runner executes them.
-Server IR stays `axiom.server.v7` — 0.12 adds no IR vocabulary.
+0.12 adds no Server IR vocabulary of its own — the required contract is whatever the rest
+of the graph already needs (currently up to `axiom.server.v9`).
 
 ## 19. Anti-patterns
 

package/docs/EFFECTS.md

@@ -1,6 +1,6 @@
 # Effects
 
-Axiom 0.16.0-alpha.2. External effects are not rollback-capable state mutations. This file
+Axiom 0.16.0-alpha.4. External effects are not rollback-capable state mutations. This file
 is the delivery model; [`AUTHORITY.md`](AUTHORITY.md#external-effects) is the load-bearing
 statement of why, and [`INTEGRATIONS.md`](INTEGRATIONS.md) is the operation vocabulary this
 builds on.

package/docs/EVENTS.md

@@ -1,6 +1,6 @@
 # Events
 
-Axiom 0.16.0-alpha.2. An event is a typed fact — something that happened — never work
+Axiom 0.16.0-alpha.4. An event is a typed fact — something that happened — never work
 itself. [`AUTHORITY.md`](AUTHORITY.md#external-events) is the load-bearing statement;
 this file is the vocabulary and the webhook delivery mechanism. A **subscription** is the
 other way an external fact becomes an `EventDef` payload — see

package/docs/EXPRESSIONS.md

@@ -1,6 +1,6 @@
 # Expressions
 
-Axiom 0.16.0-alpha.2. An expression describes **what value is computed**. It is a tree of
+Axiom 0.16.0-alpha.4. An expression describes **what value is computed**. It is a tree of
 plain data, never source text and never a callback. Evaluation is pure: an expression MUST
 NOT change state.
 

package/docs/GRAPH_MODEL.md

@@ -1,6 +1,6 @@
 # Graph model
 
-Axiom 0.16.0-alpha.2. The `ApplicationGraph` is the authoritative representation of an
+Axiom 0.16.0-alpha.4. The `ApplicationGraph` is the authoritative representation of an
 application. Everything else — the IR, the page, the DOM — is derived from it and is never
 edited.
 

package/docs/INTEGRATIONS.md

@@ -1,6 +1,6 @@
 # Integrations
 
-Axiom 0.16.0-alpha.2. How an application declares and calls an external system, without
+Axiom 0.16.0-alpha.4. How an application declares and calls an external system, without
 embedding a transport, an SDK or a secret in the graph. The authority boundary this
 depends on is [`AUTHORITY.md`](AUTHORITY.md#external-systems); this file is the vocabulary.
 

package/docs/LIVE_QUERIES.md

@@ -1,9 +1,9 @@
 # Realtime — live canonical queries
 
-Axiom 0.16.0-alpha.2. The operational contract for **observing a `QueryDef` result over
+Axiom 0.16.0-alpha.4. The operational contract for **observing a `QueryDef` result over
 time**: subscribe once, receive an initial coherent result, then receive canonical changes
 as authoritative committed state moves — through any compatible authority, across
-reconnects. `axiom.server.v7` (0.13 adds no IR vocabulary).
+reconnects. 0.13 adds no Server IR vocabulary of its own — current is `axiom.server.v9`.
 
 > **A live query is a persistent semantic observation of a canonical `QueryDef`.** It is not
 > a WebSocket, a database change feed, a Redis channel, a polling loop, or a stream of table

package/docs/LOCATIONS.md

@@ -1,6 +1,6 @@
 # Locations
 
-Axiom 0.16.0-alpha.2.
+Axiom 0.16.0-alpha.4.
 
 ```text
 Expression = a value

package/docs/MIGRATIONS.md

@@ -1,6 +1,6 @@
 # Schema evolution & semantic migrations
 
-Axiom 0.16.0-alpha.2. The operational contract for evolving a deployed application's
+Axiom 0.16.0-alpha.4. The operational contract for evolving a deployed application's
 semantic model and its persisted canonical data over time — adding a required field,
 splitting one field into two, removing an obsolete one, migrating millions of
 provider-backed rows — **without** an application-authored SQL migration, an ORM migration,

package/docs/PRESENTATION.md

@@ -1,6 +1,6 @@
 # Presentation
 
-Axiom 0.16.0-alpha.2. Presentation is **semantic UX intent**, expressed as data on a UI
+Axiom 0.16.0-alpha.4. Presentation is **semantic UX intent**, expressed as data on a UI
 node. It names roles, tokens and device classes. It never names a colour, a length, a media
 query or a CSS property.
 

package/docs/QUERIES.md

@@ -1,6 +1,6 @@
 # Semantic data access & the query layer
 
-Axiom 0.16.0-alpha.2. The operational contract for demand-driven reads over authoritative
+Axiom 0.16.0-alpha.4. The operational contract for demand-driven reads over authoritative
 data that is too large to materialize as a `StateDef` — 500,000 orders, 5,000,000 order
 lines, years of audit rows. `axiom.server.v6`.
 

package/docs/RUNTIME.md

@@ -1,6 +1,6 @@
 # Runtime
 
-Axiom 0.16.0-alpha.2. The runtime executes an `ApplicationIR`. It is domain-independent: it
+Axiom 0.16.0-alpha.4. The runtime executes an `ApplicationIR`. It is domain-independent: it
 contains no knowledge of any application.
 
 ## Constructing

package/docs/SEMANTIC_CONTRACT.md

@@ -1,6 +1,6 @@
 # Semantic contract
 
-Axiom 0.16.0-alpha.2. Runtime guarantees, stated formally. This file defines behavior; it
+Axiom 0.16.0-alpha.4. Runtime guarantees, stated formally. This file defines behavior; it
 does not teach. Where this file and any specification in `../specs/` disagree, this file
 describes the implementation and is authoritative.
 

package/docs/STATE.md

@@ -1,6 +1,6 @@
 # State
 
-Axiom 0.16.0-alpha.2. A `StateDef` is a named application value: stored, or computed from
+Axiom 0.16.0-alpha.4. A `StateDef` is a named application value: stored, or computed from
 other state.
 
 ```ts

package/docs/STORAGE.md

@@ -1,6 +1,6 @@
 # Storage and blobs
 
-Axiom 0.16.0-alpha.2. How an application stores, references, serves and deletes binary data —
+Axiom 0.16.0-alpha.4. How an application stores, references, serves and deletes binary data —
 an attachment, a document, a photograph, a diagnostic log — with no filesystem path, no
 upload route and no download route anywhere in it.
 

package/docs/SUBSCRIPTIONS.md

@@ -1,6 +1,6 @@
 # Subscriptions
 
-Axiom 0.16.0-alpha.2. How an application receives a stream of external events — an MQTT
+Axiom 0.16.0-alpha.4. How an application receives a stream of external events — an MQTT
 topic, a WebSocket feed, a queue consumer, a filesystem watcher, a serial port — without a
 client, a socket or a callback anywhere in the graph.
 

package/docs/TRIGGERS.md

@@ -1,6 +1,6 @@
 # Triggers
 
-Axiom 0.16.0-alpha.2. A `TriggerDef` says **when** an action should be invoked, without
+Axiom 0.16.0-alpha.4. A `TriggerDef` says **when** an action should be invoked, without
 embedding callback code. `docs/AUTHORITY.md`
 [§ Triggers](AUTHORITY.md#triggers) is the load-bearing statement of the execution model;
 this file is the vocabulary.

package/docs/UI.md

@@ -1,6 +1,6 @@
 # UI
 
-Axiom 0.16.0-alpha.2. Eleven semantic UI node kinds describe **what exists and what it does**.
+Axiom 0.16.0-alpha.4. Eleven semantic UI node kinds describe **what exists and what it does**.
 How it looks is [presentation](PRESENTATION.md).
 
 All eleven share `UIBase`:

package/docs/VALIDATION.md

@@ -1,6 +1,6 @@
 # Validation
 
-Axiom 0.16.0-alpha.2. Validation is authoring-time structural checking. It is not the same
+Axiom 0.16.0-alpha.4. Validation is authoring-time structural checking. It is not the same
 as runtime constraint evaluation — see [`CONSTRAINTS.md`](CONSTRAINTS.md) for the four
 layers of correctness.
 

package/docs/WORKFLOWS.md

@@ -1,6 +1,6 @@
 # Durable workflows
 
-Axiom 0.16.0-alpha.2. The operational contract for **long-running semantic computations with
+Axiom 0.16.0-alpha.4. The operational contract for **long-running semantic computations with
 a durable control position** — orchestration that survives process death, authority
 failover, retries, timer delivery, event delivery and ordinary distributed contention
 without application-owned infrastructure. `axiom.server.v8`.
@@ -255,7 +255,7 @@ step's argument expressions / `retry` policy, a `wait-event` step's `where` / `b
   or binding migration, and none is inferred ("closest step" recovery never happens).
 - A graph with **no** `WorkflowDef` compiles to the byte-identical `axiom.server.v1`–`v7`
   document it always did, and its `semanticFingerprint` / `schemaFingerprint` are unchanged.
-- Pre-`0.16.0-alpha.2` instances carry a compatibility key computed before `WorkflowDef`
+- Pre-`0.16.0-alpha.4` instances carry a compatibility key computed before `WorkflowDef`
   participated; a corrected authority treats them as incompatible and fails closed (these
   are pre-freeze alpha releases — silent reinterpretation is the only unacceptable
   outcome).

package/llms.txt

@@ -1,6 +1,6 @@
 # Axiom
 
-> AI-native semantic application framework, version 0.16.0-alpha.2. An Axiom application is a
+> AI-native semantic application framework, version 0.16.0-alpha.4. An Axiom application is a
 > typed semantic graph — state, behavior, constraints, UI structure, presentation and
 > authority as structured data — executed by generic runtimes. The JavaScript, HTML and CSS
 > that reach a browser are compiler output and are never authored or edited. The primary

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cynodia/axiom",
-  "version": "0.16.0-alpha.2",
+  "version": "0.16.0-alpha.4",
   "description": "AI-native semantic web application framework.",
   "license": "MIT",
   "author": "AskTech AS",
@@ -34,10 +34,10 @@
     }
   },
   "dependencies": {
-    "@cynodia/axiom-core": "0.16.0-alpha.2",
-    "@cynodia/axiom-runtime": "0.16.0-alpha.2",
-    "@cynodia/axiom-compiler": "0.16.0-alpha.2",
-    "@cynodia/axiom-agent-api": "0.16.0-alpha.2"
+    "@cynodia/axiom-core": "0.16.0-alpha.4",
+    "@cynodia/axiom-runtime": "0.16.0-alpha.4",
+    "@cynodia/axiom-compiler": "0.16.0-alpha.4",
+    "@cynodia/axiom-agent-api": "0.16.0-alpha.4"
   },
   "scripts": {
     "build": "tsc -b tsconfig.json"