3 Jun 2026
Technical-standard compliance reasoning may involve incomplete evidence, inconsistent observations, exceptions, and derived normative outputs. This paper presents \textsc{Monir}, a four-valued normative intermediate representation for ASP-oriented compliance workflows.