feat(tw_interface): Stage 10 — multi-module boundary verifier

feat(tw_interface): Stage 10 — multi-module boundary verifier #111