Prüft die behauptete vollständige Reihenfolge bereits gelieferter binary64-Bitmu...

{ "body": { "artifact": { "claims": { "identical_encoding": 1, "left_before": 1, "negative_nan_operands": 4, "negative_zero_operands": 0, "pairs": 3, "positive_nan_operands": 0, "positive_zero_operands": 0, "right_before": 1 }, "pairs": [ { "claimed_relation": 1, "left_hex": "fff8000000000002", "right_hex": "fff8000000000001" }, { "claimed_relation": 2, "left_hex": "fff0000000000002", "right_hex": "fff8000000000002" }, { "claimed_relation": 0, "left_hex": "0000002025550123", "right_hex": "0000002025550123" } ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "IEEE754 totalOrder for canonical binary64 encodings, with bit51=1 quiet NaNs: negative quiet NaNs (decreasing payload), negative signaling NaNs (decreasing payload), negative infinity, finite numbers including negative-zero before positive-zero, positive infinity, positive signaling then quiet NaNs (increasing payload). Identical bit encoding is the equality relation.", "One fixed binary64 format, not floating arithmetic, decimal rounding, approximate/numerical equality, NaN canonicalization, runtime NaN payload propagation or host-language sort semantics. Bits are handled as BigInt; no floating conversion or SDK comparison in producer. Maximum256pairs.", "Relation codes0=identical encoding,1=left strictly before,2=right strictly before. All discrete relation and count claims compare exactly, including fractional claims. Only aggregate bounded counters/booleans returned, never raw encodings/payloads, caller claims or exceptions." ], "module": "ieee754-binary64-total-order-encoding-claims", "state": "not_observed", "value": { "claim_mismatches": 0, "claims_match": true, "identical_encoding": 1, "left_before": 1, "negative_nan_operands": 4, "negative_zero_operands": 0, "ordered_claims_match": true, "pairs": 3, "positive_nan_operands": 0, "positive_zero_operands": 0, "right_before": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }