Repository navigation
feat: :query-memory-limit, limit bind slots and PreparedQuery limit setters (#870) - #874
Merged
Merged
Conversation
Refs #870, #862 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01H2a7QoYX6tc5G3sKVzvLjD
…etters (#870) :query-memory-limit N|$slot replaces query_memory_limit for one query (0 allowed), gated by Overridable::QueryMemoryLimit (not in DEFAULTS). :max-derived-facts and :max-results take $slot. PreparedQuery gains with_max_derived_facts / with_query_memory_limit (ungated). INT-015 text now says non-negative. Grammar, GRAMMAR.md, corpus, verifier (41 tokens), docs and counts updated. Refs #870, #862 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01H2a7QoYX6tc5G3sKVzvLjD
Refs #870 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01H2a7QoYX6tc5G3sKVzvLjD
Codecov Report❌ Patch coverage is
📢 Thoughts on this report? Let us know! |
This was referenced Nov 6, 2026
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
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.
Refs #870, #862 (PR 2 of the #862 spec, §3–§5). Closing keywords don't fire on
v3; #870 will be closed by hand after merge.What
:query-memory-limit N|$slotreplacesOpenOptions::query_memory_limitfor one query, up or down.0is allowed. It is gated by the newOverridable::QueryMemoryLimit, which is not inDEFAULTS, so it is refused with API-025 unless listed.BrowserDbalways refuses it.:max-derived-facts,:max-resultsand:query-memory-limit, filled withVal(Integer(n)):< 1) for the first two, INT-015 (< 0) for the memory limit.execute/queryAPI-010.PreparedQuery::with_max_derived_facts/with_query_memory_limitreplace the database values for one statement. They are not gated, and an allowed keyword in the text overrides them.grammar.pestupdated andGRAMMAR.mdregenerated. Corpus: 3 valid, 2 syntax and 2 semantic fixtures, plus a fuzz seed. The verifier has 41 tokens and a new INT-015 witness.Plan:
docs/superpowers/plans/2026-11-06-870-query-memory-limit.md.Deviations from the spec (also in the plan)
:query-memory-limitaccepts 0. The code is unchanged.:query-memory-limit 0, only a value-only query over checkpointed facts runs; everything else fails with QRY-012.clippy::large_enum_variantonDatalogCommandis allowed with a reason, rather than boxing the query.Overridablelisted, so an API-025 refusal isn't reported as a parse error.Size
The dist binary is 1,263,928 B, +672 B over
b79ff1d6and 312 B over the old 1,234 KiB gate. The maintainer approved raising the gate to 1,240 KiB ( 8000 1,269,760 B) to cover #870 and #861. The reason is recorded inbinary-size.ymland PHILOSOPHY §4.Verification
--features test-hooks2,108 / 24.cargo clippy --all-features -- -D warningsclean.🤖 Generated with Claude Code
https://claude.ai/code/session_01H2a7QoYX6tc5G3sKVzvLjD