Artifact [51b56763eb]

Artifact 51b56763eb26715d5ebef4b118d0fdb8bf0c22f17aeb96249b84fa73964a9ffb:

• File src/root.zig — part of check-in [c57c16c5cd] at 2026-07-29 13:21:29 on branch logstore-index — crc32: export for the benchmark and the fuzz lane

  Both consumers live in their own build roots and cannot reach crc32.zig by path, so the export is forced. Adds the differential fuzz lane against std — the only coverage that can see a self-consistent but numerically shifted implementation, which would orphan every existing .zit file.

  The implementation brief prohibited this export, citing repocache as the precedent for unexported leaf modules. That precedent does not apply: repocache has no out-of-module consumer. storestat and repoimage, which do, are both exported. Overridden deliberately. (user: dmestas, size: 6628) [annotate] [blame] [check-ins using] [more...]

//! zit — a Fossil version-control system implemented in Zig.
//!
//! zit is a direct port of the Fossil formats and protocol as specified by
//! four companion Internet-Drafts, kept in `docs/rfcs/`:
//!
//!   * delta   — draft-fossil-delta-format-00     (byte-level delta encoding)
//!   * artifact— draft-fossil-artifact-format-00  (manifest/control-artifact cards)
//!   * reposta.— draft-fossil-repo-state-00        (derived branch/tag/leaf/trunk views)
//!   * sync    — draft-fossil-sync-protocol-00     (HTTP sync/clone protocol)
//!
//! Implementation order follows the RFC dependency layering:
//!   delta  ->  artifact  ->  repostate  ->  sync
//!
//! Each module cites the section of its RFC that governs a given rule.

const std = @import("std");

/// The §4.1 zlib container codec — a leaf below delta/artifact/repostate/sync,
/// the single home for the container framing those layers store and transmit.
pub const container = @import("container.zig");
pub const delta = @import("delta.zig");
pub const artifact = @import("artifact.zig");
pub const repostate = @import("repostate.zig");
pub const sync = @import("sync.zig");
pub const managed = @import("managed.zig");

/// The persistence layers, folded into the one embeddable `zit` module so a
/// library consumer wires a single dependency instead of five peers: the
/// content-addressed on-disk file (`storage`), the framed append-only log over
/// it (`logstore`), the `.zit-checkout` working-state record (`checkout`), and
/// the working-tree materializer (`update`). Circular file-level imports among
/// these and the per-RFC modules are legal within one module; only cross-module
/// edges may not cycle.
pub const storage = @import("storage.zig");
pub const logstore = @import("logstore.zig");
/// The vendored CRC-32/ISO-HDLC every on-disk checksum in the store is defined
/// in terms of. Exported for the same reason `storestat` is: the benchmark that
/// measures the checksum must measure the one the product actually runs, and a
/// file can belong to only one module — so `warmread_benchmark.zig` cannot
/// import it by path. Not a promise about the algorithm; the guarantee is only
/// that it is bit-identical to `std.hash.Crc32`, which the formats already fix.
///
/// NOT a precedent for exporting other leaf modules — the default stays the one
/// `repocache.zig` sets, which is no export. This line is forced rather than
/// chosen: `crc32.zig` is a `zit` member (`logstore`, `repocache`, `bisect` and
/// `undo` all import it by path), and its two out-of-module consumers — the
/// benchmark's `phaseCrc` and `crc32_fuzz.zig`'s differential-against-std lane,
/// both of which live in their own root modules — have no other way to reach
/// it. `@import("crc32.zig")` from either is `error: file exists in modules
/// 'zit' and 'root'`. Reverting this export does not close the surface; it
/// deletes the only benchmark of the hot checksum and the only test in the tree
/// that diffs against an outside oracle. Add an export here only when a leaf
/// module acquires an out-of-module consumer with the same no-alternative
/// shape.
pub const crc32 = @import("crc32.zig");
/// The store's own byte accounting — the single physical frame walk behind
/// both `zit stat` and the storage benchmark, so the two can never drift into
/// reporting different totals for the same file.
pub const storestat = @import("storestat.zig");
pub const checkout = @import("checkout.zig");
pub const update = @import("update.zig");
pub const bisect = @import("bisect.zig");
/// The `zit pack` re-deltification pass (storage-delta-base-selection.md §6):
/// the pure store-to-store generational rewrite that re-bases every artifact
/// through `logstore`'s `pickBase` policy. In the module so the CLI wiring
/// (main.zig) and the DST/fuzz harnesses drive the identical transform.
pub const pack = @import("pack.zig");
/// The repository facade — the deep module the north star names as the public
/// repo surface: open a repository, resolve a name, read the derived view, list
/// and cat content. `repoview` (the derived-view loader) is re-exported as its
/// public collaborator; `repocache` stays library-internal, reached only
/// through `Repository`.
pub const Repository = @import("repository.zig").Repository;
pub const repoview = @import("repoview.zig");
/// The zero-parse read image — the materialized hot query answers a warm read
/// reloads without re-deriving. Re-exported for the simulation harness, which
/// pins the round-trip property (a materialized image is query-equivalent to
/// the derived state it was made from).
pub const repoimage = @import("repoimage.zig");
pub const repo_filename = @import("repository.zig").repo_filename;

/// Suite version of the specifications this implementation targets.
pub const rfc_revision = "00";

test {
    // Aggregate every module's tests into the library test binary.
    _ = @import("container.zig");
    _ = @import("container_test.zig");
    _ = @import("delta.zig");
    _ = @import("delta_test.zig");
    _ = @import("artifact.zig");
    _ = @import("artifact_test.zig");
    _ = @import("repostate.zig");
    _ = @import("repostate_test.zig");
    _ = @import("sync.zig");
    _ = @import("sync_test.zig");
    _ = @import("managed.zig");
    // The folded store layers and their sibling public-surface test files.
    _ = @import("storage.zig");
    _ = @import("logstore.zig");
    _ = @import("logstore_test.zig");
    _ = @import("storestat.zig");
    _ = @import("pack.zig");
    _ = @import("checkout.zig");
    _ = @import("update.zig");
    _ = @import("update_test.zig");
    // The repository facade and its derived-view collaborators.
    _ = @import("repoview.zig");
    _ = @import("repoimage.zig");
    _ = @import("repocache.zig");
    // The vendored CRC-32/ISO-HDLC the storage formats are checksummed with.
    _ = @import("crc32.zig");
    _ = @import("repository.zig");
    _ = @import("repository_test.zig");
    // The checkout-local bisection state module (`.zit-bisect`).
    _ = @import("bisect.zig");
    // Structural pins over the shipped source distribution (LICENSE, the
    // package manifest's `.paths`, the versioned ignore-glob).
    _ = @import("packaging_test.zig");
    // Structural pins over the CI workflow (the battery it runs, the pinned
    // toolchain, and the build steps it deliberately skips).
    _ = @import("ci_test.zig");
    // The dead-file guard: every src/**/*.zig must be reachable from a test root,
    // so a moved file cannot silently stop running its tests.
    _ = @import("tidy.zig");
}