Seven of Thornveil's ten systems are directly defense-procurement adjacent. Each is built ground-up to clear FedRAMP, IL5, or ECCN review on day one — not retrofitted after the customer asks. Evaluation engagements active now; direct contracts open December 10, 2026.
Distributed AI mesh. Substitute-on-failure inference.
Six workers pool compute for one Gemma-4-26B chat. When workers drop, substitute-on-failure dispatch keeps generation continuing — validated end-to-end on 2026-05-08 with HMAC-chained tamper-evident audit log. Built for DDIL operational environments where any individual node may go dark and the workload must continue.
Program fit
SOCPAC R2I/MOSA · DDIL operations · IL5-pathway inference
AI red team gated by Signet. EAR ECCN 4D004.
Scope-as-code engagement compilation. 13 standard authority checks at the Signet gate. HMAC-chained per-engagement audit log with RFC 3161 trusted-timestamp anchoring. Validated end-to-end on autonomous Active Directory takeover with auditable replay package (2026-05-16). Federal-gated.
Program fit
USAISI evaluator pipeline · USCYBERCOM red team · Federal autonomous-cyber pilots
Professional AI chat. Classification-gated routing.
Three apps (desktop, mobile, web) on one Go backend. 44 NIST 800-53 controls implemented as discrete code paths. Classification gate enforced at the type-system level — CUI+ queries hard-blocked from cloud routing as architectural narrowing, not runtime policy. 6,950 tests across the three apps. IL5-pathway posture. ATO sponsor outreach active post-DD-214.
Program fit
IL5-pathway federal AI chat · FedRAMP-Mod path · NIST 800-53 / IR-9 spillage detection
Sub-million-parameter perception across 5 domains.
Topology-driven recipe that turns (dataset, domain) into (architecture, training config) and produces models that match SOTA in their weight class. 15 verified zoo checkpoints across IRST, sonar, PCB defect, histopathology, thermal drone, and ECG. 16-run power-law scaling fit on NUDT-SIRST (R²=0.9895). Topology paper preparing arXiv submission.
Program fit
Replicator · Roadrunner-M · Coyote Block 3 · Army LIDS / FS-LIDS · NAVSEA USV-counter-USV
Memory-safe Rust flight-control firmware.
From-scratch ArduPilot/PX4 alternative on STM32 H7 / F4 / F7. 98K Rust LOC across 60 lib crates + 3 binaries. Phase 10 trade-secret primitives — ed25519-signed airworthiness attestation, RC hijack / GPS spoof / mag jam adversarial-detection failsafes, Find My Drone beacon, self-learning vehicle dynamics ID, Black Box event taxonomy — that no other autopilot ships. ~29K lines of parity-audit notes against 154 ArduPilot libraries (47K total documentation). H7 firmware flying; F4/F7 board configs staged. Hardware bring-up active on MatekH743 SLIM V4 and Cube Orange Plus.
Program fit
CISA memory-safe roadmap · DoD CIO memory-safe mandate · DARPA HACMS successor · SOCOM USV firmware · FAA certification path
Multi-modal counter-UAS situational awareness.
RF + acoustic + thermal + Remote ID + ADS-B fusion. Real Kalman tracking + Dempster-Shafer evidence fusion + bearing-intersection geolocation (tested). Mesh networking + decision engine scaffolded; ML classifiers stubbed. Honest Phase 0 framing — designed to replace DragonOS/WarDragon with mesh-aware open architecture. Hardware tiers from $270 (Pi 5 + RTL-SDR) to $1,650 (KrakenSDR + UCA DF).
Program fit
DHS/CBP border CUAS · FAA Section 2209 · 14 CFR Part 89 Remote ID enforcement
Capability-based safety gate for LLM agents.
4-stage check pipeline (ADMISSION / INSPECTION / COMMITMENT / RECORD) with 11 production checks and HMAC-chained tamper-evident audit log. RFC 3161 anchor backend (FreeTSA / DigiCert). The Signet vocabulary that Auspex extends with engagement-specific checks. Apache-2.0 public OSS. Available on PyPI as `signet-sign`.
Program fit
NIST AI RMF · DoD AISI baseline · Federal LLM-agent safety reference
Conversations now compound into signed paper post-DD-214 (December 10, 2026). Review the public companions; the substrate is ready.