Optimization preservation audit

Audit candidate optimization equivalence and qualitative coupling preservation.

RQM-operated service.

Version: 1.0.0 · Registry observed: 2026-08-23T20:01:22.843Z · current

Supported Relay purchase route; check current admission before paying
RQM-operated service

Price and connection

0.250000 USD per request, provider price. Supported Relay purchases add max(0.002 USDC, 5% of provider price). Your fresh quote supplies the exact total.

Authentication: x402 payment for purchases; discovery is free. Never paste keys into this website.

Provider documentation →

View example and get a quote

Inputs and outputs

Input contract

{
  "additionalProperties": false,
  "properties": {
    "original_circuit": {
      "additionalProperties": true,
      "title": "Original Circuit",
      "type": "object"
    },
    "candidate_circuit": {
      "additionalProperties": true,
      "title": "Candidate Circuit",
      "type": "object"
    }
  },
  "required": [
    "original_circuit",
    "candidate_circuit"
  ],
  "title": "PreservationAuditRequest",
  "type": "object"
}

Output contract

{
  "$defs": {
    "OptimizationPreservationAuditResult": {
      "additionalProperties": false,
      "properties": {
        "outcome": {
          "enum": [
            "preserved",
            "candidate_withheld"
          ],
          "title": "Outcome",
          "type": "string"
        },
        "candidate_withheld": {
          "title": "Candidate Withheld",
          "type": "boolean"
        },
        "fallback_status": {
          "enum": [
            "not_required",
            "exact_original_returned"
          ],
          "title": "Fallback Status",
          "type": "string"
        },
        "original_hash": {
          "pattern": "^[a-f0-9]{64}$",
          "title": "Original Hash",
          "type": "string"
        },
        "returned_hash": {
          "pattern": "^[a-f0-9]{64}$",
          "title": "Returned Hash",
          "type": "string"
        },
        "circuit": {
          "additionalProperties": true,
          "title": "Circuit",
          "type": "object"
        },
        "equivalence": {
          "additionalProperties": true,
          "title": "Equivalence",
          "type": "object"
        },
        "preservation": {
          "additionalProperties": true,
          "title": "Preservation",
          "type": "object"
        }
      },
      "required": [
        "outcome",
        "candidate_withheld",
        "fallback_status",
        "original_hash",
        "returned_hash",
        "circuit",
        "equivalence",
        "preservation"
      ],
      "title": "OptimizationPreservationAuditResult",
      "type": "object"
    },
    "SemanticUnsupportedResult": {
      "additionalProperties": false,
      "description": "Fail-closed result returned when bounded analysis rejects a request semantically.",
      "properties": {
        "outcome": {
          "const": "unsupported",
          "title": "Outcome",
          "type": "string"
        },
        "candidate_withheld": {
          "const": true,
          "default": true,
          "title": "Candidate Withheld",
          "type": "boolean"
        },
        "reason": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "additionalProperties": true,
              "type": "object"
            },
            {
              "items": {},
              "type": "array"
            }
          ],
          "title": "Reason"
        }
      },
      "required": [
        "outcome",
        "reason"
      ],
      "title": "SemanticUnsupportedResult",
      "type": "object"
    }
  },
  "anyOf": [
    {
      "$ref": "#/$defs/OptimizationPreservationAuditResult"
    },
    {
      "$ref": "#/$defs/SemanticUnsupportedResult"
    }
  ],
  "$id": "rqm.studio.optimization-preservation-audit-result.v1"
}

Registry source · Buyer instructions and recovery · Public support