Comment by Terr_

14 hours ago

My reading is that it's a convenient near-7 approximation someone developed, like using 22/7 for pi.

Certainly good enough for practical handheld construction purposes, but not geometric-proof-y stuff.

Checkout

    Scimemi, Draw of a regular
    heptagon by folding.
    Proceedings of the 1st
    International Meeting of
    Origami Science and 
    Technology. 1989

Simultaneous folding is mathematically a strictly more powerful primitive.

Are you familiar with Lill's method of finding real roots of polynomials of any degree ? Simultaneous folds are a realization of the same idea

https://en.m.wikipedia.org/wiki/Lill%27s_method#Finding_root...