fix(query): bound document integrity verification

[ScriptedAlchemy]

Outcome

Bounds lexical artifact document-integrity verification by the selected document instead of the full generation.

Changes

• add covering document-leading indexes for term, exact, and n-gram posting verification
• bump the durable artifact schema and digest domain to revision 4 so revision-3 artifacts rebuild instead of reopening without the required indexes
• thread execution control through document-integrity hashing with checkpoints for every selected row
• prove the three query plans use named indexes with no scan or temporary sort
• prove one selected document reports zero SQLite full-scan and sort steps against 2,048 unrelated documents
• prove cancellation during nested hashing leaves finalization progress unchanged

Verification

• RED: query plan reported SCAN term_postings
• RED: one selected document reported 2,047 FullscanStep operations
• GREEN: three focused anti-vacuous tests, 1 passed each
• GREEN: artifact builder tests, 6 passed
• GREEN: tracedecay-query lib, 205 passed and 1 manual test ignored
• GREEN: search quality suite, 42 passed and 1 manual benchmark ignored
• GREEN: cargo clippy -p tracedecay-query --lib --tests --locked -- -D warnings
• GREEN: cargo fmt --all -- --check
• GREEN: git diff --check

Exact base: aa2cc26
Exact head: 5a8bf7c

[changeset-bot]

⚠️ No Changeset found

Latest commit: 5a8bf7c

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 5a8bf7c295

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".