Skip to main content
A Transaction Science Platform

Deterministic agentic AI.
Priced in joules.

A memoizing cascade over Imagine, Semantic, and Math-Ground AIs. Every inference returns a signed receipt with the energy it cost and the datacenter that ran it.

The receipt

Every inference. Every joule. Signed.

This is what comes back from the cascade. Not just an answer — a signed JWP ReceiptPayload with the tier sequence, the memoization status, the joules consumed, and the datacenter that performed the work. Forging the audit means forging a signature.

JWP ReceiptPayload
kind "txai.cascade.query"
query_hash "blake3:c0ff…ee01"
tier "imagine→semantic→math"
memoize { hit: true, saved_joules: 2310 }
result_hash "blake3:abcd…1234"
joules 8.4
cite "verity-cascade v0.6 · location:datacenter:us-west-1"
sig "ed25519:c0ff…ee02"

Four surfaces, one substrate

Gateway. Safety. Observability. Eval. Each one signed.

The same cascade + receipt + joule-ledger exposes four discrete enterprise surfaces. Pick one or all; the receipts span them.

AI Gateway

Multi-model routing, priced in joules.

One API in front of Imagine, Semantic, Math-Ground, and any external model you bring. The router picks the cheapest tier per query class, semantic cache absorbs near-duplicates, and every routed call returns the signed receipt naming the tier, the joules, and the datacenter that ran it.

Runtime Safety

Guardrails whose decisions are attestable.

Prompt-injection screening, PII redaction, output-policy checks, and hallucination guards run inline on every cascade call. Each guardrail decision — accept, redact, or refuse — emits its own receipt under the same signing key, so "why was this output blocked" has a verifiable answer.

Observability

Tracing with per-token provenance.

Every inference, retrieval, tool call, and guardrail decision joins a single signed trace. Drill from a session to the per-token receipt chain, the cache hit-rate, the joule ledger, and the InformationOS citations the model consulted. The trace itself is a tamper-evident artifact.

Eval

Regression sets anchored on receipts.

Every prior answer is replayable from its receipt: the inputs, the tier sequence, the memoized fragments. A new model, a new policy, or a new prompt is graded against that frozen evidence set automatically — drift, regressions, and energy deltas all surface as signed diffs, not screenshots.

What this platform believes

Three statements. Each is the proof of the next.

Repeat work is free.

A memoizing cascade keeps every prior answer addressable. Near-identical queries hit cache; the joules already spent stay spent. The bill goes down as the system learns.

Watch a memoized query →
Inference is metered in joules.

Every call returns a signed receipt with the energy consumed and the datacenter that performed the work. Tokens are downstream of joules; joules are the only universal billing unit.

Inspect the cascade →
Three native AIs. One API.

Imagine (perception), Semantic (language), Math-Ground (deterministic reasoning). All sit behind the same cascade. The router picks the cheapest tier that solves the query.

See the tiers →