- compileAction now returns Maybe [Value] (single-element lists for all existing verdicts); armToRuleValues updated accordingly - programToValue emits one regular chain declaration per DRule (no hook/type/prio/policy fields), placed after policy chains - CompileEnv promoted to a record (Env) carrying envDecls and a stub envCtMarks field (populated in Phase 4) - All callers of compileAction threaded through new Env type
Description
No description provided
Languages
Haskell
100%