- new scripts/docs-check.sh, the pre-publish docs gate:
rustdoc build with -D warnings (broken intra-doc links and doc lints
fail locally, docs.rs does not fail on warnings, so this is stricter
than production), doctests in both feature configurations with a hard
zero-ignored-assertion (ignored = uncompiled = untested, convention
16), and a badge scan over the rendered HTML for the stable
'example-wrap ignore' markup class (tooltip wording varies across
rustdoc versions, the class does not)
- verified both directions: green on the current tree; a temporary
scratch ignore block fails the gate at the doctests step
- Cargo.toml exclude gains scripts/ so the helper never ships in the
package; AGENTS.md verification commands and convention 16 reference
the gate