Integridad y herramientas

Inspección

vnma run main.py inspect libs/Math.lib

inspect muestra cabecera, formato, versión de librería, manifiesto, exportaciones, módulos IR y artefactos nativos.

Verificación

vnma run main.py verify libs/Math.lib

verify comprueba hashes de manifiesto, símbolos, IR u objetos y fuente empaquetada. También valida que cada entrada declarada tenga un nombre seguro.

Extracción

vnma run main.py unpack libs/Math.lib unpacked

La extracción rechaza entradas absolutas o con .. que salgan del destino. Durante una compilación, extract_library() usa una carpeta de caché por package_id y crea un marcador .complete cuando la extracción terminó.

La implementación y los errores de formato están en core/library.py; las pruebas de integridad están en tests/test_libraries.py.