Prodis
Prodis Labs, Inc. · Memo № 001 · Rev 2026.03.05 · Doc 001-A · Page 01 / 01

From Prodis Labs, Inc.
To Engineering teams shipping AI over operational APIs
Re Verified answers over operational APIs
Keywords open-source runtime · typed endpoint contracts · evidence contracts · deterministic derivation · explainability

Verified answers
over operational
APIs.

Prodis is an open-source runtime that turns your Django, FastAPI, or Spring APIs into assistants that plan, execute, and validate answers in code before responding. Managed evals, answer review, deployments, and enterprise controls are available when teams are ready to ship.


§ 01

Premise.

The demo passes. Production is where it breaks.

Every production AI eventually fails the same way. A confidently wrong answer reaches a user¹. An action runs that should have been blocked². A decision is made from a black-box answer the team cannot explain after the fact³. When evidence is missing, Prodis refuses with a recorded reason. Polished language is not correctness, and the model is not the authority for that distinction.


§ 02

Method.

The model proposes. The backend executes.

Break question-answering into granular, schema-validated steps, and a non-deterministic task becomes an almost-deterministic one. The model interprets language at the seams; bounded, typed code owns the rest. The answer record shows the explicit inputs from the user, derived inputs from resolvers, implicit inputs from runtime context, and each step used to reach the final answer. Synthesis happens only after evidence is sufficient — and the system can refuse.

Fig. 01 — Answer record Model interprets · code executes
"How did her Q3 numbers compare to last quarter?"
01 Identify "her"memory reference "Alice" (Staff)"Q3"TimeRange ref"last quarter"TimeRange ref— model interprets typed spans, no execution
02 Resolve resolve_entity("Alice", Staff)stf_4831resolve_time("Q3")2026-07-01 / 2026-09-30resolve_time("last quarter")2026-04-01 / 2026-06-30— deterministic, fails closed
03 Plan GET /staff/stf_4831/sales?start=2026-07-01&end=2026-09-30GET /staff/stf_4831/sales?start=2026-04-01&end=2026-06-30canonical paths · resolved IDs · no string match at the API boundary
04 Derive Typed computation: totals, delta, comparison — deterministic
"Alice's Q3 sales were 12% lower than Q2."
If resolution fails resolve_entity("Alice", Staff)3 matches · answer withheld · asks: "Which Alice exactly?"

§ 03

Stack.

Today's agent stacks run the loop. They do not own correctness.

OpenAI SDK, Anthropic SDK, LangChain, LangGraph, MCP, direct tool calls, in-house loops — useful tools, incomplete control boundary. They call models, route tools, stream responses, and wire workflows. They do not make the backend the authority for answer eligibility over business APIs. In the usual loop, the model still decides whether the evidence is enough. Prodis moves that boundary into code.

Fig. 02 — Stack vs. Runtime Drawn 2026.03.05
Today's Agent Stack
  1. 01user asks
  2. 02model picks tools
  3. 03api returns data
  4. 04model decides if enough
  5. 05model writes answer
answer
Prodis Runtime
  1. 01model interprets intent
  2. 02plan compiled + validated
  3. 03authorized APIs execute
  4. 04result derived in code
  5. 05answer readiness checked
synthesis only when ready
Prodis owns the correctness boundary, not just the final check. Intent, plan, permissions, evidence, derivation, readiness, synthesis: each step has a backend-owned contract.

§ 04

Runtime.

Open-source runtime. Framework adapters are the on-ramp.

Prodis ships the engine, contracts, local runtime, adapters, eval runner, and examples as open source. Install the adapter in a Django, FastAPI, or Spring service; it introspects what's already there and produces typed endpoint contracts the runtime validates plans against. Your APIs stay where they are. No parallel inventory, no rebuild around an AI framework.

Django viewsets, serializers, permissions
FastAPI route signatures, Pydantic models
Spring controllers, DTOs
2-3 days

A full pilot integration in 2-3 days.
Correctness controls from day one.

Connect a real API surface, keep the model-calling code you already have, and ship an assistant with answer records without restructuring your service.

Open source + managed production
runtimecontractsadapterseval runnermanaged answer recordsmanaged eval dashboardsenterprise controls

§ 05

Apparatus.

What makes the answer verifiable.

The control surface missing from the existing stack. Each capability is owned by code, not by prompts; each leaves an answer record the team can explain after the fact.

  1. 01

    Typed endpoint contracts

    Capture request and response semantics in machine-usable contracts the runtime validates plans against.

  2. 02

    Validated planning

    Reject invalid or unsupported plans before execution instead of repairing bad tool calls after the fact.

  3. 03

    Evidence sufficiency

    Make answer readiness explicit so the system knows when evidence is complete and when it is not.

  4. 04

    Deterministic derivation

    Use controlled computation for totals, comparisons, rankings, and grouping over API data instead of prompt-side math or guesswork.

  5. 05

    Answer provenance and explainability

    Inspect the inputs and execution steps behind each answer, so the final output is explainable rather than a black box.


§ 06

Field.

Already piloted in three industries. Internal workflows and customer-facing commerce. Same hard requirement: the answer has to be right.

These pilots were chosen because correctness is not cosmetic. Operators and customers act on the answer; when evidence is missing, the system must say so. FMCG retail, market research, and fintech share little operationally. They hit the same boundary: useful AI is not enough without backend-owned evidence, permissions, and refusal.

01 FMCG retail chain Ops + commerce
02 Market research provider Internal ops
03 Fintech startup Internal ops

§ 07

RSVP.

Early preview by request.

Engineering teams shipping AI over operational APIs, with backend ownership of correctness. Join the private waitlist for early product updates, open-source launch access, and managed pilot availability.

RSVP → waitlist@prodis.ai