Specform

Portability & Collaboration

Export & import (workspace packs)

Move workspace state and dedupe snapshots by fingerprint.

Export

sf.export("project.sfpack")          # exports workspace state (or full pack depending on ops)
sf.export("brca.sfpack", alias="brca")

Import

sf.import_pack("brca.sfpack")

Import dedupes snapshots by fingerprint automatically. Alias names remain local to the workspace.