KROG is a formal semantics and rule language that specifies what agents can do, must do, must not do, and how those relationships are governed — machine-checkable, translatable across domains.