← Back to directory

Verify exact rANS final state and inverse recovery for an entire bounded supplie...

https://detect.halowerk.com/v1/F-REST-B15/rans-exact-whole-symbol-sequence-integer-state

Overview

Verify exact rANS final state and inverse recovery for an entire bounded supplied symbol stream.

Protocol x402 (POST)
Price $0.0030
Payment Asset USD Coin
Payment Network eip155:8453
Category uncategorized
Provider detect
Source bazaar
Indexed 2026-11-02 17:26:19

Health

Status unknown
Latency (p50) —
Uptime (30d) —
Reliability Score —
Last Checked Never
Last Healthy Never
Consecutive Failures 0

x402 Payment Validation

Payment Requirements —
Asset Verified —
Facilitator —

Input Schema

{ "body": { "artifact": { "rans": { "claim": { "claim_corruption": true, "decoded_symbols": [ 0, 1, 0 ], "encoded_state": "2", "recovered_initial": "0" }, "data": { "frequencies": [ 1, 1 ], "initial": 0, "symbols": [ 0, 1, 0 ] } } } }, "bodyType": "json", "method": "POST", "type": "http" }

Output Schema

{ "example": { "billable": true, "findings": [ { "confidence": 1, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "rans-exact-whole-symbol-sequence-integer-state_scoped_evidence", "type": "artifact" } ], "limits": [ "Synthetic or caller-supplied artifact only; exact bounded reference computation; no external lookup or safety judgment." ], "module": "rans-exact-whole-symbol-sequence-integer-state", "state": "observed", "value": { "claim_matches": false, "rans": { "decoded_symbols": [ 0, 1, 0 ], "encoded_state": "2", "recovered_initial": "0" } }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }