Runtime assurance for AI systems

Every AI operation deserves a receipt.

GLACIS sits inline at the inference boundary. We enforce what runs, block what shouldn’t, and emit signed proof your auditors, customers, and insurers can verify themselves.

30-day sprint OVERT receipts, we steward the standard Zero-egress option
Backed by & running with

The defense layer

One control plane. Three guarantees.

A runtime arbiter that sits inline in your AI request path. Observes every action. Enforces every boundary. Signs proof of both.

See

Every inference. Every tool call. Every decision.

Causal chains across models, agents, and tools — not log dumps. Tamper-evident at the event level.

events / day2.4M
causal chainswitnessed
retentiontamper-evident
Simulated stream for illustration

Control

Block what shouldn’t run. Allow what should.

Inline at the inference boundary. Deterministic, policy-driven, model-agnostic. No retraining, no swap.

actionpayments.transfer
policy hitclaims/v3
outcomedenied · receipted

Prove

Signed. Witnessed. Portable.

Every decision becomes an OVERT receipt, countersigned by an independent witness. Verifiable without a GLACIS account.

formatOVERT · open spec
witnessoperator + witness signed
replaydeterministic

Receipt chain

What an auditable AI decision looks like.

Every action becomes a receipt. Hash-chained to the previous. Countersigned by an independent witness. Tamper one, the chain breaks — and the verifier shows where.

Customer trust boundary Agent tool call Arbiter policy · enforce arbiter-01.us-east Allowed action proceeds Blocked denied · receipted Receipt n−1 1d9a… Receipt n 4f2c…a081 Witness independently witnessed Verifier anyone, any time hash← runtime · inside customer trust portable proof · independently verifiable

Tamper a receipt · chain breaks · verifier names the gap

Simulated for illustration

What the buyer asks for

The audit perimeter is moving.

Insurers are starting to ask. Regulators are starting to require. Customers are starting to demand. The artifact they all want is the same one — and until OVERT, it didn’t exist as something portable enough to send.

  • InsuranceE&O carriers are carving out autonomous-agent action. The carve-out closes when you can hand them runtime evidence.
  • RegulationFrom EU AI Act post-deployment monitoring to Colorado’s new automated-decision-making transparency rules, regulators are converging on exactly what a receipt is — the disclosable record of a consequential decision.
  • ProcurementEnterprise AI vendor reviews now ask for runtime audit artifacts a third party can verify — not a SOC 2 report.

Verify it yourself

Don’t take the receipt on trust. Check it.

This is a real signed receipt. Verification runs in your browser; nothing is sent anywhere.

Where GLACIS fits

Not a governance tool. Not an eval suite. Not another log.

Adjacent categories solve adjacent problems. GLACIS is the layer that stops an AI action in flight and produces proof a regulator, customer, or insurer can verify themselves.

Runtime enforcement Signed evidence Portable proof
Governance platforms
OneTrust · Credo · etc.
— policy only — PDF reports — vendor-locked
Model evals
Patronus · Galileo · etc.
— pre-prod only — eval scores — vendor-locked
LLM observability
LangSmith · Helicone · etc.
— log only — unsigned — vendor-locked
GLACIS ✓ inline arbiter ✓ OVERT receipts ✓ independent witness
Open standard

Glacis is the steward of OVERT.

Observable Verification Evidence for Runtime Trust: the open standard for runtime evidence that independent parties can verify without protected‑content egress. Published under a royalty‑free covenant. Every receipt on this site carries it.

Standard
OVERT 1.1
Status
Published 11 June 2026
License
Royalty‑free covenant

The question that matters

Can you prove it?

A 30-day sprint. One high-risk AI workflow. Live arbiter, signed receipts, and an evidence pack the regulator, customer, or insurer can verify themselves by the end.