testing_conventions/e2e.rs
1//! `e2e attest` / `e2e verify` (#17) — the e2e attestation nudge.
2//!
3//! `attest` runs the e2e suite locally and records that it ran against the
4//! current commit; `verify` (a later slice, #68) confirms in CI that the latest
5//! code commit is attested. The point is to *nudge* agents to run e2e locally —
6//! CI never runs e2e, it only checks the committed attestation.
7//!
8//! This module implements both `attest` (#67) and `verify` (#68).
9
10use std::path::Path;
11use std::process::Command;
12use std::time::{SystemTime, UNIX_EPOCH};
13
14use anyhow::{bail, Context, Result};
15use serde::{Deserialize, Serialize};
16
17/// Where the committed attestation lives, relative to the repo root.
18pub const ATTESTATION_PATH: &str = "e2e-attestation.json";
19
20/// A record of one local e2e run — written to disk and committed by [`attest`].
21///
22/// `commit` is the SHA of the code commit the run was made against (HEAD at
23/// attest time); [`verify`](crate::e2e) (#68) checks it against the latest code
24/// commit. The rest is information for humans — nothing is gated on it.
25#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
26pub struct Attestation {
27 /// The command that was run (e.g. `pnpm run e2e`).
28 pub command: String,
29 /// When it ran, as a Unix timestamp (seconds).
30 pub ran_at: u64,
31 /// The command's exit code — recorded, never gated on.
32 pub exit_code: i32,
33 /// The commit the run was made against (HEAD at attest time).
34 pub commit: String,
35}
36
37/// Run `command` in `repo`, write an [`Attestation`] naming the current HEAD to
38/// `repo`/[`ATTESTATION_PATH`], and commit it on top. Returns the attestation.
39///
40/// Writes regardless of the command's exit code — this forces a *run*, not a
41/// *pass*.
42pub fn attest(repo: &Path, command: &str) -> Result<Attestation> {
43 let commit = git_capture(repo, &["rev-parse", "HEAD"])
44 .context("resolving HEAD — `e2e attest` must run inside a git repo with a commit")?;
45
46 // Run the e2e command via the shell, streaming its output through.
47 let status = Command::new("sh")
48 .arg("-c")
49 .arg(command)
50 .current_dir(repo)
51 .status()
52 .with_context(|| format!("running e2e command `{command}`"))?;
53 let exit_code = status.code().unwrap_or(-1);
54
55 let ran_at = SystemTime::now()
56 .duration_since(UNIX_EPOCH)
57 .map(|d| d.as_secs())
58 .unwrap_or(0);
59
60 let attestation = Attestation {
61 command: command.to_string(),
62 ran_at,
63 exit_code,
64 commit: commit.clone(),
65 };
66
67 // Write the attestation, then commit just that file on top — it names the
68 // code commit it was run against (a commit can't name its own SHA).
69 let path = repo.join(ATTESTATION_PATH);
70 let json = serde_json::to_string_pretty(&attestation).context("serializing the attestation")?;
71 std::fs::write(&path, format!("{json}\n"))
72 .with_context(|| format!("writing {}", path.display()))?;
73
74 git_run(repo, &["add", ATTESTATION_PATH])?;
75 let short = &commit[..commit.len().min(7)];
76 let message = format!("e2e attestation for {short}");
77 // A plain commit that inherits the repo's signing policy: a repo requiring
78 // verified signatures gets a signed (mergeable) attestation, instead of the
79 // unsigned commit a forced `commit.gpgsign=false` would leave behind (#128).
80 git_run(repo, &["commit", "-q", "-m", message.as_str()])?;
81
82 Ok(attestation)
83}
84
85/// The outcome of [`verify`] — whether the committed attestation names the latest
86/// code commit, and if not, why.
87#[derive(Debug, Clone, PartialEq, Eq)]
88pub enum Verification {
89 /// The attestation names the latest code commit — the gate passes.
90 Fresh,
91 /// No attestation file is present — the gate fails.
92 Missing,
93 /// An attestation is present but names an older commit than the latest code
94 /// commit (code changed since it was attested) — the gate fails.
95 Stale {
96 /// The commit the attestation names.
97 attested: String,
98 /// The latest code commit (newest one touching a non-attestation path).
99 latest: String,
100 },
101}
102
103/// Verify that the committed attestation names the latest code commit (#68) — the
104/// CI side of the nudge. Reads only the committed attestation: never runs e2e,
105/// never inspects the recorded exit code or output.
106///
107/// Equivalent to [`verify_scoped`] with `scope` set to `repo` — the freshness
108/// walk covers everything under `repo`, same as before #294.
109pub fn verify(repo: &Path) -> Result<Verification> {
110 verify_scoped(repo, repo)
111}
112
113/// Verify the committed attestation at `repo`, scoping the "latest code commit"
114/// walk to `scope` instead of all of `repo` (#294).
115///
116/// `repo` and `scope` serve different roles: `repo` is where
117/// `e2e-attestation.json` lives (the package root — a manifest's own natural
118/// home), while `scope` is what counts as "code" for freshness (the directory a
119/// `path`-scoped call actually named, which can be narrower — a package root
120/// commonly also holds `tests/`, docs, and config files that aren't the
121/// attestable source). `scope` must be `repo` or a descendant of it.
122pub fn verify_scoped(repo: &Path, scope: &Path) -> Result<Verification> {
123 let path = repo.join(ATTESTATION_PATH);
124 let Ok(contents) = std::fs::read_to_string(&path) else {
125 return Ok(Verification::Missing);
126 };
127 let attestation: Attestation =
128 serde_json::from_str(&contents).context("parsing the attestation")?;
129
130 let latest = latest_code_commit(repo, scope)?;
131 if attestation.commit == latest {
132 Ok(Verification::Fresh)
133 } else {
134 Ok(Verification::Stale {
135 attested: attestation.commit,
136 latest,
137 })
138 }
139}
140
141/// The newest commit that changed any path other than the attestation file,
142/// under `scope` — the "latest code commit" the attestation must name to be
143/// fresh. Uses an `:(exclude)` pathspec so the attestation's own commit never
144/// counts as code.
145fn latest_code_commit(repo: &Path, scope: &Path) -> Result<String> {
146 let exclude = format!(":(exclude){ATTESTATION_PATH}");
147 let pathspec = relative_pathspec(repo, scope);
148 git_capture(
149 repo,
150 &[
151 "log",
152 "-1",
153 "--format=%H",
154 "--",
155 pathspec.as_str(),
156 exclude.as_str(),
157 ],
158 )
159}
160
161/// `scope` as a pathspec relative to `repo` (git resolves pathspecs relative to
162/// the invocation's cwd, which is always `repo` here). `.` when `scope` is
163/// `repo` itself — byte-identical to the pre-#294 pathspec.
164fn relative_pathspec(repo: &Path, scope: &Path) -> String {
165 if scope == repo {
166 return ".".to_string();
167 }
168 match scope.strip_prefix(repo) {
169 Ok(rel) if !rel.as_os_str().is_empty() => rel.to_string_lossy().into_owned(),
170 _ => scope.to_string_lossy().into_owned(),
171 }
172}
173
174/// Run `git` with `args` in `repo`, returning trimmed stdout; errors if git fails.
175fn git_capture(repo: &Path, args: &[&str]) -> Result<String> {
176 let out = Command::new("git")
177 .args(args)
178 .current_dir(repo)
179 .output()
180 .with_context(|| format!("running `git {}`", args.join(" ")))?;
181 if !out.status.success() {
182 bail!(
183 "`git {}` failed: {}",
184 args.join(" "),
185 String::from_utf8_lossy(&out.stderr).trim()
186 );
187 }
188 Ok(String::from_utf8(out.stdout)?.trim().to_string())
189}
190
191/// Run `git` with `args` in `repo` for its side effect; errors if git fails.
192fn git_run(repo: &Path, args: &[&str]) -> Result<()> {
193 let status = Command::new("git")
194 .args(args)
195 .current_dir(repo)
196 .status()
197 .with_context(|| format!("running `git {}`", args.join(" ")))?;
198 if !status.success() {
199 bail!("`git {}` failed", args.join(" "));
200 }
201 Ok(())
202}