v1.5.0 — Voice Failure Atlas + prove-and-stop
Deltas D5 and D6.
Voice Failure Atlas (delta D5): a deterministic, static, server-rendered Atlas built from typed sources under atlas/{records,contracts,implementations} by scripts/build_atlas.py (stdlib-only). Every seeded record embeds a real hotato.failure-record.v1 produced by running the CLI against the bundled share-safe funnel-demo fixtures, and the builder computes each capability verdict by calling the real D3 router — a source never carries a pre-baked verdict. A hard publication gate decides what is indexed; origin=fixture is tied to a resolving examples/ path; two builds are byte-identical. The backchannel record routes to turn_intent_discriminator, the addressee-gate-eligible class ships as an honest zero-record noindex stub, and no vendor name appears in any verdict.
Prove-and-stop (delta D6): scripts/verify_delta.py, a machine-verifiable gate over the D2/D3/D5 deliverables, adjacent offline security + consumer suites, a frozen-surface check, the staged D4 bundle, and a recorded share-safe cold-path proof (hotato start --demo runs cold with no key, zero intervention). The human cold batteries ship as an un-fabricated template — never filled with invented counts.
Full suite 2939 passed. See CHANGELOG.md.