[frostming]

Summary

As a Bub plugin (bub walkman), walkman now reads tapes from whatever tape store Bub is configured with (provide_tape_store), not only FileTapeStore.

• New sources.py with a small async TapeSource protocol:
  • FileSource: the existing behaviour (JSONL files, byte offsets, watchfiles).
  • StoreSource: any sync or async Bub TapeStore. A followed tape is re-read every second, and its offset is an entry count. The tape list is cached for 3s.
  • BubSource: enters framework.running() in the server lifespan, then picks a source. FileTapeStore keeps the file path; any other store goes through the store API. With no store, it falls back to the tape directory.
• The server now goes through TapeSource. create_app(path) still works.
• CLI: in plugin mode, a tape argument that isn't a file is treated as a store tape name.
• UI: a store tape has no byte size, so the list shows entry counts. Deleting resets the tape and its sidecars in the store, and the confirm dialog says so.
• README: new "Other tape stores" section.

Standalone bub-walkman is unchanged.

Testing

• tests/test_store_source.py covers sync and async in-memory stores: list, snapshot, spill, delete/force, and follow with appends, resets and a stale offset.
• Full suite: 16 passed, 1 skipped (the bub plugin registration test, which needs bub installed). Ran on Python 3.12 and 3.14.
• Web: typecheck and build pass.
• End to end with real Bub (../bub): registered a plugin whose provide_tape_store returns AsyncTapeStoreAdapter(InMemoryTapeStore), then ran bub walkman. The list, tape page, live SSE appends and delete dialog all worked.

🤖 Generated with Claude Code