This is a vibecoded project, not a resource for learning modeling for formal verification.