dan on Nostr: i'm also verifying that the tex proof it generates per blueprint node actually ...

i'm also verifying that the tex proof it generates per blueprint node actually contains references to every blueprint-included claim on the node's shallow dependency list. so it's forced to actually connect these in text