Storia: Closing the loop: From network policy intent to verified reality — Warptech Lab News