Download

CC BY-SA 4.0 lets you extract, reuse and share all of this, in bulk. Nothing here requires an account. The archive is served from its public source; Syntology's layer is a stamped file with the provenance record beside it.

The archive archive 2025-07-28

The five tables this site is built from, byte-identical to what it serves (the build reads them directly):

How the tables were reshaped is stated on the attribution page; the exact exclusion counts for this build are on what is not shown.

Syntology's layer Syntology

Each sample's status uses the six values the pages use (ran_honours, ran_violates, ran_draft_wrong, ran_fixture, ran, unverified), written into the file by the same function that labels every page, status_of in the site's build, from the recorded level, report and contract verdict: a level below 1, or a level with no report behind it, is unverified whatever its verdict. The values are explained on about. Code bodies are not in this file; the graph service at syntology.ai serves a sample's text only when its repository's licence is on Syntology's permissive list (MIT, Apache-2.0, BSD and similar), which is what license_inline_ok records. Syntology's layer is published under CC BY-SA 4.0, like the archive material.