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: Validate this bounded frame graph and report unit, axis, handedness, rotation, and transform-direction violations. Input: JSON with frames, declared length unit, declared transform direction, declared.... Result: pass, fail, or unsupported verdict, exact findings, normalized evidence. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.

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.

Problem: Parse, normalize, and assess OpenQASM 3 before downstream execution. Input: JSON with source. Result: go, no-go, or unsupported verdict, normalized source, warnings and evidence. Limits: Local software evidence only; 3 verification qubits; 65536 source bytes.

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...

Problem: Select a supported execution plan against the supplied cost, depth, duration limits, and weights. Input: JSON with plans, weights, maximum cost usd, maximum depth, maximum duration seconds. Result: ranked feasible plans, objective scores, selected plan identity. Limits: Local software evidence only; 4096 operations; 65536 request bytes.

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: Assess this bounded calibration dataset against the supplied residual, coverage, and consistency rules. Input: JSON with length unit, observations, rules. Result: pass, fail, or indeterminate verdict, residual metrics, per-rule evaluations. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.

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: Compare these bounded controller responses on identical traces using the supplied objective rules. Input: JSON with baseline, candidate, rules. Result: metric values, threshold verdicts, difference series. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.

Problem: Compare digital-twin output with mapped observations against caller tolerances. Input: JSON with predicted, observed, declared mapping, rules. Result: typed verdict, measured metrics, candidate only when verified. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.

Problem: Compare planned and observed trajectories against caller tolerances. Input: JSON with planned, observed, rules. Result: typed verdict, measured metrics, candidate only when verified. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.

Problem: Compare these bounded estimator outputs against the supplied reference and objective rules. Input: JSON with reference, estimators, rules. Result: per-estimator metrics, rule verdicts, deterministic selected estimator or.... Limits: Software/model evidence only; 65536 request bytes; 5 s execution.

Problem: Compute a bounded actuator alignment correction from these observations and caller acceptance limits. Input: JSON with observations, model, rules. Result: correction parameters, pre/post residuals, applicability verdict. Limits: Software/model evidence only; 65536 request bytes; 5 s execution.

Problem: Diagnose this bounded trajectory for the supplied oscillation, divergence, and stability indicators. Input: JSON with frame id, length unit, samples, rules. Result: pass, fail, or unsupported verdict, indicator series, violation windows. 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: Convert these bounded sensor observations into the supplied target frame and unit convention. Input: JSON with frame graph, target frame id, observations. Result: normalized or unsupported verdict, normalized observations, transform paths. 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.

Problem: Validate timestamps, ordering, rates, gaps, and synchronization in this bounded trajectory or sensor trace. Input: JSON with clock id, samples, rules. Result: pass or fail verdict, normalized timeline, exact timing defects. 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...