Issues

• controller: recovery claimant lease is enforced only in tick()

  Gberfield/PitPat-WebBT#62 · Filter by author Gberfield opened on Nov 10, 2026

• safety: recovery can accept a Stop confirmation from before the fault

  Gberfield/PitPat-WebBT#61 · Filter by author Gberfield opened on Nov 10, 2026

• Implicit state machines: tracking issue

  Gberfield/PitPat-WebBT#49 · Filter by author Gberfield opened on Nov 9, 2026
  2

• SimulatorBackend start countdown is a hidden sub-state

  documentation
  Gberfield/PitPat-WebBT#48 · Filter by author Gberfield opened on Nov 9, 2026

• Tray display state is a fixed-priority ternary chain, written twice

  documentation
  Gberfield/PitPat-WebBT#47 · Filter by author Gberfield opened on Nov 9, 2026

• Tray service connection lifecycle (Swift and QML) is implicit

  enhancement
  Gberfield/PitPat-WebBT#46 · Filter by author Gberfield opened on Nov 9, 2026

• Shared-history refresh uses an implicit coalescing state machine

  enhancement
  Gberfield/PitPat-WebBT#45 · Filter by author Gberfield opened on Nov 9, 2026

• Browser walk session state includes a DOM attribute and a localStorage key

  enhancement
  Gberfield/PitPat-WebBT#43 · Filter by author Gberfield opened on Nov 9, 2026

• Browser connection and Stop state is spread across module globals

  enhancement
  Gberfield/PitPat-WebBT#42 · Filter by author Gberfield opened on Nov 9, 2026

• Walk record lifecycle has hidden sub-states beyond its status field

  enhancement
  Gberfield/PitPat-WebBT#40 · Filter by author Gberfield opened on Nov 9, 2026

• SafetyClient connection lifecycle is implicit

  enhancement
  Gberfield/PitPat-WebBT#39 · Filter by author Gberfield opened on Nov 9, 2026

• Ownership and recovery-claim leases are tracked in three places

  enhancement
  Gberfield/PitPat-WebBT#37 · Filter by author Gberfield opened on Nov 9, 2026

• Stop confirmation phase is encoded in stop_min_sequence (None vs int) and compared to the event counter

  question
  Gberfield/PitPat-WebBT#35 · Filter by author Gberfield opened on Nov 9, 2026

• Bluetooth link lifecycle is spread across booleans and event strings (control_core)

  enhancement
  Gberfield/PitPat-WebBT#33 · Filter by author Gberfield opened on Nov 9, 2026