feat: add jeff verifier tool

[jamilahmadzai]

Summary

• Add a standalone tools.verifier CLI for validating encoded .jeff modules.
• Check schema version, entrypoint bounds, function names, value-table references, dataflow ordering, operation signatures, linear qubit/qureg usage, and nested region isolation.
• Add pytest coverage for valid examples and negative verifier cases.
• Include tools/verifier/** in the Python CI path filter.

Validation

• uv run python -m tools.verifier examples/**/*.jeff
• uv run pytest -q
• uv run ruff format --check
• uv run ruff check

unitaryHACK / AI disclosure

I used ChatGPT/Codex as a coding assistant while implementing and testing this PR. I reviewed the changes before submission and ran the validation listed above.

[jamilahmadzai]

Follow-up pushed in a5ab721 to address the Python CI failures from the first run.

Local validation after the fix:

• UV_FROZEN=1 uv run pytest --cov=./ --cov-report=xml -> 9 passed
• UV_FROZEN=1 uv run ruff format --check -> 14 files already formatted
• UV_FROZEN=1 uv run ruff check -> all checks passed

The latest GitHub Actions runs are currently marked action_required for the fork PR, so they may need maintainer approval before they execute.

[codecov-commenter]

Codecov Report

❌ Patch coverage is 63.43931% with 253 lines in your changes missing coverage. Please review.
⚠️ Please upload report for BASE (main@e413808). Learn more about missing BASE report.

Files with missing lines	Patch %	Lines
tools/verifier/jeff_verifier/engine.py	55.87%	248 Missing ⚠️
tools/verifier/jeff_verifier/__main__.py	0.00%	3 Missing ⚠️
tools/verifier/tests/test_verifier.py	98.29%	2 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##             main      #63   +/-   ##
=======================================
  Coverage        ?   67.35%           
=======================================
  Files           ?       10           
  Lines           ?     1896           
  Branches        ?        0           
=======================================
  Hits            ?     1277           
  Misses          ?      619           
  Partials        ?        0           

Flag	Coverage Δ
python	67.35% <63.43%> (?)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[burgholzer]

Follow-up pushed in a5ab721 to address the Python CI failures from the first run.

Local validation after the fix:

• UV_FROZEN=1 uv run pytest --cov=./ --cov-report=xml -> 9 passed
• UV_FROZEN=1 uv run ruff format --check -> 14 files already formatted
• UV_FROZEN=1 uv run ruff check -> all checks passed

The latest GitHub Actions runs are currently marked action_required for the fork PR, so they may need maintainer approval before they execute.

Please take a look at the AI guidelines of unitary hack. This is quite obviously the direct output of an LLM. If the rest of this PR has been created in a similar fashion, this is in violation of the terms of the hackathon.

[jamilahmadzai]

Closing this PR to withdraw it from consideration. Thanks for the review.