# What the Ocean Forecast Remembers: The ENSOFORECAST Archive

Scope checked against the publication dated 25 October 2026.

Source evidence only. No Lean proof of this article’s factual or legal claims is claimed.

This is a document-based article. No Lean proof of its factual or legal claims is claimed.

Outside the proof:

- Authenticity, completeness and accuracy of source observations.
- Data collection, sampling, classification, bootstrap intervals and causal inference.
- Current prices, policy, legal status, allegations, product claims and future outcomes.
- Production code correctness, execution, available liquidity and profitability.

[Machine-readable scope and exact input locations](ensoforecast-historical-archive.json). [Lean calculations](../LibraryChecks.lean). [Mathematical definitions](../ResearchModels.lean). [Verification record](../verification.json). [Complete package](../proofs.zip).

Body SHA-256: `2a6d4787293fad2cbc869966bdb92c0dfafe5d9aae1451e6b2022bd9cedbf22b`. Source observations are premises, not conclusions of the proofs.

25 Oct 2026: the publication seed gained a credited photograph (the image block only). The scope is unchanged. Previous body SHA-256: 2a6d4787293fad2cbc869966bdb92c0dfafe5d9aae1451e6b2022bd9cedbf22b.

25 Oct 2026: the body hash now leaves out the photograph block (image), as it already left out sources and updatedAt. The scope is unchanged. Previous body SHA-256: 65f01bf57a1c97a3765b8eb663eae62d7cc497624ec218f21eab3651cae2c01c.