Skip to main content

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