Skip to content

feat(db): materialize static query metadata - #724

Merged
sanohiro merged 2 commits into
mainfrom
agent/pkg-db-q5b-metadata
Aug 8, 2026
Merged

feat(db): materialize static query metadata#724
sanohiro merged 2 commits into
mainfrom
agent/pkg-db-q5b-metadata

Conversation

@sanohiro

@sanohiro sanohiro commented Aug 8, 2026

Copy link
Copy Markdown
Owner

Summary

  • publish the complete D12 metadata record/option surface and the first useful meta_query consumer
  • generate one producer-owned, allocation-free QueryMeta thunk per static Query and extend the execution descriptor with its exact validated ABI
  • materialize exact Names/Summary/Full projections into the caller region across whole-program and per-unit builds, rejecting malformed descriptors and non-live execution targets before thunk work

Review closure

The pre-open host review found one P2: a poisoned SQLite connection retained its driver byte and could pass dispatch without a complete live-state check. The final change validates the shared resource prefix's version, selected driver, closed byte, reserved field, and native pointer after driver restriction. A focused runtime owner covers each invalid field and restoration to the valid path. The same-class audit covers both drivers through their common prefix.

The cumulative gate also exposed a pre-D12 synthetic static-input fixture. It now declares the exact QueryMeta nominal surface; production generation remains fail-closed with no optional materializer path.

Verification

  • pkg_db_q5b1::meta_query_rejects_non_live_execution_targets_before_materialization
  • scripts/test-pr.sh
  • scripts/cargo.sh clippy --workspace --lib --bins --locked -- -D warnings
  • final-SHA scripts/pre-pr.sh attestation with the reviewed candidate recorded as findings-fixed

@sanohiro
sanohiro marked this pull request as ready for review August 8, 2026 21:19
@sanohiro
sanohiro merged commit 5f7fdf7 into main Aug 8, 2026
6 checks passed
@sanohiro
sanohiro deleted the agent/pkg-db-q5b-metadata branch August 8, 2026 21:19
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