BABYLON
SOLICITAR ACCESOEN
SOLICITAR ACCESO →IDIOMA: EN

Documentación y Recursos

Especificaciones formales, repositorios de código y guías técnicas de BABYLON-60.

Requisitos del Sistema, Instalación y Primera Ejecución

REQUISITOS PREVIOS DEL SISTEMA

  • Hardware: Apple Silicon (M1/M2/M3/M4) recomendado con Secure Enclave TRNG; o Linux x86_64.
  • Sistema de Archivos: APFS obligatorio en macOS (para renames atómicos y cuarentena Copy-on-Write 0700).
  • Toolchain: Rust 1.80+ (toolchain nightly recomendado para alineación de caché KUDURRU-64), Git.
  • Permisos de Acceso: Clave SSH autorizada en el monorepo privado (solicitar a borja@babylon60.com).

PASO A PASO: COMPILACIÓN & EJECUCIÓN

# 1. Clonar con acceso autorizado
$ git clone git@github.com:borjamoskv/BABYLON-60.git
$ cd BABYLON-60
# 2. Compilar kernel soberano Ring-0
$ cargo build --release -p babylon-kernel
# 3. Ejecutar suite de invariantes NEMESIS
$ cargo test -p babylon-kernel --test nemesis_invariants
RESULTADO ESPERADO EN STDOUT (DEMOSTRACIÓN DETERMINISTA EN SILICIO):
running 6 tests
test invariants::nem_i1_capability_gating ... ok (0/10000 leaks)
test invariants::nem_i2_atomic_quarantine ... ok (0 TOCTOU races)
test invariants::nem_i3_prior_path_amnesia ... ok (memory wiped)
test invariants::nem_i4_crash_atomicity_simulated ... ok (SIGKILL_SIMULATED / WAL replayed)
test invariants::nem_i5_wal_checksum_integrity ... ok (SHA3-256 seal valid)
test invariants::nem_i6_fail_closed_abort ... ok (0xDEAD_6060 halt)

test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out

Recursos disponibles

GitHub · Repositorio Privado (Acceso bajo solicitud)

Repositorio Central BABYLON-60 →

Código fuente, kernel en Rust (00_ABZU_KERNEL), motor de persistencia y suites de prueba en silicio.

Markdown · Spec (Acceso bajo NDA/Piloto)

Especificación del Dominio de Seguridad NEMESIS →

Definición de las 6 invariantes canónicas (NEM-I1 a NEM-I6), modelo de amenazas y delimitación del TCB.

TOML · Ledger (Acceso bajo NDA/Piloto)

Manifiesto de Claims Epistémicos (CLAIMS.toml) →

Catálogo con los comandos de reproducción exacta de cada afirmación arquitectónica verificada.

Starlight · Repo

Hub de Documentación Técnica (babylon60-docs) →

Arquitectura, teoría de categorías, descomposición bayesiana y sonificación Tonnetz en Astro/Starlight.

Recursos previstos

Roadmap v5.1

Publicación de binarios en Crates.io

Distribución compilada de las crates babylon-kernel y b60-lang para cargo install.

En preparación

Atestación de hardware Secure Enclave P-256 en CI

Automatización de atestados biométricos continuos firmados desde silicio Apple Silicon en pipelines remotos.

En preparación

SDK de Integración para Agentes Multi-Framework

Conectores C-ABI sin fricción para frameworks de agentes autónomos basados en IPC Zero-Copy.