Repository navigation
The two documents that still deferred a scheduling policy say what was measured - #1203
Merged
Merged
Conversation
…s measured EMatching.md deferred whether Expands rules ever join SafeRules to "a separate document's question, once one exists", and Transformations.md's list of what is left said the graph had no production caller. Both were true when written and are not now: #1193 and #1194 measured that the growth ceiling is the scheduling policy and that Expands rules do not join the safe set; #1198 and #1202 found what the graph did need -- a rational folded on insertion and an extraction that is a fixed point from the leaves up -- by running the safe ceiling over the corpus; and #1201 gave the graph its first production caller. The documents point at those rather than at a question nobody is going to open. Part of #746. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Documentation only. Two contributor documents still carried the tier 2 state as it was before this
week's PRs, and a reader following them would re-open questions that are answered:
EMatching.mddeferred whetherExpandsrules ever joinSafeRules"to a separate document'squestion, once one exists". It now points at the measurement: the growth ceiling is the
scheduling policy (The saturation runaway is one inverse pair across two sets, not a tier (#746) #1193, The growth ceiling is the scheduling policy, and the runaway is bounded to trig #1194),
Expandsrules do not join the safe set, and what the graphactually needed was a rational folded on insertion (The e-graph folds a rational on insertion, and the safe ceiling is measured on the corpus #1198) and an extraction that is a fixed
point from the leaves up (Extraction is a fixed point from the leaves up, and a budget is honoured to the millisecond #1202) — both found by running the safe ceiling over the corpus.
Transformations.md's "what is left" said the graph had no production caller. It has one(The perfect-square collapse asks the rewrite graph before it asks Simplify #1201), and the bullet says what the growth ceiling already does for a declared inverse pair.
No code, no tests, no changed answers. Part of #746.
🤖 Generated with Claude Code
https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura