README
ΒΆ
coldkeep
Status: Experimental research project.
Not production-ready. Do not use for real or sensitive data.
On-disk format and APIs may change before v1.0.
coldkeep is a content-addressed storage engine for cold data.
It splits files into content-defined chunks, deduplicates them using SHA-256, and stores them as encoded blocks in append-only container files with database-backed metadata.
coldkeep is designed to guarantee deterministic, byte-identical restore of stored data, validated by end-to-end hashing and resilient across garbage collection and system restart/recovery under defined operating conditions.
coldkeep is designed as a correctness-first storage engine, prioritizing determinism and recoverability over performance and feature completeness.
For v0.9, every change intended for mainline or release delivery is expected to
pass the full GitHub Actions pipeline before merge or tag publication. The repo
contains a synthetic required check named CI Required Gate that aggregates the
quality, integration, and smoke jobs across both codecs.
Why coldkeep?
coldkeep is designed for correctness-first cold storage.
Unlike traditional backup tools, it provides:
- Deterministic, byte-identical restore guarantees
- Content-addressed deduplication with strong integrity validation
- Explicit lifecycle management for safe recovery
- Multi-level verification (metadata, container, and full data integrity)
- Simulation capabilities to evaluate storage impact before committing data
The goal is not maximum performance, but maximum confidence in stored data.
What it does (today)
- Store files or folders by splitting them into content-defined chunks.
- Deduplicate chunks using SHA-256 (content-addressed storage).
- Pack chunks into container files up to a configurable maximum size.
- Restore files by reconstructing them from stored chunks.
- Guarantee byte-identical restore outputs (verified by SHA-256).
- Use an append-only container model for deterministic and safe writes.
- Remove logical files (decrementing chunk reference counts).
- Run garbage collection to remove unreferenced chunks safely.
- Recover from interrupted operations on startup.
- Provide storage statistics and container health information.
- Perform multi-level integrity verification (metadata, container structure, and full data integrity).
- Simulate storage operations without writing data to disk (v0.8).
- Provide structured JSON output for all CLI commands for automation and scripting (v0.8).
π‘οΈ Storage Guarantees (v0.9)
coldkeep is designed as a correctness-first storage engine.
This section defines the guarantees provided by the system as of v0.9.
Summary
coldkeep v0.9 guarantees:
- deterministic, byte-identical restore
- no exposure of partially written or inconsistent data
- non-destructive garbage collection
- atomic restore operations
- safe concurrent storage operations
Core validity model
A logical file is considered valid and restorable only when:
- its status is
COMPLETED - all referenced chunks are
COMPLETED - all referenced blocks exist and are readable
Only files in this state are returned by list and search and are eligible for restore.
Data integrity
coldkeep guarantees end-to-end data integrity:
- Every chunk is validated using SHA-256 during restore
- The final restored file hash must match the original stored hash
- Any mismatch causes the restore operation to fail
A restored file is either bit-for-bit identical, or the operation fails.
Crash consistency
coldkeep guarantees safe recovery after crashes or interruptions:
- Writes use lifecycle states:
PROCESSING β COMPLETED β ABORTED - On startup:
- incomplete operations are marked as
ABORTED - inconsistent containers may be quarantined
- incomplete operations are marked as
No partially written or inconsistent data is exposed as valid.
Restore safety
Restore operations are atomic and verified:
- Data is written to a temporary file
- The file is fsynced and closed
- It is atomically renamed into place
- The parent directory is fsynced for durability
A restore either produces a complete valid file, or no file at all.
Garbage collection safety
Garbage collection is non-destructive:
- Only unreferenced chunks are removed
- Containers are deleted only when fully unreferenced
- Referenced data is never removed
GC cannot delete data required to restore a valid logical file.
Concurrency model
coldkeep supports safe concurrent operations:
- Logical files and chunks are claimed via database constraints
- Duplicate work is avoided via hash-based deduplication
- Concurrent operations coordinate via retry and backoff
Concurrent storage operations do not corrupt data or create inconsistent state.
Verification model
coldkeep provides multiple verification levels:
standard: metadata integrityfull: container structure and metadata consistencydeep: full data read and hash verification
Verification assumes:
- all
COMPLETEDchunks are valid - corrupted or missing containers are quarantined
The system can detect corruption explicitly when verification is run.
Simulation behavior
The simulate command provides accurate metadata-level estimation:
- No data is written to storage
- Real chunking and deduplication logic is executed
Simulation reflects real storage behavior without side effects.
These guarantees describe system behavior under controlled conditions. coldkeep remains experimental and is not yet recommended for production use.
Non-guarantees (v0.9)
coldkeep does not guarantee:
- Backward compatibility of on-disk format
- Stability of internal schemas before v1.0
- Protection against manual modification of storage or database
- Distributed or multi-node consistency
Trust boundary
Guarantees hold only if:
- the database is not externally modified
- container files are not manually altered
- the filesystem honors write and fsync semantics
β¨ Whatβs new in v0.8
simulatecommand for dry-run storage analysis- Simulation reuses the real chunking, deduplication, and metadata pipeline for accurate results
- JSON output mode (
--output json) across CLI commands - Structured result models for store, restore, remove, gc, stats
- Typed CLI error handling and stable exit codes
- Startup recovery JSON reporting
- Improved CLI validation and consistent command behavior
- Enhanced verification consistency and deep-check correctness
- Improved retry handling in storage pipeline
- Stronger integration test coverage and CLI contract tests
π Simulation (v0.8)
coldkeep now supports simulation to evaluate storage impact without writing data.
Example
coldkeep simulate store-folder ./data
coldkeep simulate store file.txt --output json
What simulation does
- Uses real chunking and deduplication
- Executes the full metadata pipeline in an isolated temporary database
- Simulates container packing behavior
- Produces realistic statistics:
- logical size (input data)
- stored size (deduplicated physical storage)
- deduplication ratio
- container count
What simulation does NOT do
- Does not write container files
- Does not persist data
- Does not modify real storage
Simulation is designed as a decision tool for evaluating coldkeep before adoption, providing realistic estimates of storage efficiency and expected container usage.
CLI Output (v0.8)
coldkeep supports structured output for automation.
Output modes
text(default)json
Example
coldkeep stats --output json
coldkeep list --output json
coldkeep list --limit 50 --offset 100 --output json
coldkeep simulate store-folder ./data --output json
Notes
- JSON output is considered stable starting in v0.8 and is intended for long-term compatibility.
- CLI exit codes are now consistent and machine-friendly
- Errors are classified into usage, verification, and runtime categories
- Machine-readable JSON output is written to stdout, while diagnostic and recovery messages are written to stderr.
β¨ Whatβs new in v0.7
- Block abstraction layer (logical vs physical separation)
- Pluggable codecs (plain + aes-gcm)
- AES-GCM encryption
- CLI codec selection
initcommand for key setup- CI coverage for both modes
π Encryption model
coldkeep supports pluggable block encoding via codecs:
| Codec | Description |
|---|---|
plain |
No encoding (raw data) |
aes-gcm |
AES-256-GCM authenticated encryption |
Key properties:
- Encryption is applied at the block level
- Hashing is always performed on plaintext
- Each block uses a random nonce
- Encryption keys are externalized via environment variables
The system fails fast if encryption is requested and no key is provided.
Encryption is applied after chunking and before storage, ensuring deduplication operates on plaintext while data at rest remains protected.
π Initialization (Encryption Setup)
Before storing encrypted data, generate a key:
coldkeep init
This will:
- generate a secure 256-bit encryption key
- print it to the console
- create a
.envfile if it does not already exist
Example:
COLDKEEP_KEY=...
COLDKEEP_CODEC=aes-gcm
Load it into your shell:
export $(cat .env | xargs)
Docker:
The /app mount ensures the .env file created by init persists on the host.
docker compose run --rm -v "$PWD:/app" app init
β οΈ Data encrypted with a key cannot be recovered without it.
There is currently no key rotation or recovery mechanism.
βοΈ Codec selection
coldkeep store --codec plain file.txt
coldkeep store --codec aes-gcm file.txt
Codec notes
aes-gcmrequiresCOLDKEEP_KEY- The CLI flag overrides environment configuration
- The default codec is
aes-gcm - Using
plainstores data unencrypted and prints a warning
π Quickstart
A small samples/ folder is included for testing and experimentation.
Quick start (local, no Docker)
# 1. Generate encryption key and write .env
coldkeep init
Security note: If you lose the key, data cannot be recovered.
Never commit.envto version control.
# 2. Load the key into your shell
export $(cat .env | xargs)
# 3. Store a file
coldkeep store file.txt
Optional: simulate storage impact before storing
coldkeep simulate store file.txt
Simulation does not write any data and can be safely used before storing files.
Quick start (Docker)
The /app mount ensures the .env file created by init persists on the host.
# 1. Start services
docker compose up -d --build
# 2. Generate encryption key (required before storing data)
docker compose run --rm -v "$PWD:/app" app init
Important: This creates a
.envfile with your encryption key.
You must pass this file to subsequent commands using--env-file.
Security note: If you lose the key, data cannot be recovered.
# 3. Store a file (pass the key from the generated .env)
docker compose run --rm \
--env-file .env \
-v "$PWD/samples:/samples" \
app store /samples/hello.txt
Optional: simulate storage impact before storing
docker compose run --rm \
-v "$PWD/samples:/samples" \
app simulate store /samples/hello.txt
Simulation does not write any data and can be safely used before storing files.
Verification
coldkeep provides a multi-level integrity verification system to ensure consistency and detect corruption across metadata and stored data.
Levels
-
Standard
- Validates metadata integrity
- Checks reference counts, chunk ordering, and orphan records
-
Full
- Includes all standard checks
- Verifies container files exist and match recorded sizes
- Validates container hashes and chunk-to-container consistency
-
Deep
- Includes all full checks
- Reads container data and recomputes chunk hashes
- Detects physical data corruption at the byte level
Usage
Verify the entire system:
coldkeep verify system --level standard
coldkeep verify system --level full
coldkeep verify system --level deep
Verify a specific file:
coldkeep verify file <file_id> --level standard
coldkeep verify file <file_id> --level full
coldkeep verify file <file_id> --level deep
Verification results can be exported in JSON format using --output json.
Notes
Deep verification performs full reads of container files and may be slow, especially for large datasets. Recommended for periodic integrity audits rather than frequent execution.
Deterministic restore (historical note)
Deterministic restore was introduced in v0.5 and is now part of the core storage guarantees defined in the Storage Guarantees section above.
Integration tests validate:
- byte-identical restore outputs
- consistency across GC and recovery
- deterministic behavior across datasets
Container lifecycle and restore boundaries
coldkeep uses an append-only container model where data is written sequentially and containers are sealed once they reach their maximum size.
At any given time, there may be an active (unsealed) container receiving new data.
Restore behavior
Restore operations may read data from both:
- sealed containers
- the active unsealed container
This ensures that recently stored data can be restored immediately, without waiting for container rotation or sealing.
Verification behavior
Verification distinguishes between container states:
-
Standard / Full verification
- Focus on metadata and structural consistency
- Do not require all containers to be sealed
-
Deep verification
- Reads and validates actual stored data
- Assumes the system has completed startup recovery.
Why this distinction exists
This design allows:
- immediate restore availability after store operations
- safe append-only writes without blocking on container sealing
- strong integrity guarantees through explicit verification steps
In short:
- Restore prioritizes availability
- Verification enforces correctness
Design sketch
Core tables:
-
logical_file
User-visible file entry (name, size, file_hash). -
chunk
Logical identity of a content-addressed chunk (chunk_hash, size, ref_count). -
blocks
Physical placement and codec metadata for each chunk (codec, block_offset, stored_size, container_id). -
file_chunk
Ordered mapping between logical files and chunks. -
container
Physical container file storing raw block payloads.
Containers are stored on disk under:
storage/containers/
Containers follow an append-only write model, ensuring deterministic writes and simplifying recovery.
Storage pipeline:
logical_file -> file_chunk -> chunk -> blocks -> container
Lifecycle states:
- logical_file: PROCESSING β COMPLETED β ABORTED
- chunk: PROCESSING β COMPLETED β ABORTED
These states allow coldkeep to detect interrupted operations and recover safely on startup.
Project structure
coldkeep/
β
ββ cmd/
β ββ coldkeep/ # CLI entrypoint
β
ββ internal/
β ββ blocks/ # block encoding (plain, aes-gcm)
β ββ chunk/ # chunking logic
β ββ container/ # container format + management
β ββ db/ # database helpers
β ββ listing/ # file listing operations
β ββ maintenance/ # gc, stats, verify_command
β ββ recovery/ # system recovery logic
β ββ storage/ # store / restore / remove pipeline
β ββ utils_env/ # env helpers
β ββ utils_print/ # print helpers
β ββ verify/ # verification logic
β
ββ tests/ # integration tests
ββ scripts/ # smoke / development scripts
ββ db/ # database schema
β
ββ docker-compose.yml
ββ go.mod
ββ README.md
Development
π³ Local development (with Docker)
Start services:
docker compose up -d --build
Store a sample file:
docker compose run --rm -v "$PWD/samples:/samples" app store /samples/hello.txt
Store the sample folder:
docker compose run --rm -v "$PWD/samples:/samples" app store-folder /samples
List stored files:
docker compose run --rm app list
Restore a file:
docker compose run --rm app restore 1 _out.bin
CI Gate Policy (v0.9)
The repository-side workflow now enforces a single final status named CI Required Gate.
That gate fails if any upstream quality, integration, or smoke job fails or is skipped.
To make that gate non-bypassable for pull requests, merges, and release preparation, GitHub repository settings must also enforce it.
Recommended GitHub ruleset / branch protection configuration:
- Require pull requests before merging to
main - Require status checks before merging
- Mark
CI Required Gateas a required status check - Require merge queue and keep
merge_groupenabled in the workflow - Apply the same required check to
release/**andhotfix/** - Restrict direct pushes to protected branches
- Restrict tag creation for release tags such as
v*to trusted maintainers or automation
Recommended rule names to keep policy auditing deterministic:
Protect mainline branchesProtect release tags
Without those GitHub-side protections, no workflow file can fully prevent an administrator or an unrestricted direct push from bypassing CI.
Maintainers can audit the current setup with:
scripts/audit_ci_enforcement.sh --local-only
scripts/audit_ci_enforcement.sh --repo franchoy/coldkeep
The remote audit requires GitHub CLI authentication with repository admin access.
Show stats:
docker compose run --rm app stats
Run garbage collection:
docker compose run --rm app gc
π» Local development (without Docker)
Start Postgres (example):
docker compose up -d postgres
Build the CLI first using the build command below.
Store the sample folder:
./coldkeep store-folder samples
List stored files:
./coldkeep list
./coldkeep list --limit 50 --offset 100
Restore a file:
./coldkeep restore 1 restored.bin
Show stats:
./coldkeep stats
Run GC:
./coldkeep gc
Build
go build -o coldkeep ./cmd/coldkeep
Tests
Run all tests:
go test ./...
Integration tests live under:
tests/
and require a running PostgreSQL instance.
Smoke test
scripts/smoke.sh runs a full end-to-end workflow using the samples/ directory.
store -> stats -> list -> restore -> dedup check.
Local
docker compose up -d postgres
go build -o coldkeep ./cmd/coldkeep
bash scripts/smoke.sh
For repeatable local reruns against an existing DB, enable smoke reset mode:
COLDKEEP_TEST_DB=1 COLDKEEP_SMOKE_RESET_DB=1 \
DB_HOST=127.0.0.1 DB_PORT=5432 DB_USER=coldkeep DB_PASSWORD=coldkeep DB_NAME=coldkeep \
bash scripts/smoke.sh
This option truncates smoke tables and clears COLDKEEP_STORAGE_DIR before running.
Docker
docker compose up -d postgres
docker compose run --rm \
-e COLDKEEP_SAMPLES_DIR=/samples \
-e COLDKEEP_STORAGE_DIR=/tmp/coldkeep-storage \
-v "$PWD/samples:/samples" \
--entrypoint bash \
app scripts/smoke.sh
Configuration
Database configuration is read from environment variables
(see docker-compose.yml for defaults).
Storage is written to:
./storage/
During development you can safely delete this directory.
Additional environment variables used in development:
- COLDKEEP_STORAGE_DIR
- COLDKEEP_SAMPLES_DIR
Known limitations
Crash recovery
coldkeep includes a crash recovery model based on lifecycle states.
Operations use explicit states (PROCESSING, COMPLETED, ABORTED)
to detect and handle interrupted operations safely.
On startup the system:
- marks stale
PROCESSINGrows asABORTED - prevents incomplete chunks from being reused
- allows safe retries of interrupted operations
This model ensures that partially written data does not corrupt the logical state of the system.
The append-only container model simplifies recovery by eliminating in-place mutations of container data.
However, the system is still experimental and full transactional guarantees across filesystem and database layers are not yet complete.
Use only with disposable test data.
Container compression
Whole-container compression has been removed in v0.6.
Future versions may introduce block-level compression.
Concurrency & integrity
Concurrency support has been significantly improved, including locking and retry mechanisms.
However, it is still evolving and not yet optimized for extreme parallel workloads.
Security
See SECURITY.md.
This is an experimental research project with evolving on-disk formats.
Do not use for real or sensitive data.
Roadmap
Coldkeep follows a risk-reduction approach, where each release removes a class of failure until the system becomes fully trustworthy.
-
v0.2 β Crash Consistency Foundation
Eliminate DB β filesystem divergence and ensure safe recovery after crashes. -
v0.3 β Safe Garbage Collection
Guarantee that GC cannot remove referenced data. -
v0.4 β Integrity & Verification Layer
Enable full-system verification and corruption detection. -
v0.5 β Deterministic Restore Guarantees
Ensure byte-identical, reproducible restore across GC and restart. -
v0.6 β Storage Model Evolution
Introduce an append-only container model, remove legacy compression, and improve concurrency coordination as a foundation for future block abstraction and encryption. -
v0.7 β Block Abstraction & Encryption Foundations
Introduce block-level structure to enable partial reads, compression, and encryption in a controlled and extensible way. -
v0.8 β Simulation & CLI Stabilization
Add simulation capabilities for storage planning and establish a stable, automation-friendly command-line interface (introduced in v0.8). -
v0.9 β Internal Hardening
Improve reliability, simplify internals, and finalize implementation details. -
v1.0 β Storage Engine Stable
Coldkeep becomes a trustworthy storage engine for real cold backups.
Contributing
Contributions and discussion are welcome.
See CONTRIBUTING.md.
License
Apache-2.0. See LICENSE