← Back to directory

Prüft behauptete Synchronisationspaare aus einer anonymen C11-Modification-Order...

https://detect.halowerk.com/v1/F-T-C11_RELEASE_SEQUENCE/c11-release-sequence-readfrom-binding

Overview

Prüft behauptete Synchronisationspaare aus einer anonymen C11-Modification-Order und expliziten Reads-from-Kanten.

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": { "c11_release_sequence": { "claim": 1, "modification_order": [ { "kind": "store", "release": true, "thread": 0 }, { "kind": "store", "release": false, "thread": 0 }, { "kind": "rmw", "release": false, "thread": 1 } ], "reads": [ { "acquire": true, "from": 2 } ] } } }, "bodyType": "json", "method": "POST", "type": "http" }

Output Schema

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the bounded explicitly supplied anonymous artifact and numeric claim are evaluated.", "No external system is queried or modified; identifiers, addresses and source text are not returned.", "A mismatch is a declared-model correspondence finding, without an operational, security, legal or compliance verdict." ], "module": "c11-release-sequence-readfrom-binding", "state": "not_observed", "value": { "claim_matches": true, "per_read_release_head_counts": [ 1 ], "release_heads": 1, "statistic": 1, "synchronizes_with_pairs": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }