File Structure

YAML Frontmatter (Optional)

FizzBee files can include YAML frontmatter for configuration:

---
# Global options
options:
  max_actions: 100
  max_concurrent_actions: 2
  crash_on_yield: true

# Per-action options
action_options:
  ActionName:
    max_actions: 50
    crash_on_yield: false

# Other settings
deadlock_detection: true
liveness: strict
---

Fizz Specification

After the frontmatter (or at the start if no frontmatter), the FizzBee specification contains:

Top-level constants: Global constant definitions
Functions: Pure or stateful functions (atomic or serial)
Actions: Model checker invoked operations
Roles: Class-like structures for actors/processes
Assertions: Safety and liveness properties