Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F B NIGHT IEEE754 TOTALORDER / ieee754 binary64 total order encoding claims

API operation: F B NIGHT IEEE754 TOTALORDER ieee754 binary64 total order encoding claims. Use the linked input schema for request fields and the hub documentation for response fields, coverage and limitations.

POST https://detect.halowerk.com/v1/F-B-NIGHT-IEEE754_TOTALORDER/ieee754-binary64-total-order-encoding-claims

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "pairs",
        "claims"
      ],
      "properties": {
        "pairs": {
          "type": "array",
          "minItems": 1,
          "maxItems": 256,
          "items": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "left_hex",
              "right_hex",
              "claimed_relation"
            ],
            "properties": {
              "left_hex": {
                "type": "string",
                "minLength": 1,
                "maxLength": 32,
                "pattern": "^[0-9a-fA-F]+$"
              },
              "right_hex": {
                "type": "string",
                "minLength": 1,
                "maxLength": 32,
                "pattern": "^[0-9a-fA-F]+$"
              },
              "claimed_relation": {
                "type": "number"
              }
            }
          }
        },
        "claims": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "pairs",
            "left_before",
            "right_before",
            "identical_encoding",
            "negative_nan_operands",
            "positive_nan_operands",
            "negative_zero_operands",
            "positive_zero_operands"
          ],
          "properties": {
            "pairs": {
              "type": "number"
            },
            "left_before": {
              "type": "number"
            },
            "right_before": {
              "type": "number"
            },
            "identical_encoding": {
              "type": "number"
            },
            "negative_nan_operands": {
              "type": "number"
            },
            "positive_nan_operands": {
              "type": "number"
            },
            "negative_zero_operands": {
              "type": "number"
            },
            "positive_zero_operands": {
              "type": "number"
            }
          }
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →