ci: add acceptance artifact metadata

This commit is contained in:
2026-06-23 23:18:36 +04:00
parent 1d0244c3e4
commit fd452f6016
3 changed files with 32 additions and 0 deletions
+1
View File
@@ -14,6 +14,7 @@ S0-ARCH-006 covered cargo xtask policy rejects non-fparkan package directories u
S0-ARCH-007 covered cargo xtask ci runs fmt, policy, workspace test, clippy, rustdoc warnings, cargo-deny or built-in supply-chain fallback, and strict acceptance audit S0-ARCH-007 covered cargo xtask ci runs fmt, policy, workspace test, clippy, rustdoc warnings, cargo-deny or built-in supply-chain fallback, and strict acceptance audit
S0-ARCH-008 covered cargo xtask policy rejects moving Rust toolchains and workspace rust-version drift S0-ARCH-008 covered cargo xtask policy rejects moving Rust toolchains and workspace rust-version drift
S0-ARCH-009 covered .github/workflows/ci.yml runs a pinned MSRV backend-neutral crate job S0-ARCH-009 covered .github/workflows/ci.yml runs a pinned MSRV backend-neutral crate job
S0-ARCH-010 covered cargo xtask acceptance audit emits commit_sha, rust_toolchain, and msrv metadata into the JSON artifact
S0-DIAG-001 covered cargo test -p fparkan-diagnostics --offline diagnostic_chain_preserves_context S0-DIAG-001 covered cargo test -p fparkan-diagnostics --offline diagnostic_chain_preserves_context
S0-DIAG-002 covered cargo test -p fparkan-diagnostics --offline json_is_stable S0-DIAG-002 covered cargo test -p fparkan-diagnostics --offline json_is_stable
S0-CORPUS-001 covered cargo test -p fparkan-corpus --offline deterministic_traversal_is_creation_order_independent S0-CORPUS-001 covered cargo test -p fparkan-corpus --offline deterministic_traversal_is_creation_order_independent
1 # Acceptance coverage manifest.
14 S0-ARCH-007
15 S0-ARCH-008
16 S0-ARCH-009
17 S0-ARCH-010
18 S0-DIAG-001
19 S0-DIAG-002
20 S0-CORPUS-001
+1
View File
@@ -14,6 +14,7 @@
`S0-ARCH-007` `S0-ARCH-007`
`S0-ARCH-008` `S0-ARCH-008`
`S0-ARCH-009` `S0-ARCH-009`
`S0-ARCH-010`
`S0-DIAG-001` `S0-DIAG-001`
`S0-DIAG-002` `S0-DIAG-002`
`S0-CORPUS-001` `S0-CORPUS-001`
+30
View File
@@ -1468,6 +1468,9 @@ impl CoverageStatus {
#[derive(Clone, Debug, Eq, PartialEq)] #[derive(Clone, Debug, Eq, PartialEq)]
struct AcceptanceAudit { struct AcceptanceAudit {
commit_sha: String,
rust_toolchain: String,
msrv: String,
required_total: usize, required_total: usize,
covered: Vec<String>, covered: Vec<String>,
partial: Vec<String>, partial: Vec<String>,
@@ -1597,6 +1600,9 @@ fn build_acceptance_audit(
.collect(); .collect();
AcceptanceAudit { AcceptanceAudit {
commit_sha: current_git_commit_sha(),
rust_toolchain: PINNED_RUST_TOOLCHAIN.to_string(),
msrv: WORKSPACE_MSRV.to_string(),
required_total: required.len(), required_total: required.len(),
covered, covered,
partial, partial,
@@ -1615,6 +1621,9 @@ fn render_audit_json(audit: &AcceptanceAudit) -> String {
concat!( concat!(
"{{\n", "{{\n",
" \"schema_version\": \"fparkan-acceptance-coverage-v1\",\n", " \"schema_version\": \"fparkan-acceptance-coverage-v1\",\n",
" \"commit_sha\": \"{}\",\n",
" \"rust_toolchain\": \"{}\",\n",
" \"msrv\": \"{}\",\n",
" \"required_total\": {},\n", " \"required_total\": {},\n",
" \"covered_total\": {},\n", " \"covered_total\": {},\n",
" \"partial_total\": {},\n", " \"partial_total\": {},\n",
@@ -1633,6 +1642,9 @@ fn render_audit_json(audit: &AcceptanceAudit) -> String {
" \"coverage_evidence\": {}\n", " \"coverage_evidence\": {}\n",
"}}\n" "}}\n"
), ),
json_escape(&audit.commit_sha),
json_escape(&audit.rust_toolchain),
json_escape(&audit.msrv),
audit.required_total, audit.required_total,
audit.covered.len(), audit.covered.len(),
audit.partial.len(), audit.partial.len(),
@@ -1652,6 +1664,18 @@ fn render_audit_json(audit: &AcceptanceAudit) -> String {
) )
} }
fn current_git_commit_sha() -> String {
Command::new("git")
.args(["rev-parse", "HEAD"])
.output()
.ok()
.filter(|output| output.status.success())
.and_then(|output| String::from_utf8(output.stdout).ok())
.map(|value| value.trim().to_string())
.filter(|value| value.len() == 40 && value.chars().all(|ch| ch.is_ascii_hexdigit()))
.unwrap_or_else(|| "unknown".to_string())
}
fn render_string_usize_map(values: &BTreeMap<String, usize>) -> String { fn render_string_usize_map(values: &BTreeMap<String, usize>) -> String {
let pairs = values let pairs = values
.iter() .iter()
@@ -1959,6 +1983,9 @@ mod tests {
#[test] #[test]
fn audit_json_escapes_evidence() { fn audit_json_escapes_evidence() {
let mut audit = AcceptanceAudit { let mut audit = AcceptanceAudit {
commit_sha: "0123456789abcdef0123456789abcdef01234567".to_string(),
rust_toolchain: PINNED_RUST_TOOLCHAIN.to_string(),
msrv: WORKSPACE_MSRV.to_string(),
required_total: 1, required_total: 1,
covered: vec!["S0-ARCH-001".to_string()], covered: vec!["S0-ARCH-001".to_string()],
partial: Vec::new(), partial: Vec::new(),
@@ -1976,6 +2003,9 @@ mod tests {
let json = render_audit_json(&audit); let json = render_audit_json(&audit);
assert!(json.contains("quoted \\\"value\\\"")); assert!(json.contains("quoted \\\"value\\\""));
assert!(json.contains("\"commit_sha\": \"0123456789abcdef0123456789abcdef01234567\""));
assert!(json.contains("\"rust_toolchain\": \"1.87.0\""));
assert!(json.contains("\"msrv\": \"1.87\""));
} }
#[test] #[test]