Implementation

• Auditing interface:

  • audit(ast, env) returns boolean

• Audit verification:

  • AuditRegistry holds weak reference pairs