Repository navigation
Merge main into v3 (#492) - #494
Merged
Merged
Conversation
The wiki is replaced by project-minigraf/minigraf-docs, which documents every release from v2.0.0 on, with v3.0.0 next to v2.x. README and ERROR_REFERENCE links now go to the site's latest/ permalinks, and the CLAUDE.md doc-sync step names the site's content files and its @since/@until annotations instead of the wiki. Historical plans and specs under docs/superpowers keep their wiki links. Claude-Session: https://claude.ai/code/session_012wXxZguv7PgKQjMMH4yJ5h Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
…avel (#386, v2.x backport) (#492) * test: widen property tests to joins, negation, predicates and time travel (#386, v2.x backport) Backport of the v3 property tests. tests/property_test.rs writes random histories (batched transacts, retracts, write transactions, checkpoints) and compares random queries (1-3 joined patterns, not/not-join, a comparison predicate, :as-of, :valid-at, :any-valid-time) with a reference evaluator, in memory and against a file before and after a reopen. A write or query error fails the test. The histories leave out the v2.x known issues: a second value of one entity and attribute in a transaction (#371, also covering #477), and an assertion of a triple that is already live (#435). Without either filter the test fails on v2.x within a few thousand cases. The nightly job drops from 8M to 1M cases. Refs #386 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012wXxZguv7PgKQjMMH4yJ5h * test: drop an unused property-test generator (#386) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012wXxZguv7PgKQjMMH4yJ5h --------- Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
Brings in #489 (docs-site links; v3 already has #490) and #492 (the v2.x backport of the #386 property tests). Conflicts resolved to v3's side: test counts, the property-tests workflow matrix, and tests/property_test.rs (v3 has no v2_safe filter). The merged tree equals v3's. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012wXxZguv7PgKQjMMH4yJ5h
Codecov Report✅ All modified and coverable lines are covered by tests. 📢 Thoughts on this report? Let us know! |
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.
Merges
mainintov3(merge commit, no squash). It brings in:Conflicts were resolved to v3's side: test counts in CLAUDE.md, README.md and docs/TEST_COVERAGE.md, the property-tests workflow matrix, and
tests/property_test.rs, where v3 has nov2_safefilter. The merged tree is identical to v3's. fmt passes and the full suite passes locally: 1374 tests, 1365 passing, 9 ignored.🤖 Generated with Claude Code
https://claude.ai/code/session_012wXxZguv7PgKQjMMH4yJ5h