Jev in practice: typed decisions, scoped authority