feat(invariant-checking): basic skeleton