PREVIEW DRAFT · not published · early-stage open-source project
How it works

The standards and technologies behind AE-OS

AE-OS brings open standards from cloud security, distributed computing and the public logs that browsers use to check website certificates to software agents doing finance work. The sections below follow the order of the film and cover what a finance leader or auditor needs to know about an agent's work.

01 Authority

Delegated authority tokens

People sign in and approve with a passkey or a digital identity wallet. When a person signs an instruction, each agent receives a token, a signed digital permission, carrying that instruction's limits: which actions, up to what amount and until when. An agent can pass work to another agent only with the same or narrower limits. Because the token is bound to the agent's identity, another program holding a stolen copy cannot use it.

People Agents

Capability tokens (Biscuit, macaroons)Passkeys (WebAuthn, FIDO2)EU digital identity walletsW3C Verifiable CredentialsvLEI for organizations
In the film: 01 The instruction. The CFO's $250,000 limit goes into every agent's credential →
02 Identity

Software identity with SPIFFE and SPIRE

SPIFFE is an open standard that gives each piece of software its own verifiable identity, and SPIRE is the open-source software that issues and checks those identities. Before issuing one, SPIRE checks the machine and the exact software build the agent runs on. The identity is a certificate that lasts 15 minutes and renews automatically. Agents therefore hold no stored passwords or access keys that an attacker could trick them into revealing. Every connection is encrypted, and both ends prove who they are (mutual TLS). The operating system decides which connections are allowed, and a manipulated agent faces the same checks as any other.

Agents Controls

SPIFFESPIREMutual TLSeBPF and Cilium network rules
In the film: 01 The instruction. 40 agents each receive a credential for one task →
03 Agents

Agent Primitive Objects

Each agent is packaged as one bundle that names its identity, the tools it may use, its budgets for spending and model use, the rules that govern it and the AI model version it runs. The bundle is identified by a fingerprint calculated from its contents. Any change to a tool, a budget or the model produces a new agent that must be checked again. Before a person approves an agent, developers test it in isolation and replay its work through the rules. It then runs beside live work with its postings switched off.

Agents

Content addressing (CIDs)Spending and usage budgetsShadow deploymentPython and Rust reference code
In the film: 02 Agents at work. Each agent does one job within its budget →
04 Connections

Model Context Protocol (MCP)

MCP is an open standard, released by Anthropic in November 2024, that lets an agent discover the tools a system offers and call them. In AE-OS every MCP call goes through one gateway. The gateway verifies the agent's identity and token and runs the policy check, then records the call and forwards it. Existing systems such as SAP, a bank connection or a tax engine are connected through MCP adapters, and agents can work alongside them during a migration.

Agents Other systems

MCPJSON-RPC 2.0OAuth 2.1 for outside servicesIdentity-aware MCP gateway
In the film: 02 Agents at work. Agents confirm balances with First Coast Bank →
05 Rules

Policy as code in WebAssembly

Company rules, such as spending limits, closed periods and segregation of duties, are written as code and compiled to WebAssembly, a compact format that runs in a sealed sandbox and gives the same answer on every machine. Every action is checked before it runs, and the result (allow, refuse or send to a person) is recorded. From the rule set's fingerprint, an auditor can tell which version applied to any decision.

Controls

WebAssembly (Wasmtime)Open Policy Agent (Rego)Cedar as an alternativeLogged policy decisions
In the film: 03 The controls. A posting into the closed August period is refused, and a $612,000 write-down goes to the CFO →
06 Books

Event sourcing, actors and sagas

The system records every business change as an event, which keeps a full history and lets any balance be rebuilt. A shared business vocabulary (an ontology) describes suppliers, invoices and postings, and agents use it to request records by meaning, such as all unpaid supplier invoices. Each record has a single owner process, called an actor, that applies its changes one at a time. Many agents can then work in parallel. AE-OS proposes Ray, an open-source framework for distributed computing, to run the actors. Reserving cash, stock and credit before use stops two agents spending the same balance. Work that spans companies runs as a saga: a series of steps, each with a defined way to reverse it.

Ledger Other companies

Event sourcingKnowledge graph and ontologyActors (Ray)Reserved balancesSagas
In the film: 04 Across companies. Kestrel and its UK subsidiary agree one entry, recorded in both ledgers →
07 Records

Merkle trees and signed checkpoints

Each step gets a digital fingerprint, a SHA-256 hash. Fingerprints are combined in pairs, then the pairs in pairs, until one value remains: the root of a Merkle tree. Changing any record changes the root. Each record also links to the signed instruction, rule decision and tool call behind it, and each action returns a receipt proving it is in the log. The log signs its root about once a second. Independent witnesses, such as auditors, add their own signatures, and every auditor then sees the same history. Certificate Transparency, the public log of the certificates websites use to prove their identity, works this way, and Chrome has required it since 2018.

Root matches the signed root

Ledger

Merkle treesSHA-256Certificate Transparency method (RFC 9162)Ed25519 signaturesWitness cosigningPost-quantum signatures (ML-DSA) as an upgrade path
In the film: 06 Closed and checked. The auditor recomputes the root. Try altering a receipt yourself →

Where these technologies run today

The research paper treats each one as a candidate and compares it with alternatives.

TechnologyIn use todayWhat AE-OS adds
SPIFFE and SPIREA graduated (mature) project of the Cloud Native Computing Foundation; Uber runs it across 4,500 servicesTokens tied to one signed human instruction
MCPOpen standard for connecting agents to tools, released in 2024A gateway that checks identity and rules and records every call
WebAssembly policyOpen Policy Agent compiles its rules to WebAssemblyRule sets identified by fingerprint, with a record of every decision
RaySchedules more than 1.8 million tasks a second; AE-OS posting speed is still to be measuredA business ontology and reserved balances for cash and stock
Merkle logsCertificate Transparency, required by Chrome since 2018; Sigstore Rekor for software releasesLinks from each action to its cause, and a receipt per action
Next

The architecture map shows how these parts connect. The research paper has the full detail, with sources and open questions.