{"uid":"cap_6s_Edlx6R0wD28giALtZt","slug":"rqm-verified-circuit-optimization-8b1181c1","name":"RQM Verified Circuit Optimization","description":"Verified circuit optimization: Optimize RQM Circuit IR and return the original unless preservation is verified. Use when: Use when a bounded request matches rqm.studio.optimization-request.v1 and the caller needs the declared typ... Returns: verified candidate or original fallback, metric deltas, preservation evidence. Boundaries: Deterministic bounded local software evidence; not hardware evidence, a formal proof, certification, sign...","url":"https://jobs.rqmtechnologies.com/x402/buyer-jobs/verified-circuit-optimization-v1","method":"POST","headers":{},"bodySchema":{"type":"object","properties":{"request":{"type":"object","description":"Verified Circuit Optimization request metadata is discovery-only while execution is disabled.","additionalProperties":true},"schema_version":{"const":"rqm.jobs.bazaar-buyer-job-request.v1"},"idempotency_key":{"type":"string","pattern":"^[A-Za-z0-9][A-Za-z0-9._:-]*$","maxLength":128,"minLength":1},"max_total_price":{"type":"string","pattern":"^(?:0|[1-9]\\d{0,13})(?:\\.\\d{1,6})?$"}}},"responseSchema":null,"example":null,"exampleRequest":null,"tags":["x402"],"displayCostAmount":"0.25","displayCostAsset":"USDC","priceDynamic":false,"priceHint":null,"priceStatus":"priced","priceSource":"probe","requiresHandshake":false,"reviewCount":0,"rating":{"score":"0.00","successRate":"0.00","reviews":0,"stars":null,"state":"unrated"},"availabilityStatus":"unknown","priceObserved":null,"sessionDeposit":null,"pricing":{"kind":"static","summary":"$0.25/call","primary":{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.25","per":"call","confidence":"exact"},"accepted":[{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.25","per":"call","confidence":"exact"}]},"paymentMethods":[{"uid":"pm_GSRxcDVXcWBxT9i7XHOEo","protocol":"x402","methodType":"crypto","chain":"base","mode":"charge","costAmount":"0.25","costPer":"request","priority":0,"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","unit":"request","depositMicros":null,"planRef":null}],"brandName":null,"brandSlug":null,"brandBaseUrl":null,"brandDocsUrl":null,"whatItDoes":"Optimizes an RQM Circuit IR and returns the optimized version only if semantic equivalence with the original is verified; otherwise returns the original unchanged.","exampleAgentPrompt":"Optimize my quantum circuit using the RQM verified optimizer — here's the circuit object — use the qiskit backend with a balanced profile, and only give me back the optimized version if equivalence is confirmed.","exampleUseCases":[{"title":"Pre-execution circuit compression for QPU runs","prompt":"I have an RQM Circuit IR I'm about to send to a Qiskit backend — can you run it through the verified optimizer with a balanced profile so I get a shallower circuit, but only if it's confirmed to be equivalent to the original?"},{"title":"Conservative optimization for critical quantum workflow","prompt":"Optimize this quantum circuit using the conservative profile on the generic backend — I need to make sure the semantics are fully preserved before I use the result in my workflow."},{"title":"Aggressive depth reduction with equivalence guarantee","prompt":"Try the aggressive optimization profile on this RQM Circuit IR targeting the qiskit backend — if the verifier confirms it's equivalent, give me the optimized version; otherwise return the original."}],"resultDescription":"Returns the optimized RQM Circuit IR if the optimizer can verify semantic equivalence with the original circuit; if verification cannot be confirmed, the original unmodified circuit is returned along with a status indicating the outcome. The response includes engineering-level assurance (not a formal mathematical proof) of correctness.","failureModes":["Circuit IR does not conform to expected schema — returns validation error","Optimization produces a circuit that fails equivalence verification — original circuit returned unchanged","Unsupported backend specified — returns enum validation error","max_total_price too low to cover $0.25 USDC fee — payment rejected","idempotency_key format invalid — request rejected","Circuit too large or complex for bounded verifier scope — verification skipped, original returned"],"whenToPreferThis":"Choose this endpoint when you need to reduce gate count or circuit depth in an RQM Circuit IR but cannot afford to risk semantic drift — the built-in equivalence verification acts as a safety net, returning the original if optimization cannot be confirmed correct. Prefer this over raw optimization passes when correctness guarantees matter more than guaranteed reduction. Use over the managed simulator when you want optimization rather than execution, and over the equivalence checker when you want optimization plus verification in a single call.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-09-14T12:43:52.927Z","isFirstParty":false}