Specform

History & Versions

History & versions

Track alias events and safely access immutable versions.

Show history

brca.history()

History is an append-only ledger of alias events.

Convert to pandas

brca.history().to_df()

Select a version safely

  • brca.v(k) returns an immutable DatasetVersion
  • brca.use(k) mutates the alias pointer + logs an event

“presence”

Each DatasetVersion shows presence:

  • present = bytes exist locally
  • missing = metadata exists, bytes not present (common after imports)