Nexus Editions
The Baukasten principle: one forge, many instruments. Each edition enforces hard technical constraints at build time.
Vertical Editions
Nexus Robotics (NEXUS_MECH)
Deterministic control loops, sensor fusion, signed robot skills.
- Real-time harmonic scheduler
- IMU/LiDAR IRQ support
- Optional no-heap mode
- High-frequency sensor loops
Nexus Grid (NEXUS_GRID)
SCADA/energy control with auditability and TSN discipline.
- 60Hz harmonic lock
- Time-Sensitive Networking
- Full audit log
- Deterministic scheduling
Nexus Drive (NEXUS_DRIVE)
Automotive image factory with lockstep and safety constraints.
- ISO26262 subset
- Dual-lockstep support
- IOMMU "Glass Cage"
- Safety-critical pledges
Nexus Orbit (NEXUS_ORBIT)
Radiation-aware, no-heap, watchdog-first aerospace builds.
- No heap allocation
- Static tasks only
- Watchdog mandatory
- Reed-Solomon ECC
- ECSS-E-ST-70-41C recovery
Nexus Medical (NEXUS_PULSE)
Deterministic medical runtime with syscall-level audit trail.
- 100% determinism
- Audit every syscall
- Medical-grade pledges
- Certification-targeted architecture
Build Constraints
Each edition is validated by PRQL policy checkers before compilation:
prql
from modules
| filter type == "allocator"
| filter variant == "dynamic"
| assert_empty "Orbit cannot use dynamic memory!"Edition Selection
bash
nexus build --edition=orbit --arch=riscv64If a recipe violates edition constraints, the build fails with a specific violation message.