clm-936618135bade297
quantitative
Two real closures in 28 years of service (8 November 2007 and 21 December 2023)
Permanent project revision
Maeslant Barrier: the Closure Decision Is Not a Person's
Revision 2026-08-14-evidence-baseline · effective 2026-08-14
Superseded. A later revision exists: 2026-08-20-source-dates-b5 →
unreviewed
Created the first structured Evidence Passport with 2 claims and 4 source dossiers.
sha256:f40649218f91c24096edb40090a61efef20c367ebc76a941f3bdf1044a96f5b6
Change set
add/evidencePassport— Added claim-level evidence mapping and source dossiers.add/revisionHistory— Established a permanent, hash-addressed baseline revision.
- 2
- of 2 claims mapped
- 4
- source dossiers
- 1
- publication dates recorded
- 0
- archives linked
- 0
- exact locators
- 0
- content captures hashed
Claims, one by one
The text below is copied verbatim from the published record. Each claim names the source dossiers that carry it; caveats stay attached to the claim they qualify.
clm-55690d0b5408375e
quantitative
an independent team formally specified and verified its BesW component in mCRL2 in 2025
Sources carrying this claim
Source dossiers and revision state
This layer records what is known about each source, what is still missing, and the exact snapshot this page is rendering. A missing date, archive or hash stays visible as missing.
unreviewed
Revision 2026-08-14-evidence-baseline
effective 2026-08-14 · created 2026-08-14
Awaiting operator and domain-expert review; publication of this revision implies neither.
sha256:f40649218f91c24096edb40090a61efef20c367ebc76a941f3bdf1044a96f5b6
- 2
- of 2 claims mapped
- 4
- source dossiers
- 1
- publication dates recorded
- 0
- archives linked
- 0
- exact locators
- 0
- content captures hashed
Governance facts carried by the record
- Operator
- Rijkswaterstaat
- Actor types
- national-government
- Funding model
- public-budget
- Funding description
- Not recorded
- Cost
- Not recorded
- Ownership
- Not recorded
- Decision rights
- Not recorded
- Exit conditions
- Not recorded
4 source dossiers
Wikipedia — Maeslantkering
- Stable source ID
src-836e75ddb152ccf0- Publisher
- Name not classified · en.wikipedia.org
- Type / language
- web-page · language not classified
- Published
- Not recorded
- Updated
- Not recorded
- Source last checked
- No source-level check date
- Record last verified
- 2026-08-14
- Dossier created
- 2026-08-14
- Retrieved copy
- No local capture recorded
- Archive
- No archived copy linked
- Content hash
- No captured content hash
- Locator
- Descriptive only — not page/paragraph exact
Open the recorded source note
Construction 1991-1997, opened 10 May 1997; BOS decides the closure from weather and sea-level data; 3.0 m above NAP threshold, temporarily lowered to 2.6 m for the 2007 season; annual test closure at the end of September or start of October; the two real closures on 8 November 2007 and 21 December 2023; code size figures.
- Claims linked
Beers, Booy, Groote, van den Bogaard and Bouwman — formal specification and verification of the BesW control system (arXiv preprint, submitted to FMICS 2025, 11 April 2025)
- Stable source ID
src-bc2221e4cf28c8c8- Publisher
- Name not classified · arxiv.org
- Type / language
- web-page · language not classified
- Published
- 2025-04-11
- Updated
- Not recorded
- Source last checked
- No source-level check date
- Record last verified
- 2026-08-14
- Dossier created
- 2026-08-14
- Retrieved copy
- No local capture recorded
- Archive
- No archived copy linked
- Content hash
- No captured content hash
- Locator
- Descriptive only — not page/paragraph exact
Open the recorded source note
Independent academic work, not operator material. Complete formal specification of the BesW software in mCRL2 including manual and testing modes and all fault situations, with behavioural properties verified in the modal mu-calculus. A preprint: submitted to FMICS 2025, not yet peer-reviewed at the time of writing. Stated verification limits: water levels restricted to a limited set of values, and not all pump and valve failure combinations are covered.
- Claims linked
CGI — intelligent decision and support system to control the flood barrier
- Stable source ID
src-911d352edcfaba0f- Publisher
- Name not classified · cgi.com
- Type / language
- web-page · language not classified
- Published
- Not recorded
- Updated
- Not recorded
- Source last checked
- No source-level check date
- Record last verified
- 2026-08-14
- Dossier created
- 2026-08-14
- Retrieved copy
- No local capture recorded
- Archive
- No archived copy linked
- Content hash
- No captured content hash
- Locator
- Descriptive only — not page/paragraph exact
Open the recorded source note
Supplier case study for BOS. Treated as vendor material: used for the system's name and role, not for any performance claim.
- Claims linked
- Background source; no baseline claim points here
Dutch Water Sector — Storm Eleanor: national water authority closed all five big storm surge barriers
- Stable source ID
src-47d2afef627861bf- Publisher
- Name not classified · dutchwatersector.com
- Type / language
- web-page · language not classified
- Published
- Not recorded
- Updated
- Not recorded
- Source last checked
- No source-level check date
- Record last verified
- 2026-08-14
- Dossier created
- 2026-08-14
- Retrieved copy
- No local capture recorded
- Archive
- No archived copy linked
- Content hash
- No captured content hash
- Locator
- Descriptive only — not page/paragraph exact
Open the recorded source note
Trade press, used for context on the wider Delta Works barrier system and Rijkswaterstaat's role as operator.
- Claims linked
- Background source; no baseline claim points here
Known limits of this passport
- Publisher names and source languages have not yet been classified; domains are recorded without guessing.
- Existing source notes are descriptive locators, not page- or paragraph-exact citations.
- A missing archive, publication date or content hash is shown as null rather than inferred.
- The project-level evidence grade ranks the strongest source in the entry; it is not a truth score for every claim.