docs: the book matches 4.0, and the READMEs trade ADD against vanilla Claude with an animated side-by-side flow

[TinDang97]

Summary

The book and READMEs now match the merged ADD 4.0 skill. Every 4.0 number traces to one results page.

• Results page: benchmark/results/2026-09-add-4.0-vs-vanilla.md consolidates pilot rounds 3–5 (mutation, edges, halts, evidence reruns, cost, beat shares, rules that did and didn't transfer).
• Book chapters: 03, 05, 06, 08, 19, 20, the glossary, the worked example and the checklists state the rules the benchmark asked for:
  • checks send inputs the way a real caller does;
  • silent authority reads least-privilege;
  • every RULES id gets a check;
  • the report puts the costliest assumption first;
  • subagents only for security work.
• Measured sections: both READMEs and ch 20 gain a measured-on-4.0 section; the CHANGELOG 4.0.0 entry gains a Measured section.
• Animated page: add-method/docs/add-value.html is a self-contained page that honours reduced motion and has a table view and a noscript summary.

ADD task

docs-4-value: freeze, verify PASS.

Test plan

• python3 -m pytest -q add-method/tests/test_docs_value.py: 9 checks
• mkdocs build --strict

Added: ADD vs vanilla Claude, as one request run both ways (task docs-value-tradeoff)

• Both READMEs, rewritten value half:
  • Highlights;
  • what ADD gives your project;
  • the same request run both ways (a side-by-side flow table from two real round-6 runs);
  • measured on Sonnet 5.5, with every gain priced at 1.7–2.1× the dollars and 4.0–5.1× the minutes, and vanilla's ties and lead named;
  • when vanilla is the right call.
• New page add-method/docs/add-vs-vanilla.html:
  • plays both transcripts on one clock: vanilla done at 46 s for $0.28; ADD sealed at 97 s, verified at 186 s, done at 195 s for $0.63;
  • then shows where the decisions went, and a scoreboard of the n = 3 means;
  • self-contained, with reduced-motion and no-JS states, a table view, and #t= to open at a moment.
• Round 6 carried into: the results page, ch 20 and the CHANGELOG.
• python3 -m pytest -q add-method/tests: 154 passed · mkdocs build --strict ✓