Run no-default doctests in local gate

Author: eldryoth

CHANGELOG.md

@@ -138,6 +138,9 @@
 - Hardened release metadata validation for the README's zero-dependency,
   scalar-only development, inert future-feature, constant-time non-claim, and
   release-evidence wording.
+- Added no-default-features doctests to the standard local gate and release
+  evidence docs so no-alloc examples are checked alongside all-features
+  doctests.
 
 ## 0.8.0 - 2026-05-16
 

docs/RELEASE.md

@@ -42,6 +42,7 @@ The release gate covers:
 - feature-mode tests
 - Miri no-default-features tests when nightly Miri is installed
 - Miri evidence manifest generation when nightly Miri is installed
+- all-features and no-default-features doctests
 - docs
 - packaged async admission policy while the `tokio` feature remains inert
 - installed cross-target `no_std` checks

docs/RELEASE_EVIDENCE.md

@@ -49,7 +49,7 @@ The release gate runs:
   including inert-feature and per-feature dependency graph validation
 - clippy with warnings denied
 - default, all-features, and no-default-features tests
-- doctests and documentation build
+- all-features and no-default-features doctests plus documentation build
 - `cargo deny check`
 - `cargo audit`
 - `cargo license --json`

scripts/checks.sh

@@ -64,6 +64,9 @@ cargo test --no-default-features --all-targets
 echo "checks: doctests"
 cargo test --doc --all-features
 
+echo "checks: doctests no default features"
+cargo test --doc --no-default-features
+
 echo "checks: docs"
 cargo doc --no-deps --all-features
 

scripts/validate-release-metadata.sh

@@ -183,6 +183,16 @@ do
     fi
 done
 
+for required_checks_command in \
+    "cargo test --doc --all-features" \
+    "cargo test --doc --no-default-features"
+do
+    if ! grep -F -q "$required_checks_command" scripts/checks.sh; then
+        echo "release metadata: standard checks are missing $required_checks_command" >&2
+        exit 1
+    fi
+done
+
 package_list="$(
     cargo package --locked --allow-dirty --list
 )"