Formal Web origin test

Expected: https://formal-repro-261110.a10.run

Actual: