tangle

commit c222e5b4ec61a3cbb17dd6c631bb3ebff825e460
parent 5c52fe921d2db934e3ee911c8216eea69b3c31a1
Author: triesap <tyson@radroots.org>
Date:   Sat,  6 Jun 2026 20:07:02 -0700

release: realign acceptance gates

- remove strict coverage from release acceptance and CI hard gates
- keep the coverage command as an explicit strict diagnostic
- guard deterministic relay integration proof as the release criterion
- update validation wording for the revised acceptance boundary

Diffstat:
M
crates/tangle/tests/coverage_gate.rs
 | 
13
+++++--------
M
crates/tangle/tests/release_acceptance.rs
 | 
6
+++++-
M
scripts/ci.sh
 | 
1
-
M
scripts/release_acceptance.sh
 | 
1
-

4 files changed, 10 insertions(+), 11 deletions(-)
diff --git a/crates/tangle/tests/coverage_gate.rs b/crates/tangle/tests/coverage_gate.rs
@@ -18,16 +18,13 @@ fn coverage_script_requires_workspace_full_line_coverage() {
 }
 
 #[test]
-fn ci_and_validation_contract_require_coverage_gate() {
+fn release_and_ci_keep_coverage_diagnostic_outside_required_gates() {
+    let release = read("scripts/release_acceptance.sh");
     let ci = read("scripts/ci.sh");
     let validation = read("ci/workspace-validation.toml");
-
-    assert!(ci.contains("scripts/coverage.sh"));
-    assert!(validation.contains("id = \"coverage\""));
-    assert!(validation.contains("command = \"scripts/coverage.sh\""));
-    assert!(validation.contains("\"cargo-llvm-cov\""));
-    assert!(validation.contains("\"llvm-cov\""));
-    assert!(validation.contains("\"llvm-profdata\""));
+    assert!(!release.contains("scripts/coverage.sh"));
+    assert!(!ci.contains("scripts/coverage.sh"));
+    assert!(!validation.contains("id = \"coverage\""));
 }
 
 #[test]
diff --git a/crates/tangle/tests/release_acceptance.rs b/crates/tangle/tests/release_acceptance.rs
@@ -32,7 +32,6 @@ fn release_acceptance_script_covers_release_candidate_validation_ladder() {
         "cargo test -p tangle_bench",
         "cargo test -p tangle --test source_comments",
         "cargo test -p tangle --test unsafe_code",
-        "scripts/coverage.sh",
     ] {
         assert!(
             script.contains(required),
@@ -40,6 +39,11 @@ fn release_acceptance_script_covers_release_candidate_validation_ladder() {
         );
     }
 
+    assert!(
+        !script.contains("scripts/coverage.sh"),
+        "release acceptance must not depend on strict line coverage"
+    );
+
     #[cfg(unix)]
     {
         use std::os::unix::fs::PermissionsExt;
diff --git a/scripts/ci.sh b/scripts/ci.sh
@@ -4,4 +4,3 @@ set -euo pipefail
 scripts/check.sh
 scripts/test.sh
 cargo nextest run --workspace
-scripts/coverage.sh
diff --git a/scripts/release_acceptance.sh b/scripts/release_acceptance.sh
@@ -18,4 +18,3 @@ cargo test -p tangle_runtime runtime_restore_command_imports_backup_and_rebuilds
 cargo test -p tangle_bench
 cargo test -p tangle --test source_comments
 cargo test -p tangle --test unsafe_code
-scripts/coverage.sh