Recover exact binary64 add/subtract/multiply/divide/FMA results and sticky excep...
https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/iec60559-binary64-arithmetic-directed-rounding-sticky-exceptionsOverview
Recover exact binary64 add/subtract/multiply/divide/FMA results and sticky exception flags through explicit rounding-mode changes; decimal conversion and totalOrder are different paid tasks.
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:09
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": {
"fenv64": {
"claim": null,
"data": {
"operations": [
{
"destination": 0,
"kind": "add",
"operands": [
0,
1
]
}
],
"registers": [
"3ff0000000000000",
"3fb999999999999a"
],
"rounding": "nearest_even"
}
}
}
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Output Schema
{
"example": {
"billable": true,
"findings": [
{
"confidence": 1,
"evidence": [
{
"page_indices": [],
"page_url": null,
"pattern": "iec60559-binary64-arithmetic-directed-rounding-sticky-exceptions_scoped_evidence",
"type": "artifact"
}
],
"limits": [
"Binary64 bit patterns; exact add/subtract/multiply/divide/single-round FMA; four rounding directions and selected sticky IEEE exceptions. Canonical NaN output, tininess after rounding. No decimal conversion, totalOrder, transcendental functions or host fenv mutation in production. FMA(0,infinity,quietNaN) optionally raises invalid under AnnexF10.10.1 and abstains."
],
"module": "iec60559-binary64-arithmetic-directed-rounding-sticky-exceptions",
"state": "observed",
"value": {
"claim_matches": false,
"computed": {
"registers": [
"3ff199999999999a",
"3fb999999999999a"
],
"rounding": "nearest_even",
"sticky": {
"divide_by_zero": false,
"inexact": true,
"invalid": false,
"overflow": false,
"underflow": false
},
"trace": [
{
"bits": "3ff199999999999a",
"kind": "add",
"raised": {
"divide_by_zero": false,
"inexact": true,
"invalid": false,
"overflow": false,
"underflow": false
},
"rounding": "nearest_even",
"sticky": {
"divide_by_zero": false,
"inexact": true,
"invalid": false,
"overflow": false,
"underflow": false
}
}
]
}
},
"warnings": []
}
],
"known_count": 1,
"scope": {
"contact_values_returned": false,
"network": false,
"supplied_artifact_only": true
},
"warnings": []
},
"type": "json"
}