VOLENT

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.

Test article
volent 0.1.0-dev
Pin digest
642d379bdd51
Kernel / OTP
6.12.104 / 27.3.4.16
Tier
T3 · KVM guest
Date
2026-09-23

§0 What was measured

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.

3.7 s
Cold boot to live
79 MB
Runtime footprint, idle
150 k
Concurrent agents, 1 vCPU
1
Network egress path
0
Shells, package managers, SSH daemons

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.

How it is deployed, and where a network partner sits

Customer

Their hypervisor, their VM
  • KVM, VMware, Hyper-V, Xen or Firecracker
  • Nothing of ours runs in anyone else's cloud

The product

VOLENT boots as the VM
  • Nothing to log into, nothing to patch
  • Agents described in a config file, run and watched by the image
  • Proves what it's running, on demand
3.5 s cold boot · 79 MB idle

The product

One egress gate
  • Nothing gets out unless you allowed it
  • Allowed per agent, and every attempt is logged with a reason
  • A second way out won't compile
HTTP/2 · TLS 1.2 floor · named trust store

Network partner

The path out
  • A private line to AI providers and the customer's own systems
  • Traffic never touches the public internet
  • Tells the node what packet size the link carries; the node listens

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.

What we are asking for

  1. A test link with an unusual packet size. The node asks the network what size it can carry and adjusts. We've proven that in a lab, but no real carrier link has ever told it. If we get this wrong on your network, connections stall silently rather than failing — so it's the first thing worth testing together, and the fastest to do.
  2. One pilot machine on a private connection. A single VM, one link to an AI provider, and two records afterwards: everything the machine tried to send, and proof of exactly what was running when it sent it.
  3. Your read on whether your customers want this. The buyer is someone in a regulated industry who won't send their work to someone else's cloud. Whether that's a real group on your side is something only you can tell us.

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).

§1 How to read this report

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.

§2 Boot Certified

Cold boot to the first liveness line, under OVMF with the production image. Disk cache evicted before every run.

3.678 s
Median of 3
1.5 %
Run-to-run spread
5.0 s
Bar (NFR-1)
1.32 s
Headroom
RunHost elapsedNote
warm-up3.462 srig preparation, not counted
13.729 s—
23.675 s—
33.678 s—
Spread 54 ms against a 368 ms tolerance. Re-measured after the kernel gained a virtio-MMIO driver for the microVM profile and the supervision tree gained a fleet-enrollment child; 4.6% slower than the previous 3.516 s, inside the 10% regression bar.

§3 Attestation Certified

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.

Four boots, each asserting something the others cannot

BootDeviceAssertsResult
Atpm-crbIdentity signature, TPM signature, TPM_GENERATED_VALUE, nonce binding, recomputed PCR digestPASS
Btpm-crbFlipped payload bit, foreign signature, and a re-signed report with a PCR replaced are all refusedPASS
Ctpm-tisA TPM this kernel cannot drive reports no TPM, and the report still states version, profile and roothashPASS
Dtpm-crbTwo nonces produce two different quotes — the node is not replaying a cached onePASS
Software TPM (swtpm 0.10.1) presented over the CRB interface. The kernel is built CONFIG_TCG_CRB=y, CONFIG_TCG_TIS unset, MODULES=n — so boot C exercises a TPM that can never be driven, by construction.

Why the PCR digest check is the load-bearing one

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.

The operator verifies it themselves

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.

GivenAnswersExit
A clean report and a matching policyevery check passes0
One flipped bit anywhere in the signed claimsthe signature does not verify1
A nonce other than the one sentthe report and the quote are both refused1
A PCR value replacedthe values do not produce the signed digest1
The gate runs this tool over the same reports its own independent verifier checks. Two verifiers disagreeing is the signal worth having; a gate exercising only its own would leave the tool an operator runs untested.

§4 Network posture Certified

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.

What it does on its own at boot

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.

One egress path, deny by default

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.

StageWhat it decidesRefusal is
Capability tokenWhether this caller may make any request at alla value, not a fault
AllowlistWhether this capability was granted this host — derived from the agent's own manifest, exact match, no wildcardshost_not_allowed
URL shapeHTTPS only; an IP literal is refused as a literal, before its address is consideredip_literal
ResolveEvery address a name answers with is judged, not just the firstunresolvable
AddressRFC1918, loopback, link-local, carrier-grade NAT, multicast and the IPv6 forms that embed themblocked_range
ConnectThe socket goes to the address that was judged; the name rides along only as SNI and Host—
RedirectA redirect re-enters the whole chain, allowlist includedtoo_many_redirects
Resolve-then-connect-to-what-was-judged is what closes DNS rebinding: the address the allowlist approved and the address the socket reaches are the same address by construction.

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.

Transport

PropertyValueNote
ProtocolHTTP/2 onlyConnection pools are per resolved destination
TLS floor1.21.0 and 1.1 are not available on the node's only way out
Trust anchors144Named explicitly from the image's own bundle, never discovered — the attestation report carries the bundle's digest
Certificate checkagainst the nameNot against the pinned literal the socket connects to
Path MTUfrom the leaseDHCP 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 metadatapre-seal onlyThe instance-credential address is reachable during a first-boot window that always closes, and never again
HTTP/2-only is a deliberate constraint with a consequence: an HTTPS endpoint that offers only HTTP/1.1 is unreachable, and the node reports that by name rather than as a generic failure.

§5 Agent workload Measured

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.

896
Real calls, §5.2
0
Delivery failures
47,898
Provider tokens
24
Corpus tasks

5.1  The corpus is ordered by cost, not by difficulty

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:

TierExercisesTasksMean tokensCorrect
recallone-hop factual lookup64185 %
arithmetica short deterministic chain64235 %
reasoningmulti-step inference over supplied facts66726 %
structuredoutput in a required shape (JSON, ordered list)66387 %
Corpus digest 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.
Read this before quoting the tier order

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.

5.2  Per task, 32 runs each at concurrency 8

#TaskRunsCorrectRatep50p95Tokens
recall — one-hop lookup
0Capital city of Japan3232100 %1585228741
1Planet closest to the Sun322372 %1642218141
2Chemical symbol for water322475 %1648240043
3Largest ocean322888 %1084181738
4Days in a week322784 %1051195440
5Freezing point of water in Celsius322991 %1424266442
arithmetic — a short deterministic chain
617 + 253239 %1116155539
78 × 7321238 %1062193439
8144 ÷ 1232516 %1259185940
96 eggs per box, 9 boxes321650 %25241092055
10100 − 37321134 %937149139
11One quarter of 80322062 %1172191440
reasoning — multi-step over supplied facts
12Anna > Ben > Carl — who is shortest321444 %2518877956
13Departs 09:00, 3-hour journey — arrival321341 %94961283287
14All roses are flowers — syllogism321238 %1173208248
1512 apples, gave 5, bought 332516 %92181315082
16Monday + 3 days3200 %1087180248
17$20 shirt, 25 % off32516 %85561309079
structured — output in a required shape
18Echo an exact JSON object323197 %4968959862
19Three primary colours in a given order3232100 %4461979761
20Extract a year into {"year": NNNN}3232100 %75351185878
21JSON object keyed capital3232100 %4840660560
22One-sentence summary with a fixed first word3232100 %4016618462
23First four positive even numbers32825 %2806788552
768 calls, all completed. Latencies in milliseconds. Model: llama3.2:1b, CPU inference, served through the appliance's egress gate.
Correctness here measures the model, not the appliance

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.

5.3  Concurrency against a real model server

Concurrent agentsCallsCompletedp50p95ThroughputNode RSSRun queue
4128128120375211.40 /s78 MB0
82562561674111182.11 /s78 MB0
165125125353145922.23 /s78 MB0
4 GB / 2 vCPU guest. Throughput flattened across a 4× concurrency range while memory, process count, atom count and run queue did not move at all.

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.

§6 Concurrency capacity Measured

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.

150,000
Concurrent in-flight
0
Refusals, all 20 runs
1 vCPU
Smallest shape tested
212 MB
RSS at 150 k, 1 vCPU
ShapeRequestedAdmittedRefusedWallThroughputRSSProcsAtomsRQ
1 vCPU / 1 GB
min1,5001,500069 ms21,739 /s79 MB14039,6170
·10,00010,00001,321 ms7,570 /s86 MB14039,6170
·50,00050,000032,968 ms1,517 /s123 MB14039,6170
max150,000150,0000347,511 ms432 /s212 MB14039,6170
2 vCPU / 2 GB
min1,5001,500069 ms21,739 /s81 MB14239,6200
·10,00010,00001,426 ms7,013 /s92 MB14239,6200
·50,00050,000041,025 ms1,219 /s140 MB14239,6200
max150,000150,0000362,971 ms413 /s217 MB14239,6200
2 vCPU / 4 GB — the certified bench shape
min1,5001,500095 ms15,790 /s79 MB14239,6200
·10,00010,00001,458 ms6,859 /s92 MB14239,6200
·50,00050,000041,932 ms1,192 /s111 MB14239,6200
max150,000150,0000360,381 ms416 /s217 MB14239,6200
4 vCPU / 8 GB
min1,5001,500089 ms16,854 /s82 MB14639,6260
·10,00010,00001,677 ms5,963 /s90 MB14639,6260
·50,00050,000041,010 ms1,219 /s112 MB14639,6260
max150,000150,0000344,294 ms436 /s336 MB14639,6260
8 vCPU / 16 GB
min1,5001,5000109 ms13,762 /s85 MB15439,6380
·10,00010,00001,608 ms6,219 /s95 MB15439,6380
·50,00050,000042,357 ms1,180 /s144 MB15439,6380
max150,000150,0000339,261 ms442 /s222 MB15439,6380
RQ = scheduler run queue. Every cell is a single run; see §9. The certified bar is 1,500 concurrent on 2 vCPU — the first row of the middle group.

What the table says

One anomaly, stated rather than smoothed

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.

§7 Deployment Certified

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 three formats, and the one that is not obvious

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.

ArtifactWhat is asserted
raw · qcow2 · vhdSame virtual size, byte-identical contents, and the two converted forms boot to the runtime's first liveness line under KVM.
signed manifestOne 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 raw116 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.
A tampered manifest and a tampered image are each required to be refused, with the refusal naming which check caught it.

Taking over a machine that already has an operating system

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.

Four boot paths, three of them alternates

PathStatusEvidence
UEFI, Secure Boot, our keysCertifiedSigned loader runs, unsigned loader refused, keys enrolled into real firmware.
microVM, direct kernelCertifiedBoots 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 imageCertifiedBoots 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 firmwareNot metRequires 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.
The integrity guarantees are identical across all four: the same read-only disk, the same hash tree, the same root hash. What differs is who vouches for the first program the firmware runs — and every attestation report states which case it is in, so a degraded deployment is visible rather than silent.

Ten provider runbooks, generated from the build

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.

§8 Method

Test article

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.

Host

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.

Model path (§5)

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.

Stub path (§6)

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.

Correctness scoring

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.

§9 Limits of this report

Stated in full. A benchmark that omits these is not a benchmark.

LimitConsequence
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.

§10 Where this sits Public sources

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.

What this section is and is not

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.

The category split

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.

SystemShapeIsolationRuns whereAttestable to a third party
VOLENTOS image that is the VMhypervisor + WASM per toolcustomer's own VMTPM quote, verified off-node
E2Bhosted sandbox APIFirecracker microVMvendor cloudnot offered
Modalhosted compute + sandboxesgVisor / microVMvendor cloudnot offered
Daytonahosted sandbox, compliance-firstcontainers, Kata optionalvendor cloudcompliance attestations, not per-node
Talos LinuxOS image that is the VMhypervisorcustomer's own VMnot the product's purpose
"Attestable to a third party" means a recipient who does not trust the operator can check what the machine is running. Compliance certification is a statement about a vendor's process; a TPM quote is a statement about one machine at one moment.

The nearest neighbour is not an agent company

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.

What is actually distinctive

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.

Where the field is ahead

They haveThis has
Production customers, including a reported 88% of the Fortune 100 for one vendorNo production deployment
Sub-100 ms warm starts from pooled snapshots3.5 s cold boot, no warm pool
HIPAA, SOC 2 and GDPR coverageNone; no audit has been undertaken
Managed service, nothing for the customer to operateThe customer runs it, which is the point and also the cost
Shipping, on production keysDevelopment Secure Boot keys; release targets fail closed by design
The last row is the honest bottom line: this is a measured pre-release, not a product a customer can deploy today.