Mithal Systems

From Thought to Logic

Mithal Systems builds the layer between thought and effect: symbolic substrates that carry meaning explicitly, and institutional structures that decide what may be done, by whom, and on whose authority.

Thesis

Inference is not a system.

A process that produces plausible output has not thereby produced an account of itself. It cannot say what it is permitted to do, under whose authority it acts, which commitments follow from which, or what it owes an explanation for. Those are questions of language, structure, and institution, and they do not resolve with scale.

We take the older answer seriously. Meaning is carried in language that can be inspected. Obligation is created by rules that constitute roles, not only by rules that forbid actions. Order is something a system holds rather than approximates. Our work is to give computation that footing, so that what it does can be read, authorised, and answered for.

Work

Two pieces, built to be used together.

Rede

Computational substrate

A symbolic language, a model of time, and a distributed process model — one substrate on which meaning, inference, and execution share a single representation.

  • Symbolic language
  • Temporal reasoning
  • Distributed processes
  • Inference
  • Institutional execution
Read about Rede

Concord

Constitutive framework

Rules that constitute rather than restrict — roles and authority, phases and dispatch, and a membrane across which effects on the world are attributable.

  • Constitutive rules
  • Roles and authority
  • Phases and dispatch
  • Institutional membrane
  • Accountable effects
Read about Concord

Principles

What the work is held to.

Language
Meaning is written down in a form that can be read, checked, and argued with.
Agency
Processes act as someone, in a role, with authority that can be traced to its source.
Order
Time, sequence, and precedence are represented in the system, not reconstructed afterwards.
Intelligibility
A system that cannot be explained to the people it affects is not finished.
Accountability
Every effect on the world carries a record of who authorised it and under which rule.
Durable structure
We build for institutions that outlast the projects running inside them.

Company

A research-led systems engineering company.

Mithal Systems works on the parts of computation that are difficult to retrofit: language, structure, authority, and record. The programme is long-horizon and deliberately narrow — a substrate, Rede, and a constitutive framework, Concord, designed against each other from the start.

We work with organisations that have to answer for what their systems do.

About the company

Contact

Get in touch.

Write about applied work, research collaboration, or the architecture itself.

Repositories
Published as projects become public.