Medical MPRD Lab

Bounded medical actions, governed by policy instead of model confidence

Read tutorial Trace bundle Download spec

This lab keeps the architecture explicit. A model proposes one bounded action, a Tau-shaped policy gate decides, and the executor only sees the action that survives. The examples are educational software shapes, not medical guidance.

Wellness planning

Policy lane

Closed

Selected action

None

Executor result

Blocked

Structured facts from the host

One bounded proposal from the model

The proposal menu is finite on purpose. The model does not get to invent a new execution class.

Decision surface

Policy formula

Recorded Tau cases

These cards come from locally executed Tau traces. They do not prove clinical correctness. They prove that the public educational specs execute and return the expected allow or deny shape on bounded cases.