# RP5 — the button opens once
# mutation in internal/stacks/setup_gate.go:
#   - '\tif st.AppConfig == nil || !st.AppConfig.SetupGate.Closed() {\n\t\treturn ErrSetupGateNotClosed'
#   + '\tif st.AppConfig == nil { // RED-PROOF RP5\n\t\treturn ErrSetupGateNotClosed'
# go test -run ^TestSetupGate_TheButtonOpensItOnce$ ./internal/stacks
# verdict: RED (assertion)
=== RUN   TestSetupGate_TheButtonOpensItOnce
    setup_gate_test.go:213: second press: setup gate gapp: the record could not be written
--- FAIL: TestSetupGate_TheButtonOpensItOnce (0.00s)
