Module generation 

Dynamic argument-generation engine — build a Dung framework directly from raw deontic / LTL trace verdicts. Each verdict becomes an argument concluding a signed literal; verdicts with complementary conclusions (same literal, opposite polarity) attack each other. This is the bridge from the engine’s modal/deontic traces into abstract argumentation, so a conflict in the trace becomes a resolvable debate.

Functions

framework_from_trace

Build a framework from trace entries (arg_id, conclusion_literal, positive): each becomes an argument; any two with the same conclusion_literal and opposite positive mutually attack (a rebuttal). The conclusion is encoded into the argument’s conclusion_quin (subject = literal, predicate = polarity).