SMARTHAUSThe Mathematically Governed AI Fabric
Investors ↗ Twenty minutes

The fabric

Separate products.
One contract between them.

You do not buy a fabric. You have one already — the moment AI parts are acting across your enterprise, your products and your environment. What we sell are the components that make it governable: each a product in its own right, each usable without the others, and each built so that what one promises the next is built to receive.

Prepared bySMARTHAUS Engineering
DateSeptember 2026
SectionThe Fabric
ProductSMARTHAUS
ONE REQUEST · THROUGH THE FABRIC “pay the supplier’s March invoice” OPERATIONS CENTER TAIthe personal layer a person talks torequest taken MAIAintent, made explicitone reading · confident CAIOthe plan, and who does whatplan only · cannot execute SAIDthe model, its output checkedoutput checked · it counts UCPadmit, refuse, or ask a personadmitted · receipt written MGRinside the software you shipinside the bound EFFECTthe change in the worldpaid · once UNIFIED CALCULUS · MAE: THE RULES AND THEIR PROOFS RFS · NME: STATE AND MEANING

The shape of it

Operations Center is how a changed rule reaches every runtime below — on one machine or an estate.

TAI
the personal layer a person talks to
→
MAIA
intent — what was asked, made explicit
→
CAIO
orchestration — the plan, and who does what
→
SAID
inference — the model, with its output checked
→
UCP
the action gate — admit, refuse, or ask a person
→
MGR
a governed runtime inside the software you ship
→
Effect
the change in the world

Beneath every step: RFS and NME hold state and meaning, and MAE on the Unified Calculus supplies the rules and their proofs.

The three seams where the fabric enforces today

Most of this market governs one place.

A guardrail vendor checks the model's output. A gateway checks the tool call. An identity vendor checks who the agent is. Each is a patch over one seam of a fabric nobody is describing as a whole.

Seam 01

At the model's output

Deterministic predicates check what the model said. No model anywhere in the decision path.

SAID
Seam 02

At the action boundary

Every consequential tool call arrives here first, and a refusal means it never executes.

UCP
Seam 03

Inside the software you ship

Enforcement running on your customer's infrastructure — the seam no cloud console can reach, because it is not their estate.

MGR

What each one is for

Eight components, and what each is for.

UCPIn daily use

The action gate

The Universal Control Plane. Every consequential tool call arrives here first, the rules answer most of them, a person answers the exceptions, and a hash-chained receipt records what happened.

Access is not authority →
SAIDIn daily use

Governed inference

Model output is checked by deterministic predicates — same input, same verdict, no model judging a model — and violations drive a repair loop rather than only a refusal.

We don't run your model →
MAEAvailable now

The engine that makes the rules

Turns a stated rule into proved mathematics and seals it into an installable package with its evidence inside.

A rule is an opinion →
MGRReleased

Inside the software you ship

A governed runtime that runs inside the software you ship. You tell us what has to be governed, the engine proves the rule, the rule is sealed into the runtime, and your build includes it at the seam you declare. It stays connected to Operations Center, so when the rule changes you do not ship a new version of your product. Released, signed, and registered in the control plane.

The seam no console can reach →
MGT

A governor for a transformer

Clips onto a transformer and holds its internal state inside a proved boundary at inference time. Eleven kernel-checked Lean theorems and a working edge runtime with zero measured drift on the processor.

MAIA · CAIO

What was asked, and the plan

MAIA runs today as a single sealed file of eight megabytes, offline, with no network capability anywhere in its decision path, returning a hash-bound decision artifact and a receipt. CAIO plans and is structurally forbidden from executing — its schema rejects any plan carrying a result.

RFS · NME

Memory and meaning

The memory substrate and the meaning encoder beneath it, including a capacity proof that refuses to compile an operating point outside its own law.

Operations Center

How a changed rule reaches every runtime

Not a console. The delivery mechanism a re-proved rule travels on — to every runtime holding the old one, including runtimes embedded in software you have already shipped.

TAI

The personal layer

The assistant a person actually talks to, with the fabric underneath it.

Operations Center

Not a console. The way a changed rule reaches every runtime.

It carries the rule, not the dashboard

When a clause moves and the engine re-proves the rule, this is what delivers the new sealed artifact to every runtime holding the old one. Nothing is retrained and nothing is redeployed.

It reaches the software you sell

A governed runtime embedded inside your product, shipped to your customers, stays connected to it. That is the only reason a rule inside somebody else's infrastructure can change at all.

It runs for one person, or an estate

The same plane an enterprise uses can be run by an individual on their own machine. A cloud vendor's console lives in their tenancy; none has a single-person mode, because none can.

Start at one seam

Start at one seam. There is no platform decision to make.

Every component is a product in its own right and works without the others. Take the action gate on your coding agents and leave everything else alone; if it earns the next seam, take that one. We think that is the honest way to sell something this early, and it is also the only way we would buy it.

Book the twenty minutes