Get packages present in a particular state snapshot # Errors Returns an error if the database operation fails.

Returns the identifier of the inactive slot.

Phase 1 of 2PC: Prepare and commit database changes This method commits all database changes except the active state pointer, then writes the journal

Calculate total size of the package # Errors Returns an error if size calculation fails due to I/O issues

Add a finding to the collector

Add node to graph

Create a new `SQLite` connection pool # Errors Returns an error if the database connection fails or configuration is invalid.

Emit an operation completed event

Emit an operation started event

Allow implementers to enrich event metadata before emission.

Execute a generic command

Extract a single downloaded file # Errors Returns an error if archive extraction fails.

Perform atomic installation # Errors Returns an error if state transition fails, package installation fails, or filesystem operations fail.

Load index from cache or JSON content # Errors Returns an error if the JSON content is invalid, cache cannot be read, or the index fails validation.

Normalize a path by resolving .., ., and symlinks

Remove a file from the store # Errors Returns an error if file removal fails

Resolve dependencies using SAT solver for more accurate resolution This method converts the dependency problem to a SAT problem and uses a DPLL-based

Send event if sender is available

Verify store integrity # Errors Returns an error if package listing fails or verification operations fail

Clear all assignments

Complete an operation

Execute a command in the build context # Errors Returns an error if command execution fails

Get metadata for a tool

Get the index cache file path

Load trusted keys from disk # Errors Returns an error if: - The trusted keys file cannot be read - The JSON content cannot be parsed

Set the active state pointer # Errors Returns an error if the database operation fails.

Update progress for an operation

Insert or increment a file object entry. # Errors Returns an error if the database operations fail.

Insert a package file entry for a `state_packages` row. # Errors Returns an error if the database operations fail or if the package ID is unknown.

Calculate changes between parent and child states

Carry forward packages from parent state, excluding specified packages This function registers package references for packages that are unchanged bet

Deletes the journal file upon successful completion # Errors Returns an error if file deletion fails

Create a .sp package file from a directory # Errors Returns an error if: - Source directory is missing manifest.toml - Archive creation fails - I/O

Phase 2 of 2PC: Execute filesystem swap and finalize This method performs the filesystem operations and finalizes the transaction. # Errors Returns

Download a file # Errors Returns an error if: - Network access is disabled - The URL is invalid - The download fails

Fetch text content from a URL # Errors Returns an error if the HTTP request fails, the server returns an error status, or the response body cannot b

Helper function for final DB state update, used by both commit and recovery # Errors Returns an error if database update fails

Fetch all archive CAS rows # Errors Returns an error if the database operation fails.

Fetch file entries for a state package ID. # Errors Returns an error if the database operation fails.

Get a tracker by its ID

Increment archive refcount # Errors Returns an error if the database operation fails.

Initialize the file store directory structure # Errors Returns an error if directory creation fails

Check if a file is an archive that should be extracted

Returns the canonical path to the journal file

List all states with full details # Errors Returns an error if the database query fails.

Parse and validate a simple command string

Parse a YAML recipe from a file # Errors Returns an error if: - The file cannot be read - The YAML is invalid - Required fields are missing - Valida

Get the program name

Read `manifest.toml` from a path # Errors Returns an error if reading or parsing the manifest fails.

Remove a package from the store # Errors Returns an error if directory removal fails

Run database migrations # Errors Returns an error if any migration fails to execute.

Save trusted keys to disk # Errors Returns an error if: - The trusted keys cannot be serialized to JSON - The file cannot be written to disk