SQAI · Company

The imprint.

SQAI — Structured Query AI — is the governed, read-only structured-data tool for AI agents. An imprint states who set the type, under what rules, and who answers for it. This is ours.

SQAI · a Thyn engine · sqai.com

IIThe doctrine

One sentence. Two halves.

The model proposes meaning. SQAI controls execution. Every design decision in the product falls out of that split.

The model proposes meaning

It reads the question and proposes a typed intent — a QuerySpec or a ComputationSpec. That is its entire job.

It never writes SQL. It never holds a connection. It never sees a credential.

A proposal is a claim about meaning — and claims get checked.

SQAI controls execution

The intent is validated against a hash-pinned contract. Unknown operations come back as unsupported_operation, nearest matches attached.

Policy is checked in-process, before execution. Denials are typed, attributed, and non-retryable.

Execution is deterministic — float64, one thread — and every answer returns wearing its provenance.

Follow one question through all six stages

IIIOperating principles

Five lines we answer for.

Principles are cheap in prose and expensive in code. These five are in the code.

Imprint — operating principlesSQAI · MMXXVI

Read-only by construction

Of the 4,778 capabilities under the contract, models can reach 4,574 — every one of them read-only. A write path is not blocked or configured away — it does not exist. Even the engine's escape hatch is unreachable from a model.

4,574 read-only · write path: none

Deterministic within declared scope

Every result records where it ran — runtime bundle, platform, precision, thread count — and the determinism claim covers exactly what the record covers. Never more.

precision_mode float64 · thread_count 1

Provenance on every answer

Four hashes travel with every result: plan, invocation, computation, contract. Replay the question and the bytes match — in TypeScript and in Python.

computation_hash b74f67d0…dd91bc8

Zero schema training

Your schemas and your rows are never training data. In local mode nothing leaves the process; the only required outbound call is the one-time signed engine bundle. Code comes down. Rows never go up.

outbound: signed bundle · rows: never

The model is an untrusted client

Policy is fixed at createSQAI() time and enforced in-process, before execution. The model's tool input carries no policy field, so there is nothing for it to widen.

policy_denied_source · _field · _function

Set and answered for by Thyn.contract sha256:79f1c5a6…24be9a1

IVThe house

One house. Focused instruments.

Thynthe house behind SQAI

SQAI is one instrument from one company. Thyn builds it, signs it, and answers for it — the same way it answers for each of its specialized engines.

  • Thyn The company
  • AlgentaAgent runtimes Specialized engine
  • CodnaCode Specialized engine
  • TelysMemory Specialized engine
  • CohentaGrowth Specialized engine
  • DecimasTrading Specialized engine

VPre-launch posture

No borrowed proof.

SQAI is pre-launch, and this site says so. Nothing here is staged — no rented logos, no invented quotes. The only proof we print is the kind you can rerun.

Not printed here

  • Customer logos we have not earned
  • Testimonials nobody gave
  • Case studies that never ran
  • Numbers that cannot be replayed

Printed instead

  • 4,778capabilities under one hash-pinned contract — 4,574 exposed to models
  • 2,744correctness checks — 0 mismatches
  • 0.83–0.93 mswarm compute, measured
  • TS ≡ PYbyte-identical hashes in both languages

The determinism recordThe custody sheet

VICorrespondence

Write to the house.

Questions about the company, the contract, or anything this imprint claims — they reach the people who set the type.

Read the docs