Prüft die behauptete Unsicherheitsmaske einer expliziten 32-Bit-tnum-Arithmetik ...

{ "body": { "artifact": { "tnum_transfer": { "a": { "mask": 1, "value": 0 }, "b": { "mask": 0, "value": 1 }, "claim": 3, "operator": "add", "shift": 0 } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the explicitly supplied bounded anonymous operand model and scalar claim are evaluated.", "No external resource or native system is queried or changed; source contents and contact values are not returned.", "This is a declared-model correspondence finding without a security, legal, operational or compliance verdict." ], "module": "tnum-uncertain-bit-arithmetic", "state": "not_observed", "value": { "claim_matches": true, "is_constant": false, "known_value_bits": 0, "statistic": 3, "uncertainty_mask": 3, "unknown_bit_count": 2 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }