Three property tests walk every .s file under the installed GOROOT plus the repository's kernels: formatting is idempotent and preserves the token stream, a clean parse keeps its tree through a format pass, and a cleanly expanding file expands to the same statements afterwards. The walks skip under -short so the push suite keeps its budget. Assisted-by: GLM 5.3