Perseus Computing develops pure-Rust crates for microsecond context budgeting, encrypted local memory concurrency, and tamper-evident audit logs.
Perseus orchestrates context budgeting, memory encryption, and provenance verification across three pure-Rust crates. Select a subsystem to inspect its architectural guarantees and API specifications.
use harpe::{TokenBudget, PrunePolicy};
let mut budget = TokenBudget::new(8192);
budget.reserved_completion = 1024;
budget.reserved_tools = 512;
budget.safety_margin = 128;
let available = budget.available_context();
assert_eq!(available, 6528);
Evaluated on bare-metal Linux x86_64 with CPU affinity isolation (isolcpus=2-7) and compiler optimizations (opt-level=3, LTO=fat).
| Subsystem Crate | Evaluation Condition | Metric | Measurement | Verification Invariant | Status |
|---|---|---|---|---|---|
| harpe | Context Pruning (128k Token Limit) | p50 Latency | 1.72 µs | Deterministic eviction without token distortion | VERIFIED |
| harpe | High Contention Peak Window | p95 Latency | 4.88 µs | Strict sub-5µs bounding on all eviction curves | VERIFIED |
| harpe | Dynamic Multi-Turn Compression | Ceiling Reduction | 69.50% – 99.00% | Prevents context runaway while retaining core trajectory | VERIFIED |
| kibisis | Concurrent Read/Write Leases | Throughput | 1,745,000+ ops/s | Zero data races under 100% thread contention | VERIFIED |
| kibisis | 10-Node Edge Swarm Partition | Split-Brain Count | 0 Errors | 100% state convergence under 50% simulated packet loss | VERIFIED |
| argus-ledger | Append Event to Merkle DAG | Append Latency | 4.12 µs | SHA-256 continuous hash continuity preserved | VERIFIED |
| argus-ledger | Single-Bit Corrupt Inspection | Detection Latency | 46.00 µs | Immediate fail-closed validation rejection | VERIFIED |
| longmemeval-s | Multi-Session CoT (500 instances) | Recall@10 | 98.20% (0.9111 MRR) | 97.0% @ k=5 across 23,854 historical sessions | VERIFIED |
$ cargo run --release -p perseus-benchmarks
Evaluated across multi-session histories averaging 123,770 raw source tokens. Harpe compiles high-salience context down to 1,179 tokens (99.0% reduction) while preserving 98.20% Recall@10.
Harpe compiles heterogeneous agent trajectories, semantic memories, and tool schemas into a strict, zero-overrun token frame in under 1.72 µs. Benchmark live knapsack packing, compare pruning strategies, and project enterprise token cost reductions below.
| Chunk Identifier | Subsystem Category | Raw Tokens | Priority (0-100) | Knapsack Status | Assembly Latency |
|---|
Kibisis provides authenticated encryption at rest (AES-256-GCM), atomic Single-Writer Multi-Reader (SWMR) concurrency leases, and zero-tolerance contradiction defense via SHA-256 memory tombstones. Exercise live WebCrypto encryption, lease contention, and canary rejection below.
Client-side authenticated encryption at rest. Plaintext memory is never stored unencrypted; volatile memory buffers are physically zeroized (0x00) upon encryption.
Single-Writer Multi-Reader (SWMR) lease locks. Eliminates data races across autonomous swarms with time-bounded 50ms TTL leases.
Revoking memory mints an immutable SHA-256 tombstone digest. Subsequent turns attempting contradictory canary re-insertion are rejected fail-closed.
Argus establishes NIST SP 800-53 AU-2/3 cryptographic event lineage. Inspect Merkle DAG parent links, inject real-time agent receipts in WebCrypto, simulate single-bit mutation, and verify fail-closed tamper detection below.
Perseus Computing maintains active compliance records and government self-assessments. All components are written in Rust from scratch without third-party proprietary dependencies.
Registered federal vendor under NAICS 541715 (R&D in Physical, Engineering, and Life Sciences). Austin, TX.
Perfect 110/110 score posted to Supplier Performance Risk System (SPRS) on 2026-08-04 for safeguarding CUI.
Self-classified 110/110 score assessed 2026-08-06. Single-tenant mutual exclusion and memory isolation.
Military Critical Technical Data Agreement pending official assignment by Defense Logistics Agency JCP office.
Immutable SHA-256 provenance receipts (AU-2/AU-3/AU-10) and ChaCha20-Poly1305 / AES encryption at rest (SC-13/SC-28).
100% self-contained pure-Rust binaries. Operates with zero network interfaces active in offline physical enclaves.
All components are pure Rust, MIT licensed, and published to crates.io and GitHub. Verify the entire stack locally with standard cargo commands.
Primary GitHub organization hosting pure-Rust source trees, benchmark test beds, and CI validation suites.
github.com/Perseus-Computing-LLC ↗Published packages ready for instant cargo compilation across x86_64 and aarch64 architectures.
Complete rustdoc generation including memory safety invariants, error types, and trait definitions.
Direct communication channels for systems architects, researchers, and security disclosures.