Older snapshots
A snapshot is an immutable freeze. Corrected evidence never edits a published snapshot: it creates a new one with a new release name and new digests, and the superseded snapshot stays exactly as it was published, at the URL it was published at. Nothing on this site is ever unpublished, and no page below has been rewritten since its freeze — a citation of an archived page resolves today and is meant to keep resolving.
The sidebar carries the two freezes most readers want — the current one and the one before it. This page is the table of contents for everything older.
Current and previous
Section titled “Current and previous”- v0.8.0 — current.
The stable pointer
/currentalways resolves here. - v0.7.1 — previous. Superseded by v0.8.0; its evidence and its numbers are unchanged.
Both are expanded in the sidebar, with their analyzers, languages, templates, and case-evidence pages.
Archive
Section titled “Archive”Every entry below is a frozen release, newest first. The counts are read at
build time from that freeze’s own archived results model, so they are the
numbers that snapshot published — not a later restatement of them. The freeze
ID is the SHA-256 of its manifest, and the evidence pin is the commit whose
tree holds that manifest and its retained evidence, permanently pinned so the
links keep resolving as main moves on.
-
v0.7.0 archived
The currency freeze — every analyzer pin brought up to date and re-run, with two preregistered amendments bound for the first time and eight clean negatives withdrawn as vacuous.
8 analyzers · 82 bound reports · 852 frozen cases
- Freeze ID
-
c543ae4ebd11ed6f3495f4461b5b4bd7c84d0874997f1b62044e9df62817b28b - Evidence pin
-
61300f47de7a
Snapshot overview · Analyzers · Languages · Semantic templates · Case evidence · Latency · Analyzer profiles
-
v0.6.1 archived
A patch freeze — the Bifrost v0.10.8 fix cycle re-pinned and re-run, with one regression and one benchmark-side self-correction published.
8 analyzers · 82 bound reports · 852 frozen cases
- Freeze ID
-
65638eafb36478120d268290479815114f244baa57994c47e19fac6b759e50ae - Evidence pin
-
3eab449bcd40
Snapshot overview · Analyzers · Languages · Semantic templates · Case evidence · Latency · Analyzer profiles
-
v0.6.0 archived
Four new analyzers, the first pin-currency review, and the first publication of the latency tier.
8 analyzers · 74 bound reports · 852 frozen cases
- Freeze ID
-
3228af686d09f8666989368483bef375bb28b94025b55e31eaa7a0bdd29506ee - Evidence pin
-
c0c42013a35a
Snapshot overview · Analyzers · Languages · Semantic templates · Case evidence · Latency · Analyzer profiles
-
v0.5.0 archived
The Bifrost v0.10.7 fix cycle, and the first freeze to publish the modeling and tool-native tiers.
4 analyzers · 66 bound reports · 852 frozen cases
- Freeze ID
-
43a34341ca3f818f55878bb23562da03b8fc4b1fc0c83f47b954eb22ec3f41e4 - Evidence pin
-
d6582d1c29c1
Snapshot overview · Analyzers · Languages · Semantic templates · Case evidence
-
v0.4.0 archived
The first expanded-breadth freeze — thirteen challenge-tier kernels across four analyzers.
4 analyzers · 42 bound reports · 744 frozen cases
- Freeze ID
-
91b0008a546e6b782c1b790f174a71ce44e60039239797674eb49ebc6ac6c366 - Evidence pin
-
86a29e0516f7
Snapshot overview · Analyzers · Languages · Semantic templates · Case evidence
-
v0.3.0 archived
Breadth baseline plus ten language propagation kernels, with CodeQL evidence for all ten.
2 analyzers · 19 bound reports · 328 frozen cases
- Freeze ID
-
61d0025957ba5f8a8d3ffa6cd2b46ba058bd67fcf2128568a96ff0eb5a1546e4 - Evidence pin
-
cd572c402c3d
Snapshot overview · Analyzers · Languages · Semantic templates · Case evidence
-
v0.2.0 archived
Breadth baseline plus the Java, JavaScript, and Python propagation kernels for both analyzers.
2 analyzers · 5 bound reports · 118 frozen cases
- Freeze ID
-
c8ba343f2db9a8c1cac5570a414bf497c85bbe11d29730639575c9ba3bb70912 - Evidence pin
-
16d001475f65
Snapshot overview · Analyzers · Languages · Semantic templates · Case evidence
-
v0.1.0 archived
The M1 baseline freeze — breadth baseline and Java propagation kernel.
2 analyzers · 2 bound reports · 118 frozen cases
- Freeze ID
-
c9429463e39aa4d4c868295a2025b4d192cb8d5add5bc9e36265eedc5e1838cf - Evidence pin
-
d8dda057ea9d
Snapshot overview · Analyzers · Languages · Semantic templates · Case evidence