Architecture
DigiEmu separates application behavior from verification evidence.
Verification flow
Section titled “Verification flow”Application → DigiEmu Boundary → State and Evidence → Integrity → Verification → Replay
Design goals
Section titled “Design goals”- deterministic verification
- explicit trust boundaries
- inspectable evidence
- replayability
- portable artifacts
- independent verification