Kenshiki Labs

Reasoning API

Kadai

The Kadai Inference Engine is our reasoning model, a domain-specific foundation model at the heart of our AI control plane.

Kadai is the read side of the evidence boundary — the bounded synthesis runtime that takes a governed question, retrieves only the evidence the principal is authorized to see (via Kura), generates inside the boundary, verifies every claim against the retrieved evidence, and emits a grounded answer with a signed Claim Ledger entry. Without Kadai, a user prompts a model directly and the model answers from training data, tool calls, context window, and improvisation — with no evidence boundary, no claim checking, no auditable provenance.

Without bounded synthesis: a user prompts a model directly. The model answers from training data, tool calls, its context window, and improvisation. There is no evidence boundary, no claim checking, no inspectable our auditable provenance. The burden of trust falls on the reader.

How Kadai turns bounded evidence into a governed response

Read this left to right from the Kura handoff. Bounded evidence enters, the runtime compiles a controlled prompt contract, the model drafts a proposal, the system verifies the claims, and only then is a governed response returned. Kadai orchestrates this runtime. It does not define evidence on its own, and it does not replace Ledger or Gate.

Kadai Governed Response Lifecycle
Kadai does not invent authority. It compiles a governed request, synthesizes only from bounded evidence, verifies the claims it emits, assigns an output state, and returns an auditable response.
Step 1 of 6Receive
Step 2 of 6Compile
Step 3 of 6Generate
Step 4 of 6Verify
Step 5 of 6Decide
Step 6 of 6Return
Every Kadai Response Carries

What Kadai does

Kadai is the single entry point for governed synthesis. An authenticated request envelope enters with bounded evidence. Compiler rewrites it. Kura retrieval supplies in-scope evidence. Generation produces a proposal. Ledger evaluates it. Gate assigns a state. Kadai returns the governed response.

  • One API call for the full bounded-synthesis pipeline
  • Same contract across Workshop, Refinery, and Clean Room
  • Returns governed response text + output state + claim-level audit trail

Who this is for

Application developers

integrate Kadai as the answer API. One API call replaces direct model access and returns governed, classified responses.

The end user

receives a response already evaluated and assigned an explicit state — not raw model text that still has to be defended by hand.

Kadai — the governed inference engine — is the reasoning API. It orchestrates Compiler — the prompt compiler —, bounded retrieval, generation, Ledger — the integrity-protected inference audit trail —, and Gate — the emission policy boundary — before anything reaches the caller. Every claim is checked against governed evidence before it is emitted. Kadai synthesizes — it does not act as authority.