Module patch 

Patch-set model — core data types (§5.4, §5.8).

Instead of storing a full git tree per workspace, Manifold records only the files that changed. This makes workspace state proportional to changed files, not repo size.

Key types:

• FileId — stable identity that survives renames (§5.8)
• PatchSet — epoch + BTreeMap of path → change
• PatchValue — the four kinds of change (Add, Delete, Modify, Rename)

Structs

FileId

A stable file identity that persists across renames and moves (§5.8).

FileIdError

Error returned when a FileId string is malformed.

PatchSet

A workspace’s changed state relative to a base epoch (§5.4).

Enums

PatchValue

The change applied to a single path within a PatchSet (§5.4).