Proof of `Constructing polynomial space bounds`
What this proof establishes
no assumptions
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
Count the input, append each polynomial term using nested counters, and scan the output track to halt at position .