A model of what a Java virtual machine can name: layers, class loaders, modules, packages, types, methods, fields and parameters, identified by binary names and descriptors. Its Nasdanika Zephyr Book, "JVM Model", is built from src/docs/asciidoc with listings from the tests, among them a snapshot of the running module layer.