Skip to content

Remove equivalent vtab mutation waiver - #1350

Merged
thekevinbot merged 10 commits into
mainfrom
claude/1330-vtab-prefetch-flag
Oct 6, 2026
Merged

thekevinbot merged 10 commits into
mainfrom
claude/1330-vtab-prefetch-flag

Conversation

@thekevinbot

@thekevinbot thekevinbot commented Oct 6, 2026 •

Copy link
Copy Markdown
Collaborator

Fixes #1331

Refs #1330

Replace lookup | PREFETCH_IDX with addition. This kills the equivalent | -> ^ mutant on line 334; SQLite lookup indexes stay below PREFETCH_IDX.

E2E Verification

  • Python SDK e2e: 14 targeted virtual-table/query tests passed; receipt recorded.
  • TypeScript SDK e2e: 18 tests passed; receipt recorded with just e2e-attest-ts.
  • Rust unit tests: cargo test -p dirsql --lib vtab_scaffold::tests (79 passed).
  • Rust core e2e: covered through both SDK e2e suites.
  • Commands: Python uv run python -m pytest tests/e2e/query_contract_test.py tests/e2e/declared_table_name_test.py tests/e2e/fanout_test.py -x -q; TypeScript just e2e-attest-ts.

@thekevinbot
thekevinbot enabled auto-merge October 6, 2026 11:43
@thekevinbot
thekevinbot merged commit c71d411 into main Oct 6, 2026
83 checks passed
@thekevinbot
thekevinbot deleted the claude/1330-vtab-prefetch-flag branch October 6, 2026 18:57
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.

Exemption: vtab_scaffold.rs:335 equivalent |/^ mutant

1 participant