A wrong period square renders as an exact rejected ledger. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
The candidate ratio is computed exactly
The rejected candidate has 36 over 64.
a3T2=6436=169
The accepted bit is zero because the ratio misses K
The source K is 1/2, but the candidate ratio is 9/16, so accepted bit is 0.