How it works, in depth
The main pages tell you what the platform does. Here we explain how and why — for engineers, architects and the curious.
Ideas behind the platform
Concepts and capabilities explained with examples.
A reasoning engine that shows its work
Symbolic reasoning on ordinary processors, with no language models: it plans, explains every decision and rehearses changes on history.
Read the article →SakinaOS: why we wrote our own operating system
Every node of the platform runs SakinaOS, an operating system we wrote from scratch in Rust. Nothing foreign sits between your data and the hardware.
Read the article →Cambium: one language for business logic
Settings, marketing rules, workflows and permissions in one typed, deterministic language — strict enough to check before it runs, short enough to read in a meeting.
Read the article →ATL: one typed protocol for the whole platform
One schema gives a compact binary format, symmetric request-response and ready clients in five languages. Every node is managed through it — and nothing else.
Read the article →A permission is not enough
Access is checked on four axes — action, record, field and the trust level of the session. The answer is not just yes or no.
Read the article →Same inputs, same outputs
No clock, no randomness and no floating point in business logic. State is a function of the journal — so any figure can be reproduced and any past moment re-examined.
Read the article →Two networks: your partners and your nodes
On the platform the word «network» means two different things: the business network of your partners, and the network of nodes your platform runs on.
Read the article →Choose where your data lives — and prove it
A residency policy says where an organisation's data may be stored. The platform accepts a placement only with a proof that it meets the policy, and refuses anything else with a reason.
Read the article →See it on your own business
Book a demo: we show the platform on your processes and agree where your data will live — in our cloud or on your own nodes.