saulshanabrook

Backoff Scheduler Semantics: egg versus current egglog

This report records minimal reproductions showing that the current experimental egglog backoff scheduler does not implement the same match lifecycle as egg::BackoffScheduler. It also checks whether those differences occur in the Math microbenchmark when run with the paper's backoff parameters.

The direct reproductions used:

• egglog-encoding commit a90ff9acf27577709ce8e28b7de0d79fee0e207a;

saulshanabrook

"""
The goal here is to see if we can replicate the PEGGY paper but by embedding it in an egglog
dialect that has fixpoint as a builtin as well as higher order functions.

If we can implement fix point fusion as a rule,
"""
# mypy: disable-error-code="empty-body"

from collections.abc import Callable
from typing import Generic, Protocol, TypeAlias, TypeVar, cast

saulshanabrook

saulshanabrook

saulshanabrook

saulshanabrook

$ cat ~/.codex/skills/scientific-method-debugging/agents/openai.yaml
interface:
  display_name: "Scientific Method Debugging"
  short_description: "Falsifiable debugging loop"
  default_prompt: "Use $scientific-method-debugging to investigate this bug with observation, competing hypotheses, falsifiable probes, and regression-checked fixes."
$ cat ~/.codex/skills/scientific-method-debugging/SKILL.md
---
name: scientific-method-debugging
description: Run an evidence-first scientific debugging loop for debugging, performance analysis, semantic drift, or codebase comparisons. Use when a user wants claims backed by actual runs, when multiple plausible causes exist, when a bug needs to be shrunk to the smallest repro, or when fixes should be accepted only if they flip the target case without regressing a known comparison set.
---

saulshanabrook

city,month,month_num,temp_low,temp_high,precip_days,precip_inches,sunshine_hours,latitude,longitude
Seattle,Jan,0,37,47,18,5.55,69,47.608013,-122.335167
Seattle,Feb,1,37,50,14,3.46,108,47.608013,-122.335167
Seattle,Mar,2,39,54,16,3.7,178,47.608013,-122.335167
Seattle,Apr,3,42,58,14,2.68,207,47.608013,-122.335167
Seattle,May,4,47,65,12,1.93,253,47.608013,-122.335167
Seattle,Jun,5,52,70,9,1.54,268,47.608013,-122.335167
Seattle,Jul,6,56,76,5,0.67,312,47.608013,-122.335167
Seattle,Aug,7,56,76,4,0.87,281,47.608013,-122.335167
Seattle,Sep,8,52,71,7,1.42,221,47.608013,-122.335167

saulshanabrook

(sort egglog.exp.array_api.RecursiveValue)
(sort egglog.exp.array_api.NDArray)
(constructor egglog_exp_array_api_NDArray_to_recursive_value (egglog.exp.array_api.NDArray) egglog.exp.array_api.RecursiveValue)
(constructor egglog_exp_array_api_vecdot (egglog.exp.array_api.NDArray egglog.exp.array_api.NDArray) egglog.exp.array_api.NDArray :unextractable)
(constructor egglog_exp_array_api_NDArray___init__ (egglog.exp.array_api.RecursiveValue) egglog.exp.array_api.NDArray)
(sort egglog.builtins.Vec[egglog.exp.array_api.RecursiveValue] (Vec egglog.exp.array_api.RecursiveValue))
(constructor egglog_exp_array_api_RecursiveValue_vec (egglog.builtins.Vec[egglog.exp.array_api.RecursiveValue]) egglog.exp.array_api.RecursiveValue)
(sort egglog.exp.array_api.Value)
(constructor egglog_exp_array_api_RecursiveValue___init__ (egglog.exp.array_api.Value) egglog.exp.array_api.RecursiveValue)
(sort egglog.exp.array_api.Int)

saulshanabrook

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "Array_of_GenericCommand",
  "type": "array",
  "items": {
    "$ref": "#/$defs/GenericCommand"
  },
  "$defs": {
    "GenericCommand": {
      "description": "A [`Command`] is the top-level construct in egglog.\nIt includes defining rules, declaring functions,\nadding to tables, and running rules (via a [`Schedule`]).",

saulshanabrook

diff --git a/src/mlir_egglog/jit_engine.py b/src/mlir_egglog/jit_engine.py
index de9ac2f..e3b3aa0 100644
--- a/src/mlir_egglog/jit_engine.py
+++ b/src/mlir_egglog/jit_engine.py
@@ -10,7 +10,6 @@ from egglog import RewriteOrRule, Ruleset
 import llvmlite.binding as llvm
 
 from mlir_egglog.llvm_runtime import (
-    create_execution_engine,
     init_llvm,