Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DOCUMENTS 10 / odf13 openformula scalar numeric ast dependency lazy branch recalculation

Recalculate a bounded OpenFormula numeric AST with cell dependencies errors and lazy branches. Reconstruct the fully typed result and compare its complete canonical SHA256 claim.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-10/odf13-openformula-scalar-numeric-ast-dependency-lazy-branch-recalculation

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": [
        "openFormula"
      ],
      "properties": {
        "openFormula": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "data",
            "claim"
          ],
          "properties": {
            "data": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "cells",
                "nodes"
              ],
              "properties": {
                "cells": {
                  "type": "array",
                  "items": {
                    "anyOf": [
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "id",
                          "kind",
                          "value"
                        ],
                        "properties": {
                          "id": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          },
                          "kind": {
                            "enum": [
                              "literal"
                            ]
                          },
                          "value": {
                            "$ref": "#/properties/artifact/%24defs/s1"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "id",
                          "kind",
                          "root"
                        ],
                        "properties": {
                          "id": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          },
                          "kind": {
                            "enum": [
                              "formula"
                            ]
                          },
                          "root": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          }
                        }
                      }
                    ]
                  },
                  "minItems": 1,
                  "maxItems": 32
                },
                "nodes": {
                  "type": "array",
                  "items": {
                    "anyOf": [
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "id",
                          "op",
                          "value"
                        ],
                        "properties": {
                          "id": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          },
                          "op": {
                            "enum": [
                              "value"
                            ]
                          },
                          "value": {
                            "$ref": "#/properties/artifact/%24defs/s1"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "id",
                          "op",
                          "cell"
                        ],
                        "properties": {
                          "id": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          },
                          "op": {
                            "enum": [
                              "cell"
                            ]
                          },
                          "cell": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "id",
                          "op",
                          "cells"
                        ],
                        "properties": {
                          "id": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          },
                          "op": {
                            "enum": [
                              "range"
                            ]
                          },
                          "cells": {
                            "type": "array",
                            "items": {
                              "$ref": "#/properties/artifact/%24defs/s0"
                            },
                            "minItems": 0,
                            "maxItems": 32
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "id",
                          "op",
                          "operator",
                          "left",
                          "right"
                        ],
                        "properties": {
                          "id": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          },
                          "op": {
                            "enum": [
                              "binary"
                            ]
                          },
                          "operator": {
                            "enum": [
                              "+",
                              "-",
                              "*",
                              "/",
                              "^",
                              "=",
                              "<>",
                              "<",
                              "<=",
                              ">",
                              ">="
                            ]
                          },
                          "left": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          },
                          "right": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          }
                        }
                      },
                      {
                        "type": "object",
                        "additionalProperties": false,
                        "required": [
                          "id",
                          "op",
                          "function",
                          "args"
                        ],
                        "properties": {
                          "id": {
                            "$ref": "#/properties/artifact/%24defs/s0"
                          },
                          "op": {
                            "enum": [
                              "call"
                            ]
                          },
                          "function": {
                            "enum": [
                              "IF",
                              "IFERROR",
                              "SUM",
                              "PRODUCT",
                              "MIN",
                              "MAX",
                              "AVERAGE",
                              "ABS",
                              "SQRT"
                            ]
                          },
                          "args": {
                            "type": "array",
                            "items": {
                              "$ref": "#/properties/artifact/%24defs/s0"
                            },
                            "minItems": 1,
                            "maxItems": 32
                          }
                        }
                      }
                    ]
                  },
                  "minItems": 0,
                  "maxItems": 128
                }
              }
            },
            "claim": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "string",
                  "minLength": 64,
                  "maxLength": 64,
                  "pattern": "^[0-9a-f]{64}$"
                }
              ]
            }
          }
        }
      },
      "$defs": {
        "s0": {
          "type": "string",
          "minLength": 1,
          "maxLength": 64,
          "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
        },
        "s1": {
          "anyOf": [
            {
              "$ref": "#/properties/artifact/%24defs/s2"
            },
            {
              "$ref": "#/properties/artifact/%24defs/s4"
            },
            {
              "$ref": "#/properties/artifact/%24defs/s5"
            },
            {
              "$ref": "#/properties/artifact/%24defs/s6"
            }
          ]
        },
        "s2": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "kind",
            "number",
            "boolean",
            "error"
          ],
          "properties": {
            "kind": {
              "enum": [
                "number"
              ]
            },
            "number": {
              "$ref": "#/properties/artifact/%24defs/s3"
            },
            "boolean": {
              "type": "null"
            },
            "error": {
              "type": "null"
            }
          }
        },
        "s3": {
          "type": "number",
          "minimum": -1000000000000000,
          "maximum": 1000000000000000
        },
        "s4": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "kind",
            "number",
            "boolean",
            "error"
          ],
          "properties": {
            "kind": {
              "enum": [
                "boolean"
              ]
            },
            "number": {
              "type": "null"
            },
            "boolean": {
              "type": "boolean"
            },
            "error": {
              "type": "null"
            }
          }
        },
        "s5": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "kind",
            "number",
            "boolean",
            "error"
          ],
          "properties": {
            "kind": {
              "enum": [
                "empty"
              ]
            },
            "number": {
              "type": "null"
            },
            "boolean": {
              "type": "null"
            },
            "error": {
              "type": "null"
            }
          }
        },
        "s6": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "kind",
            "number",
            "boolean",
            "error"
          ],
          "properties": {
            "kind": {
              "enum": [
                "error"
              ]
            },
            "number": {
              "type": "null"
            },
            "boolean": {
              "type": "null"
            },
            "error": {
              "enum": [
                "#DIV/0!",
                "#VALUE!",
                "#NUM!",
                "#REF!",
                "#N/A"
              ]
            }
          }
        }
      }
    }
  }
}

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 →