Evidence-driven management portal for InterSystems IRIS: prove prerequisites, execute within bounds, and verify by fresh readback.