Manuscript VIII-C@3 · VIII-C-v3.tex · section · 3b070436
The five-component output
Complete affine matching at every command boundary › The five-component output · lines 373–382
These are local versions of VIII-A's fixed-presentation completeness
and rejected updates
CheungVIIIA (Theorems A:thm:A1,
A:thm:A4-stale, and A:thm:A4-time).
They do not assert that holonomy alone determines all chart transitions.
In particular, matching a few endpoints or a peripheral product is
not a substitute for eq:canonical.