An actual music theory framework with note-for-note voice-leading resolutions