Manuscript XIII-E@1 · XIII-E.tex · definition · 74eaba48
Definition: Remaining common-frequency obligation
E1: one common-frequency prescription attempt › The exact unfinished E1 statement · lines 861–875
XIII-E@1#def:E1-missing
For the fixed weighted graph family, the remaining obligation is:
establish a distributional limit through every noncoincident characteristic configuration in ;
retain the full tensor and branch summation when deciding whether singular contributions cancel;
show that admissible changes of auxiliary regularization give the same off-collision prescription, or differ only by the permitted collision-supported ambiguities after extension;
preserve the prescribed values on the strictly ordered attachment domains.