# Overnight backlog 3 (from 2026-09-29): not worse than Git

Andy's brief: there is no point making a tool that is worse than Git.
Until oxy matches Git on a real, large tree, this is the only work:
speed, memory and space at scale, with correctness never traded away.

Work top to bottom. An item is done when:
- its tests pass and the gate is clean;
- it is measured before and after on Earth, and the numbers are in
  `docs/benchmarks.md`;
- it is committed with `oxy` as Andy and pushed to Earth.

If an item is too large, split it here and do the first part. Log each
iteration at the bottom.

## The yardstick

The Linux tip on Earth: 95 943 files, 1.8 GB, on 4 cores with 31 GiB.
Git 2.53 does this (from `~/bench/linux/results.txt`, 2026-09-29):

| Operation | Git | Target for oxy |
|---|---:|---:|
| First commit of the tree | 33.7 s, 42 MB | at most 50 s, under 2 GB |
| Clean `status` (warm) | 0.26 to 0.31 s, 31 MB | at most 0.4 s, under 300 MB |
| `status`, one file edited | 0.25 s | at most 0.4 s |
| `diff`, one file edited | 0.34 s | at most 0.5 s |
| `commit`, one file edited | 0.43 s | at most 0.6 s |
| `status`, 1 000 files edited | 0.26 s | at most 0.5 s |
| `diff`, 1 000 files edited | 1.38 s | at most 2 s |
| `commit`, 1 000 files edited | 0.76 s | at most 1.2 s |
| `log -n 100` | 0.05 s | at most 0.1 s |
| `blame MAINTAINERS` | 0.07 s | at most 0.2 s |
| Checkout of another state and back | 0.49 s and 0.38 s | at most 1 s each |
| Store after gc | 311 MB (`.git`) | at most 350 MB |
| Everyday commands | about 31 MB | under 300 MB |

The targets allow oxy a small margin, because it does more (conflicts
as data, signatures, an operation log). A target that turns out to be
out of reach for a structural reason is written up here, with the best
number reached and why. It is never quietly dropped.

## Rules for this loop

- **Measure first.** Before changing code, measure where the time or
  memory goes on Earth: `/usr/bin/time -v`, `perf record` (installed on
  Earth), `OXY_TIMING` phases, or a counting allocator behind a feature.
  Record what the profile showed in the log.
- **Heavy work only on Earth**, always under a cap:
  `systemd-run --user --scope -p MemoryMax=14G …`. Andy's workstation has
  crashed from memory before. Locally, run the gate and small cases only.
- **Getting code to Earth.** `~/bench/oxygen` on Earth is a plain copy of
  the source. Sync it with `rsync -a --delete --exclude target --exclude
  .oxy -e "ssh -i ~/.ssh/earth_claude" ~/development/oxygen/
  claude@earth:bench/oxygen/`.
  - `~/bench/linux-bench.sh` builds oxy from that copy and runs the whole
    comparison. `~/bench/first-commit.sh` runs only the first commit,
    status and fsck.
  - Run long jobs with Bash `run_in_background`, and wait for the
    completion notice rather than polling.
- **Correctness is never traded.** Every change keeps these passing:
  `oxy fsck` on the Linux repository, the property tests, and
  `oxy git verify` on the Git imports.
- **Format changes** (change, checkpoint, pack or wire) are allowed
  before 1.0, with these steps:
  - bump the spec draft and keep old objects readable with unchanged
    hashes;
  - bump `deps/oxygen` in oxygenflow with `make pins`, gate, commit,
    push and `make deploy-runner`;
  - then `make pins` in oxygenhub, gate, commit, push, `make deploy`,
    and check `/health`;
  - only then install the new oxy locally. Commit the format change
    itself with the old binary.
- **Memory and pace.** Every workstation build and test runs under
  `systemd-run --user --scope -p MemoryMax=8G`, and
  `CARGO_INCREMENTAL=0` (the disk is nearly full).

## Correctness first (from metalgear, 2026-09-29)

A working copy that silently becomes the wrong tree is worse than any
slowness, so these come before everything else.

- [x] C1 **Working-copy writes hold the workspace lock** (oxygen#36). Checkout, bookmark switch (with --carry), pull's checkout, undo, discard and commit hold the lock from reading the head until their operation is recorded. `merge_views` never lets a working-copy change based on a replaced one win. Test: a snapshot concurrent with a checkout never records the checkout's writes as edits.
- [x] C2 **`bookmark create NAME CHANGE` refuses a partial state** (oxygen#37). When CHANGE is one of the current state's heads but not all of them, it refuses and explains, unless given --only. `bookmark switch` summarises a wide tree difference. The guide explains that bookmarks name states, not ancestry.
- [x] C3 **A parent's switch never rolls a subrepo's bookmark back** (oxygen#38).
- [x] C4 **`pull` says "Already up to date" while one behind** (oxygen#29). Reproduce it with a test, then fix it.

## Memory

- [x] M0 **Tools to see memory.** Add a counting global allocator behind
  a cargo feature (peak bytes and allocation count per `OXY_TIMING`
  phase), so a profile names the structure that holds the memory. Then
  profile a clean `status` of the Linux repository, killed at 14 GB
  (oxygen#35), and the first commit (9.9 GB). Write down which
  structures hold what before changing anything.
- [x] M1 **Status without every graph** (oxygen#35). A clean `status`
  must not build every file graph. Unchanged files are skipped by the
  manifest (spec §12.4), and the first status after a commit must not
  replay the whole change. Options: the commit writes a checkpoint;
  history-only states load graphs on demand (`State::load_graphs`).
  Target: under 300 MB and 0.4 s.
- [ ] M2 **Lines without an allocation each.** An insert's lines become
  one shared buffer with line offsets (for example `Arc<[u8]>` and
  ranges) in the change and in the file graph. The file graph shares
  that buffer and does not copy it. `AtomInfo` and the edge map shrink.
  Measure bytes per line before and after.
- [ ] M3 **A commit that streams.** The snapshot builder stores each
  file's text blob as it reads it and keeps no content it no longer
  needs, and the state is built without a second copy. Target for the
  first commit: under 2 GB.
- [ ] M4 **Everyday commands under 300 MB** on the Linux repository:
  status, diff, commit, log and blame, one file and 1 000 files edited.

## Speed

- [ ] S1 **First commit at most 50 s** (55.3 s now): profile with
  `perf`, and parallelise reading, hashing and diffing across the four
  cores where it is safe.
- [ ] S2 **Status, diff and commit** with one and with 1 000 files
  edited, to the targets above.
- [ ] S3 **log, blame and checkout** on the Linux repository, to the
  targets above.
- [ ] S4 **fsck and gc** measured against Git's. Re-run Git's `fsck`
  with gc turned off: 451 s is suspect, because Git's own background gc
  raced it.

## Space

- [ ] P1 **Store at most 350 MB after gc** (442 MB now against Git's
  311 MB): measure what takes the space (changes, text blobs, graphs,
  checkpoints, indexes), then fix the largest. Compression level and
  dictionary, and packing order, are all candidates.

## History at scale

- [ ] H1 **Importer name conflict** (oxygen#30): the 5 000-commit
  vscode import differs from Git in 51 files. Fix the cause and add a
  test. `oxy git verify` must be clean.
- [ ] H2 **Import memory**: drop graphs untouched by recent commits and
  reload them on demand, so memory is bounded by the working set and not
  by the history.
- [ ] H3 **Linux, stage 2**: import slices of recent history (2 000,
  10 000 and 50 000 commits), each verified, then time log, blame and
  status against Git on the same slice.
- [ ] H4 **vscode's full history** (about 130 000 commits) into a scratch
  repository on Earth. It is not published. Verify it and time it.
- [ ] H5 **Linux's full history** (about 1.3 million commits) if H3 shows
  it can finish overnight. Otherwise, write up what stands in the way.

## Finally

- [ ] Z1 Re-run the full `~/bench/linux-bench.sh` with the final build,
  and put the complete Git against oxy table in `docs/benchmarks.md`.
  Summarise, for Andy, where oxy now matches or beats Git and where it
  does not.

## Log

- 2026-09-29 Backlog written. Starting point: the Linux first commit
  succeeds (55.3 s, 9.9 GB, 442 MB store) with change format 2
  (oxygen#34). A clean `status` is killed at 14 GB (oxygen#35).
- 2026-09-29 **C1 to C4 done** (the metalgear findings in ~/oxygen_feedback.md, items 22 and 25 to 26). The gate passes: 205 tests, clippy clean.
  - **C1** (e8e51993, closes #36): the working-copy lock now covers checkout, switch (and --carry), merge, commit, amend and rewrites, discard and pull. It is re-entrant per thread, waits up to a minute, and a live process's lock is never taken over. A workspace changed by two concurrent operations is now an error. A race test runs twenty switches against a snapshot thread; without the lock it failed one run in three.
  - **C2** (bf423e78, closes #37): `bookmark create NAME CHANGE` refuses when it would leave out earlier work, unless given --upto or --only. `bookmark switch` says how many changes the new state lacks. The guide explains states for people coming from Git.
  - **C3** (6b582c4c, closes #38): a parent's checkout moves a subrepo's bookmark only forward, and the pin is read from the nested working copy. `--carry` leaves a subrepo whose pin is carried work as it is.
  - **C4** (5dfea7b7, closes #29): not a sync bug. rstar-api's operation log shows each such pull ran on a feature bookmark, while main, which the fetch had just updated, was the one behind. pull now names the bookmark it pulled and the others left behind.
  - **For Andy:** metalgear's working copy is sound, on develop and clean. `logo-25` holds just the logo change and its dependencies; delete it if it is not wanted.
- 2026-09-30 **M0 and M1 done; M4, S2 and S3 part way** (oxygen#35 and oxygen#39). The tests and clippy pass after each step. Each step was measured on the Linux tip and is recorded in docs/benchmarks.md.
  - **M0** (f11e81a1): a counting allocator behind the `alloc-stats` feature; with `OXY_TIMINGS` it reports memory per phase.
  - **M1**, with these steps:
    - history-only loads read no text (22b70898), then read only a change's skeleton (39c6adea);
    - graph keys are written at commit (22b70898);
    - a clean status is answered from the manifest (b4fefa1e) with a parallel walk (e19aa6c5).
    - Clean status: killed at 14 GB before, now 0.44 s and 123 MB (Git: 0.22 s).
  - **History-only loads where no graph is needed** (26f81555): bookmark, merge, pull, tags, bisect, doctor and most history rewrites.
  - **Checkout**: a batch at a time (921fa890), without a snapshot when clean (d1b480f0), and against the manifest without the base state (2b7ce2c6).
    - One-file switch: killed before, now 2.1 s and 455 MB (Git: 0.2 s).
    - Local clone: killed before, now 110 s and 8 GB (Git: 9.6 s).
  - **log, blame and fsck** (34ea4ace), with metadata-only change reads:
    - log -n 100: 28 s and 4.7 GB before, now 2.0 s;
    - blame: killed before, now 1.1 s;
    - fsck: killed before, now 123 s and 4.5 GB.
  - **Snapshot**: a parallel walk with stats carried into the manifest (a578fa19), and a cached tree view (de3f07f8). Status with one file changed: 4.1 s before, now 2.3 s (Git: 0.23 s).
  - **Still far from Git**: one-file and 1 000-file status, diff and commit (2 to 5 s); switch (2 s); log (2 s); clone (110 s, 8 GB); first commit (56 s, 10 GB); fsck (4.5 GB).
    - The common cost is loading the first change's history (0.5 s) and building the tree view (0.4 s).
    - Next: a persistent per-state cache (tree view, graph keys and change set), Git's index in effect, then compact graphs (M2) and a streaming commit (M3).