Agent trace viewer.
Pick a run. Expand any node. See the tool input, the tool output, and the receipt that signed it. Replay any subgraph.
search → identity → escrow → compliance → comms.
The planner emits a DAG of agent_cards. Each card declares (name, capabilities, allowed_mcp_servers, joule_budget). The DAG hash is sealed before execution — any drift between planned and executed graph fires a guardrail event.
Anatomy — operational specs
tools/call → downstream pillar → receipt + usage.
Every MCP call carries a usage block reporting downstream joules. The agent's local cost ledger increments by (local_compute + downstream_joules). A capped budget at the agent_card level prevents an agent from spending more than planned without explicit re-planning.
Anatomy — operational specs
Content-addressed (subject, predicate, object) triples.
Long-term memory is RDF-shaped: every write is (subject, predicate, object, source_receipt_hash, ttl). Content-addressing means a duplicate fact deduplicates automatically; the source_receipt_hash makes every memory cell traceable back to the receipt that produced it. No embedding-only memory.
Anatomy — operational specs
Cedar + DSL admit/block/redact on every tool call.
Policies are Cedar 4.0 plus a small DSL for data-class tags. Each tool call evaluates principal (agent role), action (tool name + arguments), and resource (target pillar + data classes). 31 admits, 0 blocks, 0 redacts on this run — every event is a receipt.
Anatomy — operational specs
W3C Trace Context propagated through every hop.
Root span is `agent.run`; child spans cover each MCP call, each memory write, each A2A hand-off. Per OTel 1.36 GenAI conventions, the run records gen_ai.usage tokens plus a custom agentos.joules attribute. Export targets: OTel collector + JWP receipt sink.
Anatomy — operational specs
AgentOS, in one line
orchestrator, made inspectable.
Click anything. The same primitives that compose the rest of the Transaction Science family — receipts, joules, signed transport — show up here too. The family is one system.