Skip to content

feat(math-foundry): certified E1 pattern catalogue and guarded baseline fallback - #1694

Merged
AdaWorldAPI merged 3 commits into
lab/math-foundry-1-proof-replay-20261022from
lab/math-foundry-2-certified-catalogue-20261022
Oct 22, 2026
Merged

feat(math-foundry): certified E1 pattern catalogue and guarded baseline fallback#1694
AdaWorldAPI merged 3 commits into
lab/math-foundry-1-proof-replay-20261022from
lab/math-foundry-2-certified-catalogue-20261022

feat(math-foundry): expose guarded catalogued execution

4cca545
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar