Expand description
Invariant — biosynthesis domain crate.
Synthesis bundles, DNA/peptide/chemical/homology/molecule/protocol/stateful
invariants, hazard screening, and the biosynthesis validator pipeline.
Layered on top of invariant_core.
Modules§
- attestation
- Attested screening inputs and signed instrument telemetry.
- audit
- Append-only signed JSONL audit logger.
- authority
- PIC chain validation logic (chain.rs, operations.rs, crypto.rs).
- bundle
- Synthesis-bundle decoding + canonicalization helpers.
- differential
- Differential validation: dual-instance verdict comparison.
- incident
- Incident response automation (Section 10.6). Incident response automation (Section 10.6).
- intent
- Bio-specific intent templates (overrides the robotics templates in
invariant_core::intent). - invariants
- Biological + chemical safety invariants (D/P/C families).
- keys
- Key file management and abstract key storage. Key file management: load, save, validate, and decode Ed25519 key files.
- models
- Core data models for the biosynthesis firewall.
- monitors
- Runtime integrity monitors (Section 10.5). Runtime integrity monitors (Section 10.5).
- profiles
- Compile-time embedded library of bio profiles.
- proof_
package - Proof package generation (Section 20).
- replication
- Audit log replication and Merkle root witness (Section 10.4). Audit log replication and Merkle root witness (Section 10.4).
- screening
- Hazard-database screening interface.
- threat
- Runtime threat-scoring engine for biosynthesis.
- util
- Miscellaneous utilities (SHA-256, etc.).
- validator
- Validator pipeline: authority -> invariants -> signed verdict.
- watchdog
- Heartbeat monitor and safe-stop trigger.