As of July 1st 2023, the EU DCC project has been handed over to the WHO. The project has therefore been frozen. This repository will be placed into archival mode. It will remain available for the foreseeable future - however, it will no longer be actively maintained.
The Digital COVID Certificate (DCC) allows determining whether a person is deemed fit-for-travel into a country-of-arrival (CoA) based on their vaccination, test, and recovery status. To make such determinations, business (or validation, or verification) rules can be implemented in verifier apps.
This repository contains an analysis of the business rules that have been uploaded to the EU DCC Gateway. The analysis focuses almost entirely on rules pertaining to vaccination DCCs. The analysis takes the shape of a number of JSON files which aggregate findings on the uploaded business rules, typically organised per country that has uploaded business rules. These JSON files are also presented in the form of an equal number of static, standalone HTML files: the “dashboard pages”.
These dashboard pages are:
- An inventory of what countries accept which vaccines, including waiting time and validity
- A matrix detailing which vaccines are accepted by which countries
- A dashboard detailing which countries have uploaded how many business rules
- The result of validating all business rules
- An overview of which rule (versions) are currently available, including their validity range - this is mainly per development purposes
These analysis files are persisted in this repository to be able to easily track changes to the business rules over time.
The URLs in this list use a free, open-source external service to renders static HTML files on GitHub as Web pages.
It works by pre-pending "https://htmlpreview.github.io/?" to the original GitHub URL.
The analysis of the business rules is performed automatically (using an algorithm that's based on partial evaluation). This algorithm makes a number of assumptions. If these are violated then usually the analysis aborts before the end. In case of a bug, the algorithm might actually finish, in which case the produced analysis is inaccurate.
The algorithm also replaces some sub expressions in the CertLogic part of business rules with equivalent (or at least: sufficiently similar) ones to circumvent limitations that the partial evaluator currently has.
These replacements can be found in the replacements.json file, and are organised per country.
- If you found any problems, please create an Issue.
- Current status: Work-In-Progress.
analysis/: All generated analyses, in both JSON format (the source), and HTML files generated from that.per-country/: For every country that uploaded business rules, a directory with all their rules retrieved from the EU DCC Gateway (or rather: one of the National Backends). All rules with the same rule identifier (ID, e.g.VR-NL-0007) are stored in one separate file, as rule versions (in anti-chronological order) under that rule ID. Remarks:- A rule JSON file has a name that consists of the rule's ID with the country code (and 1 hyphen) removed. E.g., all rule versions
- Versions of a rule whose
ValidTodate lies in the past is not in these files. (That's a consequence of the implementation of the API of the EU DCC Gateway.)
scripts/: All scripts, except for the main build script.src/: All source code for JavaScript/Node.js programs.tmp/: A Git-ignored directory for storing temporary files, without committing these.
Beyond that, the repository contains some shell scripts, and the usual license, and JavaScript- and TypeScript-related config files.
Also of potential interest:
-
NOTES.mdnotes past (done and not-going-to-do) work, as well as possible future work. -
The
demobranch contains a demo for partial evaluation with EU DCC business rules. It can be run from the command-line:$ ./demo/run.sh
Note: no explanation is provided, and the branch is not maintained - not even kept up-to-date with the
mainbranch.
The analysis has the following dependencies:
Note that you can also use a GitHub Codespace.
In particular, running ./build.sh and the JRC-script in a terminal will work.
Mind that commit signing from within a Codespace needs setting up separately.
Triggering the analysis is done by running the main build script from the command-line:
$ ./build.sh
This downloads and installs JavaScript dependencies, retrieves the uploaded business rules from a National Backend, analyses those, and generates the analysis artefacts in the analysis/ directory.
The analysis that determines which countries accept which vaccines with which validity ranges is somewhat time-consuming: roughly a couple of minutes.
Because of that, the build script is broken up into two phases: 1. retrieval of value sets, business rules, and generation of non-vaccination-related analysis artefacts, and 2. running the vaccine-centric analyses.
Re-open Europe is a website/app made by the EU Joint Research Center (JRC) to provide information on travel and health measures during the COVID-19 pandemic.
An API for that information is available, and is documented here.
This code base contains some code to try and “harvest” that API, in the directory src/jrc/.
You can run that code from the command-line as follows (from the repository's root):
$ ./sripts/harvest-jrc.sh
This produces various files in the directory tmp/jrc.
Copyright (c) 2021- Dutch Ministry of Health, Science, and Sports, and all other contributors
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License.
You may obtain a copy of the License at https://www.apache.org/licenses/LICENSE-2.0.
Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the LICENSE for the specific language governing permissions and limitations under the License.