Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DOCUMENTS 14 / ecma2025 synchronous cyclic module instantiate evaluate live binding tdz ledger

Instantiate and evaluate a supplied synchronous ECMAScript module cycle with already resolved import bindings, live reads and abrupt TDZ propagation. Compare the complete typed result SHA256.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-14/ecma2025-synchronous-cyclic-module-instantiate-evaluate-live-binding-tdz-ledger

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": [
        "ecmaModules"
      ],
      "properties": {
        "ecmaModules": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "data",
            "claim"
          ],
          "properties": {
            "data": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "entry",
                "modules"
              ],
              "properties": {
                "entry": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 48,
                  "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                },
                "modules": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "id",
                      "requests",
                      "declarations",
                      "imports",
                      "body"
                    ],
                    "properties": {
                      "id": {
                        "type": "string",
                        "minLength": 1,
                        "maxLength": 48,
                        "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                      },
                      "requests": {
                        "type": "array",
                        "items": {
                          "type": "string",
                          "minLength": 1,
                          "maxLength": 48,
                          "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                        },
                        "minItems": 0,
                        "maxItems": 16
                      },
                      "declarations": {
                        "type": "array",
                        "items": {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "name",
                            "kind"
                          ],
                          "properties": {
                            "name": {
                              "type": "string",
                              "minLength": 1,
                              "maxLength": 48,
                              "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                            },
                            "kind": {
                              "enum": [
                                "var",
                                "let",
                                "const"
                              ]
                            }
                          }
                        },
                        "minItems": 0,
                        "maxItems": 32
                      },
                      "imports": {
                        "type": "array",
                        "items": {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "name",
                            "module",
                            "binding"
                          ],
                          "properties": {
                            "name": {
                              "type": "string",
                              "minLength": 1,
                              "maxLength": 48,
                              "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                            },
                            "module": {
                              "type": "string",
                              "minLength": 1,
                              "maxLength": 48,
                              "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                            },
                            "binding": {
                              "type": "string",
                              "minLength": 1,
                              "maxLength": 48,
                              "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                            }
                          }
                        },
                        "minItems": 0,
                        "maxItems": 32
                      },
                      "body": {
                        "type": "array",
                        "items": {
                          "anyOf": [
                            {
                              "type": "object",
                              "additionalProperties": false,
                              "required": [
                                "kind",
                                "name"
                              ],
                              "properties": {
                                "kind": {
                                  "enum": [
                                    "read"
                                  ]
                                },
                                "name": {
                                  "type": "string",
                                  "minLength": 1,
                                  "maxLength": 48,
                                  "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                                }
                              }
                            },
                            {
                              "type": "object",
                              "additionalProperties": false,
                              "required": [
                                "kind",
                                "name",
                                "value"
                              ],
                              "properties": {
                                "kind": {
                                  "enum": [
                                    "initialize",
                                    "set"
                                  ]
                                },
                                "name": {
                                  "type": "string",
                                  "minLength": 1,
                                  "maxLength": 48,
                                  "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
                                },
                                "value": {
                                  "anyOf": [
                                    {
                                      "type": "object",
                                      "additionalProperties": false,
                                      "required": [
                                        "kind",
                                        "value"
                                      ],
                                      "properties": {
                                        "kind": {
                                          "enum": [
                                            "undefined"
                                          ]
                                        },
                                        "value": {
                                          "type": "null"
                                        }
                                      }
                                    },
                                    {
                                      "type": "object",
                                      "additionalProperties": false,
                                      "required": [
                                        "kind",
                                        "value"
                                      ],
                                      "properties": {
                                        "kind": {
                                          "enum": [
                                            "number"
                                          ]
                                        },
                                        "value": {
                                          "type": "integer",
                                          "minimum": -1000000,
                                          "maximum": 1000000
                                        }
                                      }
                                    },
                                    {
                                      "type": "object",
                                      "additionalProperties": false,
                                      "required": [
                                        "kind",
                                        "value"
                                      ],
                                      "properties": {
                                        "kind": {
                                          "enum": [
                                            "string"
                                          ]
                                        },
                                        "value": {
                                          "type": "string",
                                          "minLength": 0,
                                          "maxLength": 128
                                        }
                                      }
                                    },
                                    {
                                      "type": "object",
                                      "additionalProperties": false,
                                      "required": [
                                        "kind",
                                        "value"
                                      ],
                                      "properties": {
                                        "kind": {
                                          "enum": [
                                            "boolean"
                                          ]
                                        },
                                        "value": {
                                          "type": "boolean"
                                        }
                                      }
                                    },
                                    {
                                      "type": "object",
                                      "additionalProperties": false,
                                      "required": [
                                        "kind",
                                        "value"
                                      ],
                                      "properties": {
                                        "kind": {
                                          "enum": [
                                            "null"
                                          ]
                                        },
                                        "value": {
                                          "type": "null"
                                        }
                                      }
                                    }
                                  ]
                                }
                              }
                            },
                            {
                              "type": "object",
                              "additionalProperties": false,
                              "required": [
                                "kind",
                                "error"
                              ],
                              "properties": {
                                "kind": {
                                  "enum": [
                                    "throw"
                                  ]
                                },
                                "error": {
                                  "type": "string",
                                  "minLength": 1,
                                  "maxLength": 64
                                }
                              }
                            }
                          ]
                        },
                        "minItems": 0,
                        "maxItems": 64
                      }
                    }
                  },
                  "minItems": 1,
                  "maxItems": 16
                }
              }
            },
            "claim": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "string",
                  "minLength": 64,
                  "maxLength": 64,
                  "pattern": "^[0-9a-f]{64}$"
                }
              ]
            }
          }
        }
      }
    }
  }
}

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 →