Six of Thornveil's nine systems are directly defense-procurement adjacent. Each is designed with FedRAMP, IL5 and export-control requirements in mind; no authorizations held. Contact for evaluation access.
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. The type system excludes cloud routing for CUI+ queries. 6,950 tests across the three apps. Designed toward an IL5 pathway; no ATO held.
Program fit
IL5-pathway federal AI chat · FedRAMP-Mod path · NIST 800-53 / IR-9 spillage detection
Sub-million-parameter perception across 6 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
Multi-modal counter-UAS situational awareness.
RF + acoustic + thermal + Remote ID + ADS-B fusion. Kalman tracking, Dempster-Shafer evidence fusion and bearing-intersection geolocation have been tested. With mesh networking and the decision engine scaffolded and ML classifiers still stubbed, this Phase 0 project is intended to replace DragonOS/WarDragon with an open architecture that supports mesh networking. 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 built-in checks and HMAC-chained tamper-evident audit log. RFC 3161 anchor backend (FreeTSA / DigiCert). Auspex extends Signet's check vocabulary with checks specific to each engagement. Apache-2.0 public OSS. Available on PyPI as `signet-sign`.
Program fit
NIST AI RMF · DoD AISI baseline · Federal LLM-agent safety reference
Contact for evaluation access. Review the public companions; the substrate is ready.