prikk 0.8.0

Prikk CLI initial scaffold.
prikk-0.8.0 is not a library.

Prikk

Status license crates.io docs.rs Dependency Status

crates.io docs.rs Dependency Status crates.io docs.rs Dependency Status crates.io docs.rs Dependency Status crates.io docs.rs Dependency Status crates.io docs.rs Dependency Status

A next-generation VCS built around block-oriented patch theory.

Overview

Prikk is an experimental distributed version control system focused on ease of use, safety, resilience, flexibility, and long-term performance. The implementation follows the approved FDD sequence: object identity and storage first, then WAL/ref durability, patch algebra, plugins, and sync.

Why / When

Use Prikk development builds when evaluating the architecture or contributing to the implementation. Do not use Prikk for real project history yet.

Quick Start

cargo fmt --check
cargo clippy --workspace --all-targets -- -D warnings
cargo test --workspace
cargo run -p prikk -- init ./sample-repo
# Author and publish a first commit (genesis) on a fresh repository:
export PRIKK_AUTHOR_KEY_ID="dev-author"
export PRIKK_AUTHOR_SEED="00112233445566778899aabbccddeeff00112233445566778899aabbccddeeff"
export PRIKK_MAINTAINER_KEY_ID="dev-maintainer"
export PRIKK_MAINTAINER_SEED="111122223333444455556666777788889999aaaabbbbccccddddeeeeffff0000"
(cd ./sample-repo && ../target/debug/prikk trust maintainer add \
  --key-id "$PRIKK_MAINTAINER_KEY_ID" \
  --public-key "a00899dfd3357aee69729405913f9324dfc033cec04a2215239eda64ae6d9d91")
echo "hello prikk" > ./sample-repo/readme.txt
(cd ./sample-repo && ../target/debug/prikk commit -m "genesis")
(cd ./sample-repo && ../target/debug/prikk seal --allow-no-audit)
cargo run -p prikk -- log ./sample-repo
cargo run -p prikk -- worktree-status ./sample-repo
cargo run -p prikk -- verify ./sample-repo
cargo run -p prikk -- doctor ./sample-repo
# If doctor reports only incomplete trailing WAL bytes:
# cargo run -p prikk -- doctor ./sample-repo --repair-wal-tail
# If doctor reports only a missing heads/main pointer recoverable from the ref log:
# cargo run -p prikk -- doctor ./sample-repo --repair-main-ref

prikk commit authors node-addressed worktree patches signed with a real role-bound Ed25519 AUTHOR signature; key material is supplied via PRIKK_AUTHOR_KEY_ID / PRIKK_AUTHOR_SEED (a minimal key-input mechanism, not a trust store). On a fresh repository the first commit is a genesis commit (all files authored as CreateFile); the first seal publishes a Root block on heads/main. An explicit unborn local branch ref can be started with commit --ref heads/<branch> and published with seal --ref heads/<branch> as an independent Root history.

Design Notes

Current released implementation: 0.8.0 (DC-15 — active-session integrity and verification hardening). This release makes active-WAL metadata health explicit in verify / doctor, re-checks rollback-draft target freshness before append, validates local branch refs at the publication boundary, and shares signature key-id validation across AUTHOR, MAINTAINER, and trust-policy paths.

Implemented:

  • Rust workspace scaffold.
  • Deterministic canonical object identity seed.
  • Object envelopes with signatures outside identity.
  • Persistent .prikk/ layout and object store.
  • Active-session WAL append/replay for signed patch envelopes.
  • Read-only repository verification for objects, block references, sealed rollback Patch classification, ref pointers, ref logs, active WAL, and publication trust.
  • doctor diagnostics layered on top of verification, with opt-in safe WAL tail and missing-ref-pointer repair.
  • Read-only sealed-history inspection from the current RefState chain, including rollback block labels.
  • Snapshot-manifest validation, path-safety checks, opt-in snapshot materialization, and read-only worktree status.
  • Initial RefState publication primitives with flat hashed ref pointer paths.
  • Node-addressed worktree patch authoring (prikk commit): against a published local branch baseline reconstructed from authoritative replay — or, on an unborn heads/* ref, a genesis first commit against an empty baseline (all files authored as CreateFile) — worktree changes are authored as node-addressed §9.3 operations (CreateFile, DeleteNode, EditText, ReplaceBinary, ChangePerm) with CSPRNG-minted node identities in canonical order, normalized file modes, and shared text-span identity. Existing-node kind is authoritative; rename inference, symlink authoring, branch copy/fork, branch switching, and text↔binary transitions are out of scope.
  • Role-bound Ed25519 AUTHOR signing for production Patch authoring paths: worktree commits and rollback drafts sign through an injected AuthorSigner; the production Ed25519AuthorSigner produces a real Ed25519 signature over the role-bound preimage (Ed25519, Patch, unsigned-patch-id, Author, key_id). Key material is supplied via PRIKK_AUTHOR_KEY_ID / PRIKK_AUTHOR_SEED (a minimal key-input mechanism, not a trust store).
  • Local no-audit seal scaffold that persists WAL patches, creates a Block, signs publication objects with a trusted MAINTAINER key, and advances heads/main or an explicit --ref heads/<branch>.
  • Active-WAL ref ownership metadata prevents sealing queued patches to a different ref than the one they were authored for. Non-empty active WALs with missing, malformed, or mismatched ref metadata fail closed.
  • Supported patch replay planning/materialization for CreateFile/DeleteNode and deterministic arbitrary-span EditText, with node-addressed record reconciliation for the remaining §9.3 kinds.
  • Explicit deletion planning and opt-in deletion of patch-removed files whose bytes still match the old blob.
  • Read-only inverse planning, non-mutating rollback preview, rollback-draft append/verification, and sealed rollback block classification for the supported subset, including deterministic direct inverse for supported arbitrary-span EditText. Rollback-draft identity is recorded as PatchPurpose::RollbackDraft, not as a reserved AUTHOR key id.
  • Minimal local publication trust: prikk trust maintainer add records one trusted MAINTAINER public key, and verify checks Block/RefState/RefUpdate MAINTAINER signatures against that policy.

Signing scope (interim): AUTHOR-role Patch signatures and MAINTAINER publication signatures produced by production commands are real role-bound Ed25519 signatures. Publication trust is local and minimal (required = 1); this does not yet imply key rotation, revocation, expiration, multi-maintainer thresholds, remote trust, hardware signing, or publication-grade audit policy.

Minimal CLI commands: init, trust maintainer add, commit [--from-worktree] [--text-edits] [--ref heads/<branch>] -m, seal --allow-no-audit [--ref heads/<branch>], status, log, checkout --plan-only, checkout --snapshot-plan, checkout --snapshot-materialize, checkout --patch-plan, checkout --patch-materialize, checkout --patch-delete-plan, checkout --patch-materialize-delete, inverse-plan, rollback-preview, rollback-draft --append-inverse, rollback-draft-verify, worktree-status, verify, doctor, doctor --repair-wal-tail, doctor --repair-main-ref, and --version.

Not implemented yet:

  • Rename detection, multi-operation text diff minimization, rollback refs, rollback authorization, commutation, full patch algebra, and general destructive checkout pruning.
  • Branch switching, branch copy/fork from an existing tip, merge-base semantics, branch deletion/rename, tag or remote ref creation, rollback refs, multi-commit queued active sessions, and per-ref active WALs.
  • Key management/rotation, revocation, expiration, multi-maintainer thresholds, remote trust, hardware signing, and broader signature policy.
  • Policy-aware audit/attestation publication through seal; plugin/audit execution.
  • Remote sync.

More Detail

Full documentation is kept under docs/src and is structured for mdBook.