Medical templates

Ready-to-deploy state contracts in the Medical category. Each is a running machine — protocols pre-composed into states and transitions, deployable as-is onto your state machine.

Template	What it does
Infusion Safety Monitor	Pharmacokinetic steady-state: sub-therapeutic → therapeutic → TOXIC as predicted plasma concentration crosses the therapeutic window. Guards continuous-infusion
Renal Dose Adjuster	MED_GFR + MED_CLEARANCE: normal → reduce-dose → hold as estimated renal function falls, preventing accumulation of renally-cleared drugs.
Cardiac Rhythm Watch	NM30 (x(t)=A·cos(ωt+φ)) tracks beat-to-beat rate excursion: sinus → arrhythmia → alert when the rhythm leaves its declared envelope for too many beats. A physic

See the full Templates Library for all categories, or the State Contracts model for how to author your own.