OXYGENHUB
# 64dc5197f9df oxygen / tests / cli_json.rs
28.5 KiB · Rust · last changed A subrepo put back after its removal is pinned in the change that registers it; oxy identity create needs no repository (closes #152, closes #144) 7 days ago source blame history raw
1
//! Every `--json` output of the CLI parses as JSON and carries the fields
2
//! the VS Code extension relies on (oxygen-vscode/docs/spec.md section 4).
3
4
use serde_json::Value;
5
use std::path::Path;
6
use std::process::Command;
7
8
fn oxy(dir: &Path, home: &Path, args: &[&str]) -> (i32, Vec<u8>, String) {
9
    let out = Command::new(env!("CARGO_BIN_EXE_oxy"))
10
        .arg("--plain")
11
        .args(args)
12
        .current_dir(dir)
13
        .env("OXY_HOME", home)
14
        .env("NO_COLOR", "1")
15
        .output()
16
        .unwrap();
17
    (
18
        out.status.code().unwrap_or(-1),
19
        out.stdout,
20
        String::from_utf8_lossy(&out.stderr).to_string(),
21
    )
22
}
23
24
fn json(dir: &Path, home: &Path, args: &[&str]) -> Value {
25
    let (code, out, err) = oxy(dir, home, args);
26
    assert!(
27
        code == 0 || code == 2 || code == 1,
28
        "oxy {args:?} exited {code}: {err}"
29
    );
30
    serde_json::from_slice(&out).unwrap_or_else(|e| {
31
        panic!(
32
            "oxy {args:?} is not JSON: {e}\n{}",
33
            String::from_utf8_lossy(&out)
34
        )
35
    })
36
}
37
38
fn write(dir: &Path, rel: &str, content: &str) {
39
    let p = dir.join(rel);
40
    std::fs::create_dir_all(p.parent().unwrap()).unwrap();
41
    std::fs::write(p, content).unwrap();
42
}
43
44
#[test]
45
fn machine_interface_round_trips() {
46
    let tmp = tempfile::tempdir().unwrap();
47
    let home = tmp.path().join("home");
48
    std::fs::create_dir_all(&home).unwrap();
49
    let origin = tmp.path().join("origin");
50
    assert_eq!(
51
        oxy(tmp.path(), &home, &["init", origin.to_str().unwrap()]).0,
52
        0
53
    );
54
    let repo = tmp.path().join("repo");
55
    assert_eq!(
56
        oxy(
57
            tmp.path(),
58
            &home,
59
            &["clone", origin.to_str().unwrap(), repo.to_str().unwrap()]
60
        )
61
        .0,
62
        0
63
    );
64
    let r = repo.as_path();
65
    assert_eq!(
66
        oxy(
67
            r,
68
            &home,
69
            &[
70
                "identity",
71
                "create",
72
                "--name",
73
                "Ada",
74
                "--email",
75
                "[email protected]"
76
            ]
77
        )
78
        .0,
79
        0
80
    );
81
    assert_eq!(
82
        oxy(r, &home, &["config", "--user", "core.sign", "change"]).0,
83
        0
84
    );
85
86
    let v = json(r, &home, &["version", "--json"]);
87
    assert_eq!(v["protocol"], 1);
88
    let root = json(r, &home, &["root", "--json"]);
89
    assert_eq!(root["bookmark"], "main");
90
    assert!(root["root"].as_str().unwrap().ends_with("repo"));
91
92
    write(r, "a.txt", "1\n2\n3\n");
93
    write(r, "b.txt", "b\n");
94
    let st = json(r, &home, &["status", "--json"]);
95
    assert_eq!(st["paths"].as_array().unwrap().len(), 2);
96
    assert_eq!(oxy(r, &home, &["commit", "-m", "base"]).0, 0);
97
    write(r, "a.txt", "0\n1\n2\n3\n");
98
    write(r, "b.txt", "b\nbb\n");
99
    write(r, "c.txt", "c\n");
100
101
    // diff and hunks agree on the working copy.
102
    let d = json(r, &home, &["diff", "--json"]);
103
    let files = d["files"].as_array().unwrap();
104
    assert_eq!(files.len(), 3, "{d}");
105
    let a = files.iter().find(|f| f["path"] == "a.txt").unwrap();
106
    assert_eq!(a["kind"], "modified");
107
    assert_eq!(a["hunks"][0]["base_line"], 0);
108
    assert_eq!(a["hunks"][0]["added"][0], "0\n");
109
    let c = files.iter().find(|f| f["path"] == "c.txt").unwrap();
110
    assert_eq!(c["kind"], "added");
111
    let hunks = json(r, &home, &["hunks", "--json"]);
112
    let hunks = hunks.as_array().unwrap();
113
    assert!(hunks.len() >= 3, "{hunks:?}");
114
    let b_hunk = hunks.iter().find(|h| h["path"] == "b.txt").unwrap()["index"]
115
        .as_u64()
116
        .unwrap();
117
    // Commit only b's hunk; discard c by path; then discard a's remaining hunk.
118
    assert_eq!(
119
        oxy(
120
            r,
121
            &home,
122
            &["commit", "-m", "b only", "--hunks", &b_hunk.to_string()]
123
        )
124
        .0,
125
        0
126
    );
127
    assert_eq!(oxy(r, &home, &["discard", "c.txt"]).0, 0);
128
    assert!(!r.join("c.txt").exists());
129
    let hunks = json(r, &home, &["hunks", "--json"]);
130
    let a_hunk = hunks
131
        .as_array()
132
        .unwrap()
133
        .iter()
134
        .find(|h| h["path"] == "a.txt")
135
        .unwrap()["index"]
136
        .as_u64()
137
        .unwrap();
138
    assert_eq!(
139
        oxy(r, &home, &["discard", "--hunks", &a_hunk.to_string()]).0,
140
        0
141
    );
142
    assert_eq!(
143
        std::fs::read_to_string(r.join("a.txt")).unwrap(),
144
        "1\n2\n3\n"
145
    );
146
    let st = json(r, &home, &["status", "--json"]);
147
    assert_eq!(st["clean"], true, "{st}");
148
149
    // cat serves file content at states.
150
    let (code, out, _) = oxy(r, &home, &["cat", "b.txt"]);
151
    assert_eq!((code, out.as_slice()), (0, b"b\nbb\n".as_slice()));
152
    let (code, out, _) = oxy(r, &home, &["cat", "b.txt", "-r", "main"]);
153
    assert_eq!((code, out.as_slice()), (0, b"b\nbb\n".as_slice()));
154
155
    // log, show, verify, op log, bookmarks, remotes, sync.
156
    let log = json(r, &home, &["log", "--json"]);
157
    let changes = log["changes"].as_array().unwrap();
158
    assert_eq!(changes.len(), 3, "working copy plus two changes: {log}");
159
    let head = changes.iter().find(|c| c["message"] == "b only").unwrap();
160
    assert_eq!(head["signature"]["status"], "signed");
161
    assert_eq!(head["author"], "Ada");
162
    let hash = head["hash"].as_str().unwrap().to_string();
163
    let by_path = json(r, &home, &["log", "--json", "--path", "b.txt"]);
164
    assert_eq!(by_path["changes"].as_array().unwrap().len(), 2, "{by_path}");
165
    let show = json(r, &home, &["show", "--json", &format!("#{}", &hash[..12])]);
166
    assert_eq!(show["files"][0]["path"], "b.txt");
167
    // oxygen#119: lines added and removed per file, and --stat.
168
    assert!(show["files"][0]["added"].as_u64().unwrap() >= 1, "{show}");
169
    let (code, out, _) = oxy(r, &home, &["show", "--stat", &format!("#{}", &hash[..12])]);
170
    let out = String::from_utf8_lossy(&out);
171
    assert!(
172
        code == 0 && out.contains("b.txt") && out.contains("1 file changed"),
173
        "{out}"
174
    );
175
    assert!(!out.contains("@@"), "the files, not the diff: {out}");
176
    let verify = json(r, &home, &["verify", "--json"]);
177
    assert!(verify
178
        .as_array()
179
        .unwrap()
180
        .iter()
181
        .all(|v| v["status"] == "signed"));
182
    let ops = json(r, &home, &["op", "log", "--json"]);
183
    assert!(ops[0]["current"] == true && ops.as_array().unwrap().len() > 3);
184
    assert_eq!(oxy(r, &home, &["bookmark", "create", "feature"]).0, 0);
185
    let bms = json(r, &home, &["bookmark", "list", "--json"]);
186
    assert_eq!(
187
        bms.as_array()
188
            .unwrap()
189
            .iter()
190
            .map(|b| b["name"].as_str().unwrap())
191
            .collect::<Vec<_>>(),
192
        vec!["feature", "main"]
193
    );
194
    let remotes = json(r, &home, &["remote", "list", "--json"]);
195
    assert_eq!(remotes[0]["name"], "origin");
196
    let push = json(r, &home, &["push", "--json"]);
197
    assert_eq!(push[0]["ok"], true, "{push}");
198
    let fetch = json(r, &home, &["fetch", "--json"]);
199
    assert_eq!(fetch["remote"], "origin");
200
    let pull = json(r, &home, &["pull", "--json"]);
201
    assert_eq!(pull["changed"], false);
202
    assert_eq!(json(r, &home, &["resolve", "--json"])["conflicted"], false);
203
    assert!(json(r, &home, &["submodule", "status", "--json"])
204
        .as_array()
205
        .unwrap()
206
        .is_empty());
207
    assert!(json(r, &home, &["bisect", "status", "--json"]).is_null());
208
    assert!(json(r, &home, &["policy", "show", "--json"]).is_null());
209
    assert_eq!(oxy(r, &home, &["policy", "init"]).0, 0);
210
    let policy = json(r, &home, &["policy", "show", "--json"]);
211
    assert_eq!(policy["roots"][0]["name"], "Ada");
212
    // Keyless (oxygenhub#241): a hub's certified subject may sign too.
213
    let hub =
214
        oxy_core::identity::SecretKey::generate().identity("oxygenhub.io", "[email protected]", 1);
215
    let hub_file = r.join("hub.identity");
216
    std::fs::write(&hub_file, hub.encode()).unwrap();
217
    let grant = [
218
        "policy",
219
        "grant-subject",
220
        "repo:ada/demo:bookmark:main",
221
        "--issuer",
222
        hub_file.to_str().unwrap(),
223
        "--scope",
224
        "refs",
225
    ];
226
    assert_eq!(oxy(r, &home, &grant).0, 0);
227
    let policy = json(r, &home, &["policy", "show", "--json"]);
228
    let subjects = &policy["rules"][0]["subjects"][0];
229
    assert_eq!(
230
        (
231
            subjects["subject"].as_str(),
232
            subjects["issuer"]["name"].as_str(),
233
            subjects["scope"].as_str()
234
        ),
235
        (
236
            Some("repo:ada/demo:bookmark:main"),
237
            Some("oxygenhub.io"),
238
            Some("refs")
239
        )
240
    );
241
    std::fs::remove_file(&hub_file).unwrap();
242
    assert_eq!(
243
        oxy(r, &home, &["tag", "create", "v1", "-m", "first tag"]).0,
244
        0
245
    );
246
    let tags = json(r, &home, &["tag", "list", "--json"]);
247
    assert_eq!(
248
        (tags[0]["name"].as_str(), tags[0]["message"].as_str()),
249
        (Some("v1"), Some("first tag"))
250
    );
251
    let ws = json(r, &home, &["workspace", "list", "--json"]);
252
    assert_eq!(
253
        (ws.as_array().unwrap().len(), ws[0]["current"].as_bool()),
254
        (1, Some(true))
255
    );
256
}
257
258
/// `oxy commit -F`, `oxy describe` naming and tags as changes (feedback
259
/// 4 and 6).
260
/// oxygen#144: a first identity needs no repository; the next repository
261
/// signs as it.
262
#[test]
263
fn a_first_identity_needs_no_repository() {
264
    let tmp = tempfile::tempdir().unwrap();
265
    let home = tmp.path().join("home");
266
    let nowhere = tmp.path().join("nowhere");
267
    std::fs::create_dir_all(&nowhere).unwrap();
268
    let local = ["identity", "create", "--local"];
269
    let (code, _, err) = oxy(&nowhere, &home, &local);
270
    assert_ne!(code, 0, "--local needs a repository");
271
    assert!(err.contains("no oxy repository"), "{err}");
272
    let ident = [
273
        "identity",
274
        "create",
275
        "--name",
276
        "Ada",
277
        "--email",
278
        "[email protected]",
279
    ];
280
    let (code, out, err) = oxy(&nowhere, &home, &ident);
281
    assert_eq!(code, 0, "{err}");
282
    let out = String::from_utf8_lossy(&out);
283
    assert!(
284
        out.contains("Created identity Ada <[email protected]>"),
285
        "{out}"
286
    );
287
    let user = oxy_core::repo::read_config_file(&home.join("config.toml")).unwrap();
288
    let key = user["author.key"].clone();
289
    assert_eq!(user["author.name"], "Ada");
290
    assert!(home.join("keys").join(format!("{key}.secret")).exists());
291
    assert!(!nowhere.join(".oxy").exists(), "no repository made");
292
293
    // A repository made afterwards signs its changes with it.
294
    let dir = tmp.path().join("r");
295
    std::fs::create_dir_all(&dir).unwrap();
296
    assert_eq!(oxy(&dir, &home, &["init"]).0, 0);
297
    assert_eq!(oxy(&dir, &home, &["config", "core.sign", "change"]).0, 0);
298
    write(&dir, "a.txt", "a\n");
299
    let (code, _, err) = oxy(&dir, &home, &["commit", "-m", "First"]);
300
    assert_eq!(code, 0, "{err}");
301
    let log = json(&dir, &home, &["log", "--json", "-n", "2"]);
302
    let first = &log["changes"][1];
303
    assert_eq!(first["message"], "First");
304
    assert_eq!(first["signature"]["status"], "signed", "{first}");
305
    assert_eq!(first["signature"]["key"], key.as_str());
306
    assert_eq!(first["signature"]["name"], "Ada");
307
}
308
309
#[test]
310
fn commit_from_a_file_and_describe_for_builds() {
311
    let tmp = tempfile::tempdir().unwrap();
312
    let home = tmp.path().join("home");
313
    std::fs::create_dir_all(&home).unwrap();
314
    let dir = tmp.path().join("r");
315
    std::fs::create_dir_all(&dir).unwrap();
316
    assert_eq!(oxy(&dir, &home, &["init"]).0, 0);
317
    write(&dir, "a.txt", "a\n");
318
    write(
319
        tmp.path(),
320
        "msg.txt",
321
        "Subject from a file\n\nA body\nof two lines.\n",
322
    );
323
    let msg = tmp.path().join("msg.txt");
324
    let (code, _, err) = oxy(&dir, &home, &["commit", "-F", msg.to_str().unwrap()]);
325
    assert_eq!(code, 0, "{err}");
326
    let log = json(&dir, &home, &["log", "--json", "-n", "2"]);
327
    assert_eq!(
328
        log["changes"][1]["message"],
329
        "Subject from a file\n\nA body\nof two lines."
330
    );
331
    assert_ne!(oxy(&dir, &home, &["commit"]).0, 0, "a message is required");
332
333
    // Untagged: bookmark and change; a tag names it; later work counts.
334
    let d = json(&dir, &home, &["describe", "--json"]);
335
    assert_eq!(
336
        (d["tag"].clone(), d["dirty"].clone()),
337
        (Value::Null, Value::Bool(false))
338
    );
339
    let change = d["change"].as_str().unwrap().to_string();
340
    assert_eq!(d["describe"], format!("main-{}", &change[..8]));
341
    assert_eq!(
342
        oxy(&dir, &home, &["tag", "create", "v0.1.0", "-m", "first"]).0,
343
        0
344
    );
345
    let (_, out, _) = oxy(&dir, &home, &["describe"]);
346
    assert_eq!(String::from_utf8_lossy(&out).trim(), "v0.1.0");
347
    let (code, out, err) = oxy(&dir, &home, &["show", "v0.1.0"]);
348
    assert_eq!(code, 0, "a tag names its change: {err}");
349
    assert!(String::from_utf8_lossy(&out).contains("Subject from a file"));
350
    write(&dir, "b.txt", "b\n");
351
    let d = json(&dir, &home, &["describe", "--json"]);
352
    assert_eq!(d["describe"], "v0.1.0-dirty");
353
    assert_eq!(oxy(&dir, &home, &["commit", "-m", "b"]).0, 0);
354
    write(&dir, "c.txt", "c\n");
355
    assert_eq!(oxy(&dir, &home, &["commit", "-m", "c"]).0, 0);
356
    let d = json(&dir, &home, &["describe", "--json"]);
357
    let change = d["change"].as_str().unwrap();
358
    assert_eq!(d["distance"], 2);
359
    assert_eq!(d["describe"], format!("v0.1.0-2-{}", &change[..8]));
360
}
361
362
/// `oxy log -L START,END:PATH`: the history of a range of lines.
363
#[test]
364
fn the_history_of_a_function() {
365
    let tmp = tempfile::tempdir().unwrap();
366
    let home = tmp.path().join("home");
367
    std::fs::create_dir_all(&home).unwrap();
368
    let dir = tmp.path().join("r");
369
    std::fs::create_dir_all(&dir).unwrap();
370
    assert_eq!(oxy(&dir, &home, &["init"]).0, 0);
371
    write(&dir, "f.rs", "use x;\nfn a() {\n  one();\n}\n");
372
    assert_eq!(oxy(&dir, &home, &["commit", "-m", "add f"]).0, 0);
373
    write(&dir, "f.rs", "use y;\nfn a() {\n  one();\n}\n");
374
    assert_eq!(oxy(&dir, &home, &["commit", "-m", "import"]).0, 0);
375
    write(&dir, "f.rs", "use y;\nfn a() {\n  two();\n}\n");
376
    assert_eq!(oxy(&dir, &home, &["commit", "-m", "body"]).0, 0);
377
    let v = json(&dir, &home, &["log", "--json", "-L", "2,4:f.rs"]);
378
    let messages: Vec<&str> = v["changes"]
379
        .as_array()
380
        .unwrap()
381
        .iter()
382
        .map(|c| c["message"].as_str().unwrap())
383
        .collect();
384
    assert_eq!(messages, ["body", "add f"], "not the import");
385
    let (code, _, err) = oxy(&dir, &home, &["log", "-L", "2:f.rs"]);
386
    assert_ne!(code, 0);
387
    assert!(err.contains("START,END:PATH"), "{err}");
388
}
389
390
#[test]
391
fn receipts_verify_import_list_show_and_export() {
392
    use oxy_core::hash::{ObjectRef, ObjectType};
393
    use oxy_core::identity::SecretKey;
394
    use oxy_core::objects::StateObject;
395
    use oxy_core::receipt::{Receipt, SignedReceipt};
396
    let tmp = tempfile::tempdir().unwrap();
397
    let home = tmp.path().join("home");
398
    std::fs::create_dir_all(&home).unwrap();
399
    let r = tmp.path().join("repo");
400
    assert_eq!(oxy(tmp.path(), &home, &["init", r.to_str().unwrap()]).0, 0);
401
    write(&r, "a.txt", "a\n");
402
    assert_eq!(oxy(&r, &home, &["commit", "-m", "A"]).0, 0);
403
404
    let repo = oxy_core::repo::Repo::open(&r).unwrap();
405
    let heads = repo.bookmark_heads().unwrap();
406
    let state = oxy_core::hash::hash_object(ObjectType::State, &StateObject::new(heads).encode());
407
    let receipt = Receipt {
408
        job_name: "test".into(),
409
        pipeline_hash: ObjectRef([1; 32]),
410
        scope_tree_hash: ObjectRef([2; 32]),
411
        inputs: vec![],
412
        environment: ObjectRef([3; 32]),
413
        outputs: vec![],
414
        exit_code: 0,
415
        duration_ms: 2500,
416
    };
417
    let sk = SecretKey::generate();
418
    let runner = sk.identity("earth-1", "runner@earth", 1);
419
    let sr = SignedReceipt::sign(receipt, repo.id().unwrap(), state, "demo#7", &runner, &sk);
420
    let file = tmp.path().join("r.receipt");
421
    std::fs::write(&file, sr.encode()).unwrap();
422
    let f = file.to_str().unwrap();
423
424
    let v = json(&r, &home, &["receipt", "verify", f, "--json"]);
425
    assert_eq!(
426
        (v["valid"].as_bool(), v["job"].as_str(), v["run"].as_str()),
427
        (Some(true), Some("test"), Some("demo#7"))
428
    );
429
    assert!(v["attest"].is_null());
430
431
    assert!(json(&r, &home, &["receipt", "list", "--json"])
432
        .as_array()
433
        .unwrap()
434
        .is_empty());
435
    assert_eq!(oxy(&r, &home, &["receipt", "import", f]).0, 0);
436
    let list = json(&r, &home, &["receipt", "list", "--json"]);
437
    let list = list.as_array().unwrap();
438
    assert_eq!(list.len(), 1);
439
    assert_eq!(list[0]["runner_name"], "earth-1");
440
    assert_eq!(list[0]["state"], state.to_hex());
441
    let attest = list[0]["attest"].as_str().unwrap().to_string();
442
    let shown = json(&r, &home, &["receipt", "show", &attest[..10], "--json"]);
443
    assert_eq!(shown["duration_ms"], 2500);
444
445
    let out = tmp.path().join("out.receipt");
446
    assert_eq!(
447
        oxy(
448
            &r,
449
            &home,
450
            &["receipt", "export", &attest[..10], out.to_str().unwrap()]
451
        )
452
        .0,
453
        0
454
    );
455
    assert_eq!(std::fs::read(&out).unwrap(), sr.encode());
456
457
    // SLSA provenance is signed with the exporter's key: none yet, so it is
458
    // refused and says what to do.
459
    let prov = tmp.path().join("prov.json");
460
    let p = prov.to_str().unwrap();
461
    let slsa = ["receipt", "export", &attest[..10], p, "--format", "slsa"];
462
    let (code, _, err) = oxy(&r, &home, &slsa);
463
    assert_ne!(code, 0);
464
    assert!(err.contains("oxy identity create"), "{err}");
465
    let ident = [
466
        "identity",
467
        "create",
468
        "--name",
469
        "Ada",
470
        "--email",
471
        "[email protected]",
472
    ];
473
    assert_eq!(oxy(&r, &home, &ident).0, 0);
474
    assert_eq!(oxy(&r, &home, &slsa).0, 0);
475
    let env: serde_json::Value = serde_json::from_slice(&std::fs::read(&prov).unwrap()).unwrap();
476
    assert_eq!(env["payloadType"], oxy_core::dsse::IN_TOTO);
477
    let payload = oxy_core::dsse::base64_decode(env["payload"].as_str().unwrap()).unwrap();
478
    let st: serde_json::Value = serde_json::from_slice(&payload).unwrap();
479
    assert_eq!(st["predicateType"], "https://slsa.dev/provenance/v1");
480
    assert_eq!(st["subject"][0]["digest"]["oxygen-state"], state.to_hex());
481
    let run = &st["predicate"]["runDetails"];
482
    assert_eq!(run["metadata"]["invocationId"], "demo#7");
483
    let kept = oxy_core::dsse::base64_decode(run["byproducts"][0]["content"].as_str().unwrap());
484
    assert_eq!(
485
        kept.unwrap(),
486
        sr.encode(),
487
        "the runner's receipt rides along"
488
    );
489
    // It verifies with the exporter's key and its PEM holds that key.
490
    let repo = oxy_core::repo::Repo::open(&r)
491
        .unwrap()
492
        .with_home(home.clone());
493
    let key = repo.signing_key().unwrap();
494
    assert_eq!(env["signatures"][0]["keyid"], key.to_hex());
495
    let me = repo.identity(&key).unwrap();
496
    let sig = oxy_core::dsse::base64_decode(env["signatures"][0]["sig"].as_str().unwrap()).unwrap();
497
    assert!(oxy_core::dsse::verify(&me, oxy_core::dsse::IN_TOTO, &payload, &sig).is_ok());
498
    assert!(oxy_core::dsse::verify(&runner, oxy_core::dsse::IN_TOTO, &payload, &sig).is_err());
499
    let pem = tmp.path().join("key.pem");
500
    let pem_args = ["identity", "export", "--pem", pem.to_str().unwrap()];
501
    assert_eq!(oxy(&r, &home, &pem_args).0, 0);
502
    assert_eq!(
503
        std::fs::read_to_string(&pem).unwrap(),
504
        oxy_core::dsse::public_pem(&me)
505
    );
506
507
    // A receipt whose result was changed after signing does not verify.
508
    let mut forged = sr.clone();
509
    forged.receipt.exit_code = 3;
510
    std::fs::write(&file, forged.encode()).unwrap();
511
    let (code, out, _) = oxy(&r, &home, &["receipt", "verify", f]);
512
    assert_eq!(code, 1);
513
    assert!(String::from_utf8_lossy(&out).contains("different receipt"));
514
    let (code, _, err) = oxy(&r, &home, &["receipt", "import", f]);
515
    assert_ne!(code, 0);
516
    assert!(err.contains("does not verify"), "{err}");
517
}
518
519
/// Metalgear, 2026-09-29 (oxygen#37): a bookmark created at one of three
520
/// independent heads held only that change and what it depends on, and
521
/// switching to it silently wrote a much older tree.
522
#[test]
523
fn a_bookmark_at_one_head_of_several_is_refused_unless_asked_for() {
524
    let tmp = tempfile::tempdir().unwrap();
525
    let home = tmp.path().join("home");
526
    std::fs::create_dir_all(&home).unwrap();
527
    let r = tmp.path().join("repo");
528
    assert_eq!(oxy(tmp.path(), &home, &["init", r.to_str().unwrap()]).0, 0);
529
    for f in ["a", "b", "c"] {
530
        write(&r, &format!("{f}.txt"), &format!("{f}\n"));
531
        assert_eq!(oxy(&r, &home, &["commit", "-m", f]).0, 0);
532
    }
533
    let bms = json(&r, &home, &["bookmark", "list", "--json"]);
534
    assert_eq!(
535
        bms[0]["heads"].as_array().unwrap().len(),
536
        3,
537
        "independent: {bms}"
538
    );
539
    let log = json(&r, &home, &["log", "--json"]);
540
    let hash = |m: &str| {
541
        let c = log["changes"]
542
            .as_array()
543
            .unwrap()
544
            .iter()
545
            .find(|c| c["message"] == m)
546
            .unwrap();
547
        format!("#{}", &c["hash"].as_str().unwrap()[..12])
548
    };
549
    let b = hash("b");
550
551
    let (code, _, err) = oxy(&r, &home, &["bookmark", "create", "x", &b]);
552
    assert_ne!(code, 0);
553
    assert!(
554
        err.contains("would lack 1 change") && err.contains("--upto") && err.contains("--only"),
555
        "{err}"
556
    );
557
558
    assert_eq!(
559
        oxy(&r, &home, &["bookmark", "create", "upto", &b, "--upto"]).0,
560
        0
561
    );
562
    assert_eq!(
563
        oxy(&r, &home, &["bookmark", "create", "only", &b, "--only"]).0,
564
        0
565
    );
566
    let bms = json(&r, &home, &["bookmark", "list", "--json"]);
567
    let heads = |n: &str| {
568
        bms.as_array()
569
            .unwrap()
570
            .iter()
571
            .find(|x| x["name"] == n)
572
            .unwrap()["heads"]
573
            .as_array()
574
            .unwrap()
575
            .len()
576
    };
577
    assert_eq!(heads("upto"), 2, "a and b: {bms}");
578
    assert_eq!(heads("only"), 1);
579
580
    // Switching to the smaller state says what it leaves out.
581
    let (code, out, err) = oxy(&r, &home, &["bookmark", "switch", "only"]);
582
    assert_eq!(code, 0, "{err}");
583
    let out = String::from_utf8_lossy(&out);
584
    assert!(out.contains("only lacks 2 changes that main has"), "{out}");
585
    assert!(!r.join("a.txt").exists() && r.join("b.txt").exists());
586
587
    // Moving a bookmark asks the same (metalgear, oxygen#42): main at b
588
    // alone would lose a, which it holds and was recorded before b.
589
    let (code, _, err) = oxy(&r, &home, &["bookmark", "set", "main", &b]);
590
    assert_ne!(code, 0);
591
    assert!(
592
        err.contains("would lose 1 change") && err.contains("--upto"),
593
        "{err}"
594
    );
595
    assert_eq!(
596
        oxy(&r, &home, &["bookmark", "set", "main", &b, "--upto"]).0,
597
        0
598
    );
599
    let bms = json(&r, &home, &["bookmark", "list", "--json"]);
600
    let main = bms
601
        .as_array()
602
        .unwrap()
603
        .iter()
604
        .find(|x| x["name"] == "main")
605
        .unwrap();
606
    assert_eq!(main["heads"].as_array().unwrap().len(), 2, "a and b: {bms}");
607
}
608
609
/// oxygen#29: a pull on a feature bookmark said only "Already up to date"
610
/// while main was behind. Since oxygen#48 it updates main too, and says so.
611
#[test]
612
fn pull_names_its_bookmark_and_the_others_it_moved() {
613
    let tmp = tempfile::tempdir().unwrap();
614
    let home = tmp.path().join("home");
615
    std::fs::create_dir_all(&home).unwrap();
616
    let origin = tmp.path().join("origin");
617
    assert_eq!(
618
        oxy(tmp.path(), &home, &["init", origin.to_str().unwrap()]).0,
619
        0
620
    );
621
    let (a, b) = (tmp.path().join("a"), tmp.path().join("b"));
622
    for d in [&a, &b] {
623
        assert_eq!(
624
            oxy(
625
                tmp.path(),
626
                &home,
627
                &["clone", origin.to_str().unwrap(), d.to_str().unwrap()]
628
            )
629
            .0,
630
            0
631
        );
632
    }
633
    write(&a, "one.txt", "one\n");
634
    assert_eq!(oxy(&a, &home, &["commit", "-m", "one"]).0, 0);
635
    assert_eq!(oxy(&a, &home, &["push"]).0, 0);
636
    assert_eq!(oxy(&b, &home, &["pull"]).0, 0);
637
    assert_eq!(oxy(&b, &home, &["bookmark", "create", "feat"]).0, 0);
638
    assert_eq!(oxy(&b, &home, &["bookmark", "switch", "feat"]).0, 0);
639
    assert_eq!(oxy(&b, &home, &["push", "-b", "feat"]).0, 0);
640
    write(&a, "two.txt", "two\n");
641
    assert_eq!(oxy(&a, &home, &["commit", "-m", "two"]).0, 0);
642
    assert_eq!(oxy(&a, &home, &["push"]).0, 0);
643
644
    let (code, out, err) = oxy(&b, &home, &["pull"]);
645
    assert_eq!(code, 0, "{err}");
646
    let out = String::from_utf8_lossy(&out);
647
    assert!(out.contains("feat is up to date with origin"), "{out}");
648
    assert!(out.contains("Also updated main"), "{out}");
649
    assert!(!out.contains("behind"), "{out}");
650
}
651
652
/// oxygen#35: a clean status is answered from the manifest, loading no
653
/// history; any change, a mode change included, falls back to a snapshot.
654
#[test]
655
fn a_clean_status_needs_no_history_and_misses_no_change() {
656
    use std::os::unix::fs::PermissionsExt;
657
    let tmp = tempfile::tempdir().unwrap();
658
    let home = tmp.path().join("home");
659
    std::fs::create_dir_all(&home).unwrap();
660
    let r = tmp.path().join("repo");
661
    assert_eq!(oxy(tmp.path(), &home, &["init", r.to_str().unwrap()]).0, 0);
662
    let old = std::time::SystemTime::now() - std::time::Duration::from_secs(30);
663
    for f in ["a.txt", "b.txt"] {
664
        write(&r, f, &format!("{f}\n"));
665
        std::fs::File::options()
666
            .write(true)
667
            .open(r.join(f))
668
            .unwrap()
669
            .set_modified(old)
670
            .unwrap();
671
    }
672
    assert_eq!(oxy(&r, &home, &["commit", "-m", "two"]).0, 0);
673
    let status = |r: &Path| {
674
        let out = Command::new(env!("CARGO_BIN_EXE_oxy"))
675
            .args(["--plain", "status"])
676
            .current_dir(r)
677
            .env("OXY_HOME", &home)
678
            .env("NO_COLOR", "1")
679
            .env("OXY_TIMINGS", "1")
680
            .output()
681
            .unwrap();
682
        (
683
            String::from_utf8_lossy(&out.stdout).to_string(),
684
            String::from_utf8_lossy(&out.stderr).to_string(),
685
        )
686
    };
687
    let (out, err) = status(&r);
688
    assert!(out.contains("working copy clean"), "{out}");
689
    assert!(!err.contains("snapshot"), "no snapshot was needed: {err}");
690
691
    // A mode change alters neither size nor time.
692
    std::fs::set_permissions(r.join("a.txt"), std::fs::Permissions::from_mode(0o755)).unwrap();
693
    let (out, err) = status(&r);
694
    assert!(out.contains("a.txt"), "{out}");
695
    assert!(err.contains("snapshot"), "{err}");
696
    std::fs::set_permissions(r.join("a.txt"), std::fs::Permissions::from_mode(0o644)).unwrap();
697
698
    // A new file.
699
    write(&r, "c.txt", "c\n");
700
    let (out, _) = status(&r);
701
    assert!(out.contains("c.txt"), "{out}");
702
}
703
704
#[test]
705
fn a_nested_git_repository_is_named_not_silently_skipped() {
706
    let tmp = tempfile::tempdir().unwrap();
707
    let home = tmp.path().join("home");
708
    std::fs::create_dir_all(&home).unwrap();
709
    let r = tmp.path().join("repo");
710
    std::fs::create_dir_all(&r).unwrap();
711
    assert_eq!(oxy(&r, &home, &["init", "."]).0, 0);
712
    write(&r, "a.txt", "a\n");
713
    write(&r, "rust-core/src/lib.rs", "pub fn f() {}\n");
714
    write(&r, "rust-core/.git/HEAD", "ref: refs/heads/main\n");
715
    let st = json(&r, &home, &["status", "--json"]);
716
    assert_eq!(st["untracked_nested"], serde_json::json!(["rust-core"]));
717
    let (code, out, err) = oxy(&r, &home, &["commit", "-m", "first"]);
718
    assert_eq!(code, 0, "{err}");
719
    let out = String::from_utf8_lossy(&out);
720
    assert!(
721
        out.contains("rust-core/") && out.contains("nested Git repository"),
722
        "{out}"
723
    );
724
    // The clean status says so too.
725
    let (_, out, _) = oxy(&r, &home, &["status"]);
726
    let out = String::from_utf8_lossy(&out);
727
    assert!(
728
        out.contains("working copy clean") && out.contains("rust-core/"),
729
        "{out}"
730
    );
731
}
732
733
/// oxygen#50: the log is a graph. Two changes that build on the same one
734
/// take two lanes that join above it; each change shows its ID, author,
735
/// time and hash on one line and its subject on the next.
736
#[test]
737
fn the_log_draws_lanes_that_join() {
738
    let tmp = tempfile::tempdir().unwrap();
739
    let home = tmp.path().join("home");
740
    std::fs::create_dir_all(&home).unwrap();
741
    let repo = tmp.path().join("r");
742
    assert_eq!(oxy(tmp.path(), &home, &["init", repo.to_str().unwrap()]).0, 0);
743
    write(&repo, "a.txt", "a\n");
744
    write(&repo, "b.txt", "b\n");
745
    assert_eq!(oxy(&repo, &home, &["commit", "-m", "both files"]).0, 0);
746
    write(&repo, "a.txt", "a\na2\n");
747
    assert_eq!(oxy(&repo, &home, &["commit", "-m", "edit a"]).0, 0);
748
    write(&repo, "b.txt", "b\nb2\n");
749
    assert_eq!(oxy(&repo, &home, &["commit", "-m", "edit b"]).0, 0);
750
751
    let (code, out, err) = oxy(&repo, &home, &["log"]);
752
    assert_eq!(code, 0, "{err}");
753
    let out = String::from_utf8_lossy(&out);
754
    let lines: Vec<&str> = out.lines().collect();
755
    // The working copy, then "edit b", "edit a" beside it, then their base.
756
    assert!(lines[0].starts_with('@'), "{out}");
757
    assert!(lines.iter().any(|l| l.starts_with("|-'") && l.contains("edit a")), "{out}");
758
    assert!(lines.iter().any(|l| l.starts_with("| *") || l.starts_with("| o")), "{out}");
759
    let base = lines.iter().position(|l| l.contains("both files")).unwrap();
760
    assert!(lines[base - 1].contains('#'), "the header line carries the hash: {out}");
761
}