fix(docs): correct README header + crash-mode counts + dangling refs

Adversarial verification of the tidy caught defects in files this branch
already touched:

README.adoc — the Tier-B "authoring standard" edit left a botched, duplicated
document header: a second :toc:/:source-highlighter: attribute block sitting
AFTER body content (so it was inert and rendered as stray text), a stray
mid-body author line, and an orphan bare DOI URL citing the WRONG Zenodo record
(19680824 vs the canonical 19520245 used by the badge, the Citation block, and
CITATION.cff). Collapse to a single clean header: attributes before any body,
all badges grouped, one correct DOI.

Factual fixes (verified against zig/src/safe_nif.zig, which has 8 exports of
which FIVE are crash_*): "six crash modes" -> "five" in README repo-layout and
QUICKSTART-DEV project-structure. Make the benchmark command's working directory
explicit (run from demo/). Drop the dangling `.claude/CLAUDE.md` reference in
QUICKSTART-DEV (no such file in this repo) and the inaccurate "signing-key
policy" pointer (CONTRIBUTING.md documents the contribution flow, not keys).

NOT touched: the residual PMPL-1.0 license badge in README is left verbatim for
manual owner review (licence markup is owner-only; flagged, not auto-edited).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

QUICKSTART-DEV.adoc

@@ -59,7 +59,7 @@ just proof-status         # summary of proven / tested / trusted
 [source]
 ----
 snifs/
-├── zig/src/safe_nif.zig       # the SNIF kernel — six trapped crash modes
+├── zig/src/safe_nif.zig       # the SNIF kernel — five trapped crash modes
 ├── zig/                       # safe_nif / buffer_abi / burble_fft guests
 ├── rust/ , rust-guest/        # Rust→wasm32 guests (dual-sourced; see Dustfile)
 ├── demo/                      # Mix project: wasmex loader + ExUnit suite
@@ -94,11 +94,11 @@ just proof-check-all  # all proofs still check
 just assail           # no new security findings
 ----
 
-Commits must be **signed**. See `CONTRIBUTING.md` for the signing-key policy.
+Commits must be *signed*. See `CONTRIBUTING.md` for the contribution flow.
 
 == LLM / AI Agent Development
 
-Read `0-AI-MANIFEST.a2ml` and `.claude/CLAUDE.md` first, then `PROOF-STATUS.md`
+Read `0-AI-MANIFEST.a2ml` first, then `PROOF-STATUS.md`
 before making any claim about what is proven.
 
 == Get Help

README.adoc

@@ -5,23 +5,18 @@
 = SNIFs: Safer Native Implemented Functions for the BEAM via WebAssembly Sandboxing
 :toc: preamble
 :icons: font
+:source-highlighter: highlight.js
 
 image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity[OpenSSF Best Practices,link="https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/snifs"]
 image:https://img.shields.io/badge/License-MPL_2.0-blue.svg[License: MPL-2.0,link="https://opensource.org/licenses/MPL-2.0"]
 image:https://api.thegreenwebfoundation.org/greencheckimage/github.com[Green Web,link="https://www.thegreenwebfoundation.org/green-web-check/?url=github.com"]
-
-https://doi.org/10.5281/zenodo.19680824
+image:https://zenodo.org/badge/DOI/10.5281/zenodo.19520245.svg[DOI,link=https://doi.org/10.5281/zenodo.19520245]
 
 This repository contains:
 (1) the SNIF architecture paper,
 (2) a working BEAM + WASM implementation,
 (3) integration tests and benchmarking,
 (4) formal verification artifacts.
-Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-:toc:
-:source-highlighter: highlight.js
-
-image:https://zenodo.org/badge/DOI/10.5281/zenodo.19520245.svg[DOI,link=https://doi.org/10.5281/zenodo.19520245]
 image:https://img.shields.io/badge/license-PMPL--1.0--or--later-blue[License]
 
 == Overview
@@ -84,7 +79,7 @@ workload:
 | *Marshalling* | ∝ bytes: copying buffers into/out of linear memory. Dominates *data-heavy* calls; mitigated by keeping buffers resident across calls.
 |===
 
-Measured in-BEAM (OTP 25, `fibonacci(20)`, n=2000; `mix run bench/snif_bench.exs`):
+Measured in-BEAM (OTP 25, `fibonacci(20)`, n=2000; from `demo/`, `mix run bench/snif_bench.exs`):
 
 ----
 case                          mean_µs   p50_µs    p99_µs
@@ -150,7 +145,7 @@ verified — see paper).
 == Repository layout
 
 ----
-zig/src/safe_nif.zig     Zig source with six crash modes + fibonacci
+zig/src/safe_nif.zig     Zig source with five crash modes + fibonacci
 priv/*.wasm              Pre-built WASM binaries (ReleaseSafe + ReleaseFast)
 demo/                    Mix project with wasmex loader + ExUnit test suite
 docs/whitepapers/        LaTeX paper + compiled PDF