Manuscript Em01-A@1 · Em01-A.tex · remark · 880b67af
Remark: Evidence limitation
Claim, evidence, and scope › Source statements used for comparison · lines 248–255
The mathematical proofs below are self-contained relative to the explicitly stated Green-operator package. Comparisons with the registered manuscripts use only the supplied quotations and registry descriptions. No unquoted manuscript theorem, no unregistered manuscript, and no external-model output is used as a premise.