Optimization preservation audit: Audit candidate optimization equivalence and qualitative coupling preservation. Use when: Use when a bounded request matches rqm.studio.preservation-audit-request.v1 and the caller needs the declar... Returns: preserved or candidate-withheld outcome, input and output hashes, metric and semantic evidence. Boundaries: Deterministic bounded local software evidence; not hardware evidence, a formal proof, certification, sign...
Cross Provider Portability: Translate this supported OpenQASM 3 circuit to the supplied local toolchain format withou... Use when: Use when a bounded request matches rqm.studio.cross-provider-portability-request.v1 and the caller needs th... Returns: translated target artifact, explicit gate mapping, source and artifact digests. Boundaries: Deterministic bounded local software evidence only; no QPU, provider acceptance, certification, formal-pr...
Failed Workflow Diagnosis: Diagnose why this bounded quantum workflow failed and return supported corrective actions. Use when: Use when a bounded request matches rqm.studio.failed-workflow-diagnosis-request.v1 and the caller needs the... Returns: failure class, evidence terms, bounded corrective actions. Boundaries: Deterministic bounded local software evidence only; no QPU, provider, physical, formal-proof, certificati...
Problem: Accept or reject this bounded signal capture against the caller-supplied metric rules and return every measurement and violation. Input: JSON with sample rate hz, channels, rules. Result: measurements, violations and checksummed artifacts. Limits: Bounded signal processing only; 8 channels; 1024 samples/channel.
Problem: Execute a bounded RQM Circuit IR circuit on the managed local statevector simulator. Input: JSON with circuit ir. Result: typed counts, probabilities, simulation configuration evidence. Limits: Local software evidence only; 16 qubits; 250 operations.
Openqasm3 Repair: Repair this bounded OpenQASM 3 program only with the supplied conservative repair policy. Use when: Use when a bounded request matches rqm.studio.openqasm3-repair-request.v1 and the caller needs the declared... Returns: repaired or withheld source, exact edit list, post-repair validation verdict. Boundaries: Deterministic bounded local software evidence only; no QPU, provider acceptance, certification, formal-pr...
Optimization preservation audit: Audit candidate optimization equivalence and qualitative coupling preservation. Use when: Use when a bounded request matches rqm.studio.preservation-audit-request.v1 and the caller needs the declar... Returns: preserved or candidate-withheld outcome, input and output hashes, metric and semantic evidence. Boundaries: Deterministic bounded local software evidence; not hardware evidence, a formal proof, certification, sign...
Phase Sensitive Inspection: Diagnose the phase, rotation, ordering, or convention difference between these supported... Use when: Use when a bounded request matches rqm.studio.phase-sensitive-inspection-request.v1 and the caller needs th... Returns: difference kind, angle delta, correction hint. Boundaries: Deterministic bounded local software evidence only; no QPU, provider, physical, formal-proof, certificati...
Execution Plan Select: Select a supported execution plan against the supplied cost, depth, duration limits, and weights. Use when: Use when a bounded request matches rqm.studio.execution-plan-select-request.v1 and the caller needs the dec... Returns: ranked feasible plans, objective scores, selected plan identity. Boundaries: Deterministic bounded local software evidence only; no QPU, live-provider, physical, formal-proof, certif...
Phase Aware Rewrite: Rewrite this supported circuit under the supplied phase-equivalence and target constraints. Use when: Use when a bounded request matches rqm.studio.phase-aware-rewrite-request.v1 and the caller needs the decla... Returns: rewritten operation or original, candidate withholding, verification status. Boundaries: Deterministic bounded local software evidence only; no QPU, provider, physical, formal-proof, certificati...
Provider Readiness Check: Accept or reject this bounded circuit for the supplied pinned provider target and readiness... Use when: Use when a bounded request matches rqm.studio.provider-readiness-check-request.v1 and the caller needs the... Returns: readiness verdict, rule results and blockers, target provenance. Boundaries: Deterministic bounded local software evidence only; no QPU, live-provider, physical, formal-proof, certif...
Provider Target Compile: Compile this bounded circuit to the supplied pinned provider target and return compatibility... Use when: Use when a bounded request matches rqm.studio.provider-target-compile-request.v1 and the caller needs the d... Returns: compiled artifact, gate mapping, pinned target snapshot and blockers. Boundaries: Deterministic bounded local software evidence only; no QPU, live-provider, physical, formal-proof, certif...
Simulation Anomaly Diagnostic: Compare this bounded simulation result with the supplied expectation and anomaly rules. Use when: Use when a bounded request matches rqm.studio.simulation-anomaly-diagnostic-request.v1 and the caller needs... Returns: L1 and bin deltas, violating outcomes, anomaly verdict. Boundaries: Deterministic bounded local software evidence only; no QPU, provider, physical, formal-proof, certificati...
Analyze Force Disturbance Response: Analyze these bounded force and disturbance inputs against the supplied response... Use when: Use with bounded typed model inputs and explicit caller objectives, limits, or assertions. Returns: typed verdict or withholding outcome, deterministic metrics, rule or assertion results, SHA-256 result digest. Boundaries: Bounded deterministic model evidence only; no live control, physical safety certification, field-performa...
Problem: Check this bounded geometry and trajectory against the supplied collision and clearance constraints. Input: JSON with trajectory, obstacles, robot radius, minimum clearance. Result: clearance, collision candidates and constraint results. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.
Problem: Fuse these bounded synchronized sensor observations under the supplied diagonal uncertainty model and rules. Input: JSON with observations, model, rules. Result: fused state, diagonal covariance, sensor residuals and verdict. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.
Problem: Tune supported control parameters against this bounded disturbance model and supplied response objectives. Input: JSON with mass, damping, disturbance, time step seconds, baseline kp, baseline.... Result: candidate parameters, comparative metrics and constraint results. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.
Problem: Optimize a bounded trajectory only when speed and duration constraints pass. Input: JSON with trajectory, maximum speed, maximum duration s. Result: typed verdict, measured metrics, candidate only when verified. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.
Problem: Tune a supported controller only within supplied bounds and safety limits. Input: JSON with supported controller, current gain, fixture error, target error.... Result: typed verdict, measured metrics, candidate only when verified. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.
Problem: Accept or reject this bounded closed-loop model under the supplied stability criteria. Input: JSON with discrete state matrix, criteria. Result: eigenvalues, spectral radius and rule results. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.
Problem: Accept or reject a bounded trajectory against caller kinematic limits. Input: JSON with trajectory, maximum speed, maximum acceleration. Result: typed verdict, measured metrics, candidate only when verified. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.
Two Qubit Local Equivalence: Classify this supported two-qubit operation by its bounded local-equivalence class and p... Use when: Use when a bounded request matches rqm.studio.two-qubit-local-equivalence-request.v1 and the caller needs t... Returns: local-equivalence class, canonical coordinates, explicit phase treatment. Boundaries: Deterministic bounded local software evidence only; no QPU, provider acceptance, certification, formal-pr...
