Inputs on the left: the workforce profile and the ten drafter decisions. The compiler runs the five-stage pipeline live as you change them — coverage resolution, element resolution, clause variant selection, assembly, and verification. The agreement is rendered, clause-by-clause, in the center. The verification report — twenty-five predicates over the saved authority snapshot, severity-classified, with treatment confidence and authority basis — sits to the right. Everything visible here is computed from the clause library and the predicate set; nothing is mocked.