Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DOCUMENTS 17 / ecma2025 private class field method brand initialization access state

Recover private-name identity, class instance element initialization, receiver brands, returned-object stamping and private access. No public descriptor/prototype lookup or arbitrary JS eval.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-17/ecma2025-private-class-field-method-brand-initialization-access-state

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "$schema": "https://json-schema.org/draft/2020-12/schema",
      "type": "object",
      "properties": {
        "privateElements": {
          "type": "object",
          "properties": {
            "data": {
              "type": "object",
              "properties": {
                "objects": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 16
                },
                "symbols": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 16
                },
                "values": {
                  "type": "array",
                  "items": {
                    "$ref": "#/properties/artifact/%24defs/atom"
                  },
                  "maxItems": 128
                },
                "classes": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "properties": {
                      "members": {
                        "type": "array",
                        "items": {
                          "type": "object",
                          "properties": {
                            "name": {
                              "type": "integer",
                              "minimum": 0,
                              "maximum": 15
                            },
                            "kind": {
                              "enum": [
                                "field",
                                "method",
                                "accessor"
                              ]
                            },
                            "body": {
                              "anyOf": [
                                {
                                  "type": "null"
                                },
                                {
                                  "$ref": "#/properties/artifact/%24defs/expr"
                                }
                              ]
                            },
                            "get": {
                              "anyOf": [
                                {
                                  "type": "null"
                                },
                                {
                                  "$ref": "#/properties/artifact/%24defs/expr"
                                }
                              ]
                            },
                            "set": {
                              "anyOf": [
                                {
                                  "type": "null"
                                },
                                {
                                  "$ref": "#/properties/artifact/%24defs/setter"
                                }
                              ]
                            }
                          },
                          "additionalProperties": false,
                          "minProperties": 5
                        },
                        "maxItems": 16
                      }
                    },
                    "additionalProperties": false,
                    "minProperties": 1
                  },
                  "maxItems": 8
                },
                "program": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "properties": {
                      "op": {
                        "enum": [
                          "initialize",
                          "read",
                          "write",
                          "call",
                          "has"
                        ]
                      },
                      "owner": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 7
                      },
                      "name": {
                        "anyOf": [
                          {
                            "type": "null"
                          },
                          {
                            "type": "integer",
                            "minimum": 0,
                            "maximum": 15
                          }
                        ]
                      },
                      "target": {
                        "type": "integer",
                        "minimum": 0,
                        "maximum": 127
                      },
                      "value": {
                        "anyOf": [
                          {
                            "type": "null"
                          },
                          {
                            "type": "integer",
                            "minimum": 0,
                            "maximum": 127
                          }
                        ]
                      }
                    },
                    "additionalProperties": false,
                    "minProperties": 5
                  },
                  "maxItems": 64
                }
              },
              "additionalProperties": false,
              "minProperties": 5
            },
            "claim": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "string",
                  "minLength": 64,
                  "maxLength": 64,
                  "pattern": "^[0-9a-f]{64}$"
                }
              ]
            }
          },
          "additionalProperties": false,
          "minProperties": 2
        }
      },
      "additionalProperties": false,
      "minProperties": 1,
      "$defs": {
        "atom": {
          "type": "object",
          "properties": {
            "kind": {
              "enum": [
                "undefined",
                "null",
                "boolean",
                "number",
                "string",
                "bigint",
                "special",
                "object",
                "symbol"
              ]
            },
            "scalar": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "boolean"
                },
                {
                  "type": "number"
                },
                {
                  "type": "string",
                  "maxLength": 128
                }
              ]
            }
          },
          "additionalProperties": false,
          "minProperties": 2
        },
        "expr": {
          "type": "object",
          "properties": {
            "kind": {
              "enum": [
                "constant",
                "copy",
                "throw"
              ]
            },
            "slot": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 127
                }
              ]
            }
          },
          "additionalProperties": false,
          "minProperties": 2
        },
        "setter": {
          "type": "object",
          "properties": {
            "kind": {
              "enum": [
                "store",
                "ignore",
                "throw"
              ]
            },
            "name": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 15
                }
              ]
            }
          },
          "additionalProperties": false,
          "minProperties": 2
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

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

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →