[na] Score time and error-budget with cost weights Refs #484 - #539
Merged
Merged
Conversation
The placeholder time objective and error-budget mode both read the target cost_model. A stage-weight change, with the other weights held fixed, flips a verified schedule, and each verified total is lower under the weights that chose it. qaoa_graph.qn still verifies; its resource report matches that schedule. Refs #484 Co-authored-by: Arnab Ghosh <ag2583@cornell.edu>
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
arniber21
marked this pull request as ready for review
October 1, 2026 13:16
The time objective scores with the target cost_model, so the verified repetition and surface hybrid schedules change. Their resource-report snapshots match those schedules. Routing-aware search on the cubic stats fixture completes five layers. Refs #484 Co-authored-by: Arnab Ghosh <ag2583@cornell.edu>
Time and error-budget scoring with the target cost_model verifies repetition_d3_memory.qn at 52 cycles. The two disjoint CNOTs in parallel_gates_na_mlir.qn each take their own Rydberg stage; the FileCheck pins match that schedule. Refs #484 Co-authored-by: Arnab Ghosh <ag2583@cornell.edu>
QASM and QN preflight both verify at 82 Entangle2 gates and 7 Rydberg stages. Routing-aware still schedules the four circuit layers. The RAP routing comparison stays inside its existing tolerances. Refs #484 Co-authored-by: Arnab Ghosh <ag2583@cornell.edu>
This branch was successfully deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The placeholder time objective and error-budget mode both score placement with the target
cost_modelweights, including the checked-in placeholder vector. Error-budget mode still fails closed when the target has noerror_model.A test holds movement, transfer, and idle fixed and shows the stage weight flip a verified schedule through both objectives. Each verified total is lower under the weights that chose it.
test/na/qaoa_graph.qnstill verifies. The zoned resource-report golden matches that schedule: 12 Rydberg stages, 1805 µs of rearrangement, 3693 µs total.Refs #484