2024-07-12
· One min read
Present
- Analytics for adversarial scenarios
- Reach/margin computations for settlement
- Healing-time computations
- Settled on strategy for handling non-determinism in executable specification
- Additional work on soundness proof
- Second technical report ready for final edits
- Planned Peras tasks for PI7
Future
- Complete soundness proofs
- Review, edit, and proofread second technical report