Skip to main content

Epistemology

How we know what we know.

Clinical AI does not earn institutional trust by being smart. It earns it by being defensible. Every claim must be testable. Every supervision verdict must be auditable. Every standard must be hard to vary without breaking the explanation.1

This is what we mean when we say "Popperian." It is also why our agents are named after Popper, Deutsch, Hermes, and Bench, each name carries epistemic information about the agent's role in the architecture. Read the essay →

Figure 1.1

Induction does not justify

Editorial two-panel comparison titled INDUCTION DOES NOT JUSTIFY, left panel CONFIRMATION shows accumulated white-circle dots flowing toward a question mark (the Hume problem); right panel REFUTATION shows the same chain interrupted by a single muted-teal counterexample arrow (the Popper asymmetry).
The Hume/Popper asymmetry, made visual. No amount of confirming data can justify a universal claim; a single counterexample can refute one. The architecture below is what it takes to make this asymmetry operational.

By the numbers

What the architecture commits to.

Supervision verdicts

4

Discrete output classes


APPROVE, ROUTE, HARD_STOP, or REQUEST_MORE_INFO. Bounded outputs make the verdict testable; ambiguity is engineered out by construction.

Grounding hierarchy

5

Source tiers per rule


Each rule traces to one of five source tiers: regulatory floor, standards from the societies that write them, peer-reviewed evidence, professional guidelines, or emerging evidence. The engine refuses to load a rule whose grounding is missing or inverted.

Independence

2

Separated reasoning surfaces


Reasoning (Deutsch) and supervision (Popper) are structurally independent, separate codebase, separate runtime, separate access controls. The supervisor cannot be silenced by the reasoner.

Four commitments

What this epistemology demands of the architecture.

Three architectural commitments fall out of the philosophy. A fourth, naming, is what keeps the discipline visible to anyone reading the codebase.

  1. 01

    Provenance

    Every compliance rule traces to a published standard, guideline, or regulatory requirement. No interpretive ambiguity, no orphan claims.

  2. 02

    Determinism

    Same inputs always produce the same outputs. Reproducibility is not a nice-to-have; it is what makes the engine an evaluator at all.

  3. 03

    Independence

    The supervision agent is structurally independent of the reasoning agent, separate codebase, separate runtime, separate access controls.

  4. 04

    Naming

    Each agent's role mirrors the philosophical position it is named for: Popper supervises, Deutsch reasons, Hermes carries, Bench tests.

Conjecture

Bold claims, exposed to refutation.

Karl Popper's contribution to the philosophy of science was the insight that a theory's value lies not in how often it is confirmed but in how readily it could be falsified.1 A theory that explains everything explains nothing. A theory that risks something, that forbids specific outcomes, is the kind that science can advance.

We apply this standard to clinical AI. Our reasoning agent (Deutsch) is built to make specific, falsifiable conjectures about a patient's condition. Our supervision agent (Popper) is built to test those conjectures against published evidence and return one of four verdicts: APPROVE, ROUTE, HARD_STOP, or REQUEST_MORE_INFO. The conjecture-refutation loop is the architecture, not a slogan.

Hard to vary

Explanations that resist alteration.

David Deutsch refined Popper's framework with a second criterion: a good explanation is one that is hard to vary while still accounting for what it claims to explain.2 Change one element and the explanation collapses. Most popular health claims fail this test: the underlying causal story can be rewritten freely without affecting the recommendation. Our compliance rules are written to survive this test.

Read the Hard2Vary deep dive →

Naming

Why the agents are named after philosophers.

Deutsch makes conjectures. Popper refutes them. Hermes carries the messages between them under a strict contract. Bench tests both against clinical vignettes and scores the results. The naming is not decorative. Each agent's role in the architecture mirrors the philosophical position it is named for. When an engineer reads the codebase, the names carry epistemic information, which is itself a discipline our domain doesn't otherwise enforce.

Application

What this means for the platform.

Three commitments fall out of this epistemology. First: every compliance rule traces to a published standard, guideline, or regulatory requirement, no interpretive ambiguity. Second: the evaluation engine is deterministic and reproducible, same inputs always produce the same outputs. Third: the supervision agent is structurally independent of the reasoning agent, separate codebase, separate runtime, separate access controls.

These are not engineering preferences. They are epistemological requirements. A compliance evaluation that cannot be audited is not a compliance evaluation. A safety verdict that the reasoning engine can override is not a safety verdict. We built the architecture this way because the alternative is theater.

Figure 3.1, Five-source grounding hierarchy

Editorial marginalia falsifiability-loop diagram with four nodes (conjecture / critique / survive / verdict) on a circular orbit, hairline arrow looping verdict back to conjecture labeled new evidence. Center carries the four supervision verdict tags. Hairline navy linework on cream paper, single muted-teal accent.

Figure 4.1

Structural independence, Deutsch and Popper

Editorial dual-runtime diagram titled STRUCTURAL INDEPENDENCE, two rectangles side by side (Reasoning Agent / Deutsch on the left, Supervision Agent / Popper on the right with a muted-teal hairline frame), separated by a vertical rule, with conjecture and verdict arrows between them and the legend SEPARATE CODEBASE / SEPARATE RUNTIME / SEPARATE RBAC underneath.
Reasoning and supervision are two separate runtimes talking through a contract. Neither agent can silence the other; the conjecture-refutation loop survives only because the boundary survives.

Read more

Adjacent sections.

Hard to Vary

A deeper dive into the epistemological standard we apply to clinical reasoning, explanations that resist alteration without breaking the explanation.

Hard to Vary deep dive →

Trust

Security architecture, deterministic evaluation, HIPAA posture, and open standards, the engineering decisions that make the platform auditable.

See the trust architecture →

About

An infrastructure company, not a SaaS dashboard. Self-funded, two-org structure, clinical systems deployed at medical centers in Central Asia.

Back to the About hub →

Footnotes

  1. Popper, K. R. The Logic of Scientific Discovery. Hutchinson, 1959. The falsifiability criterion is developed in §I and §IV; the asymmetry between confirmation and refutation is the load-bearing argument of the book.
  2. Deutsch, D. The Beginning of Infinity: Explanations That Transform the World. Allen Lane, 2011. Chapter 1, "The Reach of Explanations," introduces the hard-to-vary criterion as the working epistemology of the book.