infrastructure/

Package antitamper implements SEC-005 Anti-Tamper Protection.

Package audit provides an append-only audit trail for Zero-G operations.

Package auth provides JWT authentication for the SOC HTTP API.

Package email provides email notification service for the SYNTREX SOC platform.

Package formalspec implements SEC-012 TLA+ Formal Verification.

Package guard implements the SEC-002 eBPF Runtime Guard policy engine.

Package hardware provides infrastructure for physical and logical security controls: Soft Leash file-based kill switch (v3.1) and Zero-G State Machine (v3.2).

Package ipc provides a cross-platform inter-process communication layer for SENTINEL SOC Process Isolation (SEC-001).

Package logging provides structured logging via Go's log/slog.

Package postgres provides PostgreSQL persistence for the SENTINEL SOC.

Package pqcrypto implements SEC-013 (Homomorphic Encryption research) and SEC-014 (Post-Quantum Signatures).

Package pybridge provides a bridge to the Python RLM toolkit for NLP operations that require embeddings, semantic search, and other ML capabilities.

Package sbom implements SEC-010 SBOM + Release Signing.

Package secureboot implements SEC-007 Secure Boot Integration.

Package sqlite provides SQLite-based persistence using modernc.org/sqlite (pure Go, no CGO).

Package tpmaudit implements SEC-006 TPM-Sealed Decision Logger.

Package tracing provides OpenTelemetry instrumentation for the SOC platform.

Package wasmsandbox implements SEC-009 Wasm Sandbox for Playbooks.

Package watchdog implements the SEC-004 Watchdog Mesh Framework.

Package zerotrust implements SEC-008 Zero-Trust Internal Networking.