Running · Procurement document intelligence01
The Machine
The system Collatio runs its own government-contracting pipeline on. AI discovers, classifies, drafts, and checks; a human always clicks submit. It pulls solicitations from the SAM.gov API and 1,200+ public sources, sorts product bids from service bids, drafts against a quality gate, verifies SAM/CAGE/UEI, prices from a founder-approved rate card, and stops at the submit button.
Verified625 test files passed in the full run of 15 Aug 2026 (3,589 tests collected); in production on one PostgreSQL database with 140,000+ records.
Demonstrable · Records · verifiable archives02
Custodia
Decommission a legacy system into an archive that proves itself: an RFC 6962 Merkle-committed store, an Ed25519-signed certificate, and a dependency-free verifier shipped inside every archive.
Verified183 tests passing; an end-to-end run built an archive, verified it, altered one record, and re-verification correctly failed.
Demonstrable · Documents · sealing03
Notis
Document sealing and multi-party signing with tamper detection across SHA-512, SHA3, and BLAKE3.
Verified489 tests passing; a sealed file verified, then failed verification the moment its content changed.
Demonstrable · Storage · verifiable04
Comprimo
Deterministic data reduction with Merkle proofs and audit certificates: reduce storage and prove exact, bit-perfect reconstruction.
Verifiedexact round trip reproduced directly under chaos and load tests.
Running · Security · host observer05
Argus
Local-first host and network observer with a published API contract: process and network forensics, incident timeline, evidence, and a software breaker that stops a system's outside AI and web calls on a high-severity finding.
VerifiedAPI contract published and consumed by The Machine's egress guard; tests pass; running as a read-only host observer.
Demonstrable · AI · agent runtime06
Vera / Anima
A local-model AI agent runtime with a privacy guard that keeps sensitive prompts on local models; state survives process death, learning is verified numerically, three interchangeable model backends.
Verifiedcontinuity, learning, model swap, and privacy routing each demonstrated.
Running = in daily use. Demonstrable = internal demonstration, not customer delivery; shown live on request.