Structs§
- Completion
Authority - Completion permission is independent from the canonical verification result.
Both flags must be true before the harness may enter
Completed. - Embedded
False Green Verifier - In-process adapter for the canonical FalseGreen Rust client.
- False
Green Result