The finale states the boundary for the flagship exact step. The arithmetic is exact and the broader claims are explicitly outside this render.
highlighted = computed this step
What is exact
This book computes one exact backprop step on the same small rational network. The key register includes dL/dw11=-2, dL/dw12=-4, and dL/db1=-2.
dw11dL=−2,dw12dL=−4,db1dL=−2
What is not claimed
This is about 10 parameters, not 100B. It is not training, not convergence, not learning, and no generalization claim is made.
one exact step; not training or convergence
Summary
This is one exact backprop step on a small rational toy network. ReLU's zero-or-one derivative keeps every gradient exact rational; it is not training, not convergence, not learning, and no generalization claim.