LemonCore.Doctor.ProofLaunchGates (lemon_core v0.1.0)

View Source

Shared launch-gate summaries derived from redacted proof diagnostics.

Summary

Functions

status(proof_status)
summary(launch_gates)

Functions

status(proof_status)

@spec status(map()) :: map()

summary(launch_gates)

@spec summary(map()) :: map()