[MarouaBoud]

Builds on #67, #68 and #69; the diff reduces to the documentation commits once those are merged.

What changed

WHITEPAPER_V2.md

• Implementation Status: a table of the score inputs and failure evidence, deployed vs. on main (B, failure class, evidence sources, deadline expiry, checkpoint count, V2 upgradeability); updated name map (detectFailure, reportFailure, reportCost, commitCheckpointBatch(cids[])).
• §3.1: failure-type table uses the contract's enum names; new table of evidence sources and who can submit them.
• Simulation claims are stated against the synthetic model: "Bayes risk of the model" replaces "Bayes-optimal floor / theoretical minimum"; "evaluated" replaces "validated"; the Runs 1–3 statement describes the families and ranges tested instead of all additive formulas.
• Abstract: removes the "first on-chain agent protocol" claim; termination is stated under eventual inclusion of permissionless enforcement transactions; "committed checkpoint contributions" replaces "verified work".
• Gas §6.5: deployed vs. on-main commitCheckpointBatch measurements.
• The ERC-8183 relationship and the sequencer dependency are stated as scope, without slogans; LangGraph checkpointing is listed as open source.

ERC-CAIRN.md: security considerations state which score inputs are agent-attested and how they are bounded; checkpoint schema check stated precisely.

README.md, docs/concepts.md, docs/integration.md: same terminology; the deployment note in docs/concepts.md reflects that RecoveryRouterV2 is the deployed router.

Verification

• No remaining occurrences of "Bayes-optimal", "verified work", "first on-chain", or "owned by no one" in public docs (grep).
• Every function, event and enum name cited matches contracts/src on this branch.