FirmSem Route-B Artifact v2.0.0

FirmSem Route-B artifact v2.0.0

This release accompanies the empirical-study revision, FirmSem: An Empirical Study of Security-Guard Survival in Release Binaries.

The attached compact archive contains the reusable implementation, independent annotations and adjudications, final gold, frozen model transcripts, bounded mechanism-attribution evidence, controlled policy replays, claim-to-evidence ledgers, and deterministic audit scripts. Development, project-disjoint, patch-paired, and compiler-matrix strata remain separate.

The archive deliberately excludes documented multi-gigabyte source checkouts, compiler build trees, raw logs, and intermediate traces. It supports integrity verification, software tests, evidence inspection, and selected deterministic recomputation; it is not a self-contained replay of every acquisition and build stage.

Integrity

• File: FirmSem_RouteB_Artifact_v2.0.0.zip
• Size: 26,183,730 bytes
• SHA-256: 0844c55eb6ec5c7c8b3f297658c9a75ed44a18820773729b016173ef8e91976d
• Manifest: 4,131 files, 114,648,224 uncompressed payload bytes

The same ZIP is archived on Zenodo under DOI 10.5281/zenodo.21485535.