Repository navigation

Integrate #1694/#1695 into main with isolated math-foundry CI and semantic gates - #1698

Merged

AdaWorldAPI merged 6 commits into

mainfrom

review/math-foundry-integration-gates-20261022

Oct 22, 2026

Merged

Integrate #1694/#1695 into main with isolated math-foundry CI and semantic gates#1698
AdaWorldAPI merged 6 commits into
mainfrom
review/math-foundry-integration-gates-20261022

Commits on Oct 22, 2026
- ci(math-foundry): run excluded egglog-r2il probe tests
  
  AdaWorldAPI
  authored and
  claude
  committed
  dd03f3b
- docs(math-foundry): cross-PR integration and falsifier gates
  
  AdaWorldAPI
  authored and
  claude
  committed
  30f27f9
- docs(math-foundry): correct stacked-merge status and scalar E1 boundary
  
  AdaWorldAPI
  authored and
  claude
  committed
  766e314
- egglog-r2il-probe: rustfmt artifact/catalogue/heritage (unblocks the isolated CI fmt step)
  claude
  committed
  3e41023
- egglog-r2il-probe: refuse inconsistent premises; certified hits stay inside the checked range
  claude
  committed
  11ca3fe
- docs(math-foundry): record the two P0 gates as closed for linear E1
  claude
  committed
  e5b06c0