Skip to content

[na] Score time and error-budget with cost weights Refs #484 - #539

Merged
cursor[bot] merged 4 commits into
mainfrom
cursor/objective-reads-weights-aa1b
Oct 1, 2026
Merged

cursor[bot] merged 4 commits into
mainfrom
cursor/objective-reads-weights-aa1b

Conversation

@arniber21

Copy link
Copy Markdown
Owner

The placeholder time objective and error-budget mode both score placement with the target cost_model weights, including the checked-in placeholder vector. Error-budget mode still fails closed when the target has no error_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.qn still verifies. The zoned resource-report golden matches that schedule: 12 Rydberg stages, 1805 µs of rearrangement, 3693 µs total.

Refs #484

Open in Web Open in Cursor 

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>
@vercel

vercel Bot commented Oct 1, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
quon Ready Ready Preview Oct 1, 2026 2:59pm UTC

@arniber21
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>
@cursor
cursor Bot merged commit ab79755 into main Oct 1, 2026
22 of 23 checks passed

This branch was successfully deployed

1 active deployment
Preview — f2e1a5e1 Deployed Oct 1, 2026 by vercel[bot]
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.

2 participants