Documentation & Resources
Formal specifications, code repositories, and technical guides for BABYLON-60.
System Requirements, Setup & First Verification Run
SYSTEM PREREQUISITES
- Hardware: Apple Silicon (M1/M2/M3/M4) recommended with Secure Enclave TRNG; or Linux x86_64.
- Filesystem: APFS mandatory on macOS (for atomic renames and
0700Copy-on-Write quarantine). - Toolchain: Rust 1.80+ (nightly toolchain recommended for
KUDURRU-64cache alignment), Git. - Access Permissions: Authorized SSH key for private monorepo access (request via borja@babylon60.com).
STEP-BY-STEP: BUILD & TEST HARNESS
# 1. Clone with granted credentials
$ git clone git@github.com:borjamoskv/BABYLON-60.git
$ cd BABYLON-60
# 2. Build sovereign Ring-0 kernel
$ cargo build --release -p babylon-kernel
# 3. Execute NEMESIS invariant test harness
$ cargo test -p babylon-kernel --test nemesis_invariants
EXPECTED STDOUT (DETERMINISTIC SILICON DEMONSTRATION):
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
Available Resources
GitHub · Private Repository (Access upon request)
BABYLON-60 Core Monorepo →
Source code, Rust kernel (00_ABZU_KERNEL), persistent memory engine, and silicon test harness.
Markdown · Spec (Access under NDA/Pilot)
NEMESIS Security Domain Specification →
Definitions for the 6 canonical invariants (NEM-I1 to NEM-I6), threat model, and TCB delimitation.
TOML · Ledger (Access under NDA/Pilot)
Epistemic Claims Manifest (CLAIMS.toml) →
Catalog detailing exact reproduction commands for every verified architectural assertion.
Starlight · Repo
Technical Documentation Hub (babylon60-docs) →
Architecture, category theory, Bayesian disintegration, and Tonnetz sonification on Astro/Starlight.
Planned Resources
Roadmap v5.1
Crates.io Package Releases
Pre-compiled distribution of babylon-kernel and b60-lang crates for cargo install.
In preparation
Hardware Secure Enclave P-256 CI Attestation
Continuous biometric hardware attestations directly generated from Apple Silicon in remote pipelines.
In preparation
Cross-Framework Agent Integration SDK
Zero-friction C-ABI bindings for autonomous multi-agent frameworks over Zero-Copy IPC.