Module views 

Per-checkout view manifests and durable generation publication.

Blob stores are family-scoped, while this module owns the checkout-scoped assembly that names one immutable manifest per generation. The only durable membership representation is the manifest itself; closure inputs remain transient while a generation is published.

Modules

assembly

materialization

Structs

ByteString

A byte-exact manifest value. JSON uses a UTF-8 string when possible and a {"b64": ...} object otherwise, so no path bytes are lost at the boundary.

ClosureRequirements

A transient list of aliases that a derived generation references. It is not serialized beside the manifest, preventing a side closure table from becoming a second membership authority.

Manifest

The one manifest that defines a view generation.

PointerPragmas

SQLite settings required for the per-view pointer connection.

PreparedPublication

An immutable, durable generation waiting for its short pointer transaction. Construction is private so callers cannot expose an unprepared manifest.

PublicationArtifacts

Files whose committed state must be durable before a pointer can name a new generation. Shared SQLite stores are checkpointed before fsync; the derived generation keeps its commit-durable WAL until detached post-publication work checkpoints it for the next clone.

PublicationRequest

Input to a single manifest publication attempt.

RegularPlanes

Full keys for a regular file’s per-file artifacts.

RelPath

A relative path key stored as exact bytes in bytewise canonical order.

SyntheticPlanes

Full keys for a synthetic member. Synthetic state participates only in the callgraph join, so it cannot accidentally acquire a semantic key.

ViewStore

Checkout-scoped storage for immutable manifests and the SQLite current pointer.

Enums

ArtifactPlane

One of the content-addressed artifact planes referenced by a manifest.

ManifestEntry

The tagged union stored for every manifest member. Each entry serializes a kind field that identifies its variant.

ManifestEntryKind

The variant name used for member-by-member manifest assertions.

PublicationStep

Observable publication stages, primarily for failpoint and durability-order tests. Production callers do not need to retain the sequence.

PublishOutcome

The result of comparing a generation’s base pointer in SQLite.

ViewError

Errors raised while constructing, verifying, or publishing a view.

Constants

PATH_IDENTITY_VERSION

Version number for the byte encoding used to identify manifest paths. Increment it whenever that encoding changes.

Traits

PublicationClosure

Presence checks used by durable restart and manifest-membership validation.

PublicationObserver

Functions

probe_publication_closure

Ensures that a generation never publishes a manifest pointing at incomplete blob, trigram, or alias state.

Type Aliases

Result

Result type used by the view publication API.