Manuscript En03-A@1 · En03-A.tex · proposition · 5398614e
Proposition: Constraint words and affine edge lengths
External conical geometry and certified local moves › Affine intersection laws · lines 1415–1433 · proof included or linked
En03-A@1#prop:affine
A polygonal slice induced from a fixed flat conical spacetime and its component-indexed atlas has ordered transition products equal to the corresponding monodromies.
On an interval of fixed incidence, suppose normals are constant, offsets are affine in the parameter, and endpoints solve nonsingular constant-coefficient linear intersection systems. If an edge has a fixed spacelike direction, its length is affine on subintervals where orientation does not reverse.
Proof. The first statement is chart continuation. An endpoint satisfying , with constant and invertible, is affine. An edge difference with fixed unit spacelike direction is , of length .