Manuscript Em01-A@1 · Em01-A.tex · remark · 880b67af
Remark: Non-implication is not nonexistence
What would constitute an actual graph bridge? › A bridge certificate · lines 1494–1501
Proposition prop:no-witness-certificate does not prove that the actual prepared source cannot participate in a future graph construction. It proves that a stated witness identity is not itself that construction. A sufficiently strong additional identification and composition theorem could change the status.