Beyond cataloging entries, the project also demonstrates the Rosetta thesis executably: it drives audited verifiers over shared, ecosystem-neutral test vectors and shows that one statement verifies…