Skip to content

docs: max-results counts only derived facts from v3.0.0 (#528) - #5

Merged
adityamukho merged 2 commits into
mainfrom
fix/528-max-results
Oct 11, 2026
Merged

adityamukho merged 2 commits into
mainfrom
fix/528-max-results

Conversation

@adityamukho

@adityamukho adityamukho commented Oct 11, 2026 •

Copy link
Copy Markdown
Contributor

Companion to project-minigraf/minigraf#534.

Before v3.0.0, max_results / :max-results also counted the database's own live facts, so rule queries failed with INT-020 on databases with that many facts. From v3.0.0 it counts only facts the rules derive. Both versions are documented with @until / @since v3.0.0 in datalog-reference.md and performance-tuning.md.

Also fixes a phone-width failure that docs main hits too against current minigraf v3: the v3 CHANGELOG's inline wal_checkpoint_threshold(usize::MAX) widened diff/?from=v2.0.4&to=v3.0.0 by 15px at 375px. Inline code now uses overflow-wrap: anywhere, and the phone-width test waits for the diff to render (it passed locally before only by measuring too early).

🤖 Generated with Claude Code

https://claude.ai/code/session_012wXxZguv7PgKQjMMH4yJ5h

adityamukho and others added 2 commits October 11, 2026 08:31
Before v3.0.0 it also counted the database's own live facts, so rule
queries failed with INT-020 on databases with that many facts.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012wXxZguv7PgKQjMMH4yJ5h
The v3 changelog's `wal_checkpoint_threshold(usize::MAX)` widened the
diff page by 15px at 375px. The phone-width test passed locally only
when it measured before the diff rendered; it now waits for the diff.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012wXxZguv7PgKQjMMH4yJ5h
@adityamukho
adityamukho merged commit 0fed573 into main Oct 11, 2026
2 checks passed
@adityamukho
adityamukho deleted the fix/528-max-results branch October 11, 2026 05:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant