probe(dr-math): guarded theorem/compiled-recipe identities across DR classes [3/5] - #1703

probe(dr-math): guarded theorem/compiled-recipe identities across DR classes [3/5]#1703

AdaWorldAPI merged 5 commits into

lab/dr-math-2-population-evidence-20261022AdaWorldAPI/lance-graph:lab/dr-math-2-population-evidence-20261022from

lab/dr-math-3-law-recipe-20261022AdaWorldAPI/lance-graph:lab/dr-math-3-law-recipe-20261022Copy head branch name to clipboard