# Finite-state-machine timing
# Scope: Transition-table memory budget for dense state/event representation; no behavior verification.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

states = 8
events = 6
bytesPerEntry = 2
budget = 128

entries := states*events
bytes := entries*bytesPerEntry

check transition table fits: bytes <= budget

scenario alternative: states = 6.4