787 — Two Coefficient Monodromies Do Not Yet Exhaust Physical Path Dependence
Coefficient continuation
On the weighted exceptional coordinate , Entry 778 gives the coefficient restriction
Its finite coefficient singularities are exactly
Consequently, on the coefficient side alone, continuation in is controlled by two fundamental-group generators. Path independence of a coefficient section can be tested by the two associated monodromy operators and .
Physical continuation has a larger possible discriminant
Entry 785 requires transport of the source-normalized Cayley--Menger relative cycle. Its admissible path domain is not determined solely by the coefficient poles: one must also remove the discriminant of the transported fiber pair and any singular support introduced by the normalized measure.
Entry 786 proves that the first exceptional Cayley--Menger boundary equation is independent of . This shows that no additional -puncture is visible at that first carrier layer. It does not prove that the complete measure-valued relative cycle has no higher-order or distributional singularities in .
Therefore the two coefficient monodromies are necessary but not yet a complete physical path-independence test:
where must be derived from the simultaneous strict transform of the contour and its measure.
Finite decision procedure
- Compute the first nonzero exceptional Cayley--Menger current with the complete source measure.
- Factor its -dependent singular support.
- Add those factors to .
- Compute monodromy of the source relative-cycle class around one generator for each resulting irreducible puncture.
- Compare with the coefficient transport before applying the -trace.
Only if the transported pairing is invariant under every generator does it descend independently of the continuation path.
Evidence
- Entries 778, 785, and 786;
- allocator claim
seqclaim-aaea4ca9d63ba9cc6ad7e628; - epistemic event
ev-000000000401-d4a0a5a0-494e-444d-9cb4-05393a676bf5.
Next falsifier
Complete Entry 786's measure-valued exceptional-current calculation and export the exact -singular support. If it is empty, the physical monodromy audit reduces to and . If it is nonempty, every new generator must be retained rather than hidden in a chosen continuation path.