egglog R2IL mathematical compiler probe

Workflow runs for egglog R2IL mathematical compiler probe

• Merge pull request #1752 from AdaWorldAPI/lab/math-polyfill-probe-202…

  completed successfully:
  egglog R2IL mathematical compiler probe#24:Commit5367faepushedbyAdaWorldAPI
  main

  Oct 23, 20262m 39s
  More actions for workflow run 24

• lab(mpf): D-MPF-1 — the Stage 1 math polyfill already exists; one expression, oracle, refusals, cost split

  completed successfully:
  egglog R2IL mathematical compiler probe#23:Pull request#1752synchronizebyAdaWorldAPI
  lab/math-polyfill-probe-20261023

  Oct 23, 20262m 38s
  More actions for workflow run 23

• lab(mpf): D-MPF-1 — the Stage 1 math polyfill already exists; one expression, oracle, refusals, cost split

  completed successfully:
  egglog R2IL mathematical compiler probe#22:Pull request#1752synchronizebyAdaWorldAPI
  lab/math-polyfill-probe-20261023

  Oct 23, 20262m 45s
  More actions for workflow run 22

• Merge pull request #1742 from AdaWorldAPI/lab/drmc-proofstore-certifi…

  completed successfully:
  egglog R2IL mathematical compiler probe#21:Commit801c8b1pushedbyAdaWorldAPI
  main

  Oct 23, 20262m 49s
  More actions for workflow run 21

• lab(drmc): certificate keeps egglog's ProofStore + ProofId, not its rendering; L1 board records

  completed successfully:
  egglog R2IL mathematical compiler probe#20:Pull request#1742synchronizebyAdaWorldAPI
  lab/drmc-proofstore-certificate-20261023

  Oct 23, 20262m 47s
  More actions for workflow run 20

• lab(drmc): certificate keeps egglog's ProofStore + ProofId, not its rendering; L1 board records

  completed successfully:
  egglog R2IL mathematical compiler probe#19:Pull request#1742openedbyAdaWorldAPI
  lab/drmc-proofstore-certificate-20261023

  Oct 23, 20262m 42s
  More actions for workflow run 19

• Merge pull request #1717 from AdaWorldAPI/lab/egglog-tanh-typed-laws-…

  completed successfully:
  egglog R2IL mathematical compiler probe#18:Commitf16318dpushedbyAdaWorldAPI
  main

  Oct 22, 20263m 53s
  More actions for workflow run 18

• test(math-foundry): typed tanh/atanh rewrites for NARS, Bayes and Fisher

  completed successfully:
  egglog R2IL mathematical compiler probe#17:Pull request#1717synchronizebyAdaWorldAPI
  lab/egglog-tanh-typed-laws-20261022

  Oct 22, 20263m 51s
  More actions for workflow run 17

• Merge pull request #1722 from AdaWorldAPI/lab/ce64-hebb-saturation-pr…

  completed successfully:
  egglog R2IL mathematical compiler probe#16:Commit2cc7aa0pushedbyAdaWorldAPI
  main

  Oct 22, 20267m 17s
  More actions for workflow run 16

• test(hebbian): bounded synaptic plasticity on immutable palette references

  completed successfully:
  egglog R2IL mathematical compiler probe#15:Pull request#1713synchronizebyAdaWorldAPI
  lab/pal256-hebbian-overlay-20261022

  Oct 22, 20263m 9s
  More actions for workflow run 15

• test(math-foundry): typed tanh/atanh rewrites for NARS, Bayes and Fisher

  completed successfully:
  egglog R2IL mathematical compiler probe#14:Pull request#1717synchronizebyAdaWorldAPI
  lab/egglog-tanh-typed-laws-20261022

  Oct 22, 20263m 59s
  More actions for workflow run 14

• probe(hebb): saturation-damped local plasticity versus episodic MRU baseline

  completed successfully:
  egglog R2IL mathematical compiler probe#13:Pull request#1722openedbyAdaWorldAPI
  lab/ce64-hebb-saturation-probe-20261022

  Oct 22, 20262m 21s
  More actions for workflow run 13

• test(math-foundry): typed tanh/atanh rewrites for NARS, Bayes and Fisher

  failed:
  egglog R2IL mathematical compiler probe#12:Pull request#1717openedbyAdaWorldAPI
  lab/egglog-tanh-typed-laws-20261022

  Oct 22, 20262m 24s
  More actions for workflow run 12

• Merge pull request #1705 from AdaWorldAPI/ccr-0455e606-wmtsor

  completed successfully:
  egglog R2IL mathematical compiler probe#11:Commit42aba0cpushedbyAdaWorldAPI
  main

  Oct 22, 20263m 45s
  More actions for workflow run 11

• egglog-r2il-probe: report the cold egglog phase in µs; coresearch map for D-DRMC

  completed successfully:
  egglog R2IL mathematical compiler probe#10:Pull request#1705synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 22, 20262m 43s
  More actions for workflow run 10

• egglog-r2il-probe: report the cold egglog phase in µs; coresearch map for D-DRMC

  cancelled:
  egglog R2IL mathematical compiler probe#9:Pull request#1705synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 22, 20261m 34s
  More actions for workflow run 9

• egglog-r2il-probe: report the cold egglog phase in µs; coresearch map for D-DRMC

  completed successfully:
  egglog R2IL mathematical compiler probe#8:Pull request#1705synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 22, 20262m 36s
  More actions for workflow run 8

• egglog-r2il-probe: report the cold egglog phase in µs; coresearch map for D-DRMC

  completed successfully:
  egglog R2IL mathematical compiler probe#7:Pull request#1705synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 22, 20262m 3s
  More actions for workflow run 7

• egglog-r2il-probe: report the cold egglog phase in µs; coresearch map for D-DRMC

  completed successfully:
  egglog R2IL mathematical compiler probe#6:Pull request#1705openedbyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 22, 20269m 6s
  More actions for workflow run 6

• Merge pull request #1699 from AdaWorldAPI/docs/math-foundry-1690-1695…

  completed successfully:
  egglog R2IL mathematical compiler probe#5:Commitda4ebc7pushedbyAdaWorldAPI
  main

  Oct 22, 20268m 2s
  More actions for workflow run 5

• Merge pull request #1698 from AdaWorldAPI/review/math-foundry-integra…

  cancelled:
  egglog R2IL mathematical compiler probe#4:Commit022b92fpushedbyAdaWorldAPI
  main

  Oct 22, 202611m 18s
  More actions for workflow run 4

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

  completed successfully:
  egglog R2IL mathematical compiler probe#3:Pull request#1698synchronizebyAdaWorldAPI
  review/math-foundry-integration-gates-20261022

  Oct 22, 20263m 36s
  More actions for workflow run 3

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

  failed:
  egglog R2IL mathematical compiler probe#2:Pull request#1698synchronizebyAdaWorldAPI
  review/math-foundry-integration-gates-20261022

  Oct 22, 202627s
  More actions for workflow run 2

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

  failed:
  egglog R2IL mathematical compiler probe#1:Pull request#1698openedbyAdaWorldAPI
  review/math-foundry-integration-gates-20261022

  Oct 22, 202629s
  More actions for workflow run 1