Struct FileRepository 

pub struct FileRepository<'a> { /* private fields */ }

A caller-owned manifest of immutable file-backed objects and commit aliases.

No filesystem scan, allocation, or object-sized buffer is needed. Keep the FileObject array alive; each element owns one descriptor. Object enumeration follows manifest order; lookup is linear unless wrapped in ValidatedRepository. Construction does not check IDs or graph closure. Those remain Repository preconditions until checked with the core validator.

Implementations

impl<'a> FileRepository<'a>

pub fn new(head: ObjectId, objects: &'a [FileObject]) -> Self

pub fn with_refs(self, head_ref: &'a str, refs: &'a [&'a str]) -> Result<Self>

Advertise sorted, unique refs that all alias head, including head_ref.

pub fn with_detached_head(self, refs: &'a [&'a str]) -> Result<Self>

Serve a direct commit HEAD without a symbolic branch. Refs remain aliases of that commit, and may be empty. The graph still needs core validation.

pub fn with_prepacked( self, fd: OwnedFd, object_scratch: &mut [u8], compare_scratch: &mut [u8], ) -> Result<Self>

Attach an immutable, already-generated complete pack in a regular file. Compare every byte with pack::write_with_scratch, including framing, object closure/order, encoder bytes and checksum, before accepting it. Only this encoder’s exact output is accepted; arbitrary compressed/delta packs remain future work. No pack-sized buffer is needed. Both scratch buffers need at least one byte for nonempty streamed data. A mismatch, extra/truncated bytes or a nonregular file returns CorruptPack. Verification costs one encoding pass; subsequent writes only read the pack file. Refs may change afterwards without changing pack identity.

pub fn has_prepacked(&self) -> bool

pub fn write_pack_with_scratch( &self, scratch: &mut [u8], output: &mut impl Write, ) -> Result<()>

Stream the verified stored pack, or generate one from the raw files. Scratch needs at least one byte. Discard partial output on error.

pub fn serve_with_scratch( &self, request: Request<'_>, scratch: &mut [u8], output: &mut impl Write, ) -> Result<Response>

Core HTTP routes with verified prepacked reuse for upload-pack responses. Dumb loose objects continue to be encoded from their raw file bodies. Use core http::serve_with_pack to pair this writer with a validated index.

Trait Implementations

impl Repository for FileRepository<'_>

fn object_format(&self) -> ObjectFormat

Fixed for the entire repository, including unborn HEAD. Defaults to SHA-1; SHA-256 providers must override this independently of object_id.

fn head(&self) -> ObjectId

Resolved commit ID, or the all-zero sentinel for an unborn HEAD. Use head_state().id() when absence needs to be distinguished.

fn head_state(&self) -> Head<'_>

fn object_count(&self) -> usize

fn object_info(&self, index: usize) -> Result<ObjectInfo>

fn object_id(&self, index: usize) -> Option<ObjectId>

Return an object’s ID. Streaming providers must supply precomputed IDs; ObjectHasher computes them incrementally with caller-owned scratch.

fn read_object( &self, index: usize, offset: u64, storage: &mut [u8], ) -> Result<usize>

Read at most storage.len() body bytes starting at a byte offset. Short reads are allowed. Return zero only at EOF or for empty storage. Calls must be independent of earlier reads, enabling interleaved readers and retries. Errors may modify storage but must not change the object.

fn head_ref(&self) -> &str

fn reference_count(&self) -> usize

fn reference_name(&self, index: usize) -> Option<&str>

fn object(&self, _index: usize) -> Option<Object<'_>>

Optional borrowed-body fast path. Streaming providers can leave this as None and implement object_info, read_object, and object_id instead.

fn reference_id(&self, index: usize) -> Option<ObjectId>

Defaults preserve snapshot commit aliases. Override for independent tips.

fn reference_symbolic_target(&self, _index: usize) -> Option<&str>

fn reference_peeled(&self, _index: usize) -> Option<ObjectId>

fn find(&self, id: ObjectId) -> Option<Object<'_>>

fn find_index(&self, id: ObjectId) -> Option<usize>

Lookup without requiring a borrowed body. Metadata providers can index it.