Beagle

*Beagle* is a revision control system suitable for modern workflows. The data format and the syncing protocol are 100% git to stay compatible with the existing mass of git repos. The rest is reworked.

  1. The system is made syntax-aware, diffing and merging is finer

    grained and draws heavily from CRDT ideas. No false conflicts.

  2. Content is indexed for efficient search. May grep fast, use

    regexes, search for code snippets/templates (syntax aware).

  3. CLI UX is reworked; beagle uses HTTP-like command language

    of verbs and URIs (get, post, put, delete etc). Not a zoo of CLI flags, but uniform language/syntax for everything.

  4. The branching model is tree-like (e.g. feature/fix), very

    patch stack friendly (e.g. to rebase the stack as one),

  5. The UI is reworked as well, to the text-mode repo browser

    level.

Beagle focuses on making a comfortable git client for local multi-branch multi-worktree development. While Beagle's command language can express any git operation, the model steers the user towards tree-structured rebase-centric branching model.

The project dogfoods from day 1.

Using be

Beagle's dispatcher command is be. It only uses standard URI arguments scheme:host/path?version#message and the verbs from the HTTP dictionary that cover all possible data maneuvers. Think of git. Nobody remembers all git commands and flags. To avoid that effect, Beagle's verbs are made orthogonal: there is no way to supplement one with creative use of another. * read-only commands

- GET fetches/checks out a particular version/branch/project, - HEAD is GET dry-run, lists the changes to the version/branch,

* read-write commands

- POST advances the current branch (commit and/or fast-forward),

this is worktree-to-repo write,

- PATCH applies changes from another branch to the working tree,

this is repo-to-worktree write,

* reflog commands

- PUT sets branch tip, adds a file, etc, - DELETE deletes a branch, a file, etc.

The general work sequence is to edit the worktree, maybe merge in other branches/commits, verify everything works, then commit it. Verbs reflect this exact sequence. Same applies to URIs, each component reflects some aspect of a command:

  1. scheme stands for app/protocol,
  2. host for remotes,
  3. path for file path (relative to the project root),
  4. query for project / branch / tag / commit. Beagle is

    multi-project: every store hosts an arbitrary set of projects, each with its own branch tree. Shapes (full grammar at <https://replicated.wiki/html/wiki/URI.html>):

  5. fragment is for free-form payload (commit-message *body*

    for be post '#fix', line jumps, extension filters, etc).

Changing the shape of URI changes the command's semantics, e.g. patch becomes merge, rebase or cherry-pick, depending of the shape. These three (git) commands all do merge-then-commit, but details differ.

GET: checkout / fetch / view / search

be get ssh://host/repo.git # clone (fetch + checkout + index) be get ?v1.2 # checkout the "v1.2" tag locally be get ?feat/ # switch to branch feat (trailing slash) be get ?back # cd - : previously checked-out branch be path/to/file.c # open the file in the pager (bro) be grep:path/to/file.c#TODO # grep inside one file be spot:#FuncName # structural search across repo

POST: commit / fast-forward

... # above: be get, etc vim file.c # go wild be post "wonderful changes" # commit be head //host # see if remote changed be post //host # ff-push to remote (refuses if diverged;

# rebase is be patch //host? + be post)

PUT/DELETE: reflog edits (stage, add/remove branch)

... be put src/foo.c src/bar.c # stage two files be put # stage everything dirty be delete src/obsolete.c # stage removal of one path be delete # stage every tracked file rm'd on disk be post "new files" # commit be put //host # fast forward remote to the head

Projections

Apart from verbs, Beagle has projections: read-only and presentation-only verbless use, e.g. be diff:?other_branch or be log:file.c or be grep:TODO. These typically can be used with URIs of any shapes, e.g. be diff://host/file.c?remote_branch.

The dogs

<img src="dog/dogs.png" width="50%" align="right"/> The repo is structured into dogs. Each dog has its purview, the data and functions it is responsible for. Dogs coordinate to carry out complex tasks.

* *Bro: interactive syntax-highlighted pager/viewer. *Spot*: structural code search, grep, regex, and replace

across a repo. Maintains a trigram index for instant lookups.

* *Graf*: does token-level diffing, 3-way merges, history

navigation. Maintains a history index.

* *Sniff: serves the worktree, detects changes. *Keeper*: keeps the data per se (git blobs, trees, commits) in

one flat object pool per project — branches, tags and remotes are just refs into that shared pool.

New dogs may join, old dogs may learn new tricks. If it works, it gets used. If it's used, it evolves.

Quick start

Build (requires libsodium, libcurl, lz4, zlib and cmake; ninja recommended):

mkdir build && cd build CC=clang CXX=clang++ cmake -GNinja -DCMAKE_BUILD_TYPE=Release .. ninja ls bin/

FAQ

Is this git based? This is git-compatible. git does not provide meaningful API for external tools, unfortunately. Also, git's internal format junglified over 20 years of evolution. Meanwhile, git's internal object model is simple and sound.

Is this VC funded? Nope. The project is ran on old hardware discarded by a university. Heavy things (eg massive fuzzing), all run on a 32 core discounted Hetzner server. Coding is mostly done by Claude Max, in 2..5 parallel sessions.

Credits

Trigram indexing idea from Russ Cox. Dogenizers started with tree-sitter, later rewritten as ragel scanners for speed. The Merkle scheme is by Linus Torvalds.