Enterprise software

Software has started doing the work.

For seventy years it kept the records of work, and then it assisted with it. Now it files, approves, pays and decides on its own. MIMUSE builds for what that change demands: products in which what a machine did can be shown, traced to its authority, and put right.

One production system. A series of enterprise products, composed from certified parts and governed at the foundations.

The shift
I

Recorded

Software kept the books. A human did the work and the thinking; the machine remembered what was done.

II

Assisted

Software sped the work. A human still sat at every decision; the machine suggested, sorted and searched.

III

Performed

Software does the work. Agents act on intentions, at machine speed, inside businesses — and the question stops being does it work and becomes who answers for it.

A system that acts must be able to account for itself. That is not a feature to be added. It is a foundation to be built on.

01What we are building

Eight families of products, one production system.

MIMUSE is building a series of enterprise software products on a single production system — a catalogue of certified components from which each product is composed. The families are ordered by how near they are to market.

200+
certified software components in the catalogue
8
product families in build or in design
10
capability domains beneath them — the catalogue
0
model calls on a product’s running paths — the runtime is deterministic

The eight families, in full →   ·   What the catalogue holds →

02The method, briefly

Composed, proven, deterministic.

Composed, not generated

Products are assembled from components that already exist and already carry proof. Machine assistance selects, orders and adapts; it does not invent.

Proven before shipped

Every component is certified before it may appear in any product: interface contracts, executable tests, independent adversarial audit, a recorded grade bound to the exact specification. Change the specification and the proof is void until re-earned.

Deterministic at run

No model runs on a product’s operating paths. Intelligence is in the parts and the plan; the performance is arithmetic. Behaviour and cost are therefore predictable — which is what work that must answer for itself requires of them.

The method, in full — and why it cannot be retrofitted →

03Write to us

We are preparing the first deployments.

If your organisation carries duties the law keeps adding to, or advises those who do — or if you are letting agents loose on work that matters — we would like to hear from you.

Contact