Function agentive_status 

pub fn agentive_status(norm: &NQuin, facts: &[NQuin]) -> DeonticStatus

Post-hoc accountability status of an agentive norm O[α stit φ] / F[α stit φ], evaluated when the duty is due/closed:

• OP_OBLIGATE: the bearer brought φ about → Discharged; otherwise it is an omission → Violated.
• OP_FORBID: the bearer brought the forbidden φ about → Violated; else Active.
• anything else (e.g. a permission): Active — a liberty cannot be omitted.