OXYGENHUB
# 6f8aeb996558 oxygen / crates / oxy-core / src / repo / git.rs
50.7 KiB · Rust · last changed Store large inserts as text blobs (change format 2) 1 month ago source blame history raw
1
//! Git bridge (spec §23), export side: each state the current bookmark
2
//! passed through becomes a Git commit through `git fast-import`, with the
3
//! state's full tree and the previous state's commit as parent. A state
4
//! that added exactly one change carries that change's message, author,
5
//! and `Change-Id`/`Oxy-Hash` trailers; every commit carries `Oxy-State`.
6
//!
7
//! Marks make re-exports incremental: `.oxy/git/<target>/git-marks` is
8
//! git's own marks file and `oxy-marks` maps state refs to marks.
9
10
use super::*;
11
use std::process::{Command, Stdio};
12
use std::sync::Arc;
13
14
#[derive(Debug, Clone, Default, PartialEq, Eq)]
15
pub struct GitImportReport {
16
    pub commits: usize,
17
    pub merges: usize,
18
    /// Gitlink entries imported as subrepo nodes with Git pins.
19
    pub submodules: usize,
20
    pub heads: usize,
21
}
22
23
/// A running `git cat-file --batch`, for reading many blobs cheaply.
24
struct CatFile {
25
    child: std::process::Child,
26
    stdin: std::process::ChildStdin,
27
    stdout: std::io::BufReader<std::process::ChildStdout>,
28
}
29
30
impl CatFile {
31
    fn start(git_dir: &Path) -> Result<CatFile> {
32
        let mut child = Command::new("git")
33
            .arg("-C")
34
            .arg(git_dir)
35
            .args(["cat-file", "--batch"])
36
            .stdin(Stdio::piped())
37
            .stdout(Stdio::piped())
38
            .stderr(Stdio::null())
39
            .spawn()
40
            .map_err(|e| RepoError::Msg(format!("running git cat-file: {e}")))?;
41
        let stdin = child.stdin.take().unwrap();
42
        let stdout = std::io::BufReader::new(child.stdout.take().unwrap());
43
        Ok(CatFile {
44
            child,
45
            stdin,
46
            stdout,
47
        })
48
    }
49
50
    fn read(&mut self, sha: &str) -> Result<Vec<u8>> {
51
        use std::io::{BufRead, Read};
52
        writeln!(self.stdin, "{sha}")?;
53
        self.stdin.flush()?;
54
        let mut header = String::new();
55
        self.stdout.read_line(&mut header)?;
56
        let parts: Vec<&str> = header.trim_end().split(' ').collect();
57
        if parts.len() != 3 {
58
            return fail(format!("git cat-file: object {sha} not found"));
59
        }
60
        let size: usize = parts[2]
61
            .parse()
62
            .map_err(|_| RepoError::Msg("git cat-file: bad size".into()))?;
63
        let mut body = vec![0u8; size];
64
        self.stdout.read_exact(&mut body)?;
65
        let mut nl = [0u8; 1];
66
        self.stdout.read_exact(&mut nl)?;
67
        Ok(body)
68
    }
69
}
70
71
impl Drop for CatFile {
72
    fn drop(&mut self) {
73
        let _ = self.child.kill();
74
        let _ = self.child.wait();
75
    }
76
}
77
78
/// One commit as `git log` describes it.
79
struct GitCommit {
80
    sha: String,
81
    parents: Vec<String>,
82
    author_secs: u64,
83
    author: String,
84
    message: String,
85
}
86
87
fn list_commits(git_dir: &Path, branch: &str) -> Result<Vec<GitCommit>> {
88
    let out = Command::new("git")
89
        .arg("-C")
90
        .arg(git_dir)
91
        .args([
92
            "log",
93
            "--reverse",
94
            "--topo-order",
95
            "--format=%H%x00%P%x00%at%x00%an <%ae>%x00%B%x1e",
96
            branch,
97
        ])
98
        .output()
99
        .map_err(|e| RepoError::Msg(format!("running git log: {e}")))?;
100
    if !out.status.success() {
101
        return fail(format!(
102
            "git log {branch} failed: {}",
103
            String::from_utf8_lossy(&out.stderr).trim()
104
        ));
105
    }
106
    let text = String::from_utf8_lossy(&out.stdout);
107
    let mut commits = Vec::new();
108
    for record in text.split('\x1e') {
109
        let record = record.trim_start_matches('\n');
110
        if record.trim().is_empty() {
111
            continue;
112
        }
113
        let f: Vec<&str> = record.splitn(5, '\0').collect();
114
        if f.len() != 5 {
115
            return fail("unexpected git log record");
116
        }
117
        commits.push(GitCommit {
118
            sha: f[0].to_string(),
119
            parents: f[1].split_whitespace().map(str::to_string).collect(),
120
            author_secs: f[2].parse().unwrap_or(0),
121
            author: f[3].to_string(),
122
            message: f[4].trim_end().to_string(),
123
        });
124
    }
125
    Ok(commits)
126
}
127
128
/// `path → (mode, blob sha)` for a commit's tree.
129
fn list_tree(git_dir: &Path, sha: &str) -> Result<BTreeMap<String, (String, String)>> {
130
    let text = git(git_dir, &["ls-tree", "-r", "-z", sha])?;
131
    let mut out = BTreeMap::new();
132
    for entry in text.split('\0') {
133
        if entry.is_empty() {
134
            continue;
135
        }
136
        let Some((meta, path)) = entry.split_once('\t') else {
137
            continue;
138
        };
139
        let m: Vec<&str> = meta.split(' ').collect();
140
        if m.len() == 3 {
141
            out.insert(path.to_string(), (m[0].to_string(), m[2].to_string()));
142
        }
143
    }
144
    Ok(out)
145
}
146
147
/// The ChangeId for a Git commit: its `Change-Id` trailer if it has a
148
/// 32-hex one, else BLAKE3-128 of the commit hash (spec §23).
149
fn change_id_for(sha: &str, message: &str) -> ChangeId {
150
    for line in message.lines().rev() {
151
        if let Some(v) = line.strip_prefix("Change-Id:") {
152
            if let Some(id) = ChangeId::from_hex(v.trim()) {
153
                return id;
154
            }
155
        }
156
    }
157
    let h = blake3::hash(sha.as_bytes());
158
    ChangeId(h.as_bytes()[..16].try_into().unwrap())
159
}
160
161
/// Git commits with a known Oxygen counterpart.
162
struct GitKnown {
163
    /// Imported commit → its change.
164
    imported: HashMap<String, ChangeHash>,
165
    /// Exported commit (or a fetched tip) → the bookmark state it equals.
166
    exported: HashMap<String, ObjectRef>,
167
}
168
169
#[derive(Debug, Clone, Default, PartialEq, Eq)]
170
pub struct GitExportReport {
171
    pub exported: usize,
172
    pub skipped: usize,
173
    /// Subrepo nodes with Oxygen pins, which Git cannot represent.
174
    pub skipped_subrepos: usize,
175
    pub branch: String,
176
    pub heads: usize,
177
}
178
179
fn git(dir: &Path, args: &[&str]) -> Result<String> {
180
    let out = Command::new("git")
181
        .arg("-C")
182
        .arg(dir)
183
        .args(args)
184
        .output()
185
        .map_err(|e| RepoError::Msg(format!("running git: {e}")))?;
186
    if !out.status.success() {
187
        return fail(format!(
188
            "git {} failed: {}",
189
            args.join(" "),
190
            String::from_utf8_lossy(&out.stderr).trim()
191
        ));
192
    }
193
    Ok(String::from_utf8_lossy(&out.stdout).trim().to_string())
194
}
195
196
impl Repo {
197
    fn git_marks_dir(&self, git_dir: &Path) -> Result<PathBuf> {
198
        let canonical = git_dir
199
            .canonicalize()
200
            .unwrap_or_else(|_| git_dir.to_path_buf());
201
        let key = hash_object(ObjectType::Chunk, canonical.to_string_lossy().as_bytes()).short(16);
202
        let dir = self.oxy.join("git").join(key);
203
        fs::create_dir_all(&dir)?;
204
        Ok(dir)
205
    }
206
207
    /// `state ref → Git commit sha` for bookmark states that equal a Git
208
    /// commit's tree (recorded by import and fetch).
209
    fn read_git_states(path: &Path) -> Result<BTreeMap<ObjectRef, String>> {
210
        let mut out = BTreeMap::new();
211
        if let Ok(text) = fs::read_to_string(path) {
212
            for line in text.lines() {
213
                if let Some((h, sha)) = line.split_once(' ') {
214
                    if let Some(h) = ObjectRef::from_hex(h) {
215
                        out.insert(h, sha.trim().to_string());
216
                    }
217
                }
218
            }
219
        }
220
        Ok(out)
221
    }
222
223
    fn record_git_state(&self, git_dir: &Path, state: &ObjectRef, sha: &str) -> Result<()> {
224
        let path = self.git_marks_dir(git_dir)?.join("git-states");
225
        let mut states = Self::read_git_states(&path)?;
226
        states.insert(*state, sha.to_string());
227
        let text: String = states
228
            .iter()
229
            .map(|(h, s)| format!("{} {s}\n", h.to_hex()))
230
            .collect();
231
        write_atomic(&path, text.as_bytes())
232
    }
233
234
    /// The bare mirror this repository keeps for the Git remote `url`.
235
    fn git_mirror(&self, url: &str) -> Result<PathBuf> {
236
        let key = hash_object(ObjectType::Chunk, url.as_bytes()).short(16);
237
        let dir = self.oxy.join("git").join(key).join("mirror.git");
238
        if !dir.join("HEAD").exists() {
239
            fs::create_dir_all(&dir)?;
240
            git(&dir, &["init", "--bare", "-q"])?;
241
        }
242
        Ok(dir)
243
    }
244
245
    /// Git commits already imported into the bookmark, by sha.
246
    pub(crate) fn imported_commits(&self) -> Result<HashMap<String, ChangeHash>> {
247
        let mut map = HashMap::new();
248
        for e in self.log()? {
249
            if e.is_working_copy {
250
                continue;
251
            }
252
            if let Some(sha) = e
253
                .change
254
                .message
255
                .lines()
256
                .rev()
257
                .find_map(|l| l.strip_prefix("Git-Commit: "))
258
            {
259
                map.insert(sha.trim().to_string(), e.hash);
260
            }
261
        }
262
        Ok(map)
263
    }
264
265
    /// Bring the mirror's `branch` up to date with the Git remote `url`.
266
    /// A remote without that branch yet leaves the mirror as it is.
267
    fn git_mirror_fetch(&self, mirror: &Path, url: &str, branch: &str) -> Result<()> {
268
        let spec = format!("+refs/heads/{branch}:refs/heads/{branch}");
269
        match git(mirror, &["fetch", "-q", url, &spec]) {
270
            Ok(_) => Ok(()),
271
            Err(e) => {
272
                let ls = git(mirror, &["ls-remote", "--heads", url, branch]).unwrap_or_default();
273
                if ls.trim().is_empty() {
274
                    Ok(())
275
                } else {
276
                    Err(e)
277
                }
278
            }
279
        }
280
    }
281
282
    /// Fetch `branch` of the Git repository at `url` (a path or a Git URL)
283
    /// through a mirror and import the commits not yet in the bookmark
284
    /// (spec §23). Works on a repository that already has history: the
285
    /// new changes join the bookmark like a pull.
286
    pub fn git_fetch(&self, url: &str, branch: &str) -> Result<GitImportReport> {
287
        let mirror = self.git_mirror(url)?;
288
        self.git_mirror_fetch(&mirror, url, branch)?;
289
        if git(
290
            &mirror,
291
            &[
292
                "rev-parse",
293
                "--verify",
294
                "-q",
295
                &format!("refs/heads/{branch}"),
296
            ],
297
        )
298
        .is_err()
299
        {
300
            return fail(format!("{url} has no branch {branch:?}"));
301
        }
302
        self.import_git_commits(&mirror, branch, &format!("oxy git fetch {url} {branch}"))
303
    }
304
305
    /// Export the bookmark to `branch` of the Git repository at `url`
306
    /// through the mirror and push it. The remote's tip must already have
307
    /// been fetched (`git_fetch`), so the push fast-forwards.
308
    pub fn git_push(&self, url: &str, branch: &str) -> Result<GitExportReport> {
309
        let mirror = self.git_mirror(url)?;
310
        self.git_mirror_fetch(&mirror, url, branch)?;
311
        if let Ok(tip) = git(
312
            &mirror,
313
            &[
314
                "rev-parse",
315
                "--verify",
316
                "-q",
317
                &format!("refs/heads/{branch}"),
318
            ],
319
        ) {
320
            let known = self.git_known(&mirror)?;
321
            if !known.imported.contains_key(&tip) && !known.exported.contains_key(&tip) {
322
                return fail(format!(
323
                    "{url} {branch} has commits not yet fetched; run `oxy git fetch {url}` first"
324
                ));
325
            }
326
        }
327
        let report = self.git_export_as(&mirror, branch)?;
328
        let spec = format!("refs/heads/{branch}:refs/heads/{branch}");
329
        git(&mirror, &["push", "-q", url, &spec])?;
330
        Ok(report)
331
    }
332
333
    fn read_oxy_marks(path: &Path) -> Result<BTreeMap<ObjectRef, u64>> {
334
        let mut out = BTreeMap::new();
335
        if let Ok(text) = fs::read_to_string(path) {
336
            for line in text.lines() {
337
                if let Some((h, m)) = line.split_once(' ') {
338
                    if let (Some(h), Ok(m)) = (ObjectRef::from_hex(h), m.parse()) {
339
                        out.insert(h, m);
340
                    }
341
                }
342
            }
343
        }
344
        Ok(out)
345
    }
346
347
    /// Export the current bookmark to the Git repository at `git_dir`,
348
    /// creating a bare one if nothing is there. Each state the bookmark
349
    /// passed through (per the operation log) becomes one commit whose tree
350
    /// is that state, so the Git branch is a linear history of full trees.
351
    pub fn git_export(&self, git_dir: &Path) -> Result<GitExportReport> {
352
        let bookmark = self.config.bookmark.clone();
353
        self.git_export_as(git_dir, &bookmark)
354
    }
355
356
    /// `git_export` to the Git branch `branch`. A state that came from a
357
    /// Git commit (`oxy git fetch`) is not re-exported: later states chain
358
    /// onto that commit, so a push back to the Git remote fast-forwards.
359
    pub fn git_export_as(&self, git_dir: &Path, branch: &str) -> Result<GitExportReport> {
360
        if !git_dir.join("HEAD").exists() && !git_dir.join(".git").exists() {
361
            fs::create_dir_all(git_dir)?;
362
            git(git_dir, &["init", "--bare", "-q"])?;
363
        }
364
        let marks_dir = self.git_marks_dir(git_dir)?;
365
        let git_marks = marks_dir.join("git-marks");
366
        let oxy_marks_path = marks_dir.join("oxy-marks");
367
        let mut marks = Self::read_oxy_marks(&oxy_marks_path)?;
368
        let git_states = Self::read_git_states(&marks_dir.join("git-states"))?;
369
        let mut next_mark = marks.values().copied().max().unwrap_or(0) + 1;
370
371
        let bookmark = self.config.bookmark.clone();
372
        let mut stream: Vec<u8> = Vec::new();
373
        let mut report = GitExportReport {
374
            branch: branch.to_string(),
375
            heads: self.bookmark_heads()?.len(),
376
            ..Default::default()
377
        };
378
379
        // States along the bookmark, oldest first, skipping unchanged and pruned ones.
380
        let mut ops = self.op_log()?;
381
        ops.reverse();
382
        let mut prev: Option<(ObjectRef, Vec<ChangeHash>)> = None;
383
        // The fast-import parent of the next commit: `:mark` or a commit sha.
384
        let mut last_parent: Option<String> = None;
385
        for (_, op) in &ops {
386
            let Some(state_ref) = op.view.bookmarks.get(&bookmark).copied() else {
387
                continue;
388
            };
389
            if prev.as_ref().is_some_and(|(p, _)| *p == state_ref) {
390
                continue;
391
            }
392
            let Ok(state) = self.store.get_state(&state_ref) else {
393
                continue;
394
            };
395
            if state.heads.is_empty() {
396
                prev = Some((state_ref, vec![]));
397
                continue;
398
            }
399
            if let Some(sha) = git_states.get(&state_ref) {
400
                report.skipped += 1;
401
                last_parent = Some(sha.clone());
402
                prev = Some((state_ref, state.heads.clone()));
403
                continue;
404
            }
405
            if let Some(m) = marks.get(&state_ref) {
406
                report.skipped += 1;
407
                last_parent = Some(format!(":{m}"));
408
                prev = Some((state_ref, state.heads.clone()));
409
                continue;
410
            }
411
            let prev_heads = prev.as_ref().map(|(_, h)| h.clone()).unwrap_or_default();
412
            let added = self
413
                .negotiate(&prev_heads, &state.heads)
414
                .unwrap_or_default();
415
            let loaded = self.load_state(&state.heads)?;
416
            let snapshot = loaded.materialize();
417
            let (author, secs, mut message) = match added.as_slice() {
418
                [h] => {
419
                    let c = self.store.get_change(h)?;
420
                    let mut m = c.message.clone();
421
                    if !m.ends_with('\n') {
422
                        m.push('\n');
423
                    }
424
                    m.push_str(&format!(
425
                        "\nChange-Id: {}\nOxy-Hash: {}\n",
426
                        c.change_id.to_hex(),
427
                        h.to_hex()
428
                    ));
429
                    (self.git_author(&c), c.hlc.wall_ms / 1000, m)
430
                }
431
                [] => (
432
                    "oxy <oxy@localhost>".to_string(),
433
                    op.hlc.wall_ms / 1000,
434
                    format!("oxy: {}\n\n", op.command),
435
                ),
436
                many => {
437
                    let mut m = format!("oxy: {} ({} changes)\n\n", op.command, many.len());
438
                    for h in many {
439
                        let c = self.store.get_change(h)?;
440
                        m.push_str(&format!(
441
                            "- {} {}\n",
442
                            c.change_id.short(8),
443
                            c.message.lines().next().unwrap_or("")
444
                        ));
445
                    }
446
                    m.push_str(&format!(
447
                        "\nOxy-Changes: {}\n",
448
                        many.iter()
449
                            .map(|h| h.to_hex())
450
                            .collect::<Vec<_>>()
451
                            .join(" ")
452
                    ));
453
                    ("oxy <oxy@localhost>".to_string(), op.hlc.wall_ms / 1000, m)
454
                }
455
            };
456
            message.push_str(&format!("Oxy-State: {}\n", state_ref.to_hex()));
457
            if snapshot.is_conflicted() {
458
                message.push_str("Oxy-Conflicted: true\n");
459
            }
460
            let mark = next_mark;
461
            next_mark += 1;
462
            let parents: Vec<String> = last_parent.clone().into_iter().collect();
463
            self.write_commit(
464
                &mut stream,
465
                "refs/oxy/export",
466
                mark,
467
                &author,
468
                secs,
469
                &message,
470
                &parents,
471
                &snapshot,
472
            )?;
473
            marks.insert(state_ref, mark);
474
            last_parent = Some(format!(":{mark}"));
475
            prev = Some((state_ref, state.heads.clone()));
476
            report.exported += 1;
477
        }
478
        if let Some(p) = &last_parent {
479
            stream.extend_from_slice(format!("reset refs/heads/{branch}\nfrom {p}\n\n").as_bytes());
480
        }
481
        // Tags: a tag whose state was exported as a bookmark state points at
482
        // that commit; otherwise its state gets a commit of its own.
483
        for t in self.tags()? {
484
            let target = match (git_states.get(&t.state), marks.get(&t.state)) {
485
                (Some(sha), _) => sha.clone(),
486
                (None, Some(m)) => format!(":{m}"),
487
                (None, None) => {
488
                    let loaded = self.load_state(&t.heads)?;
489
                    let snapshot = loaded.materialize();
490
                    let mark = next_mark;
491
                    next_mark += 1;
492
                    let message = format!(
493
                        "oxy: tag {}\n\n{}Oxy-State: {}\n",
494
                        t.name,
495
                        if t.message.is_empty() {
496
                            String::new()
497
                        } else {
498
                            format!("{}\n\n", t.message)
499
                        },
500
                        t.state.to_hex()
501
                    );
502
                    self.write_commit(
503
                        &mut stream,
504
                        "refs/oxy/export",
505
                        mark,
506
                        "oxy <oxy@localhost>",
507
                        Hlc::now().wall_ms / 1000,
508
                        &message,
509
                        &[],
510
                        &snapshot,
511
                    )?;
512
                    marks.insert(t.state, mark);
513
                    report.exported += 1;
514
                    format!(":{mark}")
515
                }
516
            };
517
            stream.extend_from_slice(
518
                format!("reset refs/tags/{}\nfrom {target}\n\n", t.name).as_bytes(),
519
            );
520
        }
521
        stream.extend_from_slice(b"done\n");
522
523
        let mut cmd = Command::new("git");
524
        // `--force`: the scratch ref may jump between unrelated states.
525
        cmd.arg("-C")
526
            .arg(git_dir)
527
            .args(["fast-import", "--quiet", "--done", "--force"])
528
            .arg(format!("--export-marks={}", git_marks.display()));
529
        if git_marks.exists() {
530
            cmd.arg(format!("--import-marks={}", git_marks.display()));
531
        }
532
        let mut child = cmd
533
            .stdin(Stdio::piped())
534
            .stdout(Stdio::null())
535
            .stderr(Stdio::piped())
536
            .spawn()
537
            .map_err(|e| RepoError::Msg(format!("running git fast-import: {e}")))?;
538
        child.stdin.take().unwrap().write_all(&stream)?;
539
        let out = child.wait_with_output()?;
540
        if !out.status.success() {
541
            return fail(format!(
542
                "git fast-import failed: {}",
543
                String::from_utf8_lossy(&out.stderr).trim()
544
            ));
545
        }
546
        let text: String = marks
547
            .iter()
548
            .map(|(h, m)| format!("{} {m}\n", h.to_hex()))
549
            .collect();
550
        write_atomic(&oxy_marks_path, text.as_bytes())?;
551
        let _ = git(git_dir, &["update-ref", "-d", "refs/oxy/export"]);
552
        report.skipped_subrepos = self.git_export_skipped.replace(0);
553
        Ok(report)
554
    }
555
556
    /// Import branch `branch` of the Git repository at `git_dir` into this
557
    /// (empty) repository's bookmark (spec §23): one change per commit, its
558
    /// edits the difference between the union of its parents' states and its
559
    /// tree, so merge commits become resolutions. Submodules are skipped.
560
    pub fn import_git(&self, git_dir: &Path, branch: &str) -> Result<GitImportReport> {
561
        if !self.bookmark_heads()?.is_empty() {
562
            return fail("git import needs an empty bookmark; import into a fresh repository");
563
        }
564
        self.import_git_commits(
565
            git_dir,
566
            branch,
567
            &format!("oxy git import {} {branch}", git_dir.display()),
568
        )
569
    }
570
571
    /// Import the commits of `branch` that the bookmark does not have yet,
572
    /// then move the bookmark to the union of its heads and theirs.
573
    fn import_git_commits(
574
        &self,
575
        git_dir: &Path,
576
        branch: &str,
577
        command: &str,
578
    ) -> Result<GitImportReport> {
579
        let batch = self.store.begin_batch()?;
580
        let result = self.import_git_commits_batched(git_dir, branch, command);
581
        batch.finish()?;
582
        result
583
    }
584
585
    fn import_git_commits_batched(
586
        &self,
587
        git_dir: &Path,
588
        branch: &str,
589
        command: &str,
590
    ) -> Result<GitImportReport> {
591
        let commits = list_commits(git_dir, branch)?;
592
        let mut cat = CatFile::start(git_dir)?;
593
        let mut report = GitImportReport::default();
594
        let mut known = self.git_known(git_dir)?;
595
        let old_heads = self.bookmark_heads()?;
596
        // The bookmark's heads as changes arrive: a change stops being a
597
        // head when another depends on it, so no full state of every
598
        // imported change is needed at the end.
599
        let mut heads_now: BTreeSet<ChangeHash> = old_heads.iter().copied().collect();
600
        // The state and Git tree of imported commits whose first-parent
601
        // children are still to come, so a child starts from its parent's
602
        // state instead of rebuilding it from history. The last child takes
603
        // it; earlier ones clone it. At most `max_kept` are kept (a later
604
        // child of an evicted one rebuilds).
605
        // OXY_IMPORT_KEEP overrides it, for measuring.
606
        let max_kept: usize = std::env::var("OXY_IMPORT_KEEP")
607
            .ok()
608
            .and_then(|v| v.parse().ok())
609
            .unwrap_or(8);
610
        let mut waiting: HashMap<&str, usize> = HashMap::new();
611
        for gc in &commits {
612
            if let Some(p1) = gc.parents.first() {
613
                *waiting.entry(p1.as_str()).or_default() += 1;
614
            }
615
        }
616
        type Kept = (State, BTreeMap<String, (String, String)>);
617
        let mut kept: HashMap<String, Kept> = HashMap::new();
618
        let mut kept_order: std::collections::VecDeque<String> = std::collections::VecDeque::new();
619
        let mut last: Option<String> = None;
620
        let mut blob_cache: HashMap<String, Vec<u8>> = HashMap::new();
621
        let mut cache_bytes: usize = 0;
622
        // Time spent per phase over all commits (`OXY_TIMINGS=1`).
623
        let mut spent = [std::time::Duration::ZERO; 6];
624
        let mut clock = std::time::Instant::now();
625
        let mut lap = |i: usize, clock: &mut std::time::Instant| {
626
            let now = std::time::Instant::now();
627
            spent[i] += now - *clock;
628
            *clock = now;
629
        };
630
631
        for gc in &commits {
632
            if known.imported.contains_key(&gc.sha) || known.exported.contains_key(&gc.sha) {
633
                continue;
634
            }
635
            // Base: union of every parent's state, starting from the first
636
            // parent's kept state when there is one; its tree tells which
637
            // paths this commit leaves alone.
638
            let (mut base, prev_tree) = match gc.parents.first() {
639
                Some(p1) => {
640
                    let left = waiting.get_mut(p1.as_str()).map(|n| {
641
                        *n -= 1;
642
                        *n
643
                    });
644
                    let found = if left == Some(0) {
645
                        kept_order.retain(|k| k != p1);
646
                        kept.remove(p1.as_str())
647
                    } else {
648
                        kept.get(p1.as_str()).cloned()
649
                    };
650
                    match found {
651
                        Some((st, tree)) => (st, Some(tree)),
652
                        None => {
653
                            let mut st = State::new();
654
                            self.add_git_ancestors(&mut st, git_dir, &[p1.as_str()], &known)?;
655
                            (st, None)
656
                        }
657
                    }
658
                }
659
                None => (State::new(), None),
660
            };
661
            // Nodes the other parents' changes touch: the first parent's
662
            // tree cannot vouch for them.
663
            let mut touched: HashSet<NodeId> = HashSet::new();
664
            if gc.parents.len() > 1 {
665
                report.merges += 1;
666
                let mut args: Vec<String> = gc.parents[1..].to_vec();
667
                args.push(format!("^{}", gc.parents[0]));
668
                let refs: Vec<&str> = args.iter().map(String::as_str).collect();
669
                self.add_git_ancestors_touching(&mut base, git_dir, &refs, &known, &mut touched)?;
670
            }
671
            lap(0, &mut clock);
672
            let tree = list_tree(git_dir, &gc.sha)?;
673
            lap(1, &mut clock);
674
            // Text files with the same blob and mode as in the first
675
            // parent's tree equal the base's rendering: they are neither
676
            // rendered nor read nor compared (spec §12.3, as for a clean
677
            // working copy), so a commit costs what it changes.
678
            let mut same: HashMap<&str, NodeId> = HashMap::new();
679
            if let Some(prev) = &prev_tree {
680
                let view = base.tree().view();
681
                for (path, v) in &tree {
682
                    // Submodule handling reads these two whatever changed.
683
                    if prev.get(path) != Some(v) || path == ".gitmodules" || path == ".oxymodules" {
684
                        continue;
685
                    }
686
                    if let Some(e) = view.entries.get(path) {
687
                        if e.kind == NodeKind::File && !e.mode.opaque && !touched.contains(&e.node)
688
                        {
689
                            same.insert(path.as_str(), e.node);
690
                        }
691
                    }
692
                }
693
            }
694
            let base_snapshot = if same.is_empty() {
695
                base.materialize()
696
            } else {
697
                base.materialize_except(&same.values().copied().collect())
698
            };
699
700
            lap(2, &mut clock);
701
            // The commit's tree as in-memory entries.
702
            let mut entries: BTreeMap<String, FsEntry> = BTreeMap::new();
703
            let mut gitlinks: Vec<(String, String)> = Vec::new();
704
            for (path, (mode, sha)) in &tree {
705
                let (path, sha) = (path.clone(), sha.clone());
706
                let (kind, exec) = match mode.as_str() {
707
                    "100644" | "100664" => (NodeKind::File, false),
708
                    "100755" => (NodeKind::File, true),
709
                    "120000" => (NodeKind::Symlink, false),
710
                    "160000" => {
711
                        gitlinks.push((path, sha));
712
                        continue;
713
                    }
714
                    _ => continue,
715
                };
716
                if same.contains_key(path.as_str()) {
717
                    let mut e = FsEntry::new(kind, exec, Vec::new());
718
                    e.unchanged = true;
719
                    entries.insert(path, e);
720
                    continue;
721
                }
722
                let content = match blob_cache.get(&sha) {
723
                    Some(c) => c.clone(),
724
                    None => {
725
                        let c = cat.read(&sha)?;
726
                        if cache_bytes + c.len() > 64 * 1024 * 1024 {
727
                            blob_cache.clear();
728
                            cache_bytes = 0;
729
                        }
730
                        cache_bytes += c.len();
731
                        blob_cache.insert(sha.clone(), c.clone());
732
                        c
733
                    }
734
                };
735
                entries.insert(path, FsEntry::new(kind, exec, content));
736
            }
737
738
            // Submodules (spec §23): gitlinks become subrepo nodes with Git
739
            // pins, and `.gitmodules` also yields `.oxymodules`.
740
            if !gitlinks.is_empty() {
741
                report.submodules += gitlinks.len();
742
                let gm = entries
743
                    .get(".gitmodules")
744
                    .map(|e| {
745
                        crate::subrepo::Modules::from_gitmodules(&String::from_utf8_lossy(
746
                            &e.content,
747
                        ))
748
                    })
749
                    .unwrap_or_default();
750
                let mut modules = entries
751
                    .get(".oxymodules")
752
                    .map(|e| crate::subrepo::Modules::parse(&String::from_utf8_lossy(&e.content)))
753
                    .unwrap_or_default();
754
                for (path, sha) in &gitlinks {
755
                    let m = gm.entries.get(path);
756
                    let branch = m
757
                        .and_then(|m| m.bookmark.clone())
758
                        .unwrap_or_else(|| "HEAD".into());
759
                    entries.insert(
760
                        path.clone(),
761
                        FsEntry::new(
762
                            NodeKind::Subrepo,
763
                            false,
764
                            crate::subrepo::Pin::Git {
765
                                sha: sha.clone(),
766
                                branch,
767
                            }
768
                            .encode(),
769
                        ),
770
                    );
771
                    if let Some(m) = m {
772
                        modules.entries.insert(path.clone(), m.clone());
773
                    }
774
                }
775
                if !modules.entries.is_empty() {
776
                    entries.insert(
777
                        ".oxymodules".into(),
778
                        FsEntry::new(NodeKind::File, false, modules.to_text().into_bytes()),
779
                    );
780
                }
781
            }
782
            lap(3, &mut clock);
783
            // New nodes' identifiers derive from the commit, so importing the
784
            // same Git history twice gives the same changes (spec §23).
785
            let seed = *blake3::hash(format!("oxy git import\0{}", gc.sha).as_bytes()).as_bytes();
786
            let mut built =
787
                self.build_from_entries_seeded(&base, &base_snapshot, &entries, seed)?;
788
            lap(4, &mut clock);
789
            // A file or submodule with several live blobs (branches that
790
            // replaced it independently) is resolved to the commit's blob:
791
            // Git's merge is the authority here, unlike a working copy,
792
            // where a candidate on disk is not yet a decision (spec §23).
793
            for (path, f) in &base_snapshot.files {
794
                let (FileContent::Opaque { blobs }, Some(e)) = (&f.content, entries.get(path))
795
                else {
796
                    continue;
797
                };
798
                if blobs.len() < 2 || f.kind != e.kind {
799
                    continue;
800
                }
801
                let chosen = self.store_blob(&e.content)?;
802
                for b in blobs {
803
                    built.edits.push(Edit::Replace {
804
                        node: f.node,
805
                        old: Some(*b),
806
                        new: Some(chosen),
807
                    });
808
                }
809
                built.resolves = true;
810
                built
811
                    .contributors
812
                    .extend(base.live_replaces(&f.node).into_iter().map(|(c, _)| c));
813
            }
814
            let mut deps: BTreeSet<ChangeHash> = built.contributors.iter().copied().collect();
815
            let mut message = gc.message.clone();
816
            if !message.ends_with('\n') {
817
                message.push('\n');
818
            }
819
            message.push_str(&format!(
820
                "\nGit-Commit: {}\nGit-Author: {}\n",
821
                gc.sha, gc.author
822
            ));
823
            let mut change = Change {
824
                version: crate::objects::CHANGE_VERSION,
825
                change_id: change_id_for(&gc.sha, &gc.message),
826
                deps: vec![],
827
                author: ObjectRef::ZERO,
828
                hlc: Hlc {
829
                    wall_ms: gc.author_secs * 1000,
830
                    logical: 0,
831
                },
832
                message,
833
                tree_ops: built.tree_ops,
834
                edits: built.edits,
835
                kind: if built.resolves {
836
                    ChangeKind::Resolution
837
                } else {
838
                    ChangeKind::Normal
839
                },
840
            };
841
            deps.extend(referenced_changes(&change, &base));
842
            change.deps = deps.into_iter().collect();
843
            change.normalize();
844
            let hash = self.store.put_change(&change)?;
845
            for d in &change.deps {
846
                heads_now.remove(d);
847
            }
848
            heads_now.insert(hash);
849
            base.add_unchecked(change);
850
            known.imported.insert(gc.sha.clone(), hash);
851
            if waiting.get(gc.sha.as_str()).is_some_and(|n| *n > 0) {
852
                kept.insert(gc.sha.clone(), (base, tree));
853
                kept_order.push_back(gc.sha.clone());
854
                if kept_order.len() > max_kept {
855
                    if let Some(old) = kept_order.pop_front() {
856
                        kept.remove(&old);
857
                    }
858
                }
859
            }
860
            last = Some(gc.sha.clone());
861
            report.commits += 1;
862
            lap(5, &mut clock);
863
        }
864
        for (name, d) in [
865
            "git import: bases",
866
            "git import: ls-tree",
867
            "git import: render base",
868
            "git import: read blobs",
869
            "git import: build change",
870
            "git import: store change",
871
        ]
872
        .iter()
873
        .zip(spent)
874
        {
875
            crate::timing::record(name, d);
876
        }
877
878
        // The bookmark: heads of the old state plus every new change.
879
        report.heads = old_heads.len();
880
        if last.is_none() {
881
            return Ok(report);
882
        }
883
        let heads: Vec<ChangeHash> = heads_now.into_iter().collect();
884
        report.heads = heads.len();
885
        let (op_ref, op) = self.head_op()?;
886
        let mut view = op.view.clone();
887
        let old_state_ref = view.bookmarks.get(&self.config.bookmark).copied();
888
        let state_ref = self.store.put_state(&StateObject::new(heads.clone()))?;
889
        view.bookmarks
890
            .insert(self.config.bookmark.clone(), state_ref);
891
        self.record_op(&[op_ref], command, view)?;
892
        // The new state equals the tip's tree when the old one was itself a
893
        // Git commit's tree (fetched or exported), or there was none.
894
        let old_known = old_heads.is_empty()
895
            || old_state_ref.is_some_and(|s| known.exported.values().any(|e| *e == s));
896
        if let (Some(tip), true) = (commits.last(), old_known) {
897
            self.record_git_state(git_dir, &state_ref, &tip.sha)?;
898
        }
899
        // The working copy follows when it was clean on the old heads.
900
        if old_heads.is_empty() {
901
            self.checkout(&heads, true, &format!("{command} (checkout)"))?;
902
        } else {
903
            let snap = self.snapshot(command)?;
904
            let clean = snap.wc.tree_ops.is_empty() && snap.wc.edits.is_empty();
905
            let mut base = snap.base.maximal(&snap.wc.deps);
906
            base.sort();
907
            let mut sorted_old = old_heads.clone();
908
            sorted_old.sort();
909
            if clean && base == sorted_old {
910
                self.checkout(&heads, false, &format!("{command} (checkout)"))?;
911
            }
912
        }
913
        Ok(report)
914
    }
915
916
    /// Add to `st` the changes of every Git commit `rev-list args` lists:
917
    /// an imported commit's change, or the whole state an exported commit
918
    /// was made from (which may hold changes Git never saw).
919
    fn add_git_ancestors(
920
        &self,
921
        st: &mut State,
922
        git_dir: &Path,
923
        args: &[&str],
924
        known: &GitKnown,
925
    ) -> Result<()> {
926
        self.add_git_ancestors_touching(st, git_dir, args, known, &mut HashSet::new())
927
    }
928
929
    /// `add_git_ancestors`, also collecting in `touched` every node the
930
    /// changes it adds edit, place or remove.
931
    fn add_git_ancestors_touching(
932
        &self,
933
        st: &mut State,
934
        git_dir: &Path,
935
        args: &[&str],
936
        known: &GitKnown,
937
        touched: &mut HashSet<NodeId>,
938
    ) -> Result<()> {
939
        let mut full = vec!["rev-list"];
940
        full.extend(args);
941
        let out = git(git_dir, &full)?;
942
        let mut add = |st: &mut State, h: &ChangeHash| -> Result<()> {
943
            if st.contains(h) {
944
                return Ok(());
945
            }
946
            let c = self.store.get_change(h)?;
947
            touched.extend(c.edits.iter().map(|e| e.node()));
948
            touched.extend(c.tree_ops.iter().map(|o| o.node()));
949
            st.add_unchecked(c);
950
            Ok(())
951
        };
952
        for sha in out.lines() {
953
            if let Some(h) = known.imported.get(sha) {
954
                add(st, h)?;
955
            } else if let Some(state_ref) = known.exported.get(sha) {
956
                let heads = self.store.get_state(state_ref)?.heads;
957
                for h in self.negotiate(&[], &heads)? {
958
                    add(st, &h)?;
959
                }
960
            }
961
        }
962
        Ok(())
963
    }
964
965
    /// Commits this repository can relate to Oxygen history: imported
966
    /// ones by change, exported ones (through `git_dir`'s marks) by state.
967
    fn git_known(&self, git_dir: &Path) -> Result<GitKnown> {
968
        let imported = self.imported_commits()?;
969
        let marks_dir = self.git_marks_dir(git_dir)?;
970
        let oxy_marks = Self::read_oxy_marks(&marks_dir.join("oxy-marks"))?;
971
        let mut sha_of_mark: HashMap<u64, String> = HashMap::new();
972
        if let Ok(text) = fs::read_to_string(marks_dir.join("git-marks")) {
973
            for line in text.lines() {
974
                if let Some((m, sha)) = line.split_once(' ') {
975
                    if let Ok(m) = m.trim_start_matches(':').parse::<u64>() {
976
                        sha_of_mark.insert(m, sha.trim().to_string());
977
                    }
978
                }
979
            }
980
        }
981
        let mut exported = HashMap::new();
982
        for (state_ref, m) in oxy_marks {
983
            if let Some(sha) = sha_of_mark.get(&m) {
984
                exported.insert(sha.clone(), state_ref);
985
            }
986
        }
987
        for (state_ref, sha) in Self::read_git_states(&marks_dir.join("git-states"))? {
988
            exported.entry(sha).or_insert(state_ref);
989
        }
990
        Ok(GitKnown { imported, exported })
991
    }
992
993
    fn git_author(&self, c: &Change) -> String {
994
        match self.store.get_identity(&c.author) {
995
            Ok(id) if !id.name.is_empty() => format!(
996
                "{} <{}>",
997
                id.name.replace(['<', '>', '\n'], " "),
998
                id.email.replace(['<', '>', '\n', ' '], "")
999
            ),
1000
            _ => "oxy <oxy@localhost>".to_string(),
1001
        }
1002
    }
1003
1004
    #[allow(clippy::too_many_arguments)]
1005
    fn write_commit(
1006
        &self,
1007
        out: &mut Vec<u8>,
1008
        reference: &str,
1009
        mark: u64,
1010
        author: &str,
1011
        secs: u64,
1012
        message: &str,
1013
        parents: &[String],
1014
        snapshot: &Snapshot,
1015
    ) -> Result<()> {
1016
        out.extend_from_slice(format!("commit {reference}\nmark :{mark}\nauthor {author} {secs} +0000\ncommitter {author} {secs} +0000\ndata {}\n{message}\n", message.len()).as_bytes());
1017
        for (i, p) in parents.iter().enumerate() {
1018
            out.extend_from_slice(
1019
                format!("{} {p}\n", if i == 0 { "from" } else { "merge" }).as_bytes(),
1020
            );
1021
        }
1022
        out.extend_from_slice(b"deleteall\n");
1023
        let has_gitmodules = snapshot.files.contains_key(".gitmodules");
1024
        for (path, f) in &snapshot.files {
1025
            if path == ".oxymodules" {
1026
                // Git reads `.gitmodules`; derive it unless the tree has one.
1027
                if !has_gitmodules {
1028
                    if let FileContent::Text { bytes, .. } = &f.content {
1029
                        let gm = crate::subrepo::Modules::parse(&String::from_utf8_lossy(bytes))
1030
                            .to_gitmodules();
1031
                        if !gm.is_empty() {
1032
                            out.extend_from_slice(
1033
                                format!("M 100644 inline .gitmodules\ndata {}\n", gm.len())
1034
                                    .as_bytes(),
1035
                            );
1036
                            out.extend_from_slice(gm.as_bytes());
1037
                            out.push(b'\n');
1038
                        }
1039
                    }
1040
                }
1041
                continue;
1042
            }
1043
            if f.kind == NodeKind::Subrepo {
1044
                if let FileContent::Opaque { blobs } = &f.content {
1045
                    if let Some(b) = blobs.first() {
1046
                        match crate::subrepo::Pin::decode(&self.read_blob(b)?)? {
1047
                            crate::subrepo::Pin::Git { sha, .. } => {
1048
                                out.extend_from_slice(format!("M 160000 {sha} {path}\n").as_bytes())
1049
                            }
1050
                            crate::subrepo::Pin::Oxy { .. } => self
1051
                                .git_export_skipped
1052
                                .set(self.git_export_skipped.get() + 1),
1053
                        }
1054
                    }
1055
                }
1056
                continue;
1057
            }
1058
            let (mode, bytes): (&str, Vec<u8>) = match (&f.kind, &f.content) {
1059
                (NodeKind::Dir, _) => continue,
1060
                (NodeKind::Symlink, FileContent::Opaque { blobs }) => (
1061
                    "120000",
1062
                    blobs
1063
                        .first()
1064
                        .map(|b| self.read_blob(b))
1065
                        .transpose()?
1066
                        .unwrap_or_default(),
1067
                ),
1068
                (_, FileContent::Text { bytes, .. }) => {
1069
                    (if f.mode.exec { "100755" } else { "100644" }, bytes.clone())
1070
                }
1071
                (_, FileContent::Opaque { blobs }) => (
1072
                    if f.mode.exec { "100755" } else { "100644" },
1073
                    blobs
1074
                        .first()
1075
                        .map(|b| self.read_blob(b))
1076
                        .transpose()?
1077
                        .unwrap_or_default(),
1078
                ),
1079
                (_, FileContent::Dir) => continue,
1080
            };
1081
            out.extend_from_slice(
1082
                format!("M {mode} inline {path}\ndata {}\n", bytes.len()).as_bytes(),
1083
            );
1084
            out.extend_from_slice(&bytes);
1085
            out.push(b'\n');
1086
        }
1087
        out.push(b'\n');
1088
        Ok(())
1089
    }
1090
}
1091
1092
/// What `verify_git_import` found (spec §23: import must reproduce every tree).
1093
#[derive(Debug, Clone, Default, PartialEq, Eq)]
1094
pub struct GitVerifyReport {
1095
    pub commits: usize,
1096
    pub files_compared: usize,
1097
    /// `(commit, what differs)`; empty when every commit's tree is reproduced.
1098
    pub mismatches: Vec<(String, String)>,
1099
}
1100
1101
impl Repo {
1102
    /// Check an import against its Git source: for every commit of
1103
    /// `branch`, the state formed by the changes imported for it and all
1104
    /// its ancestors must materialize to exactly that commit's tree, byte
1105
    /// for byte, with the same executable bits, symlink targets and
1106
    /// submodule pins. Reads only; stops listing after 50 differences.
1107
    pub fn verify_git_import(&self, git_dir: &Path, branch: &str) -> Result<GitVerifyReport> {
1108
        let commits = list_commits(git_dir, branch)?;
1109
        let imported = self.imported_commits()?;
1110
        let mut cat = CatFile::start(git_dir)?;
1111
        let mut rep = GitVerifyReport::default();
1112
        // Changes of each commit and all its ancestors, built up in topological order.
1113
        let mut closure: HashMap<String, Arc<BTreeSet<ChangeHash>>> = HashMap::new();
1114
        for c in &commits {
1115
            rep.commits += 1;
1116
            let mut set: BTreeSet<ChangeHash> = BTreeSet::new();
1117
            for p in &c.parents {
1118
                if let Some(ps) = closure.get(p) {
1119
                    set.extend(ps.iter().copied());
1120
                }
1121
            }
1122
            match imported.get(&c.sha) {
1123
                Some(h) => {
1124
                    set.insert(*h);
1125
                }
1126
                None => {
1127
                    rep.mismatches.push((
1128
                        c.sha.clone(),
1129
                        "no imported change carries this commit".into(),
1130
                    ));
1131
                }
1132
            }
1133
            let set = Arc::new(set);
1134
            closure.insert(c.sha.clone(), set.clone());
1135
            if rep.mismatches.len() >= 50 {
1136
                break;
1137
            }
1138
            let heads: Vec<ChangeHash> = set.iter().copied().collect();
1139
            let state = self.load_state(&heads)?;
1140
            let snap = state.materialize();
1141
            let tree = list_tree(git_dir, &c.sha)?;
1142
            let short = &c.sha[..12.min(c.sha.len())];
1143
            let mut differ = |what: String| rep.mismatches.push((c.sha.clone(), what));
1144
            if snap.is_conflicted() {
1145
                // Name the changes behind each conflicted file, by their Git commits.
1146
                let mut detail = Vec::new();
1147
                for (path, f) in &snap.files {
1148
                    if !f.is_conflicted() {
1149
                        continue;
1150
                    }
1151
                    let who: Vec<String> = state
1152
                        .conflict_regions(&f.node)
1153
                        .contributors
1154
                        .iter()
1155
                        .filter_map(|h| state.get(h))
1156
                        .map(|m| {
1157
                            let sha = m
1158
                                .message
1159
                                .lines()
1160
                                .rev()
1161
                                .find_map(|l| l.strip_prefix("Git-Commit: "))
1162
                                .unwrap_or("?");
1163
                            format!(
1164
                                "{} {:?}",
1165
                                &sha[..12.min(sha.len())],
1166
                                m.message.lines().next().unwrap_or("")
1167
                            )
1168
                        })
1169
                        .collect();
1170
                    detail.push(format!("{path} between {}", who.join(" and ")));
1171
                }
1172
                differ(format!(
1173
                    "{short}: the state is conflicted: {}",
1174
                    detail.join("; ")
1175
                ));
1176
            }
1177
            for (path, (mode, sha)) in &tree {
1178
                let Some(f) = snap.files.get(path) else {
1179
                    differ(format!("{short}: {path} is missing"));
1180
                    continue;
1181
                };
1182
                rep.files_compared += 1;
1183
                match mode.as_str() {
1184
                    "160000" => match (&f.kind, &f.content) {
1185
                        (NodeKind::Subrepo, FileContent::Opaque { blobs }) if blobs.len() == 1 => {
1186
                            let pin = crate::subrepo::Pin::decode(&self.read_blob(&blobs[0])?)?;
1187
                            if !matches!(&pin, crate::subrepo::Pin::Git { sha: s, .. } if s == sha)
1188
                            {
1189
                                differ(format!("{short}: {path} pins another commit"));
1190
                            }
1191
                        }
1192
                        (kind, content) => differ(format!(
1193
                            "{short}: {path} is not one submodule pin: {kind:?} with {}",
1194
                            match content {
1195
                                FileContent::Opaque { blobs } => format!("{} pins", blobs.len()),
1196
                                FileContent::Text { .. } => "text".into(),
1197
                                FileContent::Dir => "a directory".into(),
1198
                            }
1199
                        )),
1200
                    },
1201
                    "120000" => {
1202
                        let target = cat.read(sha)?;
1203
                        match (&f.kind, &f.content) {
1204
                            (NodeKind::Symlink, FileContent::Opaque { blobs })
1205
                                if blobs.len() == 1 && self.read_blob(&blobs[0])? == target => {}
1206
                            _ => differ(format!("{short}: symlink {path} differs")),
1207
                        }
1208
                    }
1209
                    _ => {
1210
                        let want = cat.read(sha)?;
1211
                        let have = match &f.content {
1212
                            FileContent::Text { bytes, .. } => bytes.clone(),
1213
                            FileContent::Opaque { blobs } if blobs.len() == 1 => {
1214
                                self.read_blob(&blobs[0])?
1215
                            }
1216
                            _ => {
1217
                                differ(format!("{short}: {path} is not one file"));
1218
                                continue;
1219
                            }
1220
                        };
1221
                        if have != want {
1222
                            differ(format!(
1223
                                "{short}: {path} differs: {}",
1224
                                first_difference(&have, &want)
1225
                            ));
1226
                        }
1227
                        if f.mode.exec != (mode == "100755") {
1228
                            differ(format!("{short}: {path} executable bit differs"));
1229
                        }
1230
                    }
1231
                }
1232
            }
1233
            // Import records submodules in `.oxymodules` as well (spec §23),
1234
            // and export leaves it out again.
1235
            let has_submodules = tree.values().any(|(m, _)| m == "160000");
1236
            for (path, f) in &snap.files {
1237
                if f.kind != NodeKind::Dir
1238
                    && !tree.contains_key(path)
1239
                    && !(has_submodules && path == ".oxymodules")
1240
                {
1241
                    differ(format!("{short}: {path} is extra"));
1242
                }
1243
            }
1244
            if rep.mismatches.len() >= 50 {
1245
                break;
1246
            }
1247
        }
1248
        Ok(rep)
1249
    }
1250
}
1251
1252
/// Where two versions of a file first part, for a verification report.
1253
fn first_difference(have: &[u8], want: &[u8]) -> String {
1254
    let (h, w): (Vec<&[u8]>, Vec<&[u8]>) = (
1255
        have.split(|b| *b == b'\n').collect(),
1256
        want.split(|b| *b == b'\n').collect(),
1257
    );
1258
    let i = h
1259
        .iter()
1260
        .zip(&w)
1261
        .position(|(a, b)| a != b)
1262
        .unwrap_or(h.len().min(w.len()));
1263
    let show = |l: Option<&&[u8]>| {
1264
        l.map(|l| String::from_utf8_lossy(&l[..l.len().min(60)]).into_owned())
1265
            .unwrap_or_else(|| "(end)".into())
1266
    };
1267
    format!(
1268
        "line {}: has {:?}, Git has {:?} ({} lines, Git has {})",
1269
        i + 1,
1270
        show(h.get(i)),
1271
        show(w.get(i)),
1272
        h.len(),
1273
        w.len()
1274
    )
1275
}