A 3 MB Rust binary with zero runtime dependencies. Conservation-governed. Deterministic to 15 decimal places. Every output carries a proof certificate. Every state transition is auditable.
All benchmarks are cargo bench targets. Anyone with the source can reproduce identical results.
| Operation | Measured |
|---|---|
| Single collision | < 1 μs |
| Batch (1000 particles) | < 1 ms |
| Full reactor tick | 2.7 ms |
| Conservation check | 0.3 μs / particle |
| Operation | Measured |
|---|---|
| τ propagation (DZT-Lite) | 521K / s |
| Phase transition detection | < 100 μs |
| Annihilation resolution | < 5 μs / pair |
| Field coherence measurement | < 50 μs |
| Metric | Result |
|---|---|
| Vectors tested | 5,250 |
| Breaches | 0 |
| Injection attempts blocked | 100% |
| Data exfiltration attempts succeeded | 0 |
| Testing rounds on camera | 5 |
| Metric | Value |
|---|---|
| Encyclopaedia entries | 70,000+ |
| Concurrent reactor bodies | 6 (full octahedral) |
| Max sustained load | 1.8M q/s |
| Memory footprint (kernel) | < 50 MB |
Every request traverses all four layers in series. No single layer failure compromises the system.
Formal constraint spaces define what outputs may exist before generation begins. Mathematical bounds derived from physical constants that cannot be overridden.
Cryptographically isolated with zero persistent state. No external data access during execution. Tamper-evident logging at every boundary.
Three-stage validation: mathematical consistency, bound compliance, proof chain completeness. If a claim cannot be verified, it is not delivered. Truth, or silence.
Verified outputs delivered with cryptographic proof certificates, verification signatures, and governance metadata. Every output carries its complete derivation chain.
Every benchmark follows a four-step verification protocol. No exceptions.
Raw kernel operations timed with nanosecond precision. No warm-up gaming. Cold-start included.
Conservation laws checked after every run. If energy isn't conserved, the result is invalid.
Every benchmark is a cargo bench target. Anyone with the source gets identical results.
Results hashed, timestamped, stored in the IP vault. Immutable audit trail.