6b947aa379
job::verify runs job::check. POST /v1/verify, the service's tool, the command line's tool and its verify on a set, an estimate or an algorithm's answer, the Python package, the desktop app and the browser all apply section 8.4, reading a job's text as text where they hold it, so a member named twice is found. Each gives reasons beside valid and key, and a set's items are held to a job's rules. A local host's qec, compile, pulse, estimate, @Seal and intent check now refuse a request holding a number no double holds, as a run does, and seal_into writes one in a result as the double sealed. A receipt already sealed with one stays refused, its signature good, and verifies written as that double's digits. A job recorded by the last release gets a receipt this one accepts: its program's text from its record, and execution stated by nobody, which every kind takes. compiled.qubit_names says which of the device's qubits each index was. sampler-v2 reads a backend's simulator member. The reference's ceiling on every whole number is gone, as section 8.4 has it, with sums exact, and the differential now tries numbers past a double's whole numbers, with a plant that proves it can see them. verify --json keeps --history. The earlier form claims no sealing time. A made receipt is pinned by digest. R of small order is tested where the equation holds. Co-Authored-By: Claude Opus 5.5 <[email protected]>
32 lines
1.6 KiB
Python
32 lines
1.6 KiB
Python
# The extension module's signatures (src/lib.rs). Values cross as JSON's.
|
|
from typing import Any, Dict, List, Optional, Tuple
|
|
|
|
__version__: str
|
|
UNMETERED: str
|
|
HANDS: List[Tuple[str, str]]
|
|
|
|
def run(request: Dict[str, Any], seed: bytes, memory_gb: int = 16) -> Dict[str, Any]: ...
|
|
def plan(request: Dict[str, Any], memory_gb: int = 16) -> Dict[str, Any]: ...
|
|
def lint(src: str) -> Dict[str, Any]: ...
|
|
def draw_text(src: str, width: int = 100) -> str: ...
|
|
def layout(src: str) -> Dict[str, Any]: ...
|
|
def draw_svg(src: str, hands: Optional[List[str]] = None) -> str: ...
|
|
def critique(src: str) -> Dict[str, Any]: ...
|
|
def improve(src: str) -> Dict[str, Any]: ...
|
|
def shortcuts(src: str, thorough: bool = False) -> Dict[str, Any]: ...
|
|
def equivalent(a: str, b: str) -> Dict[str, Any]: ...
|
|
def verify(job_body: Any) -> Dict[str, Any]: ...
|
|
def verify_text(text: bytes) -> Dict[str, Any]: ...
|
|
def verdict(job_body: Any, intent: Any = None, memory_gb: int = 16) -> Dict[str, Any]: ...
|
|
def repair(src: str, options: Any) -> Dict[str, Any]: ...
|
|
def seal(request: Any, result: Any, seed: bytes) -> Dict[str, Any]: ...
|
|
def canonical(value: Any) -> bytes: ...
|
|
def digest(request: Any, result: Any) -> str: ...
|
|
def public_key(seed: bytes) -> str: ...
|
|
def did_key(key_hex: str) -> Optional[str]: ...
|
|
def methods(memory_gb: int = 16) -> List[Dict[str, Any]]: ...
|
|
def accuracy_classes() -> Dict[str, str]: ...
|
|
def history(op: str, args: Any, seed: Optional[bytes] = None) -> Dict[str, Any]: ...
|
|
def estimate(request: Dict[str, Any], seed: bytes) -> Dict[str, Any]: ...
|
|
def estimate_verify(body: Any) -> Dict[str, Any]: ...
|
|
def qec(op: str, request: Dict[str, Any], seed: bytes) -> Dict[str, Any]: ...
|