Proves an 8-bit quantised variant of the model

Attestable reports that matrix multiplications are dynamically quantised to 8-bit integers, while non-linear operations are proven in floating point. It reports that its IFEval result "shows where the current quantization still needs improvement" ¹. The proven model is therefore a quantised variant, which a verifier must accept as the declared model.