A locked-down machine for running AI agents. It boots in 3.5 seconds, can prove it hasn't been tampered with, and nothing leaves it except where you said it could.
You give a customer one file. They boot it as a virtual machine. What comes up is a locked-down system that runs their AI agents — with no way to log into it, nothing to install or patch, and a single controlled exit for network traffic. Ask it what it's running and it answers with proof you can check yourself.
There is nothing to log into and nothing to install. The disk is read-only and checked on every read, so a change made to it is detected rather than trusted. One small area is writable, for data only — nothing stored there can be run.
Left to right: your customer owns the machine, we control what runs on it and what's allowed out, and you carry it the rest of the way. The two shaded boxes are what we build.
Five properties are load-bearing for a network partner, and each has a section below: it boots fast enough to be treated as cattle (§2); it can prove its own identity and integrity to a third party (§3); every outbound connection it makes passes one auditable gate (§4); it holds agent concurrency without the VM growing (§6); and it gets onto a machine — imported, or written over whatever was already there (§7).
Two kinds of number appear here and they are not interchangeable. Conflating them is the most common way a benchmark stops being true.
Certified A gate result. Three runs, median reported, run-to-run spread inside 10%. The build refuses to proceed if the bar is missed.
Measured A single observed run on real hardware. Reproducible, but not median-of-three, so it is evidence and not a specification. Every capacity figure in §6 is of this kind.
Everything below ran against the real appliance image — the same squashfs, the same dm-verity table, the same runtime — booted under KVM. Nothing was simulated on the host except where the report says so explicitly.
Cold boot to the first liveness line, under OVMF with the production image. Disk cache evicted before every run.
| Run | Host elapsed | Note |
|---|---|---|
| warm-up | 3.462 s | rig preparation, not counted |
| 1 | 3.729 s | — |
| 2 | 3.675 s | — |
| 3 | 3.678 s | — |
The node produces a signed report carrying a real TPM2 quote. It is fetched from outside the guest and verified on the host by an implementation that shares no code with the node — it parses the attestation structure from the TPM specification and its cryptography is OpenSSL's, not the node's.
| Boot | Device | Asserts | Result |
|---|---|---|---|
| A | tpm-crb | Identity signature, TPM signature, TPM_GENERATED_VALUE, nonce binding, recomputed PCR digest | PASS |
| B | tpm-crb | Flipped payload bit, foreign signature, and a re-signed report with a PCR replaced are all refused | PASS |
| C | tpm-tis | A TPM this kernel cannot drive reports no TPM, and the report still states version, profile and roothash | PASS |
| D | tpm-crb | Two nonces produce two different quotes — the node is not replaying a cached one | PASS |
CONFIG_TCG_CRB=y, CONFIG_TCG_TIS unset, MODULES=n — so boot C exercises a TPM that can never be driven, by construction.The quote signs a digest; the report carries values. Recomputing the digest from those values and requiring it to match is what makes them evidence. Boot B's third case is an attacker holding the node's identity key but not its TPM — they re-sign whatever claims they like, the identity signature verifies, and only the digest refuses them:
the untouched report verifies; now breaking it FAIL: the machine-identity signature did not verify refused, as it must: one flipped bit in the payload FAIL: the machine-identity signature did not verify refused, as it must: a signature from a different node FAIL: the PCR values in the report do not produce the digest the TPM signed refused, as it must: a re-signed report with a PCR value replaced
The report also states its time source, trust-store digest, resolver lookup order, reachable egress destinations, API bind address, and whether the cloud-metadata window is sealed. A report that cannot say the window is shut cannot rule out the one hole that window exists to close.
A signed report is only worth what the recipient can check. volent attest --verify policy.json is a standalone tool that takes a report and a policy describing what the node must be, and answers in exit status. It depends on neither the node's source nor any third-party package — it parses the attestation structure from the TPM2 specification and verifies with the platform's own cryptography, because a verifier built from the producer's code agrees with a bug in it.
ok machine identity signature — ed25519, over 2317 bytes of claims ok node names its own key — 33b30618c5759d47… ok freshness — the report carries the nonce that was sent ok quote is TPM-generated — magic and attest type are a quote ok quote is bound to a challenge ok TPM signature over the quote — ECDSA P-256 / SHA-256 ok PCR values match the signed digest — 8 PCRs reproduce it ok image version — 0.1.0-dev ok pin digest — 642d379bdd51 ok verity roothash — b01bf5a4beb688e6df7939… ok boot profile — verity_only ok metadata window sealed — true PASS: the report verifies and satisfies the policy (2 check(s) the policy did not ask for)
Every policy field is optional, and the tool states how many it was not asked to check. A thin policy printing a bare OK would be the most dangerous output it could produce, because it would look exactly like a thorough pass.
| Given | Answers | Exit |
|---|---|---|
| A clean report and a matching policy | every check passes | 0 |
| One flipped bit anywhere in the signed claims | the signature does not verify | 1 |
| A nonce other than the one sent | the report and the quote are both refused | 1 |
| A PCR value replaced | the values do not produce the signed digest | 1 |
The node configures its own network at boot and has exactly one way out. Both are properties a network operator can audit rather than take on trust, and both are enforced by the build rather than by convention.
VOLENT-ENTROPY seeded after 1ms VOLENT-NET link eth0 up VOLENT-NET eth0 addr=10.0.2.15/24 gw=10.0.2.2 lease=86400s VOLENT-NET resolver: 1 nameserver(s) installed VOLENT-TIME no time server offered by the network; running on monotonic time VOLENT-PROVISION provisioned from ec2: api_token, api_bind; metadata window sealed VOLENT-API control api: listening
Interface selection comes from the kernel's own link table rather than a configured name, so the image boots unattended on a hypervisor nobody tried — eth0, ens3 and enp0s3 are all the same to it. DHCP, address, default route and resolver are the node's own work. A guest with no interface is a reported condition, not a crash.
Every outbound request — an agent's tool call, a model API, an image update — traverses a single gate in a fixed order. There is no second socket, and that is checked at build time by auditing the compiled modules rather than by grepping source: naming a socket API anywhere outside the gate fails the build.
| Stage | What it decides | Refusal is |
|---|---|---|
| Capability token | Whether this caller may make any request at all | a value, not a fault |
| Allowlist | Whether this capability was granted this host — derived from the agent's own manifest, exact match, no wildcards | host_not_allowed |
| URL shape | HTTPS only; an IP literal is refused as a literal, before its address is considered | ip_literal |
| Resolve | Every address a name answers with is judged, not just the first | unresolvable |
| Address | RFC1918, loopback, link-local, carrier-grade NAT, multicast and the IPv6 forms that embed them | blocked_range |
| Connect | The socket goes to the address that was judged; the name rides along only as SNI and Host | — |
| Redirect | A redirect re-enters the whole chain, allowlist included | too_many_redirects |
Every decision, allowed or refused, is journalled with host, bytes, duration, the agent that asked and the reason. In §5's 896-call run the tally was allow: 896, deny: 0 — and in the security controls run alongside it, a host not on the allowlist was refused, a deliberately emptied trust store produced a TLS failure rather than a silent downgrade, and a scan of the node's own output for the provisioned credential came back clean.
| Property | Value | Note |
|---|---|---|
| Protocol | HTTP/2 only | Connection pools are per resolved destination |
| TLS floor | 1.2 | 1.0 and 1.1 are not available on the node's only way out |
| Trust anchors | 144 | Named explicitly from the image's own bundle, never discovered — the attestation report carries the bundle's digest |
| Certificate check | against the name | Not against the pinned literal the socket connects to |
| Path MTU | from the lease | DHCP option 26 is requested and applied before the address, so no packet is sent at a size the path was known not to carry. Values below 576 bytes are reported and declined. The MTU in force is printed at link-up and carried in the attestation report. |
| Cloud metadata | pre-seal only | The instance-credential address is reachable during a first-boot window that always closes, and never again |
Real agents running inside the booted appliance, reaching a real model server over TLS and HTTP/2 through the node's single egress gate. Not a host-side harness calling a model.
Tasks are graded into four tiers by expected output length, because difficulty is not a quantity a benchmark can measure and output length is — on a decode-bound server it is what drives cost. The results confirm the distinction is real rather than pedantic:
| Tier | Exercises | Tasks | Mean tokens | Correct |
|---|---|---|---|---|
| recall | one-hop factual lookup | 6 | 41 | 85 % |
| arithmetic | a short deterministic chain | 6 | 42 | 35 % |
| reasoning | multi-step inference over supplied facts | 6 | 67 | 26 % |
| structured | output in a required shape (JSON, ordered list) | 6 | 63 | 87 % |
9d19af46e999. Two runs with different digests are not comparable, and the digest is reported with every result so a reader finds that out without diffing source.The most expensive tier scores highest and the second-cheapest scores worst. In this corpus, simple → complex means cheap → expensive, never easy → hard. Published as a difficulty ladder it would be wrong, and checkable.
| # | Task | Runs | Correct | Rate | p50 | p95 | Tokens |
|---|---|---|---|---|---|---|---|
| recall — one-hop lookup | |||||||
| 0 | Capital city of Japan | 32 | 32 | 100 % | 1585 | 2287 | 41 |
| 1 | Planet closest to the Sun | 32 | 23 | 72 % | 1642 | 2181 | 41 |
| 2 | Chemical symbol for water | 32 | 24 | 75 % | 1648 | 2400 | 43 |
| 3 | Largest ocean | 32 | 28 | 88 % | 1084 | 1817 | 38 |
| 4 | Days in a week | 32 | 27 | 84 % | 1051 | 1954 | 40 |
| 5 | Freezing point of water in Celsius | 32 | 29 | 91 % | 1424 | 2664 | 42 |
| arithmetic — a short deterministic chain | |||||||
| 6 | 17 + 25 | 32 | 3 | 9 % | 1116 | 1555 | 39 |
| 7 | 8 × 7 | 32 | 12 | 38 % | 1062 | 1934 | 39 |
| 8 | 144 ÷ 12 | 32 | 5 | 16 % | 1259 | 1859 | 40 |
| 9 | 6 eggs per box, 9 boxes | 32 | 16 | 50 % | 2524 | 10920 | 55 |
| 10 | 100 − 37 | 32 | 11 | 34 % | 937 | 1491 | 39 |
| 11 | One quarter of 80 | 32 | 20 | 62 % | 1172 | 1914 | 40 |
| reasoning — multi-step over supplied facts | |||||||
| 12 | Anna > Ben > Carl — who is shortest | 32 | 14 | 44 % | 2518 | 8779 | 56 |
| 13 | Departs 09:00, 3-hour journey — arrival | 32 | 13 | 41 % | 9496 | 12832 | 87 |
| 14 | All roses are flowers — syllogism | 32 | 12 | 38 % | 1173 | 2082 | 48 |
| 15 | 12 apples, gave 5, bought 3 | 32 | 5 | 16 % | 9218 | 13150 | 82 |
| 16 | Monday + 3 days | 32 | 0 | 0 % | 1087 | 1802 | 48 |
| 17 | $20 shirt, 25 % off | 32 | 5 | 16 % | 8556 | 13090 | 79 |
| structured — output in a required shape | |||||||
| 18 | Echo an exact JSON object | 32 | 31 | 97 % | 4968 | 9598 | 62 |
| 19 | Three primary colours in a given order | 32 | 32 | 100 % | 4461 | 9797 | 61 |
| 20 | Extract a year into {"year": NNNN} | 32 | 32 | 100 % | 7535 | 11858 | 78 |
| 21 | JSON object keyed capital | 32 | 32 | 100 % | 4840 | 6605 | 60 |
| 22 | One-sentence summary with a fixed first word | 32 | 32 | 100 % | 4016 | 6184 | 62 |
| 23 | First four positive even numbers | 32 | 8 | 25 % | 2806 | 7885 | 52 |
llama3.2:1b, CPU inference, served through the appliance's egress gate.Task 16 scored 0 of 32; task 0 scored 32 of 32; both cost roughly the same tokens and the same milliseconds. That spread is a property of a 1-billion-parameter model, not of the runtime. The appliance's own result is the other column: 768 of 768 delivered, journalled, and returned — failed: 0, failures_by_reason: {}, egress tally allow: 768, deny: 0.
| Concurrent agents | Calls | Completed | p50 | p95 | Throughput | Node RSS | Run queue |
|---|---|---|---|---|---|---|---|
| 4 | 128 | 128 | 1203 | 7521 | 1.40 /s | 78 MB | 0 |
| 8 | 256 | 256 | 1674 | 11118 | 2.11 /s | 78 MB | 0 |
| 16 | 512 | 512 | 5353 | 14592 | 2.23 /s | 78 MB | 0 |
The benchmark's own verdict: throughput flattened while the node stayed flat — this is the endpoint's ceiling, not the appliance's. One CPU-bound model server with a fixed number of decode slots saturates long before the runtime does. No figure in this subsection is a claim about the appliance, because the appliance is not what ran out.
To measure the runtime's own ceiling the model is removed: an in-process stub answers with a fixed 5 ms latency, so what is being measured is admission, scheduling and bookkeeping rather than somebody's GPU. Five VM shapes, four load levels.
| Shape | Requested | Admitted | Refused | Wall | Throughput | RSS | Procs | Atoms | RQ |
|---|---|---|---|---|---|---|---|---|---|
| 1 vCPU / 1 GB | |||||||||
| min | 1,500 | 1,500 | 0 | 69 ms | 21,739 /s | 79 MB | 140 | 39,617 | 0 |
| · | 10,000 | 10,000 | 0 | 1,321 ms | 7,570 /s | 86 MB | 140 | 39,617 | 0 |
| · | 50,000 | 50,000 | 0 | 32,968 ms | 1,517 /s | 123 MB | 140 | 39,617 | 0 |
| max | 150,000 | 150,000 | 0 | 347,511 ms | 432 /s | 212 MB | 140 | 39,617 | 0 |
| 2 vCPU / 2 GB | |||||||||
| min | 1,500 | 1,500 | 0 | 69 ms | 21,739 /s | 81 MB | 142 | 39,620 | 0 |
| · | 10,000 | 10,000 | 0 | 1,426 ms | 7,013 /s | 92 MB | 142 | 39,620 | 0 |
| · | 50,000 | 50,000 | 0 | 41,025 ms | 1,219 /s | 140 MB | 142 | 39,620 | 0 |
| max | 150,000 | 150,000 | 0 | 362,971 ms | 413 /s | 217 MB | 142 | 39,620 | 0 |
| 2 vCPU / 4 GB — the certified bench shape | |||||||||
| min | 1,500 | 1,500 | 0 | 95 ms | 15,790 /s | 79 MB | 142 | 39,620 | 0 |
| · | 10,000 | 10,000 | 0 | 1,458 ms | 6,859 /s | 92 MB | 142 | 39,620 | 0 |
| · | 50,000 | 50,000 | 0 | 41,932 ms | 1,192 /s | 111 MB | 142 | 39,620 | 0 |
| max | 150,000 | 150,000 | 0 | 360,381 ms | 416 /s | 217 MB | 142 | 39,620 | 0 |
| 4 vCPU / 8 GB | |||||||||
| min | 1,500 | 1,500 | 0 | 89 ms | 16,854 /s | 82 MB | 146 | 39,626 | 0 |
| · | 10,000 | 10,000 | 0 | 1,677 ms | 5,963 /s | 90 MB | 146 | 39,626 | 0 |
| · | 50,000 | 50,000 | 0 | 41,010 ms | 1,219 /s | 112 MB | 146 | 39,626 | 0 |
| max | 150,000 | 150,000 | 0 | 344,294 ms | 436 /s | 336 MB | 146 | 39,626 | 0 |
| 8 vCPU / 16 GB | |||||||||
| min | 1,500 | 1,500 | 0 | 109 ms | 13,762 /s | 85 MB | 154 | 39,638 | 0 |
| · | 10,000 | 10,000 | 0 | 1,608 ms | 6,219 /s | 95 MB | 154 | 39,638 | 0 |
| · | 50,000 | 50,000 | 0 | 42,357 ms | 1,180 /s | 144 MB | 154 | 39,638 | 0 |
| max | 150,000 | 150,000 | 0 | 339,261 ms | 442 /s | 222 MB | 154 | 39,638 | 0 |
The 4 vCPU shape reports 336 MB at 150,000 where every other shape reports 212–222 MB — a 50 % outlier with no obvious cause. Single runs cannot distinguish a real effect from garbage-collection timing. It is left in the table rather than dropped, and it is the clearest argument for the repeat runs described in §9.
One image, four ways onto a machine. Each one below was run, not described: the numbers and the refusals come from gates that boot the artifact they are claiming about.
The image emits as raw, qcow2 and a fixed VHD. All three are re-encodings of the same 2 GiB disk, so each is compared back against the raw byte for byte, and the qcow2 and the VHD are then booted. What makes that worth doing: converting to VHD without pinning the virtual size rounds it up to the next legacy disk geometry, producing a file that is a slightly different disk from the one it was made from — silently, with the consequence arriving at an image import weeks later.
| Artifact | What is asserted |
|---|---|
| raw · qcow2 · vhd | Same virtual size, byte-identical contents, and the two converted forms boot to the runtime's first liveness line under KVM. |
| signed manifest | One ed25519 signature binds all three by digest, plus the image version, the pin set and the dm-verity root hash. The signature is checked against the key the shipped installer pins — not against the private key that made it — so an installer carrying a stale key stops a release rather than shipping. |
| the compressed raw | 116 MB rather than 2 GiB. Not an optimisation: it is what lets the takeover installer verify an image in memory before it overwrites the disk it is running from. |
The end-to-end test installs the appliance over a stock, unmodified Debian cloud image in a virtual machine — fetched by digest from Debian's own mirror, driven by cloud-init exactly as an operator's automation would drive it, running the byte-identical installer that ships beside the image. The machine reboots into the appliance, answers for its attestation report from outside the guest, and the previous operating system is gone — read off the partition table, not inferred from a console that anything inside the guest could have written to.
The run that matters is the one that must fail. The same install is attempted first with one byte of the image changed. It has to be refused with nothing written, and the disk has to still hold Debian afterwards. Without that, this test would pass just as happily against an installer that verified nothing.
Two defects this found that nothing else could. An installer overwrites the disk its own tools live on. The first run wrote the image correctly and then hashed it back with a program that had ceased to exist, producing an empty digest that compared as a mismatch. The second wrote the image and exited silently, because the shell was reading the rest of the script off the disk it had just overwritten. Both now have explicit defences — the tools are copied into memory and self-tested against a known answer before the write, and the write does not happen at all if that fails; everything after the point of no return is parsed into memory first.
| Path | Status | Evidence |
|---|---|---|
| UEFI, Secure Boot, our keys | Certified | Signed loader runs, unsigned loader refused, keys enrolled into real firmware. |
| microVM, direct kernel | Certified | Boots under a real Firecracker, over the only device transport it offers, with the integrity root hash on the kernel command line. One wrong digit of that hash and the machine does not come up. |
| Legacy BIOS, hybrid image | Certified | Boots with no UEFI firmware present at all. The default image is booted the same way as a control and must not come up, or the legacy path would have proven nothing. |
| Microsoft-CA firmware | Not met | Requires a loader Microsoft has signed. That is a submission to an external review board, not a build step. The build refuses to produce this variant without one rather than approximating it. |
Every digest an operator is asked to check is substituted from the signed manifest of the build being documented, and a gate fails if a committed runbook and the build disagree. A runbook whose digests do not match the artifacts beside it teaches operators to skip the verification step, which is the one step that matters.
Production image volent 0.1.0-dev, pin digest 642d379bdd51, built with a development Secure Boot keyset — stated because it is a property of the article measured, and the attestation report in §3 carries that provenance as a field. Read-only squashfs under dm-verity; only /data writable and mounted noexec. Kernel 6.12.104 hardened with MODULES=n. No shell, no package manager, no init system other than the project's own PID 1. The image states its own version from the pin file, never from version control, so the same source tree always produces the same image.
x86-64 Linux, 8 cores, 31 GB, KVM. Every result is tagged T3-KVM; the harness refuses to run without /dev/kvm and asserts -accel kvm in the command line it actually executed, because emulated results are not admissible.
llama3.2:1b served by ollama on the host, fronted by TLS and HTTP/2 so the appliance's transport requirements are met without relaxing them. The guest reaches it through the hypervisor's host alias at an address the SSRF guard permits — no gate rule was weakened to make the rig work. Every call traverses the same egress path a production deployment uses: capability check, allowlist, URL inspection, DNS pinning, connection to the judged address, and a journal entry for the decision.
An in-process mock with fixed 5 ms latency replaces the provider. This removes the network and the model deliberately: it is the only way to measure the runtime's own admission and scheduling behaviour rather than a model server's decode capacity.
Every corpus task carries the substring a correct answer must contain. Matching is lenient about form and strict about content — case and non-alphanumerics are dropped from both sides, so 12:00, "count" and Tokyo. need no special case. A stack returning HTTP 200 with garbage is a different result from one that works, and a completion count cannot tell them apart.
Stated in full. A benchmark that omits these is not a benchmark.
| Limit | Consequence |
|---|---|
| No real DHCP server has yet offered this node an interface MTU. Option 26 is requested, decoded and applied, and the path is under test — but the emulated network used for these runs cannot advertise one, so the apply has not been watched happen on a live lease. | On a bridged or carrier path advertising a smaller MTU the node should narrow its link before it carries traffic. Worth confirming on the first deployment: the MTU in force is printed at link-up and carried in the attestation report. |
| IPv6 is judged but has not been routed in anger. The address rules are unit-tested per row, including the forms that embed an IPv4 address. | No dual-stack fabric has exercised them end to end, and enterprise fabrics routinely are dual-stack. |
| §6 is single runs. Project discipline requires three runs and a median, with more than 10 % run-to-run spread counted as a failure in itself. | Every §6 figure is evidence, not a specification. They must be repeated three times before they are quotable as a bar. |
| No frontier model has ever been called. The routing table picks one up the moment a key is configured, but no run has used one. | The live gate asserts both a frontier and an open-weights class; these runs waive that criterion explicitly. |
| No real rate limit has been observed. A local endpoint does not return 429. | Provider failover is exercised against a stub only. |
No attestation report has yet been produced from a Secure Boot machine. Every attestation boot here is direct-kernel, so the report honestly states verity_only. The Secure Boot chain itself is separately certified — a signed loader runs, an unsigned one is refused — and the two paths have not been joined. | The field that names the boot chain has been exercised on one of its three values. The other two have unit coverage and a separate gate. |
| The Microsoft-CA firmware variant does not exist. It needs a loader signed by Microsoft, which comes from an external review board rather than from a build. | On firmware that trusts only Microsoft's authority, run without Secure Boot: the disk integrity, the slot rollback and the sealed userland all still hold, and the attestation report says which case it is in. The build refuses to produce the variant rather than approximating it. |
| No cloud account has ever consumed the pre-enrolled firmware key blob. Its encoding is checked two ways — parsed back by an independent implementation, and re-encoded byte-identically by the reference tool the provider documents — and its key material is the material a real Secure Boot machine here enforces. | The far end is unverified. An account for image-import tests is the one outstanding dependency. |
| Cloud vTPM interfaces are unverified. The kernel can drive a CRB-interface TPM only. | Whether each target provider's virtual TPM presents CRB must be checked per provider before it is claimed. |
| No network has yet offered the node a time server. It runs on the hypervisor clock and says so on the console and in the attestation report. | Certificate validity depends on that clock. A node that cannot verify a certificate for clock reasons must not be mistaken for one under attack, which is why the time source is a reported field. |
| Image reproducibility is gated for the development image only. | The production image was verified byte-identical across two builds by hand, but that check is not yet automated. |
Agent execution became funded infrastructure in 2026: $355M into Modal, $24M into Daytona, a billionth sandbox at E2B. This section places VOLENT against that field honestly, including where the field is ahead.
Compiled from vendors' own public material in September 2026. None of it is independently verified — unlike every other number in this report, which was measured on the article named at the top. Treat it as positioning, not as measurement.
Almost everything funded in this space is a hosted sandbox: you send code or an agent to the vendor's cloud, it runs in an isolated microVM, and you are billed for it. VOLENT is the other shape — an image the customer boots in their own VM, on their own hypervisor, which proves its own integrity to whoever asks. The buyer is different, and so is the objection it answers.
| System | Shape | Isolation | Runs where | Attestable to a third party |
|---|---|---|---|---|
| VOLENT | OS image that is the VM | hypervisor + WASM per tool | customer's own VM | TPM quote, verified off-node |
| E2B | hosted sandbox API | Firecracker microVM | vendor cloud | not offered |
| Modal | hosted compute + sandboxes | gVisor / microVM | vendor cloud | not offered |
| Daytona | hosted sandbox, compliance-first | containers, Kata optional | vendor cloud | compliance attestations, not per-node |
| Talos Linux | OS image that is the VM | hypervisor | customer's own VM | not the product's purpose |
Talos Linux occupies this OS position almost exactly — no SSH, no shell, no package manager, read-only squashfs under 80 MB, YAML machine configuration applied over an authenticated API. It is a Kubernetes appliance rather than an agent appliance, and it does not set out to prove itself to a third party. But anyone evaluating "a minimal immutable appliance OS" will find it in seconds, and a claim that the shape is novel does not survive that search.
The same applies to the runtime. Running very large numbers of concurrent agents on the BEAM was an active argument through 2025–26, with at least one public claim of millions of agents on a cluster. The §6 figures are good; they are not a category claim, and BEAM process cost is the well-understood reason for them.
Not the minimal OS, not the WASM sandbox, not TPM attestation, and not BEAM concurrency — each of those exists elsewhere. What could not be found in public prior art is the combination in §3 and §4 together: an attestation report that binds the measured boot chain to the runtime's network posture — which certificate authorities it trusts, in what order it resolves names, where its management API is bound, which destinations it has reached, and whether the cloud-metadata window is sealed — signed by the machine's own identity and verifiable by a tool that shares no code with it.
A hosted sandbox cannot make that statement, because the boundary it would attest to is the vendor's. A minimal OS can attest to its boot chain but has no runtime posture to bind to it. That intersection is the claim worth defending.
| They have | This has |
|---|---|
| Production customers, including a reported 88% of the Fortune 100 for one vendor | No production deployment |
| Sub-100 ms warm starts from pooled snapshots | 3.5 s cold boot, no warm pool |
| HIPAA, SOC 2 and GDPR coverage | None; no audit has been undertaken |
| Managed service, nothing for the customer to operate | The customer runs it, which is the point and also the cost |
| Shipping, on production keys | Development Secure Boot keys; release targets fail closed by design |