db: include backend kwargs in results metadata

[guillon]

Motivation

Backend-specific options can affect generated code and performance, but were not recorded in the exploration results database. This could make results produced with different backend configurations indistinguishable.

Description

Update the results database format to v0.3 and include backend keyword arguments in compiler metadata.

Exploration configuration now maintains backend-specific keyword arguments, uses them when constructing backend implementations, and forwards them to the database callback. The database query interface accepts the same arguments when matching results.

Commits

• db: update json db to format 0.3 with backend kwargs

Discussion

The database version is bumped from v0.2 to v0.3 because compiler metadata now includes backend keyword arguments.

Testing: Not run.

[codecov]

Codecov Report

❌ Patch coverage is 76.92308% with 3 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/xtc/search/explore.py	66.66%	1 Missing and 1 partial ⚠️
src/xtc/cli/query_results.py	75.00%	0 Missing and 1 partial ⚠️

📢 Thoughts on this report? Let us know!