INR identities: INR(PT_pt=PT_norm) = 1; INR(PT_pt=2·PT_norm, ISI=1) = 2

Layer 3 — Biologyin the hematology subtree

Sympy-exact witness of the International Normalized Ratio idempotent and linearity identities. Setup: INR = (PT_pt / PT_norm)^ISI as a three-symbol functional. Identity 1 (normal patient): at PT_pt = PT_norm, INR = 1^ISI = 1 for any ISI…