@contractspec/module.audit-trail