Cover metta_calculus query and chaining semantics - #110
Open
MesTTo wants to merge 4 commits into
Open
Conversation
Contributor
Author
bench_flybase and the meta-exec staging test in mork test both called metta_calculus(0) depending on the pre-fix loop running one exec anyway. Under the exact budget they become no-ops and the staging test's assert fails; both want exactly one redex, so pass 1. mork test exits 0 again with the fix.
Five independent execs pending, budget 3: exactly three interpret (return 3, three rewrites in the space, two execs still scheduled). The old loop ran budget+1, which is the divergence the exponential bench made visible (33 steps of work reported as 32). Counts are line-anchored because the pending execs' templates also contain the output pattern text.
MesTTo
force-pushed
the
pr/mork-metta-calculus-chaining
branch
from
July 4, 2026 13:30
9bac573 to
7f65c8f
Compare
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.
Behavior tests for the metta_calculus query and chaining semantics through the public surface only (
add_all_sexpr/metta_calculus/dump_sexpr): repeated-variable filtering,==-source whole-term materialization, conjunctive shared-binding joins, context-shape preservation, and one-redex-per-step staging. Fifteen tests across the three files; the three step-budget cases fail on the unfixed loop.This branch carries the same
metta_calculusstep-budget fix as #58 byte-identically (land either first and the other rebases), including its twomain.rscaller updates (mork testexits 0) and the pending-surplus pinning test. The same benchmark disclosure applies: allmork bench allworkloads are byte-identical under the fix exceptexponential, which previously executed 33 steps while reporting 32 and now executes exactly what it reports.