# todo

Unfinished work.

1. A machine-checked correctness proof relates the shipped weights to the ISA.