{"uid":"cap_VAcXuJ-Er6gy7yTwEf0WL","slug":"rqm-supported-circuit-equivalence-6a99e97d","name":"RQM Supported Circuit Equivalence","description":"Supported circuit equivalence: Compare two RQM Circuit IR circuits within the supported verifier scope. Use when: Use when a bounded request matches rqm.studio.equivalence-request.v1 and the caller needs the declared type... Returns: equivalent, not-equivalent, or unsupported verdict, verification evidence, input hashes. Boundaries: Deterministic bounded local software evidence; not hardware evidence, a formal proof, certification, sign...","url":"https://jobs.rqmtechnologies.com/x402/buyer-jobs/supported-circuit-equivalence-v1","method":"POST","headers":{},"bodySchema":{"type":"object","properties":{"request":{"type":"object","description":"Supported Circuit Equivalence 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.1","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.1/call","primary":{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.1","per":"call","confidence":"exact"},"accepted":[{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.1","per":"call","confidence":"exact"}]},"paymentMethods":[{"uid":"pm_D15JhuCGjgKiM7aht4MT3","protocol":"x402","methodType":"crypto","chain":"base","mode":"charge","costAmount":"0.1","costPer":"request","priority":0,"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","unit":"request","depositMicros":null,"planRef":null}],"brandName":null,"brandSlug":null,"brandBaseUrl":null,"brandDocsUrl":null,"whatItDoes":"Compares two RQM Circuit IR circuits to determine if they are equivalent within a bounded, supported verifier scope","exampleAgentPrompt":"Can you check whether my optimized quantum circuit is equivalent to my original reference circuit using RQM's supported equivalence verifier? Here are both circuits as RQM Circuit IR objects — use the auto method and cap spending at 0.1 USDC.","exampleUseCases":[{"title":"Validate circuit optimization correctness","prompt":"I just ran an optimization pass on my quantum circuit and I need to confirm it still does the same thing as the original. Can you compare the original and optimized RQM Circuit IR circuits for equivalence using the auto method?"},{"title":"Regression check after transpilation","prompt":"After transpiling my quantum circuit to a new backend, I want to make sure the semantics haven't changed. Please run a supported equivalence check between the pre-transpilation and post-transpilation RQM Circuit IR circuits using structural identity."},{"title":"CI gate for circuit refactoring pipeline","prompt":"As part of my automated pipeline, I need to verify that the refactored version of our quantum circuit is equivalent to the last approved baseline — can you submit both as RQM Circuit IR objects to the equivalence verifier and tell me if they pass?"}],"resultDescription":"Returns a typed work product indicating whether the two RQM Circuit IR circuits are equivalent within the supported verifier scope, including the equivalence verdict and bounded engineering assurance evidence. Note: this is engineering assurance, not a formal mathematical proof, and applies only within the declared supported scope.","failureModes":["Circuit IR objects fall outside the supported verifier scope — verifier returns out-of-scope or unsupported result","Malformed or invalid Circuit IR object provided — schema validation error","max_total_price too low to cover the $0.10 USDC per-call cost — payment rejected","Idempotency key format invalid — request rejected with validation error","Network or payment gateway failure during x402 transaction — call fails with payment error"],"whenToPreferThis":"Use this endpoint when you need programmatic, bounded equivalence checking between two RQM Circuit IR quantum circuits — especially after optimization, transpilation, or refactoring — and need a verifiable engineering assurance result. Prefer this over manual inspection or simulation-based comparison when you need a structured typed work product confirming equivalence. Do not use if you need a formal mathematical proof, need to execute circuits on a QPU, or if your circuits fall outside the supported verifier scope.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-09-13T18:38:10.208Z","isFirstParty":false}