ENGINE ROOM
Frame: 0
Seed: 12345
Vessel Y: 0
Vessel V: 0
Inputs: 0
PROVING LOGBOOK...
Cleared: 0
CORE ENGINE ACTIVE
CHARTER VIOLATION
Vessel collision detected.
CHARTER (PBC)
Source: flappy.pbc.md
FLPY-RUL-001
Gravity Constant: ---
FLPY-RUL-003
Safe Envelope: ---px
TAMPER DEMO
Test enforcement logic
⚠️ CHARTER BREACH REJECTED