{
 "schemaVersion": "1.0.0",
 "constitutionVersion": "1.0.0",
 "createdAt": "2026-08-12T00:00:00Z",
 "description": "Append-only Evidence Passport records. Old revisions are immutable; corrections create a new revision and preserve the previous permalink.",
 "entity": {
  "type": "project",
  "id": "rotterdam-maeslantkering",
  "title": "Maeslant Barrier: the Closure Decision Is Not a Person's",
  "canonicalUrl": "https://1001smartcities.org/projects/rotterdam-maeslantkering/"
 },
 "currentRevisionId": "2026-08-23-funding-model-enum",
 "revisions": [
  {
   "id": "2026-08-14-evidence-baseline",
   "createdAt": "2026-08-14T00:00:00Z",
   "effectiveAt": "2026-08-14",
   "changeType": "baseline",
   "summary": "Created the first structured Evidence Passport with 2 claims and 4 source dossiers.",
   "preparedBy": {
    "type": "automation",
    "label": "AI-assisted evidence preparation",
    "humanApproved": false
   },
   "review": {
    "status": "unreviewed",
    "by": null,
    "date": null,
    "note": "Awaiting operator and domain-expert review; publication of this revision implies neither."
   },
   "changes": [
    {
     "operation": "add",
     "path": "/evidencePassport",
     "summary": "Added claim-level evidence mapping and source dossiers."
    },
    {
     "operation": "add",
     "path": "/revisionHistory",
     "summary": "Established a permanent, hash-addressed baseline revision."
    }
   ],
   "snapshotHash": "sha256:f40649218f91c24096edb40090a61efef20c367ebc76a941f3bdf1044a96f5b6",
   "snapshot": {
    "asOf": "2026-08-14",
    "projectFingerprint": "sha256:14974bf699bb80445bf7812060b5b484988debb3fc4b820b450ae779b4465f49",
    "assurance": {
     "status": "unreviewed",
     "scope": "evidence-passport-revision",
     "statement": "AI-assisted structural preparation. This revision has not been reviewed by a human or subject-matter expert.",
     "machineChecks": [
      "schema",
      "publication-diff-contract",
      "material-project-fingerprint",
      "claim-text-drift",
      "source-reference-resolution",
      "complete-source-dossier",
      "snapshot-hash"
     ]
    },
    "projectState": {
     "status": "live",
     "outcome": "succeeded",
     "evidenceGrade": "independent",
     "timeline": {
      "started": 1997,
      "ended": null
     }
    },
    "governance": {
     "operator": "Rijkswaterstaat",
     "actorTypes": [
      "national-government"
     ],
     "fundingModel": "public-budget",
     "fundingDescription": null,
     "cost": null,
     "ownership": null,
     "decisionRights": null,
     "exitConditions": null
    },
    "claims": [
     {
      "id": "clm-936618135bade297",
      "field": "impact",
      "text": "Two real closures in 28 years of service (8 November 2007 and 21 December 2023)",
      "statementKind": "quantitative",
      "textMode": "verbatim-from-project-record",
      "mappingStatus": "mapped",
      "sourceRefs": [
       "src-836e75ddb152ccf0"
      ],
      "supportNote": "Wikipedia lists exactly two non-test closures: 8 November 2007 (at the temporarily lowered 2.6 m trigger) and 21 December 2023 (the first automatic closure at the 3.0 m threshold), against an opening in May 1997.",
      "caveat": null,
      "interpretation": {
       "added": false,
       "interpolation": false,
       "note": "The passport copies the published claim and its recorded source mapping without adding a conclusion."
      }
     },
     {
      "id": "clm-55690d0b5408375e",
      "field": "impact",
      "text": "an independent team formally specified and verified its BesW component in mCRL2 in 2025",
      "statementKind": "quantitative",
      "textMode": "verbatim-from-project-record",
      "mappingStatus": "mapped",
      "sourceRefs": [
       "src-bc2221e4cf28c8c8"
      ],
      "supportNote": "The preprint states a 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.",
      "caveat": null,
      "interpretation": {
       "added": false,
       "interpolation": false,
       "note": "The passport copies the published claim and its recorded source mapping without adding a conclusion."
      }
     }
    ],
    "sources": [
     {
      "id": "src-836e75ddb152ccf0",
      "title": "Wikipedia — Maeslantkering",
      "url": "https://en.wikipedia.org/wiki/Maeslantkering",
      "publisher": {
       "name": null,
       "domain": "en.wikipedia.org",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "claim-evidence",
      "claimRefs": [
       "clm-936618135bade297"
      ],
      "temporal": {
       "publishedAt": null,
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-14",
       "retrievedAt": null,
       "status": "record-date-only"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "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.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-bc2221e4cf28c8c8",
      "title": "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)",
      "url": "https://arxiv.org/abs/2504.08518",
      "publisher": {
       "name": null,
       "domain": "arxiv.org",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "claim-evidence",
      "claimRefs": [
       "clm-55690d0b5408375e"
      ],
      "temporal": {
       "publishedAt": "2025-04-11",
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-14",
       "retrievedAt": null,
       "status": "publication-and-record-dates-recorded"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "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.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-911d352edcfaba0f",
      "title": "CGI — intelligent decision and support system to control the flood barrier",
      "url": "https://www.cgi.com/en/media/case-study/intelligent-decision-and-support-system-control-flood-barrier",
      "publisher": {
       "name": null,
       "domain": "cgi.com",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "background",
      "claimRefs": [],
      "temporal": {
       "publishedAt": null,
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-14",
       "retrievedAt": null,
       "status": "record-date-only"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "Supplier case study for BOS. Treated as vendor material: used for the system's name and role, not for any performance claim.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-47d2afef627861bf",
      "title": "Dutch Water Sector — Storm Eleanor: national water authority closed all five big storm surge barriers",
      "url": "https://www.dutchwatersector.com/news/storm-eleanor-dutch-national-water-authority-closed-all-five-big-storm-surge-barriers",
      "publisher": {
       "name": null,
       "domain": "dutchwatersector.com",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "background",
      "claimRefs": [],
      "temporal": {
       "publishedAt": null,
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-14",
       "retrievedAt": null,
       "status": "record-date-only"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "Trade press, used for context on the wider Delta Works barrier system and Rijkswaterstaat's role as operator.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     }
    ],
    "coverage": {
     "claimsTotal": 2,
     "claimsMapped": 2,
     "sourcesTotal": 4,
     "sourcesUsedByClaims": 2,
     "sourcesWithPublicationDate": 1,
     "sourcesWithArchive": 0,
     "sourcesWithExactLocator": 0,
     "sourcesWithContentHash": 0
    },
    "limits": [
     "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."
    ]
   }
  },
  {
   "id": "2026-08-20-source-dates-b5",
   "createdAt": "2026-08-20T20:00:00Z",
   "effectiveAt": "2026-08-14",
   "changeType": "update",
   "summary": "Record the publication date of each source that states one; sources that publish no date are marked null.",
   "preparedBy": {
    "type": "automation",
    "label": "AI-assisted evidence preparation",
    "humanApproved": false
   },
   "review": {
    "status": "unreviewed",
    "by": null,
    "date": null,
    "note": "Awaiting operator and domain-expert review; publication of this revision implies neither."
   },
   "changes": [
    {
     "operation": "replace",
     "path": "/snapshot/projectFingerprint",
     "summary": "Updated projectFingerprint to the current sourced project record."
    },
    {
     "operation": "replace",
     "path": "/snapshot/sources",
     "summary": "Updated sources to the current sourced project record."
    }
   ],
   "snapshotHash": "sha256:bd77165ca288efddf46ed57269b481fbf5509db9b9469900438e6f558637e204",
   "snapshot": {
    "asOf": "2026-08-14",
    "projectFingerprint": "sha256:ca58ae1488782e40e14814f9ac61dd69e286e535eed994c385c1806d1c73f0da",
    "assurance": {
     "status": "unreviewed",
     "scope": "evidence-passport-revision",
     "statement": "AI-assisted structural preparation. This revision has not been reviewed by a human or subject-matter expert.",
     "machineChecks": [
      "schema",
      "publication-diff-contract",
      "material-project-fingerprint",
      "claim-text-drift",
      "source-reference-resolution",
      "complete-source-dossier",
      "snapshot-hash"
     ]
    },
    "projectState": {
     "status": "live",
     "outcome": "succeeded",
     "evidenceGrade": "independent",
     "timeline": {
      "started": 1997,
      "ended": null
     }
    },
    "governance": {
     "operator": "Rijkswaterstaat",
     "actorTypes": [
      "national-government"
     ],
     "fundingModel": "public-budget",
     "fundingDescription": null,
     "cost": null,
     "ownership": null,
     "decisionRights": null,
     "exitConditions": null
    },
    "claims": [
     {
      "id": "clm-936618135bade297",
      "field": "impact",
      "text": "Two real closures in 28 years of service (8 November 2007 and 21 December 2023)",
      "statementKind": "quantitative",
      "textMode": "verbatim-from-project-record",
      "mappingStatus": "mapped",
      "sourceRefs": [
       "src-836e75ddb152ccf0"
      ],
      "supportNote": "Wikipedia lists exactly two non-test closures: 8 November 2007 (at the temporarily lowered 2.6 m trigger) and 21 December 2023 (the first automatic closure at the 3.0 m threshold), against an opening in May 1997.",
      "caveat": null,
      "interpretation": {
       "added": false,
       "interpolation": false,
       "note": "The passport copies the published claim and its recorded source mapping without adding a conclusion."
      }
     },
     {
      "id": "clm-55690d0b5408375e",
      "field": "impact",
      "text": "an independent team formally specified and verified its BesW component in mCRL2 in 2025",
      "statementKind": "quantitative",
      "textMode": "verbatim-from-project-record",
      "mappingStatus": "mapped",
      "sourceRefs": [
       "src-bc2221e4cf28c8c8"
      ],
      "supportNote": "The preprint states a 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.",
      "caveat": null,
      "interpretation": {
       "added": false,
       "interpolation": false,
       "note": "The passport copies the published claim and its recorded source mapping without adding a conclusion."
      }
     }
    ],
    "sources": [
     {
      "id": "src-836e75ddb152ccf0",
      "title": "Wikipedia — Maeslantkering",
      "url": "https://en.wikipedia.org/wiki/Maeslantkering",
      "publisher": {
       "name": null,
       "domain": "en.wikipedia.org",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "claim-evidence",
      "claimRefs": [
       "clm-936618135bade297"
      ],
      "temporal": {
       "publishedAt": "2003-07-22",
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-20",
       "retrievedAt": null,
       "status": "publication-and-record-dates-recorded"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "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.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-bc2221e4cf28c8c8",
      "title": "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)",
      "url": "https://arxiv.org/abs/2504.08518",
      "publisher": {
       "name": null,
       "domain": "arxiv.org",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "claim-evidence",
      "claimRefs": [
       "clm-55690d0b5408375e"
      ],
      "temporal": {
       "publishedAt": null,
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-20",
       "retrievedAt": null,
       "status": "record-date-only"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "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.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-911d352edcfaba0f",
      "title": "CGI — intelligent decision and support system to control the flood barrier",
      "url": "https://www.cgi.com/en/media/case-study/intelligent-decision-and-support-system-control-flood-barrier",
      "publisher": {
       "name": null,
       "domain": "cgi.com",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "background",
      "claimRefs": [],
      "temporal": {
       "publishedAt": "2018-01-09",
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-20",
       "retrievedAt": null,
       "status": "publication-and-record-dates-recorded"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "Supplier case study for BOS. Treated as vendor material: used for the system's name and role, not for any performance claim.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-47d2afef627861bf",
      "title": "Dutch Water Sector — Storm Eleanor: national water authority closed all five big storm surge barriers",
      "url": "https://www.dutchwatersector.com/news/storm-eleanor-dutch-national-water-authority-closed-all-five-big-storm-surge-barriers",
      "publisher": {
       "name": null,
       "domain": "dutchwatersector.com",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "background",
      "claimRefs": [],
      "temporal": {
       "publishedAt": null,
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-20",
       "retrievedAt": null,
       "status": "record-date-only"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "Trade press, used for context on the wider Delta Works barrier system and Rijkswaterstaat's role as operator.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     }
    ],
    "coverage": {
     "claimsTotal": 2,
     "claimsMapped": 2,
     "sourcesTotal": 4,
     "sourcesUsedByClaims": 2,
     "sourcesWithPublicationDate": 2,
     "sourcesWithArchive": 0,
     "sourcesWithExactLocator": 0,
     "sourcesWithContentHash": 0
    },
    "limits": [
     "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."
    ]
   }
  },
  {
   "id": "2026-08-20-source-dates-r2",
   "createdAt": "2026-08-21T09:00:00Z",
   "effectiveAt": "2026-08-14",
   "changeType": "update",
   "summary": "Record the publication date of each source that states one; sources that publish no date are marked null.",
   "preparedBy": {
    "type": "automation",
    "label": "AI-assisted evidence preparation",
    "humanApproved": false
   },
   "review": {
    "status": "unreviewed",
    "by": null,
    "date": null,
    "note": "Awaiting operator and domain-expert review; publication of this revision implies neither."
   },
   "changes": [
    {
     "operation": "replace",
     "path": "/snapshot/projectFingerprint",
     "summary": "Updated projectFingerprint to the current sourced project record."
    },
    {
     "operation": "replace",
     "path": "/snapshot/sources",
     "summary": "Updated sources to the current sourced project record."
    }
   ],
   "snapshotHash": "sha256:bc00abf4df50db7acd2d2ce174f2c076ff5bc72728eb9c4f85f5be9d592b4cef",
   "snapshot": {
    "asOf": "2026-08-14",
    "projectFingerprint": "sha256:f7c1f924c3c9f2123aff4b1ac6202dcc9d787e2dd7a58610f0ed191864b6437a",
    "assurance": {
     "status": "unreviewed",
     "scope": "evidence-passport-revision",
     "statement": "AI-assisted structural preparation. This revision has not been reviewed by a human or subject-matter expert.",
     "machineChecks": [
      "schema",
      "publication-diff-contract",
      "material-project-fingerprint",
      "claim-text-drift",
      "source-reference-resolution",
      "complete-source-dossier",
      "snapshot-hash"
     ]
    },
    "projectState": {
     "status": "live",
     "outcome": "succeeded",
     "evidenceGrade": "independent",
     "timeline": {
      "started": 1997,
      "ended": null
     }
    },
    "governance": {
     "operator": "Rijkswaterstaat",
     "actorTypes": [
      "national-government"
     ],
     "fundingModel": "public-budget",
     "fundingDescription": null,
     "cost": null,
     "ownership": null,
     "decisionRights": null,
     "exitConditions": null
    },
    "claims": [
     {
      "id": "clm-936618135bade297",
      "field": "impact",
      "text": "Two real closures in 28 years of service (8 November 2007 and 21 December 2023)",
      "statementKind": "quantitative",
      "textMode": "verbatim-from-project-record",
      "mappingStatus": "mapped",
      "sourceRefs": [
       "src-836e75ddb152ccf0"
      ],
      "supportNote": "Wikipedia lists exactly two non-test closures: 8 November 2007 (at the temporarily lowered 2.6 m trigger) and 21 December 2023 (the first automatic closure at the 3.0 m threshold), against an opening in May 1997.",
      "caveat": null,
      "interpretation": {
       "added": false,
       "interpolation": false,
       "note": "The passport copies the published claim and its recorded source mapping without adding a conclusion."
      }
     },
     {
      "id": "clm-55690d0b5408375e",
      "field": "impact",
      "text": "an independent team formally specified and verified its BesW component in mCRL2 in 2025",
      "statementKind": "quantitative",
      "textMode": "verbatim-from-project-record",
      "mappingStatus": "mapped",
      "sourceRefs": [
       "src-bc2221e4cf28c8c8"
      ],
      "supportNote": "The preprint states a 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.",
      "caveat": null,
      "interpretation": {
       "added": false,
       "interpolation": false,
       "note": "The passport copies the published claim and its recorded source mapping without adding a conclusion."
      }
     }
    ],
    "sources": [
     {
      "id": "src-836e75ddb152ccf0",
      "title": "Wikipedia — Maeslantkering",
      "url": "https://en.wikipedia.org/wiki/Maeslantkering",
      "publisher": {
       "name": null,
       "domain": "en.wikipedia.org",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "claim-evidence",
      "claimRefs": [
       "clm-936618135bade297"
      ],
      "temporal": {
       "publishedAt": "2003-07-22",
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-21",
       "retrievedAt": null,
       "status": "publication-and-record-dates-recorded"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "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.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-bc2221e4cf28c8c8",
      "title": "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)",
      "url": "https://arxiv.org/abs/2504.08518",
      "publisher": {
       "name": null,
       "domain": "arxiv.org",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "claim-evidence",
      "claimRefs": [
       "clm-55690d0b5408375e"
      ],
      "temporal": {
       "publishedAt": null,
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-21",
       "retrievedAt": null,
       "status": "record-date-only"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "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.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-911d352edcfaba0f",
      "title": "CGI — intelligent decision and support system to control the flood barrier",
      "url": "https://www.cgi.com/en/media/case-study/intelligent-decision-and-support-system-control-flood-barrier",
      "publisher": {
       "name": null,
       "domain": "cgi.com",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "background",
      "claimRefs": [],
      "temporal": {
       "publishedAt": "2018-01-09",
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-21",
       "retrievedAt": null,
       "status": "publication-and-record-dates-recorded"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "Supplier case study for BOS. Treated as vendor material: used for the system's name and role, not for any performance claim.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-47d2afef627861bf",
      "title": "Dutch Water Sector — Storm Eleanor: national water authority closed all five big storm surge barriers",
      "url": "https://www.dutchwatersector.com/news/storm-eleanor-dutch-national-water-authority-closed-all-five-big-storm-surge-barriers",
      "publisher": {
       "name": null,
       "domain": "dutchwatersector.com",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "background",
      "claimRefs": [],
      "temporal": {
       "publishedAt": "2018-01-05",
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-21",
       "retrievedAt": null,
       "status": "publication-and-record-dates-recorded"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "Trade press, used for context on the wider Delta Works barrier system and Rijkswaterstaat's role as operator.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     }
    ],
    "coverage": {
     "claimsTotal": 2,
     "claimsMapped": 2,
     "sourcesTotal": 4,
     "sourcesUsedByClaims": 2,
     "sourcesWithPublicationDate": 3,
     "sourcesWithArchive": 0,
     "sourcesWithExactLocator": 0,
     "sourcesWithContentHash": 0
    },
    "limits": [
     "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."
    ]
   }
  },
  {
   "id": "2026-08-23-funding-model-enum",
   "createdAt": "2026-08-23T12:01:00Z",
   "effectiveAt": "2026-08-14",
   "changeType": "correction",
   "summary": "Corrected fundingModel from \"public-budget\" to \"public\", a value the taxonomy defines. The old value was outside the enum, so this entry formed a funding bucket of its own in every count that groups by it.",
   "preparedBy": {
    "type": "automation",
    "label": "AI-assisted evidence preparation",
    "humanApproved": false
   },
   "review": {
    "status": "unreviewed",
    "by": null,
    "date": null,
    "note": "Awaiting operator and domain-expert review; publication of this revision implies neither."
   },
   "changes": [
    {
     "operation": "replace",
     "path": "/snapshot/projectFingerprint",
     "summary": "Updated projectFingerprint to the current sourced project record."
    },
    {
     "operation": "replace",
     "path": "/snapshot/governance",
     "summary": "Updated governance to the current sourced project record."
    }
   ],
   "snapshotHash": "sha256:1d591bf2c28ada480430a25504770187b0b66b8c7f1364f3cbe1f26adc2bbf42",
   "snapshot": {
    "asOf": "2026-08-14",
    "projectFingerprint": "sha256:8376d85f0eb9a27a8b95a25b785f7afca65a987092db45dec3a83eb54fca18c3",
    "assurance": {
     "status": "unreviewed",
     "scope": "evidence-passport-revision",
     "statement": "AI-assisted structural preparation. This revision has not been reviewed by a human or subject-matter expert.",
     "machineChecks": [
      "schema",
      "publication-diff-contract",
      "material-project-fingerprint",
      "claim-text-drift",
      "source-reference-resolution",
      "complete-source-dossier",
      "snapshot-hash"
     ]
    },
    "projectState": {
     "status": "live",
     "outcome": "succeeded",
     "evidenceGrade": "independent",
     "timeline": {
      "started": 1997,
      "ended": null
     }
    },
    "governance": {
     "operator": "Rijkswaterstaat",
     "actorTypes": [
      "national-government"
     ],
     "fundingModel": "public",
     "fundingDescription": null,
     "cost": null,
     "ownership": null,
     "decisionRights": null,
     "exitConditions": null
    },
    "claims": [
     {
      "id": "clm-936618135bade297",
      "field": "impact",
      "text": "Two real closures in 28 years of service (8 November 2007 and 21 December 2023)",
      "statementKind": "quantitative",
      "textMode": "verbatim-from-project-record",
      "mappingStatus": "mapped",
      "sourceRefs": [
       "src-836e75ddb152ccf0"
      ],
      "supportNote": "Wikipedia lists exactly two non-test closures: 8 November 2007 (at the temporarily lowered 2.6 m trigger) and 21 December 2023 (the first automatic closure at the 3.0 m threshold), against an opening in May 1997.",
      "caveat": null,
      "interpretation": {
       "added": false,
       "interpolation": false,
       "note": "The passport copies the published claim and its recorded source mapping without adding a conclusion."
      }
     },
     {
      "id": "clm-55690d0b5408375e",
      "field": "impact",
      "text": "an independent team formally specified and verified its BesW component in mCRL2 in 2025",
      "statementKind": "quantitative",
      "textMode": "verbatim-from-project-record",
      "mappingStatus": "mapped",
      "sourceRefs": [
       "src-bc2221e4cf28c8c8"
      ],
      "supportNote": "The preprint states a 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.",
      "caveat": null,
      "interpretation": {
       "added": false,
       "interpolation": false,
       "note": "The passport copies the published claim and its recorded source mapping without adding a conclusion."
      }
     }
    ],
    "sources": [
     {
      "id": "src-836e75ddb152ccf0",
      "title": "Wikipedia — Maeslantkering",
      "url": "https://en.wikipedia.org/wiki/Maeslantkering",
      "publisher": {
       "name": null,
       "domain": "en.wikipedia.org",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "claim-evidence",
      "claimRefs": [
       "clm-936618135bade297"
      ],
      "temporal": {
       "publishedAt": "2003-07-22",
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-23",
       "retrievedAt": null,
       "status": "publication-and-record-dates-recorded"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "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.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-bc2221e4cf28c8c8",
      "title": "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)",
      "url": "https://arxiv.org/abs/2504.08518",
      "publisher": {
       "name": null,
       "domain": "arxiv.org",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "claim-evidence",
      "claimRefs": [
       "clm-55690d0b5408375e"
      ],
      "temporal": {
       "publishedAt": null,
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-23",
       "retrievedAt": null,
       "status": "record-date-only"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "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.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-911d352edcfaba0f",
      "title": "CGI — intelligent decision and support system to control the flood barrier",
      "url": "https://www.cgi.com/en/media/case-study/intelligent-decision-and-support-system-control-flood-barrier",
      "publisher": {
       "name": null,
       "domain": "cgi.com",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "background",
      "claimRefs": [],
      "temporal": {
       "publishedAt": "2018-01-09",
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-23",
       "retrievedAt": null,
       "status": "publication-and-record-dates-recorded"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "Supplier case study for BOS. Treated as vendor material: used for the system's name and role, not for any performance claim.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     },
     {
      "id": "src-47d2afef627861bf",
      "title": "Dutch Water Sector — Storm Eleanor: national water authority closed all five big storm surge barriers",
      "url": "https://www.dutchwatersector.com/news/storm-eleanor-dutch-national-water-authority-closed-all-five-big-storm-surge-barriers",
      "publisher": {
       "name": null,
       "domain": "dutchwatersector.com",
       "classification": "not-classified"
      },
      "sourceType": "web-page",
      "language": "und",
      "role": "background",
      "claimRefs": [],
      "temporal": {
       "publishedAt": "2018-01-05",
       "updatedAt": null,
       "sourceCheckedAt": null,
       "recordLastVerifiedAt": "2026-08-14",
       "dossierCreatedAt": "2026-08-23",
       "retrievedAt": null,
       "status": "publication-and-record-dates-recorded"
      },
      "locator": {
       "type": "descriptive-source-note",
       "value": "Trade press, used for context on the wider Delta Works barrier system and Rijkswaterstaat's role as operator.",
       "exact": false
      },
      "preservation": {
       "archiveUrl": null,
       "archivedAt": null,
       "contentHash": null,
       "status": "not-captured"
      }
     }
    ],
    "coverage": {
     "claimsTotal": 2,
     "claimsMapped": 2,
     "sourcesTotal": 4,
     "sourcesUsedByClaims": 2,
     "sourcesWithPublicationDate": 3,
     "sourcesWithArchive": 0,
     "sourcesWithExactLocator": 0,
     "sourcesWithContentHash": 0
    },
    "limits": [
     "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."
    ]
   }
  }
 ]
}